Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Affine Räume

Affine Räume

Universität / Fachhochschule

Gruppen

Tags: Gruppen, Tripel, Vektorraum

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

09:26 Uhr, 11.04.2014

Antworten
Guten Morgen, ich beschäftige mich mit affinen Räumen. Dazu habe ich folgende Aufgabe & Idee:

Ein affiner Raum der Dimension n ist ein Tripel (M,V,+) bestehend aus einer Menge M von Punkten, einem reellen n-dimensionalen Vektorraum V und einer Addition

+:M×VM,(p,v)p+v

mit den Eigenschaften

1. p+(u+v)=(p+u)+v,pM;u,vV.

2. zu jedem Paar (p,q)M×M existiert genau ein vV mit p=q+v

Anschaulich bedeutet dies, dass in einem affinen Raum man ja zu zwei Elementen aus einer Menge einen Vektor eines Vektorraums finden kann, der diese beiden Elemente verbindet. Ein affiner Raum ist also die intuitivere Beschreibung des uns umgebenden (physikalischen) Raumes. Man beachte, dass es keinen Sinn macht zwei Punkte im Raum zu addieren.

a) Finden Sie eine passende Addition s.d. die Menge von Punkten A={(x,y,z,w)4:w=1} zusammen mit 3 einen affinen Raum bildet. Beweisen Sie dies.

b) Was ist der Unterschied zwischen einem Punkt und einem Vektor in diesem affinen Raum?

c) Zeigen Sie, dass für jeden affinen raum gilt p+0=0, benutzen Sie dabei nur die Axiome der Definition des affinen Raums.

d) Zeigen Sie, dass (3,2,+) wobei die Addition definiert ist als (x1x2)+(p1,p2,p3):=(x1+p1,x2+p2,p3) kein affiner Raum ist.

e) Betrachten Sie die Menge H3 mit H={(x,y,z)3:x+y+z-1=0}. Definieren Sie eine passende Addition + und zeigen Sie, dass (H,2,+) affiner Raum ist. Zeichnen Sie H.

Was ist jetzt der Unterschied zwischen einem Punkt und einem Raum in diesem affinen Raum? Ein Punkt ist ein Punkt und ein Vektor eine Differenz zweier Punkte, oder nicht?

Bei a) muss ich ja eigentlich die zwei Eigenschaften zeigen:

1. p+(u+v)=(p+u)+v,pM;u,vV.

2. zu jedem Paar (p,q)M×M existiert genau ein vV mit p=q+v?

c) macht mich fertig :-D) Wie soll unter der Verwendung der Axiome der Definiton des affinen Raums dies zeigen?
p+0=p=0+p=p?

Bei d) und e) fehlt mir auch noch die springende Idee.

Vielen Dank schon mal.

Chica-rabiosa

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
DrBoogie

DrBoogie aktiv_icon

09:52 Uhr, 11.04.2014

Antworten
"c) macht mich fertig :-D)) Wie soll unter der Verwendung der Axiome der Definiton des affinen Raums dies zeigen?"

2. Acxiom: existiert ein Vektor v, so dass p=p+v.
1. Acxiom und p=p+v zusammen geben dann p-v=(p+v)-v=p+(v-v)=p+0=(p+v)+0=p+(v+0)=p+v=p. Also, p=p+v und p=p-v. Wegen Eindeutigkeit aus dem 2. Acxiom muss v=-v gelten=> v=0.

Chica-Rabiosa

Chica-Rabiosa aktiv_icon

09:57 Uhr, 11.04.2014

Antworten
Herzlichen Dank.

Aber wieso ist am Anfang p-v=(p+v)-v?
Antwort
DrBoogie

DrBoogie aktiv_icon

10:00 Uhr, 11.04.2014

Antworten
Weil ich schon weiß, dass p=p+v, darf also überall p durch p+v ersetzen.

Im Punkt d) ist es kein affiner Raum, weil kein v existiert, so dass (0,0,0)+v=(0,0,1)
(v=(x1,x2) hat keinen Einfluss auf die dritte Koordinate der Punkte).
Antwort
DrBoogie

DrBoogie aktiv_icon

10:08 Uhr, 11.04.2014

Antworten
Und im Punkt e) kann man die Addition aus dem Punkt d) übernehmen, in diesem Fall wird's passen, denn H besteht aus Punkten (x,y,1-x-y), also wir hätten auch auf die dritte Koordinate Einfluss. (Aber natürlich muss man noch beide Acxiome prüfen).
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

10:10 Uhr, 11.04.2014

Antworten
"Weil ich schon weiß, dass p=p+v, darf also überall p durch p+v ersetzen."

Ahja stimmt, dann kann man es ersetzen! Sorry und danke.

"Im Punkt d) ist es kein affiner Raum, weil kein v existiert, so dass (0,0,0)+v=(0,0,1)
(v=(x1,x2) hat keinen Einfluss auf die dritte Koordinate der Punkte)."

Ja das sehe ich mehr oder weniger jetzt auch, aber das reicht wohl nicht als Beweis?

e) "also hätten wir auf die dritte Koordinate Einfluss"

(x,y,1-x-y) Wie kommst du darauf? Was meinst du damit?
Antwort
DrBoogie

DrBoogie aktiv_icon

10:20 Uhr, 11.04.2014

Antworten
"Ja das sehe ich mehr oder weniger jetzt auch, aber das reicht wohl nicht als Beweis?"

Reicht vollkommen. Ein Acxiom verletzt - kein Affiner Raum, Ende. :-)

"(x,y,1−x−y) Wie kommst du darauf? Was meinst du damit?"

Dass man H nicht nur in der Form {(x,y,z): x+y+z-1=0} schreiben kann, sondern auch in der Form {(x,y,1-x-y)}. Dass dies die gleichen Mengen sind, ist einfach zu zeigen (und man sieht es sofort). Wenn Du es nicht sofort siehst: x+y+z-1=0<=>z=1-x-y.
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

10:48 Uhr, 11.04.2014

Antworten
"Dass man H nicht nur in der Form {(x,y,z):x+y+z1=0} schreiben kann, sondern auch in der Form {(x,y,1−x−y)}. Dass dies die gleichen Mengen sind, ist einfach zu zeigen (und man sieht es sofort). Wenn Du es nicht sofort siehst: x+y+z1=0z=1xy."
Oh ja *peinlich*. Manchmal denke ich wirklich, dass ich eine Matheschwäche habe...

Okay ich versuch's mal die Axiome zu prüfen.

Also wir haben die Addition definiert als (x1x2)+(p1,p2,p3):=(x1+p1,x2+p2,p3) welche wir übernehmen.

Wir haben die Menge H3 mit H={(x,y,z)3:x+y+z-1=0} bzw. H={(x,y,z)3:z=1-x-y}

1) Wir haben p+(u+v)=(p+u)+v jetzt versuchen wir wie in c) von der linken Seite zur rechten zu kommen.

(x1+p1x2+p2p3) hm nun weiß ich nicht wie ich fortfahren soll. Ich könnte das ja auseinanderdröseln zu:

(x1+p1x2+p2p3)=(x1x20)+(p1p2p3)

Aber dann fehlt mir irgendwie die "dritte Komponente". Und ich sehe nicht zwingend den Zusammenhang zu meiner Menge H.

Danke vielmals.
Antwort
DrBoogie

DrBoogie aktiv_icon

10:51 Uhr, 11.04.2014

Antworten
Du hast doch nicht die allgemeinen p1,p2,p3, sie liegen bei Dir alle auf H, also gilt p1+p2+p3-1=0, nutze das.
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

11:04 Uhr, 11.04.2014

Antworten
Hmmm.

"Du hast doch nicht die allgemeinen p1,p2,p3, sie liegen bei Dir alle auf H, also gilt p1+p2+p31=0, nutze das."

Ich weiß echt nicht was du meinst :(

p1+p2+p31=0 soll ich nutzen? Meinst du das jetzt notationsmäßig? Sprich:

H={(p1,p2,p3)3:p1+p2+p3-1=0} sprich so?

Ich verstehe einfach nicht wie ich die definierte Addition aus d) bezüglich der Menge anpassen soll? Bzw. du hast ja diese Umformung getätigt von x+y+z-1=0 zu z=1-x-y, da sehe ich noch nicht den Sinn/Nutzen.

Wie ich jetzt die zu prüfende Gleichung aufstellen soll weiß ich nicht :(
Antwort
DrBoogie

DrBoogie aktiv_icon

11:34 Uhr, 11.04.2014

Antworten
Sorry, ich habe nicht ganz Recht gehabt, die Addition muss man doch anders definieren.
Also:

Behauptung: (H,2,+) ist ein affiner Raum, wenn + so definiert wird: (p1,p2,p3)+(x1,x2):=(x1+p1,x2+p2,p3-x1-x2).

Beweis.
Prüfen wir, dass p+v in H liegt für alle p aus H und alle v aus 2 - das ist auch ein Teil der Definition, der geprüft werden muss!
Also, p=(p1,p2,p3) in H =>p1+p2+p3-1=0.
Mit v=(x1,x2) haben dann p+v=(x1+p1,x2+p2,p3-x1-x2) und dieser Punkt liegt in H, weil x1+p1+x2+p2+p3-x1-x2-1=p1+p2+p3-1=0

Prüfen wir das 1. Axiom:
(p+u)+v=((p1,p2,p3)+(x1,x2))+(y1,y2)=(x1+p1,x2+p2,p3-x1-x2)+(y1,y2)
=(x1+y1+p1,x2+x2+p2,p3-x1-x2-y1-y2)=(p1,p2,p3)+(x1+y1,x2+y2)=
=(p1,p2,p3)+((x1,x2)+(y1,y2))=p+(u+v).
Hier sehen wir, dass das 1. Axiom die Gestalt von H gar nicht nutzt.
Prüfen wir das 2. Axiom:
sei jetzt p=(p1,p2,p3) und q=(q1,q2,q3), beide aus H.
Wir nehmen x=q1-p1 und y=q2-p2 und v=(x,y).
Jetzt gilt p+v=(p1,p2,p3)+(x,y)=(p1+x,p2+y,p3-x-y)=(q1,q2,q3),
denn q3=1-q1-q2 (q ist aus H) => q3=1-(p1+x)-(p2+y)=(1-p1-p2)-x-y=p3-x-y (da p auch aus H ist, gilt p3=1-p1-p2).

Update. Korrigiert im ersten Teil des Beweises (v=(x1,x2)).
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

12:01 Uhr, 11.04.2014

Antworten
Naja so einige Dinge sind mir noch unklar.

Zuerst "p =(p1,p2,p3)Hp1+p2+p31=0. " Wieso ist das so? Woher kommt die -1?

Beim ersten Axiom woher kommt (y1y2)? Und wie tauchen dann in der dritten Komponente (bei p3) auf einmal x1 und x2 auf? Hast du da wieder was ersetzt?
Antwort
DrBoogie

DrBoogie aktiv_icon

12:11 Uhr, 11.04.2014

Antworten
"Zuerst p=(p1,p2,p3)Hp1+p2+p31=0. Wieso ist das so? Woher kommt die −1?"

H ist doch als {(x,y,z):x+y+z1=0} definiert. Das ist dasselbe -1.

"Beim ersten Axiom woher kommt (y1,y2)?"

Da ist bei mir u=(x1,x2) und v=(y1,y2). Etwas blöd, weil ich oben v=(x1,x2) benutzt habe, aber tut nichts zur Sache. Kannst ja umbenennen, wie Du willst.


"Und wie tauchen dann in der dritten Komponente (bei p3) auf einmal x1 und x2 auf?"

So wird doch Addition definiert. Lese einfach alles noch Mal. :-)
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

12:19 Uhr, 11.04.2014

Antworten
Aber wieso liegt jetzt der Punkt darin?

""Und wie tauchen dann in der dritten Komponente (bei p3) auf einmal x1 und x2 auf?"

So wird doch Addition definiert. Lese einfach alles noch Mal. :-)"

Ja stimmt ich meinte wie kommt das y1 und y2 In p3 zur Summe?
Antwort
DrBoogie

DrBoogie aktiv_icon

12:26 Uhr, 11.04.2014

Antworten
"Aber wieso liegt jetzt der Punkt darin?"

Wir müssen Axiome doch nur für Punkte aus H prüfen, nicht für welche x-beliebige.

Sonst kann ich nur empfehlen, ein bisschen Zeit zu nehmen und den Beweis nicht nur oberflächlich zu überfliegen, dann würden schon die Fragen von selbst entfallen.
Der Beweis prüft nur strikt die Definition, mehr nicht.
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

12:36 Uhr, 11.04.2014

Antworten
Bei meiner geringen Verständnisentwicklung reichen Wochen nicht aus. Im ersten Axiom ist auch ein Fehler, es müsste doch x2+y2+p2 sein in der zweiten Komponente, zweiter Absatz...
Antwort
DrBoogie

DrBoogie aktiv_icon

12:41 Uhr, 11.04.2014

Antworten
Ja, richtig, ein Fehler.

Versuche am besten selber diesen Beweis aufzuschreiben, Du kannst andere Bezeichungen verwenden und natürlich meine Fehler korrigieren. Vielleicht wird's dann verständlicher. Aber natürlich ist es kein sehr einfacher Beweis, und Mathe-Defizite kann man nicht in 5 Minuten "weglernen". Nur kann ich auch nicht viel helfen in so einem Fall, ich kann für Dich nicht denken. :-)
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

12:48 Uhr, 11.04.2014

Antworten
Ich versuche es wirklich, aber ich bekomme von 100 Aufgaben vielleicht eine hin. Was ist denn bei der b) die Antwort, das macht mich verrückt. :-D)
Antwort
DrBoogie

DrBoogie aktiv_icon

13:08 Uhr, 11.04.2014

Antworten
Bei b) weiß ich nicht wirklich, was für Antwort erwartet wird.
Was offensichtlich ist - die Punkte haben 4 Koordinaten in diesem Fall und Vektoren nur 3. Außerdem kann man Vektoren addieren und mit Zahlen multiplizieren, die Punkte aber nicht - das ist auch allgemein so.
Antwort
DrBoogie

DrBoogie aktiv_icon

13:41 Uhr, 11.04.2014

Antworten
Ich mache den Beweis noch ausführlicher. :-)


Behauptung: (H,2,+) ist ein affiner Raum, wenn + so definiert wird: (p1,p2,p3)+(x1,x2):=(x1+p1,x2+p2,p3-x1-x2).
Dabei ist H definiert als Menge von allen Tripeln (p1,p2,p3), welche die Bedingung p1+p2+p3-1=0 erfüllen oder gleichbedeutend damit die Bedingung p3=1-p1-p2.

Beweis.
Prüfen wir, dass p+v in H liegt für alle p aus H und alle v aus 2 - das ist auch ein Teil der Definition, der geprüft werden muss!
Also, p=(p1,p2,p3) in H, woraus folgt p1+p2+p3-1=0 (das folgt direkt aus der Definition von H).
Sei jetzt v=(x,y) beliebig aus 2. Dann haben wir nach der Definition p+v=(x+p1,y+p2,p3-x-y) und dieser Punkt liegt in H, weil (x+p1)+(y+p2)+(p3-x-y)-1=p1+p2+p3-1=0.

Prüfen wir das 1. Axiom.
Zu prüfen ist (p+u)+v=p+(u+v) für alle p aus H, u,v aus 2
Sei jetzt p=(p1,p2,p3) beliebig aus H, u=(x1,x2), v=(y1,y2) beliebig aus 2.
Dann gilt nach der Definition der Addition
(p+u)=(p1,p2,p3)+(x1,x2))=(x1+p1,x2+p2,p3-x1-x2).
Wieder nach der Definition der Addition gilt dann
(p+u)+v=(x1+p1,x2+p2,p3-x1-x2)+(y1,y2)
=((x1+p1)+y1,(x2+p2)+y2,(p3-x1-x2)-y1-y2)) (*).
Andererseits, gilt
p+(u+v)=(p1,p2,p3)+((x1,x2)+(y1,y2))=(p1,p2,p3)+(x1+y1,x2+y2)
und wieder nach der Definition der Addition
p+(u+v)=(p1,p2,p3)+(x1+y1,x2+y2)=
=(p1+(x1+y1),p2+(x2+y2),p3-(x1+y1)-(x2+y2))=
=((x1+p1)+y1,(x2+p2)+y2,(p3-x1-x2)-y1-y2)).
Das ist derselbe Ausdruck, der oben mit (*) bezeichnet wurde. Daraus folgt, dass (p+u)+v=p+(u+v), was auch zu beweisen war.

Hier sehen wir, dass das 1. Axiom die Gestalt von H gar nicht nutzt.

Prüfen wir das 2. Axiom.
Sie besagt, dass für zwei Punkte p,q aus H ein Vektor v aus 2 zu finden ist, so dass p+v=q gilt, und dieser Vektor ist eindeutig.
Sei jetzt p=(p1,p2,p3) und q=(q1,q2,q3), beide aus H.
Das heißt, dass p1+p2+p3-1=0 und q1+q2+q3-1=0 gilt.
Wir nehmen x=q1-p1 und y=q2-p2 und bilden den Vektor v=(x,y).
Jetzt gilt nach der Definition der Addition
p+v=(p1,p2,p3)+(x,y)=(p1+x,p2+y,p3-x-y)=(q1,q2,p3-x-y).
Um p3-x-y zu berechnen, benutzen wir, dass q1+q2+q3-1=0, woraus
q3=1-q1-q2 folgt.
Also, q3=1-q1-q2=1-(p1+x)-(p2+y)=(1-p1-p2)-x-y.
Da p aus H ist, gilt wie gesagt p3=1-p1-p2, also können statt (1-p1-p2) einfach p3 schreiben. Damit gilt q3=(1-p1-p2)-x-y=p3-x-y.
Also, p+v=(q1,q2,p3-x-y)=(q1,q2,q3).

Es bleibt nur die Eindeutigkeit zu zeigen, also dass aus p+u=p+v=q dann u=v folgt. Das ist dann ziemlich trivial, denn wenn p=(p1,p2,p3), u=(x1,x2) und v=(y1,y2), dann ist p+u=(p1+x1,p2+x2,p3-x1-x2) und p+v=(p1+y1,p2+y2,p3-y1-y2) und dann folgt aus p+u=p+v sofort durch komponenterweise Vergleich, dass x1=y1 und x2=y2.
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

16:45 Uhr, 11.04.2014

Antworten
Okay vielen lieben Dank. Fehlt also noch die a).

Dort muss ich eine passende Addition s.d. die Menge von Punkten A={(x,y,z,w)4:w=1} zusammen mit 3 einen affinen Raum bildet.

Jetzt soll die Menge mit dem 3 zusammen einen affinen Raum bilden. - Schwer.

w=1 was sagt mir das? x,y,z beliebig sind und w=1 fest ist. Nun?
Antwort
DrBoogie

DrBoogie aktiv_icon

16:57 Uhr, 11.04.2014

Antworten
Bei a) wird Addition so definiert:
(p1,p2,p3,p4)+(x1,x2,x3)=(p1+x1,p2+x2,p3+x3,p4)
Wenn p=(p1,p2,p3,p4) in A liegt, dann ist p4=1, das ändert sich auch nach der Addition des Vektors (x1,x2,x3) nicht, denn die Addition hat keinen Einfluss auf die 4. Komponente der Punkte. Also wenn wir zu einem Punkt aus A einen beliebigen Vektor addieren, bleiben wir auf A - damit wäre schon gezeigt, dass die Definition korrekt ist.
Bleiben die Axiome, aber das geht analog zu e), sogar einfacher in diesem Fall. Versuch Dein Glück. :-)
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

18:02 Uhr, 14.04.2014

Antworten
Einfacher, irgendwie naja genauso schwer wenn man e) nicht auf die Reihe bekommen hat.

1. Axiom (p+u)+v=p+(u+v)

mit (p1,p2,p3,p4)+(x1,x2,x3)=(p1+x1,p2+x2,p3+x3,p4)

Ich weiß nicht für mich ergibt das von vorne bis hinten keinen Sinn :(

Vor allem, weil man doch die Klammern aus dem Axiom nicht explizit anwendet in e):(
Antwort
DrBoogie

DrBoogie aktiv_icon

18:07 Uhr, 14.04.2014

Antworten
Was für Klammern? :-O

Und Sinn muss es keinen ergeben, es ist doch Mathe. :-) Es muss nur stimmen. :-)
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

18:09 Uhr, 14.04.2014

Antworten
Ja, daher bekomme ich es ja nicht hin :(
Antwort
DrBoogie

DrBoogie aktiv_icon

18:12 Uhr, 14.04.2014

Antworten
Es ist nur die Frage der Zeit. Ein großer Mathematiker hat mal gesagt: "Mathematik kann man nicht verstehen, an Mathematik kann man sich nur gewöhnen". Ich hatte übrigens gerade mit affinen Räumen vor ca. 20 Jahren große Probleme. Jetzt ist es für mich einfach. :-)
Chica-Rabiosa

Chica-Rabiosa aktiv_icon

20:16 Uhr, 14.04.2014

Antworten
Naja nur stundenlang Löcher in die Blätter starren bringt auch nicht viel. Und mehr verständlich bringt es ab einem gewissen Zeitpunkt meistens echt nicht mehr. Jedenfalls nicht bei so Normalos wie mir.
Antwort
DrBoogie

DrBoogie aktiv_icon

21:07 Uhr, 14.04.2014

Antworten
Doch, ich glaube schon, dass es auf die Erklärung ankommt. Nur ist es verdammt schwer, etwas per Einträge in einem Forum zu erklären, besonders wie in diesem Fall, wo Zeichnungen sehr helfen würden, schließlich geht es um Geometrie.

Aber grundsätzlich glaube ich persönlich, dass man auch komplexe Sachverhalte an einfachen Beispielen lernen sollte. Im Fall von affinen Räumen sind es Geraden auf einer Ebene. Geraden, die durch den Nullpunkt gehen, sind Vektorräume, aber Geraden, die nicht durch den Nullpunkt gehen, sind affine Räume - das ist schon mal der Unterschied (natürlich sind Vektorräume auch affine Räume, aber dies ist ein besonderer und wenig interessanter Fall).
So, und jetzt nimm einfach eine Gerade, z.B. die durch y=2x+3 beschrieben wird, und versuche sie formal als einen affinen Raum zu beschreiben (die Punktmenge ist also durch diese Gerade beschrieben, der zugehörige Raum muss eindimensional sein).
Antwort
Gisy123

Gisy123 aktiv_icon

21:10 Uhr, 14.04.2014

Antworten
Hallo,

ich bin ja spät dran bei so vielen Antworten.

Aber gleich zu Beginn mit der gesuchten Definition der Addition:

Um zu einer sinnvollen Addition zu gelangen, "homogenisiert" man die drei Komponenten des Vektors v=(v1,v2,v3)3 um eine 4.Komponente "0", addiert dann wie üblich komponentenweise und bekommt als Definition
p+v=(p1,p2,p3,1)+(v1,v2,v3):=(p1,p2,p3,1)+(v1,v2,v3,0)=(p1+v1,p2+v2,p3+v3,1).
Man erhält also -wie es verlangt wird - als Ergebnis einen Punkt.

Die Additionseigenschaften ergeben sich dann von selbst aus denen von .

Aber vielleicht ist das ja schon so oder so ähnlich beantwortet worden; dann vergiss es.

Gisy

Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.