Forum:  Vektorräume
Thema: Zu jeder Hyperebene existiert eine Linearform, die diese definiert.
Themen-Übersicht
mischka
Aktiv
Dabei seit: 31.10.2012
Mitteilungen: 102
Themenstart: 2021-04-16 14:56

Moin, ich soll folgende Aufgabe lösen:

Ist \(H\) eine Hyperebene von \(V\) durch 0, so existiert eine von 0 verschiedene Linearform \(h:V\rightarrow K\) mit \(H=H_{h,0}\).

Vorher, in Aufgabenteil a) den ich bereits gelöst habe, war definiert:\[
H_{h,\beta} := \left\lbrace x\in V \big| h(x)=\beta\right\rbrace
\]
Nun ist mein Problem, dass ich nach einer Babypause wieder in LinA II einsteige, und LinA I vor einer ganzen Weile bestanden wurde. Machen wir es kurz, ich steh völlig auf'm Schlauch und habe nicht die geringste Ahnung, wie ich das anstellen soll.


ligning
Senior
Dabei seit: 07.12.2014
Mitteilungen: 3250
Wohnort: Berlin
Beitrag No.1, eingetragen 2021-04-16 15:00

Was ist denn die Definition einer Hyperebene?


[Verschoben aus Forum 'Lineare Algebra' in Forum 'Vektorräume' von ligning]


mischka
Aktiv
Dabei seit: 31.10.2012
Mitteilungen: 102
Beitrag No.2, vom Themenstarter, eingetragen 2021-04-16 16:35

Ist \(V\) ein Vektorraum über dem Körper \(K\), dann ist eine Hyperebene eine Teilmenge \(H\subset V\) der Form\[H=p+U=\lbrace p+u|u\in U\rbrace\]wobei \(p\in V\) ein beliebiger Vektor und \(U\) ein Untervektorraum von \(V\) mit Kodimension 1 ist.

Da hier die Hyperebene durch 0 geht, kann ich davon ausgehen, dass \(p=0\) ist. Somit muss ich zeigen, dass jeder UVR, dessen Dimension um eins kleiner ist, als der Vektorraum auch mit dem Kern einer Linearform beschrieben werden kann.


ligning
Senior
Dabei seit: 07.12.2014
Mitteilungen: 3250
Wohnort: Berlin
Beitrag No.3, eingetragen 2021-04-16 16:50

$H$ ist ein UVR von $V$ mit Kodimension 1 genau dann, wenn $V/H$ die Dimension 1 hat. Siehst du da irgendwo $H$ als Kern einer linearen Abbildung? Diese ist keine Linearform, aber das ist nur ein kleines formales Hindernis, kannst du das beheben?


mischka
Aktiv
Dabei seit: 31.10.2012
Mitteilungen: 102
Beitrag No.4, vom Themenstarter, eingetragen 2021-04-16 18:01

2021-04-16 16:50 - ligning in Beitrag No. 3 schreibt:
Siehst du da irgendwo $H$ als Kern einer linearen Abbildung?
Ehrlich gesagt, nein, wie gesagt, die Babypause hat mich etwas raus gebracht... Ich bin gerade damit beschäftigt, mir das Wissen über Faktorräume, das ich bereits vergessen habe, wieder anzueignen.


ligning
Senior
Dabei seit: 07.12.2014
Mitteilungen: 3250
Wohnort: Berlin
Beitrag No.5, eingetragen 2021-04-16 18:22

Dann ein Hinweis: Zu einem Quotientenraum ("Faktorraum" ist etwas veraltet) $V/H$ definiert man eine kanonische Projektion $\pi\colon V\to V/H,\, v\mapsto v+H$. Deren Kern ist gerade $H$.




Dieses Forumbeitrag kommt von Matroids Matheplanet
https://https://matheplanet.de

Die URL für dieses Forum-Thema ist:
https://https://matheplanet.de/default3.html?topic=253328=3032
Druckdatum: 2021-06-16 18:17