How Do You Prove L(L(A)) ⊆ L(A) Using Subspace Properties?

  • Context: Graduate 
  • Thread starter Thread starter yifli
  • Start date Start date
Click For Summary

Discussion Overview

The discussion focuses on proving the relationship between the linear spans of a set A and its linear span L(L(A)), specifically exploring whether L(L(A)) is a subset of L(A). The scope includes theoretical aspects of linear algebra and properties of vector spaces.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant states that since L(A) is the linear span of A, it follows that L(A) is a subset of L(L(A)).
  • Another participant suggests taking a vector v in L(L(A)) and demonstrating that it is also in L(A) to establish L(L(A)) ⊆ L(A).
  • Further elaboration indicates that if v is in L(L(A)), it can be expressed as a linear combination of vectors in L(A), which are themselves linear combinations of vectors in A.
  • A participant reiterates the previous point about expressing v as a linear combination of members of A.
  • One participant questions the proof approach, asking if it is possible to prove L(L(A)) ⊆ L(A) using only the properties that L(A) is a subspace including A and that any subspace M including A must contain L(A).

Areas of Agreement / Disagreement

Participants express differing views on the proof strategy and the sufficiency of the properties provided. The discussion remains unresolved regarding the best approach to prove L(L(A)) ⊆ L(A).

Contextual Notes

Participants reference specific properties of subspaces and linear combinations, but there is no consensus on how to utilize these properties effectively in the proof.

yifli
Messages
68
Reaction score
0
L(A) is the linear span of all the vectors in A, and A is a subset of a vector space V

Since the linear span of A always include A, it follows that [tex]L(A)\subset L(L(A))[/tex]

But how do you prove the other direction?
 
Physics news on Phys.org
Try taking any vector v in L(L(A)) and show that it is also an element of L(A). This will show that L(L(A)) ⊂ L(A).
 
Saying the v is in L(L(A)) means that it is a (finite) linear combination of vectors in L(A): [itex]v= a_1 u_1+ a_2u_2+ \cdot\cdot\cdot+ a_nu_n[/itex]. But every vector in L(A) is a linear combination of vectors in A: [itex]u_i= b_{i1}w_1+ b_{i2}w_2+ \cdot\cdot\cdot+ b_{im}w_m[/itex]. That is, [itex]v= a_1(b_{11}w_1+ b_{12}w_+ \cdot\cdot\cdot+ b_{1m}w_m)p[/itex][itex]+ a_2(b_{21}w_1+ b_{22}w_2+ \cdot\cdot\cdot+ b_{2m}w_m)[/itex][itex]+ \cdot\cdot\cdot+ a_n(b_{n1}w_1+ b_{n2}w_2+ \cdot\cdot\cdot+ b_{nm}w_m)[/itex]

That can be rewritten as a linear combination of members of A.
 
HallsofIvy said:
Saying the v is in L(L(A)) means that it is a (finite) linear combination of vectors in L(A): [itex]v= a_1 u_1+ a_2u_2+ \cdot\cdot\cdot+ a_nu_n[/itex]. But every vector in L(A) is a linear combination of vectors in A: [itex]u_i= b_{i1}w_1+ b_{i2}w_2+ \cdot\cdot\cdot+ b_{im}w_m[/itex]. That is, [itex]v= a_1(b_{11}w_1+ b_{12}w_+ \cdot\cdot\cdot+ b_{1m}w_m)p[/itex][itex]+ a_2(b_{21}w_1+ b_{22}w_2+ \cdot\cdot\cdot+ b_{2m}w_m)[/itex][itex]+ \cdot\cdot\cdot+ a_n(b_{n1}w_1+ b_{n2}w_2+ \cdot\cdot\cdot+ b_{nm}w_m)[/itex]

That can be rewritten as a linear combination of members of A.

Thank you for the reply.

But what if I can only use the following two properties to prove [tex]L(L(A))\subset L(A)[/tex]
1. L(A) is a subspace which includes A
2. If M is any subspace which includes A, then [tex]L(A) \subset M[/tex]
 

Similar threads

Replies
15
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
1
Views
1K
  • · Replies 0 ·
Replies
0
Views
771
  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
1K