Minimum existiert |
15.11.2012, 00:02 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Minimum existiert Ich habe einen normierten Raum X mit Norm ||.|| und eine abgeschlossene nichtleere Teilmenge dieses Raumes und ein x aus X. Meine Frage ist, mit welcher Begründung das Minimum von existiert? Das Infimum existiert, da die Menge nach unten durch 0 beschränkt ist. Ich dachte, dass das Infimum von M ein Häufungswert von M ist, weshalb es eine Folge in M gibt (d.h. eine Folge von Abständen), die gegen das Infimum konvergiert. Deshalb gibt es dann eine Folge in A (also eine Folge von y´s), die konvergiert. Da A abgeschlossen, ist der Grenzwert dieser Folge in A. Und damit der Grenzwert der Abstandsfolge, also das Infimum, auch in M. Geht das so? |
||||||
15.11.2012, 11:18 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi! Ist das vom Prinzip her zumindest richtig was ich da geschrieben habe? Es müsste eigentlich eine Trivialität zu zeigen sein, doch etwas besseres fällt mir trotzdem nicht ein.... übersehe ich etwas? |
||||||
15.11.2012, 16:43 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi! Kann mir zumindest jemand sagen, ob das was ich hier zeigen will, überhaupt stimmt? Darauf könnte man dann aufbauen. |
||||||
15.11.2012, 17:01 | EinGast | Auf diesen Beitrag antworten » | ||||
hm, was wäre bei z.B. , und ? |
||||||
15.11.2012, 18:21 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Ok, dann hat sich das min erledigt xD Dann eine andere Frage: Wenn ich eine Funktion habe für abgeschlossenes festes A. Wieso ist d dann stetig? Kann man das infimum einfach ignorieren und sagen die Norm ist stetig? |
||||||
15.11.2012, 18:33 | EinGast | Auf diesen Beitrag antworten » | ||||
Man kann zeigen, dass die Funktion Lipschitz-stetig ist (sogar für jede nichtleere Teilmenge von ): Es seien . Für jedes gilt dann , und daraus folgt .... |
||||||
Anzeige | ||||||
|
||||||
15.11.2012, 20:14 | RavenOnJ | Auf diesen Beitrag antworten » | ||||
Die Norm ist eine stetige Abbildung. Wenn A abgeschlossen ist, dann ist d(x,A) sogar das Minimum: Aber die allgemeine Definition für beliebige Teilmengen ist das Infimum des Abstandes zu allen Punkten der Teilmenge. Wieso willst du das Infimum ignorieren? Das gehört zur Definition des Abstandes. |
||||||
15.11.2012, 20:38 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Also dann war das gegenbeispiel von EinGast gar keins weil Q kein normierter Raum ist?Dann gilt noch immer die Frage warum denn nun gilt? Kann das jemand weiter ausführen? Und ich wollte das inf auch nicht ignorieren in der Funktion d ich wollte nur wissen ob automatisch stetig ist wenn man sagt dass die Norm steteig ist? Aber das soll ja laut EinGast mit lipschitz stetigkeit gehen ?? |
||||||
16.11.2012, 14:30 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi Ok die Stetigkeit der Funktoin ist mir jetzt klar (mit Lipschitz Stetigkeit) Doch warum das Minimum existiert ist mir noch immer unklar Folgt aus dass yn in X konvergiert? |
||||||
16.11.2012, 15:37 | RavenOnJ | Auf diesen Beitrag antworten » | ||||
Nimm eine Cauchy-Folge in A mit , sodass zum Infimum konvergiert (A soll keine isolierten Punkte haben, die näher an x liegen, da in dem Fall das Minimum sowieso angenommen wird.). Da A abgeschlossen ist, gehört ebenfalls zu A, d.h. das Infimum wird in der Menge angenommen und ist gleich . |
||||||
16.11.2012, 19:42 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi Ja so ähnlich wollte ich es ja auch machen. Dass es eine Folge von y´s in A gibt sodass gegen das infimum konvergiert ist klar. Aber warum kann man isch eine CauchyFolge basteln die diese bedingung erfüllt? Vll gibt es ja nur eine normale Folge die das erfüllt? |
||||||
16.11.2012, 22:26 | RavenOnJ | Auf diesen Beitrag antworten » | ||||
was ist denn in deinen Augen eine "normale" Folge? |
||||||
16.11.2012, 22:34 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi Ja also ich meinte dass die yn vielleicht nicht konvergieren. Man will doch sagen dass es wegen der Eigenschaft des Infimums immer eine Folge gibt die gegen das Infimum konvergiert. Wenn jetzt die Folge der yn konvergiert dann folgt aus der abgeschlossenheit von A dass das infimum ein minimum ist, das habe ich verstanden. Aber warum kann man sagen dass die yn´s auf jedenfall selbst konvergieren? Und warum soll die Folge der yn´s auch noch eine Cauchyfolge sein? Was bringt das? Die konvergiert doch auch nur in einem vollständigen Raum? |
||||||
16.11.2012, 22:45 | EinGast | Auf diesen Beitrag antworten » | ||||
das tun sie auch nicht im allgemeinen, zB. A=Kreis um x=(0,0) im R² |
||||||
16.11.2012, 22:57 | RavenOnJ | Auf diesen Beitrag antworten » | ||||
Ich habe gar nicht gemeint, dass alle Folgen auf jeden Fall konvergieren, darum geht es nicht. Der Abschluss von ist aber nun mal so definiert, dass alle konvergenten Folgen ihren Häufungspunkt innerhalb von haben, wobei in diesem Fall wegen seiner Abgeschlossenheit . Es muss nun eine Folge in geben, die gegen einen Punkt y innerhalb von konvergiert, für den . Denn gäbe es diesen nicht, dann wäre nicht abgeschlossen. Man kann dies natürlich noch formal mit dem -Verfahren zeigen. |
||||||
16.11.2012, 22:57 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi EinGast bist auch noch dabei xD Ja sowas mit Kreisen dachte ich wäre halt vll ein Problem deshalb verstehe ich ja auch Ravens Antwort nicht? Kann nicht einer von euch beiden die Sache hier einfach aufklären >.> Das ist nichtmal eine Aufgabe mir gehts hier nur ums verständnis... |
||||||
16.11.2012, 23:12 | EinGast | Auf diesen Beitrag antworten » | ||||
ich ehrlich gesagt auch nicht. Ich bin mir auch nicht sicher, ob es nun ein Minimum ist oder nicht... man wählt eine Folge aus so, dass , und ich sehe keinen Grund, warum man konvergent wählen könnte... |
||||||
16.11.2012, 23:14 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi, das verstehe ich einfach nicht. Von den yn´s wissen wir nicht ob sie konvergieren. Und die Folge ist doch eine Folge in R? Wo kommt da plötzlich der Grenzwert her, der in A liegen muss? Mir fehlt hier echt der Druchblick |
||||||
17.11.2012, 12:00 | RavenOnJ | Auf diesen Beitrag antworten » | ||||
Ich wollte gestern Breaking Bad anschauen, deswegen habe ich nicht mehr geantwortet . Also nochmal: Wir haben einen normierten Raum mit der durch die Norm induzierten Metrik . Die Norm ist eine stetige Funktion auf . Für eine stetige Funktion zwischen metrischen Räumen ( ist auch ein metrischer Raum) gilt die Äquivalenz: Der Abstand von zu irgendeiner Teilmenge ist definiert als . Nun betrachten wir eine abgeschlossene Teilmenge und einen Punkt . Ist , dann ist der Abstand trivialerweise 0. Sei also . Da abgeschlossen ist, enthält die Menge alle ihre Häufungspunkte. Zu jeder Folge mit , ist also . Da nun die Norm eine stetige Funktion auf ist, geht die Funktion für die Folge gegen den Funktionswert . Die obige Definition von impliziert, dass man eine Folge aus auswählen kann mit . Also ist und dieses ist das Minimum von , nicht nur das Infimum, da wegen der Abgeschlossenheit von . |
||||||
17.11.2012, 13:10 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi Raven und vielen Dank für deine ausführliche Antwort. Es ist wirklich alles klar, auch, worauf du gewissermaßen hinauswillst, bis auf den wohl entscheidenen (?) Schritt.
Bis hierhin incl ist alles klar. Die Folge der yn ist aber doch jetzt schon fix gewissemaßen? Also meinetwegen y1=1, y2=1.4, y3=0.7 usw. Es natürlich vll keine Zahlen in R, aber genrell ist die Folge doch jetzt gewählt? Wie kannst du dann jetzt in
|
||||||
17.11.2012, 13:40 | RavenOnJ | Auf diesen Beitrag antworten » | ||||
dies soll eine Bedingung an die Folge sein, es ist also nicht so, dass ich irgendeine Folge auswähle, sondern nur eine, die diese Bedingung erfüllt. Warum kann ich dies fordern oder anders, warum existiert eine solche Folge? Dies kann man durch Widerspruch lösen: Annahme: Es gebe keine solche Folge. Dann würde für jede konvergente Folge aus , mit gelten: . Daraus folgt für alle konvergenten Folgen . Da aber definiert ist als das Infimum , ergibt sich ein Widerspruch. Daraus folgt die Existenz einer solchen Folge mit der obigen Eigenschaft. Eine solche Folge existiert für alle Teilmengen von , nicht nur für die abgeschlossenen. Aber nur für die abgeschlossenen nimmt für alle das Infimum das Minimum an. |
||||||
17.11.2012, 14:23 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi benutzt du für den Widerspruch, dass jedes der Grenzwert einer konvergenten Folge in A mit ist? |
||||||
17.11.2012, 15:02 | RavenOnJ | Auf diesen Beitrag antworten » | ||||
Nein, nicht unbedingt. Solche Folgen sind natürlich auch möglich, inbesondere, wenn t ein isolierter Punkt ist. Es ist aber i.d.R. nicht notwendig oder sogar kontraproduktiv, sich auf solche Folgen zubeschränken. Vor allem dann, wenn man allgemeine (nicht abgeschlossene) Teilmengen von X betrachtet, denn dann gibt es ja konvergente Folgen, deren Limes außerhalb der Teilmenge liegt. Wenn man sich nur auf konstante Folgen beschränken würde, dann würde keine dieser Folgen im Limes zu einem Randpunkt der Teilmenge streben. |
||||||
17.11.2012, 15:43 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi dann verstehe ich den Widerspruch widerum nicht >.>
Ich hätte jetzt gesagt, dass jedes x aus A ist der grenzwert einer konvergenten Folge in A (halt der Folge, die konstant x ist), und das wäre dann der Widerspruch zur Infimumseigenschaft mit der Ungleichung (das Infimum wäre dann gar kein Infimum). Wie sieht denn dein Widerspruch aus? |
||||||
17.11.2012, 16:10 | RavenOnJ | Auf diesen Beitrag antworten » | ||||
Es sollte gelten (um den trivialen Fall auszuschließen): . Für eine konvergente Folge kann nur gelten oder Da letzteres aber explizit durch die (falsche!) Annahme, es gebe keine solche Folge, ausgeschlossen wurde, muss es ein geben mit Alle z sind also (unter dieser Annahme!) mindestens von x entfernt. Woher soll also das Infimum kommen? Es gilt doch wegen der Defintion des Infimums: In jeder noch so kleinen Umgebung des Infimums müssen Abstände d(x,t) liegen, d.h. es muss ein Element t von A mit einem Abstand zu x von geben. Siehst du den Widerspruch? |
||||||
17.11.2012, 16:51 | Kalabakov | Auf diesen Beitrag antworten » | ||||
Hi Mh ja, ich denke ich sehe den Widerspruch, das war so auch mein Gedanke. Ist dein Widerspruch nicht genauso wie meiner (bis auf die bessere Ausformulierung). Benutzt du von hier nach hier nicht auch, dass jedes z in A grenzwert einer konvergenten Folge ist ? Also bpsw auch einer konstanten Folge? |
|