Is the set ${|f(0)|: int_{0}^{1}|f(t)|dtle1}$ bounded?
Let $x_0 in [0,1]$ and define $T:C[0,1] rightarrow mathbb{R}$ by $T_{x_0}(f)=f(x_0)$. Let $||cdot||_1$ be a norm on $C[0,1]$. Is $T_0$ bounded or not? That is, is the set
$$
left{|T_{0}(f)|:||f||_1 leq 1right}={|f(0)|:||f||_1 leq 1,f in C[0,1]}
$$ bounded? Since $||f||_1:=int_{0}^{1}|f(t)|dt$, the question may be equivalent to the following:
Let $f:[0,1] rightarrow mathbb{R}$ be continuous. Is the set $$left{|f(0)|: int_{0}^{1}|f(t)|dt leq 1right}$$ bounded?
I guess the answer is no. Because, for example, we can have a function whose graph is a narrow spike at the origin but with infinite height. The area enclosed by the graph may be 1 but the value at the origin $f(0)$ which is its height is infinite.
But how can I prove this formally?
calculus real-analysis functional-analysis analysis
|
show 2 more comments
Let $x_0 in [0,1]$ and define $T:C[0,1] rightarrow mathbb{R}$ by $T_{x_0}(f)=f(x_0)$. Let $||cdot||_1$ be a norm on $C[0,1]$. Is $T_0$ bounded or not? That is, is the set
$$
left{|T_{0}(f)|:||f||_1 leq 1right}={|f(0)|:||f||_1 leq 1,f in C[0,1]}
$$ bounded? Since $||f||_1:=int_{0}^{1}|f(t)|dt$, the question may be equivalent to the following:
Let $f:[0,1] rightarrow mathbb{R}$ be continuous. Is the set $$left{|f(0)|: int_{0}^{1}|f(t)|dt leq 1right}$$ bounded?
I guess the answer is no. Because, for example, we can have a function whose graph is a narrow spike at the origin but with infinite height. The area enclosed by the graph may be 1 but the value at the origin $f(0)$ which is its height is infinite.
But how can I prove this formally?
calculus real-analysis functional-analysis analysis
As written, this makes little sense. What is the precise definition of the set? There's no condition placed on anything. Is it a set of functions?
– Alex R.
Nov 29 at 21:32
This is not a set... you need to assume something about $int_0^1 | f(t)|dt$. I mean it should be a true/false statement...
– Yanko
Nov 29 at 21:32
Is the RHS trying to say that $f$ is absolutely integrable on $[0,1]$? If so, you have the right idea, consider the function $1/sqrt{x}$ and its integral on $[0,1]$
– rubikscube09
Nov 29 at 21:35
Sorry for the confusion. Just edited the description to make it clearer.
– bbw
Nov 29 at 21:37
1
Is it really a problem? What about a constant coefficient?
– Jean-Claude Arbaut
Nov 29 at 21:51
|
show 2 more comments
Let $x_0 in [0,1]$ and define $T:C[0,1] rightarrow mathbb{R}$ by $T_{x_0}(f)=f(x_0)$. Let $||cdot||_1$ be a norm on $C[0,1]$. Is $T_0$ bounded or not? That is, is the set
$$
left{|T_{0}(f)|:||f||_1 leq 1right}={|f(0)|:||f||_1 leq 1,f in C[0,1]}
$$ bounded? Since $||f||_1:=int_{0}^{1}|f(t)|dt$, the question may be equivalent to the following:
Let $f:[0,1] rightarrow mathbb{R}$ be continuous. Is the set $$left{|f(0)|: int_{0}^{1}|f(t)|dt leq 1right}$$ bounded?
I guess the answer is no. Because, for example, we can have a function whose graph is a narrow spike at the origin but with infinite height. The area enclosed by the graph may be 1 but the value at the origin $f(0)$ which is its height is infinite.
But how can I prove this formally?
calculus real-analysis functional-analysis analysis
Let $x_0 in [0,1]$ and define $T:C[0,1] rightarrow mathbb{R}$ by $T_{x_0}(f)=f(x_0)$. Let $||cdot||_1$ be a norm on $C[0,1]$. Is $T_0$ bounded or not? That is, is the set
$$
left{|T_{0}(f)|:||f||_1 leq 1right}={|f(0)|:||f||_1 leq 1,f in C[0,1]}
$$ bounded? Since $||f||_1:=int_{0}^{1}|f(t)|dt$, the question may be equivalent to the following:
Let $f:[0,1] rightarrow mathbb{R}$ be continuous. Is the set $$left{|f(0)|: int_{0}^{1}|f(t)|dt leq 1right}$$ bounded?
I guess the answer is no. Because, for example, we can have a function whose graph is a narrow spike at the origin but with infinite height. The area enclosed by the graph may be 1 but the value at the origin $f(0)$ which is its height is infinite.
But how can I prove this formally?
calculus real-analysis functional-analysis analysis
calculus real-analysis functional-analysis analysis
edited Nov 29 at 21:45
Jean-Claude Arbaut
14.7k63464
14.7k63464
asked Nov 29 at 21:30
bbw
47038
47038
As written, this makes little sense. What is the precise definition of the set? There's no condition placed on anything. Is it a set of functions?
– Alex R.
Nov 29 at 21:32
This is not a set... you need to assume something about $int_0^1 | f(t)|dt$. I mean it should be a true/false statement...
– Yanko
Nov 29 at 21:32
Is the RHS trying to say that $f$ is absolutely integrable on $[0,1]$? If so, you have the right idea, consider the function $1/sqrt{x}$ and its integral on $[0,1]$
– rubikscube09
Nov 29 at 21:35
Sorry for the confusion. Just edited the description to make it clearer.
– bbw
Nov 29 at 21:37
1
Is it really a problem? What about a constant coefficient?
– Jean-Claude Arbaut
Nov 29 at 21:51
|
show 2 more comments
As written, this makes little sense. What is the precise definition of the set? There's no condition placed on anything. Is it a set of functions?
– Alex R.
Nov 29 at 21:32
This is not a set... you need to assume something about $int_0^1 | f(t)|dt$. I mean it should be a true/false statement...
– Yanko
Nov 29 at 21:32
Is the RHS trying to say that $f$ is absolutely integrable on $[0,1]$? If so, you have the right idea, consider the function $1/sqrt{x}$ and its integral on $[0,1]$
– rubikscube09
Nov 29 at 21:35
Sorry for the confusion. Just edited the description to make it clearer.
– bbw
Nov 29 at 21:37
1
Is it really a problem? What about a constant coefficient?
– Jean-Claude Arbaut
Nov 29 at 21:51
As written, this makes little sense. What is the precise definition of the set? There's no condition placed on anything. Is it a set of functions?
– Alex R.
Nov 29 at 21:32
As written, this makes little sense. What is the precise definition of the set? There's no condition placed on anything. Is it a set of functions?
– Alex R.
Nov 29 at 21:32
This is not a set... you need to assume something about $int_0^1 | f(t)|dt$. I mean it should be a true/false statement...
– Yanko
Nov 29 at 21:32
This is not a set... you need to assume something about $int_0^1 | f(t)|dt$. I mean it should be a true/false statement...
– Yanko
Nov 29 at 21:32
Is the RHS trying to say that $f$ is absolutely integrable on $[0,1]$? If so, you have the right idea, consider the function $1/sqrt{x}$ and its integral on $[0,1]$
– rubikscube09
Nov 29 at 21:35
Is the RHS trying to say that $f$ is absolutely integrable on $[0,1]$? If so, you have the right idea, consider the function $1/sqrt{x}$ and its integral on $[0,1]$
– rubikscube09
Nov 29 at 21:35
Sorry for the confusion. Just edited the description to make it clearer.
– bbw
Nov 29 at 21:37
Sorry for the confusion. Just edited the description to make it clearer.
– bbw
Nov 29 at 21:37
1
1
Is it really a problem? What about a constant coefficient?
– Jean-Claude Arbaut
Nov 29 at 21:51
Is it really a problem? What about a constant coefficient?
– Jean-Claude Arbaut
Nov 29 at 21:51
|
show 2 more comments
4 Answers
4
active
oldest
votes
No, it is not bounded. Define, for each $ninmathbb N$,$$begin{array}{rccc}f_ncolon&[0,1]&longrightarrow&mathbb R\&t&mapsto&begin{cases}n-n^2t&text{ if }tleqslantfrac1n\0&text{ otherwise.}end{cases}end{array}$$Then$$int_0^1bigllvert f_n(t)bigrrvert,mathrm dt=frac12,$$but $f_n(0)=n$.
add a comment |
We can take a function $f_n$ such that $f_n$ is affine on $(0,1/n)$, $f_n(0)=2n$ and $f_n(1/n)=0$ and $0$ for the other values of the interval. Then $leftlVert f_nrightrVert_1=1$.
For a formal example: define for each positive integer $n$ the function $f_n$ in the following way: $f_n(t)=-2n^2t+2n$ for $0leqslant tleqslant 1/n$ and $f_n(t)=0$ for $1/nlt tleqslant 1$.
add a comment |
Consider the function $f_n(x)=2n(1/n-x)1_{[0,1/n]}(x).$ Then $int_0^1 |f_n(x)|dx=1$ but $f_n(0)=2n.$
add a comment |
For every $a>0$, the function
$$f_a(x)=frac{2 a e^{-a^2 x^2}}{sqrt{pi} textrm{erf}(a)}$$ with the error function $textrm{erf}(a)=frac{2}{pi}int_0^a e^{-t^2}dt$ is in the set ${|f(0)|: int_{0}^{1}|f(t)|dt=1}$ and evaluates to $f_a(0)=frac{2 a }{sqrt{pi} textrm{erf}(a)}$. Because $textrm{erf}(a) rightarrow 1$ as $arightarrow infty$, we obtain $f_a(0)$ arbitrarily large as we increase $a$. As a consequence, $f_a(0)$ and thus your set are unbounded.
For every $a>0$, the function $f_a(x)$ is in $C[0,1]$ and even infinitely differentiable on $[0,1]$.
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%2f3019246%2fis-the-set-f0-int-01ftdt-le1-bounded%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
No, it is not bounded. Define, for each $ninmathbb N$,$$begin{array}{rccc}f_ncolon&[0,1]&longrightarrow&mathbb R\&t&mapsto&begin{cases}n-n^2t&text{ if }tleqslantfrac1n\0&text{ otherwise.}end{cases}end{array}$$Then$$int_0^1bigllvert f_n(t)bigrrvert,mathrm dt=frac12,$$but $f_n(0)=n$.
add a comment |
No, it is not bounded. Define, for each $ninmathbb N$,$$begin{array}{rccc}f_ncolon&[0,1]&longrightarrow&mathbb R\&t&mapsto&begin{cases}n-n^2t&text{ if }tleqslantfrac1n\0&text{ otherwise.}end{cases}end{array}$$Then$$int_0^1bigllvert f_n(t)bigrrvert,mathrm dt=frac12,$$but $f_n(0)=n$.
add a comment |
No, it is not bounded. Define, for each $ninmathbb N$,$$begin{array}{rccc}f_ncolon&[0,1]&longrightarrow&mathbb R\&t&mapsto&begin{cases}n-n^2t&text{ if }tleqslantfrac1n\0&text{ otherwise.}end{cases}end{array}$$Then$$int_0^1bigllvert f_n(t)bigrrvert,mathrm dt=frac12,$$but $f_n(0)=n$.
No, it is not bounded. Define, for each $ninmathbb N$,$$begin{array}{rccc}f_ncolon&[0,1]&longrightarrow&mathbb R\&t&mapsto&begin{cases}n-n^2t&text{ if }tleqslantfrac1n\0&text{ otherwise.}end{cases}end{array}$$Then$$int_0^1bigllvert f_n(t)bigrrvert,mathrm dt=frac12,$$but $f_n(0)=n$.
answered Nov 29 at 21:50
José Carlos Santos
149k22117219
149k22117219
add a comment |
add a comment |
We can take a function $f_n$ such that $f_n$ is affine on $(0,1/n)$, $f_n(0)=2n$ and $f_n(1/n)=0$ and $0$ for the other values of the interval. Then $leftlVert f_nrightrVert_1=1$.
For a formal example: define for each positive integer $n$ the function $f_n$ in the following way: $f_n(t)=-2n^2t+2n$ for $0leqslant tleqslant 1/n$ and $f_n(t)=0$ for $1/nlt tleqslant 1$.
add a comment |
We can take a function $f_n$ such that $f_n$ is affine on $(0,1/n)$, $f_n(0)=2n$ and $f_n(1/n)=0$ and $0$ for the other values of the interval. Then $leftlVert f_nrightrVert_1=1$.
For a formal example: define for each positive integer $n$ the function $f_n$ in the following way: $f_n(t)=-2n^2t+2n$ for $0leqslant tleqslant 1/n$ and $f_n(t)=0$ for $1/nlt tleqslant 1$.
add a comment |
We can take a function $f_n$ such that $f_n$ is affine on $(0,1/n)$, $f_n(0)=2n$ and $f_n(1/n)=0$ and $0$ for the other values of the interval. Then $leftlVert f_nrightrVert_1=1$.
For a formal example: define for each positive integer $n$ the function $f_n$ in the following way: $f_n(t)=-2n^2t+2n$ for $0leqslant tleqslant 1/n$ and $f_n(t)=0$ for $1/nlt tleqslant 1$.
We can take a function $f_n$ such that $f_n$ is affine on $(0,1/n)$, $f_n(0)=2n$ and $f_n(1/n)=0$ and $0$ for the other values of the interval. Then $leftlVert f_nrightrVert_1=1$.
For a formal example: define for each positive integer $n$ the function $f_n$ in the following way: $f_n(t)=-2n^2t+2n$ for $0leqslant tleqslant 1/n$ and $f_n(t)=0$ for $1/nlt tleqslant 1$.
answered Nov 29 at 21:51
Davide Giraudo
125k16150259
125k16150259
add a comment |
add a comment |
Consider the function $f_n(x)=2n(1/n-x)1_{[0,1/n]}(x).$ Then $int_0^1 |f_n(x)|dx=1$ but $f_n(0)=2n.$
add a comment |
Consider the function $f_n(x)=2n(1/n-x)1_{[0,1/n]}(x).$ Then $int_0^1 |f_n(x)|dx=1$ but $f_n(0)=2n.$
add a comment |
Consider the function $f_n(x)=2n(1/n-x)1_{[0,1/n]}(x).$ Then $int_0^1 |f_n(x)|dx=1$ but $f_n(0)=2n.$
Consider the function $f_n(x)=2n(1/n-x)1_{[0,1/n]}(x).$ Then $int_0^1 |f_n(x)|dx=1$ but $f_n(0)=2n.$
answered Nov 29 at 21:52
John_Wick
1,356111
1,356111
add a comment |
add a comment |
For every $a>0$, the function
$$f_a(x)=frac{2 a e^{-a^2 x^2}}{sqrt{pi} textrm{erf}(a)}$$ with the error function $textrm{erf}(a)=frac{2}{pi}int_0^a e^{-t^2}dt$ is in the set ${|f(0)|: int_{0}^{1}|f(t)|dt=1}$ and evaluates to $f_a(0)=frac{2 a }{sqrt{pi} textrm{erf}(a)}$. Because $textrm{erf}(a) rightarrow 1$ as $arightarrow infty$, we obtain $f_a(0)$ arbitrarily large as we increase $a$. As a consequence, $f_a(0)$ and thus your set are unbounded.
For every $a>0$, the function $f_a(x)$ is in $C[0,1]$ and even infinitely differentiable on $[0,1]$.
add a comment |
For every $a>0$, the function
$$f_a(x)=frac{2 a e^{-a^2 x^2}}{sqrt{pi} textrm{erf}(a)}$$ with the error function $textrm{erf}(a)=frac{2}{pi}int_0^a e^{-t^2}dt$ is in the set ${|f(0)|: int_{0}^{1}|f(t)|dt=1}$ and evaluates to $f_a(0)=frac{2 a }{sqrt{pi} textrm{erf}(a)}$. Because $textrm{erf}(a) rightarrow 1$ as $arightarrow infty$, we obtain $f_a(0)$ arbitrarily large as we increase $a$. As a consequence, $f_a(0)$ and thus your set are unbounded.
For every $a>0$, the function $f_a(x)$ is in $C[0,1]$ and even infinitely differentiable on $[0,1]$.
add a comment |
For every $a>0$, the function
$$f_a(x)=frac{2 a e^{-a^2 x^2}}{sqrt{pi} textrm{erf}(a)}$$ with the error function $textrm{erf}(a)=frac{2}{pi}int_0^a e^{-t^2}dt$ is in the set ${|f(0)|: int_{0}^{1}|f(t)|dt=1}$ and evaluates to $f_a(0)=frac{2 a }{sqrt{pi} textrm{erf}(a)}$. Because $textrm{erf}(a) rightarrow 1$ as $arightarrow infty$, we obtain $f_a(0)$ arbitrarily large as we increase $a$. As a consequence, $f_a(0)$ and thus your set are unbounded.
For every $a>0$, the function $f_a(x)$ is in $C[0,1]$ and even infinitely differentiable on $[0,1]$.
For every $a>0$, the function
$$f_a(x)=frac{2 a e^{-a^2 x^2}}{sqrt{pi} textrm{erf}(a)}$$ with the error function $textrm{erf}(a)=frac{2}{pi}int_0^a e^{-t^2}dt$ is in the set ${|f(0)|: int_{0}^{1}|f(t)|dt=1}$ and evaluates to $f_a(0)=frac{2 a }{sqrt{pi} textrm{erf}(a)}$. Because $textrm{erf}(a) rightarrow 1$ as $arightarrow infty$, we obtain $f_a(0)$ arbitrarily large as we increase $a$. As a consequence, $f_a(0)$ and thus your set are unbounded.
For every $a>0$, the function $f_a(x)$ is in $C[0,1]$ and even infinitely differentiable on $[0,1]$.
answered Nov 29 at 21:53
M1183
943
943
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%2f3019246%2fis-the-set-f0-int-01ftdt-le1-bounded%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
As written, this makes little sense. What is the precise definition of the set? There's no condition placed on anything. Is it a set of functions?
– Alex R.
Nov 29 at 21:32
This is not a set... you need to assume something about $int_0^1 | f(t)|dt$. I mean it should be a true/false statement...
– Yanko
Nov 29 at 21:32
Is the RHS trying to say that $f$ is absolutely integrable on $[0,1]$? If so, you have the right idea, consider the function $1/sqrt{x}$ and its integral on $[0,1]$
– rubikscube09
Nov 29 at 21:35
Sorry for the confusion. Just edited the description to make it clearer.
– bbw
Nov 29 at 21:37
1
Is it really a problem? What about a constant coefficient?
– Jean-Claude Arbaut
Nov 29 at 21:51