[table][tr][td][url=https://www.geogebra.org/m/y9cj4aqt#material/qx6qw5sn][img]data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACoAAAA2CAYAAACx1wu7AAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8YQUAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAuZSURBVGhDvVkLVFRlHv/dO8PAwOAUoQjIw1dQUVpYItBRVo1Ve1uZqbWV7qZBSLtqnVP2sMe2Z9ujp8yspIxs10daiGn5qFRcU0wTAh8oAoI8Z2CGGZjn3f/33RmEeM2MuL9zPube73V/9//+LsKOPUelol/OYdeOnxGkUeOxuZMRHxeFf2/Yh0MFxYiLH4Y5c6bA7pTwRe4eXCi/BAGAQxDwRONJRFgNdHd1INGTHKKISpUG4tiE4TC2tMJud6BZb4TVZkdgkBpVVXUQFSLKy+sQrA1CcHAAKi7UujaQ/0i0iaRQXrUGhQIKEshwmwlC+l1LJZXKDzqdEZIkITIyFAYDDYgCWo1tYGOBQf4QaYHRaIbN5uBkHQ4nXsq6GyNjhvD7qwcJFqsDQmrKc8RPglrtz4laLDZ5mK6vuUaD5uZWCERS7gP1BfE+RvTDtdkYM2YkH7tasNvtWJWTD5ERiogIxZPzZ2DajCRce20wRJJmXHwUMjIfwPjxN8Df34+aCql33owFC+/B9ddHuba5unA4HERyB1Zv2AMlk1a7xYqk8fEor6hBft4hOMlxgshO0/4wBqdKK3DkyClaJiA6NgyTJo7Bju2H+Ub6xmbUVMl2O+AQRKzPK8DHG/dxPlz1GvJ2ZpsKssfS4nKu9rDwEARrAiE5nSgrq6GVEkk5mquf2XN9Ywv+ZChFhN0kbzyAYMLbFxyOr1WD4eCeS313TV0imUzt7JKHHebpfn4KtLdb5T7qVCgVfIxFBkaU9TnpDwtP4VYjjQwgaN+fNOHYponkIZDB2CpB/MvCexEVNRhKIhOgVmHsraMwe+4UhIVdS1MkaMl50tPHYfLURApRak7SDSbtgWwMBzRDu5E0GAUo754xHlWVddiyeT8nMW3aOHKgG3H0cAnq6vREVcDDsybBTmHp4IEivpiBbTz0nnTEalWunisDU/fWI2X4SicnEwZzG6AJ1GLhnCQIi7NWS80U8MvOVpPROpGUnECk7KioqEMT2SHz9rG3jeaqLzx6iqufgf0OWHgie8r9+gDeeH8rxUw5PIZor8HMPyZh7gMTMIy0K6QkZ0osmLMAz8A8zA1mDm5ibjB7dVDfQBFljrtl58946d3/uEhKSJuQgJczHkJMxHWw1dSh8atdLOEI5EACxt0ej9jh4RRDRb6Bgpxq+ow7EBjoT3fsJQQe7NPTb+djDA4KazbSj6/NSi1vdyFeXbmJk2SkH0xPwnvLn8QwpYRLq3JQct8CXHzjPQjJEzKlxHGjsXz5PDQ2GbH8pRxumw89MgkLFkzH7u8LsWrlNm6/S5fNQnJKAlav2Y5vthVgnqoB4QKLDr6hSBGML6xBaKcsx/R4/5RxeO3xqWjL34uaNV/AVtsAgYUZgiImJulVU2s7xSsnzpRdwuFDv/EBM4UsU7sFJ46dxfnztaRqOydb12DAfw8WQd9iwtj6cxjUVA+hudnrVmwW8LkyFBauLSCNKrYl0RrUZr8OPRF1tlK9wUcIZJbCnalZJHHybWanNMKzAJ8hT3P3MbDU6npBMMt9ouFXr+Mo2++MZgjWBcfARNmHYTysyNRXQVVT2xGmOGiyX1goQu6/C8KKFbnSrp1HqE8mygoRZqvHfznrmgyMHBHB825FRT23IwbG/aloAZEB8gt5BJp6qsGMdXoRRiLJdkodqsVfFSYEWi3yHDfoOepb4hH66D1Qj4qBoG9ulTbkfo/NFEdZBZWxeCYSbx2Jf727BQWk4hGjIvHCC7PhJKJvvfkl1amkanoj5vXvr85EAtWzHoEeXHjyPDJXfAYdVV/sfVPGxWPVi3Nw3aBA16SuEPyUEJRUlxLEAxTEy87V8Ae3kN2dKblABIspv1fzCFBd1YATx8twnNrFi2TcTOwuKGkTFmf7ayqVCidPVyHrjfUdJJMT47Dy5ccxOCwEojqgx+YmycBtlF24Veomwm4FQXL9uvvkOQzsxT5Ysxg339KPRGlJ8ZkqPL1sDZqIJMNtN8biwxXzMThkEL/3BLx6Yk4STjUpK0R0TYYOQgkJsSgtreQZi3X5kSpiqdQ7S1nMQR2LJgxDlDaAz+0ZEirgj5U/l0NH2Y9htMOKt8ZEYohWze89BY+jjNDCjAdQc7EOH3/0LZqI7MSJt+Cp+dPx7a5CbN30I/f4R+mQN4n6P167HQcOlZDX91E9kRKqxUCsDR0NvZIlDWB4eyuerzyFMEsbpE4m5AnIDAVU1zRC19AMo9mCRsrvTKK1tTp+2NM16Ol4YkVbmxX1tU08/9fWNXMJc7Dn9dBqBTU+ue4yyWiLCdmMpLXda5IMwoy0bMlPpSSDV3LnaW2lt6XYE8BTJ6mbcrvBYObXg7SBsNFBi9IFVTY2zGw9hzCHPNYZjU4Rq/0i0aAK4CEoymLG3ypLEU6S9BWCrrHFLRuv4S84IUdDF+iy4lITnnl1HcrryNapa5jVjCUVV0aSgVJphxKvGJVkQvOXfYAzF+r4fYSLZMQVkmSQc9gA4FJdE7Je/7SD5FBbG567dHpASDII5/O+uyKJMrdoUarw+vZjKCw6z+81TjuWVv+GuJaBO08JX4+6w2eijJRZ6YfPtSNQ7BfM1aNx2vB8TSkSmmUbHSiIIgVzX1u7qMCG4FiUuEgGOuxE8hRuGmCSDEJe3ASv92RhsI2ofU4ki/y1vE9NJLMunsGtRjqd9QCBTgWCQuG68x5C8Z4Cr4maKDH8PXcPjtfQKZVYBzodyKg6jcReSLLsEDr7XoTcN1WuD32A4PQyPLUYTHQQ24gdP/zCM1gAkXyWJHmHock1oweQmUS9lo2IxU/xWOsLKIESWw+bwWjGKys3I3/fMZkkHV8W1JT1TfL36GljD5pQX1nt0Tu22yX8M3c3vtl9lN+rA/yx9KYhuCFnA7e/PtFZol7AYTLD3qDjxxNhe+KUfonaBQW2aiKx30GlGUnSX+WH17IfwWSTDufmL+tS4PaIHogyg+uvNmk7V4HaTzaiZW8BRElPlVAfzaZvwTa7BgftVKQwdfv74ZWsh/DwtCRe+vkC9hH4EJ1u2UmWEe4N6hHRiF7+HEZ+9HbfKdROw/maKBwIGgISPie25M/3YtaMZP4Rwke/gMVqx+JXNmHmMx8hf+8JHkV69GkSuYKOJMFjb4Qy5JEHXb1dYbPZ8eXxCvxgUfFPjGwff1UwpqaO7fhS4ps8Zcc3U317rOQiDh+/gMnJo7Fgdgomjo/DIP7FsPvOypS3X3RdXoaNzkOrc7/D3sJ6IikfQwyUtgUnvaHrkw+HryJ1gwi1W20U6kqw/0gZ0iZcT4RTkXr7KAzSdCXcTfXs0PbZlh/x3vqd3JYYSSMdd1qM7AOk7AQd8FWkvwftYzRbkbe3GI9l5WDu4hx8t78YBlbEux4oOq1WuJuNjhzrt/6Ef6z9pitJg5udTNaNzpz7Qvd5va80mqz4liQ8K2Md5mWvw84fi6ivHWLB3EUomPssDs57Fu88/TLeWZvHVS8vApqJ5GWal/96A28Fz57ACOfvZYRz8FjmOojNx36F/tgJ7CqpxmcXDLC6PqS2EsnLknShJ47e8/Z4DZtmIqfb8UOxbKNH1KHYpI2hwC6bLCUEinHyx4fO4DYqX8rwhmTnubSRV1ImpxJ/1YRjoza2C0ldc3eSHLSgc+TofN0vOs+VvKLJIW4YPBw2V8gx0fGmV5Id+N1DvH8mrfFGFTLENoudX5iZJPX9kWQa9P4h3eGDRNmfdgvQ1K8kZZDyXVf/X4gUOtGo84xkt0m+CpfWebtUbGiSWBXmEbpt7qtwfVgnagIpf3t85mLFiSx9t3CZX7Dn9tUY2G/HOtdaT8Dqn6BAWh+Tuoh/32dx3v3b20bBGhUyHk+D1vUp23zyNJo2b4dAx+a+INGRZcj0NPgnJbI72KjMW/XpPjTqe/nPNL0V1eY8/LFfJkghOmWRV18Bu9aNtNDTtXzZ5bU9lXK9QZKA/wGc8BOyhu9N2gAAAABJRU5ErkJggg==[/img][/url][/td][td] [size=50]Diese Aktivität ist eine Seite des [color=#980000][b]geogebra-books[/b][/color] [br] [color=#0000ff][u][b][/b][/u][/color][url=https://www.geogebra.org/m/nzfg796n][color=#0000ff][u][b]Elliptische Funktionen & Bizirkulare Quartiken & ...[/b][/u][/color][/url] ([color=#ff7700][i][b]21.06.2023[/b][/i][/color])[/size][/td][/tr][/table][right][size=50][i][b][br]Diese Seite ist auch ein Teil des [color=#980000][i][b]GeoGebrabooks[/b][/i][/color] [url=https://www.geogebra.org/m/kCxvMbHb]Moebiusebene[/url] ([color=#ff7700]29.09.2020[/color][/b][/i])[/size][/right]

[size=85]Im komplexen, 3-dimensionalen Vektorraum[/size] [math]\large\mathcal{G}[/math] [size=85]mit nicht-ausgearteter quadratischer Form [math] \bullet [/math][br]wird eine [i]orientierte[/i] Basis[/size] [math]\mathbf\vec{p}_\infty,\,\mathbf\vec{g}_0,\,\mathbf\vec{p}_0[/math] [size=85]mit[/size] [math]\mathbf{Det}\left(\mathbf\vec{p}_\infty,\mathbf\vec{g}_0, \mathbf\vec{p}_0\right)=1[/math] [size=85]ausgewählt, [br]für welche die beiden Produkttabellen gelten sollen: [/size][br][list][br] [math]\Large\begin{tabular} {|c||c|c|c|} \hline \bullet & \mathbf\vec{p}_\infty & \mathbf\vec{g}_0 & \mathbf\vec{p}_0 \\ \hline\hline \mathbf\vec{p}_\infty & 0 & 0 & 1 \\ \hline \mathbf\vec{g}_0 & 0 & -1 & 0 \\ \hline \mathbf\vec{p}_0 & 1 & 0 & 0 \\ \hline \end{tabular}[/math] [math]\Large\begin{tabular} {|c||c|c|c|} \hline [\;\,,\;] & \mathbf\vec{p}_\infty & \mathbf\vec{g}_0 & \mathbf\vec{p}_0 \\ \hline\hline \mathbf\vec{p}_\infty & \mathfrak{o} & \mathbf\vec{p}_\infty & \mathbf\vec{g}_0 \\ \hline \mathbf\vec{g}_0 & - \mathbf\vec{p}_\infty & \mathfrak{o} & \mathbf\vec{p}_0 \\ \hline \mathbf\vec{p}_0 & - \mathbf\vec{g}_0 & - \mathbf\vec{p}_0& \mathfrak{o} \\ \hline \end{tabular}[/math][br][/list][br][size=85]Die Bezeichnung [math]\large\mathcal{G}[/math] ist gewählt, weil sich dieser Vektorraum als [i][b]Geradenraum[/b][/i] des Kugelmodells der [color=#0000ff][i][b]Möbiusebene[/b][/i][/color] deuten läßt. [br]Siehe zu diesem [i][b]Übertragungsprinzips[/b][/i] das [color=#980000][i][b]möbiusebene-book[/b][/i][/color]-Kapitel [math]\hookrightarrow[/math] [u][color=#0000ff][i][b][url=https://www.geogebra.org/m/kCxvMbHb#chapter/168840]Möbius - Geradenraum[/url][/b][/i][/color][/u][br][br]Das [/size][size=85][size=85][b]Lie[/b]-Produkt[/size] [ , ] wird definiert wie im [color=#9900ff][i][b]euklidischen Vektorraum[/b][/i][/color] das Kreuzprodukt [math]\otimes[/math]:[br][/size][list][*][size=85][math]\left(\mathbf\vec{g}_1,\,\, \mathbf\vec{g}_2\right)\; \mapsto\;\left[\,\mathbf\vec{g} _{1}\,,\,\mathbf\vec{g}_2\,\right][/math][/size] [size=85]durch die eindeutig bestimmte Linearform [/size] [math]\mathbf{Det}\left(\mathbf\vec{g},\mathbf\vec{g}_1, \mathbf\vec{g}_2\right)=\mathbf\vec{g}\bullet \left[\,\mathbf\vec{g} _{1}\,,\,\mathbf\vec{g}_2\,\right][/math] [size=50][size=85] für alle [/size][/size][math]\mathbf\vec{g}\in \large\mathcal{G}[/math][/*][/list][math]\left(\large\mathcal{G}\;,\bullet,\;\left[\;,\;\right]\;\right)[/math] [size=85]ist damit nichts anderes als eine Komplexifizierung des [/size][size=85][size=85][color=#9900ff][i][b]euklidischen Vektorraumes[/b][/i][/color][/size].[br]Das Applet oben ist eine reelle Vereinfachung der komplexen Verhältnisse: [br]so kann zB. nicht dargestellt werden, dass [i]jede[/i] GERADE in der zu [math]\large\mathcal{G}[/math] gehörenden komplexen Ebene die Quadrik [math]\large\mathcal{Q}[/math] [br](hier als Ellipse dargestellt) in einem oder in zwei PUNKTEN schneidet - komplex ist jede quadratische Gleichung lösbar![br][br][size=85]Die PUNKTE auf der Möbiusquadrik [math]\large\mathcal{Q}[/math] mit Ausnahme von[/size] [math]\infty\equiv \mathbf\vec{p}_\infty[/math] erreicht man durch die komplexe Parametrisierung:[/size][br][list] [math]\mathbf\vec{p}(z):=\frac{z^2}{2}\cdot \mathbf\vec{p} _\infty+z\cdot\mathbf\vec{g}_0+\mathbf\vec{p}_0,\mbox{ mit }z\in\mathbb{C}[/math] [/list][size=85]Es besteht somit eine 1 zu 1 Beziehung zwischen den [color=#0000ff][i][b]Möbius-Punkten[/b][/i][/color] in [math]\mathbb{C}\cup \{ \infty \}[/math] und den PUNKTEN auf [math]\large\mathcal{Q}[/math].[br]Die Gruppe der gleichsinnigen Möbiustransformationen erweist sich als isomoph zu [math]\mathbf{SO\left(3,\mathbb{C}\right)}[/math].[br]Mehr noch: [math]\left(\large\mathcal{G}\;,\bullet,\;\left[\;,\;\right]\;\right)[/math] ist die [b]LIE[/b]-Algebra dieser Gruppe![br]Die in den Tabellen verwendeten Vektoren nennen wir ein [color=#9900ff][i][b]euklidisches Koordinatensystem[/b][/i][/color] von [math]\large\mathcal{G}[/math].[/size]

[size=50][b][i][u][color=#cc0000]Kurze Deutung der Basis-Vektoren:[/color][/u][/i][/b][br]Die [math]xy[/math]-Ebene [math]\mathbb{C}\cup\left\{\infty\right\}[/math] werde [b][i][color=#0000ff]stereographisch[/color][/i][/b] auf die [b][i][color=#bf9000]Einheitkugel [/color][/i][/b]projiziert.[br] [math]\mathbf\vec{p}_0[/math] ist eine Tangente an die Einheitkugel in Richtung der [math]x[/math]-Achse,[br] [math]\mathbf\vec{p}_\infty[/math] ist eine Tangente in [math]\infty[/math], ebenfalls in [math]x[/math]-Richtung. [br][math]\mathbf\vec{g}_0[/math] ist die Verbindungsgerade dieser beiden Punkte, im Raum also die z-Achse.[br][math]\mathbf\vec{p}(z)[/math] ist eine Tangente an die Kugel im Bildpunkt der stereographischen Projektion von z.[br][math]\mathbf{\vec{g}}=\frac{1}{\mathbf{\vec{p}\left(z_1\right)}\bullet \mathbf{\vec{p}\left(z_2\right)}}\cdot\left[\mathbf{\vec{p}\left(z_1\right)},\mathbf{\vec{p}\left(z_2\right)}\right][/math] ist die [b][i]Verbindungsgerade[/i][/b] der stereographischen Bilder von [math]z_1[/math] und [math]z_2[/math].[br][/size]

[size=85]Diese Darstellung der ebenen Möbiusgeometrie hat Nachteile, aber sehr viele Vorteile:[br]Die Kreise als einzelne Objekte sind nicht leicht zugänglich![br]Dagegen steht die Vielfalt der Deutungsmöglichkeiten der PUNKTE und der Vektoren von [math]\large\mathcal{G}[/math].[br][/size][list][*][size=85]Die - [math]\hookrightarrow[/math] [url=https://www.geogebra.org/m/kCxvMbHb#material/fu38rxw6]projektiv anzusehenden[/url] - PUNKTE [math] \left[\;\mathbf\vec{p}\;\right][/math] auf [math]\large\mathcal{Q}[/math]- d.h. es ist [math]\mathbf\vec{p}\bullet \mathbf\vec{p}=0 [/math] - sind die Punkte der [color=#0000ff][i][b]Möbusgeometrie[/b][/i][/color].[/size][br][/*][*][size=85]Die Vektoren [math] \mathbf\vec{p}[/math] mit [math]\mathbf\vec{p}\bullet \mathbf\vec{p}=0 [/math] können als Tangentialvektoren gedeutet werden: ist [math]z(t)[/math] eine differenzierbare Kurve, so ist [math]\mathbf\vec{p}(t):=\frac{1}{z'(t)}\cdot\left(\frac{z^2}{2}\cdot \mathbf\vec{p} _\infty+z\cdot\mathbf\vec{g}_0+\mathbf\vec{p}_0\right)[/math] tangential an die Kurve. [br][math] t[/math] kann reell oder komplex sein. Im 2. Falle werden komplex-analytische Funktionen erfasst![/size][br][/*][*][size=85]Die Vektoren [math] \mathbf\vec{g}\in \large\mathcal{G}[/math] können als [i][b]infinitesimale[/b][/i] [color=#0000ff][i][b]Möbius-Bewegungen[/b][/i][/color] gedeutet werden: [br]die lineare Abbildungen [math] \mathbf\vec{g} \mapsto \mathbf{ad}\; \mathbf\vec{g}[/math], erklärt durch [math] \mathbf{ad}\; \mathbf\vec{g} \left(\mathbf\vec{\tilde{g}}\right) = \left[ \mathbf\vec{g}, \mathbf\vec{\tilde{g}}\right][/math] für alle [math]\mathbf\vec{\tilde{g}} \in \large\mathcal{G} [/math] , [br]wirken auf die Möbiuspunkte auf [math]\large\mathcal{Q}[/math]. [br]Die Bahnkurven der Bewegungen [math]t\mapsto\mathbf{exp}(t\cdot \mathbf{ad}\,\mathbf\vec{g})[/math] sind je nach Typ des Vektors [math]\mathbf\vec{g}[/math] für reelle Parameter t [br] [/size][size=85][size=85][i][b]hyperbolische[/b][/i][/size] ([math]\mathbf\vec{g}\bullet\mathbf\vec{g} >0[/math]), oder [/size][size=85][size=85][i][b]elliptische[/b][/i][/size] ([math]0>\mathbf\vec{g}\bullet\mathbf\vec{g} [/math]) oder [i][b]parabolische[/b][/i] ([math]\mathbf\vec{g}\,^2=0 [/math]) [color=#ff0000][i][b]Kreisbüschel[/b][/i][/color]; [br]für [math]\mathbf\vec{g}\,^2\ne 0, \mathbf\vec{g}\,^2\notin\mathbb{R}[/math] erhält man [i][b]loxodromische[/b][/i] Bahnkurven, [br]das sind die Kurven, welche ein [i][b]hyperbolisches[/b][/i] ( - oder ein [i][b]elliptisches[/b][/i] - )[color=#ff0000][i][b] Kreisbüschel[/b][/i][/color] unter konstantem Winkel schneiden. [/size][/*][*][size=85]Die Bewegungen [math]t\mapsto\mathbf{exp}(t\cdot \mathbf{ad}\,\mathbf\vec{g})[/math] sind [i][b]Ein-Parameter-Untergruppen[/b][/i] der [color=#0000ff][i][b]Möbiusgruppe[/b][/i][/color]. [br]Solche Bewegungen einer Gruppe werden als [i][b]W-Bewegungen[/b][/i] bezeichnet. [br]Auch hier erhält man eine reelle - [math]t\in\mathbb{R}[/math] - oder eine komplexe - [math]t\in\mathbb{C}[/math] - Gruppe.[br][/size][/*][/list]

[size=85][br][list][*]Die Tangentialvektoren der Bahnkurven einer [i][b]W-Bewegung[/b][/i] [math]t\mapsto\mathbf{exp}(t\cdot \mathbf{ad}\,\mathbf\vec{g})[/math] auf der Quadrik [math]\mathbf{\mathcal{Q}}[/math] erzeugen [br]ein lineares Vektorfeld: [math]\mathbf\vec{g}\bullet\mathbf\vec{p}=1[/math], mit [math]\mathbf\vec{p}\bullet\mathbf\vec{p}=0[/math]. [size=50]Siehe dazu das [color=#980000][i][b]book[/b][/i][/color]-Kapitel [math]\hookrightarrow[/math][/size] [color=#0000ff][u][i][b][url=https://www.geogebra.org/m/kCxvMbHb#chapter/168949]Kreisbüschel oder lineare Vektorfelder[/url][/b][/i][/u][/color][br][br][/*][*]Die Vektoren [math]\mathbf\vec{g}\in\mathbf{\mathcal{G}}[/math] mit [math]\mathbf\vec{g}\,^2\in \mathbb{R}[/math] können als [i]Geradenvektoren[/i] im [i][b]Kugel-Modell[/b][/i] der [color=#0000ff][i][b]Möbiusebene[/b][/i][/color] gedeutet werden: [br]Die GERADE [math]\mathbf\vec{g}\in\mathbf{\mathcal{G}}[/math] mit [math]\mathbf\vec{g}\,^2 < 0 [/math] schneidet die [color=#ff0000][i][b]Kugel[/b][/i][/color] in 2 Punkten. [br]Die GERADE [math]i\cdot \mathbf\vec{g}[/math] ist die nicht-schneidende [i][b]Polare[/b][/i] dazu![/*][*]Von Interesse sind auch die [i][b]quadratischen Vektorfelder[/b][/i]: [math]\mathbf\vec{g}_1\bullet\mathbf\vec{p}\cdot\mathbf\vec{g}_2\bullet\mathbf\vec{p} =1[/math] mit [math]\mathbf\vec{p}\bullet\mathbf\vec{p}=0[/math]. [br]Die Berechnung ergibt eine [i][b]elliptische Differentialgleichung[/b][/i] [math]\left(z'\right)^2=c\cdot\left(z-f_1\right)\cdot\left(z-f_2\right)\cdot\left(z-f_3\right)\cdot\left(z-f_4\right)[/math], [br]deren Lösungskurven bei speziellen Lagen der [color=#00ff00][i][b]Brennpunkte[/b][/i][/color] [math] f_1, f_2, f_3, f_4 [/math][color=#ff7700][i][b][br]konfokale bizirkulare Quartiken[/b][/i][/color] sind; dies ist zB. der Fall, wenn die [color=#00ff00][i][b]Brennpunkte[/b][/i][/color] auf einem [color=#ff0000][i][b]Kreis[/b][/i][/color] liegen![/*][*]Läßt man oben oder unten im Applet die "[color=#00ff00][i][b]Brennpunkte[/b][/i][/color]" [math]z_1,z_2[/math] gegeneinander laufen, [br]so nähern sich die [color=#ff0000][i][b]Kreisbüschel[/b][/i][/color] und die Bahnkurven den [color=#ff0000][i][b]Kreisen[/b][/i][/color] von [i][b]parabolischen[/b][/i] [color=#ff0000][i][b]Kreisbüscheln[/b][/i][/color]![br][/*][/list][u][i][b]Frage: [/b][/i][/u] Welches sind die Bahnkurven von [i][b]W-Bewegungen[/b][/i] in der Gruppe der [color=#741B47][i][b]LORENTZ-Transformationen[/b][/i][/color]? [br]Da [math]\mathbf{SO\left(3,\mathbb{C}\right)}[/math] isomorph zur Gruppe der [i][b]orthochtronen[/b][/i] orientierungserhaltenden [/size][size=85][size=85][color=#741B47][i][b]LORENTZ-Transformationen[/b][/i][/color][/size] ist, [br]ist [math]\left(\large\mathcal{G}\;,\bullet,\;\left[\;,\;\right]\;\right)[/math] isomorph zur [b]LIE[/b]-Algebra dieser Gruppe![/size]

[size=85]Dieses Vektorfeld ist mit den oben angegebenen Formeln des [i][b]Übertragungsprinzips[/b][/i] konstruiert:[br]Zu [math]z_1,z_2,z\in\mathbb{C}[/math] werden [math]\mathbf{\vec{p}(z_1)},\mathbf{\vec{p}(z_2)},\mathbf{\vec{p}(z)}[/math] berechnet. [br]Die [color=#0000ff][i][b]Verbindungsgerade[/b][/i][/color] im Kugelmodell ist [math]\mathbf{\vec{g}}=\frac{1}{\mathbf{\vec{p}\left(z_1\right)}\bullet \mathbf{\vec{p}\left(z_2\right)}}\cdot\left[\mathbf{\vec{p}\left(z_1\right)},\mathbf{\vec{p}\left(z_2\right)}\right][/math].[br]Der Richtungsvektor [math]w[/math] im Punkt [math]z[/math] wird mit Hilfe des linearen Vektorfeldes [math]\left(e^{\varphi\cdot i}\cdot \mathbf{\vec{g}\right)\bullet \mathbf{\vec{p}(z)}=w[/math] berechnet.[br]Dank [color=#980000][i][b]ge[/b][/i][/color][icon]/images/ggb/toolbar/mode_circle2.png[/icon][color=#980000][i][b]gebra[/b][/i][/color] sind alle komplexen Rechnungen problemlos![/size]