15 votos

Normal + Conectado -> Incontable

He aquí una solución (al ejercicio "demuestre que si $X$ es un espacio con más de un elemento, y es normal y conexo entonces $X$ es incontable"):

por el lema de Urysohn, dado $A$ y $B$ cerradas y disjuntas en $X$ existe una función continua de $X$ en $[0,1]$ tal que $f(A)={0}, f(B)={1}$ .

Si $X$ fueran contables, entonces sería $f(X)\subset [0,1]$ elegir $r\in (0,1)\setminus f(X)$ entonces $X=f^{-1}([0,r))\cup f^{-1}((r,1])$ Así que $X$ está desconectado.

Pero no se utilizó toda la potencia del lema, todo lo que se utilizó es que existe una función continua $X\longrightarrow [0,1]$ así que la condición de ser normal parece demasiado.

Así que mi pregunta es, ¿cuáles son las condiciones más débiles en $X$ para la existencia de tales funciones continuas en $[0,1]$ (o $\mathbb{R}$ ).

8voto

Matt Dawdy Puntos 5479

Lo que se utilizó es que hay un no constante función continua en $[0, 1]$ . No conozco un nombre bonito para esta condición; es tan débil que no puedo pensar en un espacio que satisfaga esta condición que no satisfaga la propiedad más fuerte de que los puntos pueden ser separados por funciones continuas en $\mathbb{R}$ . Además, todos los espacios que se me ocurren con este propiedad son completamente regular y todos los espacios completamente regulares que se me ocurren se construyen a partir de espacios normales de alguna manera (y la prueba de que son completamente regulares en general es mediante el lema de Urysohn).

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X