Vector Spaces
Overview
Welcome to the foundational chapter on Vector Spaces, a cornerstone of Linear Algebra and an absolutely critical topic for your MSQMS journey at ISI. While seemingly abstract, the concepts introduced here provide the fundamental language and framework for understanding a vast array of mathematical and statistical tools. A strong grasp of vector spaces is indispensable, as it underpins everything from solving systems of linear equations and understanding optimization problems to advanced topics in econometrics, machine learning, and functional analysis. For competitive exams like ISI's entrance, conceptual clarity in this chapter is non-negotiable, as questions often test your ability to apply definitions rigorously and reason about abstract structures.
This chapter will equip you with the essential tools to define, identify, and work with vector spaces. You will learn to recognize the inherent structure within sets of objects that allows for linear operations, which is crucial for representing and manipulating data, understanding solution spaces, and building mathematical models. The ability to articulate and apply the axioms of a vector space, along with understanding how vectors combine and generate entire spaces, is a skill that will be repeatedly tested and required throughout your curriculum.
Mastering these initial concepts is not just about memorizing definitions; it's about developing a robust problem-solving intuition that is highly valued at ISI. The problems you encounter will often require you to bridge the gap between abstract definitions and concrete examples, demanding both precision and flexibility in your mathematical thinking. A solid foundation in vector spaces will significantly ease your progression through subsequent chapters on basis, dimension, linear transformations, and inner product spaces, directly impacting your performance in examinations and future research.
---
Chapter Contents
| # | Topic | What You'll Learn |
|---|-------|-------------------|
| 1 | Definition of Vector Space | Axioms defining algebraic structure. |
| 2 | Linear Combinations and Span | Building and generating sets of vectors. |
| 3 | Subspaces | Identifying structured subsets within vector spaces. |
---
Learning Objectives
After studying this chapter, you will be able to:
- Formally define a vector space over a field and verify its ten axioms.
- Construct linear combinations of vectors and determine the span of a given set of vectors.
- Identify and prove whether a given subset of a vector space is a subspace.
- Apply the fundamental definitions to analyze properties of sets of vectors.
---
Now let's begin with Definition of Vector Space...
## Part 1: Definition of Vector Space
Introduction
In linear algebra, the concept of a vector space is fundamental. It generalizes the familiar idea of vectors in two-dimensional or three-dimensional space to a broader, more abstract setting. Essentially, a vector space is a collection of objects, called vectors, that can be added together and multiplied ("scaled") by numbers, called scalars, satisfying certain conditions.Understanding vector spaces is crucial for ISI as it forms the bedrock for advanced topics like linear transformations, eigenvalues, eigenvectors, and inner product spaces, which are frequently tested. This topic allows us to analyze various mathematical structures, from sets of real numbers to spaces of polynomials and functions, under a unified framework.
A vector in is an ordered -tuple of real numbers. It can be represented as a row vector or a column vector:
where for .
---
Key Concepts
#
## 1. Vectors in : Basic Operations and Properties
Before delving into the abstract definition, let's review concrete examples of vectors in , which serve as the primary motivation for the abstract concept.
#
### a. Vector Addition and Scalar Multiplication in
If and are vectors in , and is a scalar (a real number), then:
Vector Addition:
Scalar Multiplication:
#
### b. Magnitude of a Vector
The magnitude (or length or norm) of a vector in is denoted by and is calculated as:
Variables:
- is the vector.
- are the components of the vector.
When to use: To find the length or norm of a vector in Euclidean space.
An important property derived from the dot product (explained next) is that the square of the magnitude of a vector is equal to its dot product with itself:
#
### c. Unit Vectors
A unit vector is a vector with a magnitude of 1. If is any non-zero vector, then the unit vector in the direction of , denoted by , is given by:
Worked Example:
Problem: Find the unit vector in the direction of .
Solution:
Step 1: Calculate the magnitude of .
Step 2: Divide the vector by its magnitude to find the unit vector.
Answer:
#
### d. Dot Product (Scalar Product)
The dot product is an operation that takes two vectors and returns a scalar.
For and in :
Variables:
- , are the vectors.
- are their respective components.
When to use: To compute the scalar product of two vectors, or to find the magnitude of a vector ().
For two non-zero vectors and and is the angle between them:
Variables:
- , are the vectors.
- , are their magnitudes.
- is the angle between the vectors ().
When to use: To find the angle between two vectors, or to check for orthogonality (). - , are their magnitudes.
Properties of Dot Product:
Let be vectors in and be a scalar.
---
#
## 2. Field of Scalars
A vector space is always defined over a field of scalars. A field is a set with two operations (addition and multiplication) that satisfy certain axioms (associativity, commutativity, distributivity, existence of identity elements, and inverses for non-zero elements). Common fields in linear algebra are:
- The set of real numbers, .
- The set of complex numbers, .
- The set of rational numbers, .
Throughout this topic, we will denote the field of scalars as .
---
#
## 3. Abstract Definition of a Vector Space
A vector space over a field is a set (whose elements are called vectors) together with two operations:
- Vector Addition: An operation that takes two vectors and produces another vector .
- Scalar Multiplication: An operation that takes a scalar and a vector and produces another vector .
These two operations must satisfy the following ten axioms for all and all :
Axioms for Vector Addition:
- Closure under Addition: For any , the sum is in .
- Commutativity of Addition: .
- Associativity of Addition: .
- Existence of Zero Vector: There exists a unique zero vector such that for all .
- Existence of Additive Inverse: For every , there exists a unique vector such that .
Axioms for Scalar Multiplication:
- Closure under Scalar Multiplication: For any and , the product is in .
- Distributivity over Vector Addition: .
- Distributivity over Scalar Addition: .
- Associativity of Scalar Multiplication: .
- Multiplicative Identity: For the multiplicative identity , for all .
- Closure under Scalar Multiplication: For any and , the product is in .
- Closure under Addition: For any , the sum is in .
---
#
## 4. Properties Derived from Axioms
Several important properties can be deduced directly from the ten axioms:
---
#
## 5. Examples of Vector Spaces
Here are some common examples of vector spaces:
For example, .
- Vector Addition:
- Scalar Multiplication:
-
-
---
Problem-Solving Strategies
To check if a given set with operations is a vector space:
- Identify the set and the field .
- Check Closure: Verify that vector addition and scalar multiplication always result in elements within . This is often the first and easiest check.
- Check Zero Vector and Additive Inverse: Ensure the zero vector exists in and that every vector has an additive inverse in . If these specific elements are not in , it's not a vector space.
- Other Axioms: The remaining axioms (commutativity, associativity, distributivity, multiplicative identity) often hold if the underlying operations are standard for numbers, functions, or matrices. Focus on verifying them if the operations are non-standard.
---
Common Mistakes
- ❌ Assuming closure: Not explicitly checking if the sum of two vectors or a scalar multiple of a vector remains within the given set. Many times, a subset of a known vector space fails to be a vector space because it's not closed under addition or scalar multiplication (e.g., vectors with positive components, polynomials of exact degree ).
- ❌ Confusing the zero scalar with the zero vector: is a number, is an element of the vector space.
✅ Understand that and .
- ❌ Incorrectly applying magnitude/dot product formulas: Especially when dealing with vector differences, remember that . ✅ Expand dot products carefully using distributive properties: .
---
Practice Questions
:::question type="MCQ" question="Let and be two vectors in such that , , and the angle between them is . What is the magnitude of the vector ?" options=["","","",""] answer="" hint="Use the property and the geometric definition of the dot product." solution="Let .
Step 1: Expand the dot product.
Step 2: Use the geometric definition of the dot product .
Given , , and .
Step 3: Substitute the values into the expanded expression.
Step 4: Find the magnitude.
:::
:::question type="NAT" question="Consider the set . With standard vector addition and scalar multiplication, is a vector space over ? If not, how many of the 10 axioms for a vector space are violated?" answer="2" hint="Check each axiom, focusing on closure under scalar multiplication and the existence of additive inverses." solution="Let's check the axioms for over .
Axiom 1 (Closure under Addition): Let and be in . Then and .
. Since and , . So, . (Satisfied)
Axiom 2 (Commutativity): Holds for standard addition in . (Satisfied)
Axiom 3 (Associativity): Holds for standard addition in . (Satisfied)
Axiom 4 (Existence of Zero Vector): The zero vector in is . For , the first component is , so . (Satisfied)
Axiom 5 (Existence of Additive Inverse): Let , so . The additive inverse would be . For to be in , we need . This implies . Since we already have , this means must be . So, only vectors of the form have an additive inverse in . For example, if , then because . (Violated)
Axiom 6 (Closure under Scalar Multiplication): Let and , so .
. For to be in , we need .
If , then is true.
However, if (e.g., ), then . If , then , so . For example, if and , then . (Violated)
Axiom 7 (Distributivity over Vector Addition): Holds for standard operations. (Satisfied)
Axiom 8 (Distributivity over Scalar Addition): Holds for standard operations. (Satisfied)
Axiom 9 (Associativity of Scalar Multiplication): Holds for standard operations. (Satisfied)
Axiom 10 (Multiplicative Identity): holds for standard operations. (Satisfied)
Two axioms are violated: Axiom 5 (Existence of Additive Inverse) and Axiom 6 (Closure under Scalar Multiplication)."
:::
:::question type="MSQ" question="Which of the following sets, with standard addition and scalar multiplication, are vector spaces over ?" options=["A. The set of all matrices with real entries.","B. The set of all polynomials of degree exactly 3 with real coefficients.","C. The set of all functions such that .","D. The set of all vectors such that ."] answer="A,C" hint="For (B) and (D), consider if the zero vector is included and if closure under addition holds." solution="Let's analyze each option:
A. The set of all matrices with real entries.
This is . As discussed in the examples, this is a standard vector space over with standard matrix addition and scalar multiplication. All 10 axioms are satisfied.
(Correct)
B. The set of all polynomials of degree exactly 3 with real coefficients.
Let be this set.
- Zero Vector: The zero polynomial has degree (or is not assigned a degree), not exactly 3. Thus, the zero vector is not in the set. (Axiom 4 violated)
- Closure under Addition: Let and . Both are in .
(Incorrect)
C. The set of all functions such that .
Let .
- Closure under Addition: Let . Then and .
- Closure under Scalar Multiplication: Let and . Then .
- Zero Vector: The zero function for all satisfies , so it's in . (Satisfied)
- Additive Inverse: If , then . Then . So . (Satisfied)
(Correct)
D. The set of all vectors such that .
Let .
- Zero Vector: The zero vector is . For this vector, . So, the zero vector is not in . (Axiom 4 violated)
- Closure under Addition: Let and . Both are in since and .
. For this vector, . So, . (Axiom 1 violated)
(Incorrect)"
::::::question type="SUB" question="Prove that for any vector in a vector space over a field , the additive inverse is unique." answer="Proof shows that if there are two additive inverses, they must be equal." hint="Assume there are two additive inverses, say and , and use the axioms of a vector space to show they must be the same." solution="Proof:
Assume that for a given vector , there exist two additive inverses, and .Step 1: By the definition of an additive inverse (Axiom 5), we have:
Step 2: Consider the sum .
We know that , so substituting this:Step 3: By the property of the zero vector (Axiom 4), .
So, we have:Step 4: Now, let's use the associativity of vector addition (Axiom 3) on the left side:
Step 5: From Step 1, we know that . By commutativity of addition (Axiom 2), .
Substitute this into the equation from Step 4:Step 6: By the property of the zero vector (Axiom 4), .
Therefore:
This shows that any two additive inverses for must be equal, hence the additive inverse is unique."
:::---
Summary
❗ Key Takeaways for ISI- Understand the 10 Axioms: Be able to list and explain each axiom defining a vector space. Many problems involve checking if a given set with operations satisfies these axioms.
- Basic Vector Algebra: Be proficient with operations like magnitude, dot product, and unit vectors in , as these are foundational and frequently tested in ISI.
- Field of Scalars: A vector space is always defined over a field. The choice of field (e.g., vs. ) impacts the properties and dimension of the vector space.
- Common Examples: Recognize standard vector spaces such as , , , and .
- Non-Examples: Be able to identify why a set is not a vector space, often due to failure of closure, lack of a zero vector, or absence of additive inverses.
---
What's Next?
💡 Continue LearningThis topic connects to:
- Subspaces: A subset of a vector space that is itself a vector space under the same operations. Understanding the definition of a vector space is crucial for identifying subspaces.
- Linear Combinations and Span: These concepts build directly upon vector addition and scalar multiplication, forming the basis for understanding how vectors generate a space.
- Linear Dependence and Independence: Essential for defining bases and dimension, which are core properties of vector spaces.
Master these connections for comprehensive ISI preparation!---
💡 Moving ForwardNow that you understand Definition of Vector Space, let's explore Linear Combinations and Span which builds on these concepts.
---
Part 2: Linear Combinations and Span
Introduction
Linear combinations and span are fundamental concepts in linear algebra, forming the building blocks for understanding vector spaces. They describe how new vectors can be constructed from existing ones and define the extent or "reach" of a set of vectors within a vector space. Mastering these ideas is crucial for grasping more advanced topics like linear independence, basis, and dimension, which are frequently tested in ISI. This section will cover the essential definitions, properties, and applications of linear combinations and span.📖 Linear CombinationA vector is called a linear combination of vectors if it can be expressed in the form:
where are scalars (real numbers). These scalars are called the coefficients of the linear combination.
---
Key Concepts
#
## 1. Linear CombinationA linear combination is essentially a sum of scalar multiples of vectors. It allows us to generate new vectors from a given set of vectors.
📐 General Form of a Linear CombinationVariables:
- = the resulting vector
- = scalar coefficients
- = vectors from the given set
When to use: To express a vector as a weighted sum of other vectors or to understand how a set of vectors can generate new vectors.Worked Example:
Problem: Express the vector as a linear combination of and .
Solution:
Step 1: Set up the equation for the linear combination.
We need to find scalars and such that .
Step 2: Form a system of linear equations.
This gives the system:
Step 3: Solve the system of equations.
From the second equation, . Substitute this into the first equation:
Now find :
Check with the third equation:
. This does not match 4.
This means that cannot be expressed as a linear combination of and . The problem statement implies it can be expressed, but my calculation shows it cannot. This is a good learning point: not all vectors can be expressed as a linear combination of any given set. Let's re-evaluate the problem or assume it's a solvable one.Let's assume the problem meant: "Find if the vector is a linear combination of and ."
Since the system is inconsistent, the answer is NO.Answer: The vector cannot be expressed as a linear combination of and .
---
#
## 2. Span of a Set of VectorsThe span of a set of vectors is the collection of all possible vectors that can be formed by taking linear combinations of those vectors.
📖 Span of a Set of VectorsLet be a set of vectors in a vector space . The span of , denoted as or , is the set of all possible linear combinations of the vectors in .
The span of any non-empty set of vectors in is always a subspace of .
Geometric Interpretation:
- The span of a single non-zero vector in or is a line passing through the origin.
- The span of two non-collinear vectors in is a plane passing through the origin.
- The span of three non-coplanar vectors in is the entire space .
Checking if a Vector is in the Span:
To determine if a vector is in the span of a set of vectors , we try to express as a linear combination of the vectors in . This involves setting up and solving a system of linear equations. If the system has a solution (consistent), then is in the span; otherwise (inconsistent), it is not.Worked Example:
Problem: Determine if is in the span of .
Solution:
Step 1: Set up the linear combination equation.
We need to find scalars such that .
Step 2: Form the system of linear equations.
This gives the system:
Step 3: Check for consistency.
Substitute the values of and from the first two equations into the third equation:
Step 4: Compare with the right-hand side.
Since , the system is inconsistent.
Answer: The vector is not in the span of .
---
#
## 3. Spanning SetA set of vectors is called a spanning set for a vector space if every vector in can be written as a linear combination of the vectors in . In other words, if .
Example:
The standard basis vectors where , , form a spanning set for . Any vector in can be written as .---
Problem-Solving Strategies
💡 Checking Vector Membership in SpanTo determine if a vector is in the span of a set of vectors :
- Form the augmented matrix: Create an augmented matrix .
- Row Reduce: Perform row operations to bring the matrix to row echelon form or reduced row echelon form.
- Check Consistency:
If the system is consistent (no row of the form where ), then is in the span.
If the system is inconsistent (such a row exists), then is not in the span.---
Common Mistakes
⚠️ Avoid These Errors- ❌ Confusing linear combination with simple vector addition/scalar multiplication: A linear combination involves both scalar multiplication and vector addition.
- ❌ Incorrectly setting up the system of equations: For , ensure each component of corresponds to the sum of the respective components of the scalar-multiplied vectors.
- ❌ Assuming a vector is in the span just because the number of vectors matches the dimension: E.g., two vectors in don't always span if they are collinear.
---
Practice Questions
:::question type="MCQ" question="Which of the following vectors is a linear combination of and ?" options=["A) ","B) ","C) ","D) Both A and C"] answer="D) Both A and C" hint="A vector is a linear combination if it can be written as . Also consider the zero vector." solution="A) For , we can write . So A is a linear combination.
B) is a 3-dimensional vector, while and are 2-dimensional. A linear combination must be in the same vector space. So B is not.
C) For , we can write . The zero vector can always be expressed as a linear combination of any set of vectors. So C is a linear combination.
Therefore, both A and C are correct."
::::::question type="NAT" question="If where , , and , what is the value of ?" answer="3.0" hint="Set up a system of equations and solve for and ." solution="We have the equation .
This expands to the system:
(Equation 1)
(Equation 2)Add Equation 1 and Equation 2:
Substitute into Equation 1:
The value of is .
Wait, re-checking the calculation.
Adding: .
Substitute into .
.The expected answer is 3.0. Let me adjust the question or the solution.
Let's change toIf :
(Eq 1)
(Eq 2)
Add (1) and (2): .
Substitute into (1): .
. Still not 3.Let's try to make .
Say .
Then .
So, if , then .New question: If where , , and , what is the value of ?
Solution:
We have the equation .
This expands to the system:
(Equation 1)
(Equation 2)Add Equation 1 and Equation 2:
Substitute into Equation 1:
The value of is .
"
::::::question type="MSQ" question="Let . Which of the following statements are true about ?" options=["A) is the entire .","B) is a line passing through the origin.","C) The vector is in .","D) The vector is in . "] answer="B,C" hint="Analyze the nature of the vectors in . They are collinear. Consider what types of linear combinations can be formed." solution="A) The vectors in are and . Notice that . This means the vectors are linearly dependent and span the same space as a single vector . The span of a single non-zero vector in is a line. Thus, is not the entire . So A is false.
B) As explained above, since the vectors are collinear, their span is a line passing through the origin (the x-axis in this case). So B is true.
C) The vector can be written as . So it is in . So C is true.
D) The vector has a non-zero y-component. Any linear combination of vectors in will have a y-component of . Thus, cannot be formed. So D is false.
"
::::::question type="SUB" question="Prove that the span of any non-empty set of vectors in a vector space is a subspace of ." answer="Proof showing closure under vector addition and scalar multiplication, and containing the zero vector." hint="Recall the three conditions for a set to be a subspace: contains the zero vector, closed under vector addition, and closed under scalar multiplication." solution="To prove that is a subspace of , we must show it satisfies the three subspace criteria:
- Contains the zero vector:
- Closed under vector addition:
- Closed under scalar multiplication:
- Linear Combination: A vector is a linear combination of if for some scalars .
- Span: The span of a set of vectors is the set of all possible linear combinations of vectors in .
- Subspace Property: The span of any non-empty set of vectors is always a subspace.
- Membership Check: To check if a vector is in the span of , set up the augmented matrix and check for consistency (no row like with ).
- Linear Independence: Understanding linear combinations is a prerequisite for defining linear independence. A set of vectors is linearly independent if the only way to form the zero vector as a linear combination is with all zero coefficients.
- Basis: A basis for a vector space is a linearly independent set of vectors that also spans the entire space.
- Dimension: The dimension of a vector space is the number of vectors in any basis for that space.
- Contains the Zero Vector: The zero vector of , , is in .
- Closed Under Vector Addition: For any two vectors and in , their sum is also in .
- Closed Under Scalar Multiplication: For any vector in and any scalar in , the scalar product is also in .
- For any two vectors , .
- For any vector and any scalar , .
- Zero Vector: Since and are subspaces, and . Thus, .
- Closure under Addition: Let . Then and . Since and are subspaces, and . Thus, .
- Closure under Scalar Multiplication: Let and be a scalar. Then and . Since and are subspaces, and . Thus, .
- Zero Vector: . So .
- Closure under Addition: Let and be two vectors in . Then , which is also a linear combination of vectors in , hence in .
- Closure under Scalar Multiplication: Let and be a scalar. Then , which is also a linear combination of vectors in , hence in .
- Quick Check (Zero Vector): First, check if . If not, is NOT a subspace. This is often the quickest way to rule out a set.
- Combine Conditions (Linear Combination): Instead of checking addition and scalar multiplication separately, you can combine them into one step:
- Identify Patterns: Look for common patterns that define subspaces: homogeneous linear equations (), span of a set of vectors, etc. These are almost always subspaces.
- ❌ Forgetting the Zero Vector Check: Many students jump straight to closure properties. If , it's not a subspace, regardless of other properties.
- ❌ Assuming Union is a Subspace: Incorrectly assuming that if and are subspaces, then must also be a subspace.
- ❌ Confusing Span with Original Set: Thinking that the set itself is a subspace.
- ❌ Incorrectly Applying Conditions for Functions/Matrices: When working with vector spaces of functions or matrices, ensure you apply the conditions correctly to those specific types of vectors. For example, for matrices, the zero vector is the zero matrix.
- Subspace Definition: A subset of a vector space is a subspace if it contains the zero vector, is closed under vector addition, and is closed under scalar multiplication.
- Subspace Test Efficiency: Always check for the zero vector first. The combined test () can be more efficient for closure.
- Intersection vs. Union: The intersection of any two (or more) subspaces is always a subspace. The union of two subspaces is generally NOT a subspace unless one is contained within the other.
- Span is a Subspace: The span of any set of vectors is always a subspace. It is the smallest subspace containing those vectors.
- Common Non-Subspaces: Sets not containing the origin (zero vector), or sets defined by non-linear equations, or sets that restrict values to be positive (like first quadrant) are common non-subspaces.
- Basis and Dimension: Subspaces have their own bases and dimensions, which are crucial for characterizing them. Understanding subspaces is essential before defining basis.
- Linear Transformations: The range (image) and null space (kernel) of a linear transformation are important examples of subspaces, directly related to the transformation's properties.
- Fundamental Subspaces of a Matrix: Row space, column space, and null space are fundamental subspaces associated with a matrix, providing deep insights into the matrix's properties and the solutions to linear systems.
- Definition of a Vector Space: A vector space over a field (typically or for ISI) is a non-empty set equipped with two operations: vector addition () and scalar multiplication (), satisfying 10 axioms. You must be able to state and verify these axioms for a given set and operations.
- Linear Combinations: A linear combination of vectors is an expression of the form , where are scalars. This concept is fundamental to understanding span and linear independence.
- Span of a Set: The span of a non-empty set of vectors , denoted , is the set of all possible linear combinations of the vectors in . It is always a subspace of , and it is the smallest subspace containing .
- Subspaces: A non-empty subset of a vector space is a subspace if it is closed under vector addition and scalar multiplication. This means:
- Trivial Subspaces: Every vector space has at least two subspaces: the zero subspace (containing only the zero vector) and the space itself.
- Identifying Vector Spaces and Subspaces: Be proficient in determining whether a given set with operations forms a vector space, or if a subset forms a subspace. This often involves checking the closure properties and the presence of the zero vector.
- Foundational Importance: The concepts introduced in this chapter (vector spaces, linear combinations, span, subspaces) are the bedrock of all advanced topics in Linear Algebra. A solid understanding here is critical for succeeding in subsequent chapters like Linear Independence, Basis & Dimension, and Linear Transformations.
- Zero vector: The zero matrix is symmetric (), so .
- Closure under addition: If , then and .
- Closure under scalar multiplication: If and , then . So, .
- Zero vector: , so .
- Closure under addition: Consider and .
- Zero vector: , so .
- Closure under addition: If , then and .
- Closure under scalar multiplication: If and , then . So, .
- Zero vector: , so .
- Closure under addition: If , then and .
- Closure under scalar multiplication: If and , then .
- " answer="2" hint="For each subset, check the three conditions for a subspace: contains the zero vector, closed under addition, and closed under scalar multiplication. Pay close attention to conditions that might fail for scalar multiplication with negative numbers, or for addition." solution="We need to check each subset against the three subspace criteria: contains the zero vector, closed under addition, and closed under scalar multiplication. The zero vector in is the function for all .
We can choose all scalar coefficients .
Since the zero vector can be expressed as a linear combination of vectors in , it belongs to .
Let and be any two vectors in .
Then and can be written as linear combinations of vectors in :
where are scalars.
Now, consider their sum:
Since are also scalars, is a linear combination of vectors in . Thus, .
Let be a vector in and be any scalar.
Then can be written as:
Now, consider :
Since are also scalars, is a linear combination of vectors in . Thus, .
Since all three conditions are met, is a subspace of ."
:::
---
Summary
---
What's Next?
This topic connects to:
Master these connections for comprehensive ISI preparation!
---
Now that you understand Linear Combinations and Span, let's explore Subspaces which builds on these concepts.
---
Part 3: Subspaces
Introduction
In linear algebra, the concept of a subspace is fundamental to understanding the structure of vector spaces. A subspace is essentially a vector space within a larger vector space, inheriting many of its properties. It allows us to break down complex vector spaces into simpler, more manageable components, which is crucial for solving systems of linear equations, understanding transformations, and analyzing data in higher dimensions.For ISI, understanding subspaces is key to grasping concepts like basis, dimension, and the fundamental subspaces associated with matrices. This topic forms the bedrock for advanced topics in linear algebra.
A vector space over a field (typically or ) is a set of objects called vectors, equipped with two operations: vector addition and scalar multiplication, satisfying ten axioms.
---
Key Concepts
#
## 1. Definition of a Subspace
A subset of a vector space over a field is called a subspace of if itself is a vector space under the operations of vector addition and scalar multiplication defined on .
To verify if a subset is a subspace, we don't need to check all ten vector space axioms. Instead, we use a more concise test.
A non-empty subset of a vector space over a field is a subspace of if and only if it satisfies the following three conditions:
A non-empty subset of a vector space is a subspace if and only if:
This implicitly covers the zero vector condition because if is non-empty, pick any . Then must be in by closure under scalar multiplication.
Worked Example:
Problem: Determine if the set is a subspace of .
Solution:
Step 1: Check if contains the zero vector.
The zero vector in is . If , then . So, .
Condition 1 is satisfied.
Step 2: Check for closure under vector addition.
Let and be two arbitrary vectors in .
This means and .
Consider their sum .
We need to check if .
Substitute and :
The sum satisfies the condition for . So, .
Condition 2 is satisfied.
Step 3: Check for closure under scalar multiplication.
Let be an arbitrary vector in , so . Let be any scalar in .
Consider the scalar product .
We need to check if .
Substitute :
The scalar product satisfies the condition for . So, .
Condition 3 is satisfied.
Answer: Since all three conditions are met, is a subspace of .
---
#
## 2. Examples of Subspaces
* Trivial Subspaces: For any vector space , the set containing only the zero vector, , is a subspace. Also, itself is always a subspace of .
* Lines through the Origin: In or , any line passing through the origin is a subspace. For example, .
* Planes through the Origin: In , any plane passing through the origin is a subspace. For example, .
* Polynomials of Degree at Most : The set of all polynomials of degree at most is a subspace of , the vector space of all polynomials.
* Continuous Functions: The set of all continuous functions on the interval is a subspace of , the vector space of all functions on .
#
## 3. Non-Examples of Subspaces
* Sets Not Containing the Zero Vector: Any set that does not include the zero vector cannot be a subspace. For example, (does not contain ).
* Sets Not Closed Under Addition/Scalar Multiplication:
* (the first quadrant). It contains and is closed under addition, but not under scalar multiplication (e.g., , but ).
* (the parabola). It contains . Let and . Both are in . But , which is not in as .
---
#
## 4. Intersection of Subspaces
If and are two subspaces of a vector space , then their intersection is also a subspace of .
Proof Sketch:
Therefore, is a subspace. This property extends to any finite or infinite collection of subspaces.
#
## 5. Union of Subspaces
The union of two subspaces is generally not a subspace.
Counterexample:
Let .
Let (the x-axis) be a subspace of .
Let (the y-axis) be a subspace of .
Consider their union .
Take and .
Their sum is .
However, (since ) and (since ).
Therefore, .
Since is not closed under addition, it is not a subspace.
#
## 6. Span of a Set of Vectors
Let be a non-empty set of vectors in a vector space . The span of , denoted by or , is the set of all possible linear combinations of the vectors in .
The span of any non-empty set of vectors from a vector space is always a subspace of . It is the smallest subspace of that contains all the vectors in .
Proof Sketch:
---
Problem-Solving Strategies
When asked to determine if a set is a subspace of :
For any and any scalar , check if .
If this holds, then is a subspace (assuming ).
If , it shows closure under addition.
If (which must be in ), it shows closure under scalar multiplication.
---
Common Mistakes
---
Practice Questions
:::question type="MCQ" question="Which of the following sets is NOT a subspace of ?" options=["A. The set of all vectors such that .","B. The set of all vectors such that and .","C. The set of all vectors such that .","D. The set of all vectors such that and ."] answer="C. The set of all vectors such that ." hint="Test the zero vector condition first for each option." solution="Let's check each option using the subspace test:
A.
- Zero vector: , so .
- Addition: If , then and . Their sum is . Sum of components is . So closed under addition.
- Scalar multiplication: If and , then . The scalar multiple is . Sum of components is . So closed under scalar multiplication.
is a subspace.
B.
- Zero vector: For , and . So .
- Addition: Let . Then and .
Sum is .
.
.
So closed under addition.
- Scalar multiplication: Let and . Then .
Scalar multiple is .
.
.
So closed under scalar multiplication.
is a subspace.
C.
- Zero vector: For , . So .
Since it does not contain the zero vector, is NOT a subspace.
D.
- Zero vector: and . So .
- This set can be written as and . So it's a line through the origin, which is a known type of subspace.
is a subspace.
The correct option is C."
:::
:::question type="NAT" question="Consider the vector space of all polynomials of degree at most 2. Let . What is the dimension of ?" answer="1" hint="A polynomial has roots at and . This means and are factors." solution="A polynomial can be written as .
The conditions are and .
We have a system of linear equations:
Subtract equation (1) from equation (2):
Substitute into equation (1):
So, any polynomial in must be of the form:
This means .
The set is spanned by the single polynomial .
Since is not the zero polynomial, it is linearly independent.
Thus, forms a basis for .
The dimension of is the number of vectors in its basis.
Dimension of ."
:::
:::question type="MSQ" question="Let and be subspaces of a vector space . Which of the following statements are always true?" options=["A. is a subspace of .","B. is a subspace of .","C. If , then is a subspace of .","D. The set is a subspace of (this is called the sum of subspaces, )."] answer="A,C,D" hint="Recall the properties of intersection, union, and sum of subspaces." solution="Let's analyze each option:
A. is a subspace of .
This is always true. We proved this in the notes. The intersection of any collection of subspaces is always a subspace.
B. is a subspace of .
This is generally false. We provided a counterexample with two distinct lines through the origin in . The union is only a subspace if one subspace is contained within the other.
C. If , then is a subspace of .
If , then . Since is a subspace by definition, their union is also a subspace. This statement is true.
D. The set is a subspace of .
This set is denoted as . Let's check the subspace conditions:
1. Zero vector: Since are subspaces, and . So .
2. Closure under addition: Let and be two elements in .
Then .
Since and are subspaces, and .
Thus, .
3. Closure under scalar multiplication: Let and .
Then .
Since and are subspaces, and .
Thus, .
All conditions are met, so is always a subspace. This statement is true.
Therefore, options A, C, and D are always true."
:::
:::question type="SUB" question="Prove that the set , where are fixed real numbers not all zero, is a subspace of ." answer="W is a subspace because it contains the zero vector and is closed under vector addition and scalar multiplication." hint="Use the three conditions of the subspace test." solution="To prove that is a subspace of , we need to verify the three conditions of the subspace test:
Given .
Condition 1: Contains the Zero Vector
We need to check if the zero vector belongs to .
Substitute into the defining equation :
Since , the zero vector satisfies the condition .
Therefore, .
Condition 2: Closed Under Vector Addition
Let and be two arbitrary vectors in .
By definition of , they satisfy:
We need to check if their sum is also in .
This means we need to check if .
Let's expand the left side:
Rearrange the terms:
From our initial assumption that , we know:
Substitute these values back:
Thus, .
Therefore, .
Condition 3: Closed Under Scalar Multiplication
Let be an arbitrary vector in , and let be any scalar in .
By definition of , satisfies:
We need to check if the scalar multiple is also in .
This means we need to check if .
Let's expand the left side:
Factor out :
From our initial assumption that , we know:
Substitute this value back:
Thus, .
Therefore, .
Since all three conditions of the subspace test are satisfied, is a subspace of ."
:::
:::question type="MCQ" question="Let be the vector space of all matrices with real entries. Which of the following subsets of is a subspace?" options=["A. The set of all matrices with determinant 0.","B. The set of all matrices with trace 0.","C. The set of all invertible matrices.","D. The set of all matrices where the sum of all entries is 1."] answer="B. The set of all matrices with trace 0." hint="Apply the subspace test for each set. Remember the zero vector for is the zero matrix." solution="Let be a general matrix. The zero vector in is .
A. The set of all matrices with determinant 0.
- Zero vector: , so is in this set.
- Closure under addition: Let and . Both have determinant 0.
. .
So, not closed under addition. This set is NOT a subspace.
B. The set of all matrices with trace 0. (The trace of a matrix is the sum of its diagonal elements: ).
- Zero vector: , so is in this set.
- Closure under addition: Let and be two matrices with trace 0.
So and .
.
. So closed under addition.
- Closure under scalar multiplication: Let be a matrix with trace 0 () and .
.
. So closed under scalar multiplication.
This set IS a subspace.
C. The set of all invertible matrices.
- Zero vector: The zero matrix is not invertible (its determinant is 0). So is not in this set.
This set is NOT a subspace.
D. The set of all matrices where the sum of all entries is 1.
- Zero vector: For , the sum of entries is . So is not in this set.
This set is NOT a subspace.
The correct option is B."
:::
---
Summary
---
What's Next?
This topic connects to:
Master these connections for comprehensive ISI preparation!
---
Chapter Summary
Here are the most important points from the "Vector Spaces" chapter that you must master for your ISI preparation:
For any , .
For any and , .
Equivalently, for any and , .
Crucially, the zero vector must always be in .
---
Chapter Review Questions
:::question type="MCQ" question="Which of the following subsets is NOT a subspace of the vector space of all real matrices?" options=["A) The set of all symmetric matrices ().","B) The set of all matrices with determinant zero.","C) The set of all matrices such that .","D) The set of all matrices with trace zero ()."] answer="B" hint="Recall the definition of a subspace. A common pitfall is assuming properties like determinance or invertibility preserve closure under addition or scalar multiplication." solution="Let's analyze each option:
A) The set of all symmetric matrices:
Let .
. So, .
Thus, is a subspace.
B) The set of all matrices with determinant zero:
Let .
and , so .
However, .
. So, .
Thus, is NOT a subspace.
C) The set of all matrices such that :
Let .
. So, .
Thus, is a subspace.
D) The set of all matrices with trace zero:
Let .
.
. So, .
.
. So, .
Thus, is a subspace.
The only set that is not a subspace is B.
"
:::
:::question type="NAT" question="Let be the vector space of all real-valued continuous functions on . How many of the following subsets are subspaces of ?
* Zero vector: , so .
* Closure under addition: If , then and . Thus, . So .
* Closure under scalar multiplication: If and , then . Thus, . So .
Therefore, is a subspace.
* Zero vector: for all , so .
* Closure under scalar multiplication (failure): Consider . For , , so .
Let . Then . For , . So is not always .
Thus, .
Therefore, is NOT a subspace.
* Zero vector: , so .
* Closure under addition: If , then and .
. So .
* Closure under scalar multiplication: If and , then .
. So .
Therefore, is a subspace.
* Zero vector (failure): For the zero function , . So .
(Since the zero vector is not in , we can immediately conclude it's not a subspace. We can also check other conditions for completeness.)
* Closure under addition (failure): Let and . , so . , so .
. So .
Therefore, is NOT a subspace.
In summary, and are subspaces. Thus, there are 2 subspaces.
"
:::
:::question type="Descriptive" question="Let and be two subspaces of a vector space . Prove that their union is a subspace of if and only if or ." solution="We need to prove both directions:
Part 1: () If is a subspace of , then or .
Assume for contradiction that is a subspace, but neither nor .
Since , there exists a vector such that .
Since , there exists a vector such that .
Now, consider the sum .
Since and , both and are elements of .
Because we assumed is a subspace, it must be closed under vector addition.
Therefore, .
This implies that or .
Case 1: .
Since and is a subspace, .
Then . Since and , their sum must be in (by closure of under addition).
But this contradicts our initial choice that .
Case 2: .
Since and is a subspace, .
Then . Since and , their sum must be in (by closure of under addition).
But this contradicts our initial choice that .
Since both cases lead to a contradiction, our initial assumption (that and ) must be false.
Therefore, if is a subspace, then or .
Part 2: () If or , then is a subspace of .
Assume .
Then . Since is given to be a subspace of , their union is also a subspace.
Assume .
Then . Since is given to be a subspace of , their union is also a subspace.
In both cases, is a subspace.
Combining both parts, we conclude that is a subspace of if and only if or .
"
:::
:::question type="NAT" question="Let be a set of vectors in . Find the value of for which does NOT span ." answer="-1" hint="A set of vectors in spans if and only if the vectors are linearly independent. This condition can be checked by evaluating the determinant of the matrix formed by these vectors." solution="A set of vectors in spans if and only if the vectors are linearly independent. This is equivalent to saying that the matrix formed by these vectors as columns (or rows) has a non-zero determinant.
If the set does NOT span , it means the vectors are linearly dependent, and the determinant of the matrix formed by them must be zero.
Let's form a matrix with these vectors as columns:
Now, we calculate the determinant of :
For to NOT span , the determinant must be zero:
Thus, for , the vectors are linearly dependent and will not span . Instead, they will span a plane (a 2-dimensional subspace) in .
The value of is -1."
:::
---
What's Next?
You've successfully navigated the fundamental concepts of Vector Spaces! This chapter is the cornerstone of Linear Algebra, and a thorough understanding here will make your journey through the rest of the subject much smoother.
Key connections:
Foundation for Structure: This chapter provided you with the definition of a vector space and the building blocks (linear combinations, span, subspaces) for understanding their internal structure.
Building on these concepts: The next crucial steps in your ISI Linear Algebra preparation will directly build upon these ideas:
Linear Independence, Basis, and Dimension: These concepts allow us to precisely describe the 'size' and 'coordinates' within any vector space, generalizing notions from and .
Linear Transformations: These are functions between vector spaces that respect their algebraic structure, and they are intimately linked to matrices.
Eigenvalues and Eigenvectors: Understanding these requires a solid grasp of linear transformations and subspaces.
Inner Product Spaces: This chapter will introduce geometric concepts like length, angle, and orthogonality, which rely on the vector space framework.
* ISI Relevance: Problems often combine concepts from multiple chapters. For instance, you might be asked to find a basis for a subspace defined by certain conditions, or to determine if a set of vectors spans a particular vector space. Mastering the definitions and properties from this chapter is non-negotiable for tackling such complex problems.
Continue your journey by exploring Linear Independence, Basis, and Dimension to fully grasp how to characterize and work with the elements of vector spaces.