• Keine Ergebnisse gefunden

Exercise Sheet no. 5 of “Topology”

N/A
N/A
Protected

Academic year: 2022

Aktie "Exercise Sheet no. 5 of “Topology”"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Fachbereich Mathematik Prof. Dr. Karl-Hermann Neeb Dipl.-Math. Hasan G¨undo˘gan

Summer Semester 2009 June 16, 17 & 23, 2009

Exercise Sheet no. 5 of “Topology”

Exercise E42

Let (X, d) be a metric space. A subset S⊆X is calledbounded, if diamd(S) := sup{d(x, y) :x, y∈S}<∞.

(a) Show that every compact subset C⊆X is bounded and closed.

(b) Give an example of a metric space with a bounded and closed subset which is not compact.

Exercise E43

Let (xn)n∈N be a sequence in the topological spaceX. Show that, if limn→∞xn=x, then the set {xn:n∈N} ∪ {x}is compact.

Exercise E44

The Cantor Set as a product space

We consider the compact product space {0,1}N, where {0,1} carries the discrete topology. The image C of the function

f:{0,1}N→R, f(x) := 2

X

n=1

xn 3n is called theCantor set. Show that:

(a) f is continuous and injective.

(b) f:{0,1}N→C is a homeomorphism and C is compact.

(c) C=T

n∈NCn, where

C1 = [0,1]\i1 3,2

3 h

= h

0,1 3 i

∪h2 3,1

i ,

each Cn is a union of 2n closed intervals of length 31n, and Cn+1 arises from Cn by deleting in each interval of Cn the open middle third.

Exercise E45

Let (X, d) be a compact metric space. Show that:

(1) X is separable, i.e., X contains a countable dense subset.

(2) If Y is a metric space and f:X →Y is continuous, thenf is uniformly continuous, i.e., for each ε >0 there exists aδ >0 such that for each x∈X we have: f(Bδ(x))⊆Bε(f(x)) .

Exercise E46

Let X be a set and

τ :={∅} ∪ {A⊆X:|Ac|<∞}

be the cofinite topology introduced in Exercise E10. Show that (X, τ) is quasicompact.

(2)

Exercise E47

On the compact space X := [0; 1]⊆ R, we consider the equivalence relation defined by x ∼y if either x=y or (x= 0 and y= 1) or (x= 1 and y= 0). Show that:

(a) The quotient space [X] :=X/∼is Hausdorff and compact.

(b) [X] is homeomorphic to S1 := {z∈C:|z|= 1}. Hint: Consider f: [X]→ S1, f([t]) :=e2πit and Proposition 4.1.6.

Exercise E48

For n∈Nlet the groupZn act onRn by addition: σ(z, r) :=z+r forz∈Zn,r ∈Rn. (a) Show that the quotient space Rn/Zn corresponding toσ is Hausdorff.

(b) Why is the quotient map q:Rn→Rn/Zn,r7→r+Zn open?

(c) Show that [0; 1]n intersects every equivalence class in Rn/Zn non-trivially. Conclude with Exercise E29(b) that Rn/Zn is compact.

(d) Let Tn := S1n

be the n-fold topological product of the circle, the n-dimensional torus.

Show that Rn/Zn is homeomorphic to Tn. Exercise E49

Let H := Q

n∈N

1n;n1

⊆ `2(N,R) = n

x∈RN:kxk2 :=pP

n=1x2n<∞o

be the Hilbert cube.

Show that the inclusion j:H →`2(N,R),x7→x is a topological embedding, i.e. the corestriction of j onto its image is a homeomorphism. Here,His given the the product topology and `2(N,R) the topology associated to the metric d(x, y) :=kx−yk2.

Exercise E50

Let X be a locally compact space and Y ⊆X be a subset. Show that Y is locally compact with respect to the subspace topology if and only if there exists an open subset O ⊆X and a closed subset A with Y =O∩A. Hint: IfY is locally compact, write it as a union of compact subsets of the form Oi∩Y,Oi open in X, whereOi∩Y has compact closure, contained inY. Then put O :=S

i∈IOi and A:=Y ∩O.

Exercise E51

Show that a locally compact space is regular, i.e., a T3-space. Hint:Urysohn’s Theorem.

Referenzen

ÄHNLICHE DOKUMENTE

Recall the Euclidean algorithm from Exercise

Hint: By forgetting about the multiplicative structure, we may regard F[X ] and R A as vector spaces over F , and we may regard˜as a vector

Prove that Sp(2n, R ) with the matrix multiplication and the matrix inversion forms a Lie group. What is the manifold dimension of Sp(2n,

Differential Topology: Exercise Sheet 4. Exercises

4.2 Counterexample to Brouwer’s fixed point theorem in infinite dimensions In this exercise, we show that Brouwer’s fixed point theorem does not extend to infinite dimensions, i.e.

In this exercise you will use Brouwer’s fixed point theorem to show the existence of Nash equilibria which appear in game theory.. Formally, an n-player game is given by a tuple (n,

Differential Topology: Exercise Sheet 7. Exercises

Differential Topology: Exercise Sheet 8. Exercises