Espaço topológico: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Linha 7:
Uma topologia em um [[conjunto]] <math>X</math> é uma coleção <math>\tau</math> de [[Conjunto#Conjunto potência ou de partes|partes]] de <math>X,</math> chamados os [[conjunto aberto|abertos]] da topologia, com as seguintes propriedades:
# <math>\varnothing , X \in \tau;</math>
# Se <math>A_1,A_2 \in C \tau,</math> então <math>A_1\cap A_2\in\tau;</math>
# Dada uma família arbitrária <math>(A_\lambda)_{\lambda\in C L},</math> com <math>A_\lambda\in\tau, \forall\lambda\in L,</math> tem-se <math>(\bigcup_{\lambda\in L}A_{\lambda})\in\tau.</math>
 
Um '''espaço topológico''' é um par <math>( X, \tau)</math> onde <math>X</math> é um conjunto e <math>\tau</math> é uma topologia em <math>X.</math>