Diskussion:Untervektorraum

message: Hallo! Was findest du an der Formulierung „erhält man durch“ besser? „Entspricht genau einem“ ist genauer und ich seh auch nicht, dass die Projektion irgendwie grundlegender wäre. Grüße --Chricho ¹ ² ³ 17:56, 19. Sep. 2012 (CEST)
replies: text: Mir gefällt die Formulierung Jeder Komplementärraum entspricht genau einer Projektion nicht so gut, weil man durch P(V) den Untervektorraum und nicht den Komplementärraum erhält. Fällt dir vielleicht eine bessere Formulierung ein? Man kann die Formeln natürlich auch umdrehen und mit P(V) den Komplementärraum bezeichnen, das ist nur weniger intuitiv. Viele Grüße, --Quartl (Diskussion) 18:18, 19. Sep. 2012 (CEST)
replies: text: Den Komplementärraum erhält man eben als Kern der Projektion. Sehe da keinen Bedarf in einem Umdrehen, ob Kern oder Bild ist doch einerlei. --Chricho ¹ ² ³ 18:25, 19. Sep. 2012 (CEST)
replies: text: Tja, die Frage ist: was war zuerst da, der Komplementärraum oder die Projektion ;-). Wie wäre es mit „erhält man durch genau eine“? Irgendwie sollte man noch erwähnen, dass Projektion und damit Komplementärraum i.A. nicht eindeutig sind (daher mein ursprünglicher Hinweis auf Orthogonalprojektionen). Viele Grüße, --Quartl (Diskussion) 18:58, 19. Sep. 2012 (CEST)
replies: text: Wie wär's etwas ausführlicher so? "Die Komplementärräume von U_1 entsprechen wie folgt eindeutig den Projektionen auf U_1, also den ... : Ist P \colon V \to U_1 eine Projektion auf U_1, so ist der Kern von P ein Komplemetärraum zu U_1. Ist umgekehrt U_2 ein Komplementärraum, so existiert genau eine Projektion P \colon V \to U_1 mit \ker P = U_2" --Digamma (Diskussion) 19:25, 19. Sep. 2012 (CEST)
replies: text: Ich wüdre da nicht mit dem Kern ins Haus fallen, sondern die \operatorname{Id}-P-Variante wählen. Ich probiers mal. --Chricho ¹ ² ³ 19:41, 19. Sep. 2012 (CEST)
replies: text: Id - P erscheint mir, zumindest so formuliert, komplizierter als der Kern. Da müsste man fast dazu schreiben, dass das Bild von Id - P aus den Verbindungsvektoren v - P(v) besteht, damit das leicht verständlich ist. Bzw. dass man v zerlegt in die Summe aus P(v) und v - P(v). Aber ich überlasse das gerne euch. --Digamma (Diskussion) 20:01, 19. Sep. 2012 (CEST)
replies: text: Ich finde, da sieht man besser den Bezug zu einer Zerlegung. --Chricho ¹ ² ³ 20:05, 19. Sep. 2012 (CEST)
replies: text: \operatorname{Id} - P finde ich auch besser, denn der Kern kommt an sich erst im folgenden Abschnitt dran. Vielen Dank für die Verbesserungen. Viele Grüße, --Quartl (Diskussion) 20:19, 19. Sep. 2012 (CEST)

text: Ich bin nochmal drübergegangen, habe den Text etwas gestrafft und den Komplementärräumen einen eigenen Abschnitt gewidmet. Viele Grüße, --Quartl (Diskussion) 20:45, 19. Sep. 2012 (CEST)
replies: text: Danke für den (die) Artikel. ;) Die jüngste Änderung mit dem orthogonalen Komplement gefällt mir nicht so. Jede Teilmenge eines Skalarproduktraums besitzt „genau ein orthogonales Komplement“, nur ist das nicht unbedingt ein Komplementärraum, deshalb ist die Formulierung irgendwie komisch, auch „Auskunft über die Existenz von orthogonalen Komplementen“. Da erschien mir die vorherige Formulierung präziser und allgemeiner. Was war denn dein Ziel bei dieser Formulierungsänderung? Fändest du ein Zurückgehen auf die vorherige ergänzt um einen Verweis auf den Projektionssatz in Ordnung? --Chricho ¹ ² ³ 22:06, 19. Sep. 2012 (CEST)
replies: text: Ändere ruhig, was du nicht gut findest, ich schaue mir den Text dann morgen an. Viele Grüße, --Quartl (Diskussion) 22:08, 19. Sep. 2012 (CEST)

text: Vielleicht sollten wir den Artikel (mit Rücksicht auf die Leser) doch in der linearen Algebra belassen und auf den Projektionssatz verzichten? Der Homomorphiesatz und Faktorräume kommen auch nochmal ein paar Zeilen später. Hättest du was dagegen, wenn ich die beiden Sätze streiche? Letztendlich gibt es ja einen eigenen Artikel Komplementärraum und der Abschnitt hier kann nur eine kurze Zusammenfassung sein. Viele Grüße, --Quartl (Diskussion) 06:08, 20. Sep. 2012 (CEST)
replies: text: Auf das orthogonale Komplement in Hilberträumen kann man da gerne verzichten. Aber dass Faktorräume Komplementärräumen entsprechen – wo ist das denn im Folgenden erwähnt? Das ist doch bemerkenswert, gilt immerhin für Banachräume nicht. Was stört dich an der „[…] was insbesondere für endlichdimensionales V stets der Fall ist […]“-Formulierung? --Chricho ¹ ² ³ 13:49, 21. Sep. 2012 (CEST)
replies: text: Der Komplementärraum ist doch der Bildraum von \operatorname{Id}-P und damit nur ein Beispiel für die Aussage im Abschnitt "Lineare Abbildungen" und die Unterbanachräume haben jetzt einen eigenen Abschnitt. Ansonsten hatte ich mir auch schon überlegt, ob man nicht den Faktorräumen einen eigenen Abschnitt nach den Komplementärräumen gönnt (evtl. würde ich den Abschnitt "Eigenschaften" dann nochmal neu gliedern). Den unendlichdimensionalen Fall, dachte ich, handelt man jetzt bei den Unterhilberträumen ab, oder gibt es da nennenswerte Resultate zur Existenz von orthogonalen Komplementen auch bei Prähilberträumen? Mein Ziel war, dass Leser mit Kenntnissen einer Einführungsvorlesung in Linearer Algebra zumindest bis zu den Eigenwerten kommen. Viele Grüße, --Quartl (Diskussion) 14:01, 21. Sep. 2012 (CEST)
replies: text: Achja, und die Formulierung suggeriert jetzt auch wieder, dass das orthogonale Komplement stets ein Komplementärraum wäre. So recht glücklich bin ich mit der Verknappung nicht. --Chricho ¹ ² ³ 14:26, 21. Sep. 2012 (CEST)
replies: text: Im endlichdimensionalen Fall ist doch das orthogonale Komplement immer auch ein Untervektorraum!? Viele Grüße, --Quartl (Diskussion) 14:47, 21. Sep. 2012 (CEST)
replies: text: Ein Untervektorraum ist es immer. Nur nicht unbedingt ein Komplementärraum zu dem ersten Raum – im endlichdimensionalen Standardfall schon, nicht aber, wenn man Bedingungen an das Skalarprodukt abschwächt, oder in den unendlichdimensionalen Fall übergeht. Insofern erscheint mir der Zusammenhang nicht inhärent, ein orthogonales Komplement wird nicht als Komplementärraum definiert, nur „zufällig“ ist es stets einer, wenn man in den bekannten Fällen ist. Die Formulierung im Moment klingt so, als stünde das Wort Komplement in orthogonales Komplement für einen Komplementärraum. --Chricho ¹ ² ³ 14:53, 21. Sep. 2012 (CEST)
replies: text: Also "orthogonaler Komplementärraum" statt "orthogonales Komplement"? Viele Grüße, --Quartl (Diskussion) 14:59, 21. Sep. 2012 (CEST)
replies: text: Möglich, aber dass das gerade das orthogonale Komplement ist, halte ich doch für erwähnenswert, wie es in der ausführlichen Fassung stand. --Chricho ¹ ² ³ 15:07, 21. Sep. 2012 (CEST)
replies: text: So? Viele Grüße, --Quartl (Diskussion) 15:09, 21. Sep. 2012 (CEST)
replies: text: Jo, wenn du darauf stehst, dich von vorne herein auf endlichdimensionale zu begrenzen, ist das ok. :D Was machen wir mit den Faktorräumen? Eigener Abschnitt scheint mir nicht so sinnvoll, schließlich sind das ja nicht spezielle Unterräume, sondern es ist eine alternative Sichtweise auf Komplementärräume im Falle von Vektorräumen. --Chricho ¹ ² ³ 15:12, 21. Sep. 2012 (CEST)
replies: text: Ich bestehe darauf, nicht immer sofort mit der Tür ins Haus zu fallen (man kann es auch Didaktik nennen) :-). Mit den Faktorräumen bin ich mir auch unsicher. Sie sind zwar als solches keine Untervektorräume, entstehen aber daraus, dass man einen Untervektorraum zu Null schrumpfen lässt, insofern ist schon ein klarer Bezug da. Viele Grüße, --Quartl (Diskussion) 15:29, 21. Sep. 2012 (CEST)

text: Ich habe es mal mit einem kleinen Abschnitt versucht. Was meinst du dazu? Viele Grüße, --Quartl (Diskussion) 19:07, 21. Sep. 2012 (CEST)
thread_title:  Projektion