Interseções e somas de subespaços
Sejam \(V\) um espaço vetorial e \(W,Y\) dois subespaços de \(V\).
A interseção \(W\cap Y\) de \(W\) e \(Y\) é mais um subespaço de \(V\).
Comprovação. Proof. Temos que confirmar que as propriedades de subespaço estão satisfeitas. Primeiro, \(\ul{0}\in W\) e \(\ul{0}\in Y\), logo \(\ul{0}\in W\cap Y\), mostrando que \(W\cap Y\neq\varnothing\).
Sejam \(\ul{u}, \ul{v}\in W\cap Y\). Então
\(\ul{u}, \ul{v}\in W\) e \(W\) é subespaço, logo \(\ul{u}+\ul{v}\in W\),
\(\ul{u}, \ul{v}\in Y\) e \(Y\) é subespaço, logo \(\ul{u}+\ul{v}\in Y\).
Segue que \(\ul{u} + \ul{v} \in W\cap Y\).
Exercício! A ideia é similar à primeira parte.
◻
Noutro lado, a união de dois subespaços de \(V\) geralmente não é um subespaço. Por exemplo, considere os seguintes subespaços de \(\R^2\): \[X = \{(x,0)\,|\, x\in \R\}\,,\quad Y = \{(0,y)\,|\,y\in \R\}\] (informalmente, \(X\) é o “eixo \(x\)” e \(Y\) é o “eixo \(y\)”). Os elementos \[(1,0)\,,\, (0,1)\in X\cup Y,\] mas \((1,0) + (0,1) = (1,1)\) não pertence nem a \(X\) nem a \(Y\), logo \((1,1)\not\in X\cup Y\):
O jeito correto para “juntar” dois subespaços é o seguinte:
Definição 39.2 Sejam \(W,Y\) dois subespaços do espaço vetorial \(V\). A soma de \(W\) e \(Y\) é \[W + Y := \{\ul{w} + \ul{y}\,|\,\ul{w}\in W\,,\, \ul{y}\in Y\}.\]
Exercício 39.1 Confirme que \(W+Y\) é sempre um subespaço de \(V\).
Exemplo 39.2 Seja \(V = \R^3\) e considere os subespaços \[W = \{(x,y,0)\,|\,x, y\in \R\}\,,\quad Y = \{(0,y,z)\,|\,y,z\in \R\}.\] O subespaço \(W + Y\) é o próprio \(V\): dado \(\ul{v} = (x,y,z)\in V\), podemos escrever \[(x,y,z) = (x,y,0) + (0,0,z) \in W + Y.\]
Observe que esta soma não foi muito “eficiente”, no sentido que para obter \(V\) como soma, a gente podia ter usada subespaços menores. Por exemplo, pega \[Y' = \{(0,0,z)\,|\,z\in \R\} \subsetneq Y.\] Ainda temos \[W + Y' = \{(x,y,0) + (0,0,z)\,|\,x,y,z\in \R\} = \{(x,y,z)\,|\,x,y,z\in \R\} = \R^3.\] Temos \[W\cap Y = \{(0,y,0)\,|\,y\in \R\},\] enquanto \[W\cap Y' = \{\ul{0}\}.\] A não eficiencia de \(W+Y\) surge do fato que \(W\cap Y\neq \{\ul{0}\}\). Damos nome especial para somas eficientes:
Definição 39.3 Sejam \(W,Y\) subespaços de \(V\). Diremos que \(V\) é a soma direta de \(W\) e \(Y\) se
\(W+Y = V,\)
\(W\cap Y = \{\ul{0}\}\).
Neste caso, escrevemos \(V = W\oplus Y\).
Uma propriedade útil das somas diretas:
Sejam \(W,Y\) subespaços de algum espaço vetorial e \(V = W+Y\). Então \(V = W\oplus Y\) se, e somente se, cada elemento de \(V\) pode ser escrito unicamente como \(\ul{w}+\ul{y}\), com \(\ul{w}\in W, \ul{y}\in Y\).
Comprovação. Proof. Temos duas coisas para mostrar:
\(W\cap Y = \{\ul{0}\}\implies\)todo elemento pode ser escrito únicamente:
Suponha que algum \(\ul{v}\in V\) pode ser escrito como \(\ul{w} + \ul{y}\) E como \(\ul{w}' + \ul{y}'\) (com \(\ul{w}, \ul{w}'\in W, \ul{y}, \ul{y}'\in Y\)). Para mostrar unicidade da expressão, temos que confirmar que \(\ul{w}=\ul{w}'\) e \(\ul{y}=\ul{y}'\). Temos \[\ul{w}+\ul{y} = \ul{v} = \ul{w}' + \ul{y}' \implies \ul{w}-\ul{w}' = \ul{y}'-\ul{y} \in W\cap Y.\] Mas \(W\cap Y = \{\ul{0}\}\), então \(\ul{w} - \ul{w}' = \ul{0}\), logo \(\ul{w}=\ul{w}'\), e similarmente \(\ul{y}=\ul{y}'\).
todo elemento pode ser escrito únicamente\(\implies W\cap Y = \{\ul{0}\}\):
Pegue \(\ul{v}\in W\cap Y\), logo \(-\ul{v}\in W\cap Y\) já que \(W\cap Y\) é subespaço. Em particular, \(\ul{v}\in W\) e \(-\ul{v}\in Y\), e assim \[\ul{0} = \ul{0} + \ul{0} = \ul{v} - \ul{v}\] são duas expressões de \(\ul{0}\) como soma de alguém em \(W\) mais alguém em \(Y\). Já que todo elemento pode ser escrito unicamente assim, segue que \(\ul{v} = \ul{0}\). Mas \(\ul{v}\in W\cap Y\) foi arbitrário, então \(W\cap Y = \{\ul{0}\}\).
◻
Exemplo 39.3 Seja \(\mathcal{P}_2\) o subespaço de \(\R[x]\) gerado pelo conjunto \(\{1,x,x^2\}\). Então, \(\mathcal{P}_2\) é o conjunto dos polinômios da forma \(ax^2 + bx + c\) (\(a,b,c\in \R\)). Considere os subespaços \[D = \{ax^2 + ax + a\,|\,a\in \R\}\,,\quad E = \{bx + c\,|\, b,c\in \R\}.\] Vamos mostrar que \(\mathcal{P}_2 = D\oplus E\). Seja \(\alpha x^2 + \beta x + \gamma\) um elemento qualquer de \(\mathcal{P}_2\). Vamos tentar expressar este elemento como um elemento de \(D+E\): \[\alpha x^2 + \beta x + \gamma = (ax^2 + ax + a) + (bx + c) = ax^2 + (a+b)x + (a+c).\] Obtemos que \[\begin{aligned}
\alpha & = a. \\
\beta & = a+b = \alpha + b \implies b = \beta - \alpha. \\
\gamma & = a+c = \alpha + c \implies c = \gamma - \alpha.
\end{aligned}\] Seguem duas coisas:
todo elemento de \(\mathcal{P}_2\) pode ser escrito como soma de um elemento de \(D\) e um elemento de \(E\), logo \(\mathcal{P}_2 = D + E\).
essa expressão é única (\(a=\alpha\,,\, b = \beta - \alpha\,,\, c = \gamma - \alpha\), não temos escolha).
Segue pela proposição então que \(\mathcal{P}_2 = D \oplus E\).