Linear algebra review, part 1: the vector-space vocabulary used throughout the course (part 2 is Matrix Algebra).

Vector Spaces

  • A vector space 𝒱︀ is a collection of objects (“vectors”) 𝐯∈𝒱︀ that satisfy:
    1. ∀𝐯∈𝒱︀, 𝛼𝐯∈𝒱︀, 𝛼∈ℝ
    2. 𝐯1,𝐯2∈𝒱︀⇒𝐯1+𝐯2∈𝒱︀
    3. ∃𝟎∈𝒱︀ such that 𝐯+𝟎=𝐯

Real and Complex n-Space

  • Typically in this class 𝒱︀=ℝ𝑛, for which
    • 𝐯=[𝑣1⋮𝑣𝑛]𝛼𝐯=[𝛼𝑣1⋮𝛼𝑣𝑛]𝐯+𝐰=[𝑣1+𝑤1⋮𝑣𝑛+𝑤𝑛]
  • We will sometimes use 𝒱︀=ℂ𝑛, for which 𝑣𝑘=𝜎𝑘+𝑗𝜔𝑘
  • Will use "𝖳" to denote vectors with horizontal orientation if needed:
    • 𝐯𝖳=[𝑣1,…,𝑣𝑛]

Dot Product

  • Dot product:
    • 𝐯⋅𝐰=𝑣1𝑤1+…+𝑤𝑛𝑣𝑛=∑𝑛𝑘=1𝑣𝑘𝑤𝑘

Subspaces

  • 𝒲︀ is a subspace of 𝒱︀, 𝒲︀⊂𝒱︀, if 𝒲︀ satisfies the vector space axioms in its own right
  • i.e.
    • 𝒲︀={[𝑎𝑏0],𝑎,𝑏∈ℝ}⊂ℝ3

Linear Combinations and Span

  • Linear combination: any expression of the form
    • 𝛼1𝐯1+𝛼2𝐯2+…+𝛼𝑝𝐯𝑝=∑𝑝𝑘=1𝛼𝑘𝐯𝑘𝛼𝑘∈ℝ
    • i.e. a weighted sum of vectors
  • Span: the span of a collection {𝐯𝑘}𝑝𝑘=1 is the set of all possible linear combinations of the vectors in the collection
    • This defines a subspace of 𝒱︀
    • So for example, the 𝒲︀⊂ℝ3 above is
    • 𝒲︀=span{[100],[010]}

Linear Independence and Dimension

  • A collection {𝐯𝑘}𝑝𝑘=1 is linearly independent iff
    • ∑𝑝𝑘=1𝛼𝑘𝐯𝑘=𝟎⇔𝛼𝑘=0𝑘=1,…,𝑝
    • i.e. the only possible linear combination with result 𝟎 is the trivial one, 𝛼1=𝛼2=…=𝛼𝑝=0
  • The dimension of a collection {𝐯𝑘}𝑝𝑘=1 is the maximum number of linearly independent vectors in the collection

Bases

  • A collection {𝐯𝑘} is a basis for 𝒱︀ if
    1. span{𝐯𝑘}=𝒱︀
    2. The collection {𝐯𝑘} is linearly independent
  • ⇔ every 𝐯∈𝒱︀ can be written as a unique linear combination of the vectors in the basis

NOTE

  • A vector space can have ∞ many different bases, but all bases will have the same dimension, which defines the dimension of the vector space itself
  • For ℝ3 we could use
    • {[100],[010],[001]}or{[1−10],[10−1],[0−11]},etc.

Possible slip in notes

  • The second set is transcribed exactly as written, but those three vectors are linearly dependent (𝐯1−𝐯2=𝐯3), so they do not actually span ℝ3. The point stands: any 3 linearly independent vectors form a basis for ℝ3

Natural Basis

  • The first of these is the so-called “natural basis”. Generically, for ℝ𝑛 this is {𝐞𝑘}𝑛𝑘=1 where
    • 𝐞1=[10⋮0]𝐞2=[010⋮0]…𝐞𝑛=[0⋮01]
  • The natural basis is orthonormal:
    • 𝐞𝑖⋅𝐞𝑗={0𝑖≠𝑗1𝑖=𝑗
  • Any nonsingular matrix also defines a basis for ℝ𝑛: see Nonsingular Matrices as a Basis