Quotientenräume in der linearen Algebra

In einigen Notizen, die ich gerade lese, gibt es eine Aussage, die so lautet: "... v / U ist eine "vereinfachte Version" von v wo die Elemente von U werden ignoriert“ ( v Und U sind Vektorräume).

Ich versuche immer noch, diese Idee zu verstehen: Kann jemand etwas Licht ins Dunkel bringen, warum wir ignorieren U In v / U ? Ich meine, ich verstehe, dass alles dazugehört U fällt in die Äquivalenzklasse [ 0 ] , aber ist das der Sinn, in dem wir "ignorieren" U ? Ist ein Quotientenraum eine Menge von Äquivalenzklassen? Das heißt, wenn wir äquivalente affine Teilmengen haben v 1 + U = v 2 + U , Sind [ v 1 ] Und [ v 2 ] die gleichen Elemente drin U / v ? Wenn dies der Fall ist, ignorieren wir dann nicht bestimmte Elemente von v (Als würden wir ignorieren [ v 2 ] in diesem Fall), weil alle äquivalenten affinen Teilmengen Redundanzen sind und daher in eine entsprechende Äquivalenzklasse zerlegt werden?

Sie werden es besser verstehen, wenn Sie weitere Beispiele berechnen. Grob gesagt, für jeden Vektor die Komponente, die dazugehört U wird ignoriert.

Antworten (3)

Im Quotienten alle Elemente von U sind null. Im Wesentlichen schauen wir also auf die Dinge außerhalb U . Zwei Elemente von v sind gleich drin v / U wenn sie sich um ein Element in unterscheiden U . Wir schauen nicht nur nach außen U , aber wenn sie sich durch ein Element von unterscheiden U wir betrachten sie als gleich. Also das Hinzufügen von Elementen von U ändert nichts. Es ignoriert U vollständig, Elemente von U Null sind und durch ein Element von addiert werden U tut nichts.

Nehmen Sie an, dass alles ein endlichdimensionaler Vektorraum ist. Ihr Vektorunterraum U hat eine Grundlage { u 1 , , u N } . Sie können dies auf eine Basis von erweitern v , { u 1 , , u N , v 1 , , v k } . Dann eine Grundlage für v / U ist durch die Äquivalenzklassen gegeben { [ v 1 ] , , [ v k ] } . Auf diese Weise können Sie möglicherweise sehen, wie wir "ignorieren" U .

Ja, da hast du Recht v / U ist eine Menge von Äquivalenzklassen der Form v + U . Wenn wir sagen, dass wir ignorieren U , was wir meinen ist, dass, wenn zwei Vektoren bis zu einem Element in äquivalent sind U , dann sind sie gleich in v / U . Also wenn U ist alles, was zwei Vektoren unterscheidet, dh v w U , dann ignorieren wir das und betrachten sie als gleich.