Formal Definition of Subspaces and Their Key Properties

📚 Formal Definition of Subspaces

In linear algebra, a subspace is a subset of a vector space that is itself a vector space under the same operations of addition and scalar multiplication defined for the larger vector space. This means the subspace must satisfy certain crucial criteria to 'qualify' as a subspace. Let's formalize this.

Definition: Let $V$ be a vector space over a field $F$. A subset $W$ of $V$ is a subspace of $V$ if and only if:

• ➕ Closure under addition: For all vectors $\mathbf{u}$ and $\mathbf{v}$ in $W$, the sum $\mathbf{u} + \mathbf{v}$ is also in $W$. ($\mathbf{u}, \mathbf{v} \in W \implies \mathbf{u} + \mathbf{v} \in W$)
• Scale Closure under scalar multiplication: For all scalars $c$ in $F$ and all vectors $\mathbf{u}$ in $W$, the scalar product $c\mathbf{u}$ is also in $W$. ($c \in F, \mathbf{u} \in W \implies c\mathbf{u} \in W$)
• ✔️ Non-empty: $W$ must contain the zero vector, $\mathbf{0}$. ($\mathbf{0} \in W$)

📜 History and Background

The concept of a subspace emerged alongside the development of linear algebra in the 19th century. Mathematicians like Arthur Cayley and Hermann Grassmann contributed to the understanding of vector spaces and their substructures. Initially, the focus was on spaces defined by systems of linear equations. The formal definition of a subspace provided a rigorous framework for studying these structures and their properties, which were later generalized to abstract vector spaces.

🔑 Key Principles of Subspaces

Several important principles derive directly from the definition:

• ✨ Inherited Vector Space Structure: A subspace inherits the vector space structure from its parent vector space. This means all the vector space axioms hold within the subspace.
• 📐 Linear Combinations: A subset $W$ is a subspace if and only if it is closed under all linear combinations. That is, for any vectors $\mathbf{u}_1, \mathbf{u}_2, ..., \mathbf{u}_n$ in $W$ and any scalars $c_1, c_2, ..., c_n$ in $F$, the linear combination $c_1\mathbf{u}_1 + c_2\mathbf{u}_2 + ... + c_n\mathbf{u}_n$ is also in $W$.
• 🌳 Intersection of Subspaces: The intersection of any collection of subspaces of a vector space $V$ is also a subspace of $V$. This provides a way to generate new subspaces from existing ones.
• ➕ Sum of Subspaces: The sum of two subspaces $W_1$ and $W_2$ of $V$, denoted by $W_1 + W_2$, is the set of all vectors of the form $\mathbf{w}_1 + \mathbf{w}_2$, where $\mathbf{w}_1 \in W_1$ and $\mathbf{w}_2 \in W_2$. This sum is also a subspace of $V$.

➗ Properties and Theorems

• 📏 Dimension: The dimension of a subspace $W$ is always less than or equal to the dimension of the vector space $V$ it is contained within. Formally, $\text{dim}(W) \leq \text{dim}(V)$.
• 🧩 Basis: A basis for a subspace $W$ is a linearly independent set of vectors that spans $W$. Any basis for $W$ can be extended to a basis for the entire vector space $V$.
• 📍 The Zero Subspace: The set containing only the zero vector, {$\mathbf{0}$}, is always a subspace of any vector space. It is the smallest possible subspace.

🌍 Real-World Examples

Subspaces appear frequently in various mathematical and applied contexts:

• 🖥️ Computer Graphics: In computer graphics, subspaces are used to represent different transformations of objects. For example, rotations in 3D space form a subspace of the space of all linear transformations.
• 💡 Signal Processing: In signal processing, subspaces are used to model different types of signals. For example, the set of all signals with a certain frequency range can form a subspace.
• 📊 Data Analysis: In data analysis and machine learning, principal component analysis (PCA) uses subspaces to reduce the dimensionality of data while preserving the most important information.

📝 Examples to Determine Subspaces

Consider the vector space $V = \mathbb{R}^2$. We want to see which of the following are subspaces:

1. $\mathbf{W_1 = \{(x, 0) \mid x \in \mathbb{R}\}}$. This is the x-axis.
2. $\mathbf{W_2 = \{(x, 1) \mid x \in \mathbb{R}\}}$. This is a horizontal line at y=1.
3. $\mathbf{W_3 = \{(x, x^2) \mid x \in \mathbb{R}\}}$. This is a parabola.

Solution:

1. For $W_1$, if we add two vectors $(x_1, 0)$ and $(x_2, 0)$ we get $(x_1 + x_2, 0)$, which is still in $W_1$. If we multiply $(x, 0)$ by a scalar $c$, we get $(cx, 0)$, also in $W_1$. And $(0,0)$ is in $W_1$. So $W_1$ is a subspace.
2. For $W_2$, it does not contain the zero vector $(0, 0)$, so it is not a subspace.
3. For $W_3$, consider $(1, 1)$ and $(2, 4)$, both in $W_3$. Their sum is $(3, 5)$, which is not in $W_3$ because 5 is not $3^2$. Thus $W_3$ is not a subspace.

🧠 Conclusion

Understanding the formal definition of subspaces and their key properties is fundamental to mastering linear algebra. By grasping the concepts of closure under addition and scalar multiplication, you can effectively identify and work with subspaces in various mathematical and applied contexts. Keep practicing and exploring!