Intereting Posts

Can Zorn's lemma be applied to a class that is not a set?
Unlike Jensen's Inequality, can we upper bound $\log \sum_{i}{u_i \exp(x_i)}$?
What is spectrum for Laplacian in $\mathbb{R}^n$?
homeomorphism of topological spaces is an equivalence relation ?
Circle Rolling on Ellipse
A counterexample to theorem about orthogonal projection
The Relationship Between Cohomological Dimension and Support
Subrings of fraction fields
Lebesgue measurable subset of $\mathbb{R}$ with given metric density at zero
How to prove that a set R\Z is open
Probability of rolling three dice without getting a 6
On the Cramér-Granville Conjecture and finding prime pairs whose difference is 666
Every subsequence of $x_n$ has a further subsequence which converges to $x$.Then the sequence $x_n$ converges to $x$.
How are the average rate of change and the instantaneous rate of change related for ƒ(x) = 2x + 5?
What is $\mathbb{C}^{Aut(\mathbb{C}/\mathbb{Q})}$?

Going through some wiki notes and books I found that a quotient space (also called an identification space) is, the result of identifying or “gluing together” certain points of a given space. The points to be identified are specified by an equivalence relation. This is commonly done in order to construct new spaces from given ones. However, I am having trouble to understand these points. Also, I want to understand quotient topology on a given set. What is the motivation behind constructing quotient topology in a given set? I need simple explanation that can make me understand about quotient topology.

Thank you very much.

- Is the result true when the valuation is trivial and $\dim(X)=n$?
- Example of non-homeomorphic compact spaces $K_1$ and $K_2$ such that $K_1\oplus K_1$ is homeomorphic to $K_2\oplus K_2$
- Show that if $f^{-1}((\alpha, \infty))$ is open for any $\alpha \in \mathbb{R}$, then $f$ is lower-semicontinuous.
- Quotient topologies and equivalence classes
- Are there more general spaces than Euclidean spaces to have the Heine–Borel property?
- Proving an operation of interior is a set of open sets.

- Cardinality of a locally compact Hausdorff space without isolated points
- Connectedness problem and countability of compact subsets of the Sorgenfrey line
- TVS: Uniform Structure
- A good book for metric spaces?
- Equivalent metrics using open balls
- Is the boundary of a connected set connected?
- Completeness of the space of sets with distance defined by the measure of symmetric difference
- Boundary/interior of $0$-simplex
- Interior Set of Rationals. Confused!
- Is this space contractible?

Perhaps the simplest interesting example is the quotient of $[0,1]$ obtained from the equivalence relation $E$ whose equivalence classes are the singletons $\{x\}$ for $0<x<1$ and the doubleton $\{0,1\}$. This identifies the endpoints $0$ and $1$ to a single point, and the quotient space is homeomorphic to $S^1$, the circle. Taking $S^1$ to be specifically the unit circle in the plane, one homeomorphism is the map

$$h:[0,1]/E\to S^1:p\mapsto\begin{cases}

\langle\cos2\pi x,\sin2\pi x\rangle,&\text{if }p=\{x\}\\\\

\langle 1,0\rangle,&\text{if }p=\{0,1\}\;.

\end{cases}$$

The quotient topology is exactly the one that makes the resulting space ‘look like’ the original one with the identified points glued together.

(This is really just the beginnings of an answer, because I’m not sure exactly what you want to know.)

When you are first learning about quotient spaces, it’s difficult to get a visual intuition about them.

However, they’re extremely important for cooking up new examples of topological spaces. And when you get used to the idea, you’ll see the limitless potential they provide for making new spaces.

Getting used to them will only come from trying to understand all the examples that are written in your books.

Here are some ways that I’ve thought about quotients $q:E\rightarrow B$

Supposedly we already have a good understanding of the topology of $E$, and the quotient map $q$ is “gluing” parts of $E$ together to make a new space $B$. Our job is to understand $B$ at a level that we understood $E$.

Understanding $B$ from the inside: Example. If you lived in the interval $E=[0,1]$, then the numbers 0 and 1 would be like the start and finish of race track. Start at 0, go to 1, the end. However, if you now said 0=1 (in terms of points not numbers), then the finish of the race would also be the start of the race. 0 is your start go to 1=0 is your start go to 1… This is exactly what life would be like if you lived in the circle.

Understanding $B$ from the outside: Example, E is a rectangular stick of un-chewed bubble gum. To get B, Glue the top and bottom edges together to make a cylinder, then glue the other edges together i.e. the ends of the cylinder to make a torus. You have intuition already about a torus because you can hold it in your hand. So you can understand this quotient space from and extrinsic (outside) point of view. However, it’s really best to understand the torus from the intrinsic (inside) point of view and to do that, start with the stick of gum E, and imagine you lived in the gum. Now, every time you traveled to the top of the gum, you’re instantly transported to the bottom. Every time you made it to the left side, you are instantly transported to the right, etc.

Without this concept of gluing, it’d be pretty hard to quantitatively describe the torus and so the quotient concept is really handy. These examples are only the beginnings of what you can do

Once you get a good feeling for gluing points or subsets together to make a new space $B$, you’ll need to understand the topology of this new space $B$ related to the topology old space $E$. This is where it’s a good idea to let go of the need for visual intuition and to embrace definitions.

- Triangles packed into a unit circle
- Is “A New Kind of Science” a new kind of science?
- how to calculate area of 3D triangle?
- Singular measures on Real line
- Prove that $\sum\limits_{k=1}^{n-1}\tan^{2}\frac{k \pi}{2n} = \frac{(n-1)(2n-1)}{3}$
- Is there a general product formula for $\sum\limits_{k=1}^{n} k^p$
- Sufficient conditions for being a PID
- Topics in combinatorial Group Theory
- Proving that a graph of a certain size is Hamiltonian
- Is there a bijective function $f: \mathbb{R}\to\mathbb{R}$ that is discontinuous?
- Finitely generated module with a submodule that is not finitely generated
- $a^m=b^m$ and $a^n=b^n$ imply $a=b$
- Generalized binomial theorem
- Why is the Kleene star of a null set is an empty string?
- Can two analytic functions that agree on the boundary of a domain, each from a different direction, can be extending into one function?