Vectors and Vector Spaces
---:::note[Historical Context] The vector space was introduced by Giuseppe Peano (1888), building on Grassmann’s Ausdehnungslehre (1844). The modern axiomatic approach was established by Banach (1920). Every vector space has a basis (proved via Zorn’s Lemma, 1935). Vector spaces connect to representation theory, where groups act on vector spaces.
Section titled “---:::note[Historical Context] The vector space was introduced by Giuseppe Peano (1888), building on Grassmann’s Ausdehnungslehre (1844). The modern axiomatic approach was established by Banach (1920). Every vector space has a basis (proved via Zorn’s Lemma, 1935). Vector spaces connect to representation theory, where groups act on vector spaces.”1.1 Definition of a Vector Space
Section titled “1.1 Definition of a Vector Space”A vector space over a field ( or ) is a set equipped With two operations:
- Vector addition:
- Scalar multiplication:
Satisfying the following axioms for all and all :
- Commutativity:
- Associativity of addition:
- Additive identity: There exists such that
- Additive inverse: For each There exists such that
- Compatibility of scalar multiplication:
- Identity element of scalar multiplication:
- Distributivity over vector addition:
- Distributivity over scalar addition:
Intuition. The abstract definition captures the algebraic structure shared by diverse objects: Geometric arrows, polynomials, functions, matrices. The axioms encode exactly what we need for Linear combinations to behave reasonably.
1.2 Examples
Section titled “1.2 Examples”Example 1. with component-wise addition and scalar multiplication is a vector space Over .
Example 2. The set of all polynomials of degree at most with real coefficients, With the usual polynomial addition and scalar multiplication, is a vector space over . Its dimension is With standard basis .
Example 3. The set of all continuous real-valued functions on With point-wise Addition and scalar multiplication, is a vector space over . This space is Infinite-dimensional.
Example 4. The set of all real matrices is a Vector space over .
Example 5 (Function spaces). The set of all functions is a vector space over under point-wise addition and scalar multiplication . The spaces of -times continuously differentiable functions and of square-integrable functions are important subspaces of .
Example 6 (Sequence spaces). The set of all real sequences With is a vector space over . This is the Infinite-dimensional analogue of and is fundamental in functional analysis.
1.3 Subspaces
Section titled “1.3 Subspaces”A subspace of a vector space is a subset that is itself a vector space Under the same operations.
Theorem 1.1 (Subspace Criterion). A non-empty subset is a subspace if and only If for all and all :
- (closed under addition)
- (closed under scalar multiplication)
Proof. If is a subspace, closure is immediate from the definition. Conversely, if is Non-empty and closed under both operations, pick . Then By closure under scalar multiplication, and by closure Under addition. The remaining axioms are inherited from .
Proposition 1.2 (Closure under Linear Combinations). If is a subspace of Then is Closed under all finite linear combinations: for all and All
Proof. We proceed by induction on . For , by closure under Scalar multiplication. Assume the result holds for vectors. Then
By the inductive hypothesis, And by closure under scalar multiplication. Their sum is in by Closure under addition.
Example 7. The set of all solutions to the homogeneous equation forms a Subspace of Called the null space of .
1.4 Worked Example: Verifying Subspace Criteria
Section titled “1.4 Worked Example: Verifying Subspace Criteria”Problem. Determine whether each of the following subsets of is a subspace.
(a)
(b)
(c)
Solution
(a) Let and be in So and . Then
So . For
So . Since is non-empty (e.g., ), it is a subspace.
(b) is not a subspace. For instance, since But since . So is not closed Under scalar multiplication.
(c) Let and be in . Then and . Since It is a non-empty subspace.
1.5 Worked Example: Sum and Intersection of Subspaces
Section titled “1.5 Worked Example: Sum and Intersection of Subspaces”Problem. Let (the -plane) and (the -plane). Find and And verify the dimension formula.
Solution
has basis and . has basis and .
Which has basis and dimension 1.
So .
Verify: .
1.6 Common Pitfalls
Section titled “1.6 Common Pitfalls”- The empty set is not a vector space. The subspace criterion requires the subset to be non-empty. The trivial subspace is the smallest subspace of any vector space.
- Non-homogeneous conditions do not define subspaces. The set of solutions to with is not a subspace (it is an affine subspace, or coset of the null space).
- Closure must hold for all scalars. A set that is closed under addition and multiplication by positive scalars is not necessarily a subspace; it must also be closed under multiplication by .