Example of a continuous function that don't have a continuous extensionExtending a continuous function...
Modeling an IPv4 Address
I’m planning on buying a laser printer but concerned about the life cycle of toner in the machine
"to be prejudice towards/against someone" vs "to be prejudiced against/towards someone"
Today is the Center
How could an uplifted falcon's brain work?
"You are your self first supporter", a more proper way to say it
A newer friend of my brother's gave him a load of baseball cards that are supposedly extremely valuable. Is this a scam?
How did the USSR manage to innovate in an environment characterized by government censorship and high bureaucracy?
Why are electrically insulating heatsinks so rare? Is it just cost?
Theorem, big Paralist and Amsart
How do I create uniquely male characters?
Do VLANs within a subnet need to have their own subnet for router on a stick?
How to test if a transaction is standard without spending real money?
What is the word for reserving something for yourself before others do?
What is the offset in a seaplane's hull?
Prove that NP is closed under karp reduction?
Accidentally leaked the solution to an assignment, what to do now? (I'm the prof)
What typically incentivizes a professor to change jobs to a lower ranking university?
Why "Having chlorophyll without photosynthesis is actually very dangerous" and "like living with a bomb"?
Can a Warlock become Neutral Good?
Arthur Somervell: 1000 Exercises - Meaning of this notation
Has the BBC provided arguments for saying Brexit being cancelled is unlikely?
Is it tax fraud for an individual to declare non-taxable revenue as taxable income? (US tax laws)
How to format long polynomial?
Example of a continuous function that don't have a continuous extension
Extending a continuous function defined on the rationalsLet $Asubset X$; let $f:Ato Y$ be continuous; let $Y$ be Hausdorff. Is there an example where there is no continuous function for $g$?Continuity of a product of two real valued continuous function.a counter example of extension of a continuous functionInverse of a continuous functionIf $Asubseteqmathbb R$ is closed and $f:Atomathbb R$ is right-continuous, is there a right-continuous extension of $f$ to $mathbb R$?Proving Topological Equivalence without finding a functionA function that can be continuously extended is continuousContinuous Extension of Densely Defined Continuous (but not Uniformly Continuous) Function.A topological space with the Universal Extension Property which is not homeomorphic to a retract of $mathbb{R}^J$?
$begingroup$
Give an example of a topological space $(X,tau)$, a subset $Asubset X$ that is dense in $X$ (i.e., $overline{A} = X$), and a continuous function $f:Atomathbb{R}$ that cannot be continually extended to $X$, that is, a $f$ for such do not exist a continuous function $g:Xto mathbb{R}$ such that $f(x) = g(x)$ for all $xin A$.
I just proved that if $f,g:Xtomathbb{R}$ are continuous and agree in a dense subset $Asubset X$ then they're equal.
I thought in $X=mathbb{R}$ with usual topology and $A = mathbb{R}-{0} =:mathbb{R}^* $, so I think $f:mathbb{R}^*tomathbb{R}, f(x) = x^{-1}$ is a continuous function that cannot be continually extended to $mathbb{R}$. I'm quite sure of this, but I'm stuck in proving it using the definition of continuity in general topological spaces.
Also, I'm quite confused on how this asked example is not a counterexample of what I proved.
Thanks in advance.
general-topology continuity
asked 2 hours ago
AnalyticHarmonyAnalyticHarmony
689313
$endgroup$
add a comment |
$begingroup$
Give an example of a topological space $(X,tau)$, a subset $Asubset X$ that is dense in $X$ (i.e., $overline{A} = X$), and a continuous function $f:Atomathbb{R}$ that cannot be continually extended to $X$, that is, a $f$ for such do not exist a continuous function $g:Xto mathbb{R}$ such that $f(x) = g(x)$ for all $xin A$.
I just proved that if $f,g:Xtomathbb{R}$ are continuous and agree in a dense subset $Asubset X$ then they're equal.
I thought in $X=mathbb{R}$ with usual topology and $A = mathbb{R}-{0} =:mathbb{R}^* $, so I think $f:mathbb{R}^*tomathbb{R}, f(x) = x^{-1}$ is a continuous function that cannot be continually extended to $mathbb{R}$. I'm quite sure of this, but I'm stuck in proving it using the definition of continuity in general topological spaces.
Also, I'm quite confused on how this asked example is not a counterexample of what I proved.
Thanks in advance.
general-topology continuity
asked 2 hours ago
AnalyticHarmonyAnalyticHarmony
689313
$endgroup$
1
$begingroup$
The open intervals form a basis for topology on the real line. A set is open if and only if it contains an open interval around each of these points. Using this definition of open sets you can show that the two different definitions of continuity are actually the same in this case. So you're example will work. And to show it will work you can show it using the usual definition of continuity you're used to in the real numbers.
$endgroup$
– Melody
2 hours ago
add a comment |
$begingroup$
Give an example of a topological space $(X,tau)$, a subset $Asubset X$ that is dense in $X$ (i.e., $overline{A} = X$), and a continuous function $f:Atomathbb{R}$ that cannot be continually extended to $X$, that is, a $f$ for such do not exist a continuous function $g:Xto mathbb{R}$ such that $f(x) = g(x)$ for all $xin A$.
I just proved that if $f,g:Xtomathbb{R}$ are continuous and agree in a dense subset $Asubset X$ then they're equal.
I thought in $X=mathbb{R}$ with usual topology and $A = mathbb{R}-{0} =:mathbb{R}^* $, so I think $f:mathbb{R}^*tomathbb{R}, f(x) = x^{-1}$ is a continuous function that cannot be continually extended to $mathbb{R}$. I'm quite sure of this, but I'm stuck in proving it using the definition of continuity in general topological spaces.
Also, I'm quite confused on how this asked example is not a counterexample of what I proved.
Thanks in advance.
general-topology continuity
asked 2 hours ago
AnalyticHarmonyAnalyticHarmony
689313
$endgroup$
Give an example of a topological space $(X,tau)$, a subset $Asubset X$ that is dense in $X$ (i.e., $overline{A} = X$), and a continuous function $f:Atomathbb{R}$ that cannot be continually extended to $X$, that is, a $f$ for such do not exist a continuous function $g:Xto mathbb{R}$ such that $f(x) = g(x)$ for all $xin A$.
I just proved that if $f,g:Xtomathbb{R}$ are continuous and agree in a dense subset $Asubset X$ then they're equal.
I thought in $X=mathbb{R}$ with usual topology and $A = mathbb{R}-{0} =:mathbb{R}^* $, so I think $f:mathbb{R}^*tomathbb{R}, f(x) = x^{-1}$ is a continuous function that cannot be continually extended to $mathbb{R}$. I'm quite sure of this, but I'm stuck in proving it using the definition of continuity in general topological spaces.
Also, I'm quite confused on how this asked example is not a counterexample of what I proved.
Thanks in advance.
general-topology continuity
general-topology continuity
asked 2 hours ago
AnalyticHarmonyAnalyticHarmony
689313
asked 2 hours ago
AnalyticHarmonyAnalyticHarmony
689313
asked 2 hours ago
AnalyticHarmonyAnalyticHarmony
689313
asked 2 hours ago
AnalyticHarmonyAnalyticHarmony
689313
asked 2 hours ago
AnalyticHarmonyAnalyticHarmony
689313
689313
1
$begingroup$
The open intervals form a basis for topology on the real line. A set is open if and only if it contains an open interval around each of these points. Using this definition of open sets you can show that the two different definitions of continuity are actually the same in this case. So you're example will work. And to show it will work you can show it using the usual definition of continuity you're used to in the real numbers.
$endgroup$
– Melody
2 hours ago
add a comment |
1
$begingroup$
The open intervals form a basis for topology on the real line. A set is open if and only if it contains an open interval around each of these points. Using this definition of open sets you can show that the two different definitions of continuity are actually the same in this case. So you're example will work. And to show it will work you can show it using the usual definition of continuity you're used to in the real numbers.
$endgroup$
– Melody
2 hours ago
1
1
$begingroup$
The open intervals form a basis for topology on the real line. A set is open if and only if it contains an open interval around each of these points. Using this definition of open sets you can show that the two different definitions of continuity are actually the same in this case. So you're example will work. And to show it will work you can show it using the usual definition of continuity you're used to in the real numbers.
$endgroup$
– Melody
2 hours ago
$begingroup$
The open intervals form a basis for topology on the real line. A set is open if and only if it contains an open interval around each of these points. Using this definition of open sets you can show that the two different definitions of continuity are actually the same in this case. So you're example will work. And to show it will work you can show it using the usual definition of continuity you're used to in the real numbers.
$endgroup$
– Melody
2 hours ago
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Define $f(x)=1/x$ like you did, and assume you can find a continuous extension $g : mathbb{R}tomathbb{R}$. Well this $g $ takes a real numbered value at $0$, namely $-infty < g (0) < infty $, and it agrees with $f $ at non-zero values.
One definition of continuity is that given a net of points in $X $ converging to $x_0$ and a function $g $, then the images converge to $g(x_0) $. Since $mathbb{R}$ is a metric space, we can use sequences instead of nets. But given a sequence of real numbers $(x_n )_{n=1}^{infty} $ converging to $0$, the sequence $(g (x_n))_{n=1}^{infty} $ converges to either positive or negative $infty $. So it does not converge to $g (0) $. So $g $ is not continuous
BTW regarding your question on the results you proved. You proved a result about two functions that were continuous on the entire space, who agree on a dense subset. But the main question of your post is regarding a function who is not assumed to be continuous on the entire space, and comparing it to one that is continuous on the entire space. So the main example is not countering your original result
answered 1 hour ago
NazimJNazimJ
77019
$endgroup$
add a comment |
$begingroup$
Using sequences is the easiest way to go, but for a more "topological" proof, to show that no extension of $f$ is continuous at $x=0,$ we suppose there is one (we still call it $f$ for convenience), and we show that there is an $epsilon>0$ so that for any $delta >0$, there is an $xin (-delta,delta$), such that$f(x)>f(0)+epsilon$ (or that $f(x)<f(0)-epsilon$). Let's do the former.
Now, drawing a picture will make the following obvious:
Take $epsilon=1.$ Then, if $f(0)+1le 0$, then $text{any} xin (0,delta)$ will do because $f(x)=1/x>0.$
If $f(0)+1> 0$, all we need do is choose $x$ small enough so that $f(x)=1/x>f(0)+1,$ which is to say, choose $x<min{delta, frac{1}{f(0)+1}}$
answered 46 mins ago
MatematletaMatematleta
12.1k21020
$endgroup$
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%2f3177651%2fexample-of-a-continuous-function-that-dont-have-a-continuous-extension%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Define $f(x)=1/x$ like you did, and assume you can find a continuous extension $g : mathbb{R}tomathbb{R}$. Well this $g $ takes a real numbered value at $0$, namely $-infty < g (0) < infty $, and it agrees with $f $ at non-zero values.
One definition of continuity is that given a net of points in $X $ converging to $x_0$ and a function $g $, then the images converge to $g(x_0) $. Since $mathbb{R}$ is a metric space, we can use sequences instead of nets. But given a sequence of real numbers $(x_n )_{n=1}^{infty} $ converging to $0$, the sequence $(g (x_n))_{n=1}^{infty} $ converges to either positive or negative $infty $. So it does not converge to $g (0) $. So $g $ is not continuous
BTW regarding your question on the results you proved. You proved a result about two functions that were continuous on the entire space, who agree on a dense subset. But the main question of your post is regarding a function who is not assumed to be continuous on the entire space, and comparing it to one that is continuous on the entire space. So the main example is not countering your original result
answered 1 hour ago
NazimJNazimJ
77019
$endgroup$
add a comment |
$begingroup$
Define $f(x)=1/x$ like you did, and assume you can find a continuous extension $g : mathbb{R}tomathbb{R}$. Well this $g $ takes a real numbered value at $0$, namely $-infty < g (0) < infty $, and it agrees with $f $ at non-zero values.
One definition of continuity is that given a net of points in $X $ converging to $x_0$ and a function $g $, then the images converge to $g(x_0) $. Since $mathbb{R}$ is a metric space, we can use sequences instead of nets. But given a sequence of real numbers $(x_n )_{n=1}^{infty} $ converging to $0$, the sequence $(g (x_n))_{n=1}^{infty} $ converges to either positive or negative $infty $. So it does not converge to $g (0) $. So $g $ is not continuous
BTW regarding your question on the results you proved. You proved a result about two functions that were continuous on the entire space, who agree on a dense subset. But the main question of your post is regarding a function who is not assumed to be continuous on the entire space, and comparing it to one that is continuous on the entire space. So the main example is not countering your original result
answered 1 hour ago
NazimJNazimJ
77019
$endgroup$
add a comment |
$begingroup$
Define $f(x)=1/x$ like you did, and assume you can find a continuous extension $g : mathbb{R}tomathbb{R}$. Well this $g $ takes a real numbered value at $0$, namely $-infty < g (0) < infty $, and it agrees with $f $ at non-zero values.
One definition of continuity is that given a net of points in $X $ converging to $x_0$ and a function $g $, then the images converge to $g(x_0) $. Since $mathbb{R}$ is a metric space, we can use sequences instead of nets. But given a sequence of real numbers $(x_n )_{n=1}^{infty} $ converging to $0$, the sequence $(g (x_n))_{n=1}^{infty} $ converges to either positive or negative $infty $. So it does not converge to $g (0) $. So $g $ is not continuous
BTW regarding your question on the results you proved. You proved a result about two functions that were continuous on the entire space, who agree on a dense subset. But the main question of your post is regarding a function who is not assumed to be continuous on the entire space, and comparing it to one that is continuous on the entire space. So the main example is not countering your original result
answered 1 hour ago
NazimJNazimJ
77019
$endgroup$
Define $f(x)=1/x$ like you did, and assume you can find a continuous extension $g : mathbb{R}tomathbb{R}$. Well this $g $ takes a real numbered value at $0$, namely $-infty < g (0) < infty $, and it agrees with $f $ at non-zero values.
One definition of continuity is that given a net of points in $X $ converging to $x_0$ and a function $g $, then the images converge to $g(x_0) $. Since $mathbb{R}$ is a metric space, we can use sequences instead of nets. But given a sequence of real numbers $(x_n )_{n=1}^{infty} $ converging to $0$, the sequence $(g (x_n))_{n=1}^{infty} $ converges to either positive or negative $infty $. So it does not converge to $g (0) $. So $g $ is not continuous
BTW regarding your question on the results you proved. You proved a result about two functions that were continuous on the entire space, who agree on a dense subset. But the main question of your post is regarding a function who is not assumed to be continuous on the entire space, and comparing it to one that is continuous on the entire space. So the main example is not countering your original result
answered 1 hour ago
NazimJNazimJ
77019
edited 1 hour ago
answered 1 hour ago
NazimJNazimJ
77019
answered 1 hour ago
NazimJNazimJ
77019
answered 1 hour ago
NazimJNazimJ
77019
77019
add a comment |
add a comment |
$begingroup$
Using sequences is the easiest way to go, but for a more "topological" proof, to show that no extension of $f$ is continuous at $x=0,$ we suppose there is one (we still call it $f$ for convenience), and we show that there is an $epsilon>0$ so that for any $delta >0$, there is an $xin (-delta,delta$), such that$f(x)>f(0)+epsilon$ (or that $f(x)<f(0)-epsilon$). Let's do the former.
Now, drawing a picture will make the following obvious:
Take $epsilon=1.$ Then, if $f(0)+1le 0$, then $text{any} xin (0,delta)$ will do because $f(x)=1/x>0.$
If $f(0)+1> 0$, all we need do is choose $x$ small enough so that $f(x)=1/x>f(0)+1,$ which is to say, choose $x<min{delta, frac{1}{f(0)+1}}$
answered 46 mins ago
MatematletaMatematleta
12.1k21020
$endgroup$
add a comment |
$begingroup$
Using sequences is the easiest way to go, but for a more "topological" proof, to show that no extension of $f$ is continuous at $x=0,$ we suppose there is one (we still call it $f$ for convenience), and we show that there is an $epsilon>0$ so that for any $delta >0$, there is an $xin (-delta,delta$), such that$f(x)>f(0)+epsilon$ (or that $f(x)<f(0)-epsilon$). Let's do the former.
Now, drawing a picture will make the following obvious:
Take $epsilon=1.$ Then, if $f(0)+1le 0$, then $text{any} xin (0,delta)$ will do because $f(x)=1/x>0.$
If $f(0)+1> 0$, all we need do is choose $x$ small enough so that $f(x)=1/x>f(0)+1,$ which is to say, choose $x<min{delta, frac{1}{f(0)+1}}$
answered 46 mins ago
MatematletaMatematleta
12.1k21020
$endgroup$
add a comment |
$begingroup$
Using sequences is the easiest way to go, but for a more "topological" proof, to show that no extension of $f$ is continuous at $x=0,$ we suppose there is one (we still call it $f$ for convenience), and we show that there is an $epsilon>0$ so that for any $delta >0$, there is an $xin (-delta,delta$), such that$f(x)>f(0)+epsilon$ (or that $f(x)<f(0)-epsilon$). Let's do the former.
Now, drawing a picture will make the following obvious:
Take $epsilon=1.$ Then, if $f(0)+1le 0$, then $text{any} xin (0,delta)$ will do because $f(x)=1/x>0.$
If $f(0)+1> 0$, all we need do is choose $x$ small enough so that $f(x)=1/x>f(0)+1,$ which is to say, choose $x<min{delta, frac{1}{f(0)+1}}$
answered 46 mins ago
MatematletaMatematleta
12.1k21020
$endgroup$
Using sequences is the easiest way to go, but for a more "topological" proof, to show that no extension of $f$ is continuous at $x=0,$ we suppose there is one (we still call it $f$ for convenience), and we show that there is an $epsilon>0$ so that for any $delta >0$, there is an $xin (-delta,delta$), such that$f(x)>f(0)+epsilon$ (or that $f(x)<f(0)-epsilon$). Let's do the former.
Now, drawing a picture will make the following obvious:
Take $epsilon=1.$ Then, if $f(0)+1le 0$, then $text{any} xin (0,delta)$ will do because $f(x)=1/x>0.$
If $f(0)+1> 0$, all we need do is choose $x$ small enough so that $f(x)=1/x>f(0)+1,$ which is to say, choose $x<min{delta, frac{1}{f(0)+1}}$
answered 46 mins ago
MatematletaMatematleta
12.1k21020
answered 46 mins ago
MatematletaMatematleta
12.1k21020
answered 46 mins ago
MatematletaMatematleta
12.1k21020
answered 46 mins ago
MatematletaMatematleta
12.1k21020
12.1k21020
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.
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%2f3177651%2fexample-of-a-continuous-function-that-dont-have-a-continuous-extension%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 open intervals form a basis for topology on the real line. A set is open if and only if it contains an open interval around each of these points. Using this definition of open sets you can show that the two different definitions of continuity are actually the same in this case. So you're example will work. And to show it will work you can show it using the usual definition of continuity you're used to in the real numbers.
$endgroup$
– Melody
2 hours ago