Lecture 2 - Vector Spaces, Norms, and Cauchy Sequences

Lecture 2 - Vector Spaces, Norms, and Cauchy Sequences

Lecture 2 - Vector Spaces, Norms, and Cauchy Sequences September 13, 2011 Contents 1 Vector Spaces 2 1.1 Definitions . 2 1.2 Examples . 2 1.2.1 The vector space V of lists . 2 1.2.2 The vector space VF of lists that terminate . 3 2 Normed Vector Spaces 3 2.1 Definitions . 3 2.2 Examples . 4 2.2.1 The sup-norm on VF ............................ 4 p 2.2.2 The l norms on VF ............................ 5 3 Banach Spaces 5 3.1 Definitions . 5 3.2 Examples . 6 3.2.1 A Cauchy sequence in (VF ; k · ksup) that is not convergent. 6 3.2.2 A Cauchy sequence in (VF ; k · k2) that is not convergent. 6 1 2 1 3.2.3 A sequence in VF that is Cauchy in the l norm but not the l norm. 7 4 The lp and l1 spaces 8 1 Vector Spaces 1.1 Definitions A set X is called a vector space if it has an addition operation, denoted x + y for x; y 2 X , that satisfies • Closure: x + y 2 V when x; y 2 X • Commutativity: x + y = y + x • An origin: There is an element 0X 2 X with x + 0X = x whenever x 2 X • Additive inverses: If x 2 X , there is some y 2 X with x + y = 0 (this \y" is often denoted −x) and a constant multiplication operation, denoted λ · x (or just λx) for λ 2 R and x 2 X , that satisfies • Clusure: if λ 2 R and x 2 X then λ · x 2 X • Distributivity: λ · (x + y) = λ · x + λ · y when λ 2 R and x; y 2 X • Associativity: λ · (ν · x) = (λν) · x when λ, ν 2 R and x 2 X • Zeros: 0 · x = 0X whenever x 2 X . k The basic examples of vector spaces are the Euclidean spaces R . This is the normal subject of a typical linear algebra course. Even more interesting are the infinite dimensional cases. 1.2 Examples 1.2.1 The vector space V of lists The first example of an infinite dimensional vector space is the space V of lists of real numbers. We define V = f (x1; x2; x3;::: ) j xi 2 R for all i g : (1) 2 Addition is defined pointwise: setting X = (x1; x2;::: ) and Y = (y1; y2;::: ), we define X + Y = (x1 + y1; x2 + y2;::: ) (2) Constant multiplication is likewise defined pointwise: if λ 2 R we define λX = (λx1; λx2;::: ) : (3) It is simple exercise to verify the vector space axioms. 1.2.2 The vector space VF of lists that terminate A second example is the space VF of sequences that eventually terminate in zeros. Specifi- cally, we define VF = f X 2 V j X = (x1; x2;::: ) where only finitely many of the xi are nonzero g : (4) Clearly VF ⊂ V, but VF 6= V. To prove that VF is a vector space in its own right, we only have to prove that the addition operation is closed; when that is proved, the other vector space axioms hold because they hold in the larger space V. That is, if x; y 2 VF , we have to show that x + y 2 VF . But this is simple: assuming X; Y 2 V, they can be expressed as X = (x1; : : : ; xk; 0; 0;::: ) and Y = (y1; : : : ; yl; 0; 0;::: ) (5) where, without loss of generality, we can assume that l ≥ k. Then X + Y = (x1 + y1; : : : ; xk + yk; yk+1; : : : ; y + l; 0; 0;::: ) ; so that X + Y terminates in zeros as well. 2 Normed Vector Spaces 2.1 Definitions Definition. If X is a vector space, a function k · k : X ! R is called a norm on X provided the following hold: i) Positivity: kxk ≥ 0, with equality if and only if x = 0X ii) Compatibility with constant multiplication: kλxk = jλjkxk iii) Triangle inequality: kx + yk ≤ kxk + kyk 3 Definition. A pair (X ; k · k) is called a normed vector space if X is a vector space and k · k is a norm on X . Proposition 2.1 If (X ; k · k) is a normed vector space, then the function d : X × X ! R defined by d(x; y) = kx − yk is a metric on X . Proof. We have to prove that d is positive (except for d(x; x) which we have to prove is zero), that d is symmetric, and that it obeys the triangle inequality. The positivity of d follows directly from that of k · k. Symmetry follows by d(x; y) = kx − yk (6) = k(−1)(y − x)k (7) = j − 1j · ky − xk (8) = ky − xk (9) = d(y; x): (10) Also, d(x; x) = kx−xk = 0. The triangle inequality for d follows from the triangle inequality for k · k. To see this, note d(x; z) = kx − yk (11) = kx − z + z − yk (12) ≤ kx − zk + kz − yk (13) = d(x; y) + d(y; z): (14) 2.2 Examples 2.2.1 The sup-norm on VF We can give VF the following norm. If X 2 VF , we can write X = (x1; x2;::: ) where all but finitely many of the xi are zero. Define kXk = sup fjxijg: (15) i One has to verify the appropriate axioms to prove that k · k is a norm. 4 p 2.2.2 The l norms on VF Given any p, we can define a functional k·kp that takes VF into the reals. If X = (x1; x2;::: ), then we define 1 1 ! p X p kXkp , jxij : (16) i=1 Note that 0 ≤ kXkp < 1 for any p, for any X 2 VF ; the fact that kXkp < 1 can be seen by noting that the sum on the right is a finite sum. We claim that the functional k · kp is a norm as long as 1 ≤ p < 1. This is called p the l -norm on VF . One must verify the three axioms for norms; the only difficult axiom to verify is the triangle inequality. The triangle inequality for the lp-norm is so important that it is given a special name: the Minkowski inequality. Theorem 2.2 (Minkowski's Inequality) If 1 ≤ p < 1, then whenever X; Y 2 VF we have kX + Y kp ≤ kXkp + kY kp: (17) Proof. The proof is a little off the beaten path, so it is in a suplimentary set of notes. 3 Banach Spaces 3.1 Definitions Recall that a norm on a vector space X determines a distance function, so that any normed vector space is also a metric space. Therefore we have the ability to determine if a sequence is a Cauchy sequence. 1 Proposition 3.1 If (X ; k·k) is a normed vector space, then a sequence of points fXigi=1 ⊂ X is a Cauchy sequence iff given any > 0, there is an N 2 N so that i; j > N implies kXi − Xjk < . Proof. Simple exercise in verifying the definitions. A vector spaces will never have a \boundary" in the sense that there is some kind of wall that cannot be moved past. Still, it is not always the case that Cauchy sequences are convergent. It is therefore important to distinguish between those normed vector spaces that are complete and those that are not complete. The former are known as Banach spaces. 5 Definition. A normed vector space (X ; k·k) is called a Banach space if it is complete, in the sense that whenever a sequence is Cauchy with respect to the norm k · k, it is convergent. 3.2 Examples 3.2.1 A Cauchy sequence in (VF ; k · ksup) that is not convergent. Let (VF ; k·ksup) be the vector space of sequences of real numbers that terminate in all zeros, along with the sup-norm. Let Xi 2 VF be the sequence 1 1 1 X = 1; ; ;:::; ; 0;::: (18) i 2 3 i th 1 meaning that the k entry of Xi is k when k ≤ i, and is 0 when k > i. To prove the 1 1 sequence fXigi=1 is Cauchy, choose any > 0, and then select some N > . Then if i; j > N, where without loss of generality we assume j > i, we have 1 1 kXi − Xjksup = 0;:::; 0; − ;:::; − ; 0;::: (19) i + 1 j sup 1 1 = < < . (20) i + 1 N 1 Thus fXigi=1 is Cauchy. To prove that fXig has no limit, assume the contrary: that there is some X 2 VF with X = limi!1 Xi. Write X = (x1; x2;::: ). Since X 2 VF , it eventually terminates in all zeros. Therefore xk = 0 whenever k is large enough, so we can choose a specific k for which th 1 xk = 0. However, whenever n > k, we have that the k entry of Xn is k . Therefore the th 1 k entry of Xn − X is also k , so that 1 kX − Xk ≥ : (21) n sup k This contradicts that eventually kXn − Xksup < . 3.2.2 A Cauchy sequence in (VF ; k · k2) that is not convergent. 2 Recall the l norm: if X = (x1; x2;::: ) 2 VF , then 1 1 ! 2 X 2 kXk2 = jxij : (22) i=1 Again, the sum on the right converges because it is actually a finite sum (as the xi are eventually all zero). Consider the sequence fXig from the previous example, where Xi = 6 1 1 2 (1; 2 ;:::; i ; 0;::: ). To see that Xi is Cauchy with respect to the l norm, we again assume that j > i and compute 1 1 kXi − Xjk2 = 0;:::; 0; − ;:::; − ; 0;::: (23) i + 1 j 2 1 1 j ! 2 1 ! 2 X 1 X 1 = < : (24) k2 k2 k=i+1 k=i+1 P1 1 P1 1 Since the sum k=1 k2 is convergent, the tail k=i+1 k2 can be made as small as desired by choosing i sufficiently large.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    8 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us