21
$\begingroup$

If two analytical functions of $\mathbb{C}$ f and g are equal on an infinite number of input values, than they are equal. I can't seem to find a counterexample, but I haven't seen this anywhere except on the particular practice exam question I'm trying to solve.

Edit:Uncountably infinite. Sorry about that.

$\endgroup$
5
  • 1
    $\begingroup$ @Jason DeVito: I think he meant uncountably many points. $\endgroup$
    – Junyu
    Apr 29 '11 at 5:14
  • 2
    $\begingroup$ uncountably infinite subset of $\mathbb{C}$ cannot be discrete, so you are right $\endgroup$
    – user8268
    Apr 29 '11 at 5:23
  • $\begingroup$ Maybe you should think of a more descriptive title? $\endgroup$
    – AD.
    Apr 29 '11 at 5:55
  • $\begingroup$ what does discrete mean? $\endgroup$
    – jimjim
    Apr 29 '11 at 5:57
  • $\begingroup$ @Qiaochu Yuan♦: Thanks! $\endgroup$
    – AD.
    Apr 29 '11 at 6:44
42
$\begingroup$

As pointed out in the comments, this is false: $\sin(x)$ has infinitely many zeroes, so it coincides with the constant function $0$ infinitely often.

What is true, however, is that if $U$ is a connected domain, $f,g$ are analytic in $U$, and the set of points where $f$ and $g$ coincide has a limit point in $U$, then $f=g$.

In particular, if the set of points where $f$ and $g$ agree is uncountable, then $f=g$. This is because ${\mathbb C}$ is second countable: There are countably many open sets such that any open set is the union of some of them, namely the balls with rational radius and center with rational coordinates. It easily follows from this that any uncountable subset of $U$ must have a limit point in $U$. To see this, note that it follows that some ball $B$ whose closure is completely contained in $U$ contains uncountably many of these points where $f$ and $g$ coincide. This set has a limit point, that belongs to the closure of $B$ and therefore to $U$.

To prove the result, note it suffices to assume that $g=0$, and prove that $f=0$ (replace $f,g$ with $f-g,0$). The argument goes by showing that the set $L$ of points $t\in U$ that are limit points of those $z\in U$ such that $f(z)=0$ is open in $U$. This set is clearly closed by continuity of $f$, and it is non-empty by assumption. Since $U$ is connected, it follows that this set coincides with $U$.

To prove that $L$ is open, use that analytic functions can be represented by power series is (small) neighborhoods about any point of their domain. Let $t_0\in L$. Then for $z$ sufficiently close to $t_0$, $$ f(z)=\sum_{n=0}^\infty \alpha_n(z-t_0)^n$$ for some constants $\alpha_0,\alpha_1,\dots$. It suffices to show that $\alpha_n=0$ for all $n$. Otherwise, there is a least $k$ such that $\alpha_k\ne0$. Note $k>0$ since $t_0\in L$. By factoring $(z-t_0)^k$ in the expansion of $f$, we can write $$ f(z)=(z-t_0)^k h(z) $$ for some $h$ analytic in a small neighborhood of $t_0$ and such that $h(t_0)\ne0$. But then, by continuity, $h(z)\ne0$ if $z$ is sufficiently close to $t_0$. It follows that $f(z)\ne0$ for $z\ne t_0$, $z$ sufficiently close to $t_0$. But this contradicts that $t_0$ is a limit point of those $z$ where $f(z)=0$.

$\endgroup$
4
$\begingroup$

Any uncountable subset of Euclidean space has a limit point (in our case, we have that the set of points where f and g agree has a limit point). This is because $E^n$ is Lindelöf, i.e.,every cover of $E^n$ by open sets has a countable subcover, and by Weierstrass Theorem on Infinite Bounded Subsets of $ E^n$.

We take a cover C by balls $B(0,n)$, for $n=1,2, \dots$, and, using Lindelöf, we take a finite subcover of C. Notice that each of the elements of this cover is bounded.

Now, using basic set theory ( I'm no expert myself), one of these bounded balls $B:=B(0,n_0)$ must contain infinitely-many points (i.e., countable union of countable is countable). Then we can use Weierstrass' theorem that every bounded, infinite subset of $E^n$ must contain a limit point, applying it to our ball B. Then we can apply the identity theorem to the set of points where f and g agree.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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