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

6
votes
1answer
72 views

Unifying Connection Between Topological Embeddings and Quotient Maps

In a book on topology I'm reading the following theorem seemed striking to me, not for its proof, which I believe I understand, but because there's some nice symmetry going on that I'd perhaps like ...
0
votes
0answers
24 views

Finding Irreducible Polynomials of Elements in Finite Quotient Polynomial Field over Finite Field [closed]

The question is the following: Let $E = F_2[X]/< x^3+x+1 >$. For each $a \in E$ find $irr(a, F_2)$, its irreducible polynomial over $F_2$. Thanks for the help.
0
votes
2answers
26 views

Quotient rings, polynomials are reducibility

I am trying to follow this solution. I am struggling to understand why 'If g is a member of R, then g divides the content of f'. Why is this true?
2
votes
0answers
42 views

Residue fields of the closed points in $Spec(\mathbb{R}[X,Y])$

What are the residue fields of the closed points in $Spec(\mathbb{R}[X,Y])$? After finding the maximal ideals of $\mathbb{R}[X,Y]$, which are of the form: $\langle X-a,Y-b \rangle$ with $a,b ...
1
vote
1answer
31 views

Clarification about Quotient Spaces

The question given to me is: Does there exist a vector space $V$ which has a nonzero subspace $U$ such that $V /U \cong V$ ? Provide an example or a proof that no such $V /U$ exists. Intuitively, I ...
3
votes
1answer
92 views

Are $S^1$ and $\mathbb{R}/{\sim}$ the “same thing”?

I am reading quotient space of topology and I am a little bit confused. I am looking at the relationship between $\mathbb{R},S^1$ and the quotient space $\mathbb{R}/{\sim}$, where the relation $\sim$ ...
4
votes
2answers
103 views

Compute Quotient Space

I have been struggling with this computation for a while now. I thought I was almost there, but it now results I still have nothing. So here is the initial problem: Let $c=\left\{ (x_j)_j \subset ...
1
vote
1answer
30 views

Quotient space of infinite dimensional vector space

On an exam today I used that if $X=\mathcal{C}[a,b]$ and $Y=\{f\in X : f(a)=f(b)\}$, then the projection $\pi: X\rightarrow X/Y$ has the property $\ker(\pi)=Y$. This led me to the following: Suppose ...
1
vote
1answer
26 views

Globally defined exponential in a particular homogeneous space

I'm currently working in a particular conformal compactification/completion of the Minkowski space-time, but I'm stuck at showing that the exponential of every vector field in it is globally defined. ...
1
vote
0answers
53 views

How do I show that this function is continuous? [duplicate]

I'm interested in showing that $CX=\frac{I\times X}{\{1\}\times X}$ is contractible. I defined the d.r $F(s,[t,x])=[(1-s)t+s,x]$ and the only missing part for me is to show that it is continuous. How ...
2
votes
1answer
43 views

About direct sum of abelian groups and quotient

I'm trying to understand properly the relations between quotient and direct sum. The first thing I wanted to know, and couldn't find online, is whether my guess is true or not: Assume $G_\alpha$ are ...
2
votes
0answers
82 views

Examples of $C^*$-algebras in Noncommutative Geometry from A. Connes

Question I am working on $C^*$-algebras and I've been given Alain Connes's book Noncommutative Geometry. I am having troubles with understanding the examples on pages 91-93 (86-88 in the printed ...
1
vote
1answer
45 views

“Quotient” as a verb

People here do use "quotient" as a verb: I searched for "quotienting" and got 12,890 results. [Edit: It's not as bad as I thought. Apparently I didn't understand how the search function works. When I ...
1
vote
1answer
36 views

Projection Mappings are Quotient Mappings?

The book I am using for my Introduction of Topology course is Principles of Topology by Fred H. Croom. Prove that if $X=X_1\times X_2$ is a product space, then the first coordinate projection is a ...
0
votes
0answers
28 views

Induced map between quotient vector spaces well defined and linear?

Suppose we have vector spaces $V,W$ and subspaces $$ V\supset V'\supset V''\\ W\supset W'\supset W'' $$ suppose also that we have a linear map $A:V\to W$. What does it take for this map to induce a ...
0
votes
0answers
43 views

Fundamental group of the mapping cone of a loop

You can read in Wikipedia the following: Given a space X and a loop $\alpha\colon S^1 \to X$ representing an element of the fundamental group of $X$, we can form the mapping cone $C_α$. The effect of ...
4
votes
2answers
101 views

Finding the Fundamental Groups of Some Modular Spaces

I'm looking to compute the fundamental group of a couple of different quotients of the $n$-torus. The first of these I'm interested is the space $\mathbb{T}^n/S_n$ where the symmetric group $S_n$ ...
2
votes
1answer
26 views

Showing that a function is continuous

Let $A$ be a topological space, and let $B$ be a quotient space of it. I have defined a continuous function $F:A\times[0,1]\to B$ such that it factors into a function $G:B\times[0,1]\to B$, i.e. that ...
1
vote
1answer
38 views

Injection of the mapping cone of $z^2$

We define the mapping cone of $f:S^1\to S^1=:Y$, $f (z)=z^2$ as the quotient space of $S^1\times [0,1]\sqcup Y$ where $(z,0)$ and $(z',0)$ are identified and where $(z,1)$ and $f(z)$ are identified ...
1
vote
1answer
40 views

Showing that the center of a Möbius strip is homeomorphic to a circle?

Consider the Möbius strip as the quotient space obtained from $[0,1]\times[0,1]$ when identifying $(0,t)$ with $(1,1-t)$ for $0\leq t\leq1$. Now consider its center, that is, the image of the set ...
3
votes
0answers
39 views

Let $A$ be the annulus in $\mathbb{C}$, what is the space $A/{\sim}$ generated by identifying all points on the “inner circle” with each other?

The annulus is $A=\{z\in\mathbb{C}:1\leq |z| \leq 2\}$ and the "inner circle" here is the set of points $\{z\in\mathbb{C}:|z|=1\}$. If we identify all points of the inner circle together, then, ...
2
votes
3answers
73 views

How many elements does the free product $\mathbb{Z}/2\mathbb{Z}\ast\mathbb{Z}/2\mathbb{Z}$ have?

Taken from Hatcher, I think the free product $G =\mathbb{Z}/2\mathbb{Z}\ast\mathbb{Z}/2\mathbb{Z}$ should have infinite elements taking the form of words containing alternate elements, i.e. $a, b, ab, ...
4
votes
1answer
58 views

Quotient topology by identifying the boundary of a circle as one point

The following is an example taken from Munkres topology book: I don't understand why does $X^{*}$is homeomorphic to $S^{2}$, is this a basic fact that I don't understand or is it an example of ...
1
vote
1answer
39 views

Find a quotient map $f:(0,1) \rightarrow [0,1]$ where the intervals $(0,1)$ and $[0,1]$ are in $\mathbb{R}$ and endowed with the subspace topology.

Find a quotient map $f:(0,1) \rightarrow [0,1]$ where the intervals $(0,1)$ and $[0,1]$ are in $\mathbb{R}$ and endowed with the subspace topology. I am really not to sure where to start. I know ...
0
votes
0answers
15 views

Quotient norm question

http://mathoverflow.net/questions/99860/upper-semicontinuity-in-cx-algebras In the 5th paragraph of this post, I don't understand why there exists a vector b satisfying $||a+b||_A < ||q_x ...
0
votes
1answer
21 views

Equivalence relation, product and quotient spaces

I have a problem with the following: "Define a relation $\sim$ on $R^2$ by $(u,v) \sim (x,y)$ if and only if both $u-x$ and $v-y$ are integers. Show that for each point $(x,y) \in R^2$ there exists ...
2
votes
0answers
27 views

On units in subrings ( or ideal ) and quotient ring of ring with unity

Let $R$ be a finite ring with unity and $S$ be an ideal ( or subring ) , let $R^*$ be the group of units of $R$ and $S^*:=R^* \cap S$ , then does $|S^*|$ divide $R^*$ ? Moreover , if $S$ is an ideal ...
1
vote
0answers
49 views

Quotient space isometrically isomorphic to $c$

Can some one help me fill the details in the next proof? It will be much better if someone knows a simpler way to do it. The problem states Take $C[0,1]$, with the usual norm $\|\cdot\|_\infty$, ...
1
vote
1answer
28 views

Bijection between a Hilbert and a Banach space

I am working on a question where I have to show that for a Hilbert space $\mathscr{H}$, and closed linear subspace $Y \subset \mathscr{H}$, $\mathscr{H}/Y$ is a Hilbert space, isomorphic to ...
2
votes
1answer
47 views

Why is $D^n/\sim$ homeomorphic to $\mathbb{RP}^n$?

Let $\sim$ be the equivalence relation on $D^n$ (the $n$-dimensional unit disc) which identifies antipodal points on the boundary $\partial D^n = S^{n-1}$. Show that $D^n/\sim$ is homeomorphic to ...
0
votes
0answers
21 views

In the category of uniform spaces, is the completion of a quotient map also a quotient map?

Let $X$ and $Y$ be two Hausdorff uniform spaces. A surjective uniformly continuous map $f: X \to Y$ is a quotient map if for every map $g$ from $Y$ to a uniform space $Z$ such that $g \circ f$ is ...
0
votes
1answer
22 views

Dimension of quotient normed linear space

Suppose $M$ is a normed linear space. $L$ and $N$ are two closed subspaces of $M$ such that $L \subseteq N$. Then $L$ is a closed subspace of $N$. Let $\text{dim}(M/N)=r$ and $\text{dim}(N/L)=s$. My ...
0
votes
1answer
28 views

CRC calculate quotient

As above, i have absolutely no idea how to calculate the quotient (10110110). Some mentioned that there is no need for it, but my exams required me to understand how to get the quotient. Please help ...
0
votes
2answers
32 views

If $X$ and $Y$ are g-equivariant homeomorphic then $X/G$ and $Y/G$ are homeomorphic

Let $X$ and $Y$ be $G$-sets (That is the group $G$ acts on $X$ and $Y$). We say that the function $f: X\to Y$ is G-equivariant if $f(g.x) = g.f(x)$ for all $x\in X$ and all $g\in G$. Prove that if ...
0
votes
2answers
47 views

If $R=K[X]/(X^n)$, can represent any element as polynomial with degree $<n$

Let $K$ be a field and $R=K[X]/(X^n)$ where $n \in \mathbb{Z}_{n\geq1}$ and $(X^n)$ is the ideal generated by $X^n$. We denote $x:=X+(X^n) \in R$, any equivalence class $r$ in $R$ has a representing ...
0
votes
0answers
24 views

how to define the map between the isomophism $(⊕Mα)/I(⊕Mα)\simeq ⊕(Mα/IMα)$?

May I ask how to define the map between the isomorphism $(⊕M_α)/I(⊕M_α)\simeq ⊕(M_α/IM_α)$?. where ${M_α}$ is a collection of $R$-modules, and $I$ is an ideal of $R$. we know $(⊕M_α)/I(⊕M_α)\simeq ...
0
votes
1answer
19 views

A subset $\tilde{V}$ in $X/\mathcal{R}$ endowed with the quotient topology is closed if and only if $p^{−1} (\tilde{V} )$ is closed in $X$.

For a topological space $X$ and a equivalence relation $\mathcal{R}$ on $X$, and $p:X\to X/\mathcal{R},\ x\mapsto[x]$, my notes has the proposition: A subset $\tilde{V}$ in $X/\mathcal{R}$ endowed ...
1
vote
1answer
33 views

Question about repeated quotient groups

I was wondering if there was a simpler representation for the quotient group $(K[x,y]/\langle xy\rangle)/\langle x, y-1\rangle$. Where $K[x,y]$ is the polynomial ring with variables $x,y$ over the ...
0
votes
2answers
163 views

Eigenvalues of an operator induced in a quotient space

Give an example of a vector space $V$, an operator $T \in \mathcal L(V)$ and a $T$-$\space$invariant subspace $U$ of $V$ such that $T/U$ has an eigenvalue that is not an eigenvalue of $T$. Attempt: I ...
0
votes
1answer
74 views

Vector Spaces: difference between Equivalence Classes and Quotient Spaces

I'm reading Herstein's Topics in Algebra and Halmos's Finite Dimensional Vector Spaces. I think I understand that if $V_F$ is a vector space over $F$ and $W$ a subspace of $V$, then there is an ...
2
votes
1answer
61 views

Tangent space and differential forms of quotient groups

I have difficulty understanding the following argument because it seems that many details are swept under the rug and I am looking for a detailed rigorous exposition on this (I'll try to make clear ...
1
vote
1answer
77 views

A statement in tom Dieck's Algebraic Topology

In the cone construction (section 9.3.1) of tom Dieck's book Algebraic Topology, the author defines the following map $$q:\Delta ^{n-1}\times I\rightarrow \Delta ^n,\;\;\;((\mu_0,\dots ...
3
votes
2answers
59 views

An action of $\mathbb{Z}_2$ on $\mathbb{R}^2$

Let $M$ be the manifold $\mathbb{R}^2$ and $G$ be $\mathbb{Z}_2 = \{1,-1\}$, the cyclic group of order 2. Let $G$ act on $M$ by $(x,y) \mapsto (-x,-y)$. I need to show that the orbit space $M\vert G$ ...
3
votes
1answer
46 views

If the fibers of a quotient map are all discrete, is this map a covering map?

If $p:\tilde{X}\rightarrow X$ is a covering projection then I know that for every point $x \in X$ the fibre above $x$, i.e $p^{-1}(x)$, has the discrete topology. Here $p$ being a covering map means ...
2
votes
1answer
44 views

Strange Quotient space $X / \mathbb{Z}$

For a practice-exam exercise I am trying to understand why $X/ \mathbb{Z}$ is homeomorphic to $S^1$. Here, $X = (-1,\infty)$, and $\mathbb{Z}$ is acting as an additive group on $X$ with the action: ...
1
vote
1answer
32 views

Matrix representation induced by quotient space

someone can help me with this question, I know how to solve ker(A) but I don't know how to develop matrix representation. Thanks!!!!!
2
votes
1answer
35 views

If $p:A\to B$ and $q:C\to D$ are quotient maps, $B$ and $C$ locally compact, separable spaces, is $p\times q$ a quotient map?

It is a true or false question from an old test. At first I tried some counterexamples, using the line with two origins or taking $B$ as a quotient space of the real line by some not-open subset, ...
4
votes
3answers
80 views

The quotient map $q: \mathbb R^{n+1} \setminus \{0\} \to \mathbb P^n$ is open.

I'd like to show that the quotient map $q: \mathbb R^{n+1} \setminus \{0\} \to \mathbb P^n$ is open, where I'm considering $\mathbb P^n$ as the quotient space of $\mathbb R^{n+1} \setminus \{0\}$ ...
0
votes
1answer
56 views

Proving that S/I is a vector space

I'm given a polynomial ring $S=K[x_1,...,x_n]$ and $I$ is an ideal of $S$. I'm working on proving that the quotient ring $S/I$ is a vector spake over $K$. Since S is a ring, we already have some of ...
1
vote
2answers
100 views

Show that $F[x] / (x^2-1) \cong F \times F$ iff $char(F) \neq 2$

Let $F$ be a field. Show that $F[x] / (x^2-1) \cong F \times F$ iff $char(F) \neq 2$. Here is my work this far: If $char(F) = 2$, then $x^2-1 = (x-1)^2$, and hence $F[x]/(x^2-1)$ has a non-zero ...