Espaço topológico quociente

Em topologia, um espaço topológico quociente, X, é definido como, dado uma relação de equivalência, ~, o espaço topológico \(([X], \tau)\), onde \([X]\) denota as classes de equivalencia de X e \tau={U \subset 2^[X]| \união_{[x] \in U} x é aberto em X}.

O quociente de um espaço topológico X por uma relação de equivalência ~ é o conjunto X/~ das classes de equivalência munido da topologia (chamada topologia quociente) cujos abertos são os conjuntos de classes cuja reunião é um aberto de X.

Exemplos

• O quociente de $[0,1]$ pela relação $x\sim y$ se $|x-y|\in \{0,1\}$ é homeomorfo a ${𝕊}^1$.
• O quociente de $[0,1]\times [0,1]$ pela relação de equivalência gerada por $(x,0)\sim (x,1)$ e $(0,y)\sim (1,y)$, para $x,y\in [0,1]$ é homeomorfo ao toro ${𝕋}^2$ que por sua vez é homeomorfo à ${𝕊}^1\times {𝕊}^1$.
• O processo acima, que cola as bordas do quadrado de forma direta, pode ser feito de modo a torcer o quadrado. Assim, a relação de equivalência gerada por $(x,0)\sim (1-x,1)$ e $(0,y)\sim (1,1-y)$, para $x,y\in [0,1]$ gera o plano projectivo, enquanto que a relação de equivalência gerada por $(x,0)\sim (1-x,1)$ e $(0,y)\sim (1,y)$, para $x,y\in [0,1]$ gera a garrafa de Klein.

• Predefinição:Citation.