Stetige Funktion überschreitet die Grenze?

Lassen X sei ein topologischer Raum, E X , Und G : [ A , B ] X ist eine stetige Funktion wo G ( A ) ich N T ( E ) (innen) u G ( B ) e X T ( E ) (Außen).

Das will ich beweisen G ( [ A , B ] ) E . (Wo E ist die Grenze von E )

Das habe ich gemacht:

Vermuten G ( [ A , B ] ) E = , Dann F ( [ A , B ] ) ich N T ( E ) e X T ( E ) , und deshalb G 1 ( ich N T ( E ) e X T ( E ) ) = [ A , B ] , Bedeutung [ A , B ] = G 1 ( ich N T ( E ) ) G 1 ( e X T ( E ) ) , die Vereinigung zweier disjunkter offener Mengen (seit F ist stetig und ich N T ( E ) Und e X T ( E ) sind offen). Allerdings, weil [ A , B ] eine zusammenhängende Menge ist, ist dies widersprüchlich, und daher G ( [ A , B ] ) E .

Ich habe das Gefühl, etwas verpasst zu haben, ist das richtig?

Antworten (1)

Warum schreibst du manchmal F ( X ) ? Es sollte immer sein G ( X ) .

Auch G ( [ A , B ] ) ich N T ( E ) e X T ( E ) bedeutet [ A , B ] G 1 ( ich N T ( E ) ) G 1 ( e X T ( E ) ) Weil [ A , B ] G 1 G ( [ A , B ] ) .

Abgesehen davon ist dein Beweis richtig.

Aus Gewohnheit scheint mein Gehirn zu denken, dass eine Funktion benannt werden muss F . Werde den Beitrag editieren. Danke !
Kann ich das nicht schließen [ A , B ] = G 1 ( ich N T ( E ) e X T ( E ) ) obwohl ich auch, per Definition einer Funktion, habe G 1 ( ich N T ( E ) e X T ( E ) ) [ A , B ] ?
Daraus kann man schließen [ A , B ] G 1 ( ich N T ( E ) ) G 1 ( e X T ( E ) ) . Anwenden G 1 zu beiden Seiten von G ( [ A , B ] ) ich N T ( E ) e X T ( E ) , und verwenden Sie die Tatsache, dass [ A , B ] G 1 G ( [ A , B ] ) .