Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Dimension of the space of real sequences
Replies: 21   Last Post: Nov 19, 2012 10:22 AM

 Messages: [ Previous | Next ]
 quasi Posts: 12,067 Registered: 7/15/05
Re: Dimension of the space of real sequences
Posted: Nov 14, 2012 5:19 AM

José Carlos Santos wrote:
>
>Can someone please tell me how to prove that the real vector
>space of all sequences of real numbers has uncountable
>dimension?

Let V be the set of infinite sequences of real numbers, regarded
as a vector space over R.

For each a in R, let v_a = (e^a,e^(2a),e^(3a),...).

Let S = {v_a | a in R}.

S has the same cardinality as R, hence S is uncountable.

Claim the elements of S are linearly independent over R.

Suppose otherwise.

Let n be the least positive integer such that there exist
n distinct real numbers a_1, ..., a_n such that

v_(a_1), ..., v_(a_n)

are linearly dependent over R.

Without loss of generality assume a_1 < ... < a_n.

Then

(c_1)*(v_(a_1)) + ... + (c_n)*(v_(a_n)) = 0

for some real numbers c_1, ..., c_n.

By minimality of n, it follows that c_1, ..., c_n are
all nonzero.

Then

(c_1)*(v_(a_1)) + ... + (c_n)*(v_(a_n)) = 0

implies

(c_1)*(e^(k*(a_1))) + ... + (c_n)*(e^(k*(a_n))) = 0

for all k in N.

Dividing both sides by e^(k*(a_n)), we get

(c_1)*(e^(k*(a_1 - a_n))) + ... + c_n = 0

for all k in N.

Taking the limit of both sides as k -> oo yields c_n = 0,

Hence the elements of S are linearly independent over R, as
claimed.

It follows that the dimension of V over R is uncountable.

quasi

Date Subject Author
11/13/12 Jose Carlos Santos
11/13/12 Mike Terry
11/14/12 Jose Carlos Santos
11/14/12 Mike Terry
11/13/12 Ken.Pledger@vuw.ac.nz
11/13/12 Virgil
11/14/12 Jose Carlos Santos
11/14/12 Shmuel (Seymour J.) Metz
11/13/12 archimede plutanium
11/14/12 Robin Chapman
11/14/12 David Bernier
11/14/12 Jose Carlos Santos
11/14/12 Robin Chapman
11/14/12 Jose Carlos Santos
11/14/12 quasi
11/14/12 Jose Carlos Santos
11/14/12 W^3
11/15/12 David C. Ullrich
11/15/12 Butch Malahide
11/15/12 W^3
11/18/12 David Bernier
11/19/12 David C. Ullrich