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

Infinite Dimensional Linear Algebra Proof

  • Thread starter *melinda*
  • Start date
86
0
Prove that [itex]$\mathbf{F}$^{\infty}[/itex] is infinite dimensional.

[itex]$\mathbf{F}$^{\infty}[/itex] is the vector space consisting of all sequences of elements of [itex]$\mathbf{F}$[/itex], and [itex]$\mathbf{F}$[/itex] denotes the real or complex numbers.

I was thinking of showing that no list spans [itex]$\mathbf{F}$^{\infty}[/itex], which would mean that it had no basis and therefore could not be finite dimensional.

I'm just not sure if this aproach works, and I'm also a little fuzzy on how to show this.

Another idea I had was to assume that [itex]$\mathbf{F}$^{\infty}[/itex]was finite dimensional and show a contradiction, but again I am unsure of how to actually show this.

Any ideas or input would be much appreciated :smile: !
 

StatusX

Homework Helper
2,563
1
The vectors (1,0,0,...), (0,1,0,...),... are all linearly independent. Does that help?
 

matt grime

Science Advisor
Homework Helper
9,394
3
*melinda* said:
I was thinking of showing that no list spans [itex]$\mathbf{F}$^{\infty}[/itex]
You could show no *finite* list (or just set, unless list specifically means a finite set, but I've not come across that meaning before) is a spanning set.

which would mean that it had no basis
it definitely has basis, it is just not finite dimensional (in fact its dimension is the same as the cardinality of the real numbers).

I have nothing else to add other than follow the hint StatusX gave.
 
86
0
Thanks for all the help!

The book I'm working from does not discuss infinite dimensional vector spaces. It only gives a brief description of [itex]$\mathbf{F}$^{\infty}[/itex] and P(F), the set of all polynomials with coefficents in [itex]$\mathbf{F}$[/itex].

In particular it says, "because no list spans P(F), this vector space is infinite dimensional".

Does this mean that in infinite dimensions all you need for basis is linear independence?
 

StatusX

Homework Helper
2,563
1
A basis is any linearly independent set of vectors that spans the space. There can be smaller lists that are linearly independent and larger lists that span the space, but the fact that a basis must have both properties forces it to have a unique cardinality that is characteristic of the space.
 

matt grime

Science Advisor
Homework Helper
9,394
3
A basis is a linearly independent spanning set. (Note there is no reference to cardinality at all.)

I have no idea why your book would choose the word list. Just think 'set'. No finite set of vectors can possibly span F[x] (which is what you ought to call the set of polynomials over F, not P(F) - I don't think I like this book, and I've not even seen it) or F^{oo}
 
86
0
Ironically, the book is called 'Linear Algebra Done Right' 2nd ed. by Sheldon Axler. I don't exactly love it, but it is what I'll be using this fall so I better get used to it. :rolleyes:
 

Related Threads for: Infinite Dimensional Linear Algebra Proof

Replies
4
Views
2K
Replies
7
Views
3K
Replies
4
Views
3K
  • Posted
Replies
1
Views
2K
  • Posted
Replies
3
Views
13K
  • Posted
Replies
5
Views
1K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top