S.O.S. Mathematics CyberBoard

Your Resource for mathematics help on the web!
It is currently Sat, 18 May 2013 23:43:13 UTC

All times are UTC [ DST ]




Post new topic Reply to topic  [ 2 posts ] 
Author Message
 Post subject: Dot Product and Euclidean Norm
PostPosted: Fri, 22 Oct 2010 02:37:49 UTC 
Offline
Member

Joined: Fri, 17 Sep 2010 00:13:04 UTC
Posts: 17
Supposer that A is a real m x n matrix such that, for any vectors x and y in \mathbb{R}^n, if x\perp y, the Ax\perp Ay. Show that, if x and y are any two vectors in \mathbb{R}^n such that ||x||=||y||, then ||Ax||=||Ay||, where || || denotes the familiar Euclidean norm defined by the dot product. Also show, that if A is not the zero matrix, then m\ge{n}.

Here it was I have so far:


If{ }  \lVert{x}\rVert=\lVert{y}\rVert\implies
[((x\cdot{x})^{1/2}= ((y\cdot{y})^{1/2}]^2\implies
{\lVert{x}\rVert}^2={\lVert{y}\rVert}^2\implies\lVert{x}\rVert}^2-{\Vert{y}\rVert}^2=0\implies{x\cdot{x}-y\cdot{x}+x\cdot{y}-y\cdot{y}=0\implies(x-y)\cdot(x+y)=0\implies (x-y)\perp(x+y)

Proving the above statement was part of the hint given in class, but I don't see how that can be used to prove ||Ax||=||Ay||. Also, for the second part I assume m has to be larger because we are in \mathbb{R}^n and multplying a matrix by a vector will result in n-1 dimensions, but is there more to that?


Top
 Profile  
 
 Post subject: Re: Dot Product and Euclidean Norm
PostPosted: Fri, 22 Oct 2010 09:38:39 UTC 
Offline
Moderator
User avatar

Joined: Mon, 29 Dec 2008 17:49:32 UTC
Posts: 6003
Location: 127.0.0.1, ::1 (avatar courtesy of UDN)
soulrebel934 wrote:
Supposer that A is a real m x n matrix such that, for any vectors x and y in \mathbb{R}^n, if x\perp y, the Ax\perp Ay. Show that, if x and y are any two vectors in \mathbb{R}^n such that ||x||=||y||, then ||Ax||=||Ay||, where || || denotes the familiar Euclidean norm defined by the dot product. Also show, that if A is not the zero matrix, then m\ge{n}.

Here it was I have so far:


If{ }  \lVert{x}\rVert=\lVert{y}\rVert\implies
[((x\cdot{x})^{1/2}= ((y\cdot{y})^{1/2}]^2\implies
{\lVert{x}\rVert}^2={\lVert{y}\rVert}^2\implies\lVert{x}\rVert}^2-{\Vert{y}\rVert}^2=0\implies{x\cdot{x}-y\cdot{x}+x\cdot{y}-y\cdot{y}=0\implies(x-y)\cdot(x+y)=0\implies (x-y)\perp(x+y)

Proving the above statement was part of the hint given in class, but I don't see how that can be used to prove ||Ax||=||Ay||. Also, for the second part I assume m has to be larger because we are in \mathbb{R}^n and multplying a matrix by a vector will result in n-1 dimensions, but is there more to that?


(1) Note that all your \implies are actually \iff.

(2) Look at the image of A.

_________________
\begin{aligned}
Spin(1)&=O(1)=\mathbb{Z}/2&\quad&\text{and}\\
Spin(2)&=U(1)=SO(2)&&\text{are obvious}\\
Spin(3)&=Sp(1)=SU(2)&&\text{by }q\mapsto(\mathop{\mathrm{Im}}\mathbb{H}\ni p\mapsto qp\bar{q})\\
Spin(4)&=Sp(1)\times Sp(1)&&\text{by }(q_1,q_2)\mapsto(\mathbb{H}\ni p\mapsto q_1p\bar{q_2})\\
Spin(5)&=Sp(2)&&\text{by }\mathbb{HP}^1\cong S^4_{round}\hookrightarrow\mathbb{R}^5\\
Spin(6)&=SU(4)&&\text{by the irrep }\Lambda_+\mathbb{C}^4
\end{aligned}


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 2 posts ] 

All times are UTC [ DST ]


Who is online

Users browsing this forum: No registered users


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum

Search for:
Jump to:  
Contact Us | S.O.S. Mathematics Homepage
Privacy Statement | Search the "old" CyberBoard

users online during the last hour
Powered by phpBB © 2001, 2005-2011 phpBB Group.
Copyright © 1999-2013 MathMedics, LLC. All rights reserved.
Math Medics, LLC. - P.O. Box 12395 - El Paso TX 79913 - USA