1 introdução

ESPAÇO DE HAUSDORFF : seja X um espaço topológico ∀ x, y ∈ X com x ̸=y

X é um espaço de hausdorff ⇐⇒ existem abertos U, V ⊂ X , onde U ∋ x e V ∋ y tal que
U ∩V = ∅

2 CRITÉRIO DE HAUSDORFF PARA ESPAÇOS

DA ÓRBITA
Proposição 2.1. : suponha que E é um espaço topológico e Γ é um grupo agindo em E por
homeomorfimso.Então o espaço quociente E/ Γ é um espaço de hausdorff ⇐⇒ A ação (
de Γ em E) satifaz a seguinte condição :
(12.4) se e, e′ ∈ E estão em órbitas diferentes,então existem vizinhças V ∋ e e V ′ ∋ e’ tal
que V ∩ (g.V’) = ∅ ∀ g ∈ Γ.
PROVA :
(⇐=) HIPOTESE : (12.4) e Γ age em E por homeomorfismo, onde E/ Γ é o espaco quo-
ciente
TESE : E/ Γ é um espaço de hausdorff

Proposição 2.2. : toda ação contínua de um grupo topológico compacto em um espaço

de hausdorff é uma ação própria.

Proposição 2.3. : suponha que seja dada uma ação contínua de um grupo topológico
G em um espaço de hausdorff E. A ação é dita própria ⇐⇒ ∀ subconjunto compacto
K ⊂ E o conjunto GK = { g ∈ G : (g.K) ∩ K ̸= ∅} é compacto.

Proposição 2.4. se um grupo topológico G age de forma contínua e própria em um

espaço topológico E de hausdorff localmente compacto E,então o espaço da órbita E/G é
um espaço de hausdorff.

3 desenvolimento

4 conclusão