Prove that if $overline {D_1}subset f(Omega ) $ then $overline {D_r} subset f(Omega )$ for some $r>1$
$begingroup$
Let $f:Omega to mathbb C$ be an analytic function such that $Omega $ is an open set.Define $D_r={z:|z|<r}$ for some $r>0$.
Prove that if $overline {D_1}subset f(Omega ) $ then $overline {D_r} subset f(Omega )$ for some $r>1$.
I thought that since $f$ is an analytic function ,it must map an open set into an open set ,so $f(Omega )$ is an open set.
Now $overline {D_1}subset f(Omega ) $ but how can I figure out the $r>1$ for which $overline {D_r} subset f(Omega )$.
This is my first question,I have tried to abide my the rules of this site as far as I could.Hope I will get some help on this problem.
complex-analysis analyticity
$endgroup$
add a comment |
$begingroup$
Let $f:Omega to mathbb C$ be an analytic function such that $Omega $ is an open set.Define $D_r={z:|z|<r}$ for some $r>0$.
Prove that if $overline {D_1}subset f(Omega ) $ then $overline {D_r} subset f(Omega )$ for some $r>1$.
I thought that since $f$ is an analytic function ,it must map an open set into an open set ,so $f(Omega )$ is an open set.
Now $overline {D_1}subset f(Omega ) $ but how can I figure out the $r>1$ for which $overline {D_r} subset f(Omega )$.
This is my first question,I have tried to abide my the rules of this site as far as I could.Hope I will get some help on this problem.
complex-analysis analyticity
$endgroup$
1
$begingroup$
The minimum distance from $z in overline{D}_1$ and the set $f(Omega)^c$ is a continuous function on $overline{D}_1$ and hence has a minima which will be non-zero(?). Let it be $delta>0$. Then consider $r = 1+ delta$ and show that $D_{r} subset f(Omega)$.
$endgroup$
– random123
Nov 29 '15 at 16:48
$begingroup$
Is it possible to post this as an answer @random123;I did not get your point
$endgroup$
– Learnmore
Nov 29 '15 at 16:55
add a comment |
$begingroup$
Let $f:Omega to mathbb C$ be an analytic function such that $Omega $ is an open set.Define $D_r={z:|z|<r}$ for some $r>0$.
Prove that if $overline {D_1}subset f(Omega ) $ then $overline {D_r} subset f(Omega )$ for some $r>1$.
I thought that since $f$ is an analytic function ,it must map an open set into an open set ,so $f(Omega )$ is an open set.
Now $overline {D_1}subset f(Omega ) $ but how can I figure out the $r>1$ for which $overline {D_r} subset f(Omega )$.
This is my first question,I have tried to abide my the rules of this site as far as I could.Hope I will get some help on this problem.
complex-analysis analyticity
$endgroup$
Let $f:Omega to mathbb C$ be an analytic function such that $Omega $ is an open set.Define $D_r={z:|z|<r}$ for some $r>0$.
Prove that if $overline {D_1}subset f(Omega ) $ then $overline {D_r} subset f(Omega )$ for some $r>1$.
I thought that since $f$ is an analytic function ,it must map an open set into an open set ,so $f(Omega )$ is an open set.
Now $overline {D_1}subset f(Omega ) $ but how can I figure out the $r>1$ for which $overline {D_r} subset f(Omega )$.
This is my first question,I have tried to abide my the rules of this site as far as I could.Hope I will get some help on this problem.
complex-analysis analyticity
complex-analysis analyticity
edited Nov 29 '15 at 14:36
Learnmore
asked Nov 29 '15 at 14:34
LearnmoreLearnmore
17.7k324100
17.7k324100
1
$begingroup$
The minimum distance from $z in overline{D}_1$ and the set $f(Omega)^c$ is a continuous function on $overline{D}_1$ and hence has a minima which will be non-zero(?). Let it be $delta>0$. Then consider $r = 1+ delta$ and show that $D_{r} subset f(Omega)$.
$endgroup$
– random123
Nov 29 '15 at 16:48
$begingroup$
Is it possible to post this as an answer @random123;I did not get your point
$endgroup$
– Learnmore
Nov 29 '15 at 16:55
add a comment |
1
$begingroup$
The minimum distance from $z in overline{D}_1$ and the set $f(Omega)^c$ is a continuous function on $overline{D}_1$ and hence has a minima which will be non-zero(?). Let it be $delta>0$. Then consider $r = 1+ delta$ and show that $D_{r} subset f(Omega)$.
$endgroup$
– random123
Nov 29 '15 at 16:48
$begingroup$
Is it possible to post this as an answer @random123;I did not get your point
$endgroup$
– Learnmore
Nov 29 '15 at 16:55
1
1
$begingroup$
The minimum distance from $z in overline{D}_1$ and the set $f(Omega)^c$ is a continuous function on $overline{D}_1$ and hence has a minima which will be non-zero(?). Let it be $delta>0$. Then consider $r = 1+ delta$ and show that $D_{r} subset f(Omega)$.
$endgroup$
– random123
Nov 29 '15 at 16:48
$begingroup$
The minimum distance from $z in overline{D}_1$ and the set $f(Omega)^c$ is a continuous function on $overline{D}_1$ and hence has a minima which will be non-zero(?). Let it be $delta>0$. Then consider $r = 1+ delta$ and show that $D_{r} subset f(Omega)$.
$endgroup$
– random123
Nov 29 '15 at 16:48
$begingroup$
Is it possible to post this as an answer @random123;I did not get your point
$endgroup$
– Learnmore
Nov 29 '15 at 16:55
$begingroup$
Is it possible to post this as an answer @random123;I did not get your point
$endgroup$
– Learnmore
Nov 29 '15 at 16:55
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
For $z in overline{D}_1$ define a function $alpha(z) = d(z,f(Omega)^c) = inf lbrace d(z,w) | win f(Omega)^c rbrace $ on $overline{D}_1$. Now $alpha$ is a continuous function on $overline{D}_1$(This just follows from triangle inequality). Observe that $f(Omega)^c$ is closed and hence $alpha(z) > 0$(if $alpha(z) = 0$ then exists $w_1 in f(Omega)^c$ such that $d(z,w_i) rightarrow 0$. triangle inequality says that $w_i$ form a cauchy sequence and hence converge to a point in $f(Omega)^c$ say $w in f(Omega)^c$ since $f(Omega)^c$ is a closed subset of a complete metric space that is $mathbb{C}$. Now $d(z,w) = 0$ and thus $z = w in overline{D}_1 cap f(Omega)^c = emptyset$, a contradiction). Now since $overline{D}_1$ is a compact set, the function $alpha$ has a minima say $delta > 0$ since $alpha$ is a strictly positive function. Let $r = 1 + delta/2$. Then it is easy to see that $overline{D}_r cap f(Omega)^c = emptyset$. Hence $overline{D}_r subset f(Omega)$.
$endgroup$
1
$begingroup$
Shouldn't it be $overline{D}_r subset f(Omega)$?
$endgroup$
– Yadati Kiran
Dec 15 '18 at 5:51
$begingroup$
@YadatiKiran You are right. Thanks for pointing it out. I will make the appropriate edits.
$endgroup$
– random123
Dec 15 '18 at 6:02
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%2f1551473%2fprove-that-if-overline-d-1-subset-f-omega-then-overline-d-r-subset%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
For $z in overline{D}_1$ define a function $alpha(z) = d(z,f(Omega)^c) = inf lbrace d(z,w) | win f(Omega)^c rbrace $ on $overline{D}_1$. Now $alpha$ is a continuous function on $overline{D}_1$(This just follows from triangle inequality). Observe that $f(Omega)^c$ is closed and hence $alpha(z) > 0$(if $alpha(z) = 0$ then exists $w_1 in f(Omega)^c$ such that $d(z,w_i) rightarrow 0$. triangle inequality says that $w_i$ form a cauchy sequence and hence converge to a point in $f(Omega)^c$ say $w in f(Omega)^c$ since $f(Omega)^c$ is a closed subset of a complete metric space that is $mathbb{C}$. Now $d(z,w) = 0$ and thus $z = w in overline{D}_1 cap f(Omega)^c = emptyset$, a contradiction). Now since $overline{D}_1$ is a compact set, the function $alpha$ has a minima say $delta > 0$ since $alpha$ is a strictly positive function. Let $r = 1 + delta/2$. Then it is easy to see that $overline{D}_r cap f(Omega)^c = emptyset$. Hence $overline{D}_r subset f(Omega)$.
$endgroup$
1
$begingroup$
Shouldn't it be $overline{D}_r subset f(Omega)$?
$endgroup$
– Yadati Kiran
Dec 15 '18 at 5:51
$begingroup$
@YadatiKiran You are right. Thanks for pointing it out. I will make the appropriate edits.
$endgroup$
– random123
Dec 15 '18 at 6:02
add a comment |
$begingroup$
For $z in overline{D}_1$ define a function $alpha(z) = d(z,f(Omega)^c) = inf lbrace d(z,w) | win f(Omega)^c rbrace $ on $overline{D}_1$. Now $alpha$ is a continuous function on $overline{D}_1$(This just follows from triangle inequality). Observe that $f(Omega)^c$ is closed and hence $alpha(z) > 0$(if $alpha(z) = 0$ then exists $w_1 in f(Omega)^c$ such that $d(z,w_i) rightarrow 0$. triangle inequality says that $w_i$ form a cauchy sequence and hence converge to a point in $f(Omega)^c$ say $w in f(Omega)^c$ since $f(Omega)^c$ is a closed subset of a complete metric space that is $mathbb{C}$. Now $d(z,w) = 0$ and thus $z = w in overline{D}_1 cap f(Omega)^c = emptyset$, a contradiction). Now since $overline{D}_1$ is a compact set, the function $alpha$ has a minima say $delta > 0$ since $alpha$ is a strictly positive function. Let $r = 1 + delta/2$. Then it is easy to see that $overline{D}_r cap f(Omega)^c = emptyset$. Hence $overline{D}_r subset f(Omega)$.
$endgroup$
1
$begingroup$
Shouldn't it be $overline{D}_r subset f(Omega)$?
$endgroup$
– Yadati Kiran
Dec 15 '18 at 5:51
$begingroup$
@YadatiKiran You are right. Thanks for pointing it out. I will make the appropriate edits.
$endgroup$
– random123
Dec 15 '18 at 6:02
add a comment |
$begingroup$
For $z in overline{D}_1$ define a function $alpha(z) = d(z,f(Omega)^c) = inf lbrace d(z,w) | win f(Omega)^c rbrace $ on $overline{D}_1$. Now $alpha$ is a continuous function on $overline{D}_1$(This just follows from triangle inequality). Observe that $f(Omega)^c$ is closed and hence $alpha(z) > 0$(if $alpha(z) = 0$ then exists $w_1 in f(Omega)^c$ such that $d(z,w_i) rightarrow 0$. triangle inequality says that $w_i$ form a cauchy sequence and hence converge to a point in $f(Omega)^c$ say $w in f(Omega)^c$ since $f(Omega)^c$ is a closed subset of a complete metric space that is $mathbb{C}$. Now $d(z,w) = 0$ and thus $z = w in overline{D}_1 cap f(Omega)^c = emptyset$, a contradiction). Now since $overline{D}_1$ is a compact set, the function $alpha$ has a minima say $delta > 0$ since $alpha$ is a strictly positive function. Let $r = 1 + delta/2$. Then it is easy to see that $overline{D}_r cap f(Omega)^c = emptyset$. Hence $overline{D}_r subset f(Omega)$.
$endgroup$
For $z in overline{D}_1$ define a function $alpha(z) = d(z,f(Omega)^c) = inf lbrace d(z,w) | win f(Omega)^c rbrace $ on $overline{D}_1$. Now $alpha$ is a continuous function on $overline{D}_1$(This just follows from triangle inequality). Observe that $f(Omega)^c$ is closed and hence $alpha(z) > 0$(if $alpha(z) = 0$ then exists $w_1 in f(Omega)^c$ such that $d(z,w_i) rightarrow 0$. triangle inequality says that $w_i$ form a cauchy sequence and hence converge to a point in $f(Omega)^c$ say $w in f(Omega)^c$ since $f(Omega)^c$ is a closed subset of a complete metric space that is $mathbb{C}$. Now $d(z,w) = 0$ and thus $z = w in overline{D}_1 cap f(Omega)^c = emptyset$, a contradiction). Now since $overline{D}_1$ is a compact set, the function $alpha$ has a minima say $delta > 0$ since $alpha$ is a strictly positive function. Let $r = 1 + delta/2$. Then it is easy to see that $overline{D}_r cap f(Omega)^c = emptyset$. Hence $overline{D}_r subset f(Omega)$.
edited Dec 15 '18 at 6:03
answered Nov 29 '15 at 17:22
random123random123
1,2601720
1,2601720
1
$begingroup$
Shouldn't it be $overline{D}_r subset f(Omega)$?
$endgroup$
– Yadati Kiran
Dec 15 '18 at 5:51
$begingroup$
@YadatiKiran You are right. Thanks for pointing it out. I will make the appropriate edits.
$endgroup$
– random123
Dec 15 '18 at 6:02
add a comment |
1
$begingroup$
Shouldn't it be $overline{D}_r subset f(Omega)$?
$endgroup$
– Yadati Kiran
Dec 15 '18 at 5:51
$begingroup$
@YadatiKiran You are right. Thanks for pointing it out. I will make the appropriate edits.
$endgroup$
– random123
Dec 15 '18 at 6:02
1
1
$begingroup$
Shouldn't it be $overline{D}_r subset f(Omega)$?
$endgroup$
– Yadati Kiran
Dec 15 '18 at 5:51
$begingroup$
Shouldn't it be $overline{D}_r subset f(Omega)$?
$endgroup$
– Yadati Kiran
Dec 15 '18 at 5:51
$begingroup$
@YadatiKiran You are right. Thanks for pointing it out. I will make the appropriate edits.
$endgroup$
– random123
Dec 15 '18 at 6:02
$begingroup$
@YadatiKiran You are right. Thanks for pointing it out. I will make the appropriate edits.
$endgroup$
– random123
Dec 15 '18 at 6:02
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.
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%2f1551473%2fprove-that-if-overline-d-1-subset-f-omega-then-overline-d-r-subset%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
1
$begingroup$
The minimum distance from $z in overline{D}_1$ and the set $f(Omega)^c$ is a continuous function on $overline{D}_1$ and hence has a minima which will be non-zero(?). Let it be $delta>0$. Then consider $r = 1+ delta$ and show that $D_{r} subset f(Omega)$.
$endgroup$
– random123
Nov 29 '15 at 16:48
$begingroup$
Is it possible to post this as an answer @random123;I did not get your point
$endgroup$
– Learnmore
Nov 29 '15 at 16:55