Man kann als direkte Summe darstellen, ist einfach der Komplementärraum. Dann gilt , denn es gilt trivialerweise .
Die Einschränkung ist injektiv, per Konstruktion. Wenn eine Basis von ist, so sind alle in und sind linear unabhängig, denn ist injektiv. Damit gilt .
|