Continuity of function $T: left( C[0,1],d_{text{sup}} right) rightarrow left( C[0,1],d_{text{sup}} right)$
$begingroup$
Let $$T: left( C[0,1],d_{text{sup}} right) rightarrow left( C[0,1],d_{text{sup}} right)$$
where $$d_{text{sup}}(f,g) = mbox{sup}_{x in [0,1]} |f(x) - g(x)|$$
and the definition of $T$ is: $$T(f)(x) = 2 cdot f(1-x) - 3$$
Is it true that $T$ is a continuous function?
For me it is really strange example of function. Usually I consider function from real number to real number. But here I have no idea how to begin.
I will grateful for your help.
general-topology continuity
edited Nov 17 '13 at 13:14
Henno Brandsma
107k347114
asked Nov 17 '13 at 13:00
ThomasThomas
1,23911021
$endgroup$
|
show 3 more comments
$begingroup$
Let $$T: left( C[0,1],d_{text{sup}} right) rightarrow left( C[0,1],d_{text{sup}} right)$$
where $$d_{text{sup}}(f,g) = mbox{sup}_{x in [0,1]} |f(x) - g(x)|$$
and the definition of $T$ is: $$T(f)(x) = 2 cdot f(1-x) - 3$$
Is it true that $T$ is a continuous function?
For me it is really strange example of function. Usually I consider function from real number to real number. But here I have no idea how to begin.
I will grateful for your help.
general-topology continuity
edited Nov 17 '13 at 13:14
Henno Brandsma
107k347114
asked Nov 17 '13 at 13:00
ThomasThomas
1,23911021
$endgroup$
$begingroup$
what is the definition of $T$ here?
$endgroup$
– GA316
Nov 17 '13 at 13:02
$begingroup$
I added definition of $T$.
$endgroup$
– Thomas
Nov 17 '13 at 13:02
$begingroup$
Write it as a composition of simpler functions, $T = C circ B circ A$, where $A(f)(x) = f(1-x)$; $B(f) = 2cdot f$, $C(f)(x) = f(x)-3$. Check that $A,B,C$ are continuous.
$endgroup$
– Daniel Fischer♦
Nov 17 '13 at 13:23
$begingroup$
For me the problem is the same - how to check that $A,B,C$ are continuous?
$endgroup$
– Thomas
Nov 17 '13 at 13:24
$begingroup$
@DanielFischer You check that $T(f)$ is continuous, not $T$! Both need to be done.
$endgroup$
– Henno Brandsma
Nov 17 '13 at 13:37
|
show 3 more comments
$begingroup$
Let $$T: left( C[0,1],d_{text{sup}} right) rightarrow left( C[0,1],d_{text{sup}} right)$$
where $$d_{text{sup}}(f,g) = mbox{sup}_{x in [0,1]} |f(x) - g(x)|$$
and the definition of $T$ is: $$T(f)(x) = 2 cdot f(1-x) - 3$$
Is it true that $T$ is a continuous function?
For me it is really strange example of function. Usually I consider function from real number to real number. But here I have no idea how to begin.
I will grateful for your help.
general-topology continuity
edited Nov 17 '13 at 13:14
Henno Brandsma
107k347114
asked Nov 17 '13 at 13:00
ThomasThomas
1,23911021
$endgroup$
Let $$T: left( C[0,1],d_{text{sup}} right) rightarrow left( C[0,1],d_{text{sup}} right)$$
where $$d_{text{sup}}(f,g) = mbox{sup}_{x in [0,1]} |f(x) - g(x)|$$
and the definition of $T$ is: $$T(f)(x) = 2 cdot f(1-x) - 3$$
Is it true that $T$ is a continuous function?
For me it is really strange example of function. Usually I consider function from real number to real number. But here I have no idea how to begin.
I will grateful for your help.
general-topology continuity
general-topology continuity
edited Nov 17 '13 at 13:14
Henno Brandsma
107k347114
asked Nov 17 '13 at 13:00
ThomasThomas
1,23911021
edited Nov 17 '13 at 13:14
Henno Brandsma
107k347114
asked Nov 17 '13 at 13:00
ThomasThomas
1,23911021
edited Nov 17 '13 at 13:14
Henno Brandsma
107k347114
edited Nov 17 '13 at 13:14
Henno Brandsma
107k347114
edited Nov 17 '13 at 13:14
Henno Brandsma
107k347114
107k347114
asked Nov 17 '13 at 13:00
ThomasThomas
1,23911021
asked Nov 17 '13 at 13:00
ThomasThomas
1,23911021
asked Nov 17 '13 at 13:00
ThomasThomas
1,23911021
1,23911021
$begingroup$
what is the definition of $T$ here?
$endgroup$
– GA316
Nov 17 '13 at 13:02
$begingroup$
I added definition of $T$.
$endgroup$
– Thomas
Nov 17 '13 at 13:02
$begingroup$
Write it as a composition of simpler functions, $T = C circ B circ A$, where $A(f)(x) = f(1-x)$; $B(f) = 2cdot f$, $C(f)(x) = f(x)-3$. Check that $A,B,C$ are continuous.
$endgroup$
– Daniel Fischer♦
Nov 17 '13 at 13:23
$begingroup$
For me the problem is the same - how to check that $A,B,C$ are continuous?
$endgroup$
– Thomas
Nov 17 '13 at 13:24
$begingroup$
@DanielFischer You check that $T(f)$ is continuous, not $T$! Both need to be done.
$endgroup$
– Henno Brandsma
Nov 17 '13 at 13:37
|
show 3 more comments
$begingroup$
what is the definition of $T$ here?
$endgroup$
– GA316
Nov 17 '13 at 13:02
$begingroup$
I added definition of $T$.
$endgroup$
– Thomas
Nov 17 '13 at 13:02
$begingroup$
Write it as a composition of simpler functions, $T = C circ B circ A$, where $A(f)(x) = f(1-x)$; $B(f) = 2cdot f$, $C(f)(x) = f(x)-3$. Check that $A,B,C$ are continuous.
$endgroup$
– Daniel Fischer♦
Nov 17 '13 at 13:23
$begingroup$
For me the problem is the same - how to check that $A,B,C$ are continuous?
$endgroup$
– Thomas
Nov 17 '13 at 13:24
$begingroup$
@DanielFischer You check that $T(f)$ is continuous, not $T$! Both need to be done.
$endgroup$
– Henno Brandsma
Nov 17 '13 at 13:37
$begingroup$
what is the definition of $T$ here?
$endgroup$
– GA316
Nov 17 '13 at 13:02
$begingroup$
what is the definition of $T$ here?
$endgroup$
– GA316
Nov 17 '13 at 13:02
$begingroup$
I added definition of $T$.
$endgroup$
– Thomas
Nov 17 '13 at 13:02
$begingroup$
I added definition of $T$.
$endgroup$
– Thomas
Nov 17 '13 at 13:02
$begingroup$
Write it as a composition of simpler functions, $T = C circ B circ A$, where $A(f)(x) = f(1-x)$; $B(f) = 2cdot f$, $C(f)(x) = f(x)-3$. Check that $A,B,C$ are continuous.
$endgroup$
– Daniel Fischer♦
Nov 17 '13 at 13:23
$begingroup$
Write it as a composition of simpler functions, $T = C circ B circ A$, where $A(f)(x) = f(1-x)$; $B(f) = 2cdot f$, $C(f)(x) = f(x)-3$. Check that $A,B,C$ are continuous.
$endgroup$
– Daniel Fischer♦
Nov 17 '13 at 13:23
$begingroup$
For me the problem is the same - how to check that $A,B,C$ are continuous?
$endgroup$
– Thomas
Nov 17 '13 at 13:24
$begingroup$
For me the problem is the same - how to check that $A,B,C$ are continuous?
$endgroup$
– Thomas
Nov 17 '13 at 13:24
$begingroup$
@DanielFischer You check that $T(f)$ is continuous, not $T$! Both need to be done.
$endgroup$
– Henno Brandsma
Nov 17 '13 at 13:37
$begingroup$
@DanielFischer You check that $T(f)$ is continuous, not $T$! Both need to be done.
$endgroup$
– Henno Brandsma
Nov 17 '13 at 13:37
|
show 3 more comments
1 Answer
1
active
oldest
votes
$begingroup$
For any set $S$ it makes sense to talk about a function $f: S rightarrow S$, formally this is a set of ordered pairs satisfying some conditions, but a more informal description is that we need for every $s$ in $S$, some unique value $f(s)$ in $S$ as well. In the case at hand, $S$ is a set of (continuous) functions, not a set of numbers, but the principle is the same.
So $T(f)$ must be in the set as well, whenever $f$ is, and you described the rule: as $T(f)$ is itself a function from $[0,1]$ to $mathbb{R}$, to describe what it is we need to define what $T(f)(x)$ is for every $x$ in $[0,1]$, and it takes the value of $f$ (the input function) at the point $1-x$, multiplies it by 2 and subtracts 3: this is again some real number, uniquely determined when we know $f$, so $T(f)(x)$ is well-defined for all $x in [0,1]$. Whenever $f$ is continuous between $[0,1]$ and $mathbb{R}$, so is $T(f)$: we can see $T(f)(x)$ as a composition of continuous functions ($x rightarrow 1-x, f, t rightarrow 2t-3$, informally), and so $f$ maps continuous functions to continuous functions as required.
To see continuity in the metric $d_sup$, you need to compute what $d_sup(T(f), T(g))$ is, for functions $f,g$. By definition this equals the sup (actually a maximum as we work with
continuous functions on a compact space) of all differences $left|T(f)(x) - T(g)(x)right|$
where $x$ runs over all values in $[0,1]$. But this equals (using definitions and cancelling the $-3$'s) $$|,2cdot f(1-x) - 2 cdot g(1-x) ,| = 2cdot|,f(1-x) - g(1-x),|$$
and the sup of these over all $x$ is just the same as the sup of $|f(x)-g(x)|$ over all $x$ : if one assumes its max at $a$, the other assumes it at $1-a$ and vice versa).
In short, $d_sup(T(f), T(g)) = 2d_sup(f,g)$, and this will easily imply continuity of $T$..
answered Nov 17 '13 at 13:36
Henno BrandsmaHenno Brandsma
107k347114
$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%2f570367%2fcontinuity-of-function-t-left-c0-1-d-textsup-right-rightarrow-lef%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 any set $S$ it makes sense to talk about a function $f: S rightarrow S$, formally this is a set of ordered pairs satisfying some conditions, but a more informal description is that we need for every $s$ in $S$, some unique value $f(s)$ in $S$ as well. In the case at hand, $S$ is a set of (continuous) functions, not a set of numbers, but the principle is the same.
So $T(f)$ must be in the set as well, whenever $f$ is, and you described the rule: as $T(f)$ is itself a function from $[0,1]$ to $mathbb{R}$, to describe what it is we need to define what $T(f)(x)$ is for every $x$ in $[0,1]$, and it takes the value of $f$ (the input function) at the point $1-x$, multiplies it by 2 and subtracts 3: this is again some real number, uniquely determined when we know $f$, so $T(f)(x)$ is well-defined for all $x in [0,1]$. Whenever $f$ is continuous between $[0,1]$ and $mathbb{R}$, so is $T(f)$: we can see $T(f)(x)$ as a composition of continuous functions ($x rightarrow 1-x, f, t rightarrow 2t-3$, informally), and so $f$ maps continuous functions to continuous functions as required.
To see continuity in the metric $d_sup$, you need to compute what $d_sup(T(f), T(g))$ is, for functions $f,g$. By definition this equals the sup (actually a maximum as we work with
continuous functions on a compact space) of all differences $left|T(f)(x) - T(g)(x)right|$
where $x$ runs over all values in $[0,1]$. But this equals (using definitions and cancelling the $-3$'s) $$|,2cdot f(1-x) - 2 cdot g(1-x) ,| = 2cdot|,f(1-x) - g(1-x),|$$
and the sup of these over all $x$ is just the same as the sup of $|f(x)-g(x)|$ over all $x$ : if one assumes its max at $a$, the other assumes it at $1-a$ and vice versa).
In short, $d_sup(T(f), T(g)) = 2d_sup(f,g)$, and this will easily imply continuity of $T$..
answered Nov 17 '13 at 13:36
Henno BrandsmaHenno Brandsma
107k347114
$endgroup$
add a comment |
$begingroup$
For any set $S$ it makes sense to talk about a function $f: S rightarrow S$, formally this is a set of ordered pairs satisfying some conditions, but a more informal description is that we need for every $s$ in $S$, some unique value $f(s)$ in $S$ as well. In the case at hand, $S$ is a set of (continuous) functions, not a set of numbers, but the principle is the same.
So $T(f)$ must be in the set as well, whenever $f$ is, and you described the rule: as $T(f)$ is itself a function from $[0,1]$ to $mathbb{R}$, to describe what it is we need to define what $T(f)(x)$ is for every $x$ in $[0,1]$, and it takes the value of $f$ (the input function) at the point $1-x$, multiplies it by 2 and subtracts 3: this is again some real number, uniquely determined when we know $f$, so $T(f)(x)$ is well-defined for all $x in [0,1]$. Whenever $f$ is continuous between $[0,1]$ and $mathbb{R}$, so is $T(f)$: we can see $T(f)(x)$ as a composition of continuous functions ($x rightarrow 1-x, f, t rightarrow 2t-3$, informally), and so $f$ maps continuous functions to continuous functions as required.
To see continuity in the metric $d_sup$, you need to compute what $d_sup(T(f), T(g))$ is, for functions $f,g$. By definition this equals the sup (actually a maximum as we work with
continuous functions on a compact space) of all differences $left|T(f)(x) - T(g)(x)right|$
where $x$ runs over all values in $[0,1]$. But this equals (using definitions and cancelling the $-3$'s) $$|,2cdot f(1-x) - 2 cdot g(1-x) ,| = 2cdot|,f(1-x) - g(1-x),|$$
and the sup of these over all $x$ is just the same as the sup of $|f(x)-g(x)|$ over all $x$ : if one assumes its max at $a$, the other assumes it at $1-a$ and vice versa).
In short, $d_sup(T(f), T(g)) = 2d_sup(f,g)$, and this will easily imply continuity of $T$..
answered Nov 17 '13 at 13:36
Henno BrandsmaHenno Brandsma
107k347114
$endgroup$
add a comment |
$begingroup$
For any set $S$ it makes sense to talk about a function $f: S rightarrow S$, formally this is a set of ordered pairs satisfying some conditions, but a more informal description is that we need for every $s$ in $S$, some unique value $f(s)$ in $S$ as well. In the case at hand, $S$ is a set of (continuous) functions, not a set of numbers, but the principle is the same.
So $T(f)$ must be in the set as well, whenever $f$ is, and you described the rule: as $T(f)$ is itself a function from $[0,1]$ to $mathbb{R}$, to describe what it is we need to define what $T(f)(x)$ is for every $x$ in $[0,1]$, and it takes the value of $f$ (the input function) at the point $1-x$, multiplies it by 2 and subtracts 3: this is again some real number, uniquely determined when we know $f$, so $T(f)(x)$ is well-defined for all $x in [0,1]$. Whenever $f$ is continuous between $[0,1]$ and $mathbb{R}$, so is $T(f)$: we can see $T(f)(x)$ as a composition of continuous functions ($x rightarrow 1-x, f, t rightarrow 2t-3$, informally), and so $f$ maps continuous functions to continuous functions as required.
To see continuity in the metric $d_sup$, you need to compute what $d_sup(T(f), T(g))$ is, for functions $f,g$. By definition this equals the sup (actually a maximum as we work with
continuous functions on a compact space) of all differences $left|T(f)(x) - T(g)(x)right|$
where $x$ runs over all values in $[0,1]$. But this equals (using definitions and cancelling the $-3$'s) $$|,2cdot f(1-x) - 2 cdot g(1-x) ,| = 2cdot|,f(1-x) - g(1-x),|$$
and the sup of these over all $x$ is just the same as the sup of $|f(x)-g(x)|$ over all $x$ : if one assumes its max at $a$, the other assumes it at $1-a$ and vice versa).
In short, $d_sup(T(f), T(g)) = 2d_sup(f,g)$, and this will easily imply continuity of $T$..
answered Nov 17 '13 at 13:36
Henno BrandsmaHenno Brandsma
107k347114
$endgroup$
For any set $S$ it makes sense to talk about a function $f: S rightarrow S$, formally this is a set of ordered pairs satisfying some conditions, but a more informal description is that we need for every $s$ in $S$, some unique value $f(s)$ in $S$ as well. In the case at hand, $S$ is a set of (continuous) functions, not a set of numbers, but the principle is the same.
So $T(f)$ must be in the set as well, whenever $f$ is, and you described the rule: as $T(f)$ is itself a function from $[0,1]$ to $mathbb{R}$, to describe what it is we need to define what $T(f)(x)$ is for every $x$ in $[0,1]$, and it takes the value of $f$ (the input function) at the point $1-x$, multiplies it by 2 and subtracts 3: this is again some real number, uniquely determined when we know $f$, so $T(f)(x)$ is well-defined for all $x in [0,1]$. Whenever $f$ is continuous between $[0,1]$ and $mathbb{R}$, so is $T(f)$: we can see $T(f)(x)$ as a composition of continuous functions ($x rightarrow 1-x, f, t rightarrow 2t-3$, informally), and so $f$ maps continuous functions to continuous functions as required.
To see continuity in the metric $d_sup$, you need to compute what $d_sup(T(f), T(g))$ is, for functions $f,g$. By definition this equals the sup (actually a maximum as we work with
continuous functions on a compact space) of all differences $left|T(f)(x) - T(g)(x)right|$
where $x$ runs over all values in $[0,1]$. But this equals (using definitions and cancelling the $-3$'s) $$|,2cdot f(1-x) - 2 cdot g(1-x) ,| = 2cdot|,f(1-x) - g(1-x),|$$
and the sup of these over all $x$ is just the same as the sup of $|f(x)-g(x)|$ over all $x$ : if one assumes its max at $a$, the other assumes it at $1-a$ and vice versa).
In short, $d_sup(T(f), T(g)) = 2d_sup(f,g)$, and this will easily imply continuity of $T$..
answered Nov 17 '13 at 13:36
Henno BrandsmaHenno Brandsma
107k347114
edited Jan 3 at 18:00
answered Nov 17 '13 at 13:36
Henno BrandsmaHenno Brandsma
107k347114
answered Nov 17 '13 at 13:36
Henno BrandsmaHenno Brandsma
107k347114
answered Nov 17 '13 at 13:36
Henno BrandsmaHenno Brandsma
107k347114
107k347114
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%2f570367%2fcontinuity-of-function-t-left-c0-1-d-textsup-right-rightarrow-lef%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$
what is the definition of $T$ here?
$endgroup$
– GA316
Nov 17 '13 at 13:02
$begingroup$
I added definition of $T$.
$endgroup$
– Thomas
Nov 17 '13 at 13:02
$begingroup$
Write it as a composition of simpler functions, $T = C circ B circ A$, where $A(f)(x) = f(1-x)$; $B(f) = 2cdot f$, $C(f)(x) = f(x)-3$. Check that $A,B,C$ are continuous.
$endgroup$
– Daniel Fischer♦
Nov 17 '13 at 13:23
$begingroup$
For me the problem is the same - how to check that $A,B,C$ are continuous?
$endgroup$
– Thomas
Nov 17 '13 at 13:24
$begingroup$
@DanielFischer You check that $T(f)$ is continuous, not $T$! Both need to be done.
$endgroup$
– Henno Brandsma
Nov 17 '13 at 13:37