• Support PF! Buy your school textbooks, materials and every day products Here!

Prove set of sequences is a basis

  • Thread starter SMA_01
  • Start date
  • #1
218
0
Let c_00 be the subspace of all sequences of complex numbers that are "eventually zero". i.e. for an element x∈c_00, ∃N∈N such that xn=0,∀n≥n.

Let {e_i}, i∈N be the set where e_i is the sequence in c_00 given by (e_i)_n =1 if n=i and (e_i)_n=0 if n≠i.

Show that (e_i), i∈N is a basis for c_00.

So I need to show it's linearly independent and that it spans c_00. I am not sure how to go about proving this makes it confusing is that it's an infinite set, so I can't use the usual method and take a finite number of vectors.

I have an idea of how to prove linear independence, but not spanning.

Any tips/hints?

Thanks
 

Answers and Replies

  • #2
Zondrina
Homework Helper
2,065
136
Let c_00 be the subspace of all sequences of complex numbers that are "eventually zero". i.e. for an element x∈c_00, ∃N∈N such that xn=0,∀n≥n.

Let {e_i}, i∈N be the set where e_i is the sequence in c_00 given by (e_i)_n =1 if n=i and (e_i)_n=0 if n≠i.

Show that (e_i), i∈N is a basis for c_00.

So I need to show it's linearly independent and that it spans c_00. I am not sure how to go about proving this makes it confusing is that it's an infinite set, so I can't use the usual method and take a finite number of vectors.

I have an idea of how to prove linear independence, but not spanning.

Any tips/hints?

Thanks
Hmm, I think contradiction would be good here.

Suppose that ##\{e_i\}## is not a basis for ##C_∞##.

What does that tell you about ##\{e_i\}##?
 
  • Like
Likes 1 person
  • #3
tiny-tim
Science Advisor
Homework Helper
25,832
250
Hi SMA_01! :smile:
I have an idea of how to prove … but not spanning.
I don't see the difficulty :confused: … for spanning, you need to prove that given any element, there's a finite number of basis elements that it is a linear combination of.
 
  • Like
Likes 1 person
  • #4
218
0
Hi SMA_01! :smile:


I don't see the difficulty :confused: … for spanning, you need to prove that given any element, there's a finite number of basis elements that it is a linear combination of.
What confused me was the fact that c_00 and {e_i} are infinite sets.
 
  • #5
tiny-tim
Science Advisor
Homework Helper
25,832
250
What confused me was the fact that c_00 and {e_i} are infinite sets.
i] they're not sets :confused:

ii] all you have to do is add a finite number of them …

what difficulty would you have adding a finite number of decimal expansions? :smile:
 
  • #6
Zondrina
Homework Helper
2,065
136
I would just like to make a side note that ##\{e_i\}## is a countably infinite set of sequences.

##C_∞## is an infinite dimensional subspace.
 
  • Like
Likes 1 person
  • #7
218
0
i] they're not sets :confused:

ii] all you have to do is add a finite number of them …

what difficulty would you have adding a finite number of decimal expansions? :smile:
Sorry, c_00 is a subspace, but {e_i} is a set.
I understand now though how a finite number of the e_i's span any x in c_00, because x_n=0 for n≥N :smile:
 
  • #8
Zondrina
Homework Helper
2,065
136
Sorry, c_00 is a subspace, but {e_i} is a set.
I understand now though how a finite number of the e_i's span any x in c_00, because x_n=0 for n≥N :smile:
Yes, that's the idea.

Since you know any sequence in ##C_∞## converges to zero (eventually the sequence terminates), it will always be possible to find a finite basis. You can scale this finite basis accordingly to represent any element in ##C_∞##.
 

Related Threads on Prove set of sequences is a basis

Replies
1
Views
706
Replies
1
Views
1K
Replies
1
Views
5K
  • Last Post
Replies
3
Views
7K
  • Last Post
Replies
1
Views
979
  • Last Post
Replies
7
Views
3K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
17
Views
982
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
3K
Top