5

It is not difficult to prove that the union of a chain (or, more generally, a directed family) of subspaces of a vector space $V$ is a subspace of $V$.

Given a family $\mathcal{F}$ of subspaces of a vector space $V$ such that the union of $\mathcal{F}$ is a subspace of $V$, is it true that $\mathcal{F}$ is a directed family?

If not, is there a "nice" characterization of families of subspaces whose union is a subspace?

user355272
  • 63
  • 3
    The union of two subspaces is a subspace if and only if one of the subspaces is contained in the other. –  Jan 04 '17 at 20:02
  • Is it a finite family? – Bernard Jan 04 '17 at 20:16
  • For a vector space over an infinite field, it is never the case that a finite family unions to a subspace, unless one of the family's elements contains all the others. – Steve D Jan 04 '17 at 21:16

1 Answers1

4

The family $\mathcal{F}$ of one-dimensional subspaces of $V$ has the property that its union is the whole space, but it is not directed. Note that if $V$ is finite-dimensional over a finite field, then $\mathcal{F}$ is finite as well. I don't know of any characterisation though.

Arnaud D.
  • 20,884