4 votos

Conjuntos dirigidos para describir una topología con redes.

Estoy estudiando algunas cosas relacionadas con los ultrafiltros en espacios métricos y topológicos y tratando de demostrar el teorema en un entorno general, por lo que se me ocurrió la siguiente pregunta.

Dejemos que $S$ sea un espacio topológico. ¿Existe un conjunto dirigido natural $(M,\leq)$ para las que las redes $\left\{x_\lambda\right\}_{\lambda\in M}$ describen la topología de $S$ ?

Por "natural", quiero decir que el conjunto dirigido asociado a un espacio métrico, o primero contable, es $\mathbb{N}$ por ejemplo. Si dejamos que $\mathcal{U}_x$ denotan la colección de vecindades abiertas de un punto $x\in S$ ordenados por inclusión inversa ( $U\leq V\iff V\subseteq U$ ), entonces $M=\prod_{x\in S}\mathcal{U}_x$ con el orden del producto es suficiente para describir la topología de $S$ con redes (creo), pero no es exactamente "natural".

La mayoría de las pruebas que conozco de los teoremas que describen la topología de $S$ que utilizan redes suelen considerar, en algún momento, un conjunto dirigido de productos. Cuando se trata de primeros espacios contables, se suele considerar no el conjunto dirigido producto $\mathbb{N}\times\mathbb{N}$ pero la diagonal $\left\{(n,n):n\in\mathbb{N}\right\}$ que de hecho es cofinal en $\mathbb{N}\times\mathbb{N}$ (ver aquí por ejemplo).

1voto

user87690 Puntos 3831

Consideremos el espacio $(ω_1 + 1)$ es decir, la secuencia convergente transfinita de longitud $ω_1$ . ¿Cuál sería su conjunto natural dirigido aquí? Necesitas ambos $ω$ y $ω_1$ tipos. Así que no veo nada mejor que $ω × ω_1$ aquí.

1voto

Freeze_S Puntos 5098

Tenga en cuenta que las redes pueden verse como filtros especiales.

La aproximación de Hausdorff a la topología utiliza filtros de vecindad: $\mathcal{N}_x$

Lo más habitual es que se construyan por bases vecinales: $\mathcal{B}_x$

Así que uno tiene: $\mathcal{N}_x:=\uparrow\mathcal{B}_x:=\{N:\exists B\in\mathcal{B}_x:B\subseteq N\}$

Ahora, la topología de los espacios métricos se define fácilmente de esta manera: $B_\varepsilon(x)$

(Precisamente, se define a través de una estructura uniforme construida a través de una base).

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