proof of the collections of sequences are linear spaces or vector space.

irmctn

[b]1. The problem statement, all variables and given/known data[/b
Lets s denote the collection of all sequences in lR, let m denote the
collection of all bounded sequences in lR, let c denote the collection
of all convergent sequences in lR, and let Co denote the collection of
all sequences in lR which converge to zero.

(a)With the definition of sum given in (*) and the definition of product of
a sequence and real number given by a(xsubn)=(axsubn), show that each of
these collections has the properties of theorem(**). In each case the zero
element is the sequence teta=(0,0,...,0,..). (We sometimes say that these
collections are linear spaces or vector spaces.)



(b) If X=(xsubn) belongs to one of the collections m,c,csub0, define the norm
of X by lXl=sup{lxsubnl:nEN}. Show that thisnorm function has the properties
of (***). (For this reason, we sometimes say that these collections are
normed linear spaces.)




(*)definition:If X=(xsubn) and Y=(ysubn) are sequences in R to p, then we define their
sum to be the sequence X+Y=(xsubn + ysubn) in R to p, their difference
to be thesequence X-Y=(xsubn - xsubn), and their inner product to be the
sequence X.Y=(xsubn.ysubn) in R which is obtained by taking the inner
product of corresponding terms.
Similarly, if X=(xsubn) is a sequence in R
and if Y=(ysubn) is a sequence in R to p, we define the product of X and Y
to be the sequence in R to p denoted by XY=(xsubnysubn).
Finally,if Y=(ysubn) is a sequence in R with ysubn is not equal to 0, we
can define the quotient of a sequence X=(xsubn) in R to p by Y to be the
sequence X/Y=(xsubn/ysubn).


2. Relevant equations



3. The attempt at a solution

HallsofIvy

Okay, what have YOU done on this? I see no attempt at a solution. Also, you talk about "properties of theorem (**)" and "properties of (***) without saying what they are!

irmctn

my project

Attached Files

project math type.doc (96.5 KB, 10 views)

irmctn

in theorem(**) there are properties about vector space
A1) x+y=y+x
A2)(x+y)+z=x+(y+z)
A3)0+x=x and x+0=x
A4) u=(-1)x satisfies x+u=0
M1)1x=x
M2)b(cx)=(bc)x
D)c(x+y)=cx+cy and (b+c)x=bx+cx

irmctn

theorem(***) is the norm properties
(i)lxl>=0;
(ii)lxl=0 iff x=0
(iii)lcxl=lcl lxl
(iv)l lxl-lyl l<=lx+-yl<=lxl+lyl


my problem is i dont`n know how i can explain these properties for a sequence, for example m is collection of all bounded sequences, c is collection of all convergent sequences how i show difference between them?
thanks

HallsofIvy

Here, x is a sequence {x_n} and y is a sequence {x_y}. According to your definitions, x+ y is the sequence {x_n+ y_n} and y+ x is the sequence {y_n+ x_n}. Are those two sequences equal?

With x and y as above, z is the sequence {z_n}. x+ y is the sequence {x_n+ y_n} as before so (x+y)+ z is the sequence {(x_n+ Y_n)+ z_n}. For the same reasons, x+ (y+ z) is the sequence {x_n+ (y_n+ z_n)}. Are those two sequences equal?

There exist 0 such that... Suppose 0 is the sequence {0} (for all n). What is the sequence 0+ x? x+ 0?

If x is the sequence {x_n}, what is (-1)x?

If x is the sequence {x_n}, what is 1x?

If x is the sequence {x_n}, cx is the sequence {cx_n} so b(cx) is the sequence {b(cx_n)} and (bc)x is the sequence {(bc)x_n}. Are those two sequences the same?

If x is the sequence {x_n} and y is the sequence {y_n}. What is c(x+y)? What is cx+ cy? Are they the same?

HallsofIvy

You are told that if x is the sequence {x_n}, |x| is the supremum (least upper bound) of the absolute value all numbers in that sequence. Since these are bounded sequences, that supremum exists.

If x is the sequence {x_n}, |x_n| is never negative so its suprememum can't be negative.

The "if" part should be trivial. If |x|= 0, then 0 is an upper bound for the absolute values of the numbers in the sequence: |x_n<= 0 for all n. But an absolute value cannot be negative

If x is the sequence {x_n}, what is cx? What is |cx| then?

Do you know that |x|- |y|<= |x+ y| for NUMBERS? And so for each term of the sequences {x_n} and {y_n}?


You don't need to show any difference between them.