Quotient space is a space where the underlying space is set of equivalence classes of some equivalence relation. As this concept appears in various areas, include also a tag specifying subject matter, such as (topology), (vector-spaces), (normed-spaces), etc.

learn more… | top users | synonyms

1
vote
3answers
80 views

What is the meaning of $\Bbb{Q}[x]/f(x)$?

I am very confused with the meaning of $\Bbb{Q}(x)/f(x)$. Does it mean the set of all polynomials modulo $f(x)$? If it does then how can we say that $\Bbb{R}[x]/(x^2+1)$ is isomorphic to set of ...
0
votes
1answer
56 views

$17\mathbb{Z}[\sqrt {10}]$ is prime ideal in $\mathbb{Z}[\sqrt {10}]$

This seems tedious since I would have to show $(a+b\sqrt {10})(c+d\sqrt {10})=17k+17j\sqrt {10}$ implies that one of the factors belongs to $17\mathbb{Z}[\sqrt {10}]$. It's easier to show something ...
2
votes
2answers
72 views

In the quotient topology $D^2/{S^1} \cong S^2 $

Let $X = D^2 = \{(x, y) \in R^2\ : x^2 + y^2 \le 1\}$ be the closed unit disc (in the standard topology). Identify $S^1$ with the boundary of $D^2$. Now I have to prove that $$D^2/S^1\cong S^2$$ I ...
0
votes
1answer
35 views

What is the quotient space $\mathbb{R}^2/F$ where $F =a[1,1]$?

What is the quotient space $\mathbb{R}^2/F$ where $F =a[1,1]$? How do you find a basis of it? What is a good way to think of it in mind?
0
votes
2answers
42 views

Proving these equivalent conditions for an open map using boundary of a set

Let $X,Y$ be topological spaces. Prove the following statements are equivalent. $(1)$ $f\colon X\to Y$ is an open map. $(2)$ For all $x\in X$ and open set $U \ni x$ there exists open set $V$...
1
vote
1answer
24 views

$R/\langle p^k\rangle$ is an associator (i.e. if $\langle a\rangle = \langle b\rangle,$ then $a$ and $b$ are associates) when $R$ is a PID.

As the title says, I want to show that when two principal ideals are equal in $R/\langle p^k\rangle,$ where $R$ is a principal ideal domain and $p\in R$ is a prime element, then their generators are ...
0
votes
0answers
12 views

convex polyhedral cone and faces, one to one inclusion preserving map from faces of cone to faces of quotient cones.

I'm doing with a problem in 'lectures on toric variety' written by David Cox. In page 15, exercise 1.5, Suppose that $\sigma$ $\subset$ in $\mathbb R^n$ is convex polyhedral cone of dim d, and assume ...
2
votes
1answer
31 views

Clarification of ideas concerning a quotient space.

Suppose I have a vector space $V$, and I identify $x\in V$ with $\lambda x\in V$, where $x\neq 0$ and $\lambda>0$, $\lambda\in\mathbb{R}$. I'm confused about two things: (1) Can I define a norm on ...
1
vote
2answers
49 views

Not fully understanding polynomial quotient rings.

This is my (informal) understanding of a quotient ring. I understand that this is very flimsy, but I hope you can get the main idea. You have some ring $R$ and you want to quotient out an ideal $I$...
0
votes
1answer
22 views

Restricting the quotient map of rings to a subring

When $q$ maps $R$ to $R/I$ and $p$ is the restriction of $q$ to a subring $A$ of $R$, why is the image of $p$ $(A+I)/I$? $q$ maps $r$ to $r+I$, so shouldn't $p$ map $a \in A$ to $a+I$, so image of $p$...
0
votes
1answer
71 views

Prove that it is a quotient map

Problem : Prove that the map $f:\mathbb{R}^2\to \mathbb{R}$ defined by : $f(x,y)=y^3+xy^2+x+y$ is a quotient map. My attempt : Surjecctive part is clear. Now at first I note that the map $g:\mathbb{...
0
votes
1answer
19 views

Prove $(U+W)/U$ and $W/(U\cap W)$ are isomorphic

Let $U$ and $W$ be subspaces of a vector space $V$; then $U$ is a subspace of $U+V$ and $U\cap W$ is a subspace of $W$. Prove that the quotient spaces $$(U+W)/U \ \ \text{and}\ \ W/(U\cap W)$$ are ...
1
vote
0answers
20 views

question about cyclic groups and quotient groups [duplicate]

Is a quotient group always cyclic. I see nothing on the internet that tells me it's the case, but since a quotient group: $\Phi : G \rightarrow G/H$ such that $\Phi(g) = gH$ Its kernel is H therefore ...
6
votes
3answers
102 views

Quotient of a graph?

I want to understand quotient of a graph (also called quotient graph), my teacher says that the terms quotient of a graph and a modulo of a graph should be synonyms (even though modulo of a graph ...
0
votes
1answer
36 views

If $p:X\to Y$ is quotient map and $Z$ is a locally compact Hausdorff space, then $p\times I_z$ is a quotient map

The problem from my topology book is as follows. If $p:X\to Y$ is quotient map and $Z$ is a locally compact Hausdorff space, then $p\times I_z$ : $X\times Z \to Y\times Z$ is a quotient map where $...
0
votes
0answers
14 views

deformation retraction as mapping cylinder

In Hatcher's Algebraic Topology, the mapping cylinder is defined as the quotient space of the disjoint union $(X\times I)\sqcup Y$ (where $I$ is the unit interval) of a continuous $f:X\to Y$, where $(...
1
vote
0answers
14 views

Show that $C/B \approx T/A$

Let $T=S^1 \times S^1$ be the torus with meridian $A=S^1 \times \{1\} \subset T$ Let $C=S^1 \times [-1, 1]$ be the cylinder with base circles $B=S^1 \times \{-1, 1\}$. Show that $C/B \approx T/A$...
0
votes
0answers
51 views

What is $S^3/S^1$?

I have been given this space in a question but I am unsure what it means I know that $S^3=\{(z_1, z_2) \in \mathbb{C^2}\mid |z_{1}|^2 + |z_{2}|^2=1 \}$ Could you help me understand what set of ...
0
votes
1answer
46 views

Show that a smooth manifold modulo diffeomorphism group is a smooth manifold

Would like help in starting this exercise: Suppose $\Gamma$ is a group of diffeomorphisms of a manifold $\left( {X,C_X^\infty } \right)$. Suppose that the action of $\Gamma$ is fixed-point-...
1
vote
1answer
24 views

Identifying the antipodal points of one boundary of the cylinder gives the Möbius band.

In Example 1.35, Hatcher writes in his book Algebraic Topology, the following (not paraphrased): Let $X=S^1\times I$, and let $A$ be the quotient space obtained by defining the relation $(z, 0)\...
2
votes
1answer
29 views

quotient groups and SLOCC

I have a math-physics question, which is based on an interest in SLOCC systems for black hole entanglement. The Cartan decomposition of a group $G$ such that $H = G/K$ is such that the derivation or ...
0
votes
1answer
30 views

How to show that if $X$ is Hausdorff and $ \big\{ (x, y) : x \sim y \big\} \subseteq X \times X$ is closed then $Y$ is Hausdorff?

Let $\sim$ be an equivalence relation on a topological space $X$, and let $Y = X/\sim$ be equipped with the quotient topology. How to show that if $X$ is Hausdorff and the set $\big\{ (x, y) : x \sim ...
0
votes
1answer
26 views

$X$ hausdorff and $ \big\{ (x, y) : x ∼ y \big\} ⊆ X × X$ is closed implies quotient map is open.

Let $∼$ be an equivalence relation on a topological space X. $\ Y = X/∼ $ equipped with the quotient topology. How to show that if X is Hausdorff and the set $ \big\{ (x, y) : x ∼ y \big\} ⊆ X × X$ ...
0
votes
1answer
36 views

Difference between homeomorphism and quotient map

I am learning topology and would like to know the difference between Homeomorphism and Quotient maps. I will be grateful if anyone can help me in any way.
2
votes
1answer
37 views

Showing $S^2/\sim$ (real projective plane) is Hausdorff

Let $\pi:\;S^2\to S^2/\sim$ be the projection map where the relation on $S^2$ is $a\sim b\iff a =\pm b$. I am trying to show $S^2/\sim$ is Hausdorff. So take $\alpha,\beta\in S^2/\sim$ then $\pi^{-1}(...
2
votes
1answer
35 views

Why is this function well definded?

I have to take a look at the relation of $ x \sim y: \Leftrightarrow \exists k \in \mathbb{Z} : x-y=5k$ in $\mathbb{Z}$. I have no idea how to show at $\mathbb{Z} / \sim$ that the addition is well ...
0
votes
1answer
32 views

Projection of measure with bowen - walters metric.

Given $X$ a compact metric space, $f:X\to X$ be a homeomorphism and consider the quotient space $Y^{1,f}=(X\times [0,1])/\sim$, where $(x,1)\sim(f(x),0)$ for all $x\in X$. Let $d^{1,f}$ be the Bowen-...
5
votes
1answer
60 views

A space with “interchangeable” coordinates, $\mathbb{R}^n / S_n $

(I'll apologize in advance for the lack of rigour in this question, I'm something of an armchair mathematician at the moment, but I do try my best): I have a space that is similar to $\mathbb R^n$ ...
0
votes
1answer
69 views

Quotient topology on unit sphere

Let $\sim$ be the equivalence relation $$a\sim b\iff a=b\text{ or }a=-b,$$ for $a,b$ on the unit sphere $S^2$. Let $Q$ be the quotient space. How do I show that the quotient map is a covering ...
0
votes
2answers
39 views

Needing a clearer idea on “quotient topology”

So here's the definition of a quotient topology Let $(X,\tau)$ be a toplogical space and define some equivalence relation $\sim$ on the set $X$. There exists a natural surjection denoted $p:X \to ...
1
vote
0answers
17 views

circle actions on spheres

I'm considering the following action of $S^1$ on $S^3$: $$ e^{i\theta}.(z_1,z_2)=(e^{i\theta}z_1,e^{iq\theta}z_2) $$ It is clear that when $q=1$ the quotient space is $S^2$. Is there any description ...
0
votes
0answers
44 views

Proof verification: Munkres Theorem 22.1

In Step 2 of Theorem 22.1 from Munkres' Topology: Let $p:X\to Y$ be a quotient map; let $A$ be a subspace of $X$ that is saturated with respect to $p$; let $q:A\to p(A)$ be the map obtained by ...
0
votes
2answers
45 views

$(X \times X) /{\sim'}\cong (X/{\sim}) \times (X/{\sim})$

The full description of this problem is: Let $X$ be a topological space. Let $\sim'$ be the equivalence relation on $X\times X$ defined by $(x,y)\sim'(x',y')$ iff $x \sim x'$ and $y \sim y'$ ...
1
vote
0answers
20 views

Restriction of diagonalizable endomorphism to an invariant subspace is diagonalizable - another approach

There are some questions discussing the diagonalizability of a restriction of a diagonalizable endomorphism to an invariant subspace, however, I have a question regarding a certain approach, which ...
1
vote
2answers
82 views

Is there some geometric intuition for the quotient $G/Z(G)$, where $G=GL_n(\mathbb{R})$?

Let $G=GL_n(\mathbb{R})$ be the $n$th general linear group. Its center $Z(G)$ is given by all scalar matrices $aI$ with nonzero determinant. How can I get an intuitive picture of $G/Z(G)$? I know that ...
0
votes
0answers
9 views

Exterior algebra subspace of all grade-n wedge products of a vector

Let $V$ be a finite-dimensional vector space, and let $\Lambda(V)$ be its exterior algebra. Then if $S_k = \text{span}(k_1,k_2,...,k_n)$ and $\hat k = k_1 \wedge k_2 \wedge ... \wedge k_n$, there is ...
0
votes
2answers
35 views

How to describe the vector space $\left( \frac{Z}{Im(T)} \right)^*$?

Just as a preface: I am not looking for an answer I just want help describing what the vector space looks like so that I can work on solving the problem. We have a linear transformation from $T: V \...
0
votes
2answers
38 views

Quotient topology, topological spaces

This is a practice final exam. My questions: 1) When the question defines X/~ as quotient topology. Does that mean I can write: $q: X \rightarrow X/\sim $ 2) Specifically, I am trying to prove that ...
0
votes
1answer
20 views

Invariant factors and the elementary divisors of the group $(\mathbb{Z}/77 \mathbb{Z})^{\times}$

If $A$ is a ring with unit element $1 \ne 0$ let $A^{\times}=\{a \in A: a$ invertible$\}$. Find the invariant factors and the elementary divisors of the group $(\mathbb{Z}/77 \mathbb{Z})^{\times}$. ...
1
vote
2answers
34 views

Construct a homemorphism $\phi : T^2/A \rightarrow X/B $

Construct a homemorphism $\phi : T^2/A \rightarrow X/B $ $T^2=S^1 \times S^1$ and $A \subset T^2$ is given by $A=S^1 \times\{1\}$. $X=S^1 \times [-1, 1]$ and $B = S^1 \times\{-1, 1\}$. $T^2/A$ ...
1
vote
2answers
65 views

Examples of a quotient map not closed and quotient space not Hausdorff

Is there any example of a closed relation $\sim$ on a Hausdorff space $X$ such that $X/\sim$ is not Hausdorff? Also, is there any example of a closed relation ~ on a Hausdorff space $X$ such that a ...
1
vote
1answer
34 views

Order in a quotient space of $\mathbb{R}^\mathbb{N}$ ($\mathbb{R}^\omega $)

Let $\mathcal{F}$ be a filter in $\mathbb{N}$ finer than Fréchet filter. In $\mathbb{R}^\mathbb{N}$ we define the equivalente relation : $(a_n) \equiv (b_n)$ iff $\{n | a_n = b_n\} \in \mathcal{F}$. ...
2
votes
0answers
31 views

Quotient of a scheme under infinite group action

Let $X=\mathbb{A}^2\setminus\{(x,y)\}$ be the affine scheme minus the origin (say over a field $k$). Consider the action of the group $G=k^*$ given by $(x,y)\mapsto (\alpha x,\alpha^{-1}y)$ for any $\...
4
votes
3answers
91 views

Understanding quotient groups

Admittedly this will be probably be a naive question, but here it goes: Is it possible to flesh out in simple terms, for someone with little background in group theory, what it means to take the ...
1
vote
1answer
39 views

Value of polynomials in quotient ring

Let $K$ be a field. If we have a polynomial ring, $K[X_1,...,X_n]$, and an ideal $I$, we can form the quotient ring, $$K[X_1,...,X_n]/I.$$ For a given ideal, $I$, if we take an element of this ...
1
vote
1answer
18 views

Subspace as a representative system of the quotient space

Can someone help me with the following problem from Linear Algebra: Let $\Bbb K$ be a field and $V$ a vectorspace over $\Bbb K$ and $U$,$W$ two subspaces of $V$. Now I want to show: $$W \text{ is a ...
0
votes
1answer
21 views

Determinate the quotient topology

I was trying to find the quotient topolgy for the next example: Let R be the real numbers with the usual topology ($\tau$) and define the relationship $\mathcal{R}$ over R as follows, a $\mathcal{R}$...
0
votes
0answers
53 views

Universal cover of a CW complex corresponding to an identification space

I am looking at a past exam paper for my introductory algebraic topology course, and am asked, for each of the following identification spaces, to find a CW complex homeomorphic to the space, draw the ...
0
votes
0answers
41 views

Book mainly discuss quotient topology

I am studying general topology, but I can't grasp the 'feeling' of quotient topology. I know the 'gluing' metaphor, but I always have no idea when I am asked to determine whether two quotient space(...
1
vote
1answer
55 views

Homeomorphism $\phi : T^2/A \to X/B$. What are $ T^2/A$ and $X/B$?

The question I am working on asks me to construct a homeomorphism $\phi : T^2/A \to X/B$ where $T^2$, $A$, $X$ and $B$ are given as follows: $T^2=S^1 \times S^1$ and $A \subset T^2$ is given by $A=S^...