Posgrado
  1. Introducción al análisis real  1.1. Teoría de conjuntos y lógica en el análisis real  1.1.1. Conjuntos y operaciones en teoría de conjuntos y lógica en análisis real  1.1.2. Relaciones y funciones  1.1.3. Lógica y cuantificadores  1.1.4. Cardinalidad de conjuntos  1.2. Espacio métrico  1.2.1. Introducción a conjuntos abiertos y cerrados en espacios métricos  1.2.2. Convergencia de secuencias en un espacio métrico  1.2.3. Función continua en un espacio métrico  1.2.4. Compacidad y completitud en espacios métricos en análisis real  1.3. Secuencias y series  1.3.1. Convergencia de secuencias  1.3.2. Series infinitas  1.3.3. Convergencia uniforme  1.3.4. Serie de potencias  1.4. Discriminación  1.4.1. Teorema del valor medio  1.4.2. Serie de Taylor  1.4.3. Funciones de varias variables  1.4.4. Derivada parcial  1.5. Integración  1.5.1. Integración de Riemann y Lebesgue  1.5.2. Integrales impropias  1.5.3. Teoría de la medida: una herramienta fundamental en la integración  1.5.4. Teorema de Fubini  1.6. Análisis funcional  1.6.1. Comprendiendo los espacios de Banach  1.6.2. Espacios de Hilbert  1.6.3. Operadores en espacios  1.6.4. Teoría espectral
  2. Álgebra abstracta  2.1. Entendiendo los grupos en el álgebra abstracta  2.1.1. Definiciones y ejemplos de grupos en álgebra abstracta  2.1.2. Homomorfismos de grupos  2.1.3. Introducción a los subgrupos normales  2.1.4. Teorema de Sylow  2.2. Anillos y campos  2.2.1. Ideales y anillos cociente  2.2.2. Extensiones de campos  2.2.3. Teoría de Galois  2.2.4. Anillos de polinomios  2.3. Introducción a los módulos en álgebra abstracta  2.3.1. Homomorfismo de módulos  2.3.2. Módulos libres  2.3.3. Introducción a los productos tensoriales  2.3.4. Secuencia exacta en módulos  2.4. Álgebra lineal  2.4.1. Espacio vectorial  2.4.2. Autovalores y autovectores  2.4.3. Espacio de producto interior  2.4.4. Diagonalización
  3. Topología  3.1. Topología general  3.1.1. Conjuntos abiertos y cerrados  3.1.2. Compacidad y conexión  3.1.3. Mapas continuos  3.1.4. Axioma de separación  3.2. Topología algebraica  3.2.1. Comprensión de los grupos fundamentales en la topología algebraica  3.2.2. Homotopía y homología  3.2.3. Complejo simplicial  3.2.4. Secuencias exactas en homología  3.3. Topología diferencial  3.3.1. Comprendiendo las variedades en topología diferencial  3.3.2. Funcionamiento suave  3.3.3. Espacio tangente y cotangente  3.3.4. Fibrados vectoriales
  4. Ecuaciones diferenciales  4.1. Ecuación diferencial ordinaria  4.1.1. Ecuaciones de primer orden  4.1.2. Ecuaciones lineales de segundo orden  4.1.3. Sistemas de ecuaciones diferenciales  4.1.4. Análisis de estabilidad en ecuaciones diferenciales ordinarias  4.2. Ecuaciones en derivadas parciales  4.2.1. Clasificación de EDP  4.2.2. Entendiendo las series de Fourier en ecuaciones diferenciales parciales  4.2.3. Introducción a las funciones de Green  4.2.4. Método de caracterización  4.3. Sistemas dinámicos en ecuaciones diferenciales  4.3.1. Teoría de la sostenibilidad  4.3.2. Ciclos límite en sistemas dinámicos  4.3.3. Teoría del caos  4.3.4. Teoría de bifurcación
  5. Probabilidad y estadística  5.1. Teoría de la probabilidad  5.1.1. Variables aleatorias  5.1.2. Distribuciones de probabilidad  5.1.3. Ley de los grandes números  5.1.4. Teorema del límite central  5.2. Inferencia estadística  5.2.1. Pruebas de hipótesis  5.2.2. Intervalo de confianza  5.2.3. Métodos bayesianos  5.2.4. Estimación de máxima verosimilitud  5.3. Procesos estocásticos  5.3.1. Cadenas de Markov  5.3.2. Movimiento browniano  5.3.3. Comprendiendo los procesos de Poisson  5.3.4. Martingalas: Un estudio integral en probabilidad y estadística
  6. Análisis numérico  6.1. Soluciones numéricas de ecuaciones  6.1.1. Descubrimiento original  6.1.2. Métodos iterativos  6.1.3. Análisis de convergencia  6.1.4. Cotas de error en soluciones numéricas de ecuaciones  6.2. Álgebra lineal numérica  6.2.1. Factorización de matrices  6.2.2. Cálculo de valores propios  6.2.3. Matrices dispersas  6.2.4. Técnicas de preacondicionamiento  6.3. Integración y diferenciación numérica  6.3.1. Métodos de cuadratura  6.3.2. Introducción a las diferencias finitas  6.3.3. Análisis de errores en la integración y diferenciación numérica  6.3.4. Métodos adaptativos en integración y diferenciación numérica
  7. Análisis complejo  7.1. Números complejos  7.1.1. Forma polar  7.1.2. Conjugados complejos  7.1.3. Forma exponencial de los números complejos  7.1.4. Raíces de la unidad  7.2. Funciones analíticas  7.2.1. Ecuaciones de Cauchy–Riemann  7.2.2. Series de potencias  7.2.3. Mapeo conforme  7.2.4. Funciones armónicas  7.3. Integración en el plano complejo  7.3.1. Teorema de Cauchy  7.3.2. Teorema del residuo  7.3.3. Integración de contornos  7.3.4. Transformaciones integrales
  8. Lógica matemática y fundamentos  8.1. Lógica proposicional  8.1.1. Tablas de verdad  8.1.2. Equivalencia lógica en la lógica proposicional  8.1.3. Técnicas de demostración en lógica proposicional  8.1.4. Solución en lógica proposicional  8.2. Lógica de predicados  8.2.1. Cuantificadores en lógica de predicados  8.2.2. Sistemas formales en lógica de predicados  8.2.3. Integridad y solidez  8.2.4. Teoría de modelos  8.3. Teoría de conjuntos  8.3.1. Cardinalidad y ordinalidad  8.3.2. Sistemas axiomáticos  8.3.3. Comprender la teoría de conjuntos de Zermelo-Fraenkel  8.3.4. Fuerzas en la teoría de conjuntos
  9. Personalización  9.1. Programación lineal  9.1.1. Método simplex  9.1.2. Dualidad en la programación lineal  9.1.3. Análisis de sensibilidad en programación lineal  9.1.4. Métodos de punto interior  9.2. Programación no lineal  9.2.1. Descenso de gradiente  9.2.2. Multiplicadores de Lagrange  9.2.3. Optimización convexa  9.2.4. Programación cuadrática  9.3. Optimización Combinatoria  9.3.1. Algoritmos de grafos  9.3.2. Programación entera  9.3.3. Flujo de red  9.3.4. Algoritmos de aproximación
  10. Matemáticas discretas  10.1. Teoría de grafos  10.1.1. Representación de grafos  10.1.2. Llanura y color  10.1.3. Algoritmo de camino más corto  10.1.4. Flujo de red  10.2. Compañerismo  10.2.1. Permutación y combinación  10.2.2. Función generadora  10.2.3. Relación de recurrencia  10.2.4. Comprendiendo el Principio de Inclusión-Exclusión  10.3. Criptografía  10.3.1. Aplicaciones de la teoría de números en criptografía  10.3.2. Criptografía Simétrica y Asimétrica  10.3.3. RSA y criptografía de curvas elípticas  10.3.4. Criptografía post-cuántica

Posgrado → Topología → Topología general ↓


Axioma de separación


Los axiomas de separación son un concepto importante en la topología general, una rama de las matemáticas que se ocupa del estudio de los espacios topológicos y sus propiedades. Estos axiomas establecen cuán distintos o separados pueden ser los elementos y subconjuntos de un espacio topológico. Comprender los axiomas de separación ayuda a clasificar espacios y estudiar sus propiedades en detalle.

Introducción

En topología, los axiomas de separación proporcionan un marco para describir cómo diferentes puntos y conjuntos dentro de un espacio topológico pueden separarse entre sí. Los axiomas son una extensión natural de las nociones geométricas y analíticas básicas de distancia y separación. Discutamos estos axiomas en detalle y exploremos ejemplos para construir una mejor comprensión.

Antecedentes

Antes de sumergirnos en los axiomas de separación, revisemos brevemente algunos conceptos básicos que ayudarán a comprender los axiomas:

  • Espacio topológico: Un conjunto X que contiene una colección τ de subconjuntos de X se llama espacio topológico si la colección τ satisface ciertas propiedades, como intersección finita y cierre bajo uniones arbitrarias.
  • Conjuntos abiertos: Los elementos de la colección τ se llaman conjuntos abiertos de X
  • Conjunto cerrado: Un subconjunto de X se llama cerrado si su complemento es abierto.

Diferentes niveles de axiomas de separación

Los axiomas de separación se clasifican en varios niveles, cada uno de los cuales impone condiciones más estrictas que el anterior. Los axiomas de separación principales utilizados en topología son:

  1. T_0 Axioma de separación (espacio de Kolmogorov):
  2. T_1 Axioma de separación (espacio de Fréchet):
  3. T_2 Axioma de separación (espacio de Hausdorff):
  4. T_3 Axioma de separación (espacio regular):
  5. T_3.5 Axioma de separación (espacio totalmente regular o de Tychonoff):
  6. T_4 Axioma de separación (espacio normal):

T_0 axioma de separación (espacio de Kolmogorov)

Un espacio topológico X es un espacio T_0 o espacio de Kolmogorov si, para cada par de puntos distintos x e y en X, existe al menos un conjunto abierto que contiene uno de estos puntos y no el otro.

Ejemplo de espacio T_0:

Considere el conjunto X = {a, b} con la topología τ = {emptyset, {a}, X} En este espacio, los puntos a y b son distintos porque existe un conjunto abierto {a} que contiene a pero no b.

Puntos: a, b Conjuntos Abiertos: ∅, {a}, X
A B

T_1 Axioma de separación (espacio de Fréchet)

Un espacio X es T_1 si para cada par de puntos distintos x e y en X, existen conjuntos abiertos U y V tales que x está en U, y no está en U, y está en V y x no está en V

Ejemplo de localización T_1:

Considere la línea real mathbb{R} con la topología estándar. Para cualquier par de puntos distintos x e y, podemos encontrar intervalos abiertos (x-epsilon, x+epsilon) y (y-delta, y+delta) que los separan.

Puntos: x, y Intervalos Abiertos: (x-ε, x+ε), (y-δ, y+δ)
X Y (x-ε, x+ε) (y-δ, y+δ)

T_2 Axioma de separación (espacio de Hausdorff)

Un espacio se llama espacio de Hausdorff (o espacio T_2) si para cualquier par de puntos distintos x e y en el espacio, existen conjuntos abiertos U y V tales que x está en U, y está en V y U y V no tienen elementos en común.

Ejemplo de un espacio de Hausdorff:

El espacio euclidiano mathbb{R}^n con la topología usual es un ejemplo típico de un espacio de Hausdorff. Para cualquier par de puntos distintos, podemos construir bolas abiertas alrededor de cada punto que no se superponen.

Puntos: x, y Bolas Abiertas: B(x;r), B(y;s) (text{x neq y → B(x;r) ∩ B(y;s) = ∅})
X Y B(x;r) ∩ B(y;s) = ∅

T_3 Axioma de separación (espacios regulares)

Un espacio topológico X se llama espacio regular o espacio T_3 si es un espacio T_1 y para cada conjunto cerrado C y un punto x que no está en C, existen conjuntos abiertos disjuntos U y V tales que x in U y C subset V

Ejemplo de espacio regular:

El intervalo unitario abierto (0,1) en los números reales mathbb{R} con la topología usual es un espacio regular. Podemos encontrar fácilmente intervalos abiertos disjuntos alrededor de cualquier punto y los conjuntos cerrados que no contienen a ese punto.

Punto: x Conjunto Cerrado: [a,b] Conjuntos Abiertos: U(x - ε, x + ε), V(a - δ, b + δ) con U ∩ V = ∅
X C U V

T_3.5 Axioma de separación (Espacio de Tychonoff o completamente regular)

Un espacio X es de Tychonoff (también llamado completamente regular) si es un espacio T_1 y para cada conjunto cerrado C y punto x que no está en C, existe una función continua f:X → [0,1] tal que f(x) = 0 y f(C) = 1.

Ejemplo de un espacio de Tychonoff:

Los números reales mathbb{R} con la topología estándar forman un espacio de Tychonoff. Dado un punto y un conjunto cerrado, podemos encontrar una función continua que los separe.

Función continua: f(x) = 0, f(C) = 1
f(x)=0 f(c)=1

T_4 Axioma de separación (espacio normal)

Un espacio X se llama espacio normal si es un espacio T_1 y para cada par de conjuntos cerrados disjuntos A, B en X, existe un conjunto abierto disjunto que los contiene.

Ejemplo de ubicación común:

La recta numérica real mathbb{R} es un espacio normal con la topología usual. Para cualquier par de conjuntos cerrados disjuntos, podemos construir conjuntos abiertos disjuntos que los apoyen.

Conjuntos Cerrados Disjuntos: A, B Conjuntos Abiertos: O(A), O(B) con O(A) ∩ O(B) = ∅
A B O(A) O(b)

Resumen

Los axiomas de separación proporcionan una gradación de la propiedad de separación dentro de un espacio topológico. A medida que uno se mueve de T_0 a T_4, las condiciones se vuelven más estrictas y los espacios parecen más separables. Comprender estos axiomas nos permite clasificar mejor los espacios topológicos y estudiar su comportamiento en diferentes contextos matemáticos.

Conclusión

Los axiomas de separación juegan un papel clave en la topología, ya que afectan las propiedades y estructuras de los espacios topológicos. Al estudiar estos axiomas, obtenemos conocimientos sobre cómo los espacios pueden ser caracterizados de manera única y comprendemos mejor las complejas relaciones entre puntos y conjuntos dentro de esos espacios. Dominar este tema es fundamental para profundizar en el campo de la topología y sus aplicaciones en diversas áreas de las matemáticas y más allá.


Posgrado → 3.1.4


U
username
0%
completado en Posgrado

← Anterior (3.1.3)
Mapas continuos
Siguiente (3.2) →
Topología algebraica

Comentarios 



Axioma de separación

https://www.buddymath.com/g/3.1.4?bmal=es