Comparing Dimensions of Related Spaces
students, in linear algebra, one of the most powerful ideas is that different spaces can be compared by looking at their dimensions. π A dimension tells us how many independent directions are needed to build every vector in a space. In this lesson, you will learn how to compare the dimensions of related spaces such as a vector space, a subspace, a null space, and a column space. You will also see how dimension helps reveal whether one space is βlarger,β how much overlap two spaces may have, and how linear transformations connect these ideas.
What dimension really means
A vector space is a collection of objects that can be added and multiplied by scalars. In many courses, the vectors are arrows, but they can also be polynomials, matrices, or functions. The dimension of a vector space is the number of vectors in a basis for that space.
A basis is a set of vectors that is both linearly independent and spanning. That means every vector in the space can be written as a linear combination of the basis vectors, and no basis vector is unnecessary.
For example, the space $\mathbb{R}^2$ has dimension $2$ because two independent vectors are enough to describe every vector in the plane. The space $\mathbb{R}^3$ has dimension $3$ because three independent vectors are needed for all of three-dimensional space. A line through the origin in $\mathbb{R}^3$ has dimension $1$, and a plane through the origin has dimension $2$. β¨
When you compare dimensions, you are comparing how many independent directions different spaces contain. A space with larger dimension has more freedom, while a smaller-dimensional space has fewer independent directions.
Comparing a space with its subspaces
A subspace is a smaller vector space inside a larger one. students, every subspace of a finite-dimensional vector space must have dimension less than or equal to the dimension of the whole space.
If $W$ is a subspace of $V$, then
$$\dim(W) \le \dim(V).$$
This is a fundamental rule. It makes sense because every basis for $W$ is made of vectors in $V$, and those vectors cannot require more independent directions than exist in $V$.
Example: suppose $V=\mathbb{R}^3$ and $W$ is the set of all vectors of the form $(x,y,0)$. Then $W$ is the $xy$-plane through the origin. A basis for $W$ is $\{(1,0,0),(0,1,0)\}$, so $\dim(W)=2$. Since $\dim(\mathbb{R}^3)=3$, we get $2\le 3$.
Another example is the set of all multiples of a single nonzero vector, like $\{t(2,-1,3): t\in\mathbb{R}\}$. This is a line through the origin, so its dimension is $1$. Again, it is a subspace of $\mathbb{R}^3$, so the inequality holds.
This comparison is useful because it helps you detect whether a proposed set could actually be a subspace of a certain vector space. If someone claims a space inside $\mathbb{R}^3$ has dimension $4$, that cannot be correct. β
The dimension of sums and intersections
Sometimes two related spaces overlap. For example, two subspaces may share some vectors. When this happens, the sizes of the spaces are connected by an important formula.
If $U$ and $W$ are subspaces of a finite-dimensional vector space, then
$$\dim(U+W)=\dim(U)+\dim(W)-\dim(U\cap W).$$
Here, $U+W$ means the set of all vectors of the form $u+w$ where $u\in U$ and $w\in W$. The intersection $U\cap W$ is the set of vectors that belong to both spaces.
Why subtract $\dim(U\cap W)$? Because vectors in the overlap get counted twice if you simply add $\dim(U)$ and $\dim(W)$. The formula corrects for that double counting.
Example: let $U$ be the $xy$-plane in $\mathbb{R}^3$ and let $W$ be the $xz$-plane in $\mathbb{R}^3$. Then $\dim(U)=2$ and $\dim(W)=2$. Their intersection is the $x$-axis, which has dimension $1$. So
$$\dim(U+W)=2+2-1=3.$$
That means together, the two planes fill all of $\mathbb{R}^3$. This is a great example of how dimensions reveal the relationship between spaces. π
If two subspaces only meet at the zero vector, then $\dim(U\cap W)=0$, and the formula becomes
$$\dim(U+W)=\dim(U)+\dim(W).$$
That tells us the spaces are combining without overlap, at least in terms of independent directions.
Dimensions in linear transformations
A linear transformation connects one vector space to another. If $T:V\to W$ is linear, then two important related spaces are the kernel and the image.
The kernel of $T$, written $\ker(T)$, is the set of vectors in $V$ that map to the zero vector in $W$:
$$\ker(T)=\{v\in V : T(v)=0\}.$$
The image of $T$, written $\operatorname{αα}(T)$ or more commonly $\operatorname{im}(T)$, is the set of all outputs of $T$.
The Rank-Nullity Theorem says:
$$\dim(V)=\dim(\ker(T))+\dim(\operatorname{im}(T)).$$
This is one of the clearest dimension comparisons in linear algebra. The dimension of the whole input space is split into two parts:
- the nullity, which is $\dim(\ker(T))$,
- the rank, which is $\dim(\operatorname{im}(T))$.
Example: if $T:\mathbb{R}^4\to\mathbb{R}^3$ is linear and $\dim(\ker(T))=1$, then the theorem gives
$$4=1+\dim(\operatorname{im}(T)).$$
So
$$\dim(\operatorname{im}(T))=3.$$
That means the image fills all of $\mathbb{R}^3$. This kind of reasoning is extremely useful when you are given one dimension and need to find another.
How to compare dimensions in practice
students, when you are asked to compare dimensions of related spaces, there are several common strategies. First, identify the spaces carefully. Are you comparing a subspace and its ambient space? Two intersecting subspaces? The kernel and image of a transformation?
Second, find a basis if possible. The number of vectors in a basis gives the dimension directly. For example, if a subspace of $\mathbb{R}^4$ has basis
$$\{(1,0,0,0),(0,1,0,0),(0,0,1,0)\},$$
then its dimension is $3$.
Third, use known theorems. If you know a space is a subspace of $\mathbb{R}^n$, then its dimension cannot exceed $n$. If you know the dimensions of two subspaces and their intersection, you can use the sum formula. If you know the dimension of the domain and the kernel of a linear map, use rank-nullity.
Letβs look at a real-world style example. Imagine a team project with $5$ students, but only $3$ independent roles are needed to complete the work. The βspaceβ of possible role combinations has dimension $3$, not $5$, because two students may be doing redundant work. In linear algebra, redundancy is like linear dependence. Comparing dimensions helps you see how much independent information really exists. π₯
Common mistakes to avoid
One common mistake is confusing a set of vectors with the space they span. A set may contain many vectors, but if some are dependent, the dimension is smaller than the number of vectors in the set.
For example, in $\mathbb{R}^2$, the vectors $(1,0)$, $(2,0)$, and $(3,0)$ are three vectors, but they all lie on the same line. Their span has dimension $1$, not $3$.
Another mistake is assuming that a bigger-looking description means a larger dimension. A subspace given by many equations may still have a small dimension. For example, the set of all vectors in $\mathbb{R}^4$ satisfying
$$x+y+z+w=0$$
is a subspace of dimension $3$, because one linear equation reduces the degrees of freedom by one.
A final mistake is forgetting that the zero vector is always in every subspace. If two subspaces intersect only at the zero vector, that intersection still has dimension $0$, not βno dimension.β
Conclusion
Comparing dimensions of related spaces is a central skill in linear algebra because it helps you understand how vector spaces fit together. students, you now know that subspaces cannot have larger dimension than their parent spaces, that overlapping subspaces obey the formula $\dim(U+W)=\dim(U)+\dim(W)-\dim(U\cap W)$, and that linear transformations split dimension through rank and nullity using $\dim(V)=\dim(\ker(T))+\dim(\operatorname{im}(T))$. These ideas give you a way to measure size, overlap, and structure in abstract vector spaces. π
Study Notes
- The dimension of a vector space is the number of vectors in any basis.
- If $W$ is a subspace of $V$, then $\dim(W)\le \dim(V)$.
- The sum of subspaces is $U+W=\{u+w:u\in U,\,w\in W\}$.
- The intersection $U\cap W$ contains vectors in both subspaces.
- For finite-dimensional subspaces, $\dim(U+W)=\dim(U)+\dim(W)-\dim(U\cap W)$.
- For a linear transformation $T:V\to W$, $\dim(V)=\dim(\ker(T))+\dim(\operatorname{im}(T))$.
- The dimension of a subspace can be found by counting vectors in a basis.
- Linear dependence reduces dimension because dependent vectors do not add new independent directions.
- Comparing dimensions helps identify whether a space can fit inside another space and how much overlap two spaces have.
- These ideas are essential for understanding abstract vector spaces and subspaces in linear algebra.