Matroids Matheplanet Forum Index
Moderiert von nzimme10
Analysis » Topologie » Widerspruchsbeweis: stetige Funktion, Urbild nicht abgeschlossen
Autor
Universität/Hochschule J Widerspruchsbeweis: stetige Funktion, Urbild nicht abgeschlossen
Farbspiel
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 12.06.2022
Mitteilungen: 68
  Themenstart: 2023-01-21

Hi, in einem Satz, den ich beweisen will, geht es um eine stetige Funktion $f:(X,d) \to (\{0,1\},d_{\text{diskret}})$. $X$ ist eine offene Menge. Das ist die gegebenen Voraussetzung, dann habe ich eine Widerspruchsannahme zur Aussage im Satz gemacht und bin zu folgendem Ergebnis gekommen: Aufgrund von weiteren Bedingungen ist klar, dass aus meiner Widerspruchsannahme folgt, dass das Urbild $f^{-1}(\{0,1\})=X$ sein muss. Nun ist $\{0,1\}$ eine abgeschlossene Menge und $X$ offen. Das ist ein Widerspruch zur Stetigkeit von $f$, da bei stetigen Funktionen das Urbild von beliebigen abgeschlossenen Mengen, wieder abgeschlossen ist. Habe ich diese Eigenschaft korrekt genutzt?


   Profil
Buri
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 02.08.2003
Mitteilungen: 46763
Wohnort: Dresden
  Beitrag No.1, eingetragen 2023-01-21

\quoteon(2023-01-21 17:25 - Farbspiel im Themenstart) Habe ich diese Eigenschaft korrekt genutzt? \quoteoff Hi Farbspiel, nein. Für einen beliebigen topologischen Raum ist die Trägermenge X sowohl offen als auch abgeschlossen. Du nimmst aber an, dass sie nicht abgeschlossen wäre. Gruß Buri


   Profil
nzimme10
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 01.11.2020
Mitteilungen: 2062
Wohnort: Köln
  Beitrag No.2, eingetragen 2023-01-21

\(\begingroup\)\(\renewcommand{\i}{\mathrm{i}} \renewcommand{\Re}{\operatorname{Re}} \renewcommand{\Im}{\operatorname{Im}} \newcommand{\e}{\mathrm{e}} \renewcommand{\d}{\mathrm{d}} \renewcommand{\dd}{\ \mathrm d} \newcommand{\ddz}{\frac{\mathrm{d}}{\mathrm{d}z}} \newcommand{\ddw}{\frac{\mathrm{d}}{\mathrm{d}w}} \newcommand{\ddt}{\frac{\mathrm{d}}{\mathrm{d}t}} \newcommand{\opn}{\operatorname} \renewcommand{\vec}[3]{\begin{pmatrix} #1 \\ #2\\ #3\end{pmatrix}} \newcommand{\rot}{\opn{rot}} \newcommand{\div}{\opn{div}}\) Hallo, du hast hier keinen Widerspruch erzeugt. Eine Aussage wie "$X$ ist offen" oder "$\lbrace 0,1\rbrace$ ist abgeschlossen" ist eigentlich zu ungenau. Diese Begriffe beziehen sich stets auf eine Topologie (bzw. auf eine Metrik, eine Norm, ein Skalarprodukt etc.). Im metrischen Raum $(X,d)$ ist die Grundmenge $X$ offen bezüglich der Metrik $d$, aber ebenso abgeschlossen bzgl. $d$. Ebenso ist $\lbrace 0,1\rbrace$ im metrischen Raum $(\lbrace 0,1\rbrace,d_{\mathrm{diskret}})$ offen bzgl. $d_{\mathrm{diskret}}$ als auch abgeschlossen bzgl. $d_{\mathrm{diskret}}$. LG Nico [Die Antwort wurde vor Beitrag No.1 begonnen.]\(\endgroup\)


   Profil
Farbspiel
Aktiv Letzter Besuch: im letzten Quartal
Dabei seit: 12.06.2022
Mitteilungen: 68
  Beitrag No.3, vom Themenstarter, eingetragen 2023-01-21

Danke an euch beide :) $X$ ist offen und abgeschlossen: Sei $a\in X$ beliebig. Sei $r >0$ beliebig, dann ist per Definition $U_{r}(a)=\{x\in X| d(x,a)


   Profil
Farbspiel hat die Antworten auf ihre/seine Frage gesehen.
Farbspiel hat selbst das Ok-Häkchen gesetzt.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]