Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

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

2 Answers 2

up vote 36 down vote accepted

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$.

share|improve this answer

Any uncountable subset of Euclidean space has a limit point (in our case, we have that the set of points where f and g agreehas a limit point). This is because $E^n$ is Lindelof, i.e.,every cover of $E^n$ by open sets has a countable subcover, and by Weirstrass Theorem on Infinite Bounded Subsets of $ E^n$. We take a cover C by balls $B(0,n)$ , for n=1,2,..... , and ,using Lindeloff,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 Weirstrass' 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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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