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.

Besides the identity map, is there an entire function $f$ that is a bijection from $\mathbb{C}$ to $\mathbb{C}$ and has 2 fixed points? Thank you for the help.

share|improve this question
2  
@Chandru, I'm afraid that is not one to one since -1 and 1 would get mapped to 1, for instance. Thanks though. –  pel May 16 '11 at 19:51
    
Other than $f(x)=-x$, which has the entire imaginary line as fixed points? –  Thomas Andrews May 16 '11 at 19:52
    
@Thomas: Is $f(x+iy)=-x$ entire? –  pel May 16 '11 at 19:54
    
Presumably, you want some sort of continuity/differentiability condition, because set functions can be defined easily with exactly two fixed points. –  Thomas Andrews May 16 '11 at 19:55
    
f(x+iy) = -x - iy is. –  Thomas Andrews May 16 '11 at 19:56
show 4 more comments

2 Answers 2

up vote 21 down vote accepted

No. Let $f$ be an entire function, and consider the singularity of $f$ at infinity. If it's removable, then by Liouville's theorem $f$ is constant and so not a bijection. If it's essential, then by Picard's great theorem $f$ is not injective. If it's a pole, then $f$ is a polynomial. If the degree of $f$ is greater than one, then $f$ is not injective. So $f$ is a linear polynomial, and the only linear polynomial that fixes two points is the identity.

share|improve this answer
    
Perfect. Thank you. –  pel May 16 '11 at 19:58
    
Excellent. –  user9413 May 17 '11 at 5:25
add comment

Since invoking Picard seems like a bit of an overkill, here's a simple argument (essentially the same as Chris's answer, but replacing Picard by Casorati-Weierstrass and the open mapping theorem):

Claim. If $f: \mathbb{C} \to \mathbb{C}$ is entire and injective then $f$ is linear and non-constant, that is $f(z) = az + b$ for some $a \neq 0$.

It is easy to check that a linear function with two fixed points must be the identity, so we are left with proving the claim.

Proof of the claim. By hypothesis $f: \mathbb{C}^{\times} \to \mathbb{C}$ is injective where $\mathbb{C}^{\times} = \{z \neq 0\}$ is the set of non-zero complex numbers. Now $g(z) = f(1/z)$ is also injective $\mathbb{C}^{\times} \to \mathbb{C}$ and has a singularity at $0$. By injectivity, $g(\{|z| \gt 1\}) \cap g(\{0 \lt |z| \lt 1\}) = \emptyset$. On the other hand, both sets are open by the open mapping theorem, and by the Casorati-Weierstrass theorem $g(\{0 \lt |z| \lt 1\})$ would be dense if $g$ had an essential singularity at $0$. Therefore $g$ has a pole at $0$. But this implies that $f$ is a polynomial and hence it is linear and non-constant by injectivity.

share|improve this answer
2  
Perhaps worth saying that 3rd from last sentence is the Weierstrass-Casorati Theorem. –  Eric Naslund May 16 '11 at 20:30
    
@Eric: Thanks, fixed. –  t.b. May 16 '11 at 20:31
    
@Theo: Sorry, but could you explain what the $C^\times$ notation means? Is that the extended complex plane? –  user1736 May 17 '11 at 4:27
    
@user1736: It's the set $\{z \in \mathbb{C}\,:\,z \neq 0\}$. –  t.b. May 17 '11 at 5:14
1  
@Chandru: Thanks, but the argument is not mine, of course! I probably learned it in my complex analysis class a long time ago but variants of it are quite standard when classifying automorphisms of connected and pointed subsets of $\mathbb{C}$. The point is of course that you want to exclude an essential singularity and the only thing one can say is that around an essential singularity are the results by Casorati-Weierstrass and by Picard. Now Picard is of course much stronger, but also much harder, so it's natural to try to avoid it. –  t.b. May 17 '11 at 5:34
show 1 more comment

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.