1. ## Union of chains

Hi,
Suppose that V is a vector space and $\{W_i : i \in I\}$ is a nonempty collection of subspaces of V.
I want to show that if $\{W_i : i \in I\}$ is a chain, then $\cup_{i \in I} W_i$ is a subspace of V.
Intuitively, this is obvious but I don't know how to prove that $\{W_i : i \in I\}$ is closed under union of chains.
Then I think I could use Zorn's lemma to say that it has a maximal element that is a subspace of V.

2. Originally Posted by vincisonfire
Hi,
Suppose that V is a vector space and $\{W_i : i \in I\}$ is a nonempty collection of subspaces of V.
I want to show that if $\{W_i : i \in I\}$ is a chain, then $\cup_{i \in I} W_i$ is a subspace of V.
Intuitively, this is obvious but I don't know how to prove that $\{W_i : i \in I\}$ is closed under union of chains.
Then I think I could use Zorn's lemma to say that it has a maximal element that is a subspace of V.
Let $W = \cup_{i\in I}W_i$. Let $\bold{u},\bold{v}\in W$ then $\bold{u}\in W_a$ and $\bold{v} \in W_b$ for some $a,b\in I$. However, $W_a\subseteq W_b$ without lose of generality and so $\bold{u},\bold{v}\in W_b$. This means that $\bold{u}+\bold{v} \in W_b\subseteq W$. We see that $W$ is closed under vector addition. Argue now that $W$ is closed under scalar multiplication in a similar way. Thus, $W$ is a subspace.