W214 Linear Algebra Notes - Abstract Vector Spaces

Notes for W214 Linear Algebra

Note for the Student

  • Linear algebra is being revisited from a more abstract, mathematical viewpoint.
  • Abstraction involves removing extraneous detail to focus on the most important features of a problem, aiding in better understanding and broader applicability.
  • Abstract mathematics relies on definitions, theorems, and proofs.
  • Active engagement with the material, including writing down definitions and examples, is essential for learning.
  • When encountering a worked example (A = B), understanding the meanings of both A and B is crucial before considering the question of their equality.

Chapter 1 Abstract vector spaces

1.1 Introduction
1.1.1 Three different sets
  • A set XX in mathematics is a collection of distinct objects, called elements of XX.
  • Set AA is defined as the set of all ordered pairs (x,y)(x, y) where xx and yy are real numbers, represented as A:=(a<em>1,a</em>2):a<em>1,a</em>2RA := {(a<em>1, a</em>2) : a<em>1, a</em>2 ∈ R}.
  • Set BB is the set of all ordered real triples (b<em>1,b</em>2,b<em>3)(b<em>1, b</em>2, b<em>3) satisfying the equation b</em>1b<em>2+b</em>3=0b</em>1 − b<em>2 + b</em>3 = 0, represented as B:=(b<em>1,b</em>2,b<em>3):b</em>1,b<em>2,b</em>3R and b<em>1b</em>2+b3=0B := {(b<em>1, b</em>2, b<em>3) : b</em>1, b<em>2, b</em>3 ∈ R \text{ and } b<em>1 − b</em>2 + b_3 = 0}.
  • Set CC is the set of all polynomials of degree less than or equal to 4, represented as C:=polynomials of degree 4C := {\text{polynomials of degree } ≤ 4}.
1.1.2 Features the sets have in common
  • Addition: In each set, there is a natural addition operation where two elements of the set can be added to get a third element.
    • In set AA, two elements a=(a<em>1,a</em>2)\mathbf{a} = (a<em>1, a</em>2) and a=(a<em>1,a</em>2)\mathbf{a'} = (a'<em>1, a'</em>2) are added as (a<em>1,a</em>2)+(a<em>1,a</em>2):=(a<em>1+a</em>1,a<em>2+a</em>2)(a<em>1, a</em>2) + (a'<em>1, a'</em>2) := (a<em>1 + a'</em>1, a<em>2 + a'</em>2).
    • In set BB, two elements b=(b<em>1,b</em>2,b<em>3)\mathbf{b} = (b<em>1, b</em>2, b<em>3) and b=(b</em>1,b<em>2,b</em>3)\mathbf{b'} = (b'</em>1, b'<em>2, b'</em>3) are added as (b<em>1,b</em>2,b<em>3)+(b</em>1,b<em>2,b</em>3):=(b<em>1+b</em>1,b<em>2+b</em>2,b<em>3+b</em>3)(b<em>1, b</em>2, b<em>3) + (b'</em>1, b'<em>2, b'</em>3) := (b<em>1 + b'</em>1, b<em>2 + b'</em>2, b<em>3 + b'</em>3), ensuring the result satisfies the condition for membership in BB.
    • In set CC, two polynomials are added algebraically by adding their corresponding coefficients: [c<em>4x4+c</em>3x3+c<em>2x2+c</em>1x1+c<em>0]+[d</em>4x4+d<em>3x3+d</em>2x2+d<em>1x1+d</em>0]:=(c<em>4+d</em>4)x4+(c<em>3+d</em>3)x3+(c<em>2+d</em>2)x2+(c<em>1+d</em>1)x1+(c<em>0+d</em>0)[c<em>4x^4 + c</em>3x^3 + c<em>2x^2 + c</em>1x^1 + c<em>0] + [d</em>4x^4 + d<em>3x^3 + d</em>2x^2 + d<em>1x^1 + d</em>0] := (c<em>4 + d</em>4)x^4 + (c<em>3 + d</em>3)x^3 + (c<em>2 + d</em>2)x^2 + (c<em>1 + d</em>1)x^1 + (c<em>0 + d</em>0). Alternitvely, polynomials can be seen as functions.c(x)+d(x)c(x) + d(x).
  • Zero element: Each set has a zero element, 0\mathbf{0}, which when added to another element, leaves that element unchanged.
    • In AA, the zero element is 0:=(0,0)A\mathbf{0} := (0, 0) ∈ A.
    • In BB, the zero element is 0:=(0,0,0)B\mathbf{0} := (0, 0, 0) ∈ B.
    • In CC, the zero element is the zero polynomial 0=0x4+0x3+0x2+0x+00 = 0x^4 + 0x^3 + 0x^2 + 0x + 0.
  • Multiplication by scalars: In each set, elements can be multiplied by any real number, resulting in another element within the set.
    • In AA, if a=(a<em>1,a</em>2)\mathbf{a} = (a<em>1, a</em>2), then k.a=(ka<em>1,ka</em>2)k.\mathbf{a} = (ka<em>1, ka</em>2), where kRk ∈ R.
    • In BB, k(u<em>1,u</em>2,u<em>3):=(ku</em>1,ku<em>2,ku</em>3)k(u<em>1, u</em>2, u<em>3) := (ku</em>1, ku<em>2, ku</em>3).
    • In CC, scalar multiplication is defined as k.[c<em>4x4+c</em>3x3+c<em>2x2+c</em>1x+c<em>0]=kc</em>4x4+kc<em>3x3+kc</em>2x2+kc<em>1x+kc</em>0k.[c<em>4x^4 +c</em>3x^3 +c<em>2x^2 +c</em>1x+c<em>0] = kc</em>4x^4 +kc<em>3x^3 +kc</em>2x^2 +kc<em>1x+kc</em>0.
1.1.3 Features that the sets do not have
  • Set A=R2A = R^2 has a multiplication operation, Set BB and CC do not.
  • Set CC has a “take the derivative” operation, cddxcc \rightarrow \frac{d}{dx}c.
1.1.4 Rules
  • Addition operation in sets AA, BB, and CC satisfies rules like commutativity, a+a=a+aa + a' = a' + a and associativity (x+y)+z=x+(y+z)(x + y) + z = x + (y + z).
1.2 Definition of an abstract vector space

A vector space is a set VV equipped with:

  • D1: An addition operation u,vVu+vVu, v ∈ V \rightarrow u + v ∈ V.
  • D2: A zero vector 0V0 ∈ V.
  • D3: A scalar multiplication operation kR,vVk.vVk ∈ R, v ∈ V \rightarrow k.v ∈ V.

This data should satisfy the following rules for all u,v,wu, v, w belongning to VV and for all real numbers kk and ll:

  • R1: v+w=w+vv + w = w + v
  • R2: (u+v)+w=u+(v+w)(u + v) + w = u + (v + w)
  • R3a: 0+v=v0 + v = v
  • R3b: v+0=vv + 0 = v
  • R4: k.(v+w)=k.v+k.wk.(v + w) = k.v + k.w
  • R5: (k+l).v=k.v+l.v(k + l).v = k.v + l.v
  • R6: k.(l.v)=(kl).vk.(l.v) = (kl).v
  • R7: 1.v=v1.v = v
  • R8: 0.v=00.v = 0
1.3 First example of a vector space
  • The set BB can be shown to be a vector space by defining addition, zero vector, and scalar multiplication and verifying that the conditions R1 – R8 are met.
    • D1. Addition: define u+v\mathbf{u} + \mathbf{v}.
    • D2. Zero vector: define 0B\mathbf{0} ∈ B.
    • D3. Scalar Multiplication: define k.uk.\mathbf{u}.
    • Rules: Check for each rule (R1R1R8R8).
1.4 More examples and non-examples
  • The set Z:=zZ := {z} is a vector space with addition defined as z+z:=zz + z := z, zero element defined as 0:=z0 := z, and scalar multiplication defined as k.z:=zk.z := z.
  • The set Rn:=(x<em>1,x</em>2,,x<em>n):x</em>iR for all i=1...nR^n := {(x<em>1, x</em>2, …, x<em>n) : x</em>i ∈ R \text{ for all } i = 1 . . . n} is a vector space with componentwise addition and scalar multiplication.
  • The set R:=(x1,x2,x3,...):xiR for all i=1,2,3,...R^∞ := {(x1, x2, x3, . . .) : xi ∈ R \text{ for all } i = 1, 2, 3, . . .} is a vector space under componentwise addition and scalar multiplication.
  • The set Fun(X):=f:XRFun(X) := {f : X → R} of real-valued functions on a set XX is a vector space when equipped with addition defined as (f+g)(x):=f(x)+g(x),xX(f + g)(x) := f(x) + g(x), x ∈ X and scalar multiplication defined as (k.f)(x):=kf(x)(k.f)(x) := kf(x).
  • The set Matn,mMat_{n,m} of all n×mn × m matrices is a vector space.
1.5 Some results about abstract vector spaces
  • Lemma 1.5.1: If VV is a vector space with zero vector 0\mathbf{0}, and 00' is a vector in VV satisfying 0+v=v0' + v = v for all vVv ∈ V, then 0=00' = 0.
  • Definition 1.5.2: If VV is a vector space, the additive inverse of a vector vVv ∈ V is defined as v:=(1).v-v := (−1).v
  • Lemma 1.5.3: If VV is a vector space, then for all vVv ∈ V we have v+v=0-v + v = 0 and v+(v)=0v + (−v) = 0.
  • Lemma 1.5.4: Suppose that two vectors ww and vv in a vector space satisfy w+v=0w + v = 0. Then w=vw = −v.
  • Lemma 1.5.5: Let VV be a vector space and kk any scalar. Then k.0=0k.0 = 0.
  • Lemma 1.5.6: Suppose that vv is a vector in a vector space VV and that kk is a scalar. Then k.v=0k=0 or v=0k.v = 0 ⇔ k = 0 \text{ or } v = 0.
1.6 Subspaces
  • A subset UVU ⊆ V of a vector space VV is a subspace if:

    • For all u,uU,u+uU\mathbf{u}, \mathbf{u'} ∈ U, \mathbf{u} + \mathbf{u'} ∈ U
    • 0U\mathbf{0} ∈ U
    • For all scalars kk and all vectors uU,k.uU\mathbf{u} ∈ U, k.\mathbf{u} ∈ U
  • If UU is a subspace of a vector space VV, then with the restricted operations addition and scalar multiplication from VV, UU is also a vector space.

  • Examples of subspaces:

    • A line LL through the origin in R2R^2.
    • Lines and planes in R3R^3.
    • The set 0\mathbb{{0}}.
    • Hyperplanes orthogonal to a fixed vector.
    • Continuous functions Cont(I)Cont(I).
    • Differentiable functions Diff(I)Diff(I).
    • Vector spaces of polynomials PolyPoly and PolynPoly_n.
    • Polynomials in many variables $Poly[x, y] and $Poly_n[x, y].
    • Polynomial vector fields $Vect_n(R^2).
    • Trigonometric polynomials $Trig and $Trig_n.
    • Solutions to homogenous linear differential equations.