How to show the function $fcolon zmapstolvert zrvert^2$ is continuous on the entire complex plane?
I am required to show this using the epsilon-delta definition of continuity and I'm having trouble applying what I know about real functions to complex ones.
I've let $z_0$ be a complex number in $mathbb{C}$ and then considered all points in the open-disc $D(z_0,1):=lbrace z:lvert z-z_0rvert<1rbrace$.
I know that $lvert f(z)-f(z_0)rvert={largelvert}lvert zrvert^2-lvert z_0rvert^2{largelvert}$ but I'm not sure how I can relate this to $lvert z-z_0rvert<1$.
Is difference of two squares the method required?
complex-analysis continuity
add a comment |
I am required to show this using the epsilon-delta definition of continuity and I'm having trouble applying what I know about real functions to complex ones.
I've let $z_0$ be a complex number in $mathbb{C}$ and then considered all points in the open-disc $D(z_0,1):=lbrace z:lvert z-z_0rvert<1rbrace$.
I know that $lvert f(z)-f(z_0)rvert={largelvert}lvert zrvert^2-lvert z_0rvert^2{largelvert}$ but I'm not sure how I can relate this to $lvert z-z_0rvert<1$.
Is difference of two squares the method required?
complex-analysis continuity
Just think of it as a real valued function of two variables: $(x,y) to x^2 + y^2$. And please edit the question to use mathjax formatting: math.meta.stackexchange.com/questions/5020/…
– Ethan Bolker
Nov 19 at 1:05
I don't understand how that helps solve the problem.
– Anteater23
Nov 19 at 1:13
Why is $|f(z)-f(z_0)|=|z|^2-|z_0|^2$?
– Michael Burr
Nov 19 at 1:16
@Anteater23 That function of two variables is precisely the function whose continuity you want to prove. You could also carefully read a proof of the continuity of $x to x^2$ in the one variable case and see how to apply it almost verbatim to the complex case.
– Ethan Bolker
Nov 19 at 1:18
Thank you michael, I fixed it.
– Anteater23
Nov 19 at 1:21
add a comment |
I am required to show this using the epsilon-delta definition of continuity and I'm having trouble applying what I know about real functions to complex ones.
I've let $z_0$ be a complex number in $mathbb{C}$ and then considered all points in the open-disc $D(z_0,1):=lbrace z:lvert z-z_0rvert<1rbrace$.
I know that $lvert f(z)-f(z_0)rvert={largelvert}lvert zrvert^2-lvert z_0rvert^2{largelvert}$ but I'm not sure how I can relate this to $lvert z-z_0rvert<1$.
Is difference of two squares the method required?
complex-analysis continuity
I am required to show this using the epsilon-delta definition of continuity and I'm having trouble applying what I know about real functions to complex ones.
I've let $z_0$ be a complex number in $mathbb{C}$ and then considered all points in the open-disc $D(z_0,1):=lbrace z:lvert z-z_0rvert<1rbrace$.
I know that $lvert f(z)-f(z_0)rvert={largelvert}lvert zrvert^2-lvert z_0rvert^2{largelvert}$ but I'm not sure how I can relate this to $lvert z-z_0rvert<1$.
Is difference of two squares the method required?
complex-analysis continuity
complex-analysis continuity
edited Nov 19 at 1:21
user10354138
7,4042824
7,4042824
asked Nov 19 at 1:00
Anteater23
62
62
Just think of it as a real valued function of two variables: $(x,y) to x^2 + y^2$. And please edit the question to use mathjax formatting: math.meta.stackexchange.com/questions/5020/…
– Ethan Bolker
Nov 19 at 1:05
I don't understand how that helps solve the problem.
– Anteater23
Nov 19 at 1:13
Why is $|f(z)-f(z_0)|=|z|^2-|z_0|^2$?
– Michael Burr
Nov 19 at 1:16
@Anteater23 That function of two variables is precisely the function whose continuity you want to prove. You could also carefully read a proof of the continuity of $x to x^2$ in the one variable case and see how to apply it almost verbatim to the complex case.
– Ethan Bolker
Nov 19 at 1:18
Thank you michael, I fixed it.
– Anteater23
Nov 19 at 1:21
add a comment |
Just think of it as a real valued function of two variables: $(x,y) to x^2 + y^2$. And please edit the question to use mathjax formatting: math.meta.stackexchange.com/questions/5020/…
– Ethan Bolker
Nov 19 at 1:05
I don't understand how that helps solve the problem.
– Anteater23
Nov 19 at 1:13
Why is $|f(z)-f(z_0)|=|z|^2-|z_0|^2$?
– Michael Burr
Nov 19 at 1:16
@Anteater23 That function of two variables is precisely the function whose continuity you want to prove. You could also carefully read a proof of the continuity of $x to x^2$ in the one variable case and see how to apply it almost verbatim to the complex case.
– Ethan Bolker
Nov 19 at 1:18
Thank you michael, I fixed it.
– Anteater23
Nov 19 at 1:21
Just think of it as a real valued function of two variables: $(x,y) to x^2 + y^2$. And please edit the question to use mathjax formatting: math.meta.stackexchange.com/questions/5020/…
– Ethan Bolker
Nov 19 at 1:05
Just think of it as a real valued function of two variables: $(x,y) to x^2 + y^2$. And please edit the question to use mathjax formatting: math.meta.stackexchange.com/questions/5020/…
– Ethan Bolker
Nov 19 at 1:05
I don't understand how that helps solve the problem.
– Anteater23
Nov 19 at 1:13
I don't understand how that helps solve the problem.
– Anteater23
Nov 19 at 1:13
Why is $|f(z)-f(z_0)|=|z|^2-|z_0|^2$?
– Michael Burr
Nov 19 at 1:16
Why is $|f(z)-f(z_0)|=|z|^2-|z_0|^2$?
– Michael Burr
Nov 19 at 1:16
@Anteater23 That function of two variables is precisely the function whose continuity you want to prove. You could also carefully read a proof of the continuity of $x to x^2$ in the one variable case and see how to apply it almost verbatim to the complex case.
– Ethan Bolker
Nov 19 at 1:18
@Anteater23 That function of two variables is precisely the function whose continuity you want to prove. You could also carefully read a proof of the continuity of $x to x^2$ in the one variable case and see how to apply it almost verbatim to the complex case.
– Ethan Bolker
Nov 19 at 1:18
Thank you michael, I fixed it.
– Anteater23
Nov 19 at 1:21
Thank you michael, I fixed it.
– Anteater23
Nov 19 at 1:21
add a comment |
3 Answers
3
active
oldest
votes
I think you can try to rewrite the original function $f(z) = |z|^{2}$ as $f(z) = z z^{*}$ where $z^{*}$ is the complex conjugacy.
add a comment |
Let $z = x+mathrm{i}y$ and $delta = delta_x + mathrm{i} delta_y$. Then begin{align*}
|z+delta| &= |(x+delta_x) + mathrm{i}(y +delta_y)| \
&leq |x+delta_x| + |y +delta_y| text{.}
end{align*}
With a little triangle inequality manipulation, you can get the inequality you need.
add a comment |
For any sequence $(z_n)_{n in mathbb{N}}$ with $z_n stackrel{n to infty}{longrightarrow} z_0$ you have
$$begin{eqnarray*}
left| |z_n|^2 - |z_0|^2right|& = & left| (|z_n| - |z_0|)(|z_n| + |z_0|)right| \
& = & left| |z_n| - |z_0|right|cdotleft(|z_n| + |z_0|right) \
& leq & left| z_n - z_0right|cdot left(|z_n| + |z_0|right) \
& stackrel{n to infty}{longrightarrow} & 0cdot 2|z_0| = 0
end{eqnarray*}$$
So $f$ is continuous on $mathbb{C}$.
add a comment |
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%2f3004371%2fhow-to-show-the-function-f-colon-z-mapsto-lvert-z-rvert2-is-continuous-on-the%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
I think you can try to rewrite the original function $f(z) = |z|^{2}$ as $f(z) = z z^{*}$ where $z^{*}$ is the complex conjugacy.
add a comment |
I think you can try to rewrite the original function $f(z) = |z|^{2}$ as $f(z) = z z^{*}$ where $z^{*}$ is the complex conjugacy.
add a comment |
I think you can try to rewrite the original function $f(z) = |z|^{2}$ as $f(z) = z z^{*}$ where $z^{*}$ is the complex conjugacy.
I think you can try to rewrite the original function $f(z) = |z|^{2}$ as $f(z) = z z^{*}$ where $z^{*}$ is the complex conjugacy.
answered Nov 19 at 1:51
Dong Le
517
517
add a comment |
add a comment |
Let $z = x+mathrm{i}y$ and $delta = delta_x + mathrm{i} delta_y$. Then begin{align*}
|z+delta| &= |(x+delta_x) + mathrm{i}(y +delta_y)| \
&leq |x+delta_x| + |y +delta_y| text{.}
end{align*}
With a little triangle inequality manipulation, you can get the inequality you need.
add a comment |
Let $z = x+mathrm{i}y$ and $delta = delta_x + mathrm{i} delta_y$. Then begin{align*}
|z+delta| &= |(x+delta_x) + mathrm{i}(y +delta_y)| \
&leq |x+delta_x| + |y +delta_y| text{.}
end{align*}
With a little triangle inequality manipulation, you can get the inequality you need.
add a comment |
Let $z = x+mathrm{i}y$ and $delta = delta_x + mathrm{i} delta_y$. Then begin{align*}
|z+delta| &= |(x+delta_x) + mathrm{i}(y +delta_y)| \
&leq |x+delta_x| + |y +delta_y| text{.}
end{align*}
With a little triangle inequality manipulation, you can get the inequality you need.
Let $z = x+mathrm{i}y$ and $delta = delta_x + mathrm{i} delta_y$. Then begin{align*}
|z+delta| &= |(x+delta_x) + mathrm{i}(y +delta_y)| \
&leq |x+delta_x| + |y +delta_y| text{.}
end{align*}
With a little triangle inequality manipulation, you can get the inequality you need.
answered Nov 19 at 3:37
Eric Towers
31.8k22265
31.8k22265
add a comment |
add a comment |
For any sequence $(z_n)_{n in mathbb{N}}$ with $z_n stackrel{n to infty}{longrightarrow} z_0$ you have
$$begin{eqnarray*}
left| |z_n|^2 - |z_0|^2right|& = & left| (|z_n| - |z_0|)(|z_n| + |z_0|)right| \
& = & left| |z_n| - |z_0|right|cdotleft(|z_n| + |z_0|right) \
& leq & left| z_n - z_0right|cdot left(|z_n| + |z_0|right) \
& stackrel{n to infty}{longrightarrow} & 0cdot 2|z_0| = 0
end{eqnarray*}$$
So $f$ is continuous on $mathbb{C}$.
add a comment |
For any sequence $(z_n)_{n in mathbb{N}}$ with $z_n stackrel{n to infty}{longrightarrow} z_0$ you have
$$begin{eqnarray*}
left| |z_n|^2 - |z_0|^2right|& = & left| (|z_n| - |z_0|)(|z_n| + |z_0|)right| \
& = & left| |z_n| - |z_0|right|cdotleft(|z_n| + |z_0|right) \
& leq & left| z_n - z_0right|cdot left(|z_n| + |z_0|right) \
& stackrel{n to infty}{longrightarrow} & 0cdot 2|z_0| = 0
end{eqnarray*}$$
So $f$ is continuous on $mathbb{C}$.
add a comment |
For any sequence $(z_n)_{n in mathbb{N}}$ with $z_n stackrel{n to infty}{longrightarrow} z_0$ you have
$$begin{eqnarray*}
left| |z_n|^2 - |z_0|^2right|& = & left| (|z_n| - |z_0|)(|z_n| + |z_0|)right| \
& = & left| |z_n| - |z_0|right|cdotleft(|z_n| + |z_0|right) \
& leq & left| z_n - z_0right|cdot left(|z_n| + |z_0|right) \
& stackrel{n to infty}{longrightarrow} & 0cdot 2|z_0| = 0
end{eqnarray*}$$
So $f$ is continuous on $mathbb{C}$.
For any sequence $(z_n)_{n in mathbb{N}}$ with $z_n stackrel{n to infty}{longrightarrow} z_0$ you have
$$begin{eqnarray*}
left| |z_n|^2 - |z_0|^2right|& = & left| (|z_n| - |z_0|)(|z_n| + |z_0|)right| \
& = & left| |z_n| - |z_0|right|cdotleft(|z_n| + |z_0|right) \
& leq & left| z_n - z_0right|cdot left(|z_n| + |z_0|right) \
& stackrel{n to infty}{longrightarrow} & 0cdot 2|z_0| = 0
end{eqnarray*}$$
So $f$ is continuous on $mathbb{C}$.
answered Nov 19 at 7:14
trancelocation
9,1051521
9,1051521
add a comment |
add a comment |
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3004371%2fhow-to-show-the-function-f-colon-z-mapsto-lvert-z-rvert2-is-continuous-on-the%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
Just think of it as a real valued function of two variables: $(x,y) to x^2 + y^2$. And please edit the question to use mathjax formatting: math.meta.stackexchange.com/questions/5020/…
– Ethan Bolker
Nov 19 at 1:05
I don't understand how that helps solve the problem.
– Anteater23
Nov 19 at 1:13
Why is $|f(z)-f(z_0)|=|z|^2-|z_0|^2$?
– Michael Burr
Nov 19 at 1:16
@Anteater23 That function of two variables is precisely the function whose continuity you want to prove. You could also carefully read a proof of the continuity of $x to x^2$ in the one variable case and see how to apply it almost verbatim to the complex case.
– Ethan Bolker
Nov 19 at 1:18
Thank you michael, I fixed it.
– Anteater23
Nov 19 at 1:21