0 Daumen
233 Aufrufe

Gegeben war die Funktion f : R -> R als

f(x) = x+1 für x > 0 und x = 0 und

f(x) = x für x < 0.

Dazu die zugehörige Abbildung d: R x R -> R

als d(x,y) := |f(x)-f(y)|.

Frage: Ist die Menge [0,1) in (R,d) offen. Ich würde sagen nein, denn das Komplement R \ [0,1) ist abgeschlossen, da man eine Folge in R \ [0,1) finden kann, die gegen 0 geht, aber nicht in der Menge liegt. Richtig?

Avatar von

Was meinst Du mit "aber nicht in der Menge liegt"?

Kannst Du eine Folge in R\[0,1) angeben, die gegen 0 konvergiert?

Es ist ja R \ [0,1) = (-inf,0) U [1,inf). Da kann man z.B. x_n := -1/n nehmen. Die liegt in der Menge aber ihr Grenzwert 0 nicht. (Es geht aber um die Offenheit von [0,1) als Teilmenge des metrischen Raumes (R,d). d habe ich ja oben definiert. Da reicht es ja die Abgeschlossenheit von R \ [0,1) zu zeigen. Ich habe das jetzt allg. unabhängig von der Metrik da oben gemacht)

Die Aufgabe verlangt doch, diese spezielle Metrik zu verwenden. Bearbeitet Dein Beispiel mit dieser speziellen Metrik.

Ja aber bei dem allg Ansatz die Abgeschlossenheit mit dem Folgenkriterium des Komplements zu zeigen, braucht man die doch nicht… Die gilt doch allg

Nein. Alle toplogischen Begriffe, auch Offenheit, Konvergenz, hängen von der zugrundegelegten Metrik ab. Du musst prüfen, ob

d(-1/n,0) -> 0

Stimmt. Danke

Und was ist jetzt Dein Ergebnis?

1 Antwort

0 Daumen

Ausgehend von der Definition von Offenheit: Eine Menge \(M\) eines metrischen Raumes \((X,d)\) ist genau dann offen, wenn für jedes \(m\in M\) ein \(\varepsilon>0\) existiert, sodass \(B_\varepsilon(m)\subseteq X\). Insbesondere sind alle Bälle offen.

Deine Menge ist tatsächlich ein "Ball" um \(0\) herum, wie sich herausstellt. Kannst du erraten, was der Radius dieses Balls ist? Du kannst deine Menge also schreiben als \([0,1)=\{r\in \mathbb{R}\mid d(0,r)<t\}\) für ein von dir zu findendes \(t\).

Rein intuitiv: Dein Einwand, dass die Folge \(a_n=-\frac{1}{n}\) von links gegen \(0\) konvergiere, ist bei näherer Betrachtung nicht zulässig. Wenn du dir die präzise Definition von Konvergenz in einem metrischen Raum betrachtest, und deine hier gegebene Metrik genau anschaust, wirst du merken, dass eine negative Folge gar nicht gegen \(0\) konvergieren kann, da sie mindestens Abstand \(1\) zum Ursprung haben muss.

Verwechsle hier übrigens nicht konvergente Folgen mit Cauchyfolgen, denn deine gegebene Folge ist eine Cauchyfolge, sieht also auf den ersten Blick aus wie eine Folge, die durchaus gegen irgendetwas konvergieren könnte. Tut sie aber nicht. Dass sie nicht konvergiert, bedeutet einfach, dass der gegebene metrische Raum nicht vollständig ist.

Rein geometrisch kannst du dir deinen Raum so vorstellen: Du nimmst dir den reellen Zahlenstrahl mit seiner dir bekannten Geometrie, und schneidest ihn am Ursprung in zwei Stücke, wobei der Ursprung beim rechten Stück bleibt, und ziehst die beiden Stücke eine (\(1\)) Einheit auseinander. Du hast also die beiden Zusammenhangskomponenten \((-\infty,0)\) und \([0,\infty)\), die beide jeweils genau so aussehen, wie sie vorher im Zahlenstrahl saßen. Nur dass diese beiden Teile nicht mehr aneinandergeklebt sind, sondern einen Abstand von \(1\) zueinander haben.

Eine kleine Analogie, die dir das ganze einfacher machen könnte: Nimm dir den Raum \(X=\mathbb{R}\setminus[-1,0)=(-\infty,-1)\cup[0,\infty)\) mit der "kanonischen" Metrik gegeben durch die Distanzfunktion der reellen Zahlen. Würdest du hier behaupten, die Folge \(a_n=-1-\frac{1}{n}\) würde gegen \(0\) konvergieren? Macht keinen Sinn oder? Der Raum \(X\) ist aber tatsächlich der "gleiche" Raum wie der von dir betrachtete, nur die Elemente der linken Zusammenhangskomponente habe ich frecherweise umbenannt, um dich von meinem Punkt zu überzeugen. Genauer gesagt, es gibt einen Homöomorphismus, der die Metrik festlässt, gegeben durch die Identität auf der rechten Komponente und \(x\mapsto x-1\) auf der linken.

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community