Topologie zu algebraischen Kurven |
21.05.2013, 20:22 | Mandelbrötchen | Auf diesen Beitrag antworten » | ||||
Topologie zu algebraischen Kurven gleich noch etwas, das sich mir nicht direkt erschließt. Gegeben ist folgende Situation: Es sei eine ebene algebraische Kurve. Dann ist eine offene Teilmenge von . Das soll direkt aus der Qutiententopologie auf folgen, ich bin mir aber nicht recht sicher wie genau. Wäre super, wenn mir jemand einen Anstoß geben könnte. Viele Grüße, Mandelbrötchen |
||||||
21.05.2013, 20:48 | watcher | Auf diesen Beitrag antworten » | ||||
Hallo, was genau meinst du hier mit Quotiententopologie? Was ist die zugrunde liegende Toplogie? Die Zariskietopologie? |
||||||
21.05.2013, 21:02 | Mandelbrötchen | Auf diesen Beitrag antworten » | ||||
Mit der Quotiententopologie meine ich folgendes: heißt dann offen, falls offen. Die zugrunde liegende Topologie auf sollte dabei die übliche Topologie auf sein. |
||||||
21.05.2013, 21:07 | watcher | Auf diesen Beitrag antworten » | ||||
Was ist denn die übliche Topologie? Da du von algebraischen Kurven sprichst ist die "übliche Topologie" die Zariskietopologie. Also bitte informieren welche Topologie genau gemeint ist. |
||||||
21.05.2013, 21:16 | Mandelbrötchen | Auf diesen Beitrag antworten » | ||||
Kann ich dir leider auch nicht sagen. Beziehe mich auf Kirwan "Complex Algebraic Curves" Definition 2.15, der an dieser Stelle auf Sutherland "Introduction to metric and topological spaces" S.68 verweist. Beide sagen nicht, welche Topologie sie voraussetzen - leider. |
||||||
21.05.2013, 22:25 | Che Netzer | Auf diesen Beitrag antworten » | ||||
Welche Topologie auf benutzt wird, sollte klar sein: Die von der Standardtopologie auf induzierte. Und die Standardtopologie wird z.B. durch die Norm definiert. Jedenfalls kannst du natürlich äquivalenterweise zeigen, dass abgeschlossen ist. Das folgt aus der Stetigkeit (der Ableitung) von Polynomen. |
||||||
Anzeige | ||||||
|
||||||
22.05.2013, 00:55 | watcher | Auf diesen Beitrag antworten » | ||||
Woher nimmst du diese Klarheit? Im Kontext algebraischer Kurven ist die Zariskie-Topologie die Standardtopologie auf
Die Abbildung ist nur der Standardisomorphismus zur Darstellung der projektiven Ebene. Den Nachsatz interpretiere ich als reines Raten. Und die behauptete Aussage gilt auch für die Zariskietopologie. Das was auf deine Interpretation, Che Netzer, hindeutet ist dieser Name: "Introduction to metric and topological spaces" (Zariskie-Topologie ist nicht metrisch) |
||||||
22.05.2013, 07:26 | Che Netzer | Auf diesen Beitrag antworten » | ||||
Mandelbrötchen hat doch gleich im ersten Beitrag geschrieben, dass die Quotiententopologie betrachtet wird. Und da zur Topologie auf nichts anderes gesagt wurde, dürfte das die Standardtopologie sein, zumal Mandelbrötchen ebenfalls von der üblichen Topologie sprach und bezüglich der auch in der Regel die Quotiententopologie gebildet wird. |
||||||
22.05.2013, 08:20 | ollie3 | Auf diesen Beitrag antworten » | ||||
hallo,@watcher zariski schreibt man übrigens mit "i" und nicht mit "ie" am ende. (das sei nur am rande bemerkt). gruss ollie3 |
||||||
23.05.2013, 12:21 | Mandelbrötchen | Auf diesen Beitrag antworten » | ||||
Also ich denke auch, dass die von der üblichen Topologie auf induzierte Topologie gemeint war. Die Zariski-Topologie wäre theoretisch auch möglich, wäre in diesem Fall aber wohl eine sehr ungute Wahl, da es um die Riemannsche Fläche zu einer ebenen algebraischen Kurve geht. Hier würde die Zariski-Topologie doch eher wenig Sinn machen, da sie ja i.A. nicht hausdorffsch ist. Habe auch noch mal mit einer Professorin gesprochen und sie meinte, dass hier einfach die Teilraumtopologie für gemeint ist, wobei hier eben mit der Standardtopologie versehen ist. So ist es ja nicht mehr so tragisch sich zu überlesen, dass offen. Sie war sich auch nicht so genau sicher, weswegen hier auf die Quotientenabbildung verwiesen wird. |
||||||
23.05.2013, 19:52 | Che Netzer | Auf diesen Beitrag antworten » | ||||
Aber liegt doch nicht in Hast du meinen ersten Beitrag hier gelesen? Bilde den dreidimensionalen Vektor der Ableitungen des Polynoms. Dessen Nullstellenmenge ist aus Stetigkeitsgründen abgeschlossen (auch in der Menge der Nullstellen des Polynoms). Damit ist abgeschlossen in .
Die Quotiententopologie ist nunmal die Standardtopologie auf , die man aus der Standardtopologie auf erhält. Wenn man dann eine Teilmenge von auf Offenheit/Abgeschlossenheit untersuchen, muss man überprüfen ob deren Urbild unter der Projektion von auf offen/abgeschlossen ist. Wofür ist sie denn Professorin? |
||||||
23.05.2013, 20:15 | Mandelbrötchen | Auf diesen Beitrag antworten » | ||||
RE: Topologie zu algebraischen Kurven
Doch doch, Ausgangssituation war, dass man das Nullstellengebilde eines Polynoms in betrachtet. Wie kommst du darauf, dass die Kurve nicht in liegt? Genau deswegen hat mich ja der Verweis zur Quotiententopologie gewundert. Hätte ich eine Kurve in , dann wäre mir schon klar, weswegen man diese Topologie nutzt. |
||||||
23.05.2013, 20:29 | Che Netzer | Auf diesen Beitrag antworten » | ||||
Dann sieh dir mal Definition 2.24 an. Oder hat das Buch doch nichts mit deiner Frage zu tun? Woher kam denn die Behauptung aus dem Ursprungsbeitrag? |
||||||
23.05.2013, 21:03 | Mandelbrötchen | Auf diesen Beitrag antworten » | ||||
Habe ich mir durchgelesen. Die Definition einer projektiven Kurve. Die komplexe algebraische Kurve wird von Kirwan in Definition 2.1 eingeführt. Ich beziehe mich bei meiner Frage auf das Buch und zwar auf den Beweis von Proposition 5.27. Von dort kam auch die Aussage aus dem ursprünglichen Post. |
||||||
23.05.2013, 21:22 | Che Netzer | Auf diesen Beitrag antworten » | ||||
Da kannst du die Bemerkung in Klammern streichen, die ergibt keinen Sinn. Ich hatte das fälschlicherweise auf die Übertragung in diese Frage geschoben, aber das Problem liegt tatsächlich im Buch... |
||||||
23.05.2013, 21:29 | Mandelbrötchen | Auf diesen Beitrag antworten » | ||||
Perfekt. Also war ich nicht ohne Grund verwirrt. Danke für die Hilfe und die teils interessanten Vorschläge |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |