Section 2.1

Point Set Topology

[27/100%]
Show
LaTeX
Problem 2.1.1

Let AA and BB be connected subspaces of a topological space XX, such that A∩B‾≠∅A \cap \overline{B} \neq \emptyset. Prove that A∪BA \cup B is connected. If AA and BB are path connected, need A∪BA \cup B be path connected?

?
Problem 2.1.2

Suppose that AA and BB are compact subspaces of spaces XX and YY respectively, and that NN is an open neighborhood of

A×B⊂X×Y. A \times B \subset X \times Y.

Prove that there are open sets U⊂XU \subset X and V⊂YV \subset Y such that

A×B⊂U×V⊂N. A \times B \subset U \times V \subset N.
?
Problem 2.1.3

Let XX be a locally compact Hausdorff space. Let AA and BB be disjoint subsets of XX, with AA compact and BB closed. Does there exist a continuous function f:X→[0,1]f : X \to [0,1] such that f∣A=0f|_{A} = 0 and f∣B=1f|_{B} = 1?

?
Problem 2.1.4

No proofs, only the correct answers to the question asked, are required for this problem.

If XX and YY are topological spaces, the join of XX and YY is the quotient space

X∗Y=(X×Y×[0,1])/∼, X * Y = (X \times Y \times [0,1])/{\sim },

where

(x,y,t) is equivalent to (x′,y′,t′) if and only if x=x′ and t=t′=0, or y=y′ and t=t′=1. (x,y,t) \text{ is equivalent to } (x',y',t') \text{ if and only if } x = x' \text{ and } t = t' = 0, \text{ or } y = y' \text{ and } t = t' = 1.
?
(a)

S0∗S0S^{0} * S^{0} and S1∗S0S^{1} * S^{0} are homeomorphic to familiar spaces. What space are they?

(b)

Describe X∗S0X * S^{0} for a general space XX.

Problem 2.1.5
?
(a)

Define quotient map.

(b)

Show that if XX is compact, YY is Hausdorff and f:X→Yf : X \to Y is continuous and onto, then ff is a closed map.

(c)

Show that if ff satisfies the condition of (b) then ff is a quotient map.

Problem 2.1.6

Let f:X→Yf : X \to Y be a continuous function from a space XX to a Hausdorff space YY. Let CC be a closed subspace of YY, and let UU be an open neighborhood of f−1(C)f^{-1}(C) in XX.

?
(a)

Prove that if XX is compact then there is an open neighborhood VV of CC in YY such that f−1(V)⊂Uf^{-1}(V) \subset U.

(b)

Give a counterexample to show that if XX is not compact, then there need not be such a neighborhood VV.

Problem 2.1.7

Let XX be a normal topological space and A⊂XA \subset X a closed subspace.

?
(a)

Show that the quotient space YY obtained by collapsing AA to a point is normal.

(b)

Does this result hold if normality is replaced with regularity?

Problem 2.1.8

Let p:E→Bp : E \to B be a covering map with EE locally path connected and simply connected. Let XX be a connected space, let f:X→Bf : X \to B be a continuous map, and f1,f2:X→Ef_{1}, f_{2} : X \to E be two lifts of ff. Prove that there is a deck transformation g:E→Eg : E \to E such that f2=gf1f_{2} = g f_{1}.

?
Problem 2.1.9

Let p:X~→Xp : \tilde{X} \to X be an nn-sheeted covering projection, n<∞n < \infty. Suppose that XX is compact. Prove that X~\tilde{X} is compact.

?
Problem 2.1.10

Let T\mathcal{T} and U\mathcal{U} be two different topology on XX such that XX is compact and Hausdorff with respect to both. Prove that T⊄U\mathcal{T} \not\subset \mathcal{U}.

(Recall that T⊂U\mathcal{T} \subset \mathcal{U} means that every set in the topology T\mathcal{T} is contained in U\mathcal{U}.)

?
Problem 2.1.11

Let XX be a topological space and let A⊂XA \subset X. Show that if CC is a connected subset of XX that intersects both AA and X−AX - A, then CC intersects BdA\mathrm{Bd}A. (Recall that BdA=A‾∩(X−A)‾\mathrm{Bd}A = \overline{A} \cap \overline{(X-A)}.)

?
Problem 2.1.12

Let (X,d)(X,d) be a metric space. For any subspace A⊂XA \subset X and real number ε>0\varepsilon > 0, let

Oε(A)={x∈A:d(x,a)<ε for some a∈A}, O_{\varepsilon }(A) = \left\{ x \in A : d(x,a) < \varepsilon \text{ for some } a \in A\right\} , Cε(A)={x∈A:d(x,a)≤ε for some a∈A}. C_{\varepsilon }(A) = \left\{ x \in A : d(x,a) \leq \varepsilon \text{ for some } a \in A\right\} .
?
(a)

Prove that Oε(A)O_{\varepsilon }(A) is an open subspace of XX.

(b)

If AA is compact, show that Cε(A)C_{\varepsilon }(A) is closed in XX. Must Cε(A)C_{\varepsilon }(A) be closed for a general subspace AA of XX?

Problem 2.1.13

Suppose that XX is a dense subspace of a topological space YY. Prove or give counterexamples to the following assertions:

?
(a)

If XX is Hausdorff, then YY is Hausdorff.

(b)

If XX is connected, then YY is connected.

Problem 2.1.14

Let XX and YY be topological spaces, X=U∪VX = U \cup V, and f:X→Yf : X \to Y be a function so that f∣Uf|_{U} and f∣Vf|_{V} are continuous.

?
(a)

If UU and VV are open in XX, show that ff is continuous.

(b)

Give an example where UU and VV are not open in XX and ff is not continuous.

Problem 2.1.15

Let q:X→Yq : X \to Y be a quotient space projection from a topological space XX to a connected topological space YY. Assume that q−1(y)q^{-1}(y) is connected for each y∈Yy \in Y.

?
(a)

Show that XX is connected.

(b)

Is XX necessarily connected if the map qq is not assumed to be a quotient mapping? Justify your assertion.

Problem 2.1.16

Let XX and YY be topological spaces, with YY compact. Let p:X×Y→Xp : X \times Y \to X be the usual projection onto the first factor. Show that pp is a closed map.

?
Problem 2.1.17

Let YY be a connected subset of the topological space, and let ZZ be a set such that YY is a subset of ZZ and ZZ is a subset of the closure of YY. Prove that ZZ is connected.

?
Problem 2.1.18

Let AA be a connected subspace of a connected set XX. If CC is a component of X∖AX \setminus A, show that X∖CX \setminus C is connected.

?
Problem 2.1.19

A metric space XX has property SS if for every ε>0\varepsilon > 0 there is a cover of XX by connected sets each of which has diameter <ε< \varepsilon.

?
(a)

Prove a metric space XX has property SS if XX has a dense subset with property SS.

(b)

Suppose XX is a subset of a metric space. Suppose the closure of XX has property SS. Must XX have property SS?

Problem 2.1.20

Let XX be the topologist's sine curve defined by

X={(x,sin⁡πx)∣0<x≤1}∪{(0,y)∣−1≤y≤2} X = \left\{ \left(x, \sin \tfrac {\pi }{x}\right) \mid 0 < x \leq 1\right\} \cup \left\{ (0,y) \mid -1 \leq y \leq 2\right\} ∪ {(x,2)∣0≤x≤1}∪{(1,y),0≤y≤2}⊂R2. \cup \, \left\{ (x,2) \mid 0 \leq x \leq 1\right\} \cup \left\{ (1,y), 0 \leq y \leq 2\right\} \subset \mathbb {R}^{2}.
?
(a)

Sketch XX.

(b)

Let f:X→Xf : X \to X be continuous. Show that either f(X)=Xf(X) = X or else there exists δ>0\delta > 0 such that

f(X)∩{(x,y)  |  0<x<δ,  −32≤y≤32}=∅. f(X) \cap \left\{ (x,y) \; \middle |\; 0 < x < \delta , \; -\tfrac {3}{2} \leq y \leq \tfrac {3}{2}\right\} = \emptyset .
Problem 2.1.21

Let T=S1×S1T = S^{1} \times S^{1} denote the torus.

?
(a)

Show that TT can be covered by 3 contractible open subsets.

(b)

Show that TT cannot be covered by 2 contractible open subsets.

Problem 2.1.22

Let U={Uα}α∈J\mathcal{U} = \left\{ U_{\alpha }\right\}_{\alpha \in J} be an open cover of the space XX.

?
(a)

Give the definition for ``U\mathcal{U} is locally finite''.

(b)

If U\mathcal{U} is locally finite show that, for any subset K⊂JK \subset J, ⋃β∈KUβ‾\bigcup_{\beta \in K} \overline{U_{\beta }} is closed.

Problem 2.1.23

Let SS be a set and let FF be a family of real valued functions on SS such that f(s1)=f(s2)f(s_{1}) = f(s_{2}) for all f∈Ff \in F implies s1=s2s_{1} = s_{2}. Prove that there exists a weakest topology in SS amongst all those for which all members of FF are continuous. Show further that the resulting topological space satisfies the Hausdorff separation axiom.

?
Problem 2.1.24

Let KK be a compact subset of Rn\mathbb {R}^{n} and {Bj}\left\{ B_{j}\right\} a sequence of open balls that covers KK. Prove that there is a positive number ε\varepsilon such that each ε\varepsilon-ball centered at a point of KK is contained in one of the ball BjB_{j}.

?
Problem 2.1.25

Let (X1,d1)(X_{1}, d_{1}) and (X2,d2)(X_{2}, d_{2}) be metric spaces and f:X1→X2f : X_{1} \to X_{2} a continuous surjective map such that d1(p,q)≤d2(f(p),f(q))d_{1}(p,q) \leq d_{2}(f(p), f(q)) for every pair of points p,qp, q in X1X_{1}.

  1. If X1X_{1} is complete, must X2X_{2} be complete? Give a proof or a counterexample.

  2. If X2X_{2} is complete, must X1X_{1} be complete? Give a proof or a counterexample.

?
Problem 2.1.26

Let (M,d)(M,d) be a nonempty complete metric space. Let SS map MM into MM, and write S2S^{2} for S∘SS \circ S, that is, S2(x)=S(S(x))S^{2}(x) = S(S(x)). Suppose that S2S^{2} is a strict contraction, that is, there is a constant λ<1\lambda < 1 such that for all points x,y∈Mx, y \in M, d(S2(x),S2(y))≤λd(x,y)d(S^{2}(x), S^{2}(y)) \leq \lambda d(x,y). Show that SS has a unique fixed point in MM.

?
Problem 2.1.27

Let KK be a continuous function on the unit square 0≤x,y≤10 \leq x, y \leq 1 satisfying ∣K(x,y)∣≤1\left|K(x,y)\right| \leq 1 for all xx and yy. Show that there is a continuous function f(x)f(x) on [0,1][0,1] such that we have

f(x)+∫01K(x,y)f(y) dy=ex2. f(x) + \int _{0}^{1} K(x,y) f(y) \, dy = e^{x^{2}}.

Can there be more than one such function ff?

?