Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Spiegelung am Einheitskreis

Spiegelung am Einheitskreis

Schüler

Tags: Komplexe Zahlen, Kreis, spiegelung

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Sabine2

Sabine2 aktiv_icon

16:35 Uhr, 19.04.2013

Antworten
Hallo,
bekannterweise beschreibt die Abbildung z1z¯ die Spiegelung am Einheitskreis. z und z¯ bezeichnet hier die konjugiert komplexe Zahl zu z (ist im Bruch nur schwer zu erkennen). Man kann z in Polarform schreiben, dann erkennt man leicht, dass reiφ auf r-1eiφ aubgebildet wird. Eine durch den Ursprung gehende Gerade wird also immer auf sich abgebildet. Die Radien von Wert und Bild sind reziprok. Desweiteren wird der Einheitskreis auf sich selbst abgebildet. Insgesamt kann man sagen, dass Kreisinneres und Kreisäußeres vertauscht worden sind. Das Rechtfertigt dann ja auch den Term "Spiegelung am Einheitskreis".

Mich interessieren nun zwei Fragen:

1) Spiegelt die oben genannte Abbildung wirklich nur am Einheitskreis? Wenn ja: Wie sieht eine Abbildung aus, die an einem anderen Kreis K spiegelt? (allgemeine Kreisgleichung im Komplexen |z-m|=rzz¯-mz¯-m¯z+mm¯=r2, mit z,m und r>0 und in .)

2) Man kann sich ja nun Fragen, worauf eine Gerade, die parallel zur Imaginärachse steht und nicht durch 0 geht, abgebildet wird. Die Gerade hat dann die Form Re(z)= x0.
Im Anhang sieht man, wieso das Bild ein Kreis ist und wie der Kreis aussieht.
Ich verstehe aber nicht, wieso man den Ansatz |w-12x0| wählt. Die Umformungen sind mir dann wieder klar.

Vielen Dank und Grüße,
Sabine

img001

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Hierzu passend bei OnlineMathe:
Kreiszahl (Mathematischer Grundbegriff)
Kreis (Mathematischer Grundbegriff)
Elementare Kreisteile (Mathematischer Grundbegriff)
Sinus (Mathematischer Grundbegriff)
Kosinus (Mathematischer Grundbegriff)
Tangens (Mathematischer Grundbegriff)

Online-Übungen (Übungsaufgaben) bei unterricht.de:
 
Online-Nachhilfe in Mathematik
Antwort
prodomo

prodomo aktiv_icon

17:18 Uhr, 19.04.2013

Antworten
Wenn du einen anderen Kreis benutzen willst, schiebst du am besten das Koordinatensystem dorthin, indem du die Koordinaten des neuen Ursprungs (Kreismittelpunkt) von allen anderen abziehst. Danach kannst du wieder mit dem Einheitskreis rechnen und anschließend zurückschieben. Aber es ergeben sich nicht wirklich grundlegend neue Dinge.
Der Beweis zu 2) ist in typischer Vorlesungsmanier geschrieben - auch deine Reaktion. Der Autor weiß eben, wie das am besten geht. Warum sollte er dir helfen, auch darauf zu kommen ? Dafür hat man Pauker....
Es gibt aber einen Königsweg, den man nicht nur hier, sondern bei allen Abbildungen gehen kann und der keine Tricks erfordert.
Löse die Gleichung w=1z¯ nach z und z¯ auf. Also z¯=1w und z=1w¯.
Jetzt schreibe die Gleichung der Geraden mit diesem z und z¯. Eine Parallele zur imaginären Achse hat 1)z+z¯2=x0. Ein Kreis in mit dem Mittelpunkt m heißt 2)(z-m)(z¯-m¯)=r2. Das entspricht |z-m|=r. Jetzt setze in 1) ein und und multipliziere aus. Forme dann auf die 2) um. Es ergibt sich
(w-12x0)(w¯-12x0)=(12x0)2. Mit dem Satz "dieser Punkt gehört nicht zur Bild der Geraden"ist der Kreismittelpunkt gemeint, nicht der Ursprung (was man leicht herauslesen könnte) !
Sabine2

Sabine2 aktiv_icon

18:24 Uhr, 19.04.2013

Antworten
Das hatte ich auch tatsächlich so verstanden, dass der Ursprung damit gemeint ist. Aber der Ursprung gehört auch nicht zum Bild der Geraden, er gehört ja noch nichtmal zur Geraden, weil w dann nicht definiert wäre. Oder gehört er zur Geraden und wird nicht abgebildet? Naja, wenn ie Gerade durch 0 gehen würde, würde sie eh auf sich selber abgebildet werden.

Was du und auch der Autor benutzt, ist die Tatsache, dass die gerade auf einen Kreis abgebildet wird. Das soll doch aber eigentlich gezeigt werden... Es wäre doch also viel schöner, aus der Geraden durch Einsetzen von z=1w¯ etc. auf einen Kreis zu stoßen.

Also meine Gerade hat die Form z+z¯2=x0, das ist klar. Jetzt setze ich z=1w¯ und z¯=1w ein. Ich erhalte 1w¯+1w=2x0w+w¯ww¯=2x0ww¯2x0-w-w¯=0ww¯-w2x0-w¯2x0=0. DAS ist eine Kreisgleichung, juhu. Es ergibt sich der Mittelpunkt 12x0 durch Koeffizientenvergleich mit der allgemeinen Kreisgleichung. Und für den Radius gilt r2=mm¯=14xo2r=±14x02=±12x0. Dieses ± kann nun mit dem Betrag von x0 vernachlässigt werden. Also r=12|x0|.
Stimmt meine Begründung zur Einf+hrung des Betrages? Wie würdest du es begründen?

Nochmal zu der Methode des Autors: Ich habe doch richtig verstanden, dass der Autor beweisen möchte, dass das Bild der Geraden ein Kreis ist (mit den genannten Eigenschaften). Der Autor setzt doch aber von Beginn an den Mittelpunkt fest und berechnet dann nur den Radius. Inwieweit ist das also ein Beweis?

EDIT: Durch dein eben erwähntes Prinzip habe ich grade gezeigt bekommen, dass jeder Kreis, der durch den Ursprung geht, auf eine Gerade, die natürlich nicht durch den Ursprung geht, abgebildet wird. Und jede Gerade (die nicht durch 0 läut) wird auf einen durch 0 gehenden Kreis abgebildet. Schon komisch diese Spiegelung am Kreis... Auf was wird eine gerade abgebildet, die den Einheitskreis nicht schneidet? Auf einen Kreis IM Einheitskreis, oder? Und auf was wir eine Tangente am Einheitskreis abgebildet? Auf einen Kreis der den Einheitskreis am "Tengentenpunkt" von innen berührt?
Antwort
prodomo

prodomo aktiv_icon

18:50 Uhr, 19.04.2013

Antworten
Ich habe die Kreisgleichung nur vorher erwähnt, damit man sie leichter erkennt. Herleiten kann man sie am leichtesten in Analogie zur Vektorrechnung mit |x-m|=r. Im Komplexen ist dann |z|2=zz¯. Mit z-m¯=z¯-m¯ ergibt sich sofort die Kreisgleichung.

w=1z¯ hat ja als Problempunkt den Punkt 0. 10 ist im Reellen nicht definiert, aber im Komplexen ist ein ganz gewöhnlicher Punkt (Stichwort:Riemann-Kugel). Dort entspricht er dem Nordpol, aber die Kugel ist dort genau so rund wie sonst auch ! Insofern MUSS jeder Kreis und jede Gerade durch 0 auf eine Gerade durch 0 abgebildet werden, weil nur eine Gerade ins Unendliche läuft, aber kein Kreis.
Sabine2

Sabine2 aktiv_icon

18:59 Uhr, 19.04.2013

Antworten
Ups, also habe ich quasi das selbe gemacht, wie das was du gemacht hast? Naja immerhin kommen wir auf das selbe :-D)
Was ist mit meinen übrigen Bemerkungen? Die Betragssache und die Überlegungen zu den Geraden?

10 ist unendlich?
Wenn man diesen Punkt im unendlichen hat, dann wird er auf 0 abgebildet? Und andersrum? Wenn also nun mein Kreis durch 0 geht, wird dieser Punkt auf den unendlich weiten Punkt abgebildet. Der Kreis geht also durch einen Punkt, der unendlich weit weg ist. Das würde bedeuten, dass der Radius unendlich groß ist und das hat eine Gerade zur Folge. Wow, das ist cool! Diese gerade die man rechnerisch erhält ist also eigentlich ein Kreis?
Antwort
prodomo

prodomo aktiv_icon

07:40 Uhr, 20.04.2013

Antworten
Ja, Geraden/Kreise werden wieder auf Geraden/Kreise abgebildet.
Sabine2

Sabine2 aktiv_icon

09:13 Uhr, 20.04.2013

Antworten
Okay, kannst du jetzt nochmal auf die offenen Fragen eingehen:
1) Wie kommen die Beträge um das x0 zu stande?
2) Die Frage zur Methode des Autors in meinem 2. Beitrag
3) Der Absatz darunter, quasi die Spezialfälle der Lage der Geraden (auch 2. Beitrag)
4) Wieso 10 unendlich ist. Oder ist es 1x und x0? Dann wäre es tatsächlich unendlich. Und was meinst du zu meinen anderen Gedanken, das die Geraden eigentlich unendlich große Kreise sind?
5) Dann wollte ich rechnerisch zeigen, dass eine durch 0 gehende Gerade auf sich selbst abgebildet wird: Die Gerade hat die Form b¯z+bz¯+γ=0. Nun ist z=1w¯z¯=1w. Da die Gerade durch 0 geht, ist γ=0. b¯w¯+bw=0b¯w+bw¯=0. Es ist also eine Gerade. Wieso ist dies aber die gleiche Gerade wie b¯z+bz¯=0?
6) Der Punkt 0 wird ja zunächst nicht abgebildet (lassen wir mal den Punkt im unendlichen weg.) Haben dann die Bilder der Abbildung ein "Loch"? Durch die Abbildung w=1z¯ ist ja eine Def-Menge von ganz ohne die 0 gegeben. DIe Def.-Menge entspricht dann ja der Bildmenge hier (Zähler ist nie 0). Also kann doch der Punkt 0 als Bild garnicht angenommen werde. Wenn ich aber eine Gerade abbilde, wird dieser Punkt angenommen... Man sagt ja, dass der Bildkreis dann durch 0 verläuft. Komisch, oder?
Antwort
prodomo

prodomo aktiv_icon

11:08 Uhr, 20.04.2013

Antworten
r2=14x02 ergibt r=12|x0| unter Berücksichtigung, dass r0 gelten muss.
Für den Beweis muss der Autor nur zeigen, dass die Gleichung wahr ist. Den Mittelpunkt kann er geträumt haben (für Schüler schwer einsehbar,aber das wird dir in den Vorlesungen noch oft begegnen).
Die Frage nach den Bildern allgemeiner Geraden y=mx+b mit b0 kannst du leicht selbst überprüfen, wenn du mit y=z-z¯2i und x=z+z¯2 einsetzt. Dann nimmt die Gerade die Form z( 1-mi)- z¯ (1+mi) -2ib=0 an. Jetzt z=1w¯ und z¯=1w einsetzen. Der Term ww¯ verschwindet nicht, das ist das Zeichen für einen Kreis. Weiterhin enthält die Kreisgleichung nur Terme mit w und w¯, kein "absolutes" komplexes Glied. Damit geht der Kreis zwingend durch 0.
Vereinfacht kann man sagen, dass in der unendlich ferne Punkt ein ganz normaler Bildwert ist und auch einen ganz normalen Bildwert hat. Später zerlegt man eine Abbildung sogar in 3 Teilabbildungen, bei denen genau diese Eigenschaft genutzt wird.
So kannst du auch jede Gerade als Kreis mit r= auffassen und so tun, als schlössen sich ihre "Enden" wieder zusammen. Insofern sind auch Nullstellen des Nenners keine "Lücken" wie in .
Sabine2

Sabine2 aktiv_icon

11:26 Uhr, 20.04.2013

Antworten
Hi,
1) okay
2) okay
3) okay
4) gleich mehr zu im Zusammenhang mit 6.
5) Noch nicht klar. Wieso sind die geraden z¯b+zb¯=0 und w¯b+wb¯=0 identisch?
6) Lassen wir bitte erstmal diesen Punkt im Unendlichen raus. Was passiert dann? Dann stimmen Bildmenge und Definitionsmenge von w(z)1z¯ überein. Sie enthalten z=w=0 nicht. Für z=0 wäre der Nenner 0 und für w=0 müsste der Zähler 0 sein. Beides geht nicht bzw. ist nicht definiert.
Wenn ich jetzt einen Kreis betrachte, der durch 0 geht, wird er ja auf eine Gerade abgebildet.Es gibt aber einen Punkt (den Ursprung) auf dem Kreis, der nicht abgebildet wird, denn er gehört nicht zur Def.-Menge der Abbildung. Wie sieht dann die Gerade (das Bild des Kreises) aus? Hat sie eine Lücke oder nicht?

Eine neue Frage: Auf meinen Kopien steht, dass eine parallele zur Re-Achse (Im(z)=0) auf einen Kreis mit Mittelpunkt i2y0 und Radius 12y0 abgebildet wird. Gezeigt wurde dies nicht, ich hab es dann eben mal nachgerechnet und komme auf den selben Mittelpunkt, erhalte aber als Radius 12|y0|, was in meinen Augen auch mehr Sinn macht, Begründung identisch wie bei den Beträgen von Re(z)=0. Stimmt das denn?

Du hast was von einem absoluten komplexen Glied geschrieben, es ist aber ein absolutes reelles Glied, was 0 ist, oder? Wenn nicht, weiß ich nicht, was du meinst..


Antwort
prodomo

prodomo aktiv_icon

11:08 Uhr, 21.04.2013

Antworten
Zu 5) wenn du z und w tauschst, bleibt die Gleichung doch erhalten.
zu 6) Betrag beim Radius muss sogar sein.
Mir scheint, die Rolle von ist noch nicht klar. Riemann zeigte, dass im Körper diesem Punkt keine Sonderrolle mehr zukommt, indem er die komplexe Ebene auf eine Kugeloberfläche abbildete. Dazu benutzte er k:[x-(0012)]1=14. Jedem Punkt der komplexen Ebene wird jetzt ein Punkt der Kugeloberfläche derart zugeordnet, dass die Gerade vom Nordpol (0|0|1) zu diesem Punkt gezogen wird und ihr Durchstoßpunkt durch die Kugel berechnet wird. Mit dem Strahlensatz kann man dann leicht die Zuordnung berechnen. Wichtig ist dabei, dass jeder Punkt, der unendlich weit nach außen rückt, dem Nordpol zugeordnet wird, weil die Verbindung als Grenzlage die Tangente im Nordpol hat. Aber der Nordpol ist kein besonderer Kugelpunkt, insbesondere verhält er sich gegenüber Drehungen der Kugel um beliebige Achsen oder Spiegelungen an Ebenen durch den Mittelpunkt wie jeder andere Punkt auch. Insofern kann er auch immer als Urbild oder Bild bei Abbildungen auftauchen.
Du kannst die Abbildungen von nach auch als Bewegungen der Kugel interpretieren, z.B. w=1z¯ als Spiegelungen an der Äquatorebene.
Antwort
prodomo

prodomo aktiv_icon

11:13 Uhr, 21.04.2013

Antworten
Ergänzung: mit "absolutes komplexes Glied" meinte ich einen Term ohne w bzw. w¯ bzw. z oder z¯. Bei hat man ähnlich wie bei der Vektorrechnung keine genormte Form einer Geraden - oder Kreisgleichung, weil beide auf 0 enden, damit sind alle Vielfachen auch richtig, ggf. auch komplexe Vielfache. Damit wird dann der absolute Term (so heißt er ja z.B. bei Polynomen) ggf. auch komplex.
Tritt ein solcher in einer Kreisgleichung nicht auf, so geht der Kreis durch den Ursprung, weil sich mm¯ und r2 hinweggehoben haben.
Sabine2

Sabine2 aktiv_icon

14:18 Uhr, 21.04.2013

Antworten
5) Aber wieso sollte ich z und w tauschen?

Also die Kreisgleichung im komplexen lautet |z-m|=r mit z,m und r.
Das kann man durch quadrieren dann umformen zu zz¯-mz¯-m¯z+mm¯-r2=0.
Dein "absolutes komplexes Glied" ist mm¯-r2, das meinte ich ja auch. Was ich nur meinte ist, dass das Gleid mm¯-r2 ja reell ist (r2 ist reell und mm¯=|m|2 auch), deswegen sprach ich von einem "absoluten reellen Glied".

Das mit dem Punkt im unendlichen finde ich noch ziemlich abstrakt. Wo liegt dieser Punkt im unendlichen? Im 1. Quadranten, im 3.,...? Das wird man sicher so nicht sagen können. Und welche Gründe sprechen dafür, ihn einzuführen, welche dagegen?

Kann man meine Frage unter 6)1. Absatz nicht beantworten? Ist es so eine Frage wie in der Quantenphysik, die man sich "nicht stellen darf"? :-P)

Du meintest in deinem ersten Beitrag noch, dass der Kreismittelpunkt gemeint war. Wieso ist dieser nicht Bild der Geraden?

Antwort
prodomo

prodomo aktiv_icon

09:16 Uhr, 22.04.2013

Antworten
Wenn es nur darum geht, aus der Gleichung eines Objektes dessen Typ zu bestimmen, ist doch der Name der Variablen egal. Mit z und z¯ ist es eine Gerade in der z-Ebene, mit w und w¯ eine in der w-Ebene. Wichtig ist, dass es eine GERADENGLEICHUNG ist.

Die Leistung von Riemann bestand gerade darin, dass der "Quadrant" bzw. die Richtung, in der die Gerade vom läuft, völlig egal ist. Das relle - und + wie auch jeder unendlich ferne Punkt in jeder Richtung haben alle den Nordpol der Riemann - Kugel als zugeordneten Punkt, das ist ja der Witz an der Sache.
Sabine2

Sabine2 aktiv_icon

13:35 Uhr, 22.04.2013

Antworten
Zu deinem ersten Absatz: Nein, es ist ja schon wichtig, dass es identische Geraden sind. Ich war aber wohl nicht ganz bei der sache... w und z haben ja eine identische Menge als Grundlage, nämlich ohne 0. Wenn man diesen unendlich fernen Punkt mit einbezieht, dann sogar ganz C. (Dieser Punkt gehört dann doch zu , oder?) Und dieser Wert b ist dann ja fest.

So was gibt es noch..
Meine beiden letzten Absätze sind noch offen.

Lieben Gruß! :-)


Sabine2

Sabine2 aktiv_icon

18:25 Uhr, 24.04.2013

Antworten
Interesse an einer Antwort besteht immer noch :-)
Antwort
prodomo

prodomo aktiv_icon

06:17 Uhr, 25.04.2013

Antworten
Der Ursprung wird, wenn er auf dem Kreis liegt, ganz normal abgebildet, und zwar auf den unendlich fernen Punkt. Begriffe wie Definitionsmenge sind hier ebenso unsinnig wie Lücken o.ä. Das mag etwas gewöhnungsbedürftig sein, macht aber vieles einfacher.
Sabine2

Sabine2 aktiv_icon

06:55 Uhr, 25.04.2013

Antworten
Okay ich sehe schon, muss mich wohl einfach an dieses unendlich fernen Punkt gewöhnen. Ist ja aber auch sinnvoll, diesen einzuführen.
Frage beantwortet
Sabine2

Sabine2 aktiv_icon

06:56 Uhr, 25.04.2013

Antworten
Danke für die Antwort :-)