A vector space and linear independent set.

  • #1
MathematicalPhysicist
Gold Member
4,220
172

Main Question or Discussion Point

let V be a vector space and K a nonempty subset of V prove/disprove :
K is linear independent set iff for every T such that T is a proper subset of K, span(T) is a proper subset of spanK.

im having difficulty finding a counter example, so i think this statement is correct, but how to prove it?

if K is an independent set, then i can show the for every susbset of it its span includes the span of the subset, but if im not mistaken this is correct also when K isnt an independent set.
so my question is how to show that if for every T a proper subset of K, and span{T} a proper subset of span{K}?
 

Answers and Replies

  • #2
StatusX
Homework Helper
2,564
1
If K is linearly independent, then the span of any proper subset doesn't even include all of K. Conversely, assume K is not linearly independent, and see if you can find a proper subset whose span is all of span(K).
 
  • #3
MathematicalPhysicist
Gold Member
4,220
172
i dont think you understand, K is linear independent set, i need to prove/disprove that K is linear independent iff for every proper subset of K,T SpT is a proper subset of SpK.

perhaps my first post was confusing, sorry for that.
 
  • #4
HallsofIvy
Science Advisor
Homework Helper
41,808
933
i dont think you understand, K is linear independent set, i need to prove/disprove that K is linear independent iff for every proper subset of K,T SpT is a proper subset of SpK.

perhaps my first post was confusing, sorry for that.
Yes, StatusX did understand! He said "the span of any proper subset doesn't even include all of K." What is the relationship between K and SpK?
 
  • #5
mathwonk
Science Advisor
Homework Helper
10,820
985
this is a tautology from the definitions, (plus subtraction and scalar division), so be sure you grok the definitions.
 
  • #6
MathematicalPhysicist
Gold Member
4,220
172
K is obviously included in spanK, but i dont quite follow, does this mean the statement is correct, and if so then how to prove it, i mean,
even if K is included in spanK.
if K is independent and T is a proper subset of K, then T is also independent, and every combination of the vector of T are included in spanT.
now how do i prove the other side of the statement, i.e when im given a proper subset, T of K such that spanT is a subset of spanK.
i.e if T={v1,...,vk} K={v1,...,vn} n>k then
a1v1+...anvn=0
a1v1+...akvk=-(ak+1vk+1+...+anvn)
so this is in spanT and thus also in spanK, now im kind of stuck.
any help would be appreciated.
 
  • #7
StatusX
Homework Helper
2,564
1
I meant, if you take some element v out of K, then, since K is linearly independent, there is no way to write v as a linear combination of the remaining elements. Thus the span of the remaining elements doesn't include all of K, and so can't possibly include all of span(K) (which contains K).
 
  • #8
HallsofIvy
Science Advisor
Homework Helper
41,808
933
K is obviously included in spanK, but i dont quite follow, does this mean the statement is correct, and if so then how to prove it, i mean,
even if K is included in spanK.
if K is independent and T is a proper subset of K, then T is also independent, and every combination of the vector of T are included in spanT.
now how do i prove the other side of the statement, i.e when im given a proper subset, T of K such that spanT is a subset of spanK.
i.e if T={v1,...,vk} K={v1,...,vn} n>k then
a1v1+...anvn=0
a1v1+...akvk=-(ak+1vk+1+...+anvn)
so this is in spanT and thus also in spanK, now im kind of stuck.
any help would be appreciated.
Now we're talking about spanKing? This is getting too kinky for me!:rofl:

Yes, K is included in span(k)- that's the whole point. If T is a proper subset of K, since K is independent, K is NOT in span(T) and therefore neither is span(K)!
 
  • #9
90
0
I'll give it a try. Consider vector space V.

Given any nonempty subset K of V, given any proper subset T of K
[K linearly independent -> Span(T) is a proper subset of Span(K)].

I'd say this assertion has already pretty well been established.


Claim: The converse is false. So we should be able to prove its negation.


It is false that, given any nonempty subset K of V, given any proper subset T of K [Span(T) is a proper subset of Span(K) -> K is linearly independent].

This is equivalent to:

There exits a nonempty subset K of V, there exists a proper subset T of K such that [Span(T) is a proper subset of Span(K) and K is not a linearly independent].

This is now an existence assertion. We need only find an example.

Let T = {(1,0)}, K = {(1,0),(1,1),(0,1)}. Clearly Span(T) is a proper subset of Span(K), and K is not linearly independent.


Maybe I misread the OP. Anyway, just my (perhaps a bit pedantic) two cents.
 
  • #10
MathematicalPhysicist
Gold Member
4,220
172
ok, thanks fopc.
those little simple counter examples. (-:
and halls, you kinky geezer!
(-:
 
  • #11
mathwonk
Science Advisor
Homework Helper
10,820
985
well paddles were always a standard tool in the old school house as i understand. maybe there is a link from the lower chakras to the brain.
 
  • #12
HallsofIvy
Science Advisor
Homework Helper
41,808
933
Personally, I prefer the 2 by 4.
 

Related Threads on A vector space and linear independent set.

Replies
5
Views
3K
Replies
14
Views
2K
Replies
1
Views
2K
Replies
2
Views
1K
Replies
5
Views
10K
Replies
9
Views
3K
Replies
8
Views
12K
Replies
5
Views
850
Replies
4
Views
672
Top