Quotient topology/Equivalence relation definition

From Maths
Jump to: navigation, search
Grade: A
This page requires references, it is on a to-do list for being expanded with them.
Please note that this does not mean the content is unreliable, it just means that the author of the page doesn't have a book to hand, or remember the book to find it, which would have been a suitable reference.
The message provided is:
See the notes page, the books are plentiful I just don't have them to hand.

Definition

Given a topological space, [ilmath](X,\mathcal{J})[/ilmath] and an equivalence relation on [ilmath]X[/ilmath], [ilmath]\sim[/ilmath][Note 1], the quotient topology on [ilmath]\frac{X}{\sim} [/ilmath], [ilmath]\mathcal{K} [/ilmath] is defined as:

  • The set [ilmath]\mathcal{K}\subseteq\mathcal{P}(\frac{X}{\sim})[/ilmath] such that:
    • [ilmath]\forall U\in\mathcal{P}(\frac{X}{\sim})[U\in\mathcal{K}\iff \pi^{-1}(U)\in\mathcal{J}][/ilmath] or equivalently
  • [ilmath]\mathcal{K}=\{U\in\mathcal{P}(\frac{X}{\sim})\ \vert\ \pi^{-1}(U)\in\mathcal{J}\}[/ilmath]

In words:

  • The topology on [ilmath]\frac{X}{\sim} [/ilmath] consists of all those sets whose pre-image (under [ilmath]\pi[/ilmath]) are open in [ilmath]X[/ilmath]

Notes

  1. Recall that for an equivalence relation there is a natural map that sends each [ilmath]x\in X[/ilmath] to [ilmath][x][/ilmath] (the equivalence class containing [ilmath]x[/ilmath]) which we denote here as [ilmath]\pi:X\rightarrow\frac{X}{\sim} [/ilmath]. Recall also that [ilmath]\frac{X}{\sim} [/ilmath] denotes the set of all equivalence classes of [ilmath]\sim[/ilmath].

References