0
$\begingroup$

Let $f \colon \mathbb{R}\to \mathbb{R}$ be real analytic and let $A\subseteq \mathbb{R}$ be such that the set $A'$ of all accomulation points od $A$ is not empty. If $f(a)=0$ for all $a \in A$ is then necessary $f(t)=0$ for all $t \in \mathbb{R}$?

$\endgroup$

2 Answers 2

1
$\begingroup$

It is given by wikipedia, and MathWorld, called "Principle of permanence"

$\endgroup$
2
  • $\begingroup$ I always thought this was called the "unicity theorem". $\endgroup$
    – GH from MO
    Aug 27, 2014 at 19:38
  • 1
    $\begingroup$ @GHfromMO, I think people "believed in" a "principle of permanence" for some time before the notion of holomorphic function was made explicit. And, more often these days I would call it "the identity principle"... $\endgroup$ Aug 27, 2014 at 21:33
1
$\begingroup$

$f$ has a holomorphic extension to a neighborhood of $\mathbb{R}$, so the answer is yes by the unicity theorem.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.