Untervektorräume/Dimensionsformel/Siebformel/Aufgabe

Aus der lineare Algebra ist die Formel

für Untervektorräume bekannt, siehe Fakt, die an die Siebformel für zwei Mengen erinnert. Gilt für Untervektorräume die entsprechende Formel

wobei ?