Home / Math and Physics Files / Math / Calculus, Real Analysis, Topology / Royster Topology Notes / toplogy intro david royster
solnpdf5
PDF · 3 pages · 108.8 KB
Open PDF file
Solution set from David C. Royster's Introduction to Topology course (MATH 4181, Fall 1999), marked for classroom use only. It covers open mappings versus continuous maps, finite subsets of Hausdorff spaces having no limit points, embeddings, and totally disconnected spaces. It also gives examples of connected and disconnected sets in the plane and proves that 0-dimensional spaces are totally disconnected.
AI-written summary; may contain errors.
Extracted text (machine-read; may contain errors)
MATH 4181 Problem Set 5 Solutions 1
MATH 4181 001 Fall 1999
Problem Set 5 Solutions
1.Letf:X!Ybe a function. Then fis an open mapping if for each open set
OX,f(O)is open inY.
(a)Give an example of a mapping that is continuous, but not open.
LetX=Y=R. LetTXdenote the discrete topology on XandTYdenote the
usual, metric topology on Y. Denef: (X;TX)!(Y;TY) byf(x) =x. Then,f
is a continuous mapping, because the inverse image of any set is open in ( X;TX).
However,fis not open since f(f0g) =f0gwhich is not open in ( Y;TY).
(b)Give an example of a mapping that is open, but not continuous.
Use the same notation as in (a) and dene g: (Y;TY)!(X;TX) byg(x) =x.
Then,gis open, since the image of any set is open in ( X;TX), butgis not
continuous since, for example, the inverse image of the open set f0gis not open
in (Y;TY).
(c)Prove that a one-to-one, onto mapping f:X!Yis a homeomorphism if and
only iffandf 1are open mappings.
Letfbe a homeomorphism. Then we know that fandf 1are both continuous.
We also know that f= (f 1) 1, so that the statement that fis open is equivalent
to saying that f 1is continuous. Likewise, the statement that f 1is open is
equivalent to saying that fis continuous. Thus, fandf 1are open mappings.
If we know that fis one-to-one and onto, then assuming that fandf 1are open
mappings makes fandf 1both continuous. Thus, fis a homeomorphism.
2.Prove that a nite subset Aof a Hausdor space Xhas no limit points. Conclude that
Amust be closed.
LetA=fx1;:::;xngand letpbe a limit point of A. Then, for every open set, U,
containingpwe must have that U\Anfpg6=;. SinceXis Hausdor, there are open
setsUicontainingpandVicontainingxiso thatUi\Vi=;. LetU=\n
i=1Uiand let
V=[n
i=1Vi. Then,
(i)p2U;
(ii)AV;
(iii)U\V=;.
Thus, we found a neighborhood of pwhich does not intersect A. Hence,pcannot be a
limit point of AandAhas no limit points.
SinceA0=;, we have that A=A[A0=A, makingAclosed.
c
David C. Royster Introduction to Topology For Classroom Use Only
MATH 4181 Problem Set 5 Solutions 2
3.IfXis a space which is homeomorphic to a subspace Aof a spaceY, thenXis said to
beembedded inY. Give an example of spaces AandBfor whichAcan be embedded
inBandBcan be embedded in A, butAandBare not homeomorphic. (Simple
examples can be found in R.)
LetA= (0;1) and letB= [0;1]. Clearly, Acan be embedded in Busing the identity
function,f(x) =x. Dene a map g:B!Abyg(x) =1
2x+1
4. This maps Bonto the
interval [1
4;3
4] embedding it into A.
Thus, we can embed AintoBandBintoA. However, we know that the two intervals
(0;1) and [0;1] are not homeomorphic.
4.Prove that every countable subset of Ris totally disconnected.
We shall prove in Problem 7a that the property of being totally disconnected is a
topological invariant. Since we have shown that Qis totally disconnected. Since Qis
countable it is homeomorphic to every countable subset of R. Hence, every countable
subset ofRis totally disconnected.
5.Give examples of subsets AandBinR2to illustrate each of the following. A drawing
is sucient.
(a)AandBare connected, but A\Bis disconnected.
LetAbe the segment on the x-axis,A=f(x;0)j 1x1g. LetBdenote
the upper hemisphere of the unit circle: B=f(x;y)jx2+y2= 1 andy1g.
Then each of AandBis connected but the intersection is the two disjoint points
( 1;0) and (1;0) which are disconnected.
(b)AandBare connected, but AnBis disconnected.
LetAbe the rectangle in the plane with vertices at (2 ;1), ( 2;1), ( 2; 1) and
(2; 1). LetBbe the square in the plane with vertices (1 ;1), ( 1;1), ( 1; 1)
and (1; 1). ThenAnBis two disconnected squares.
(c)AandBare disconnected, but A[Bis connected.
TakeAto be the two vertical sides of the unit square: A=f(1;t)j 1t
1g[f 1;t)j 1t1g. TakeBto be the two horizontal sides of the unit
square:B=ft;1)j 1t1g[ft; 1)j 1t1g. Then, each of AandB
is disconnected, but A[Bis connected.
(d)AandBare connected and A\B6=;, butA[Bis disconnected.
LetA= (0;1) andB= (1;2). ThenAandBare connected,
A\B= [0;1]\[1;2] =f1g6=;;
butA[B= (0;1)[(1;2) is disconnected.
c
David C. Royster Introduction to Topology For Classroom Use Only
MATH 4181 Problem Set 5 Solutions 3
6.Denition: A Hausdor space Xis0-dimensional ifXhas a basis Bof sets which
are simultaneously open and closed.
Prove that every 0-dimensional space is totally disconnected.
LetXbe a 0-dimensional space. Let Cbe a component of Xcontaining the point
x2X. Lety2C. SinceXis Hausdor, there are disjoint open sets, UandV,
containing xandy, respectively. Now, each of these open sets consists of a union of
basic open sets, thus, we can separate xandyby disjoint basic open sets. Thus, there
are setsUxandVy, disjoint and open and closed, since Xis 0-dimensional. Then, C
contains sets which are both open and closed, making Cnot connected. The only way
in which this can be prevented is for C=fxg. Thus, each component consists of a
single point and Xis totally disconnected.
7.Prove:
(a)The property of being totally disconnected is a topological invariant but not a
continuous invariant.
Letf:X!Ybe a homeomorphism and assume that Xis totally disconnected.
LetCbe a connected component of Y. Thenf 1(C) is a connected subset of X,
being the continuous image of a connected set. If x2f 1(C), thenf 1(C) lies in
the connected component of Xcontainingx. SinceXis totally disconnected, this
component is x. Thus,f 1(C) is a single point. Since fis a homeomorphism, C
consists of a single point. Thus, Yis totally disconnected.
Let (X;T) denote the reals with the discrete topology. Then ( X;T) is totally
disconnected. Let ( Y;S) denote the reals with the usual topology. Dene f:X!
Ybyf(x) =x. This function is continuous, since the domain has the discrete
topology, but the image space is connected, not totally disconnected.
(b)The property of being totally disconnected is hereditary.
LetXbe totally disconnected and let AX. LetCAbe the component of
Acontainingx2A. Lety2C. Now,yis disconnected from xinX, sinceXis
totally disconnected. The same disconnection in Xwill disconnect xandyinA.
Hence,Ccannot contain more than one point, and Ais totally disconnected.
c
David C. Royster Introduction to Topology For Classroom Use Only