Axiomas de separación

Axiomas de separación

Axiomas de separación

Uno de los grados posibles de separación es el de los espacios T2 o Hausdorff, en que puntos diferentes siempre están separados por abiertos disjuntos.

La Topología es una rama de las matemáticas donde lo que importa no son los tamaños de las figuras ni las distancias entre sus puntos sino mas bien la forma de las figuras, así como las propiedades que se mantienen cuando estas figuras son deformadas (por ejemplo la cantidad de puntos en esta figura o la propiedad de ser "de una sola pieza"). Existen distintas maneras de clasificar esas propiedades; las más destacadas son: propiedades de compacidad, propiedades de conexión y propiedades de separación. Veamos en qué consisten estas propiedades de separación y como podemos distinguir espacios topológicos por medio de los llamados "axiomas de separación".

Los axiomas de separación constituyen unos requisitos adicionales que se pueden exigir a un espacio topológico. Estos requisitos fijan el grado en que distintos puntos o conjuntos cerrados pueden ser separados por medio de los abiertos de la topología.[1]

Existen varios niveles crecientes de separación que se pueden pedir a un espacio topológico. Suelen denominarse con la letra T (de Trennung, separación en alemán) y un subíndice conveniente. Así aparece una jerarquía de espacios, entre los que cabe destacar a los espacios T2 o espacios de Hausdorff, los T3 o espacios regulares y los T4 o espacios normales.

Por desgracia, salvo para T0, T1 y T2, los nombres de los axiomas de separación no están completamente estandarizados.[2]

Contenido

Introducción

La definición de topología, en su generalidad, admite estructuras topológicas poco útiles: pensemos en un conjunto X con más de un elemento, dotado con la topología trivial (i.e. sus únicos abiertos son Ø y todo X). Esta topología no contiene abiertos que nos permitan distinguir topológicamente dos puntos diferentes: ambos puntos comparten el único entorno posible. Mirando los entornos abiertos de cada punto nos resulta imposible distinguirlos. Decimos que, a efectos topológicos, X no es diferente de un conjunto de un solo punto dotado de la topología trivial.[3]

Necesitamos algún tipo de requisito sobre la topología que garantice un número suficiente de abiertos, de modo que éstos nos permitan distinguir topológicamente puntos distintos. Los diferentes grados en que se concreta esta exigencia se plasma en los diferentes axiomas de separación.

Algunos axiomas de separación

Espacios T0 o Kolgomorov

Un espacio topológico X se llama T0 si y solo si para cualquier par de puntos x, y \in X existe un abierto que contiene uno de los puntos y no contiene el otro punto.

Una equivalencia a esta propiedad es la siguiente: si x,y son elementos del espacio X tales que la clausura de {x} y la clausura de {y} sean iguales entonces x = y

Espacios T1 o Fréchet

Un espacio topológico X se dice espacios métricos son T2), tienen propiedades fuertes como el que la convergencia de una sucesión o de un filtro, en caso de existir, sea única.

Espacios T3 o regulares

Un espacio topológico X es regular si es T0 y para cada punto x\in X y cualquier cerrado F\subset X tal que x no pertenece a F existe un entorno de x Ux y un entorno de F UF tal que su intersección es vacía. Es decir, podemos separar puntos de cerrados.

Espacios T_{3\frac{1}{2}}, completamente regulares o Tychonoff

Un espacio topológico X es completamente regular si es T0 y para cada punto x\in X y cualquier cerrado F\subset X tal que x no pertenece a F existe una funcion continua f:X \rightarrow [0, 1] tal que f(x) = 0 y f(F) = 1.

Espacios T4 o normales

Un espacio topológico X es normal si es T1 y para cada par de cerrados F_1,F_2\subset X con interseccion vacia existen unos entornos que los contengan U_{F_1} y U_{F_2} tal que su intersección sea vacía. Es decir, podemos separar todos los cerrados del espacio. En particular los espacios métricos son normales.

Separación en espacios métricos

Es fácil verificar que T_{3\frac{1}{2}} \Rightarrow T_3 \Rightarrow T_2 \Rightarrow T_1 \Rightarrow T_0. Es cierto que T_4 \Rightarrow T_{3\frac{1}{2}} , aunque esto no es tan evidente, es una consecuencia del Lema de Urysohn. Un espacio métrico (X,d) con su distancia asociada es normal, Tychonoff, regular, Hausdorff, Fréchet y finalmente Kolgomorov. Es importante destacar, para evitar errores, que el recíproco no es cierto.

Veamos que es cierto que todo espacio métrico es normal o T4 y por consiguiente es Tychonoff, regular, Hausdorff, Fréchet y Kolgomorov.

Todo espacio métrico, con su distancia (X,d) es normal.

Demostración: Sean F1 y F2 dos cerrados de un espacio métrico X. Para cada x\in F_1 sea rx = d(x,F2). Análogamente, para cada y \in F_2 sea sy = d(y,F1). Sea U=\bigcup_{x \in F_1} B_{\frac{r_x}{2}}(x), y sea V=\bigcup_{y \in F_2} B_{\frac{s_y}{2}}(y). Es claro que tanto U, como V son abiertos, y que F_1 \subset U y  F_2 \subset V . Se afirma que U \bigcap V = \empty.

Supongamos que es falso, entonces sea z \in U \bigcap V. Quiere decir que existen x, y y tal que  z \in B_{\frac{r_x}{2}}(x) y  z \in B_{\frac{s_y}{2}}(y). Pero eso implica que:

d(x,y) \leq d(x,z) + d(z,y) < \frac{r_x}{2} + \frac{s_y}{2} < \max(d(x,F_2),d(y,F_1)) \leq d(x,F_2)

Lo cual es una contradicción. \Box

Por tanto todos los espacios métricos son normales, y por tanto Tychonoff, regulares, Hausdorff, Fréchet y Kolgomorov.

Referencias

  1. L. A. Steen, J. A. Seebach. Counterexamples in topology. Courier Dover Publications, 1995. ISBN 0-486-68735-X (sección 2)
  2. Runde, V. A taste of topology. Springer, 2005. ISBN 0-387-25790-X (Capítulo 3)
  3. Willard, S.. General Topology. Courier Dover Pub, 2004. ISBN 0-486-43479-6. (Capítulo 5)
Obtenido de "Axiomas de separaci%C3%B3n"

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Separación — puede referirse a: Separación matrimonial, situación jurídica intermedia entre el matrimonio y el divorcio. En farmacología, la separación es un parámetro de la farmacocinética de un medicamento. En Matemáticas, los axiomas de separación son… …   Wikipedia Español

  • Espacio completamente de Hausdorff — Saltar a navegación, búsqueda En topología, espacios completamente de Hausdorff y espacios de Urysohn (o T2½) son tipos de espacios topológicos que satisfacen axiomas de separación más fuertes que los del espacio de Hausdorff. Contenido 1… …   Wikipedia Español

  • Espacio topológico — Saltar a navegación, búsqueda Cuatro ejemplos y dos anti ejemplos de topologías en el conjunto de tres puntos {1,2,3}. El ejemplo inferior izquierdo no es una topología porque la unión {2,3} de {2} y {3} no está definida; el ejemplo inferior… …   Wikipedia Español

  • Glosario de topología — Anexo:Glosario de topología Saltar a navegación, búsqueda Esto es un glosario de algunos términos que se usan en la rama de la matemática conocida como topología. Este glosario estará centrado fundamentalmente en lo que podemos llamar la… …   Wikipedia Español

  • Anexo:Glosario de topología — Esto es un glosario de algunos términos que se usan en la rama de la matemática conocida como topología. Este glosario estará centrado fundamentalmente en lo que podemos llamar la topología general y en las definiciones que sean importantes para… …   Wikipedia Español

  • Espacio de Kolmogórov — Saltar a navegación, búsqueda Un espacio topológico se dice que es T0 o espacio de Kolmogórov (o que cumple la propiedad de separación de Kolmogórov) si dados dos puntos distintos cualesquiera x e y del espacio, o bien existe un entorno Ux de x… …   Wikipedia Español

  • Topología del límite inferior — En matemáticas, la topología del límite inferior, llamada también en ocasiones topología de Sorgenfrey es una topología definida sobre la recta real. Al espacio topológico resultante, denotado por , se lo conoce por Recta de Sorgenfrey. Esta… …   Wikipedia Español

  • Espacio de Hausdorff — Saltar a navegación, búsqueda En topología, un espacio de Hausdorff, separado o T2 es un espacio topológico en el que puntos distintos tienen entornos disjuntos. Los espacios de Hausdorff se llaman así en honor de Felix Hausdorff, uno de los… …   Wikipedia Español

  • Espacio normal — Saltar a navegación, búsqueda En Topología y ramas relacionadas de la matemática, los espacios normales, espacios T4, y espacios T5 son tipos particulares de espacios topológicos. Estas condiciones son ejemplos de Axiomas de separación.… …   Wikipedia Español

  • Estructura trivial — Saltar a navegación, búsqueda En topología y campos relacionados de las matemáticas, se tienen situaciones extremales, tradicionalmente subsumidas en el concepto de conjunto. Un espacio (indiscreto) discreto es un ejemplo particularmente simple… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”