Totally isotropic subspaces, complementary subspaces, and generalized inverses (Q5961701): Difference between revisions

Es sei \(V\) ein endlichdimensionaler \(F\)-Vektorraum mit einer nicht entarteten symmetrischen Bilinearform, \(V_0\) sei die Menge aller isotropen Vektoren, \({\mathcal L}\) der Verband aller Unterräume und \({\mathcal N}\) die Menge aller total isotropen Unterräume \(U\) (d.h. \(U\subseteq U^\perp\)). Es heißt \(U\) nicht entartet, wenn \(U\cap U^\perp=0\) gilt. Es wird \(h:{\mathcal N}\to{\mathcal N}\) eine hyperbolische Komplementierung genannt, wenn \(U+U^h\) für alle \(U\in{\mathcal N}\) nicht entartet ist. Weiter heißt \(c:{\mathcal L}\to{\mathcal L}\) eine pseudoorthogonale Komplementierung, wenn \(V=U\oplus U^c\), \(U_0\perp U^c\) für ein maximales nicht entartetes \(U_0\subseteq U\) und \(U_0'\perp U\) für ein maximales nicht entartetes \(U_0'\subseteq U^c\) gilt und auss{}erdem \(U^{c\perp}= U^{\perp c}\) für alle \(U\in{\mathcal L}\). Der Verfasser beweist konstruktiv die Existenz hyperbolischer Komplementierungen, die im Fall \(\text{char} (F)\neq 2\) involutorisch sind, die im Fall eines geordneten Körpers \(F\) einen involutorischen Automorphismus von \(({\mathcal N},\subseteq)\) bilden und die im Fall \(\text{char} (F)=2\) unter der Voraussetzung, daß \(V_0\) nicht entartet ist, vorhanden sind. Weiter wird gezeigt, dass{} jede hyperbolische Komplementierung \(h\) eine pseudoorthogonale \(c\) induziert, wobei \(c\) involutorisch ist, wenn dies für \(h\) gilt. Im letzten Abschnitt werden Zusammenhänge zwischen pseudoorthogonalen Komplementierungen und verallgemeinerten Inversen hergestellt.