Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Simple topology problem involving continuity

  1. Mar 20, 2014 #1
    Example 1 in James Munkres' book, Topology (2nd Edition) reads as follows:

    attachment.php?attachmentid=67838&stc=1&d=1395315123.jpg

    Munkres states that the map p is 'readily seen' to be surjective, continuous and closed.

    My problem is with showing (rigorously) that it is indeed true that the map p is continuous and closed.

    Regarding the continuity of a function Munkres says the following on page 102:

    --------------------------------------------------------------------------

    Let [itex]X[/itex] and [itex]Y[/itex] be topological spaces. A function [itex] f \ : \ X \to Y [/itex] is said to be continuous if for each open subset V of Y, the set [itex] f^{-1} (V) [/itex] is an open subset of X.

    ---------------------------------------------------------------------------

    Yes ... fine ... but how do we use such a definition to prove or demonstrate the continuity of p in the example?

    Can someone show me how we use the definition (or some theorems) in practice to demonstrate/ensure continuity?

    I have a similar issue with showing p to be a closed map.

    On page 137 Munkres writes the following:

    --------------------------------------------------------------------------

    A map [itex]p[/itex] "is said to be a closed map if for each closed set [itex]A[/itex] of [itex]X[/itex] the set [itex]p(A)[/itex] is closed in [itex]Y[/itex]"

    ---------------------------------------------------------------------------

    Again, I understand the definition, I think, but how do we use it to indeed demonstrate/prove the closed nature of the particular map p in Munkres example?

    Hope someone can help clarify the above issues?

    Peter
     

    Attached Files:

  2. jcsd
  3. Mar 20, 2014 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Okay, suppose U is open in [0, 2]. We want to show that [itex]f^{-1}(U)[/itex] is an open set in [itex][0, 1]\cup [2, 3][/itex].

    Define [itex]A= f^{-1}(U)\cap [0, 1][/itex] and [itex]B= f^{-1}\cap [2, 3][/itex]. If both A and B are open then their union, [itex]f^{-1}(U)[/itex] is open.

    So we need to show that A and B are open. Let y be in U. Then either y= 1 or y= 0, or y= 2, or y is in (0, 1), or y is in (1, 2].

    1) if y= 1, y= 1= f(1)= f(2)

    2) if y= 0, y= 0= f(0)

    3) if y= 2, y= 2= f(3)

    Those are "endpoints" of intervals so any open set about them is of the form [0, x) or [x, 1) in [0, 1] or [x, 2) in [1, 2].

    2) if y in (0, 1) then there exist x in (0, 1) such that f(x)= x= y.

    3) if y in (1, 3) then there exist x in (2, 3) such that f(x)= x- 1= y.
     
  4. Mar 20, 2014 #3

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    In this case, you can check continuity like you did in analysis: with epsilon-delta definitions.

    So in topology, if you encounter a map between metric spaces, you can just check the epsilon-delta definition of continuity. You don't need to work with open sets here. In fact, I think it's better to always avoid the open set definition whenever it is possible.

    So if you know continuity from analysis well, then you should have no problems with the topological definition.

    Closedness of maps is a different issue. There you indeed need to work with the closed sets. Luckily, there are some nice theorems which allow us to conclude that a map is closed. In fact, closedness as a concept is important because we care about these theorems. It's not like it's of independent interest, like continuity.
     
  5. Mar 21, 2014 #4
    Thanks HallsofIvy and micromass ... your posts were extremely helpful

    Peter
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Simple topology problem involving continuity
  1. Topology problem (Replies: 3)

  2. Topology problems (Replies: 32)

Loading...