2 votos

Cálculo del casco concretamente (co)reflexivo de ciertos subconstructos de TOP

1) Si $\mathcal{A}$ consiste en el espacio de Sierpinski y $\mathcal{B}$ consiste en todos los espacios topológicos finitos, entonces el casco coreflectivo concreto de $\mathcal{A}$ consiste en todos los espacios finitamente generados (es decir, espacios en los que $x \in clA \iff x \in cl\{a\}$ para algunos $a \in A$ ). Esto puede verse mostrando que el sumidero total de los espacios de Sierpinski es final en Top.

Así que dejemos $X$ sea un espacio topológico (finitamente generado) y tome el sumidero total de los espacios de Sierpinski (las funciones de este sumidero se denominan $f_{i}$ ). Sea $g: X \rightarrow Y$ sea una función, de modo que para cada $f_{i}: Sierpinski \rightarrow X$ , $g \circ f_{i}$ es continua. ¿Por qué g es continuo?

2) Si $\mathcal{A}$ consiste en una secuencia convergente $A= \{0\} \cup \{\frac{1}{n} \vert n \in \mathbb{N} \} $ o si $\mathcal{B}$ consiste en el subconjunto completo de todos los espacios topológicos metrizables, entonces en ambos casos el casco concretamente coreflectivo consiste en todos los espacios secuenciales. De nuevo esto se ve mostrando que el sumidero total de $A = \{0\} \cup \{\frac{1}{n} \vert n \in \mathbb{N}\}$ es definitivo en Top.

Así que dejemos $X$ sea un espacio topológico (secuencial) y tome el sumidero total de A (las funciones de este sumidero se denominan $f_{i}$ ). Sea $g: X \rightarrow Y$ sea una función, de modo que para cada $f_{i}: A \rightarrow X$ , $g \circ f_{i}$ es continua. ¿Por qué g es continuo?

3) Si los espacios de Sierpinski pertenecen a $\mathcal{A}$ , entonces la carcasa concretamente reflectante de $\mathcal{A}$ en Top es Top. Para demostrar esto hay que mostrar que para un espacio topológico arbitrario, la fuente que consiste en todas las funciones indicadoras definidas en conjuntos abiertos es inicial. De nuevo, estoy atascado probando este argumento.

Como siempre, se agradece cualquier ayuda.

0voto

freespace Puntos 9024

$\newcommand{\Zobr}[3]{{#1}\colon{#2}\to{#3}}\newcommand{\Invobr}[2]{{#1}^{-1}[#2]}$ Esta es una caracterización equivalente de espacios generados finitamente : Un subconjunto $F\subseteq X$ está cerrado en $X$ si y sólo para cada mapa continuo $\Zobr fSX$ el conjunto $\Invobr fF$ está cerrado en $S$ . (Donde $S$ es el Espacio de Sierpinski .)

Una caracterización equivalente de espacios secuenciales : Un subconjunto $F\subseteq X$ está cerrado en $X$ si y sólo para cada mapa continuo $\Zobr fAX$ el conjunto $\Invobr fF$ está cerrado en $A$ . (Donde $A$ es el espacio que ha descrito anteriormente). De hecho, esto es sólo otra forma de decir que los conjuntos cerrados en $X$ son precisamente los conjuntos cerrados secuencialmente. Imagen de mi respuesta aquí puede ayudar a visualizar esto.

Así que en ambos, 1 y 2, se tiene la misma caracterización de conjuntos cerrados usando mapas continuos de los espacios de $\mathcal A=\{A\}$ o de $\mathcal A=\{S\}$ .

Ahora bien, si tienes un mapa $\Zobr gXY$ para demostrar que $g$ es continua sólo hay que demostrar que la imagen inversa de cada conjunto cerrado es cerrada. Si $G\subseteq X$ cerrado entonces cada $\Invobr {g\circ f_i}G=\Invobr{f_i}{\Invobr gG}$ está cerrado. Pero, según la caracterización anterior, esto equivale a decir que $\Invobr gG$ está cerrado.


No creo que lo tercero sea cierto, ya que el casco reflectante de $S$ en $\mathbf{Top}$ es la subcategoría $\mathbf{Top}_0$ de todos $T_0$ -espacios.


Una gran referencia para las subcategorías reflexivas y coreflexivas de la categoría de espacios topológicos es el libro de H. Herrlich: Reflexiones topológicas y coreflexiones Lecture Notes in Mathematics 78, Springer. Pero los resultados básicos se pueden encontrar en muchos libros sobre teoría de categorías, por ejemplo en Adamek-Herrlich-Strecker.

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