Topologia discreta
Em topologia, um espaço topológico diz-se discreto se todos conjuntos são abertos.[1]
Um espaço topológico é um conjunto com uma estrutura a mais; esta estrutura é que permite definir, neste conjunto, o que são funções contínuas.[2]
Existem várias definições equivalentes do que seja um espaço topológico.[1] A forma mais usual [carece de fontes] é definir esta estrutura sobre o conjunto X como um outro conjunto T, cujos elementos são subconjuntos de X, chamados de conjuntos abertos, e que satisfaz determinados axiomas, dentre os quais que uma união arbitrária de abertos, ou uma interseção de dois abertos, também é um aberto.[2][1] A topologia discreta é a "maior" topologia possível, ou seja, é aquela em que todo subconjunto de X é um conjunto aberto.[1][3]
Por ser cada topologia um conjunto, eles podem ser parcialmente ordenados por inclusão, ou seja, é possível definir quando uma topologia é mais grosseira que outra ou, inversamente, quando uma topologia é mais fina que outra. Uma topologia T é mais grosseira que T' (ou seja, T' é mais fina que T) quando Uma topologia mais grosseira tem menos conjuntos abertos do que uma topologia mais fina. A topologia discreta é a topologia que é mais fina que qualquer outra. Analogamente, no outro extremo existe a topologia grosseira, que é mais grosseira que todas outras.[1][3]
Propriedades
[editar | editar código-fonte]Um espaço discreto:
- pode ser metrizado, através da métrica discreta
- é separado
- é compacto se e só se é finito
Ver também
[editar | editar código-fonte]Notas e referências
Notas
Referências
- ↑ a b c d e A. Candel, Three dimes of Topology, Class Notes for Math 262, Winter 95-96, The University of Chicago, Chapter I. Topological Spaces [em linha]
- ↑ a b Allen Hatcher, Notes on Introductory Point-Set Topology, Chapter 1: Basic Point-Set Topology, 1. The Concept of Topological Space [em linha]
- ↑ a b Allen Hatcher, Notes on Introductory Point-Set Topology, Chapter 1: Basic Point-Set Topology, 2. Bases and subbases