Topologie: Stetigkeitskriterium beweisen |
15.11.2014, 22:15 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Topologie: Stetigkeitskriterium beweisen ich komm bei folgender Aufgabe einfach nicht mehr weiter. Es handelt sich um die letzte Aufgabe meiner "Hausaufgaben" und bin wirklich verzweifelt weil ich nicht mehr weiter weiß. Folgendes Problem: Angenommen ist eine Funktion, dann soll folgende Aussage wahr sein: abgeschlossen ist abgeschlossen. Idee: Also ich hab mir erstmal die Epsilon-Delta-Definition für Stetigkeit auf das Blatt geschrieben. Außerdem habe ich mir Begriffe wie "Ball", "Randpunkt" oder "Rand" definiert. Zu guter Letzt habe ich noch gesagt, dass eine Menge abgeschlossen heißt, falls der Rand von auch Teilmenge von ist. ist offen g.d.w. ohne abgeschlossen ist Jetzt müsste offensichtlich der eigentliche Beweis beginnen. Da man eine Äquivalenz zeigen muss habe ich mir überlegt zuerst die Rückrichtung und dann die Hinrichtung zu zeigen... nur wie? Wie verbinde ich all diese Informationen richtig miteinander? |
||||||||
15.11.2014, 22:19 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
RE: Topologie: Stetigkeitskriterium beweisen
Was genau soll das heißen? Am Anfang steht wohl . Aber was bedeutet ? |
||||||||
15.11.2014, 22:21 | TTkachu | Auf diesen Beitrag antworten » | ||||||
RE: Topologie: Stetigkeitskriterium beweisen Das "C hoch Null" sozusagen steht für "Steig auf R" und "f hoch ur" ist das "Urbild" |
||||||||
15.11.2014, 22:37 | TTkachu | Auf diesen Beitrag antworten » | ||||||
RE: Topologie: Stetigkeitskriterium beweisen Ach nee schuldigung... hab ein Zeichen falsch interpretiert....vergiss das mit dem c null... die linke Seite von der Äquivalenz sollte man erstetzen durch "f ist stetig" |
||||||||
15.11.2014, 22:42 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Was ist, ist mir schon klar. Ich wollte dich nur darauf hinweisen, dass man dann schreibt, und nicht . Ihr schreibt für das Urbild von Z? Eigentlich benutzt da jeder . Ich denke, es ist einfacher, wenn du zuerst zeigst, dass genau dann stetig ist, wenn Urbilder offener Mengen offen sind, und dann daraus schlussfolgerst, dass genau dann stetig ist, wenn Urbilder abgeschlossener Mengen abgeschlossen sind (so wurde das jedenfalls in allen Beweisen gemacht, die ich gesehen habe). Am einfachsten zeigt man die Äquivalenz mithilfe der -Definition der Stetigkeit, und der Definition von offenen Mengen, dass es zu jedem Punkt eine Kugel um diesen Punkt gibt, die noch ganz in der Menge liegt. Du nimmst also zuerst eine offene Menge und zeigst, dass offen ist. Irgendeine Idee? Edit: bedeutet ja das selbe wie " ist stetig." Es ist also egal, was man da nun schreibt. |
||||||||
15.11.2014, 23:03 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Hahaha, tut mir leid falls ich dich verwirrt habe. Das ist meine persönliche Notation um das Urbild besser von der Umkehrfunktion zu unterscheiden.... - Ok - Guter Vorschlag. Lass uns loslegen. Wenn offen, dann könnte ich mir ein anschauen, sodass ... und weiter ? |
||||||||
Anzeige | ||||||||
|
||||||||
15.11.2014, 23:10 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Du willst jetzt zeigen, dass offen ist, d.h. dass es zu jedem ein gibt, sodass gilt. Wenn also ist, dann ist . Was kannst du jetzt aufgrund der Offenheit von sagen? Und was folgt daraus mithilfe der Stetigkeit von ? |
||||||||
15.11.2014, 23:26 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Weil offen ist, ist auch eine Umgebung von
Gute Frage.... Es muss also gelten |
||||||||
15.11.2014, 23:34 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Dass eine Umgebung von ist, stimmt zwar, bringt uns hier aber nicht sonderlich viel.
So sieht die Definition aber nicht aus. Man kann sagen: Es gibt ein , sodass (weil offen ist). Wenn du jetzt noch die (korrekte) -Definition der Stetigkeit benutzt, bist du schon fast fertig. PS: Ich bin jetzt weg; bis morgen. |
||||||||
15.11.2014, 23:36 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Ok, danke dann, xao! -------------------------------------------------- Die korrekte Definition lautet natürlich: -------------------------------------------------- Edit: Es soll natürlich kleiner als delta heißen -------------------------------------------------- Folgt daraus etwas dass ?? 4 Beiträge zusammengefügt - Guppi12 |
||||||||
16.11.2014, 12:24 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Das war aber jetzt nur die Hinrichtung für offene Mengen, nicht wahr? |
||||||||
16.11.2014, 12:24 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Du hast noch nicht geschrieben, was mit dem sein soll. Außerdem ist definiert als . |
||||||||
16.11.2014, 12:27 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Meinst du etwa dass "Aus stetigkeit folgt: "? |
||||||||
16.11.2014, 12:40 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Nein, das folgt daraus nicht; du musst schon etwas genauer sagen, was du meinst. Aus der Stetigkeit folgt: Es existiert ein , sodass , falls . Oder anders gesagt: Es gibt ein , sodass , für alle . Und daraus folgt: . D.h. ist im Urbild von A enthalten. Damit haben wir also für jedes gezeigt, dass es eine Kugel um gibt, die noch vollständig im Urbild von A liegt, was nichts anderes bedeutet, als dass das Urbild von A offen ist. |
||||||||
16.11.2014, 12:49 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Ok. Aber das war doch jetzt nur eine Implikation in eine Richtung, nicht wahr? Oder ist das schon eine Äquivalenz? Ich glaube ich sehe den Wald vor lauter Bäumen nicht mehr... |
||||||||
16.11.2014, 13:20 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Die Äquivalenz haben wir noch nicht gezeigt. Es bleibt noch die Richtung . Um zu zeigen, dass in stetig ist, nimmst du eine Kugel (diese Menge ist offen); d.h. deren Urbild ist nach Voraussetzung auch offen. Wenn du diese Informationen noch richtig zusammensetzt, dann erhältst du damit die Stetigkeit von in . |
||||||||
16.11.2014, 14:11 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Ok ich versuche es mal. "Für offen, ist offen." Wähle Dann nehme ich mir ein , d.h. . Nach Voraussetzung gilt also dass offen, d.h. es gibt ein sodass ist stetig auf da das bedeutet dass ??? |
||||||||
16.11.2014, 16:33 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Sieht gut aus. Noch drei Bemerkungen:
Besser wäre .
Diese Zeile am besten ersatzlos streichen. Bzw. stattdessen folgendes schreiben: Wegen ist Wenn du das noch änderst, dann ist der Beweis so richtig.
Diese Notation macht nicht so richtig viel Sinn. Entweder schreibst du: oder |
||||||||
16.11.2014, 17:09 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Ok. Vielen Dank ! Das motiviert mich! Zur Abwechslung habe ich es geschafft mal etwas zum Teil richtig zu machen! Vielen Dank! Und wie komme ich jetzt auf meinen eigentlichen Beweis zurück? Ich muss ja zeigen dass des für abgeschlossene Teilmengen gilt... Darf ich dafür Benutzen dass eine Menge genau dann abgeschlossen ist wenn das Komplement offen ist? Muss ich da auch beide Richtungen beweisen oder schafft man es sofort eine Äquivalenz herzustellen? |
||||||||
16.11.2014, 18:39 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Genau das kenne ich als Definition von abgeschlossenen Mengen. Du musst zeigen, dass für die Funktion gilt: Dazu brauchst du auch noch die Aussage, dass für alle gilt: (lässt sich relativ schnell beweisen). |
||||||||
16.11.2014, 19:16 | TTkachu | Auf diesen Beitrag antworten » | ||||||
(Versuch-)Beweis "Lemma" (Klötzchen) Und jetzt lasse ich das etwa auf meine offenen Mengen los? |
||||||||
16.11.2014, 19:34 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Genau. |
||||||||
16.11.2014, 19:48 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Also definiere mir die Menge als Da offen, folgt aus der Definition, dass das Komplement von abgeschlossen ist. Insbesondere gilt dann mit dem Lemma abgeschlossen Da wir ja schon gezeigt haben dass offen ist.. Bewiesen ? *.* ? |
||||||||
16.11.2014, 20:02 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
ist doch schon das Komplement von , das Komplement von wäre dann wieder . Du meintest bestimmt, dass abgeschlossen ist.
Man sollte da vielleicht noch ergänzen, was ist. Damit hast du jetzt gezeigt: Wenn Urbilder offener Mengen offen sind, dann sind Urbilder abgeschlossener Mengen abgeschlossen. Fehlt noch die andere Richtung (wobei die genauso funktioniert). |
||||||||
16.11.2014, 20:13 | TTkachu | Auf diesen Beitrag antworten » | ||||||
1) Entschuldigung das "von" war zu viel. 2) Sei abgeschlossen dann ist offen. Insbesondere gilt: offen Da geschlossen ist..? |
||||||||
16.11.2014, 20:16 | TTkachu | Auf diesen Beitrag antworten » | ||||||
f^{ur}(\mathbb{R}) st doch das Urbild von f(\mathbb{R}) (Abbildung) |
||||||||
16.11.2014, 20:24 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Nein, ist das Urbild von . Welche Menge ist das also? Das musst du ja angeben, damit du weißt, ob wirklich offen ist, wenn abgeschlossen ist. |
||||||||
16.11.2014, 20:28 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Das Urbild von R ist doch f(R) (offen) ? |
||||||||
16.11.2014, 20:38 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
ist das Bild von . Das Urbild von ist die Menge aller mit . Welche x sind das? |
||||||||
16.11.2014, 20:41 | TTkachu | Auf diesen Beitrag antworten » | ||||||
\mathbb{R} ? xD |
||||||||
16.11.2014, 20:45 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Ja. D.h. und da kannst du jetzt sagen, ob es abgeschlossen oder offen ist, wenn du weißt, ob offen oder abgeschlossen ist. |
||||||||
16.11.2014, 20:51 | TTkachu | Auf diesen Beitrag antworten » | ||||||
Da würde heiße ist abgeschlossen und damit auch unser Beweis? =)) |
||||||||
16.11.2014, 20:55 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Wenn du dich auf deinen Beitrag von 20:13 beziehst, dann ja. Und damit wären wir fertig. Wir haben ja gezeigt: |
||||||||
16.11.2014, 20:57 | TTkachu | Auf diesen Beitrag antworten » | ||||||
YUHUUUUUUUUUUUUUUUUUUUUUUUUUU!!!! DANKESEHR!!! Pika- Pika- Pikachu!!!!!!!!!!!!!!!!!!!!!!!!!! PD: Vielen Dank |
||||||||
16.11.2014, 20:58 | 10001000Nick1 | Auf diesen Beitrag antworten » | ||||||
Gern geschehen. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |