Simple topology problem involving continuity

In summary, James Munkres discusses the readability of a map, stating that the map is "readily seen" to be surjective, continuous, and closed. He goes on to state that proving or demonstrating this is a different issue, but warns readers that they need to be aware of the concept of closed sets in order to prove/demonstrate closure.
  • #1
Math Amateur
Gold Member
MHB
3,990
48
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
 

Attachments

  • Munkres - Example 1 - page 137.jpg
    Munkres - Example 1 - page 137.jpg
    31.4 KB · Views: 1,902
Physics news on Phys.org
  • #2
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.
 
  • Like
Likes 1 person
  • #3
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.
 
  • Like
Likes 1 person
  • #4
Thanks HallsofIvy and micromass ... your posts were extremely helpful

Peter
 
  • #5


I can understand your confusion with the abstract definitions and how they can be applied in practice to demonstrate continuity and closedness of a map. Let's break down the definitions and see how they can be used in the example given by Munkres.

First, let's define what it means for a map to be continuous. In simple terms, a map is continuous if small changes in the input result in small changes in the output. In the context of topology, this means that the preimage of an open set in the codomain (Y) should be an open set in the domain (X). This is what the definition given by Munkres is saying.

Now, to prove the continuity of p in the example, we need to show that for any open set V in Y, the set p^{-1}(V) is an open set in X. Let's consider an open set V in Y, then by definition, we have p^{-1}(V) = {x in X | p(x) in V}. Now, since p is surjective, for every y in V, there exists an x in X such that p(x) = y. This means that p^{-1}(V) will contain all the points in X that map to points in V. Since V is an open set in Y, we can say that p^{-1}(V) is also an open set in X. This proves the continuity of p.

Similarly, to prove the closedness of p, we need to show that for any closed set A in X, the set p(A) is closed in Y. Let's consider a closed set A in X, then by definition, we have p(A) = {p(x) in Y | x in A}. Now, since p is surjective, for every y in Y, there exists an x in X such that p(x) = y. This means that p(A) will contain all the points in Y that are mapped from points in A. Since A is a closed set, all the points in X that map to points in A are also contained in A. This means that p(A) is a subset of A and hence a closed set in Y. This proves the closedness of p.

In summary, to prove the continuity and closedness of a map, we need to use the definitions and the properties of the map (in this case, surjectivity) to show that
 

1. What is a simple topology problem involving continuity?

A simple topology problem involving continuity is a mathematical problem that deals with the concepts of topology and continuity. It usually involves finding a function that is continuous on a given topological space.

2. Why is continuity important in topology?

Continuity is important in topology because it allows us to study the properties of a space without having to consider every single point in the space. It also helps us to understand the behavior of functions on a given topological space.

3. What are some common topological spaces used in simple topology problems involving continuity?

Some common topological spaces used in simple topology problems involving continuity include Euclidean spaces, metric spaces, and topological manifolds.

4. How is continuity defined in topology?

In topology, continuity is defined as a property of a function that ensures that small changes in the input result in small changes in the output. This means that points that are close together in the domain will be mapped to points that are close together in the range.

5. What are some techniques used to solve simple topology problems involving continuity?

Some techniques used to solve simple topology problems involving continuity include the use of the epsilon-delta definition of continuity, the concept of open and closed sets, and the application of topological properties such as compactness and connectedness.

Similar threads

  • Topology and Analysis
2
Replies
43
Views
825
  • Topology and Analysis
Replies
8
Views
394
  • Topology and Analysis
Replies
8
Views
1K
  • Topology and Analysis
Replies
5
Views
1K
Replies
6
Views
2K
  • Topology and Analysis
Replies
1
Views
724
Replies
15
Views
1K
  • Topology and Analysis
Replies
9
Views
2K
  • Topology and Analysis
Replies
2
Views
2K
  • Topology and Analysis
Replies
2
Views
1K
Back
Top