Assume $langle v,s rangle + langle s,v rangle leq langle s,s rangle$If $langle v,srangle+langle s,vrangleleq langle s,srangle$ for all $sin S$, why is $vin S^perp$?$||u||leq ||u+av|| Longrightarrow langle u,vrangle=0$Proving an inequality on $sum_1leq i,j leq n langle c_i ,c_j rangle times langle l_i ,l_j rangle$Does $langle f+h,grangle=langle f,grangle+langle h,grangle$ hold for all elements $f, g, h$ of an inner product space?How do I prove that $left langle T(x),x right rangle=0,forall xin VRightarrow T=T_0$?Show $langle u,v rangle = u_1v_1+3u_2v_2$ is an inner productProve: $langle p, vrangle = |p|^2$What are the maximum and minimum values of $langle u, vrangle + langle v, wrangle + langle w, urangle$?Show that $langle x,y rangle = 0$.$V$ is a inner product space, prove $langle av, vrangle langle v, avrangle le langle av, avrangle $
Overlapping circles covering polygon
How do I tell my boss that I'm quitting in 15 days (a colleague left this week)
Do you waste sorcery points if you try to apply metamagic to a spell from a scroll but fail to cast it?
What the heck is gets(stdin) on site coderbyte?
How do I fix the group tension caused by my character stealing and possibly killing without provocation?
In One Punch Man, is King actually weak?
What does "Scientists rise up against statistical significance" mean? (Comment in Nature)
Why can't the Brexit deadlock in the UK parliament be solved with a plurality vote?
What does "tick" mean in this sentence?
Does Doodling or Improvising on the Piano Have Any Benefits?
How do I prevent inappropriate ads from appearing in my game?
Should I assume I have passed probation?
Proving an identity involving cross products and coplanar vectors
Limit max CPU usage SQL SERVER with WSRM
The Digit Triangles
"Oh no!" in Latin
How to reduce predictors the right way for a logistic regression model
What is this high flying aircraft over Pennsylvania?
Typing CO_2 easily
Did I make a mistake by ccing email to boss to others?
Why is participating in the European Parliamentary elections used as a threat?
Language involving irrational number is not a CFL
Can I cause damage to electrical appliances by unplugging them when they are turned on?
Is there a reason to prefer HFS+ over APFS for disk images in High Sierra and/or Mojave?
Assume $langle v,s rangle + langle s,v rangle leq langle s,s rangle$
If $langle v,srangle+langle s,vrangleleq langle s,srangle$ for all $sin S$, why is $vin S^perp$?$||u||leq ||u+av|| Longrightarrow langle u,vrangle=0$Proving an inequality on $sum_1leq i,j leq n langle c_i ,c_j rangle times langle l_i ,l_j rangle$Does $langle f+h,grangle=langle f,grangle+langle h,grangle$ hold for all elements $f, g, h$ of an inner product space?How do I prove that $left langle T(x),x right rangle=0,forall xin VRightarrow T=T_0$?Show $langle u,v rangle = u_1v_1+3u_2v_2$ is an inner productProve: $langle p, vrangle = |p|^2$What are the maximum and minimum values of $langle u, vrangle + langle v, wrangle + langle w, urangle$?Show that $langle x,y rangle = 0$.$V$ is a inner product space, prove $langle av, vrangle langle v, avrangle le langle av, avrangle $
$begingroup$
The question is
Let $V$ be a complex inner product space, and let $S$ be a subspace of $V$. Suppose that $vin V$ is a vector for which $langle s,vrangle + langle v,srangle leq langle s,srangle$ for all $sin S$. Prove that $vin S^perp$.
I am thinking about proving it by contradiction, but I am not sure what $langle s,vrangle + langle v,srangle leq langle s,srangle$ can tell me. What I am sure about right now is that $v$ must not be in $S$ since if $v$ is in $S$, then $v$ will be equal to some $s$ in $S$, then there exists such $s$ that
$langle s,vrangle + langle v,srangle = langle s,srangle + langle s,srangle = 2langle s,srangle gt langle s,srangle$.
So $v$ must be in somewhere else. What else can I know, I am so confused right now, can somebody give me some hints?
inner-product-space
$endgroup$
add a comment |
$begingroup$
The question is
Let $V$ be a complex inner product space, and let $S$ be a subspace of $V$. Suppose that $vin V$ is a vector for which $langle s,vrangle + langle v,srangle leq langle s,srangle$ for all $sin S$. Prove that $vin S^perp$.
I am thinking about proving it by contradiction, but I am not sure what $langle s,vrangle + langle v,srangle leq langle s,srangle$ can tell me. What I am sure about right now is that $v$ must not be in $S$ since if $v$ is in $S$, then $v$ will be equal to some $s$ in $S$, then there exists such $s$ that
$langle s,vrangle + langle v,srangle = langle s,srangle + langle s,srangle = 2langle s,srangle gt langle s,srangle$.
So $v$ must be in somewhere else. What else can I know, I am so confused right now, can somebody give me some hints?
inner-product-space
$endgroup$
$begingroup$
As a side comment, you need to assume $sneq mathbf0$ in your bit of argument. Otherwise, $2langle s,srangle$ could equal $langle s,srangle$ (both zero). Not an issue, though, since the zero vector also happens to lie in $S^“perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:53
1
$begingroup$
Is $S$ finite dimensional? If so, write $v=s+p$, where $sin S$ and $Pin S^perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:55
$begingroup$
@ArturoMagidin the question does not provide it is finite dimensional or not.
$endgroup$
– PixieBlade
Mar 14 at 4:58
$begingroup$
@ArturoMagidin If v is orthogonal to any finite subspace of S then v is is orthogonal to any s in S. so v is orthogonal to S.
$endgroup$
– miracle173
Mar 14 at 5:08
$begingroup$
Fix nonzero $sin S$ (the case $S = 0$ is trivial), and consider $lambda sin S$ for small $lambda$.
$endgroup$
– anomaly
Mar 14 at 5:19
add a comment |
$begingroup$
The question is
Let $V$ be a complex inner product space, and let $S$ be a subspace of $V$. Suppose that $vin V$ is a vector for which $langle s,vrangle + langle v,srangle leq langle s,srangle$ for all $sin S$. Prove that $vin S^perp$.
I am thinking about proving it by contradiction, but I am not sure what $langle s,vrangle + langle v,srangle leq langle s,srangle$ can tell me. What I am sure about right now is that $v$ must not be in $S$ since if $v$ is in $S$, then $v$ will be equal to some $s$ in $S$, then there exists such $s$ that
$langle s,vrangle + langle v,srangle = langle s,srangle + langle s,srangle = 2langle s,srangle gt langle s,srangle$.
So $v$ must be in somewhere else. What else can I know, I am so confused right now, can somebody give me some hints?
inner-product-space
$endgroup$
The question is
Let $V$ be a complex inner product space, and let $S$ be a subspace of $V$. Suppose that $vin V$ is a vector for which $langle s,vrangle + langle v,srangle leq langle s,srangle$ for all $sin S$. Prove that $vin S^perp$.
I am thinking about proving it by contradiction, but I am not sure what $langle s,vrangle + langle v,srangle leq langle s,srangle$ can tell me. What I am sure about right now is that $v$ must not be in $S$ since if $v$ is in $S$, then $v$ will be equal to some $s$ in $S$, then there exists such $s$ that
$langle s,vrangle + langle v,srangle = langle s,srangle + langle s,srangle = 2langle s,srangle gt langle s,srangle$.
So $v$ must be in somewhere else. What else can I know, I am so confused right now, can somebody give me some hints?
inner-product-space
inner-product-space
edited Mar 14 at 6:40
miracle173
7,36122247
7,36122247
asked Mar 14 at 4:42
PixieBladePixieBlade
113
113
$begingroup$
As a side comment, you need to assume $sneq mathbf0$ in your bit of argument. Otherwise, $2langle s,srangle$ could equal $langle s,srangle$ (both zero). Not an issue, though, since the zero vector also happens to lie in $S^“perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:53
1
$begingroup$
Is $S$ finite dimensional? If so, write $v=s+p$, where $sin S$ and $Pin S^perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:55
$begingroup$
@ArturoMagidin the question does not provide it is finite dimensional or not.
$endgroup$
– PixieBlade
Mar 14 at 4:58
$begingroup$
@ArturoMagidin If v is orthogonal to any finite subspace of S then v is is orthogonal to any s in S. so v is orthogonal to S.
$endgroup$
– miracle173
Mar 14 at 5:08
$begingroup$
Fix nonzero $sin S$ (the case $S = 0$ is trivial), and consider $lambda sin S$ for small $lambda$.
$endgroup$
– anomaly
Mar 14 at 5:19
add a comment |
$begingroup$
As a side comment, you need to assume $sneq mathbf0$ in your bit of argument. Otherwise, $2langle s,srangle$ could equal $langle s,srangle$ (both zero). Not an issue, though, since the zero vector also happens to lie in $S^“perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:53
1
$begingroup$
Is $S$ finite dimensional? If so, write $v=s+p$, where $sin S$ and $Pin S^perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:55
$begingroup$
@ArturoMagidin the question does not provide it is finite dimensional or not.
$endgroup$
– PixieBlade
Mar 14 at 4:58
$begingroup$
@ArturoMagidin If v is orthogonal to any finite subspace of S then v is is orthogonal to any s in S. so v is orthogonal to S.
$endgroup$
– miracle173
Mar 14 at 5:08
$begingroup$
Fix nonzero $sin S$ (the case $S = 0$ is trivial), and consider $lambda sin S$ for small $lambda$.
$endgroup$
– anomaly
Mar 14 at 5:19
$begingroup$
As a side comment, you need to assume $sneq mathbf0$ in your bit of argument. Otherwise, $2langle s,srangle$ could equal $langle s,srangle$ (both zero). Not an issue, though, since the zero vector also happens to lie in $S^“perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:53
$begingroup$
As a side comment, you need to assume $sneq mathbf0$ in your bit of argument. Otherwise, $2langle s,srangle$ could equal $langle s,srangle$ (both zero). Not an issue, though, since the zero vector also happens to lie in $S^“perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:53
1
1
$begingroup$
Is $S$ finite dimensional? If so, write $v=s+p$, where $sin S$ and $Pin S^perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:55
$begingroup$
Is $S$ finite dimensional? If so, write $v=s+p$, where $sin S$ and $Pin S^perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:55
$begingroup$
@ArturoMagidin the question does not provide it is finite dimensional or not.
$endgroup$
– PixieBlade
Mar 14 at 4:58
$begingroup$
@ArturoMagidin the question does not provide it is finite dimensional or not.
$endgroup$
– PixieBlade
Mar 14 at 4:58
$begingroup$
@ArturoMagidin If v is orthogonal to any finite subspace of S then v is is orthogonal to any s in S. so v is orthogonal to S.
$endgroup$
– miracle173
Mar 14 at 5:08
$begingroup$
@ArturoMagidin If v is orthogonal to any finite subspace of S then v is is orthogonal to any s in S. so v is orthogonal to S.
$endgroup$
– miracle173
Mar 14 at 5:08
$begingroup$
Fix nonzero $sin S$ (the case $S = 0$ is trivial), and consider $lambda sin S$ for small $lambda$.
$endgroup$
– anomaly
Mar 14 at 5:19
$begingroup$
Fix nonzero $sin S$ (the case $S = 0$ is trivial), and consider $lambda sin S$ for small $lambda$.
$endgroup$
– anomaly
Mar 14 at 5:19
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Fix $s in S$. Replace $s$ by $epsilon s$ and divide by $epsilon$ to get $ langle v, s rangle +langle s, v rangle leq epsilon |s|^2$. Letting $epsilon to 0$ we see that Real part of $ langle v, s rangle$ is $leq 0$. Replace $s$ by $-s$ to see that the real part is $0$. Replace $s$ by $is$ to see that the imaginary part is also $0$.
$endgroup$
add a comment |
$begingroup$
Hint: Think about what happens as we make $langle s,srangle$ smaller and smaller.
$endgroup$
$begingroup$
Then ⟨𝑠,𝑠⟩ will be extremely close to 0? but it still larger than ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ and since either ⟨𝑠,𝑣⟩ or ⟨𝑣,𝑠⟩ is positive definite, so ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ aproaches to 0 so ⟨𝑠,𝑣⟩=⟨𝑣,𝑠⟩=0? so v⊥s and s⊥v? What am I thinking...
$endgroup$
– PixieBlade
Mar 14 at 5:02
$begingroup$
Yep, you're on the right track! You can rigorize this by taking a vector $vecv_d$ for each direction in $S$ and then saying that this property must hold for all scalar multiples of each vector.
$endgroup$
– Isaac Browne
Mar 14 at 5:05
add a comment |
$begingroup$
If $$Sne0$$
we can choose an $$s_1ne 0$$ and that means $$langle s_1,s_1ranglene 0$$
We set $$s_2=frac1sqrtlangle s_1, s_1rangles_1$$
then we have $$langle s_2, s_2 rangle=1$$
For an arbitrary $v in V$ we set
$$s=langle v,s_2rangle s_2 in S$$
and for the LHS of
$$langle s,vrangle + langle v,srangle leq langle s,srangle$$
we get
$$langle s,vrangle + langle v,srangle \=langle langle v,s_2rangle s_2,vrangle + langle v,langle v,s_2rangle s_2rangle\=langle v,s_2rangle langle s_2,vrangle+overlinelangle v,s_2rangle langle v,s_2rangle\=2overlinelangle v,s_2rangle langle v,s_2rangle$$
For the RHS we get
$$langle s ,s rangle\=langle langle v,s_2rangle s_2,langle v,s_2rangle s_2 rangle\=langle v,s_2rangle overlinelangle v,s_2ranglelangle s_2,s_2 rangle=\langle v,s_2rangle overlinelangle v,s_2rangle$$
It follows that
$$2overlinelangle v,s_2rangle langle v,s_2rangle le overlinelangle v,s_2rangle langle v,s_2rangle$$
which is a contradiction for $$overlinelangle v,s_2rangle langle v,s_2ranglene 0$$
$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%2f3147569%2fassume-langle-v-s-rangle-langle-s-v-rangle-leq-langle-s-s-rangle%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Fix $s in S$. Replace $s$ by $epsilon s$ and divide by $epsilon$ to get $ langle v, s rangle +langle s, v rangle leq epsilon |s|^2$. Letting $epsilon to 0$ we see that Real part of $ langle v, s rangle$ is $leq 0$. Replace $s$ by $-s$ to see that the real part is $0$. Replace $s$ by $is$ to see that the imaginary part is also $0$.
$endgroup$
add a comment |
$begingroup$
Fix $s in S$. Replace $s$ by $epsilon s$ and divide by $epsilon$ to get $ langle v, s rangle +langle s, v rangle leq epsilon |s|^2$. Letting $epsilon to 0$ we see that Real part of $ langle v, s rangle$ is $leq 0$. Replace $s$ by $-s$ to see that the real part is $0$. Replace $s$ by $is$ to see that the imaginary part is also $0$.
$endgroup$
add a comment |
$begingroup$
Fix $s in S$. Replace $s$ by $epsilon s$ and divide by $epsilon$ to get $ langle v, s rangle +langle s, v rangle leq epsilon |s|^2$. Letting $epsilon to 0$ we see that Real part of $ langle v, s rangle$ is $leq 0$. Replace $s$ by $-s$ to see that the real part is $0$. Replace $s$ by $is$ to see that the imaginary part is also $0$.
$endgroup$
Fix $s in S$. Replace $s$ by $epsilon s$ and divide by $epsilon$ to get $ langle v, s rangle +langle s, v rangle leq epsilon |s|^2$. Letting $epsilon to 0$ we see that Real part of $ langle v, s rangle$ is $leq 0$. Replace $s$ by $-s$ to see that the real part is $0$. Replace $s$ by $is$ to see that the imaginary part is also $0$.
edited Mar 14 at 6:28
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.7k53169
68.7k53169
add a comment |
add a comment |
$begingroup$
Hint: Think about what happens as we make $langle s,srangle$ smaller and smaller.
$endgroup$
$begingroup$
Then ⟨𝑠,𝑠⟩ will be extremely close to 0? but it still larger than ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ and since either ⟨𝑠,𝑣⟩ or ⟨𝑣,𝑠⟩ is positive definite, so ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ aproaches to 0 so ⟨𝑠,𝑣⟩=⟨𝑣,𝑠⟩=0? so v⊥s and s⊥v? What am I thinking...
$endgroup$
– PixieBlade
Mar 14 at 5:02
$begingroup$
Yep, you're on the right track! You can rigorize this by taking a vector $vecv_d$ for each direction in $S$ and then saying that this property must hold for all scalar multiples of each vector.
$endgroup$
– Isaac Browne
Mar 14 at 5:05
add a comment |
$begingroup$
Hint: Think about what happens as we make $langle s,srangle$ smaller and smaller.
$endgroup$
$begingroup$
Then ⟨𝑠,𝑠⟩ will be extremely close to 0? but it still larger than ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ and since either ⟨𝑠,𝑣⟩ or ⟨𝑣,𝑠⟩ is positive definite, so ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ aproaches to 0 so ⟨𝑠,𝑣⟩=⟨𝑣,𝑠⟩=0? so v⊥s and s⊥v? What am I thinking...
$endgroup$
– PixieBlade
Mar 14 at 5:02
$begingroup$
Yep, you're on the right track! You can rigorize this by taking a vector $vecv_d$ for each direction in $S$ and then saying that this property must hold for all scalar multiples of each vector.
$endgroup$
– Isaac Browne
Mar 14 at 5:05
add a comment |
$begingroup$
Hint: Think about what happens as we make $langle s,srangle$ smaller and smaller.
$endgroup$
Hint: Think about what happens as we make $langle s,srangle$ smaller and smaller.
answered Mar 14 at 4:52
Isaac BrowneIsaac Browne
5,29751234
5,29751234
$begingroup$
Then ⟨𝑠,𝑠⟩ will be extremely close to 0? but it still larger than ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ and since either ⟨𝑠,𝑣⟩ or ⟨𝑣,𝑠⟩ is positive definite, so ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ aproaches to 0 so ⟨𝑠,𝑣⟩=⟨𝑣,𝑠⟩=0? so v⊥s and s⊥v? What am I thinking...
$endgroup$
– PixieBlade
Mar 14 at 5:02
$begingroup$
Yep, you're on the right track! You can rigorize this by taking a vector $vecv_d$ for each direction in $S$ and then saying that this property must hold for all scalar multiples of each vector.
$endgroup$
– Isaac Browne
Mar 14 at 5:05
add a comment |
$begingroup$
Then ⟨𝑠,𝑠⟩ will be extremely close to 0? but it still larger than ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ and since either ⟨𝑠,𝑣⟩ or ⟨𝑣,𝑠⟩ is positive definite, so ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ aproaches to 0 so ⟨𝑠,𝑣⟩=⟨𝑣,𝑠⟩=0? so v⊥s and s⊥v? What am I thinking...
$endgroup$
– PixieBlade
Mar 14 at 5:02
$begingroup$
Yep, you're on the right track! You can rigorize this by taking a vector $vecv_d$ for each direction in $S$ and then saying that this property must hold for all scalar multiples of each vector.
$endgroup$
– Isaac Browne
Mar 14 at 5:05
$begingroup$
Then ⟨𝑠,𝑠⟩ will be extremely close to 0? but it still larger than ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ and since either ⟨𝑠,𝑣⟩ or ⟨𝑣,𝑠⟩ is positive definite, so ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ aproaches to 0 so ⟨𝑠,𝑣⟩=⟨𝑣,𝑠⟩=0? so v⊥s and s⊥v? What am I thinking...
$endgroup$
– PixieBlade
Mar 14 at 5:02
$begingroup$
Then ⟨𝑠,𝑠⟩ will be extremely close to 0? but it still larger than ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ and since either ⟨𝑠,𝑣⟩ or ⟨𝑣,𝑠⟩ is positive definite, so ⟨𝑠,𝑣⟩+⟨𝑣,𝑠⟩ aproaches to 0 so ⟨𝑠,𝑣⟩=⟨𝑣,𝑠⟩=0? so v⊥s and s⊥v? What am I thinking...
$endgroup$
– PixieBlade
Mar 14 at 5:02
$begingroup$
Yep, you're on the right track! You can rigorize this by taking a vector $vecv_d$ for each direction in $S$ and then saying that this property must hold for all scalar multiples of each vector.
$endgroup$
– Isaac Browne
Mar 14 at 5:05
$begingroup$
Yep, you're on the right track! You can rigorize this by taking a vector $vecv_d$ for each direction in $S$ and then saying that this property must hold for all scalar multiples of each vector.
$endgroup$
– Isaac Browne
Mar 14 at 5:05
add a comment |
$begingroup$
If $$Sne0$$
we can choose an $$s_1ne 0$$ and that means $$langle s_1,s_1ranglene 0$$
We set $$s_2=frac1sqrtlangle s_1, s_1rangles_1$$
then we have $$langle s_2, s_2 rangle=1$$
For an arbitrary $v in V$ we set
$$s=langle v,s_2rangle s_2 in S$$
and for the LHS of
$$langle s,vrangle + langle v,srangle leq langle s,srangle$$
we get
$$langle s,vrangle + langle v,srangle \=langle langle v,s_2rangle s_2,vrangle + langle v,langle v,s_2rangle s_2rangle\=langle v,s_2rangle langle s_2,vrangle+overlinelangle v,s_2rangle langle v,s_2rangle\=2overlinelangle v,s_2rangle langle v,s_2rangle$$
For the RHS we get
$$langle s ,s rangle\=langle langle v,s_2rangle s_2,langle v,s_2rangle s_2 rangle\=langle v,s_2rangle overlinelangle v,s_2ranglelangle s_2,s_2 rangle=\langle v,s_2rangle overlinelangle v,s_2rangle$$
It follows that
$$2overlinelangle v,s_2rangle langle v,s_2rangle le overlinelangle v,s_2rangle langle v,s_2rangle$$
which is a contradiction for $$overlinelangle v,s_2rangle langle v,s_2ranglene 0$$
$endgroup$
add a comment |
$begingroup$
If $$Sne0$$
we can choose an $$s_1ne 0$$ and that means $$langle s_1,s_1ranglene 0$$
We set $$s_2=frac1sqrtlangle s_1, s_1rangles_1$$
then we have $$langle s_2, s_2 rangle=1$$
For an arbitrary $v in V$ we set
$$s=langle v,s_2rangle s_2 in S$$
and for the LHS of
$$langle s,vrangle + langle v,srangle leq langle s,srangle$$
we get
$$langle s,vrangle + langle v,srangle \=langle langle v,s_2rangle s_2,vrangle + langle v,langle v,s_2rangle s_2rangle\=langle v,s_2rangle langle s_2,vrangle+overlinelangle v,s_2rangle langle v,s_2rangle\=2overlinelangle v,s_2rangle langle v,s_2rangle$$
For the RHS we get
$$langle s ,s rangle\=langle langle v,s_2rangle s_2,langle v,s_2rangle s_2 rangle\=langle v,s_2rangle overlinelangle v,s_2ranglelangle s_2,s_2 rangle=\langle v,s_2rangle overlinelangle v,s_2rangle$$
It follows that
$$2overlinelangle v,s_2rangle langle v,s_2rangle le overlinelangle v,s_2rangle langle v,s_2rangle$$
which is a contradiction for $$overlinelangle v,s_2rangle langle v,s_2ranglene 0$$
$endgroup$
add a comment |
$begingroup$
If $$Sne0$$
we can choose an $$s_1ne 0$$ and that means $$langle s_1,s_1ranglene 0$$
We set $$s_2=frac1sqrtlangle s_1, s_1rangles_1$$
then we have $$langle s_2, s_2 rangle=1$$
For an arbitrary $v in V$ we set
$$s=langle v,s_2rangle s_2 in S$$
and for the LHS of
$$langle s,vrangle + langle v,srangle leq langle s,srangle$$
we get
$$langle s,vrangle + langle v,srangle \=langle langle v,s_2rangle s_2,vrangle + langle v,langle v,s_2rangle s_2rangle\=langle v,s_2rangle langle s_2,vrangle+overlinelangle v,s_2rangle langle v,s_2rangle\=2overlinelangle v,s_2rangle langle v,s_2rangle$$
For the RHS we get
$$langle s ,s rangle\=langle langle v,s_2rangle s_2,langle v,s_2rangle s_2 rangle\=langle v,s_2rangle overlinelangle v,s_2ranglelangle s_2,s_2 rangle=\langle v,s_2rangle overlinelangle v,s_2rangle$$
It follows that
$$2overlinelangle v,s_2rangle langle v,s_2rangle le overlinelangle v,s_2rangle langle v,s_2rangle$$
which is a contradiction for $$overlinelangle v,s_2rangle langle v,s_2ranglene 0$$
$endgroup$
If $$Sne0$$
we can choose an $$s_1ne 0$$ and that means $$langle s_1,s_1ranglene 0$$
We set $$s_2=frac1sqrtlangle s_1, s_1rangles_1$$
then we have $$langle s_2, s_2 rangle=1$$
For an arbitrary $v in V$ we set
$$s=langle v,s_2rangle s_2 in S$$
and for the LHS of
$$langle s,vrangle + langle v,srangle leq langle s,srangle$$
we get
$$langle s,vrangle + langle v,srangle \=langle langle v,s_2rangle s_2,vrangle + langle v,langle v,s_2rangle s_2rangle\=langle v,s_2rangle langle s_2,vrangle+overlinelangle v,s_2rangle langle v,s_2rangle\=2overlinelangle v,s_2rangle langle v,s_2rangle$$
For the RHS we get
$$langle s ,s rangle\=langle langle v,s_2rangle s_2,langle v,s_2rangle s_2 rangle\=langle v,s_2rangle overlinelangle v,s_2ranglelangle s_2,s_2 rangle=\langle v,s_2rangle overlinelangle v,s_2rangle$$
It follows that
$$2overlinelangle v,s_2rangle langle v,s_2rangle le overlinelangle v,s_2rangle langle v,s_2rangle$$
which is a contradiction for $$overlinelangle v,s_2rangle langle v,s_2ranglene 0$$
edited Mar 14 at 6:39
answered Mar 14 at 5:43
miracle173miracle173
7,36122247
7,36122247
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%2f3147569%2fassume-langle-v-s-rangle-langle-s-v-rangle-leq-langle-s-s-rangle%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$
As a side comment, you need to assume $sneq mathbf0$ in your bit of argument. Otherwise, $2langle s,srangle$ could equal $langle s,srangle$ (both zero). Not an issue, though, since the zero vector also happens to lie in $S^“perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:53
1
$begingroup$
Is $S$ finite dimensional? If so, write $v=s+p$, where $sin S$ and $Pin S^perp$.
$endgroup$
– Arturo Magidin
Mar 14 at 4:55
$begingroup$
@ArturoMagidin the question does not provide it is finite dimensional or not.
$endgroup$
– PixieBlade
Mar 14 at 4:58
$begingroup$
@ArturoMagidin If v is orthogonal to any finite subspace of S then v is is orthogonal to any s in S. so v is orthogonal to S.
$endgroup$
– miracle173
Mar 14 at 5:08
$begingroup$
Fix nonzero $sin S$ (the case $S = 0$ is trivial), and consider $lambda sin S$ for small $lambda$.
$endgroup$
– anomaly
Mar 14 at 5:19