How to define angles in Hilbert spaces with field $mathbbC$?Orthogonal projection in Hilbert spacesOrthogonal Projection on hilbert spacesClosed subspace $M=(M^perp)^perp$ in PRE hilbert spaces.(bounded linear) orthogonal projections on Hilbert spacesA statement on prehilbert spacesA property in Hilbert spacesHilbert spaces. Showing that an a linear operator forms a closed subspaceTensor products of Hilbert spaces and Hilbert-Schmidt operatorsProve that $P_W+P_V$ is orthogonal projection iff $Vperp W$ in Hillbert space.Projection on Hilbert spaces
Does a druid starting with a bow start with no arrows?
Can a rocket refuel on Mars from water?
Is "remove commented out code" correct English?
Watching something be written to a file live with tail
Theorems that impeded progress
Western buddy movie with a supernatural twist where a woman turns into an eagle at the end
Is Lorentz symmetry broken if SUSY is broken?
How to say in German "enjoying home comforts"
What's the difference between 'rename' and 'mv'?
Why does Kotter return in Welcome Back Kotter
Infinite Abelian subgroup of infinite non Abelian group example
How could indestructible materials be used in power generation?
How can I make my BBEG immortal short of making them a Lich or Vampire?
How can I prevent hyper evolved versions of regular creatures from wiping out their cousins?
Is the Joker left-handed?
Etiquette around loan refinance - decision is going to cost first broker a lot of money
Has there ever been an airliner design involving reducing generator load by installing solar panels?
Were any external disk drives stacked vertically?
Brothers & sisters
Fully-Firstable Anagram Sets
How to prevent "they're falling in love" trope
Did Shadowfax go to Valinor?
What does it mean to describe someone as a butt steak?
What is the PIE reconstruction for word-initial alpha with rough breathing?
How to define angles in Hilbert spaces with field $mathbbC$?
Orthogonal projection in Hilbert spacesOrthogonal Projection on hilbert spacesClosed subspace $M=(M^perp)^perp$ in PRE hilbert spaces.(bounded linear) orthogonal projections on Hilbert spacesA statement on prehilbert spacesA property in Hilbert spacesHilbert spaces. Showing that an a linear operator forms a closed subspaceTensor products of Hilbert spaces and Hilbert-Schmidt operatorsProve that $P_W+P_V$ is orthogonal projection iff $Vperp W$ in Hillbert space.Projection on Hilbert spaces
$begingroup$
Suppose $H$ is a Hilbert space and the field we consider is $mathbbC$, then given two arbitrary nonzero vectors $u$ and $v$ in $H$, how to define the angle between $u$ and $v$?
I tried to define it as $cos^-1 langle u, vrangleover ||u|| cdot||v||$, but $langle u,v rangle$ might be a compex number.
This question arose from a problem I want to solve. If the definition of angles does not exist, could you help me with the proof of the third claim below?
The original problem is:
Let $H$ be a Hilbert space, $M$ be a closed linear subspace of $H$ and $P$ be the orthogonal projection from $H$ to $M$. Let $xin H$ and $ain M$. Show that
$|langle x,arangle| le ||Px||cdot||a||$;- if $a in [[Px]]$, then $|langle x,arangle|=||Px||cdot||a||$;
- if $mathbbF = mathbbC$, then the angle between $x$ and $a$ is at least $cos^-1()$.
Proof of 1:
Since $P$ is the orthogonal projection from $H$ to $M$, we know $textim P = M$, $textker P = M^perp$ and $M oplus M^perp = H$. Thus, we have
$beginalign|langle x, a rangle| & = |langle x - Px + Px, a rangle| \ & = |langle x - Px, arangle + langle Px, arangle| \ & = |langle Px,a rangle | quad text(by $x-Px in M^perp$ and $a in M$) \ &le ||Px||cdot||a|| quad text(by Cauchy-Schwarz inequality)endalign$
Proof of 2:
If the proof of 1 we have proved that $|langle x, a rangle| = |langle Px, a rangle|$. Now, if $a in [[Px]]$, then $exists k in mathbbF$ s.t. $a = k Px$. Thus, $|langle Px, arangle| = |langle Px, kPxrangle| = |k| cdot|langle Px,Pxrangle| = |k|cdot||Px||cdot ||Px|| = ||a|| cdot||Px||$.
linear-algebra functional-analysis
asked Mar 29 at 2:39
U2647U2647
8611
$endgroup$
add a comment |
$begingroup$
Suppose $H$ is a Hilbert space and the field we consider is $mathbbC$, then given two arbitrary nonzero vectors $u$ and $v$ in $H$, how to define the angle between $u$ and $v$?
I tried to define it as $cos^-1 langle u, vrangleover ||u|| cdot||v||$, but $langle u,v rangle$ might be a compex number.
This question arose from a problem I want to solve. If the definition of angles does not exist, could you help me with the proof of the third claim below?
The original problem is:
Let $H$ be a Hilbert space, $M$ be a closed linear subspace of $H$ and $P$ be the orthogonal projection from $H$ to $M$. Let $xin H$ and $ain M$. Show that
$|langle x,arangle| le ||Px||cdot||a||$;- if $a in [[Px]]$, then $|langle x,arangle|=||Px||cdot||a||$;
- if $mathbbF = mathbbC$, then the angle between $x$ and $a$ is at least $cos^-1()$.
Proof of 1:
Since $P$ is the orthogonal projection from $H$ to $M$, we know $textim P = M$, $textker P = M^perp$ and $M oplus M^perp = H$. Thus, we have
$beginalign|langle x, a rangle| & = |langle x - Px + Px, a rangle| \ & = |langle x - Px, arangle + langle Px, arangle| \ & = |langle Px,a rangle | quad text(by $x-Px in M^perp$ and $a in M$) \ &le ||Px||cdot||a|| quad text(by Cauchy-Schwarz inequality)endalign$
Proof of 2:
If the proof of 1 we have proved that $|langle x, a rangle| = |langle Px, a rangle|$. Now, if $a in [[Px]]$, then $exists k in mathbbF$ s.t. $a = k Px$. Thus, $|langle Px, arangle| = |langle Px, kPxrangle| = |k| cdot|langle Px,Pxrangle| = |k|cdot||Px||cdot ||Px|| = ||a|| cdot||Px||$.
linear-algebra functional-analysis
asked Mar 29 at 2:39
U2647U2647
8611
$endgroup$
$begingroup$
What is the source of this problem?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:44
$begingroup$
@LordSharktheUnknown The original problem is in Joseph Muscat's Functional Analysis: An introduction to Metric Spaces, Hilbert Spaces, and Banach Spaces p184 8.(a). published by Springer. But my professor substituted $mathbbR$ with $mathbbC$ and I don't know if it is reasonable.
$endgroup$
– U2647
Mar 29 at 2:54
$begingroup$
Your professor didn't tell you their definition of angle?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:56
$begingroup$
@LordSharktheUnknown No, he didn't. So I am wondering if there is a way to define angles in any Hilbert space with the field $mathbbC$? If not, he might make a mistake or a typo.
$endgroup$
– U2647
Mar 29 at 3:13
add a comment |
$begingroup$
Suppose $H$ is a Hilbert space and the field we consider is $mathbbC$, then given two arbitrary nonzero vectors $u$ and $v$ in $H$, how to define the angle between $u$ and $v$?
I tried to define it as $cos^-1 langle u, vrangleover ||u|| cdot||v||$, but $langle u,v rangle$ might be a compex number.
This question arose from a problem I want to solve. If the definition of angles does not exist, could you help me with the proof of the third claim below?
The original problem is:
Let $H$ be a Hilbert space, $M$ be a closed linear subspace of $H$ and $P$ be the orthogonal projection from $H$ to $M$. Let $xin H$ and $ain M$. Show that
$|langle x,arangle| le ||Px||cdot||a||$;- if $a in [[Px]]$, then $|langle x,arangle|=||Px||cdot||a||$;
- if $mathbbF = mathbbC$, then the angle between $x$ and $a$ is at least $cos^-1()$.
Proof of 1:
Since $P$ is the orthogonal projection from $H$ to $M$, we know $textim P = M$, $textker P = M^perp$ and $M oplus M^perp = H$. Thus, we have
$beginalign|langle x, a rangle| & = |langle x - Px + Px, a rangle| \ & = |langle x - Px, arangle + langle Px, arangle| \ & = |langle Px,a rangle | quad text(by $x-Px in M^perp$ and $a in M$) \ &le ||Px||cdot||a|| quad text(by Cauchy-Schwarz inequality)endalign$
Proof of 2:
If the proof of 1 we have proved that $|langle x, a rangle| = |langle Px, a rangle|$. Now, if $a in [[Px]]$, then $exists k in mathbbF$ s.t. $a = k Px$. Thus, $|langle Px, arangle| = |langle Px, kPxrangle| = |k| cdot|langle Px,Pxrangle| = |k|cdot||Px||cdot ||Px|| = ||a|| cdot||Px||$.
linear-algebra functional-analysis
asked Mar 29 at 2:39
U2647U2647
8611
$endgroup$
Suppose $H$ is a Hilbert space and the field we consider is $mathbbC$, then given two arbitrary nonzero vectors $u$ and $v$ in $H$, how to define the angle between $u$ and $v$?
I tried to define it as $cos^-1 langle u, vrangleover ||u|| cdot||v||$, but $langle u,v rangle$ might be a compex number.
This question arose from a problem I want to solve. If the definition of angles does not exist, could you help me with the proof of the third claim below?
The original problem is:
Let $H$ be a Hilbert space, $M$ be a closed linear subspace of $H$ and $P$ be the orthogonal projection from $H$ to $M$. Let $xin H$ and $ain M$. Show that
$|langle x,arangle| le ||Px||cdot||a||$;- if $a in [[Px]]$, then $|langle x,arangle|=||Px||cdot||a||$;
- if $mathbbF = mathbbC$, then the angle between $x$ and $a$ is at least $cos^-1()$.
Proof of 1:
Since $P$ is the orthogonal projection from $H$ to $M$, we know $textim P = M$, $textker P = M^perp$ and $M oplus M^perp = H$. Thus, we have
$beginalign|langle x, a rangle| & = |langle x - Px + Px, a rangle| \ & = |langle x - Px, arangle + langle Px, arangle| \ & = |langle Px,a rangle | quad text(by $x-Px in M^perp$ and $a in M$) \ &le ||Px||cdot||a|| quad text(by Cauchy-Schwarz inequality)endalign$
Proof of 2:
If the proof of 1 we have proved that $|langle x, a rangle| = |langle Px, a rangle|$. Now, if $a in [[Px]]$, then $exists k in mathbbF$ s.t. $a = k Px$. Thus, $|langle Px, arangle| = |langle Px, kPxrangle| = |k| cdot|langle Px,Pxrangle| = |k|cdot||Px||cdot ||Px|| = ||a|| cdot||Px||$.
linear-algebra functional-analysis
linear-algebra functional-analysis
asked Mar 29 at 2:39
U2647U2647
8611
asked Mar 29 at 2:39
U2647U2647
8611
asked Mar 29 at 2:39
U2647U2647
8611
asked Mar 29 at 2:39
U2647U2647
8611
asked Mar 29 at 2:39
U2647U2647
8611
8611
$begingroup$
What is the source of this problem?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:44
$begingroup$
@LordSharktheUnknown The original problem is in Joseph Muscat's Functional Analysis: An introduction to Metric Spaces, Hilbert Spaces, and Banach Spaces p184 8.(a). published by Springer. But my professor substituted $mathbbR$ with $mathbbC$ and I don't know if it is reasonable.
$endgroup$
– U2647
Mar 29 at 2:54
$begingroup$
Your professor didn't tell you their definition of angle?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:56
$begingroup$
@LordSharktheUnknown No, he didn't. So I am wondering if there is a way to define angles in any Hilbert space with the field $mathbbC$? If not, he might make a mistake or a typo.
$endgroup$
– U2647
Mar 29 at 3:13
add a comment |
$begingroup$
What is the source of this problem?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:44
$begingroup$
@LordSharktheUnknown The original problem is in Joseph Muscat's Functional Analysis: An introduction to Metric Spaces, Hilbert Spaces, and Banach Spaces p184 8.(a). published by Springer. But my professor substituted $mathbbR$ with $mathbbC$ and I don't know if it is reasonable.
$endgroup$
– U2647
Mar 29 at 2:54
$begingroup$
Your professor didn't tell you their definition of angle?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:56
$begingroup$
@LordSharktheUnknown No, he didn't. So I am wondering if there is a way to define angles in any Hilbert space with the field $mathbbC$? If not, he might make a mistake or a typo.
$endgroup$
– U2647
Mar 29 at 3:13
$begingroup$
What is the source of this problem?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:44
$begingroup$
What is the source of this problem?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:44
$begingroup$
@LordSharktheUnknown The original problem is in Joseph Muscat's Functional Analysis: An introduction to Metric Spaces, Hilbert Spaces, and Banach Spaces p184 8.(a). published by Springer. But my professor substituted $mathbbR$ with $mathbbC$ and I don't know if it is reasonable.
$endgroup$
– U2647
Mar 29 at 2:54
$begingroup$
@LordSharktheUnknown The original problem is in Joseph Muscat's Functional Analysis: An introduction to Metric Spaces, Hilbert Spaces, and Banach Spaces p184 8.(a). published by Springer. But my professor substituted $mathbbR$ with $mathbbC$ and I don't know if it is reasonable.
$endgroup$
– U2647
Mar 29 at 2:54
$begingroup$
Your professor didn't tell you their definition of angle?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:56
$begingroup$
Your professor didn't tell you their definition of angle?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:56
$begingroup$
@LordSharktheUnknown No, he didn't. So I am wondering if there is a way to define angles in any Hilbert space with the field $mathbbC$? If not, he might make a mistake or a typo.
$endgroup$
– U2647
Mar 29 at 3:13
$begingroup$
@LordSharktheUnknown No, he didn't. So I am wondering if there is a way to define angles in any Hilbert space with the field $mathbbC$? If not, he might make a mistake or a typo.
$endgroup$
– U2647
Mar 29 at 3:13
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
If $langle cdot,cdotrangle$ is a complex inner product on a complex vector space $H$, then its real part $(x,y)=operatornameRelangle x,yrangle$ is a real inner product on $H$ (with the same induced norm as the complex inner product). So, angles can be defined using this real inner product, and this is normally what is meant by an angle in a complex inner product space.
answered Mar 29 at 3:14
Eric WofseyEric Wofsey
192k14217351
$endgroup$
$begingroup$
But what is the denominator?
$endgroup$
– U2647
Mar 29 at 3:18
$begingroup$
There isn't any problem with the denominator...the formula you wrote in the question is correct if you just use the real inner product in place of $langlecdot,cdotrangle$. (Note that the real and complex inner products induce the same norm.)
$endgroup$
– Eric Wofsey
Mar 29 at 3:42
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%2f3166671%2fhow-to-define-angles-in-hilbert-spaces-with-field-mathbbc%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$
If $langle cdot,cdotrangle$ is a complex inner product on a complex vector space $H$, then its real part $(x,y)=operatornameRelangle x,yrangle$ is a real inner product on $H$ (with the same induced norm as the complex inner product). So, angles can be defined using this real inner product, and this is normally what is meant by an angle in a complex inner product space.
answered Mar 29 at 3:14
Eric WofseyEric Wofsey
192k14217351
$endgroup$
$begingroup$
But what is the denominator?
$endgroup$
– U2647
Mar 29 at 3:18
$begingroup$
There isn't any problem with the denominator...the formula you wrote in the question is correct if you just use the real inner product in place of $langlecdot,cdotrangle$. (Note that the real and complex inner products induce the same norm.)
$endgroup$
– Eric Wofsey
Mar 29 at 3:42
add a comment |
$begingroup$
If $langle cdot,cdotrangle$ is a complex inner product on a complex vector space $H$, then its real part $(x,y)=operatornameRelangle x,yrangle$ is a real inner product on $H$ (with the same induced norm as the complex inner product). So, angles can be defined using this real inner product, and this is normally what is meant by an angle in a complex inner product space.
answered Mar 29 at 3:14
Eric WofseyEric Wofsey
192k14217351
$endgroup$
$begingroup$
But what is the denominator?
$endgroup$
– U2647
Mar 29 at 3:18
$begingroup$
There isn't any problem with the denominator...the formula you wrote in the question is correct if you just use the real inner product in place of $langlecdot,cdotrangle$. (Note that the real and complex inner products induce the same norm.)
$endgroup$
– Eric Wofsey
Mar 29 at 3:42
add a comment |
$begingroup$
If $langle cdot,cdotrangle$ is a complex inner product on a complex vector space $H$, then its real part $(x,y)=operatornameRelangle x,yrangle$ is a real inner product on $H$ (with the same induced norm as the complex inner product). So, angles can be defined using this real inner product, and this is normally what is meant by an angle in a complex inner product space.
answered Mar 29 at 3:14
Eric WofseyEric Wofsey
192k14217351
$endgroup$
If $langle cdot,cdotrangle$ is a complex inner product on a complex vector space $H$, then its real part $(x,y)=operatornameRelangle x,yrangle$ is a real inner product on $H$ (with the same induced norm as the complex inner product). So, angles can be defined using this real inner product, and this is normally what is meant by an angle in a complex inner product space.
answered Mar 29 at 3:14
Eric WofseyEric Wofsey
192k14217351
edited Mar 29 at 3:40
answered Mar 29 at 3:14
Eric WofseyEric Wofsey
192k14217351
answered Mar 29 at 3:14
Eric WofseyEric Wofsey
192k14217351
answered Mar 29 at 3:14
Eric WofseyEric Wofsey
192k14217351
192k14217351
$begingroup$
But what is the denominator?
$endgroup$
– U2647
Mar 29 at 3:18
$begingroup$
There isn't any problem with the denominator...the formula you wrote in the question is correct if you just use the real inner product in place of $langlecdot,cdotrangle$. (Note that the real and complex inner products induce the same norm.)
$endgroup$
– Eric Wofsey
Mar 29 at 3:42
add a comment |
$begingroup$
But what is the denominator?
$endgroup$
– U2647
Mar 29 at 3:18
$begingroup$
There isn't any problem with the denominator...the formula you wrote in the question is correct if you just use the real inner product in place of $langlecdot,cdotrangle$. (Note that the real and complex inner products induce the same norm.)
$endgroup$
– Eric Wofsey
Mar 29 at 3:42
$begingroup$
But what is the denominator?
$endgroup$
– U2647
Mar 29 at 3:18
$begingroup$
But what is the denominator?
$endgroup$
– U2647
Mar 29 at 3:18
$begingroup$
There isn't any problem with the denominator...the formula you wrote in the question is correct if you just use the real inner product in place of $langlecdot,cdotrangle$. (Note that the real and complex inner products induce the same norm.)
$endgroup$
– Eric Wofsey
Mar 29 at 3:42
$begingroup$
There isn't any problem with the denominator...the formula you wrote in the question is correct if you just use the real inner product in place of $langlecdot,cdotrangle$. (Note that the real and complex inner products induce the same norm.)
$endgroup$
– Eric Wofsey
Mar 29 at 3:42
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%2f3166671%2fhow-to-define-angles-in-hilbert-spaces-with-field-mathbbc%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 source of this problem?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:44
$begingroup$
@LordSharktheUnknown The original problem is in Joseph Muscat's Functional Analysis: An introduction to Metric Spaces, Hilbert Spaces, and Banach Spaces p184 8.(a). published by Springer. But my professor substituted $mathbbR$ with $mathbbC$ and I don't know if it is reasonable.
$endgroup$
– U2647
Mar 29 at 2:54
$begingroup$
Your professor didn't tell you their definition of angle?
$endgroup$
– Lord Shark the Unknown
Mar 29 at 2:56
$begingroup$
@LordSharktheUnknown No, he didn't. So I am wondering if there is a way to define angles in any Hilbert space with the field $mathbbC$? If not, he might make a mistake or a typo.
$endgroup$
– U2647
Mar 29 at 3:13