Vector space basis proof

  • Thread starter flyerpower
  • Start date
  • #1
46
0

Homework Statement


Let S be any non-empty set, F be a field and V={ f : S -> F such that f(x) = 0 } be a vector space over F.
Let f[sub k] (x) : S -> F such that f[sub k] (x) = 1 for k=x, otherwise f[sub k] (x) = 0.

Prove that the set { f [sub k] } with k from S is a basis for the vector space V.

The Attempt at a Solution



I tried to sketch something but i am not sure i'm on the right path.

So, given B={ f [sub k] }, k from S, it is a basis for V if and only if B spans any vector from V and B is linearly independent.

Let g : S -> F be a vector from V, then g(x)=0 and a some scalars from F with i >= 1.

Then B spans g if and only if g = sum ( a * f ).
But g(x) = 0 so 0 = sum ( a * f ), so the vectors f are linearly independent.

So i'd say B is a basis for the vector V, but i'm not sure it's correct because i didn't make use of the definition of the function f.
 
Last edited:

Answers and Replies

  • #2
jgens
Gold Member
1,583
50
I am a little confused by your notation. Which is the correct V:
  • V = {f:S → F | f = 0}
  • V = {f:S → F | f(x0) = 0 for some x0 in S}
 
  • #3
46
0
I am a little confused by your notation. Which is the correct V:
  • V = {f:S → F | f = 0}
  • V = {f:S → F | f(x0) = 0 for some x0 in S}

It's not specified, so i guess it's f(x) = 0 for all x in S.
 
  • #4
jgens
Gold Member
1,583
50
I didn't think of this at first, but that seems to be problematic. For {fk} to be a basis, it needs to be a subset of V. But since V contains only the function that is 0 everywhere and fk is not the zero function, this is a contradiction.

Are you sure that's what is meant by V?
 
  • #5
46
0
This is what concerned me too.
Honestly i don't quite understand the definition of V as it doesn't say anything clear about x in f(x), but, actually i think V is defined such that f(x)=0 for a finite number of elements in S.
 
  • #6
jgens
Gold Member
1,583
50
I think I have it figured out. Use V = {f:S → F | f(x) = 0 for all but finitely many x}. Can you show that {fk} are a basis for V?
 
  • #7
46
0
Well, the definition of V doesn't change the situation, the problem is that i don't know the dimension of V, is it finite?
 
  • #8
jgens
Gold Member
1,583
50
The dimension of V does not matter. With this definition of V you can show that {fk} is a basis. And your proof earlier isn't quite right, so you'll need to improve that for this.
 
  • #9
46
0
Ok, thank you, i'll take one more ride :).
 
  • #10
46
0
I don't understand why V is the set of all functions such that f(x)=0 for a finite number of S.

For example if S={1,2}, does that mean that a vector in S is (f(1),f(2))? with f(1)=0, f(2)=b, with b in F. Or
f(1)=a, f(2)=b, with a,b in F.

The basis is {(f[sub 1](1),f[sub 1](2)),f[sub 2](1),f[sub 2](2))} = {(1,0),(0,1)}.
But i don't understand why f(x) must be 0 for some arbitrary points in S.
 
  • #11
jgens
Gold Member
1,583
50
You are confused because you are not reading things correctly. If you use V = {f:S → F | f(x) = 0 for all but finitely many x} then the {fk} constructed in the posts above are a basis for V.

As for your particular objection, note that if S is finite and f is non-zero everywhere, then f(x) = 0 except at a finite number of points.
 
Last edited:
  • #12
46
0
You're right. I was confused because i thought f and f[sub k] are not the same functions. Now it makes sense, thank you.
 

Related Threads on Vector space basis proof

  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
13
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
8
Views
1K
Replies
5
Views
15K
  • Last Post
Replies
11
Views
7K
  • Last Post
Replies
15
Views
970
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
2
Views
1K
Top