Proving that $exists f in X^*$ : $f(x) = |x|^2$ and $|f| = |x|$
$begingroup$
Exercise :
Let $X$ be a normed space. Prove that for all $x in X$ there exists $f in X^*$, such that $f(x) = |x|^2$ and $ |f| = |x |$.
Thoughts :
I apologise for not providing a proper attempt but this is one of the first such exercises I'm handling, so I seem at loss.
Initially, I thought about the Riesz Representation Theorem, which could yield the result straightforward, but the space we are working over must be a Hilbert Space, which we do not know in the given exercise.
The second possible solution could (and probably should) be based on the Hahn-Banach Theorem (or one of its results/applications) but I cannot see a way out.
Any hints or elaborations will be greatly appreciated.
functional-analysis normed-spaces riesz-representation-theorem hahn-banach-theorem
$endgroup$
add a comment |
$begingroup$
Exercise :
Let $X$ be a normed space. Prove that for all $x in X$ there exists $f in X^*$, such that $f(x) = |x|^2$ and $ |f| = |x |$.
Thoughts :
I apologise for not providing a proper attempt but this is one of the first such exercises I'm handling, so I seem at loss.
Initially, I thought about the Riesz Representation Theorem, which could yield the result straightforward, but the space we are working over must be a Hilbert Space, which we do not know in the given exercise.
The second possible solution could (and probably should) be based on the Hahn-Banach Theorem (or one of its results/applications) but I cannot see a way out.
Any hints or elaborations will be greatly appreciated.
functional-analysis normed-spaces riesz-representation-theorem hahn-banach-theorem
$endgroup$
add a comment |
$begingroup$
Exercise :
Let $X$ be a normed space. Prove that for all $x in X$ there exists $f in X^*$, such that $f(x) = |x|^2$ and $ |f| = |x |$.
Thoughts :
I apologise for not providing a proper attempt but this is one of the first such exercises I'm handling, so I seem at loss.
Initially, I thought about the Riesz Representation Theorem, which could yield the result straightforward, but the space we are working over must be a Hilbert Space, which we do not know in the given exercise.
The second possible solution could (and probably should) be based on the Hahn-Banach Theorem (or one of its results/applications) but I cannot see a way out.
Any hints or elaborations will be greatly appreciated.
functional-analysis normed-spaces riesz-representation-theorem hahn-banach-theorem
$endgroup$
Exercise :
Let $X$ be a normed space. Prove that for all $x in X$ there exists $f in X^*$, such that $f(x) = |x|^2$ and $ |f| = |x |$.
Thoughts :
I apologise for not providing a proper attempt but this is one of the first such exercises I'm handling, so I seem at loss.
Initially, I thought about the Riesz Representation Theorem, which could yield the result straightforward, but the space we are working over must be a Hilbert Space, which we do not know in the given exercise.
The second possible solution could (and probably should) be based on the Hahn-Banach Theorem (or one of its results/applications) but I cannot see a way out.
Any hints or elaborations will be greatly appreciated.
functional-analysis normed-spaces riesz-representation-theorem hahn-banach-theorem
functional-analysis normed-spaces riesz-representation-theorem hahn-banach-theorem
edited Dec 17 '18 at 15:20
Rebellos
asked Dec 17 '18 at 14:18
RebellosRebellos
14.8k31248
14.8k31248
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
If $x=0$, we are done. Now let $x in X$ and $x ne 0$. A consequence of the Hahn-Banach theorem is the existence of some $g in X^*$ with
$g(x)=||x||$ and $||g||=1.$
Now it is easy to see that $f:=||x||g$ has the desired properties.
$endgroup$
add a comment |
$begingroup$
Hint:
Fix an $xin X$. If $x=0$ then the answer is rather easy, so we can assume $xneq 0$.
Next, define a suitable functional on the linear hull of $x$, which is the linear subspace $V:={ alpha cdot x | alpha in mathbb R}$.
Then extend this functional onto the whole space $X$ using the Hahn-Banach theorem.
$endgroup$
$begingroup$
Let's say $f : langle x : x in X rangle to mathbb R$ with $f(y) = langle y,x rangle$. Then we can see that $f(x) = |x|^2$ and $frac{|f(x)|}{|x|} = |x| implies |f| = |x|$. But $ langle x : x in X rangle subseteq X $ and one can see that the $f$ defined is a bounded linear functional, thus it can be extended to $X$ which implies that $exists f in X^*$ such that $f(x) = |x|^2$ and $|f| = |x|$. Does that make sense or do I have any errors ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:33
$begingroup$
I just saw your edit. I would appreciate an input regarding my attempted approach and/or an input regarding an approach you would recommend.
$endgroup$
– Rebellos
Dec 17 '18 at 14:43
$begingroup$
No, your approach does not work since $langle cdot,cdotrangle$ is not defined on $X$. $X$ is only a normed vector space in your question. Also the notation $<x : xin X>$ is not a standard notation. if it is a set it would use ${}$ instead of $<>$. Note that $X={x:xin X}$, so your space is not a proper subspace of $X$.
$endgroup$
– supinf
Dec 17 '18 at 14:46
$begingroup$
$langle rangle$ denotes the linear hull. If my approach is not correct, would you mind elaborating as such, in order to properly understand ? I guess another proper functional will be $f : {lambda cdot x | x in X, ; lambda in mathbb R} to mathbb R$ such that $f(x) = frac{1}{lambda^2}|x|^2$ ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:46
$begingroup$
You should work with a fixed $x$ and not use it as a variable for the definition of functions or sets. Note that your suggestion for $f$ is not linear. With the linear hull notation, the space should be $V=langle x rangle$, which has dimension $1$.
$endgroup$
– supinf
Dec 17 '18 at 14:54
|
show 1 more 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%2f3043996%2fproving-that-exists-f-in-x-fx-x-2-and-f-x%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$
If $x=0$, we are done. Now let $x in X$ and $x ne 0$. A consequence of the Hahn-Banach theorem is the existence of some $g in X^*$ with
$g(x)=||x||$ and $||g||=1.$
Now it is easy to see that $f:=||x||g$ has the desired properties.
$endgroup$
add a comment |
$begingroup$
If $x=0$, we are done. Now let $x in X$ and $x ne 0$. A consequence of the Hahn-Banach theorem is the existence of some $g in X^*$ with
$g(x)=||x||$ and $||g||=1.$
Now it is easy to see that $f:=||x||g$ has the desired properties.
$endgroup$
add a comment |
$begingroup$
If $x=0$, we are done. Now let $x in X$ and $x ne 0$. A consequence of the Hahn-Banach theorem is the existence of some $g in X^*$ with
$g(x)=||x||$ and $||g||=1.$
Now it is easy to see that $f:=||x||g$ has the desired properties.
$endgroup$
If $x=0$, we are done. Now let $x in X$ and $x ne 0$. A consequence of the Hahn-Banach theorem is the existence of some $g in X^*$ with
$g(x)=||x||$ and $||g||=1.$
Now it is easy to see that $f:=||x||g$ has the desired properties.
answered Dec 17 '18 at 14:29
FredFred
46.9k1848
46.9k1848
add a comment |
add a comment |
$begingroup$
Hint:
Fix an $xin X$. If $x=0$ then the answer is rather easy, so we can assume $xneq 0$.
Next, define a suitable functional on the linear hull of $x$, which is the linear subspace $V:={ alpha cdot x | alpha in mathbb R}$.
Then extend this functional onto the whole space $X$ using the Hahn-Banach theorem.
$endgroup$
$begingroup$
Let's say $f : langle x : x in X rangle to mathbb R$ with $f(y) = langle y,x rangle$. Then we can see that $f(x) = |x|^2$ and $frac{|f(x)|}{|x|} = |x| implies |f| = |x|$. But $ langle x : x in X rangle subseteq X $ and one can see that the $f$ defined is a bounded linear functional, thus it can be extended to $X$ which implies that $exists f in X^*$ such that $f(x) = |x|^2$ and $|f| = |x|$. Does that make sense or do I have any errors ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:33
$begingroup$
I just saw your edit. I would appreciate an input regarding my attempted approach and/or an input regarding an approach you would recommend.
$endgroup$
– Rebellos
Dec 17 '18 at 14:43
$begingroup$
No, your approach does not work since $langle cdot,cdotrangle$ is not defined on $X$. $X$ is only a normed vector space in your question. Also the notation $<x : xin X>$ is not a standard notation. if it is a set it would use ${}$ instead of $<>$. Note that $X={x:xin X}$, so your space is not a proper subspace of $X$.
$endgroup$
– supinf
Dec 17 '18 at 14:46
$begingroup$
$langle rangle$ denotes the linear hull. If my approach is not correct, would you mind elaborating as such, in order to properly understand ? I guess another proper functional will be $f : {lambda cdot x | x in X, ; lambda in mathbb R} to mathbb R$ such that $f(x) = frac{1}{lambda^2}|x|^2$ ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:46
$begingroup$
You should work with a fixed $x$ and not use it as a variable for the definition of functions or sets. Note that your suggestion for $f$ is not linear. With the linear hull notation, the space should be $V=langle x rangle$, which has dimension $1$.
$endgroup$
– supinf
Dec 17 '18 at 14:54
|
show 1 more comment
$begingroup$
Hint:
Fix an $xin X$. If $x=0$ then the answer is rather easy, so we can assume $xneq 0$.
Next, define a suitable functional on the linear hull of $x$, which is the linear subspace $V:={ alpha cdot x | alpha in mathbb R}$.
Then extend this functional onto the whole space $X$ using the Hahn-Banach theorem.
$endgroup$
$begingroup$
Let's say $f : langle x : x in X rangle to mathbb R$ with $f(y) = langle y,x rangle$. Then we can see that $f(x) = |x|^2$ and $frac{|f(x)|}{|x|} = |x| implies |f| = |x|$. But $ langle x : x in X rangle subseteq X $ and one can see that the $f$ defined is a bounded linear functional, thus it can be extended to $X$ which implies that $exists f in X^*$ such that $f(x) = |x|^2$ and $|f| = |x|$. Does that make sense or do I have any errors ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:33
$begingroup$
I just saw your edit. I would appreciate an input regarding my attempted approach and/or an input regarding an approach you would recommend.
$endgroup$
– Rebellos
Dec 17 '18 at 14:43
$begingroup$
No, your approach does not work since $langle cdot,cdotrangle$ is not defined on $X$. $X$ is only a normed vector space in your question. Also the notation $<x : xin X>$ is not a standard notation. if it is a set it would use ${}$ instead of $<>$. Note that $X={x:xin X}$, so your space is not a proper subspace of $X$.
$endgroup$
– supinf
Dec 17 '18 at 14:46
$begingroup$
$langle rangle$ denotes the linear hull. If my approach is not correct, would you mind elaborating as such, in order to properly understand ? I guess another proper functional will be $f : {lambda cdot x | x in X, ; lambda in mathbb R} to mathbb R$ such that $f(x) = frac{1}{lambda^2}|x|^2$ ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:46
$begingroup$
You should work with a fixed $x$ and not use it as a variable for the definition of functions or sets. Note that your suggestion for $f$ is not linear. With the linear hull notation, the space should be $V=langle x rangle$, which has dimension $1$.
$endgroup$
– supinf
Dec 17 '18 at 14:54
|
show 1 more comment
$begingroup$
Hint:
Fix an $xin X$. If $x=0$ then the answer is rather easy, so we can assume $xneq 0$.
Next, define a suitable functional on the linear hull of $x$, which is the linear subspace $V:={ alpha cdot x | alpha in mathbb R}$.
Then extend this functional onto the whole space $X$ using the Hahn-Banach theorem.
$endgroup$
Hint:
Fix an $xin X$. If $x=0$ then the answer is rather easy, so we can assume $xneq 0$.
Next, define a suitable functional on the linear hull of $x$, which is the linear subspace $V:={ alpha cdot x | alpha in mathbb R}$.
Then extend this functional onto the whole space $X$ using the Hahn-Banach theorem.
edited Dec 17 '18 at 14:41
answered Dec 17 '18 at 14:21
supinfsupinf
6,3561028
6,3561028
$begingroup$
Let's say $f : langle x : x in X rangle to mathbb R$ with $f(y) = langle y,x rangle$. Then we can see that $f(x) = |x|^2$ and $frac{|f(x)|}{|x|} = |x| implies |f| = |x|$. But $ langle x : x in X rangle subseteq X $ and one can see that the $f$ defined is a bounded linear functional, thus it can be extended to $X$ which implies that $exists f in X^*$ such that $f(x) = |x|^2$ and $|f| = |x|$. Does that make sense or do I have any errors ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:33
$begingroup$
I just saw your edit. I would appreciate an input regarding my attempted approach and/or an input regarding an approach you would recommend.
$endgroup$
– Rebellos
Dec 17 '18 at 14:43
$begingroup$
No, your approach does not work since $langle cdot,cdotrangle$ is not defined on $X$. $X$ is only a normed vector space in your question. Also the notation $<x : xin X>$ is not a standard notation. if it is a set it would use ${}$ instead of $<>$. Note that $X={x:xin X}$, so your space is not a proper subspace of $X$.
$endgroup$
– supinf
Dec 17 '18 at 14:46
$begingroup$
$langle rangle$ denotes the linear hull. If my approach is not correct, would you mind elaborating as such, in order to properly understand ? I guess another proper functional will be $f : {lambda cdot x | x in X, ; lambda in mathbb R} to mathbb R$ such that $f(x) = frac{1}{lambda^2}|x|^2$ ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:46
$begingroup$
You should work with a fixed $x$ and not use it as a variable for the definition of functions or sets. Note that your suggestion for $f$ is not linear. With the linear hull notation, the space should be $V=langle x rangle$, which has dimension $1$.
$endgroup$
– supinf
Dec 17 '18 at 14:54
|
show 1 more comment
$begingroup$
Let's say $f : langle x : x in X rangle to mathbb R$ with $f(y) = langle y,x rangle$. Then we can see that $f(x) = |x|^2$ and $frac{|f(x)|}{|x|} = |x| implies |f| = |x|$. But $ langle x : x in X rangle subseteq X $ and one can see that the $f$ defined is a bounded linear functional, thus it can be extended to $X$ which implies that $exists f in X^*$ such that $f(x) = |x|^2$ and $|f| = |x|$. Does that make sense or do I have any errors ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:33
$begingroup$
I just saw your edit. I would appreciate an input regarding my attempted approach and/or an input regarding an approach you would recommend.
$endgroup$
– Rebellos
Dec 17 '18 at 14:43
$begingroup$
No, your approach does not work since $langle cdot,cdotrangle$ is not defined on $X$. $X$ is only a normed vector space in your question. Also the notation $<x : xin X>$ is not a standard notation. if it is a set it would use ${}$ instead of $<>$. Note that $X={x:xin X}$, so your space is not a proper subspace of $X$.
$endgroup$
– supinf
Dec 17 '18 at 14:46
$begingroup$
$langle rangle$ denotes the linear hull. If my approach is not correct, would you mind elaborating as such, in order to properly understand ? I guess another proper functional will be $f : {lambda cdot x | x in X, ; lambda in mathbb R} to mathbb R$ such that $f(x) = frac{1}{lambda^2}|x|^2$ ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:46
$begingroup$
You should work with a fixed $x$ and not use it as a variable for the definition of functions or sets. Note that your suggestion for $f$ is not linear. With the linear hull notation, the space should be $V=langle x rangle$, which has dimension $1$.
$endgroup$
– supinf
Dec 17 '18 at 14:54
$begingroup$
Let's say $f : langle x : x in X rangle to mathbb R$ with $f(y) = langle y,x rangle$. Then we can see that $f(x) = |x|^2$ and $frac{|f(x)|}{|x|} = |x| implies |f| = |x|$. But $ langle x : x in X rangle subseteq X $ and one can see that the $f$ defined is a bounded linear functional, thus it can be extended to $X$ which implies that $exists f in X^*$ such that $f(x) = |x|^2$ and $|f| = |x|$. Does that make sense or do I have any errors ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:33
$begingroup$
Let's say $f : langle x : x in X rangle to mathbb R$ with $f(y) = langle y,x rangle$. Then we can see that $f(x) = |x|^2$ and $frac{|f(x)|}{|x|} = |x| implies |f| = |x|$. But $ langle x : x in X rangle subseteq X $ and one can see that the $f$ defined is a bounded linear functional, thus it can be extended to $X$ which implies that $exists f in X^*$ such that $f(x) = |x|^2$ and $|f| = |x|$. Does that make sense or do I have any errors ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:33
$begingroup$
I just saw your edit. I would appreciate an input regarding my attempted approach and/or an input regarding an approach you would recommend.
$endgroup$
– Rebellos
Dec 17 '18 at 14:43
$begingroup$
I just saw your edit. I would appreciate an input regarding my attempted approach and/or an input regarding an approach you would recommend.
$endgroup$
– Rebellos
Dec 17 '18 at 14:43
$begingroup$
No, your approach does not work since $langle cdot,cdotrangle$ is not defined on $X$. $X$ is only a normed vector space in your question. Also the notation $<x : xin X>$ is not a standard notation. if it is a set it would use ${}$ instead of $<>$. Note that $X={x:xin X}$, so your space is not a proper subspace of $X$.
$endgroup$
– supinf
Dec 17 '18 at 14:46
$begingroup$
No, your approach does not work since $langle cdot,cdotrangle$ is not defined on $X$. $X$ is only a normed vector space in your question. Also the notation $<x : xin X>$ is not a standard notation. if it is a set it would use ${}$ instead of $<>$. Note that $X={x:xin X}$, so your space is not a proper subspace of $X$.
$endgroup$
– supinf
Dec 17 '18 at 14:46
$begingroup$
$langle rangle$ denotes the linear hull. If my approach is not correct, would you mind elaborating as such, in order to properly understand ? I guess another proper functional will be $f : {lambda cdot x | x in X, ; lambda in mathbb R} to mathbb R$ such that $f(x) = frac{1}{lambda^2}|x|^2$ ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:46
$begingroup$
$langle rangle$ denotes the linear hull. If my approach is not correct, would you mind elaborating as such, in order to properly understand ? I guess another proper functional will be $f : {lambda cdot x | x in X, ; lambda in mathbb R} to mathbb R$ such that $f(x) = frac{1}{lambda^2}|x|^2$ ?
$endgroup$
– Rebellos
Dec 17 '18 at 14:46
$begingroup$
You should work with a fixed $x$ and not use it as a variable for the definition of functions or sets. Note that your suggestion for $f$ is not linear. With the linear hull notation, the space should be $V=langle x rangle$, which has dimension $1$.
$endgroup$
– supinf
Dec 17 '18 at 14:54
$begingroup$
You should work with a fixed $x$ and not use it as a variable for the definition of functions or sets. Note that your suggestion for $f$ is not linear. With the linear hull notation, the space should be $V=langle x rangle$, which has dimension $1$.
$endgroup$
– supinf
Dec 17 '18 at 14:54
|
show 1 more 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%2f3043996%2fproving-that-exists-f-in-x-fx-x-2-and-f-x%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