A question about real-analytic functions vanishing on an open set

Real analytic functions are defined as functions on the Euclidean spaces with convergent power series at each point.

My question is that, is there some kind of identity theorem for real analytic functions? My book (John Lee's smooth manifolds) says on p.46 that a real-analytic function defined on a connected domain and vanishes on an open set is identically zero.

But I have the impression that this kind of fact holds for holomorphic functions only. Am I missing something?

• Looks like a duplicate of The Identity Theorem for real analytic functions to me. – Martin R Jan 20 '18 at 9:07
• The same proof of analytic continuation for holomorphic functions works for real analytic functions. What is more interesting is that other facts from complex analysis also carry over to real analytic functions since real analytic functions can be extended to holomorphic functions. Indeed, around each point there is a nonzero radius of convergence, so the function can be extended to an open disk around that point in $\mathbb{C}$. This provides a proof of facts such as the composite of two real analytic functions is analytic. – Ishan Levy Jan 20 '18 at 9:17
• Possible duplicate of The Identity Theorem for real analytic functions – Martin R Jan 20 '18 at 9:21

Note that the notion of $C^\infty-$differentiability and analyticity are defined separately

your book is totally, right since a function $f$ being analytic mean that at each point $a$ of the domain there exists $r=r(a)>0$ and a sequence $(a_n)_n$ such that $$f(x) =\sum_{n=1}^{\infty} a_n(x-a)^n~~~~~|x-a|<r$$

and this implies the $C^\infty-$differentiability. The converse is not true for real-function but it is only true for holomorphic functions.

Indeed, you may presumably reconsider your definition within the following function

$$f(x)=e^{-\frac{1}{x^2}}~~~~~f(0)=0$$

This function has a pathology that is $C^\infty(\Bbb R)$ but we have, $$f^{(n)}(0)=0~~~~\forall ~~n\ge0$$

Hence, for all $x\in \Bbb R$$\sum_{n=1}^{\infty} \frac{f^{(n)}(0)}{n!}x^n =0$$ this function is$C^\infty(\Bbb R)$non-constant but not analytical near$x=0$. We can conclude that being real-analytic implies the$C^\infty\$ differentiable but the converse is not true.

• Yes that is what I think. – Keith Jan 20 '18 at 9:20
• @MartinR Well, he asks to OP to reconsider his definition. And explicitly states that his example is not analytical. – Thomas Jan 20 '18 at 9:30
• The statement "it is only true for holomorphic functions" is still wrong. It is true for real-analytic functions (if the correct definition is used). – Martin R Jan 20 '18 at 9:37
• @MartinR you are right that was senseless I meant the converse is only true for holomorphic functions. – Guy Fsone Jan 20 '18 at 9:39
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9068909883499146, "perplexity": 226.46667977444255}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2020-40/segments/1600401598891.71/warc/CC-MAIN-20200928073028-20200928103028-00202.warc.gz"}