# Union of Subspaces is a Subspace if and only if One is Included in Another

## Problem 427

Let $W_1, W_2$ be subspaces of a vector space $V$. Then prove that $W_1 \cup W_2$ is a subspace of $V$ if and only if $W_1 \subset W_2$ or $W_2 \subset W_1$.

## Proof.

### If $W_1 \cup W_2$ is a subspace, then $W_1 \subset W_2$ or $W_2 \subset W_1$.

$(\implies)$ Suppose that the union $W_1\cup W_2$ is a subspace of $V$.
Seeking a contradiction, assume that $W_1 \not \subset W_2$ and $W_2 \not \subset W_1$.
This means that there are elements
$x\in W_1\setminus W_2 \text{ and } y \in W_2 \setminus W_1.$

Since $W_1 \cup W_2$ is a subspace, it is closed under addition. Thus, we have $x+y\in W_1 \cup W_2$.

It follows that we have either
$x+y\in W_1 \text{ or } x+y\in W_2.$ Suppose that $x+y\in W_1$. Then we write \begin{align*}
y=(x+y)-x.
\end{align*}
Since both $x+y$ and $x$ are elements of the subspace $W_1$, their difference $y=(x+y)-x$ is also in $W_1$. However, this contradicts the choice of $y \in W_2 \setminus W_1$.

Similarly, when $x+y\in W_2$, then we have
$x=(x+y)-y\in W_2,$ and this contradicts the choice of $x \in W_1 \setminus W_2$.

In either case, we have reached a contradiction.
Therefore, we have either $W_1 \subset W_2$ or $W_2 \subset W_1$.

### If $W_1 \subset W_2$ or $W_2 \subset W_1$, then $W_1 \cup W_2$ is a subspace.

$(\impliedby)$ If we have $W_1 \subset W_2$, then it yields that $W_1 \cup W_2=W_2$ and it is a subspace of $V$.

Similarly, if $W_2 \subset W_1$, then we have $W_1\cup W_2=W_2$ and it is a subspace of $V$.
In either case, the union $W_1 \cup W_2$ is a subspace.

### More from my site

• The Union of Two Subspaces is Not a Subspace in a Vector Space Let $U$ and $V$ be subspaces of the vector space $\R^n$. If neither $U$ nor $V$ is a subset of the other, then prove that the union $U \cup V$ is not a subspace of $\R^n$.   Proof. Since $U$ is not contained in $V$, there exists a vector $\mathbf{u}\in U$ but […]
• The Sum of Subspaces is a Subspace of a Vector Space Let $V$ be a vector space over a field $K$. If $W_1$ and $W_2$ are subspaces of $V$, then prove that the subset $W_1+W_2:=\{\mathbf{x}+\mathbf{y} \mid \mathbf{x}\in W_1, \mathbf{y}\in W_2\}$ is a subspace of the vector space $V$.   Proof. We prove the […]
• True or False. The Intersection of Bases is a Basis of the Intersection of Subspaces Determine whether the following is true or false. If it is true, then give a proof. If it is false, then give a counterexample. Let $W_1$ and $W_2$ be subspaces of the vector space $\R^n$. If $B_1$ and $B_2$ are bases for $W_1$ and $W_2$, respectively, then $B_1\cap B_2$ is a […]
• Two Subspaces Intersecting Trivially, and the Direct Sum of Vector Spaces. Let $V$ and $W$ be subspaces of $\R^n$ such that $V \cap W =\{\mathbf{0}\}$ and $\dim(V)+\dim(W)=n$. (a) If $\mathbf{v}+\mathbf{w}=\mathbf{0}$, where $\mathbf{v}\in V$ and $\mathbf{w}\in W$, then show that $\mathbf{v}=\mathbf{0}$ and $\mathbf{w}=\mathbf{0}$. (b) If $B_1$ is a […]
• The Intersection of Two Subspaces is also a Subspace Let $U$ and $V$ be subspaces of the $n$-dimensional vector space $\R^n$. Prove that the intersection $U\cap V$ is also a subspace of $\R^n$.   Definition (Intersection). Recall that the intersection $U\cap V$ is the set of elements that are both elements of $U$ […]
• The Subspace of Linear Combinations whose Sums of Coefficients are zero Let $V$ be a vector space over a scalar field $K$. Let $\mathbf{v}_1, \mathbf{v}_2, \dots, \mathbf{v}_k$ be vectors in $V$ and consider the subset $W=\{a_1\mathbf{v}_1+a_2\mathbf{v}_2+\cdots+ a_k\mathbf{v}_k \mid a_1, a_2, \dots, a_k \in K \text{ and } […] • Non-Example of a Subspace in 3-dimensional Vector Space \R^3 Let S be the following subset of the 3-dimensional vector space \R^3. \[S=\left\{ \mathbf{x}\in \R^3 \quad \middle| \quad \mathbf{x}=\begin{bmatrix} x_1 \\ x_2 \\ x_3 \end{bmatrix}, x_1, x_2, x_3 \in \Z \right\},$ where $\Z$ is the set of all integers. […]
• Is a Set of All Nilpotent Matrix a Vector Space? Let $V$ denote the vector space of all real $n\times n$ matrices, where $n$ is a positive integer. Determine whether the set $U$ of all $n\times n$ nilpotent matrices is a subspace of the vector space $V$ or not.   Definition. An matrix $A$ is a nilpotent matrix if […]

### 1 Response

1. 06/14/2017

[…] For a proof, see the post “Union of Subspaces is a Subspace if and only if One is Included in Another“. […]

##### If $A$ is an Idempotent Matrix, then When $I-kA$ is an Idempotent Matrix?

A square matrix $A$ is called idempotent if $A^2=A$. (a) Suppose $A$ is an $n \times n$ idempotent matrix and...

Close