Ortogonal subspace proof - Leon 5.2

  • Thread starter Thread starter IntroAnalysis
  • Start date Start date
  • Tags Tags
    Proof Subspace
Click For Summary

Homework Help Overview

The problem involves a subspace S of R3 spanned by two vectors, x and y. The task is to demonstrate that the orthogonal complement of S, denoted S⊥, is equal to the null space of a matrix A formed by these vectors.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants discuss the definitions of S⊥ and N(A), exploring the implications of linear combinations and orthogonality. There is a focus on the relationship between the orthogonal complement and the null space, with attempts to clarify the linear independence of the spanning vectors.

Discussion Status

Some participants have provided insights into the definitions and properties of the involved concepts. There is an ongoing exploration of the proof structure, with suggestions on how to demonstrate the equivalence of the two sets. No consensus has been reached yet, and multiple interpretations are being considered.

Contextual Notes

Participants are navigating potential misunderstandings regarding linear independence and the dimensionality of the subspace spanned by the vectors. There is also a note on the necessity of presenting the proof clearly and methodically.

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:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
10
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
9
Views
2K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K