Bedeutet diese Aussage, dass die Menge in RR\mathbb{R} offen ist?

In der Topologie der realen Linie tut dies ( ich ) impliziert, dass die Menge A offen ist? Wenn ja, können Sie mir etwas Intuition geben?

( ich ) - Lassen A ein Satz sein. Ich falle A A und alles echte Sequenz ( X N ) so dass lim N X N = A , dann gibt es N 0 N so dass { X N : N N 0 } A .

Was habe ich versucht?

Da jede konvergente Folge st lim N X N = A , dann für alle ε > 0 , N N st für alle N N wir haben:

X N ( A ε , A + ε )

aber das bedeutet nicht ( A ε , A + ε ) A . Wenn ich wähle ε = | X N 0 | , dann können wir das schließen ( A | X N 0 | , A + | X N 0 | ) A , für N N ?

Dies mag für die meisten von Ihnen trivial erscheinen, aber ich stehe am Anfang eines Topologiekurses und lerne immer noch die ersten Definitionen. Danke schön!

Antworten (1)

Ja, (i) impliziert das A ist offen. Nehme an, dass A ist nicht geöffnet. Dann gibt es einige A A so dass für jeden ϵ > 0 , ( A ϵ , A + ϵ ) A . Insbesondere für jeden N Z + Da ist ein X N ( A 1 N , A + 1 N ) A . Zeigen Sie das jetzt X N : N Z + konvergiert zu A ist aber nie drin A , im Widerspruch zu (i).