Download Topology - Homework Sets 8 and 9

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Sheaf (mathematics) wikipedia , lookup

Covering space wikipedia , lookup

Fundamental group wikipedia , lookup

Brouwer fixed-point theorem wikipedia , lookup

Geometrization conjecture wikipedia , lookup

Surface (topology) wikipedia , lookup

3-manifold wikipedia , lookup

Continuous function wikipedia , lookup

Grothendieck topology wikipedia , lookup

General topology wikipedia , lookup

Transcript
Topology - Homework Sets 8 and 9
Due Tuesday, April 5
1. Determine which of the following subsets of R2 are compact.
(i) ( x, y) ∈ R2 | ( x/3)2 + (y/5)2 = 1
This is compact. To see this, recall that for Rn , a subset is compact if
and only if it is closed and bounded. This is the zero set of a continuous
function, and so it is closed (see problem 2 below for more details of this
type of argument). It is also bounded, since it is contained in the ball of
radius 5 centered at the origin.
(ii)
( x, y) ∈ R2 | ( x/3)2 − (y/5)2 = 1
This is not compact. To see this, recall that for Rn , a subset is compact
if and
ponly if it is sequentially compact. Consider the sequence of points
(n, 5 (n/3)2 − 1) for n ∈ Z+ . This lies in the above set and has not
convergent subsequence (the x-coordinates diverge to +∞).
(iii)
( x, y) ∈ R2 | x, y ∈ Q, and | x | + |y| ≤ 1
This is not compact since it is not closed: The point (1/π, 1/π ) is a limit
point of this set that is not contained in this set.
2. Define the 2-sphere to be the subspace
S2 := ( x, y, z) ∈ R3 x2 + y2 + z2 = 1 .
Show that S2 is compact.
Since S2 is a subset of R3 , it suffices to show that S2 is closed and bounded.
It is obviously bounded since it is contained in the ball of radius 2 centered at
the origin. To see that it is closed, consider the function f : R3 → R defined by
f ( x, y, z) = x2 + y2 + z2 .
This is a continuous function, so the inverse image of the closed set {1} is
closed. This shows S2 is closed since
f −1 (1 ) = S 2 .
1
3. Suppose X is a topological space, and
C1 , . . . , Cn ⊂ X
are compact subspaces. Show that the union ∪nj=1 Cj is compact.
4. Suppose X is a Hausdorff space, and let A, B ⊂ X be disjoint compact
subspaces. Show that there exist disjoint open sets U and V such that
A ⊂ U,
and
B ⊂ V.
5. Let X be a topological space, E ⊂ X a compact subset, and F ⊂ X a closed
subset. Prove that E ∩ F is compact. (Note: In this question it is not assumed
that X is Hausdorff.)
6. Show that sequential compactness (see Munkres p.179) is a topological
property. That is, show that if X is sequentially compact and h : X → Y is
a homeomorphism, then Y is sequentially compact.
7. Consider R2 with the Zariski topology. For each of the following subsets
of R2 , determine whether it is open and whether it is closed.
(i) ( x, y) ∈ R2 | ( x/3)2 − (y/5)2 = 1
This is closed since it is the zero set of the polynomial ( x/3)2 − (y/5)2 −
1. It is not open, since otherwise it and its complement would be a separation of R2 , but no separation exists since R2 is connected in the Zariski
topology.
(ii) x-axis ∪ y-axis
This is closed since it is the zero set of the polynomial xy. It is not open
by the same reasoning as (i).
(iii) R2 − {(0, 0)}
This is open since its complement is the zero set of the polynomial x2 + y2 .
It is not closed by the same reasoning as (i).
(iv) Q × {0}
This is neither open nor closed.
Proof 1: One way to see this is to use the fact that the Zariski topology
is coarser than the standard topology. The set Q × {0} is neither open
nor closed in the standard topology, so the same is true of the Zariski
topology.
2
Proof 2: Suppose Q × {0} is closed. Then it is the zero set of a finite
number of polynomials p1 , . . . , pK . Note that (π, 0) is not in Q × {0}.
However, there is a sequence ( xn )n of rational numbers with the property
that xn converges to π in the standard topology (e.g., take xn to be the n
place decimal expansion of π). Then ( xn , 0) ∈ Q × {0}, so
f k ( xn , 0) = 0, ∀1 ≤ k ≤ K, ∀n ∈ Z.
Since polynomials are continuous (in the standard topology), for each
1 ≤ k ≤ K we can take the limit in n to get
f k (π, 0) = 0.
This implies (π, 0) ∈ Q × {0}, which is a contradiction. Hence Q × {0}
is not closed.
A similar argument shows it is not open.
3