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 $
Can I say "fingers" when referring to toes?
Giving feedback to someone without sounding prejudiced
Why do Radio Buttons not fill the entire outer circle?
Given this phrasing in the lease, when should I pay my rent?
Why does the Persian emissary display a string of crowned skulls?
Did I make a mistake by ccing email to boss to others?
Quoting Keynes in a lecture
Why would five hundred and five be same as one?
Should I warn a new PhD Student?
Can you identify this lizard-like creature I observed in the UK?
Does Doodling or Improvising on the Piano Have Any Benefits?
Is there anyway, I can have two passwords for my wi-fi
If Captain Marvel (MCU) were to have a child with a human male, would the child be human or Kree?
Mimic lecturing on blackboard, facing audience
Would a primitive species be able to learn English from reading books alone?
What is the smallest number n> 5 so that 5 ^ n ends with "3125"?
Typing CO_2 easily
Proving an identity involving cross products and coplanar vectors
How to test the sharpness of a knife?
Pre-Employment Background Check With Consent For Future Checks
Do I have to take mana from my deck or hand when tapping a dual land?
Has the laser at Magurele, Romania reached a tenth of the Sun's power?
How can ruler support inventing of useful things?
What is this high flying aircraft over Pennsylvania?
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
edited Mar 14 at 6:40
miracle173
7,36122247
asked Mar 14 at 4:42
PixieBladePixieBlade
113
$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
edited Mar 14 at 6:40
miracle173
7,36122247
asked Mar 14 at 4:42
PixieBladePixieBlade
113
$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
edited Mar 14 at 6:40
miracle173
7,36122247
asked Mar 14 at 4:42
PixieBladePixieBlade
113
$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
asked Mar 14 at 4:42
PixieBladePixieBlade
113
edited Mar 14 at 6:40
miracle173
7,36122247
asked Mar 14 at 4:42
PixieBladePixieBlade
113
edited Mar 14 at 6:40
miracle173
7,36122247
edited Mar 14 at 6:40
miracle173
7,36122247
edited Mar 14 at 6:40
miracle173
7,36122247
7,36122247
asked Mar 14 at 4:42
PixieBladePixieBlade
113
asked Mar 14 at 4:42
PixieBladePixieBlade
113
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$.
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.6k53169
$endgroup$
add a comment |
$begingroup$
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
$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$$
answered Mar 14 at 5:43
miracle173miracle173
7,36122247
$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$.
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.6k53169
$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$.
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.6k53169
$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$.
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.6k53169
$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$.
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.6k53169
edited Mar 14 at 6:28
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.6k53169
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.6k53169
answered Mar 14 at 5:23
Kavi Rama MurthyKavi Rama Murthy
68.6k53169
68.6k53169
add a comment |
add a comment |
$begingroup$
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
$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.
answered Mar 14 at 4:52
Isaac BrowneIsaac Browne
5,29751234
$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.
answered Mar 14 at 4:52
Isaac BrowneIsaac Browne
5,29751234
$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
answered Mar 14 at 4:52
Isaac BrowneIsaac Browne
5,29751234
answered Mar 14 at 4:52
Isaac BrowneIsaac Browne
5,29751234
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$$
answered Mar 14 at 5:43
miracle173miracle173
7,36122247
$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$$
answered Mar 14 at 5:43
miracle173miracle173
7,36122247
$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$$
answered Mar 14 at 5:43
miracle173miracle173
7,36122247
$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$$
answered Mar 14 at 5:43
miracle173miracle173
7,36122247
edited Mar 14 at 6:39
answered Mar 14 at 5:43
miracle173miracle173
7,36122247
answered Mar 14 at 5:43
miracle173miracle173
7,36122247
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