Let $(V, K)$ be a vector space and $W ⊂ V$ a subspace. A subset $S ⊂ V$ is called a $W$-affine subspace of $V$ if the following holds $∀s, s ∈ S, s − s ∈ W$ and $∀s ∈ S, ∀w ∈ W, s + w ∈ S$.
- Let S and T be W-affine subspace of V and c ∈ K. Define
$$S + T = \lbrace s + t \space | \space s ∈ S, t ∈ T\rbrace$$
$$cT = \begin{cases} \lbrace ct \space | \space t ∈ T\rbrace \space \text{if} \space c= 0\\ W \space \text{if} \space c = 0. \end{cases}$$ Show that $S+T$ and $cT$ are again $W$-affine subspaces of $V$.
- Show that the above operations turn the set of all $W$-affine subspaces of $V$ into a vector space that we will denote by the symbol $V/W$ and we call it the quotient space. Note that vectors in the quotient space are $W$-affine subsets of $V$.
- Show that if $v ∈ V$ then $v + W = \lbrace v + w \space|\space w ∈ W\rbrace$ is a $W$-affine subspace of $V$. Furthermore, show that for any $W$-affine subspace $S ∈ V/W$ there exists a $v ∈ V$ such that $S = v + W$.
Hello there. I know this question is quite long, but the parts are all related, so just bear with me please. I attempted parts $1$ and $2$, but I was not sure about these attempts and I completely do not know how to approach number $3$. Any help will be greatly appreciated.
My attempts:
- Since $S$ and $T$ are $W$-affine subspaces (by definition)
$s-s' \in W \space \forall \space s, s' \in S, t-t' \in W \space \forall \space t, t' \in T$
Therefore,
$s-s' \in W \implies s-s'=w_1\in W$ and $t-t' \in W \implies t-t'=w_2 \in W$
By definition of $S + T$;
$$S + T = \underbrace{(s - s')}_{\in \space S} + \underbrace{(t - t')}_{\in \space T}\\ = (s - s') + (t - t') = w_1 + w_2\\ =(s + t) - (s' + t') = w_1 + w_2$$
Since $W$ is a subspace, $w_1 + w_2 \in W$,
$$\implies S + T = (s + t) - (s' + t') \in W$$
Also, since $S$ and $T$ are $W$-affine subspaces, $s + w_1 \in S$ and $t + w_2 \in T$ $$\therefore S + T = \underbrace{(s + w_1)}_{\in \space S} + \underbrace{(t + w_2)}_{\in \space T}\\ =(s + t) + \underbrace{(w_1 + w_2)}_{\text{any}\space w \space \in \space W}$$ $$\implies S + T = (s + t) + w$$
And therefore, $S + T$ is again a $W$-affine subspace of $V$.
Similar process for $cT$ ending up with: $$cT =c(t - t') \in W, \text{and}\space cT = ct + w$$
I defined addition and scalar multiplication as follows $$+ : S + T = (s + t) + (t + w) = (s + t) + w$$ $$\cdot : cT = c(t + w) = (ct) + w$$ and then just showed (using those definitions) that they satisfy the properties of a vector space: commutative, associative, additive identity, additive inverse, multiplicative inverse, distributivity of $\cdot$ over $+$ and addition distribution property and thus $V/W$ forms a vector space.
Was thinking it'd somehow look like my approach for number $1$?? Not entirely sure how to approach it.
Thanks for taking the time to read/help me :)