- #1

- 164

- 0

## Homework Statement

Prove:

The set S(V) of all subspaces of a vector space V is a complete lattice under set inclusion, with smallest element {0}, largest element V, meet

[tex]glb(S_{i} | i \in K) = \cap_{i \in K} S_{i}[/tex]

and join

[tex]lub(S_{i} | i \in K) = \sum_{i \in K} S_{i}[/tex]

(Btw, how can I write underneath a symbol instead of at the subscript position?)

**Solution:**

I know there exists a glb and a lub since this is a complete lattice.

I'll start with the lub (least upper bound) and I'll try to show first that if S,T are subspaces of V then:

[tex]S + T = lub(S,T)[/tex]

Let S,T be subspaces of V. Then there exist vectors [tex]s \in S[/tex] and [tex]t \in T[/tex].

Since [tex]s,t \in V[/tex](since S and T are subspaces of V) then [tex]s + t \in V[/tex].

Since all vectors in S,T are in V (I think I'm being repetitive) then all vectors from S summed with all vectors from T is in V hence: S + T is a subspace of V.

Should be obvious that S + T is least upper bound of S and T (is this obvious)?

Since S + T is a subspace of V call it U. Let W be a subspace of V then:

W + U = (S + T) + U = lub{U,V}

You can repeat this to finally show that:

[tex]lub{S_{i} | i \in K} = \sum_{i \in K} S_{i}[/tex]

I think I can show the GLB in the same way.

I know this isn't very robust and probably longer than what is needed (I'm only starting out writing proofs).