Pós-graduação
  1. Introdução à análise real  1.1. Teoria dos conjuntos e lógica em análise real  1.1.1. Conjuntos e operações na teoria dos conjuntos e lógica em análise real  1.1.2. Relações e funções  1.1.3. Lógica e quantificadores  1.1.4. Cardinalidade dos conjuntos  1.2. Espaço métrico  1.2.1. Introdução aos conjuntos abertos e fechados em espaços métricos  1.2.2. Convergência de sequências em um espaço métrico  1.2.3. Função contínua em um espaço métrico  1.2.4. Compacidade e completude em espaços métricos na análise real  1.3. Sequências e séries  1.3.1. Convergência de sequências  1.3.2. Séries infinitas  1.3.3. Convergência uniforme  1.3.4. Séries de potências  1.4. Discriminação  1.4.1. Teorema do valor médio  1.4.2. Série de Taylor  1.4.3. Funções de várias variáveis  1.4.4. Derivada parcial  1.5. Integração  1.5.1. Integração de Riemann e Lebesgue  1.5.2. Integrais impróprias  1.5.3. Teoria da Medida: uma ferramenta fundamental na integração  1.5.4. Teorema de Fubini  1.6. Análise funcional  1.6.1. Compreendendo espaços de Banach  1.6.2. Espaços de Hilbert  1.6.3. Operadores em espaços  1.6.4. Teoria Espectral
  2. Álgebra Abstrata  2.1. Compreendendo grupos na álgebra abstrata  2.1.1. Definições e exemplos de grupos na álgebra abstrata  2.1.2. Homomorfismos de grupos  2.1.3. Introdução aos subgrupos normais  2.1.4. Teorema de Sylow  2.2. Anéis e campos  2.2.1. Ideais e anéis quocientes  2.2.2. Extensões de campos  2.2.3. Teoria de Galois  2.2.4. Anéis de polinômios  2.3. Introdução aos módulos em álgebra abstrata  2.3.1. Homomorfismo de Módulos  2.3.2. Módulos livres  2.3.3. Introdução aos produtos tensoriais  2.3.4. Sequência exata em módulos  2.4. Álgebra linear  2.4.1. Espaço vetorial  2.4.2. Autovalores e autovetores  2.4.3. Espaço de produto interno  2.4.4. Diagonalização
  3. Topologia  3.1. Topologia Geral  3.1.1. Conjuntos abertos e fechados  3.1.2. Compacidade e conexidade  3.1.3. Mapas contínuos  3.1.4. Axioma de separação  3.2. Topologia algébrica  3.2.1. Compreendendo grupos fundamentais em topologia algébrica  3.2.2. Homotopia e homologia  3.2.3. Complexo simplicial  3.2.4. Sequências exatas em homologia  3.3. Topologia Diferencial  3.3.1. Compreendendo variedades na topologia diferencial  3.3.2. Funções Suaves  3.3.3. Espaço tangente e cotangente  3.3.4. Feixes vetoriais
  4. Equações diferenciais  4.1. Equação diferencial ordinária  4.1.1. Equações de primeira ordem  4.1.2. Equações lineares de segunda ordem  4.1.3. Sistemas de equações diferenciais  4.1.4. Análise de estabilidade em equações diferenciais ordinárias  4.2. Equações diferenciais parciais  4.2.1. Classificação de PDE  4.2.2. Compreendendo séries de Fourier em equações diferenciais parciais  4.2.3. Introdução às funções de Green  4.2.4. Método de caracterização  4.3. Sistemas dinâmicos em equações diferenciais  4.3.1. Teoria da Sustentabilidade  4.3.2. Ciclos limite em sistemas dinâmicos  4.3.3. Teoria do caos  4.3.4. Teoria da bifurcação
  5. Probabilidade e estatística  5.1. Teoria da probabilidade  5.1.1. Variáveis aleatórias  5.1.2. Distribuições de probabilidade  5.1.3. Lei dos grandes números  5.1.4. Teorema Central do Limite  5.2. Inferência estatística  5.2.1. Teste de hipótese  5.2.2. Intervalo de confiança  5.2.3. Métodos bayesianos  5.2.4. Estimativa de máxima verossimilhança  5.3. Processos estocásticos  5.3.1. Cadeias de Markov  5.3.2. Movimento Browniano  5.3.3. Compreendendo os processos de Poisson  5.3.4. Martingales: Um estudo abrangente em probabilidade e estatística
  6. Análise numérica  6.1. Soluções numéricas de equações  6.1.1. Descoberta original  6.1.2. Métodos iterativos  6.1.3. Análise de convergência  6.1.4. Limites de erro em soluções numéricas de equações  6.2. Álgebra linear numérica  6.2.1. Fatoração de matrizes  6.2.2. Cálculo de autovalores  6.2.3. Matrizes esparsas  6.2.4. Técnicas de pré-condicionamento  6.3. Integração e diferenciação numéricas  6.3.1. Métodos de quadratura  6.3.2. Introdução às diferenças finitas  6.3.3. Análise de erro na integração e diferenciação numérica  6.3.4. Métodos adaptativos em integração e diferenciação numérica
  7. Análise complexa  7.1. Números complexos  7.1.1. Forma polar  7.1.2. Conjugados Complexos  7.1.3. Forma exponencial de números complexos  7.1.4. Raízes da unidade  7.2. Funções analíticas  7.2.1. Equações de Cauchy–Riemann  7.2.2. Séries de potências  7.2.3. Mapeamento conforme  7.2.4. Funções harmônicas  7.3. Integração no plano complexo  7.3.1. Teorema de Cauchy  7.3.2. Teorema do resíduo  7.3.3. Integração de contorno  7.3.4. Transformadas integrais
  8. Lógica Matemática e Fundamentos  8.1. Lógica proposicional  8.1.1. Tabelas de verdade  8.1.2. Equivalência lógica na lógica proposicional  8.1.3. Técnicas de prova em lógica proposicional  8.1.4. Solução na lógica proposicional  8.2. Lógica de predicados  8.2.1. Quantificadores na lógica de predicados  8.2.2. Sistemas formais na lógica de predicados  8.2.3. Completude e correção  8.2.4. Teoria dos modelos  8.3. Teoria dos conjuntos  8.3.1. Cardinalidade e ordinalidade  8.3.2. Sistemas axiomáticos  8.3.3. Compreendendo a teoria dos conjuntos de Zermelo-Fraenkel  8.3.4. Forças na teoria dos conjuntos
  9. Personalização  9.1. Programação linear  9.1.1. Método simplex  9.1.2. Dualidade na programação linear  9.1.3. Análise de sensibilidade em programação linear  9.1.4. Métodos de ponto interior  9.2. Programação não linear  9.2.1. Descida do Gradiente  9.2.2. Múltiplos de Lagrange  9.2.3. Otimização convexa  9.2.4. Programação quadrática  9.3. Otimização Combinatória  9.3.1. Algoritmos de grafos  9.3.2. Programação inteira  9.3.3. Fluxo de Rede  9.3.4. Algoritmos de aproximação
  10. Matemática discreta  10.1. Teoria dos grafos  10.1.1. Representação de grafos  10.1.2. Planicidade e cor  10.1.3. Algoritmo de caminho mais curto  10.1.4. Fluxo de rede  10.2. Companheirismo  10.2.1. Percmutações e combinações  10.2.2. Função geradora  10.2.3. Relação de recorrência  10.2.4. Compreendendo o Princípio da Inclusão-Exclusão  10.3. Criptografia  10.3.1. Aplicações da teoria dos números na criptografia  10.3.2. Criptografia Simétrica e Assimétrica  10.3.3. RSA e criptografia de curva elíptica  10.3.4. Criptografia pós-quântica

Pós-graduação → Topologia → Topologia Geral ↓


Axioma de separação


Os axiomas de separação são um conceito importante na topologia geral, um ramo da matemática que lida com o estudo dos espaços topológicos e suas propriedades. Esses axiomas estabelecem quão distintos ou separados os elementos e subconjuntos de um espaço topológico podem ser. Compreender os axiomas de separação ajuda a classificar espaços e a estudar suas propriedades em detalhe.

Introdução

Na topologia, os axiomas de separação fornecem uma estrutura para descrever como pontos e conjuntos diferentes dentro de um espaço topológico podem ser separados uns dos outros. Os axiomas são uma extensão natural das noções geométricas e analíticas básicas de distância e separação. Vamos discutir esses axiomas em detalhe e explorar exemplos para construir uma melhor compreensão.

Contexto

Antes de mergulhar nos axiomas de separação, vamos rever brevemente alguns conceitos básicos que ajudarão na compreensão dos axiomas:

  • Espaço topológico: Um conjunto X contendo uma coleção τ de subconjuntos de X é chamado de espaço topológico se a coleção τ satisfizer certas propriedades, como a interseção finita e o fechamento sob uniões arbitrárias.
  • Conjuntos abertos: Os elementos da coleção τ são chamados de conjuntos abertos de X
  • Conjunto fechado: Um subconjunto de X é chamado de fechado se seu complemento for aberto.

Diferentes níveis de axiomas de separação

Os axiomas de separação são classificados em vários níveis, cada um dos quais impõe condições mais rigorosas do que o anterior. Os principais axiomas de separação utilizados na topologia são:

  1. Axioma de separação T_0 (espaço de Kolmogorov):
  2. Axioma de separação T_1 (espaço de Fréchet):
  3. Axioma de separação T_2 (espaço de Hausdorff):
  4. Axioma de separação T_3 (espaço regular):
  5. Axioma de separação T_3.5 (espaço de Tychonoff ou completamente regular):
  6. Axioma de separação T_4 (espaço normado):

Axioma de separação T_0 (espaço de Kolmogorov)

Um espaço topológico X é um espaço T_0 ou um espaço de Kolmogorov se, para cada par de pontos distintos x e y em X, houver pelo menos um conjunto aberto que contém um desses pontos e não o outro.

Exemplo de espaço T_0:

Considere o conjunto X = {a, b} com a topologia τ = {emptyset, {a}, X}. Nesse espaço, os pontos a e b são distintos porque há um conjunto aberto {a} que contém a mas não b.

Pontos: a, b Conjuntos Abertos: ∅, {a}, X
A B

Axioma de separação T_1 (espaço de Fréchet)

Um espaço X é T_1 se, para cada par de pontos distintos x e y em X, existirem conjuntos abertos U e V tais que x esteja em U, y não esteja em U, y esteja em V e x não esteja em V.

Exemplo de localização T_1:

Considere a linha real mathbb{R} com a topologia padrão. Para quaisquer dois pontos distintos x e y, podemos encontrar intervalos abertos (x-epsilon, x+epsilon) e (y-delta, y+delta) que os separam.

Pontos: x, y Intervalos Abertos: (x-ε, x+ε), (y-δ, y+δ)
X Y (x-ε, x+ε) (y-δ, y+δ)

Axioma de separação T_2 (espaço de Hausdorff)

Um espaço é chamado de espaço de Hausdorff (ou espaço T_2) se para quaisquer dois pontos distintos x e y no espaço, existirem conjuntos abertos U e V tais que x esteja em U, y esteja em V e U e V não tenham elementos em comum.

Exemplo de um espaço de Hausdorff:

O espaço euclidiano mathbb{R}^n com a topologia usual é um exemplo típico de um espaço de Hausdorff. Para quaisquer dois pontos distintos, podemos construir bolas abertas em torno de cada ponto que não se interceptam.

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

Axioma de separação T_3 (espaços regulares)

Um espaço topológico X é chamado de espaço regular ou espaço T_3 se for um espaço T_1 e, para cada conjunto fechado C e um ponto x que não pertence a C, existirem conjuntos abertos disjuntos U e V tais que x in U e C subset V

Exemplo de espaço regular:

O intervalo aberto (0,1) nos números reais mathbb{R} com a topologia usual é um espaço regular. Podemos facilmente encontrar intervalos abertos disjuntos em torno de qualquer ponto e os conjuntos fechados que não contêm esse ponto.

Ponto: x Conjunto Fechado: [a,b] Conjuntos Abertos: U(x - ε, x + ε), V(a - δ, b + δ) com U ∩ V = ∅
X C U V

Axioma de separação T_3.5 (espaço de Tychonoff ou completamente regular)

Um espaço X é Tychonoff (também chamado completamente regular) se for um espaço T_1 e, para cada conjunto fechado C e ponto x que não pertence a C, existir uma função contínua f:X → [0,1] tal que f(x) = 0 e f(C) = 1.

Exemplo de um espaço de Tychonoff:

Os números reais mathbb{R} com a topologia padrão formam um espaço de Tychonoff. Dado qualquer ponto e um conjunto fechado, podemos encontrar uma função contínua que os separe.

Função contínua: f(x) = 0, f(C) = 1
f(x)=0 f(c)=1

Axioma de separação T_4 (espaço normado)

Um espaço X é chamado espaço normal se for um espaço T_1 e, para cada par de conjuntos fechados disjuntos A, B em X, existir um conjunto aberto disjunto que os contenha.

Exemplo de localização comum:

A linha dos números reais mathbb{R} é um espaço normal com a topologia usual. Para quaisquer dois conjuntos fechados disjuntos, podemos construir conjuntos abertos disjuntos que os envolvam.

Conjuntos Fechados Disjuntos: A, B Conjuntos Abertos: O(A), O(B) com O(a) ∩ O(B) = ∅
A B O(a) O(b)

Resumo

Os axiomas de separação proporcionam uma graduação da propriedade de separação dentro de um espaço topológico. À medida que se passa de T_0 para T_4, as condições tornam-se mais rigorosas e os espaços parecem mais separáveis. Compreender esses axiomas nos permite classificar melhor os espaços topológicos e estudar seu comportamento em diferentes contextos matemáticos.

Conclusão

Os axiomas de separação desempenham um papel fundamental na topologia, pois afetam as propriedades e estruturas dos espaços topológicos. Ao estudar esses axiomas, obtemos insights sobre como os espaços podem ser caracterizados de forma única e compreendemos melhor as complexas relações entre pontos e conjuntos dentro desses espaços. Dominar esse tópico é fundamental para aprofundar-se no campo da topologia e suas aplicações em várias áreas da matemática e além.


Pós-graduação → 3.1.4


U
username
0%
concluído em Pós-graduação

← Anterior (3.1.3)
Mapas contínuos
Próximo (3.2) →
Topologia algébrica

Comentários 



Axioma de separação

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