Sea (, T) donde Tx = {A ; x A y - A es finito}.

Entonces T es una estructura

topolgica sobre , llamada estructura topolgica cofinita que es T1 pero no T2.1

Cualquier espacio T1 finito es un espacio topolgico discreto. 2

Sea X = {a, b, c} y la topologa que consiste de los siguientes subconjuntos de X: ,

{b}, {a, b}, {b, c}, X este espacio topolgico no es T1. Pues {b} no es cerrado

Topologa cofinita
En topologa, la topologa cofinita es la topologa que se puede definir sobre todo conjunto X
as: los conjuntos abiertos son el vaco y los subconjuntos de X cuyocomplementario es finito.
Formalmente, si

representa la topologa sobre

,
.

Propiedades[editar]

Si

La topologa inducida sobre un subconjunto Y de X es la topologa cofinita sobre Y.

es finito, la topologa cofinita coincide con la discreta.

Un espacio con la topologa cofinita es cuasicompacto, pero slo es separado si el

espacio es finito.
ESPACIO TOPOLOGICO T0
Un espacio topolgico se dice que es
o espacio de Kolmogrov (o que cumple la
propiedad de separacin de Kolmogrov) si dados dos puntos distintos cualesquiera e
espacio, o bien existe un entorno
de

de forma que

de

de forma que

o bien existe un entorno

Existen varias caracterizaciones de la propiedad de separacin de Kolmogrov:

Dados dos puntos distintos cualesquiera

distinta de la clausura de

Dado cualquier punto

cerrados.

del espacio, la clausura de

es

.
del espacio, la acumulacin de

es unin de conjuntos

del

La propiedad de separacin de Kolmogrov es hereditaria, lo cual quiere decir que

todo subespacio topolgico de un espacio de Kolmogrov es un espacio de
Kolmogrov.

Todo espacio mtrico es un espacio de Kolmogrov, no as los pseudomtricos. De

hecho, un espacio pseudomtrico es mtrico si y slo si es un espacio de Kolmogrov.

Espacio T1
Un espacio topolgico E es T1 si para cada pareja de elementos distintos x e y de E existe
un abierto que contiene a x y no a y y un abierto que contiene a y y no a x. Notar que no es
necesario que estos dos abiertos sean disjuntos (si esto ocurriera para todo x e y, sera
un espacio de Hausdorff o T2).
Sea E un espacio topolgico. Son equivalentes:

E es un espacio T1.

E es un espacio T0 y un espacio R0.

Para cada x de E, {x} es cerrado.

Todo conjunto de un nico punto es la interseccin de sus entornos.

Todo subconjunto de E es la interseccin de sus entornos.

Todo suconjunto finito de E es cerrado.

Todo subconjunto cofinito de E es abierto.

El ultrafiltro principal de x converge solamente a x.

Para cada punto x de E y todo subcojunto S de E, x es un punto lmite de S si y slo s

es un punto de acumulacin de S.

Un espacio topolgico es T1 si slo si cada punto es un conjunto cerrado. 3

En topologa, un espacio de Hausdorff, separado o

puntos distintos tienen entornos disjuntos.

es un espacio topolgico en el que

Los espacios de Hausdorff se llaman as en honor de Felix Hausdorff, uno de los fundadores
de la topologa. La definicin original de Hausdorff de un espacio topolgico (de 1914) inclua
la propiedad de Hausdorff como axioma.
Todo espacio mtrico (y por lo tanto todo espacio normado) es un espacio de Hausdorff.
Se dice que dos puntos

de un espacio topolgico

Hausdorff si existen dos entornos

de

de

cumplen la propiedad de

tales que

Se dice que un espacio topolgico es un espacio de Hausdorff (o que verifica la propiedad

de Hausdorff, o que es separado o que es

) si todo par de puntos distintos del espacio

verifican la propiedad de Hausdorff.

(Obsrvese que si x = y, x e y no verifican la propiedad de Hausdorff.)

Todo espacio de Hausdorff es tambin de Frchet o T1, y por lo tanto tambin es

un espacio T D y tambin un espacio de Kolmogrov o

As pues, por ser

, todo conjunto unitario es cerrado (para todo punto el conjunto

formado por slo ese punto {p} es un conjunto cerrado).

Espacio regular
Un espacio topolgico X es regular cuando: dados un cerrado F de la topologa y un
punto x que no pertenece a F, existen un entorno U de x y un entorno V de F que no se
cortan,

En general a un espacio topolgico regular y

se les denomina

, en ocasiones esta es la

definicin que se da de espacio regular.

Es claro que si X es un espacio T1 y regular entonces es de Hausdorff (ya que en los espacios
T1 los puntos son conjuntos cerrados). Sin embargo, hay ejemplos de espacios Hausdorff no
regulares. Para el caso de espacios compactos, ser Hausdorff y ser regular son propiedades
equivalentes.
Una caracterizacin de los espacios
espacio X es
que

si y solo si para todo

.

est dada por la siguiente proposicin: un

y U entorno de z existe un entorno V de z tal

Espacios

o normales

Un espacio topolgico X es normal si es

y para cada par de cerrados

con

interseccin vaca existen unos entornos que los contengan

y
tal que su interseccin
sea vaca. Es decir, podemos separar todos los cerrados del espacio. En particular los
espacios mtricos son normales.