3
$\begingroup$

Let $V$ be a vector space over $\mathbb{R}$ of dimension $n$, and let $U$ be a subspace of dimension $m$, where $m < n$. Show that if $m = n − 1$ then there are only two subspaces of $V$ that contain $U$ (namely $U$ and $V$), whereas if $m < n − 1$ then there are infinitely many distinct subspaces of $V$ that contain $U$.

I have two questions arising from this problem.

1) Now say $m=n-1$. Then since $U$ is a subspace of $V$, it is contained in $V$. It is also contained in itself, namely $U$. Other options are out of the game in this case, because say if we form a space of dimension $n-1$, it would have to be precisely $V$. This follows because if say $u_1,...,u_{n-1}$ is a basis for $U$, then a basis for another subspace of $V$ with $n-1$ elements, would have to span the space as does $u_1,...,u_{n-1}$ forming the same vector spac - $U$. Am I right here?

2) Now let $m<n-1$. Applying the same reasoning as above, we can see, that there are much more options now. What I don't understand, is that how do I prove, that we can form infinitely many subspaces of $V$, even though it is finitely dimensional. For example, let $\lambda _j$ be scalars from the field $\mathbb{R}$ and let $u_1,...,u_m$ with $m<n-1$ a basis for vector space $V$. While I think it follows without a proof (or do I need one?) than we can form infinitely many linearly independent combinations $\lambda_ju_j$ (for different set of bases), why would there be infinitely many spaces spanned by those combinations, forming infinitely many subspaces of $V$?

Hints would be appreciated! Thanks!

$\endgroup$
3
  • 2
    $\begingroup$ How many lines (passing through zero) are there in a plane? $\endgroup$ Jun 15, 2013 at 13:17
  • 1
    $\begingroup$ That is, lines through the origin. $\endgroup$
    – GEdgar
    Jun 15, 2013 at 13:18
  • $\begingroup$ This is not always true. Let $F$ be a finite field and $n \geq 2$. Then $F^n$ has a finite number of subspaces. Just note that $|\{U \subset F^n : U \text{ is a subspace of } F^n\}| \leq \wp(F^n) = |F|^n < \infty$. $\endgroup$ Nov 22, 2016 at 19:30

1 Answer 1

3
$\begingroup$

The subspaces $W$ with $U\subseteq W\subseteq V$ correspond 1-1 to the subspaces of $V/U$. If $V/U$ is onedimensional, the only subspaces are $0$ and $V/U$ itself. If $V/U$ is at least twodimensional there are infinitely many subspaces. For example, already $\mathbb R^2$ has - at least - the infinitely many (because $\mathbb R$ is infinite!) subspaces $\{(t,at)\in\mathbb R^2\mid t\in\mathbb R\}$, one for each value of $a\in \mathbb R$.

$\endgroup$
1
  • $\begingroup$ Clear and concise! Thanks! $\endgroup$
    – Sarunas
    Jun 15, 2013 at 13:26

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .