Basis in
Definiere geschlängelte Basis über Gretchenfrage:
,
Das definiert die Transformationsmatrix .
Behauptung:
Bew. (formal): Sei . Nach Definition des -Operators, also nach der Gretchenfrage, gilt:
,
Andererseits gilt aber:
,
Also müssen die und die gleich sein; also ist .
Bew. (anschaulich): Bei der Definition der geschlängelten Basis geben wir an, wie man einen neuen Basisvektor durch alte Basisvektoren ausdrücken kann. Wir definieren also eine Zuordnung der neuen Basisvektoren zu (Linearkombinationen der) alten Basisvektoren, kurz eine Matrix der neuen zur alten Basis.
Ingo Blechschmidt, 2007–2008