Dimensionsformel
# Dimensionsformel

Die Dimensionsformel entstammt dem mathematischen Teilgebiet der linearen Algebra. Sie gibt an, wie sich die Dimension der Summe zweier endlichdimensionaler Untervektorräume $V_{1}$, $V_{2}$ eines größeren Vektorraumes berechnen lässt:

    $\dim \left(V_{1}+V_{2}\right)=\dim V_{1}+\dim V_{2}-\dim \left(V_{1}\cap V_{2}\right)$

Sie folgt unmittelbar aus dem Rangsatz. Einen Spezialfall stellt die Situation $V_{1}\oplus V_{2}=V_{1}+V_{2}$ dar (siehe Direkte Summe). Die Dimensionsformel reduziert sich in diesem Fall auf

    $\dim \left(V_{1}+V_{2}\right)=\dim V_{1}+\dim V_{2},$

da für eine direkte Summe gilt

    $V_{1}\cap V_{2}=\{0\}.$

Der Untervektorraum, den der Schnitt von $V_{1}$ und $V_{2}$ darstellt, ist somit der Nullvektorraum, dessen Dimension gleich Null ist.

Ist $V_{1}$ oder $V_{2}$ unendlichdimensional, so ist es nicht mehr möglich die Subtraktion auszuführen. Es gilt jedoch in jedem Fall

    $\dim \left(V_{1}+V_{2}\right)\geq \max\{\dim V_{1},\dim V_{2}\}$

und

    $\dim \left(V_{1}+V_{2}\right)\leq \dim \left(V_{1}\oplus V_{2}\right)=\dim V_{1}+\dim V_{2}$.

Da für zwei Kardinalzahlen, von denen zumindest eine unendlich ist, die Summe gleich dem Maximum der beiden ist, ist also in dem Fall, dass einer der beiden Teilräume unendlichdimensional ist, $\dim \left(V_{1}+V_{2}\right)=\max\{\dim V_{1},\dim V_{2}\}$.

