* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Test Assignment for Metric Space Topology 304a
Survey
Document related concepts
Transcript
Test Assignment for Metric Space Topology 304a
Instructor: Georg Biedermann
Solutions
Exercise 1:(4) Let (X, T1 ) and (Y, T2 ) be topological spaces.
1. Show that for U1 , U2 ⊂ X and V1 , V2 ⊂ Y we have:
(U1 × V1 ) ∩ (U2 × V2 ) = (U1 ∩ U2 ) × (V1 ∩ V2 )
Solution: We have the following equivalences:
(u, v) ∈ (U1 × V1 ) ∩ (U2 × V2 )
⇔ u ∈ U1 , v ∈ V1 , u ∈ U2 , v ∈ V2
⇔ (u, v) ∈ (U1 ∩ U2 ) × (V1 ∩ V2 )
2. Show that B = {U × V |U ∈ T1 , V ∈ T2 } is a basis for a topology on X × Y .
Solution: In general, given a family B of subsets that satisfies the following
two conditions, namely
• X ×Y =
S
B∈B
B
• B1 , B2 ∈ B ⇒ B1 ∩ B2 ∈ B
we can construct a topology by defining W ⊂ X × Y to be open if and only if
there exist Bi ∈ B for some I ∈ I such that
[
W =
Bi .
i∈I
We have to check that this is indeed a topology:
a. X × Y is open by the first point above, ∅ is the union over an empty index
set, hence also open.
b. Arbitrary unions are open sets, since the union of unions is a union.
c. Finite intersections of open sets are open because of the second point above:
[
[
[
( Bi ) ∩ (
Bj ) = (Bi ∩ Bj )
i∈I
i,j
j∈J
1
It remains to show that our B satisfies the two points: the first one is obvious
X × ∈ B, and the second one follows from part 1.
The topology on X × Y generated by B is called the product topology. Define
the projections prX : X × Y → X and prY : X × Y → Y by
prX (x, y) := x, prY (x, y) := y.
3. Show that prX and prY are continuous if X × Y is given the product
topology.
Solution: A map is continuous if and only if the preimage of every open set is
∈ B. This
open. Let U be an open set in X, i.e. U ∈ T1 . Then pr−1
X (U ) = U × Y
is open by the definition of the product topology. Hence the projection prX is
continuous. Analogously for prY .
4. Let f : T → X and g : T → Y be continuous maps from a topological
space (T, T3 ). Show that there exists a unique map h : T → X × Y with
prX h = f and prY h = g. Show that h is continuous.
Solution: We define a map h : T → X × Y in the following way:
h(t) := (f (t), g(t)) ∈ X × Y
We claim, that this map is the desired map. First of all, the two equations
prX h = f and prY h = g are satisfied by construction. It is also clear, that h
is determined by these equations, hence it is unique (no other map can satisfy
these two equations). We just have to prove, that h is continuous. It suffices to
check, that for every B ∈ B the preimage h−1 (B) ∈ T3 , since B is a basis for the
product topology. So let U × V ∈ B. Then we have:
h−1 (U × V ) = f −1 (U ) ∩ g −1 (V )
Both sets f −1 (U ) and g −1 (V ) are open in T , since f and g are continuous. The
intersection of two open sets is open, which proves the claim.
Property 4 is called the universal property of the product. Let C(W, Z) denote
the set of continuous maps from the space W to the space Z.
2
5. Show that there is a bijection C(T, X × Y ) ∼
= C(T, X) × C(T, Y ).
Solution Let’s define a map α : C(T, X × Y ) → C(T, X) × C(T, Y ) by
h 7→ (prX h, prY h) = α(h).
The projections are continuous by part 3, hence their composition with h is
continuous. Therefore α is well-defined. Conversely let β : C(T, X) × C(T, Y ) →
C(T, X × Y ) be given by
(f, g) 7→ h = β(f, g),
where h exists by part 4. Part 4 also shows, that h is unique and continuous,
whereby β is well-defined. Obviously we have:
α ◦ β = id and β ◦ α = id
This proves, that α and β are mutually inverse bijections.
Exercise 2:(4) Let (M, d) be a metric space.
1. Show that setting d′ (x, y) :=
d(x,y)
1+d(x,y)
Solution: The map d′ : M × M →
for x, y ∈ M defines a metric on M .
R has to satisfy the axioms of a metric.
• ∀ x, y ∈ M d′ (x, y) ≥ 0
This is obvious, since d(x, y) ≥ 0.
• ∀ x, y ∈ M d′ (x, y) = 0 ⇔ x = y
We have:
d′ (x, y) = 0 ⇔ d(x, y) = 0 ⇔ x = y
Here the second equivalence follows, since d is a metric.
• ∀ x, y ∈ M d′ (x, y) = d′ (y, x)
This is immediate from the fact that d(x, y) = d(y, x).
• ∀ x, y, z ∈ M d′ (x, z) ≤ d′ (x, y) + d′ (y, z)
3
For all a, b ∈
R≥0 and d := a + b + ab we have:
b
a + b + 2ab
d
a
+
=
≥
1+a 1+b
1 + a + b + ab
1+d
x
is monotonically increasing
We also have d ≥ a + b and that the map x 7→ 1+x
on ≥0 . This follows from calculus, since for x ∈ ≥0 the derivative
R
R
d
x
1
(
)=
dx 1 + x
(1 + x)2
has positive values. So for any c ≤ a + b it follows:
d
a
b
c
≤
≤
+
1+c
1+d
1+a 1+b
The triangle inequality now follows be setting a := d′ (x, y), b := d′ (y, z) and
c := d′ (x, z).
2. Show that (M, d′ ) is bounded, i.e. ∃C > 0 ∀ x, y ∈ M d′ (x, y) < C.
Solution: For all X, y ∈ M we have d′ (x, y) :=
d(x,y)
<1
1+d(x,y)
3. Show that idM is (d, d′ )-continuous and (d′ , d)-continuous.
This shows that every metric space is topologically equivalent to a bounded
metric space.
Solution: Let’s denote for a metric m the corresponding open ǫ-ball by Bǫm (x) :=
{y ∈ M |m(x, y) ≤ ǫ}. Since for all x, y ∈ M we have d′ (x, y) ≤ d(x, y), it follows:
′
Bǫd (x) ⊂ Bǫd (x)
This proves, that id : (M, d) → (M, d′ ) is continuous. For the other direction
observe, that we have for all 0 ≤ a ≤ 1:
a
a
≤
2
1+a
So for arbitrary 1 > ǫ > 0 we see:
′
d
(x) ⊂ Bǫd (x)
Bǫ/2
4
This proves, that id is (d′ , d)-continuous.
Rn. Show the following inequalities:
Exercise 3:(4) Let x, y ∈
1
n−1 d1 (x, y) ≤ n− 2 d2 (x, y) ≤ d∞ (x, y) ≤ d2 (x, y) ≤ d1 (x, y)
This shows that the three metrics d1 , d2 and d∞ are Lipschitz equivalent.
P 2P 2 P
si ≥ ( ri si )2 . If we
Solution: The Cauchy-Schwarz inequality says
ri
put ri = 1 and si = |xi − yi | for all 1 ≤ i ≤ n we obtain:
n
n
X
i=1
n
X
|xi − yi |)2
|xi − yi |2 ≥ (
i=1
All terms are positive, so by taking the square root this is equivalent to:
n
n
X
√ X
√
n d2 (x, y) = n (
|xi − yi | = d1 (x, y)
|xi − yi |2 ≥
i=1
i=1
This proves the first inequality. Next we obviously have:
n
X
(xi − yi )2 ≤ n max |xi − yi |2
i=1,...,n
i=1
Again since all terms are positive, this is equivalent to the second inequality:
1
√
n
n
X
i=1
(xi − yi )2
!− 12
max |xi − yi | = d∞ (x, y)
≤
i=1,...,n
Furthermore we have the obvious inequalities
max |xi − yi |2 ≤
i=1,...,n
n
X
i=1
(xi − yi )2 ≤
n
X
i=1
!2
|xi − yi |
which prove the remaining inequalities of the exercise.
Exercise 4:(3) Let X be a space with the trivial topology and let Y be a space
with the discrete topology. Let T be an arbitrary topological space.
1. Describe the sets C(T, X) and C(Y, T ).
5
Solution: A map is continuous if and only if the preimage of every open set
is open. Let f : T → X be an arbitrary map. The only open subsets of X are
X and ∅, their preimages are T and ∅ both of which are open in T . Hence f is
continuous. So C(T, X) is just the set of all maps from T to X.
Now let g : Y → T be an arbitrary map. The preimage of every subset of T is
open, simply because every subset of Y is open. In particular every map from
Y to T is continuous. So C(Y, T ) is the set of all maps from Y to T .
2. Let f : X → T be a continuous map. What can you say about the subspace f (X) ⊂ T ?
Solution: The subspace f (X) ⊂ T has to have the trivial topology: Let U ⊂
f (X) be open. Then its preimage f −1 (U ) is open, so has to be either X or ∅.
Now f : X → f (X) is surjective, which means:
f (f −1 (U )) = U
This implies, that U has to be either f (X) or ∅.
3. Show that a map g : T → Y is continuous if and only if it is locally
constant, i.e. for all t ∈ T there exists an open set t ∈ U ⊂ T such that g
is constant on U .
Solution: Let g be continuous. Every subset of Y is open. In particular for
every y ∈ Y the sets g −1 ({y}) are open. Let t ∈ T , then t ∈ g −1 ({g(t)}), which
is open. Of course, g is constant on g −1 ({g(t)}). This means, that g is locally
constant.
Conversely let g be locally constant. Let U ⊂ Y be an arbitrary subset. (Remember, all of them are open, since Y is discrete.) We have to show, that
g −1 (U ) is open. Since g is locally constant, there exists for every t ∈ g −1 (U ) an
open set Vt ⊂ X such that t ∈ Vt and g is constant on Vt . It follows:
[
Vt
g −1 (U ) =
t∈g−1 (U)
So g −1 (U ) is the union of open sets, hence open.
6