# Thread: Could anyone help me with vector subspace proof?

1. ## Could anyone help me with vector subspace proof?

Hello.

Could anyone help me on proving subspace

Let V be n dimensional vector space over corpus K. Suppose we have r dimensional subspace $W \subset V$ where r < n. Prove that W = Y where
$Y = \bigcap \{U: U is V subspace, dimU = n -1, W \subset U\}$

It would be great if I could also get some explanations for more complex things abut why something works as it works (in order to understand it better). Or if someone has seen proof to this on some book, link would be great as well.

hint: to show that $Y \supset W$ we show that $v \in Y \backslash W$ leads to conflict

2. ## Re: Could anyone help me with vector subspace proof?

[QUOTE=rain1;781756]Hello.

Could anyone help me on proving subspace

Let V be n dimensional vector space over corpus K. Suppose we have r dimensional subspace $W \subset V$ where r < n. Prove that W = Y where
$Y = \bigcap \{U: U is V subspace, dimU = n -1, W \subset U\}$
So Y is the intersection of all n-1 dimensional subspaces that contain U.
Choose a basis for subspace W. Extend that basis to a basis for V. Every n- 1 dimensional subspace, that contains W, is spanned by that basis, with one basis vector removed (not one of those in the basis for W, of course). It should be clear that the original basis for W spans the intersection of those.

It would be great if I could also get some explanations for more complex things abut why something works as it works (in order to understand it better). Or if someone has seen proof to this on some book, link would be great as well.

hint: to show that $Y \supset W$ we show that $v \in Y \backslash W$ leads to conflict

3. ## Re: Could anyone help me with vector subspace proof?

Originally Posted by HallsofIvy
So Y is the intersection of all n-1 dimensional subspaces that contain U.
Choose a basis for subspace W. Extend that basis to a basis for V. Every n- 1 dimensional subspace, that contains W, is spanned by that basis, with one basis vector removed (not one of those in the basis for W, of course). It should be clear that the original basis for W spans the intersection of those.
Choose a basis for subspace W
How do I choose the basis? Randomly? Like (1,0,...,0) ?

Extend that basis to a basis for V
like this? (1,0,0,...,0) ?

with one basis vector removed (not one of those in the basis for W, of course)
How do I show that I remove basis that is not for W?

It should be clear that the original basis for W spans the intersection of those.
How do I show that?