Content deleted Content added
m Removed erroneous space and general fixes (task 1) |
→Alternative characterizations: Remove lineskip for clarity |
||
Line 59:
In the multivariable case, real analytic functions satisfy a direct generalization of the third characterization.<ref>{{Cite journal|last=Komatsu|first=Hikosaburo|date=1960|title=A characterization of real analytic functions|url=https://projecteuclid.org/euclid.pja/1195524081|journal=Proceedings of the Japan Academy|language=EN|volume=36|issue=3|pages=90–93|doi=10.3792/pja/1195524081|issn=0021-4280|doi-access=free}}</ref> Let <math>U \subset \R^n</math> be an open set, and let <math>f: U \to \R</math>.
Then <math>f</math> is real analytic on <math>U</math> if and only if <math>f \in C^\infty(U)</math> and for every compact <math>K \subseteq U</math> there exists a constant <math>C</math> such that for every multi-index <math>\alpha \in \Z_{\geq 0}^n</math> the following bound holds<ref>{{Cite web|title=Gevrey class - Encyclopedia of Mathematics|url=https://encyclopediaofmath.org/wiki/Gevrey_class#References|access-date=2020-08-30|website=encyclopediaofmath.org}}</ref>
| |||