Thread: quotient map

Recall that the integer part (or integral part) of a real number x is the unique integer n ∈ Z such that n ≤ x < n + 1. We denote it by I(x).
On R we define the relation xRy ⇔ I(x) = I(y).
(a) Let p : R → R/R be the quotient map, let R/R be endowed with the quotient topology, and let U be an open set in R/R. Prove that if n ∈ Z is such that p(n) ∈ U then p(n − 1) ∈ U .
(b) Deduce that the open sets in R/R are ∅, R/R and the image sets p(−∞, n] , where n ∈ Z.
(c) Consider the map I : R → Z, x ↦→ I(x) . Is the map I continuous (when Z is endowed with the induced topology) ?
Prove that I defines a bijection I : R/R → Z. What is the topology on Z making I a homeomorphism ?

I can see that p(n) ∈ U, let U =(x,y), then n ∈ (x,y), p(n-1) = n-1 ∈(x-1,y-1), p^-1(U) ∈(x-1, y), but I'm not sure if it's correct and how to proceed with the rest of the questions. Any input is appreciated!

Originally Posted by rain07

Recall that the integer part (or integral part) of a real number x is the unique integer n ∈ Z such that n ≤ x < n + 1. We denote it by I(x).
On R we define the relation xRy ⇔ I(x) = I(y).
(a) Let p : R → R/R be the quotient map, let R/R be endowed with the quotient topology, and let U be an open set in R/R. Prove that if n ∈ Z is such that p(n) ∈ U then p(n − 1) ∈ U .

I'm assuming has the usual topology. So, we know that , right? But, since is open there exists some neighborhood of such that . But, whatever neighborhood is it hits points strictly less than and so points such that . So, let be one of those points. Then, the last part gotten since every quotient map is surjective.

(b) Deduce that the open sets in R/R are ∅, R/R and the image sets p(−∞, n] , where n ∈ Z.

You can do this.

(c) Consider the map I : R → Z, x ↦→ I(x) . Is the map I continuous (when Z is endowed with the induced topology) ?
Prove that I defines a bijection I : R/R → Z. What is the topology on Z making I a homeomorphism ?

Of course the map isn't continuous. For, given any we have that is open and so with the subspace topology is discrete. And so, if were continuous then should be open, but

I think you have your map a little screwed up. So you're saying that (x)\mapsto I(x)" alt="I:\mathbb{R}/\sim\to\mathbb{Z}(x)\mapsto I(x)" />, right? It doesn't go without saying that the map is well defined. But, if then for some and from where it follows that . Now, to see it's an injection suppose that then and just as before and so . To see it's a surjection you merely must note that .

I would say you need to give it the quotient topology determined by

So, to see now that is continuous we need merely note that a mapping out of a quotient space is continuous if and only if it's composition with the definining quotient map is continuous. But, and of course this is continuous, it is the quotient map used to define the topology on !

So, why is it's inverse continuous? Well, let's compose it with the quotient map defined in the making of . We get....I'll let you finish this.