Uniform continuity on an open interval?
$begingroup$
Suppose I want to check if $f(x)$ is uniform continuous on a bounded interval $I$ (for eg open interval $(0,1)$), given that it is continuous on $I$. How do I do that?
My approach: Take $bar{I}$, then two case can happen:
Case I: If I can continuously extend the function, then $f(x)$ is uniformly continuous on $I$.
Case II: If I cannot extend the function continuously, then two sub cases are possible
Subcase II a: $f(x)$ is tends to an infinite limit i.e. it shoots up/down arbitrarily for eg functions like $frac{1}{x}$. In which case I conclude that $f$ is not uniformly continuous on $I$.
Subcase II b: $f(x)$ doesn't have a limit i.e. function of the type sin$frac{1}{x}$. In this case as well $f(x)$ is not uniform continuous on $I$.
So is my above classification of continuous function sufficient to determine which functions are uniform continuous and which are not? So far it had worked well for me.
uniform-continuity
$endgroup$
add a comment |
$begingroup$
Suppose I want to check if $f(x)$ is uniform continuous on a bounded interval $I$ (for eg open interval $(0,1)$), given that it is continuous on $I$. How do I do that?
My approach: Take $bar{I}$, then two case can happen:
Case I: If I can continuously extend the function, then $f(x)$ is uniformly continuous on $I$.
Case II: If I cannot extend the function continuously, then two sub cases are possible
Subcase II a: $f(x)$ is tends to an infinite limit i.e. it shoots up/down arbitrarily for eg functions like $frac{1}{x}$. In which case I conclude that $f$ is not uniformly continuous on $I$.
Subcase II b: $f(x)$ doesn't have a limit i.e. function of the type sin$frac{1}{x}$. In this case as well $f(x)$ is not uniform continuous on $I$.
So is my above classification of continuous function sufficient to determine which functions are uniform continuous and which are not? So far it had worked well for me.
uniform-continuity
$endgroup$
1
$begingroup$
A function continuous function $f:(0,1)rightarrow Bbb R$ can be extended to a continuous function $tilde f$ on $[0,1]$ if and only if $f$ is uniformly continuous on $(0,1)$.
$endgroup$
– UserS
Dec 6 '18 at 12:14
$begingroup$
@UserS I was looking for a statement like that. Can you give me a specific source for that theorem?
$endgroup$
– henceproved
Dec 6 '18 at 12:16
add a comment |
$begingroup$
Suppose I want to check if $f(x)$ is uniform continuous on a bounded interval $I$ (for eg open interval $(0,1)$), given that it is continuous on $I$. How do I do that?
My approach: Take $bar{I}$, then two case can happen:
Case I: If I can continuously extend the function, then $f(x)$ is uniformly continuous on $I$.
Case II: If I cannot extend the function continuously, then two sub cases are possible
Subcase II a: $f(x)$ is tends to an infinite limit i.e. it shoots up/down arbitrarily for eg functions like $frac{1}{x}$. In which case I conclude that $f$ is not uniformly continuous on $I$.
Subcase II b: $f(x)$ doesn't have a limit i.e. function of the type sin$frac{1}{x}$. In this case as well $f(x)$ is not uniform continuous on $I$.
So is my above classification of continuous function sufficient to determine which functions are uniform continuous and which are not? So far it had worked well for me.
uniform-continuity
$endgroup$
Suppose I want to check if $f(x)$ is uniform continuous on a bounded interval $I$ (for eg open interval $(0,1)$), given that it is continuous on $I$. How do I do that?
My approach: Take $bar{I}$, then two case can happen:
Case I: If I can continuously extend the function, then $f(x)$ is uniformly continuous on $I$.
Case II: If I cannot extend the function continuously, then two sub cases are possible
Subcase II a: $f(x)$ is tends to an infinite limit i.e. it shoots up/down arbitrarily for eg functions like $frac{1}{x}$. In which case I conclude that $f$ is not uniformly continuous on $I$.
Subcase II b: $f(x)$ doesn't have a limit i.e. function of the type sin$frac{1}{x}$. In this case as well $f(x)$ is not uniform continuous on $I$.
So is my above classification of continuous function sufficient to determine which functions are uniform continuous and which are not? So far it had worked well for me.
uniform-continuity
uniform-continuity
edited Dec 6 '18 at 12:19
José Carlos Santos
158k22126228
158k22126228
asked Dec 6 '18 at 12:05
henceprovedhenceproved
1628
1628
1
$begingroup$
A function continuous function $f:(0,1)rightarrow Bbb R$ can be extended to a continuous function $tilde f$ on $[0,1]$ if and only if $f$ is uniformly continuous on $(0,1)$.
$endgroup$
– UserS
Dec 6 '18 at 12:14
$begingroup$
@UserS I was looking for a statement like that. Can you give me a specific source for that theorem?
$endgroup$
– henceproved
Dec 6 '18 at 12:16
add a comment |
1
$begingroup$
A function continuous function $f:(0,1)rightarrow Bbb R$ can be extended to a continuous function $tilde f$ on $[0,1]$ if and only if $f$ is uniformly continuous on $(0,1)$.
$endgroup$
– UserS
Dec 6 '18 at 12:14
$begingroup$
@UserS I was looking for a statement like that. Can you give me a specific source for that theorem?
$endgroup$
– henceproved
Dec 6 '18 at 12:16
1
1
$begingroup$
A function continuous function $f:(0,1)rightarrow Bbb R$ can be extended to a continuous function $tilde f$ on $[0,1]$ if and only if $f$ is uniformly continuous on $(0,1)$.
$endgroup$
– UserS
Dec 6 '18 at 12:14
$begingroup$
A function continuous function $f:(0,1)rightarrow Bbb R$ can be extended to a continuous function $tilde f$ on $[0,1]$ if and only if $f$ is uniformly continuous on $(0,1)$.
$endgroup$
– UserS
Dec 6 '18 at 12:14
$begingroup$
@UserS I was looking for a statement like that. Can you give me a specific source for that theorem?
$endgroup$
– henceproved
Dec 6 '18 at 12:16
$begingroup$
@UserS I was looking for a statement like that. Can you give me a specific source for that theorem?
$endgroup$
– henceproved
Dec 6 '18 at 12:16
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Yes, that is correct. In fact, assuming that the domain of $f$ is $(a,b)$:
- If both limits $lim_{xto a^+}f(x)$ and $lim_{xto b^-}f(x)$ exist, then $f$ is uniformly continuous, because you can define$$begin{array}{rccc}Fcolon&[a,b]&longrightarrow&mathbb R\&x&mapsto&begin{cases}lim_{xto a^+}f(x)&text{ if }x=a\f(x)&text{ if }xin(a,b)\lim_{xto b^-}f(x)&text{ if }x=b.end{cases}end{array}$$Then $F$ is continuous and, since its domain is a closed and bounded interval, $F$ is unifomly continuous. In particular, $f$ is uniformly continuous.
- If the limit $lim_{xto a^+}f(x)$ doesn't exist, then $f$ cannot be uniformly continuous because then either $lim_{xto a^+}bigllvert f(x)bigrrvert=+infty$ or there will two real numbers $m$ and $M$, with $m<M$, such that the inequalities $f(x)>M$ and $f(x)<m$ will occur for values of $x$ arbitrarily close to $a$. It is easy to prove that each possibility is incompatible with the fact that $f$ is uniformly continuous.
- The case in which the limit $lim_{xto b^-}f(x)$ doesn't exist is similar.
$endgroup$
add a comment |
$begingroup$
Let $f:(0,1)rightarrow Bbb R$ be uniformly continuous and consider a sequence ${x_n}$ converging to $0$ , so that ${x_n}$ is cauchy. Now a uniformly continuous function sends Cauchy sequence to Cauchy sequence i.e. ${f(x_n)}$ is also cauchy , hence ${f(x_n)}$ converges to some limit $lin Bbb R$. Again using uniform continuity you can show this limit is independent of choice of sequence converging to $0$ i.e. both $x_n,y_n$ converges to $0$ implies that $|x_n-y_n|$ can be made arbitrarily small for large $n$, so by uniform continuity $|f(x_n)-f(y_n)|$ can be made arbitrarily small for large $n$ and since both ${f(x_n)},{f(y_n)}$ are convergent ,the converges same limit. So that we can extend $f$ by defining $f(0)=l$. In a similar manner one can assign a value for $f$ on the point $1$. This gives a continuous extension of $f$ on $[0,1]$.
For the converse , let $tilde f$ be a continuous extension of $f$ on $[0,1$, then $tilde f$ is uniformly continuous as $[0,1]$ is compact , hence $f$ , being a restriction of $tilde f$ is uniformly continuous on $(0,1)$.
More general statement---
Let $D$ be a dense subset of $[0,1]$ and $f:Drightarrow Bbb R$ is uniformly continuous then $f$ can be extended to whole $[0,1]$ continuously.
$endgroup$
$begingroup$
I added these facts as the user henceproved asked for a source.
$endgroup$
– UserS
Dec 6 '18 at 13:07
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%2f3028416%2funiform-continuity-on-an-open-interval%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$
Yes, that is correct. In fact, assuming that the domain of $f$ is $(a,b)$:
- If both limits $lim_{xto a^+}f(x)$ and $lim_{xto b^-}f(x)$ exist, then $f$ is uniformly continuous, because you can define$$begin{array}{rccc}Fcolon&[a,b]&longrightarrow&mathbb R\&x&mapsto&begin{cases}lim_{xto a^+}f(x)&text{ if }x=a\f(x)&text{ if }xin(a,b)\lim_{xto b^-}f(x)&text{ if }x=b.end{cases}end{array}$$Then $F$ is continuous and, since its domain is a closed and bounded interval, $F$ is unifomly continuous. In particular, $f$ is uniformly continuous.
- If the limit $lim_{xto a^+}f(x)$ doesn't exist, then $f$ cannot be uniformly continuous because then either $lim_{xto a^+}bigllvert f(x)bigrrvert=+infty$ or there will two real numbers $m$ and $M$, with $m<M$, such that the inequalities $f(x)>M$ and $f(x)<m$ will occur for values of $x$ arbitrarily close to $a$. It is easy to prove that each possibility is incompatible with the fact that $f$ is uniformly continuous.
- The case in which the limit $lim_{xto b^-}f(x)$ doesn't exist is similar.
$endgroup$
add a comment |
$begingroup$
Yes, that is correct. In fact, assuming that the domain of $f$ is $(a,b)$:
- If both limits $lim_{xto a^+}f(x)$ and $lim_{xto b^-}f(x)$ exist, then $f$ is uniformly continuous, because you can define$$begin{array}{rccc}Fcolon&[a,b]&longrightarrow&mathbb R\&x&mapsto&begin{cases}lim_{xto a^+}f(x)&text{ if }x=a\f(x)&text{ if }xin(a,b)\lim_{xto b^-}f(x)&text{ if }x=b.end{cases}end{array}$$Then $F$ is continuous and, since its domain is a closed and bounded interval, $F$ is unifomly continuous. In particular, $f$ is uniformly continuous.
- If the limit $lim_{xto a^+}f(x)$ doesn't exist, then $f$ cannot be uniformly continuous because then either $lim_{xto a^+}bigllvert f(x)bigrrvert=+infty$ or there will two real numbers $m$ and $M$, with $m<M$, such that the inequalities $f(x)>M$ and $f(x)<m$ will occur for values of $x$ arbitrarily close to $a$. It is easy to prove that each possibility is incompatible with the fact that $f$ is uniformly continuous.
- The case in which the limit $lim_{xto b^-}f(x)$ doesn't exist is similar.
$endgroup$
add a comment |
$begingroup$
Yes, that is correct. In fact, assuming that the domain of $f$ is $(a,b)$:
- If both limits $lim_{xto a^+}f(x)$ and $lim_{xto b^-}f(x)$ exist, then $f$ is uniformly continuous, because you can define$$begin{array}{rccc}Fcolon&[a,b]&longrightarrow&mathbb R\&x&mapsto&begin{cases}lim_{xto a^+}f(x)&text{ if }x=a\f(x)&text{ if }xin(a,b)\lim_{xto b^-}f(x)&text{ if }x=b.end{cases}end{array}$$Then $F$ is continuous and, since its domain is a closed and bounded interval, $F$ is unifomly continuous. In particular, $f$ is uniformly continuous.
- If the limit $lim_{xto a^+}f(x)$ doesn't exist, then $f$ cannot be uniformly continuous because then either $lim_{xto a^+}bigllvert f(x)bigrrvert=+infty$ or there will two real numbers $m$ and $M$, with $m<M$, such that the inequalities $f(x)>M$ and $f(x)<m$ will occur for values of $x$ arbitrarily close to $a$. It is easy to prove that each possibility is incompatible with the fact that $f$ is uniformly continuous.
- The case in which the limit $lim_{xto b^-}f(x)$ doesn't exist is similar.
$endgroup$
Yes, that is correct. In fact, assuming that the domain of $f$ is $(a,b)$:
- If both limits $lim_{xto a^+}f(x)$ and $lim_{xto b^-}f(x)$ exist, then $f$ is uniformly continuous, because you can define$$begin{array}{rccc}Fcolon&[a,b]&longrightarrow&mathbb R\&x&mapsto&begin{cases}lim_{xto a^+}f(x)&text{ if }x=a\f(x)&text{ if }xin(a,b)\lim_{xto b^-}f(x)&text{ if }x=b.end{cases}end{array}$$Then $F$ is continuous and, since its domain is a closed and bounded interval, $F$ is unifomly continuous. In particular, $f$ is uniformly continuous.
- If the limit $lim_{xto a^+}f(x)$ doesn't exist, then $f$ cannot be uniformly continuous because then either $lim_{xto a^+}bigllvert f(x)bigrrvert=+infty$ or there will two real numbers $m$ and $M$, with $m<M$, such that the inequalities $f(x)>M$ and $f(x)<m$ will occur for values of $x$ arbitrarily close to $a$. It is easy to prove that each possibility is incompatible with the fact that $f$ is uniformly continuous.
- The case in which the limit $lim_{xto b^-}f(x)$ doesn't exist is similar.
answered Dec 6 '18 at 12:17
José Carlos SantosJosé Carlos Santos
158k22126228
158k22126228
add a comment |
add a comment |
$begingroup$
Let $f:(0,1)rightarrow Bbb R$ be uniformly continuous and consider a sequence ${x_n}$ converging to $0$ , so that ${x_n}$ is cauchy. Now a uniformly continuous function sends Cauchy sequence to Cauchy sequence i.e. ${f(x_n)}$ is also cauchy , hence ${f(x_n)}$ converges to some limit $lin Bbb R$. Again using uniform continuity you can show this limit is independent of choice of sequence converging to $0$ i.e. both $x_n,y_n$ converges to $0$ implies that $|x_n-y_n|$ can be made arbitrarily small for large $n$, so by uniform continuity $|f(x_n)-f(y_n)|$ can be made arbitrarily small for large $n$ and since both ${f(x_n)},{f(y_n)}$ are convergent ,the converges same limit. So that we can extend $f$ by defining $f(0)=l$. In a similar manner one can assign a value for $f$ on the point $1$. This gives a continuous extension of $f$ on $[0,1]$.
For the converse , let $tilde f$ be a continuous extension of $f$ on $[0,1$, then $tilde f$ is uniformly continuous as $[0,1]$ is compact , hence $f$ , being a restriction of $tilde f$ is uniformly continuous on $(0,1)$.
More general statement---
Let $D$ be a dense subset of $[0,1]$ and $f:Drightarrow Bbb R$ is uniformly continuous then $f$ can be extended to whole $[0,1]$ continuously.
$endgroup$
$begingroup$
I added these facts as the user henceproved asked for a source.
$endgroup$
– UserS
Dec 6 '18 at 13:07
add a comment |
$begingroup$
Let $f:(0,1)rightarrow Bbb R$ be uniformly continuous and consider a sequence ${x_n}$ converging to $0$ , so that ${x_n}$ is cauchy. Now a uniformly continuous function sends Cauchy sequence to Cauchy sequence i.e. ${f(x_n)}$ is also cauchy , hence ${f(x_n)}$ converges to some limit $lin Bbb R$. Again using uniform continuity you can show this limit is independent of choice of sequence converging to $0$ i.e. both $x_n,y_n$ converges to $0$ implies that $|x_n-y_n|$ can be made arbitrarily small for large $n$, so by uniform continuity $|f(x_n)-f(y_n)|$ can be made arbitrarily small for large $n$ and since both ${f(x_n)},{f(y_n)}$ are convergent ,the converges same limit. So that we can extend $f$ by defining $f(0)=l$. In a similar manner one can assign a value for $f$ on the point $1$. This gives a continuous extension of $f$ on $[0,1]$.
For the converse , let $tilde f$ be a continuous extension of $f$ on $[0,1$, then $tilde f$ is uniformly continuous as $[0,1]$ is compact , hence $f$ , being a restriction of $tilde f$ is uniformly continuous on $(0,1)$.
More general statement---
Let $D$ be a dense subset of $[0,1]$ and $f:Drightarrow Bbb R$ is uniformly continuous then $f$ can be extended to whole $[0,1]$ continuously.
$endgroup$
$begingroup$
I added these facts as the user henceproved asked for a source.
$endgroup$
– UserS
Dec 6 '18 at 13:07
add a comment |
$begingroup$
Let $f:(0,1)rightarrow Bbb R$ be uniformly continuous and consider a sequence ${x_n}$ converging to $0$ , so that ${x_n}$ is cauchy. Now a uniformly continuous function sends Cauchy sequence to Cauchy sequence i.e. ${f(x_n)}$ is also cauchy , hence ${f(x_n)}$ converges to some limit $lin Bbb R$. Again using uniform continuity you can show this limit is independent of choice of sequence converging to $0$ i.e. both $x_n,y_n$ converges to $0$ implies that $|x_n-y_n|$ can be made arbitrarily small for large $n$, so by uniform continuity $|f(x_n)-f(y_n)|$ can be made arbitrarily small for large $n$ and since both ${f(x_n)},{f(y_n)}$ are convergent ,the converges same limit. So that we can extend $f$ by defining $f(0)=l$. In a similar manner one can assign a value for $f$ on the point $1$. This gives a continuous extension of $f$ on $[0,1]$.
For the converse , let $tilde f$ be a continuous extension of $f$ on $[0,1$, then $tilde f$ is uniformly continuous as $[0,1]$ is compact , hence $f$ , being a restriction of $tilde f$ is uniformly continuous on $(0,1)$.
More general statement---
Let $D$ be a dense subset of $[0,1]$ and $f:Drightarrow Bbb R$ is uniformly continuous then $f$ can be extended to whole $[0,1]$ continuously.
$endgroup$
Let $f:(0,1)rightarrow Bbb R$ be uniformly continuous and consider a sequence ${x_n}$ converging to $0$ , so that ${x_n}$ is cauchy. Now a uniformly continuous function sends Cauchy sequence to Cauchy sequence i.e. ${f(x_n)}$ is also cauchy , hence ${f(x_n)}$ converges to some limit $lin Bbb R$. Again using uniform continuity you can show this limit is independent of choice of sequence converging to $0$ i.e. both $x_n,y_n$ converges to $0$ implies that $|x_n-y_n|$ can be made arbitrarily small for large $n$, so by uniform continuity $|f(x_n)-f(y_n)|$ can be made arbitrarily small for large $n$ and since both ${f(x_n)},{f(y_n)}$ are convergent ,the converges same limit. So that we can extend $f$ by defining $f(0)=l$. In a similar manner one can assign a value for $f$ on the point $1$. This gives a continuous extension of $f$ on $[0,1]$.
For the converse , let $tilde f$ be a continuous extension of $f$ on $[0,1$, then $tilde f$ is uniformly continuous as $[0,1]$ is compact , hence $f$ , being a restriction of $tilde f$ is uniformly continuous on $(0,1)$.
More general statement---
Let $D$ be a dense subset of $[0,1]$ and $f:Drightarrow Bbb R$ is uniformly continuous then $f$ can be extended to whole $[0,1]$ continuously.
edited Dec 6 '18 at 12:36
answered Dec 6 '18 at 12:30
UserSUserS
1,5391112
1,5391112
$begingroup$
I added these facts as the user henceproved asked for a source.
$endgroup$
– UserS
Dec 6 '18 at 13:07
add a comment |
$begingroup$
I added these facts as the user henceproved asked for a source.
$endgroup$
– UserS
Dec 6 '18 at 13:07
$begingroup$
I added these facts as the user henceproved asked for a source.
$endgroup$
– UserS
Dec 6 '18 at 13:07
$begingroup$
I added these facts as the user henceproved asked for a source.
$endgroup$
– UserS
Dec 6 '18 at 13:07
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%2f3028416%2funiform-continuity-on-an-open-interval%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$
A function continuous function $f:(0,1)rightarrow Bbb R$ can be extended to a continuous function $tilde f$ on $[0,1]$ if and only if $f$ is uniformly continuous on $(0,1)$.
$endgroup$
– UserS
Dec 6 '18 at 12:14
$begingroup$
@UserS I was looking for a statement like that. Can you give me a specific source for that theorem?
$endgroup$
– henceproved
Dec 6 '18 at 12:16