Vector Spaces, Subspaces, Linear Independence, and Bases
Fundamental Notations and Geometric Vectors
Standard Algebraic Fields:
denotes an arbitrary field.
denotes the field of real numbers.
denotes the field of complex numbers.
denotes the field of rational numbers.
Geometric Definition in Physics:
In physical contexts, a vector is defined as a physical quantity that possesses both magnitude and direction.
Modern linear algebra generalizes this geometric concept to abstract mathematical structures where the elements may not admit a direct physical or visual representation.
Vectors in the Plane ()
Points and Directed Line Segments:
A point in the plane is defined as an ordered pair of real numbers relative to a rectangular coordinate system.
The origin is the coordinate point .
A directed line segment from initial point to endpoint is denoted by .
Equivalence of Directed Line Segments:
Let , , , and be four points in the plane.
The two directed line segments and are defined to be equivalent if:
This relation is an equivalence relation on the set of all directed line segments in the plane:
Reflexivity: , so .
Symmetry: If , then , so .
Transitivity: If and , where and , then: implying .
Canonical Representation of Equivalence Classes:
Every directed line segment is equivalent to a unique directed line segment having the origin as its initial point.
Specifically, if and , then is equivalent to , where .
Each equivalence class of directed line segments is uniquely represented by a directed line segment with its initial point at the origin .
A vector in the plane is defined as the directed line segment with initial point and endpoint .
Because a vector is completely determined by the coordinates of its endpoint, the vector is denoted by .
Operations in the Plane :
The set of all vectors in the plane is denoted by:
Vector Addition (Parallelogram Rule): If and are vectors, their sum is the vector corresponding to the diagonal of the parallelogram formed by and :
Scalar Multiplication: Multiplication of a vector by a real scalar produces a vector of length , pointing in the same direction as if and in the opposite direction if :
Vectors in Space () and -Space ()
Vectors in 3-Space ():
The set of all vectors in three-dimensional space is defined as:
Vector Addition:
Scalar Multiplication:
Analytic Extension to ():
For dimensions , geometric visualization is absent, necessitating a purely analytic definition over an arbitrary field .
Definition of :
Addition in :
Scalar Multiplication in : for all .
Theorem (Algebraic Laws of ):
Let , , and be arbitrary vectors in , and let . The operations satisfy the following ten laws of algebra:
1. Closure under vector addition:
2. Associativity of vector addition:
3. Commutativity of vector addition:
4. Existence of additive identity: There exists a zero element such that .
5. Existence of additive inverse: For each , there exists a vector such that .
6. Closure under scalar multiplication:
7. Distributivity over scalar addition:
8. Distributivity over vector addition:
9. Associativity of scalar multiplication:
Multiplication by identity scalar: , where is the multiplicative identity of .
Axiomatic Definition and Verification of Vector Spaces
Axiomatic Definition of a Vector Space:
A vector space consists of a non-empty set (whose elements are designated as vectors, denoted in lowercase bold) associated with two operations: vector addition () and scalar multiplication () over an arbitrary field , satisfying:
Part A: Closure Conditions:
1. Closure under Vector Addition: For all , the sum belongs to .
2. Closure under Scalar Multiplication: For all and , the product belongs to .
Part B: Operational Axioms:
3. Commutativity of Addition:
4. Associativity of Addition:
5. Associativity of Scalar Multiplication:
6. Existence of Zero Vector: A zero vector exists such that for all .
7. Existence of Additive Inverse: For each , there exists such that .
8. Distributivity of Scalar Multiplication over Vector Addition:
9. Distributivity of Scalar Addition over Scalar Multiplication:
Unitary Scalar Property: for all .
Scope and Generality of Vector Spaces:
Vectors need not be limited to standard coordinate lists from physics. Elements of a vector space may be:
Matrices of dimension
Continuous real-valued functions
Real or complex polynomials
Sets of solutions to differential equations
Canonical Examples of Vector Spaces:
The field of real numbers associated with standard addition and multiplication.
The field of complex numbers associated with complex addition and scalar multiplication.
The set of all real polynomials under polynomial addition and scalar multiplication.
The set of all -dimensional coordinate vectors under standard componentwise operations.
The set of all matrices under matrix addition and scalar multiplication.
The solution set of all functions satisfying the differential equation .
Complete Proof: Space of Real Matrices:
Let be the set of all matrices with real entries:
1. Closure under Addition:
2. Closure under Scalar Multiplication:
3. Commutativity:
4. Associativity of Addition:
5. Associativity of Multiplication:
6. Zero Vector:
7. Negative Vector:
8. Distributivity of Matrix Sums:
9. Distributivity of Scalar Sums:
Multiplication by Unit Scalar:
Continuity and Polynomial Space Proofs:
Continuous Real Functions on :
If and are real continuous functions on and , then is continuous on , and is continuous on .
Closure under addition and scalar multiplication is satisfied, and the remaining 8 axioms are inherited directly from the field properties of real numbers.
Real Polynomials with Degree :
The sum of two polynomials of degree has degree .
The product of a polynomial of degree by a real scalar has degree .
Closure under both operations holds, and algebraic field properties ensure the remaining axioms are satisfied.
Counterexamples (Sets that are NOT Vector Spaces):
Polynomials of Exact Degree :
Not closed under vector addition.
Counterexample: Consider and , both of degree 4.
Adding them yields:
The sum is of degree 2, not degree 4. Hence, the set fails closure under addition and is not a vector space.
Set of Integers () with Real Scalars ():
Not closed under scalar multiplication.
Counterexample: Let and choose real scalar .
The product is . Hence, the set is not a vector space.
Vector Subspaces
Definition of a Subspace:
If is a subset of a vector space , and is itself a vector space under the inherited operations of addition and scalar multiplication defined on , then is called a subspace of .
Subspace Verification Criteria:
To demonstrate that a subset is a subspace of , it is necessary and sufficient to establish:
1. is a non-empty subset of ().
2. The zero vector of belongs to .
3. Closure under addition: For any , .
4. Closure under scalar multiplication: For any and scalar , .
Subspace Verification Examples:
Example 1: Vectors of the Form in :
1. .
2. The zero vector since the second component is 0.
3. Closure under addition: .
4. Closure under scalar multiplication: .
Therefore, is a subspace of .
Example 2: First Quadrant Vectors in :
Let .
While closed under addition, it is not closed under scalar multiplication.
Counterexample: Vector , but for scalar , .
Therefore, is not a subspace of .
Example 3: Plane Passing Through the Origin in :
Let .
1. .
2. because .
3. Closure under addition: Let and be in , so and . Thus, .
4. Closure under scalar multiplication: Let . Then . Thus, .
Therefore, is a subspace of .
Linear Combinations of Vectors
Definition of Linear Combination:
A vector is called a linear combination of vectors if it can be expressed in the form: where are scalars.
Example 1: Expressing a Vector as a Linear Combination:
Express vector in terms of and .
Set up equation:
Equating components gives:
Hence:
Example 2: Determining Non-Representability:
Test whether can be represented by and .
Set up system:
Yielding the equations:
Multiply the first equation by :
Adding both equations produces the contradiction .
The system possesses no solution; hence, cannot be expressed as a linear combination of and .
Example 3: Parameter Values via Matrix Determinants:
Determine values of such that is a linear combination of and .
Set up system:
Yielding the scalar equations:
For this system to have a unique solution for and , the determinant of the coefficient matrix must be nonzero:
Solving the inequality:
Thus, can be expressed as a linear combination for any value of .
Vector Span and Spanning Sets
Definition of Span:
If are vectors in a vector space , the set of all linear combinations of these vectors is a subspace of called the span of the vectors:
The vectors are said to span .
Example 1: Vectors Spanning :
Show that and span .
An arbitrary vector in is denoted by . Set up:
Multiply the first equation by 2:
Add both equations to eliminate :
Substitute back into the first equation to solve for :
Because real scalars and exist for all , the vectors span .
Example 2: Vectors Failing to Span :
Test whether and span .
Set up equation:
Multiply the top equation by 2:
Adding equations gives:
Whenever , no solution exists. Thus, the vectors do not span .
Example 3: Standard Unit Vectors Spanning :
Let , , and .
For any arbitrary vector :
Solutions exist directly as , , and , proving that the vectors span .
Example 4: General Vectors Spanning :
Show that , , and span .
Set up equation:
Solve the system:
Adding the second and third equations gives , so:
Substitute into to solve for :
Complete solution set:
Because unique solutions exist for any real components , the vectors span .
Example 5: Vectors Failing to Span via Row Echelon Form:
Test whether , , and span .
Set up matrix system:
Augmented matrix:
Interchange row 1 and row 2:
Add row 1 to twice row 2 ():
Add row 2 to twice row 3 ():
The third row produces the equation .
The system has no solution whenever . Therefore, these vectors do not span .
Linear Independence and Linear Dependence
Formal Definitions:
A vector is linearly dependent on vectors and if it can be written as , which reorganizes to:
Given a set of vectors , consider the vector equation:
Linearly Independent: The set is linearly independent if and only if the equation has only the trivial solution:
Linearly Dependent: The set is linearly dependent if there exists at least one non-trivial solution (where not all ).
Example 1: Linear Dependence in :
Test vectors and .
Method 1: By scalar observation, , confirming immediate linear dependence.
Method 2: Using the formal definition:
Multiply the top equation by and add to the bottom equation:
Parameterize with free variable for any . Then .
Because infinitely many non-trivial solutions exist, the vectors are linearly dependent.
Example 2: Linear Independence in via Determinants:
Show that , , and are linearly independent.
Form the homogeneous matrix system:
Calculate the determinant of the coefficient matrix:
Because the determinant is nonzero (), the square matrix is invertible and the homogeneous system admits only the trivial solution .
Therefore, the vectors are linearly independent.
Example 3: Parameter Values for Linear Dependence:
Find all values of for which , , and are linearly dependent.
Form the homogeneous matrix system:
Compute determinant along the first row:
For linear dependence, non-trivial solutions must exist, which requires the determinant to equal zero:
Solving yields or .
Example 4: Testing Independence in via Row Reduction:
Test whether , , and are linearly dependent or independent.
Set up matrix equation:
Apply row reduction to echelon form:
This yields the system:
Since the only solution is the trivial solution , the vectors are linearly independent.
Basis, Coordinates, and Dimension of Vector Spaces
Geometric Intuition in 2-Dimensions:
In two-dimensional physics and analytical geometry, any vector can be decomposed using orthogonal unit vectors and as , where and are coordinates relative to basis .
Non-orthogonal extension: Two non-zero vectors and need not be unit vectors or orthogonal. Provided they are not parallel (linearly independent), any vector can be uniquely represented via the parallelogram rule as: where and represent the coordinates of relative to the basis .
Formal Definition of a Basis:
Let be a set of vectors in a vector space . The set is a basis for a subspace of if:
1. The vectors in are linearly independent.
2. The vectors in span the subspace .
Definition of Dimension:
If is a basis for a vector space , the dimension of , denoted , is defined as , the exact number of vectors contained in the basis.
Definition of Coordinates and Coordinate Vectors:
Let be a basis for vector space . If vector is expressed as a linear combination of basis vectors:
The coordinate vector of relative to basis is the column vector:
Example 1: Determining if a Given Set Forms a Basis for :
Determine whether forms a basis for .
Form the homogeneous matrix equation for linear independence:
Augmented matrix:
Add row 1 to row 2, and add row 1 to row 3:
Add times row 3 to row 2:
Multiply row 1 by and row 2 by to obtain row echelon form:
Columns 1 and 2 contain pivots; is a free variable ().
Solving in terms of :
General solution:
Because may assume any real value, an infinite number of non-trivial solutions exist.
The vectors in are linearly dependent and therefore do NOT form a basis for .
Example 2: Dimension and Coordinate Vector Computation:
Let subspace have basis: and let .
(a) Dimension of Subspace :
The basis contains exactly 3 vectors; thus, .
(b) Coordinates of Relative to Basis :
Find constants such that:
Set up augmented matrix:
Row reduce to reduced row echelon form:
The solution yields , , and .
The coordinate vector is:
Example 3: Extracting a Basis from a Spanning Set:
Find a basis for the subspace of spanned by:
Construct a matrix using the spanning vectors as columns:
Reduce to row echelon form:
Pivots reside in columns 1, 2, and 4.
The corresponding original column vectors form a basis for the subspace: