Ortogonal subspace proof - Leon 5.2

  • Thread starter Thread starter IntroAnalysis
  • Start date Start date
  • Tags Tags
    Proof Subspace
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 3K views
IntroAnalysis
Messages
58
Reaction score
0

Homework Statement


Let S be a subspace of R3 spanned by the vectors x = (x1, x2, x3)T and y = (y1, y2, y3)T

Let A = (x1 x2 x3 )
( y1 y2 y3)

Show that S[tex]\bot[/tex] = N(A).

Homework Equations





The Attempt at a Solution


Any hints?
 
Physics news on Phys.org
IntroAnalysis said:

Homework Statement


Let S be a subspace of R3 spanned by the vectors x = (x1, x2, x3)T and y = (y1, y2, y3)T

Let A = (x1 x2 x3 )
( y1 y2 y3)

Show that S[tex]\bot[/tex] = N(A).

Homework Equations





The Attempt at a Solution


Any hints?
Start with some definitions of the terms in this problem. Do you know what S[tex]\bot[/tex] and N(A) mean?

How much do you understand about this problem? For example, what does it mean that S is spanned by those two vectors?
 
The subspace S spanned by the two vectors means that any vector in S can be written as a linear combination of x and y. This means x and y are linearly independent.

S[tex]\bot[/tex] is the orthogonal complement of S. It means the set w an element of R3 such that wTs= 0 for every s that's an element of S.

The null set N(A) is the set of all solutions to Ax = 0.

There exists z = (z1, z2, z3) orthogonal to x and y.

(z1, z2, z3)^T* (x1, x2, x3) = 0 ; and (z1, z2, z3)^T* (y1, y2, y3) = 0

and the nullspace of N(A) = (x1 x2 x3) * (z1, z2, z3)^T = x1z1 + x2z2 +x3z3 = 0
(y1, y2, y3) * (z1, z2, z3)^T = y1z1 + y2z2 + y3z3 = 0

Therefore, the orthogonal complement of S = N(A)

Does that work? Thanks for your assistance!
 
IntroAnalysis said:
The subspace S spanned by the two vectors means that any vector in S can be written as a linear combination of x and y. This means x and y are linearly independent.
Not necessarily. For example, the vectors <1, 1> and <2, 2>} span a subspace of R2 but they aren't linearly independent. This subspace has dimension 1.
IntroAnalysis said:
S[tex]\bot[/tex] is the orthogonal complement of S. It means the set w an element of R3 such that wTs= 0 for every s that's an element of S.

The null set N(A) is the set of all solutions to Ax = 0.

There exists z = (z1, z2, z3) orthogonal to x and y.

(z1, z2, z3)^T* (x1, x2, x3) = 0 ; and (z1, z2, z3)^T* (y1, y2, y3) = 0

and the nullspace of N(A) = (x1 x2 x3) * (z1, z2, z3)^T = x1z1 + x2z2 +x3z3 = 0
(y1, y2, y3) * (z1, z2, z3)^T = y1z1 + y2z2 + y3z3 = 0

Therefore, the orthogonal complement of S = N(A)

Does that work? Thanks for your assistance!

You have the guts of the proof, but your presentation is on the clunky side. To show that two sets are equal, show that if u is in the first set, it must be in the second set. The show that if u is in the second set, it must also be in the first set.

So for your problem, assume that u is in N(A). You should be able to show that u is also in S[itex]\bot[/itex].
Now assume that u is in S[itex]\bot[/itex]. Then show that u must also be in N(A).
 
Last edited: