Untervektorraum/Summe und Durchschnitt/Dimensionsvergleich/Fakt/Beweis

Beweis

Es sei ${}w_{1},\ldots ,w_{k}$ eine Basis von ${}U_{1}\cap U_{2}$. Diese ergänzen wir gemäß Fakt einerseits zu einer Basis ${}w_{1},\ldots ,w_{k},u_{1},\ldots ,u_{n}$ von ${}U_{1}$ und andererseits zu einer Basis ${}w_{1},\ldots ,w_{k},v_{1},\ldots ,v_{m}$ von ${}U_{2}$. Dann ist

$w_{1},\ldots ,w_{k},u_{1},\ldots ,u_{n},v_{1},\ldots ,v_{m}$

ein Erzeugendensystem von ${}U_{1}+U_{2}$. Wir behaupten, dass es sich sogar um eine Basis handelt. Es sei dazu

${}a_{1}w_{1}+\cdots +a_{k}w_{k}+b_{1}u_{1}+\cdots +b_{n}u_{n}+c_{1}v_{1}+\cdots +c_{m}v_{m}=0\,.$

Daraus ergibt sich, dass das Element

$a_{1}w_{1}+\cdots +a_{k}w_{k}+b_{1}u_{1}+\cdots +b_{n}u_{n}=-c_{1}v_{1}-\cdots -c_{m}v_{m}\,$

zu ${}U_{1}\cap U_{2}$ gehört. Daraus folgt direkt ${}b_{i}=0$ für ${}i=1,\ldots ,n$ und ${}c_{j}=0$ für ${}j=1,\ldots ,m$. Somit ergibt sich dann auch ${}a_{\ell }=0$ für alle ${}\ell$. Also liegt lineare Unabhängigkeit vor. Insgesamt ist also

${}{\begin{aligned}\dim _{K}{\left(U_{1}\cap U_{2}\right)}+\dim _{K}{\left(U_{1}+U_{2}\right)}&=k+k+n+m\\&=k+n+k+m\\&=\dim _{K}{\left(U_{1}\right)}+\dim _{K}{\left(U_{2}\right)}.\end{aligned}}$

Zur bewiesenen Aussage