Topology question concerning global continuity of the canonical map.

Click For Summary

Homework Help Overview

The discussion revolves around the continuity of a canonical map κ from the set of integers \Z, equipped with the relative topology from ℝ, to the residue class \Z_n modulo n. Participants are exploring which topologies on \Z_n would ensure that κ is globally continuous.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Some participants consider the trivial topology on \Z_n as a candidate for ensuring global continuity of κ. Others explore the implications of using different topologies on \Z_n, questioning whether any topology would suffice for continuity.

Discussion Status

The discussion is ongoing, with participants sharing insights about the nature of continuity in relation to different topologies. There is recognition that the discrete topology on \Z leads to certain conclusions about continuity, but further exploration of alternative topologies on \Z_n is still being pursued.

Contextual Notes

Participants are navigating the implications of the discrete topology on \Z and its relationship to the continuity of mappings to other topological spaces. There is an acknowledgment of the complexity involved in determining suitable topologies for \Z_n.

Wodfrag
Messages
3
Reaction score
0

Homework Statement


If the set \Z of integers is equipped with the relative topology inherited from ℝ, and κ:\Z→\Z_n (where κ is a canonical map and \Z_n is the residue class modulo n) what topology/topologies on \Z_n will render κ globally continuous?


Homework Equations





The Attempt at a Solution


I think i have found that κ will be globally continuous if \Z_n is equipped with the trivial (where the open sets are ∅ and \Z_n itself) topology, since \Z_n itself will be an open neighborhood of an element in \Z_n, hence for every x \in \Z κ(x)\in \Z_n. I cannot figure out however if i can apply any other topologies on \Z_n such that κ will be globally continuous.

Thanks
 
Physics news on Phys.org
Since intuition may help to decide which way to go, try some of these tricks that I love, but sadly rarely come in handy:(

In order for the map to remain continuous, close points must map to close points. And the more open sets you have, the farther apart points are. But in the discrete topology, every set is an open set, you have as many open sets as possible, so points are really far apart.

That means that no points are close together.

So when I said that close points map to close points, we have no close points, so they can map as far apart as we like. Okay the logic is getting weird, but here's where I'm thinking we are at this point:

We can have any topology in Z_n. Then any open set will pull back to an open set, because every set in Z is open.

Perhaps every map out of the discrete topology is continuous.
 
Last edited:
The set of integers, Z, is discrete and the topology inherited from R is the discrete topology. All sets are open (and closed) so that any function from Z to any topological space is continuous.
 
Thanks for the answers! You make it sound so very simple..
 
Thanks for the answers! You make it sound so very simple..
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
6K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 2 ·
Replies
2
Views
2K