Um espaço topológico é um par ordenado [latex](X, tau)[/latex], onde [latex]X[/latex] é um conjunto e [latex]tau[/latex] é uma coleção de subconjuntos de [latex]X[/latex], chamados conjuntos abertos, que satisfazem três axiomas: 1) O conjunto vazio [latex]emptyset[/latex] e [latex]X[/latex] pertencem a [latex]tau[/latex]. 2) A união de qualquer número de conjuntos em [latex]tau[/latex] também pertence a [latex]tau[/latex]. 3) A interseção de qualquer número finito de conjuntos em [latex]tau[/latex] também pertence a [latex]tau[/latex].





