Proof Check of a Complex Analysis Result
$begingroup$
I have attempted to prove this fact:
Let $f:mathbb{C}-mathbb{Z}$ an injective, holomorphic function. Prove that $f$ is a Möbius transformation.
This is my attempt of proof:
I observe that the limits
$$lim_{ztoinfty}{f(z)},qquad lim_{zto m}{f(z)}quad (minmathbb{Z})$$
exist, otherwise, by Casorati-Weierstrass theorem, $f$ would not be injective. Hence $infty$ and the integers must be poles or removable singularities. If they were all removable singularities, then, by Liouville theorem, $f$ would be constant, and not injective. Hence there is at least a pole. But, since $f$ is continuous injective, there is at most one pole, thus there is exactly one pole. We have to cases:
If the pole is at infinity, $f$ is a polynomial, and since it is also injective it must be of the form $f(z)=az+b.$
If the pole is in one $minmathbb{Z},$ we can assume that the pole is at $m=0$ (if not we can translate and come back to this case). We can observe, always because $f$ is injective, that the pole is of order $1.$ We have, in the annulus $0<z<infty,$ the following Laurent expansion of $f(z)$ at $0:$
$$f(z)=sum_{k=-1}^{0}{c_kz^k}=frac{c_{-1}}{z}+c_0=frac{c_0z+c_{-1}}{z}.$$
$$———$$
Is this proof correct, or are there some wrong steps? In this case, why are they wrong, and how can this result be proved?
complex-analysis proof-verification
$endgroup$
add a comment |
$begingroup$
I have attempted to prove this fact:
Let $f:mathbb{C}-mathbb{Z}$ an injective, holomorphic function. Prove that $f$ is a Möbius transformation.
This is my attempt of proof:
I observe that the limits
$$lim_{ztoinfty}{f(z)},qquad lim_{zto m}{f(z)}quad (minmathbb{Z})$$
exist, otherwise, by Casorati-Weierstrass theorem, $f$ would not be injective. Hence $infty$ and the integers must be poles or removable singularities. If they were all removable singularities, then, by Liouville theorem, $f$ would be constant, and not injective. Hence there is at least a pole. But, since $f$ is continuous injective, there is at most one pole, thus there is exactly one pole. We have to cases:
If the pole is at infinity, $f$ is a polynomial, and since it is also injective it must be of the form $f(z)=az+b.$
If the pole is in one $minmathbb{Z},$ we can assume that the pole is at $m=0$ (if not we can translate and come back to this case). We can observe, always because $f$ is injective, that the pole is of order $1.$ We have, in the annulus $0<z<infty,$ the following Laurent expansion of $f(z)$ at $0:$
$$f(z)=sum_{k=-1}^{0}{c_kz^k}=frac{c_{-1}}{z}+c_0=frac{c_0z+c_{-1}}{z}.$$
$$———$$
Is this proof correct, or are there some wrong steps? In this case, why are they wrong, and how can this result be proved?
complex-analysis proof-verification
$endgroup$
$begingroup$
Apriori, infinity is not an isolated singularity as the integers accumulate there; however, applying your argument for the integers (which are isolated for sure), you remove all but at most one and then the proof is correct.
$endgroup$
– Conrad
Dec 17 '18 at 2:22
add a comment |
$begingroup$
I have attempted to prove this fact:
Let $f:mathbb{C}-mathbb{Z}$ an injective, holomorphic function. Prove that $f$ is a Möbius transformation.
This is my attempt of proof:
I observe that the limits
$$lim_{ztoinfty}{f(z)},qquad lim_{zto m}{f(z)}quad (minmathbb{Z})$$
exist, otherwise, by Casorati-Weierstrass theorem, $f$ would not be injective. Hence $infty$ and the integers must be poles or removable singularities. If they were all removable singularities, then, by Liouville theorem, $f$ would be constant, and not injective. Hence there is at least a pole. But, since $f$ is continuous injective, there is at most one pole, thus there is exactly one pole. We have to cases:
If the pole is at infinity, $f$ is a polynomial, and since it is also injective it must be of the form $f(z)=az+b.$
If the pole is in one $minmathbb{Z},$ we can assume that the pole is at $m=0$ (if not we can translate and come back to this case). We can observe, always because $f$ is injective, that the pole is of order $1.$ We have, in the annulus $0<z<infty,$ the following Laurent expansion of $f(z)$ at $0:$
$$f(z)=sum_{k=-1}^{0}{c_kz^k}=frac{c_{-1}}{z}+c_0=frac{c_0z+c_{-1}}{z}.$$
$$———$$
Is this proof correct, or are there some wrong steps? In this case, why are they wrong, and how can this result be proved?
complex-analysis proof-verification
$endgroup$
I have attempted to prove this fact:
Let $f:mathbb{C}-mathbb{Z}$ an injective, holomorphic function. Prove that $f$ is a Möbius transformation.
This is my attempt of proof:
I observe that the limits
$$lim_{ztoinfty}{f(z)},qquad lim_{zto m}{f(z)}quad (minmathbb{Z})$$
exist, otherwise, by Casorati-Weierstrass theorem, $f$ would not be injective. Hence $infty$ and the integers must be poles or removable singularities. If they were all removable singularities, then, by Liouville theorem, $f$ would be constant, and not injective. Hence there is at least a pole. But, since $f$ is continuous injective, there is at most one pole, thus there is exactly one pole. We have to cases:
If the pole is at infinity, $f$ is a polynomial, and since it is also injective it must be of the form $f(z)=az+b.$
If the pole is in one $minmathbb{Z},$ we can assume that the pole is at $m=0$ (if not we can translate and come back to this case). We can observe, always because $f$ is injective, that the pole is of order $1.$ We have, in the annulus $0<z<infty,$ the following Laurent expansion of $f(z)$ at $0:$
$$f(z)=sum_{k=-1}^{0}{c_kz^k}=frac{c_{-1}}{z}+c_0=frac{c_0z+c_{-1}}{z}.$$
$$———$$
Is this proof correct, or are there some wrong steps? In this case, why are they wrong, and how can this result be proved?
complex-analysis proof-verification
complex-analysis proof-verification
asked Dec 17 '18 at 0:05
MatPMatP
1367
1367
$begingroup$
Apriori, infinity is not an isolated singularity as the integers accumulate there; however, applying your argument for the integers (which are isolated for sure), you remove all but at most one and then the proof is correct.
$endgroup$
– Conrad
Dec 17 '18 at 2:22
add a comment |
$begingroup$
Apriori, infinity is not an isolated singularity as the integers accumulate there; however, applying your argument for the integers (which are isolated for sure), you remove all but at most one and then the proof is correct.
$endgroup$
– Conrad
Dec 17 '18 at 2:22
$begingroup$
Apriori, infinity is not an isolated singularity as the integers accumulate there; however, applying your argument for the integers (which are isolated for sure), you remove all but at most one and then the proof is correct.
$endgroup$
– Conrad
Dec 17 '18 at 2:22
$begingroup$
Apriori, infinity is not an isolated singularity as the integers accumulate there; however, applying your argument for the integers (which are isolated for sure), you remove all but at most one and then the proof is correct.
$endgroup$
– Conrad
Dec 17 '18 at 2:22
add a comment |
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3043370%2fproof-check-of-a-complex-analysis-result%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3043370%2fproof-check-of-a-complex-analysis-result%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Apriori, infinity is not an isolated singularity as the integers accumulate there; however, applying your argument for the integers (which are isolated for sure), you remove all but at most one and then the proof is correct.
$endgroup$
– Conrad
Dec 17 '18 at 2:22