Download 1. Manifolds with boundary Definition 1.1. An n

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

Fundamental theorem of algebra wikipedia , lookup

Transcript
1. Manifolds with boundary
Definition 1.1. An n-dimensional manifold with boundary is a topological space X in which
each point x ∈ X has a neighborhood Ux homeomorphic to either Rn or to H n – the closed
upper half-space in Rn :
H n = {(x1 , ..., xn ) ∈ Rn | xn ≥ 0}
The set of all points x ∈ X which only have neighborhoods homeomorphic to H n constitute
the boundary of X. The boundary of X is denoted by ∂X. If this boundary is empty, then
X is simply an n-manifold (consequently, manifolds are also referred to as manifolds with
empty boundary).
Remark 1.2. The definition of the boundary of a manifold does not always coincide with
the definition of the boundary of a topological space. For example, the manifold X = D n =
{x ∈ Rn | x < 1} as a manifold has no boundary but as a subspace of Rn has boundary S n .
Examples 1. H n itself is a manifold with boundary. Its boundary is
∂H n = Rn−1 × {0} ∼
= Rn−1
n
2. The closed n-ball D n = {x ∈ Rn | |x| ≤ 1} is an n-manifold with boundary ∂D = S n−1 .
3. If X is an n-manifold (without boundary) and Y is an m-manifold with boundary then
X × Y in the product topology is an (m + n)-manifold with boundary
∂(X × Y ) = X × ∂Y
4. The intervals [0, 1 and 5, 6] are 1-manifolds with boundaries {1} and {5} respectively.
Proposition 1.3. If X is an n-manifold with boundary then ∂X (with the relative topology)
is an (n − 1)-manifold with empty boundary. In other words ∂∂X = ∅ for all manifolds X.
Proof. Let x ∈ ∂X, we need to show that in ∂X there is a neighborhood Vx of x homeomorphic to Rn−1 . Towards this goal, pick a neighborhood (Ux , ϕx ) of x where ϕx : Ux → H n is a
/ Rn−1 × {0} then there is some ε > 0 such that Bϕx (x) (ε) ⊆ H n .
homeomorphism. If ϕx (x) ∈
But then ϕ−1 (Bϕx (x) (ε)) is a neighborhood of x homeomorphic to Rn which is a contradiction
since we picked x ∈ ∂X. Thus we must have ϕx (x) = (y, 0) for some y ∈ Rn−1 .
Claim: ϕx (Ux ∩ ∂X) = Rn−1 × {0}.
/ Rn−1 × {0} we arrive at
Proof of claim If for some point z ∈ Ux ∩ ∂X we get ϕx (z) ∈
a contradiction in the same way we did with x above. Thus ϕx (Ux ∩ ∂X) ⊆ Rn−1 × {0}.
/ ∂X for some y ∈ Rn−1 . Then ϕ−1 (y, 0) has a
To see the converse, suppose that ϕ−1 (y, 0) ∈
neighborhood homeomorphic to Rn and contained in Ux . Since ϕx is a homeomorphism then
(y, 0) also has a neighborhood (in H n ) homeomorphic to Rn , this however is clearly not the
case. Therefore the claim is proved.
n−1
× {0}. As this is ∂X ∩ Ux it is open in
To finish the proposition, take Vx to be ϕ−1
x (R
n−1
∂X and ϕx |Vx : Vx → R
is a homeomorphism.
Since every point x ∈ ∂X has a neighborhood homeomorphic to Rn−1 , the boundary of
∂X is empty.
The next lemma is used in the proof of the gluing theorem below.
2
Lemma 1.4. Let X1 and X2 be two copies of the upper half space H n and let g : ∂X2 → ∂X1
be a homeomorphism. Then the quotient space X = (X1 ∪ X2 )/P associated to the partition
P = {{x, g(x)}, {y}, {z} | x ∈ ∂X2 , y ∈ X1 − ∂X1 , z ∈ X2 − ∂X2 }
is homeomorphic to Rn .
Proof. Let π : (X1 ∪ X2 ) → X be the quotient map. Given an x ∈ X1 ∪ X2 let us decompose
it as x = (y, t) with y ∈ Rn−1 and t ∈ R. Here t is the n-th coordinate of x, e.g. (y, t) ∈ ∂Xi
precisely when t = 0.
Consider the function ϑ : X → Rn defined by
⎧
; (y, t) ∈ X1
⎨ (y, −t)
ϑ(π(y, t)) =
⎩
(g(y), t)
; (y, t) ∈ X2
We claim this is a homeomorphism. First off, notice that it is well defined since if (y, 0) ∈ ∂X2
then π(y, 0) = π(g(y), 0). But for (g(y), 0) ∈ ∂X1 we also get ϑ(π(g(y), 0)) = (g(y), 0).
It is easy to see that ϑ is a bijection, its inverse if given by
⎧
; t≤0
⎨ π(y, −t)
−1
ϑ (y, t) =
⎩
; t≥0
π(g −1 (y), t)
Proving continuity of ϑ and ϑ−1 is left as an exercise.
Theorem 1.5 (The gluing theorem). Let X1 and X2 be two n-manifolds with boundary and
let h : ∂X2 → ∂X1 be a homeomorphism. Let X be the quotient space
X = (X1 ∪ X2 )/P
associated to the partition P of X1 ∪ X2 given by
P = {{x, h(x)}, {y}, {z} | x ∈ ∂X2 , y ∈ X1 − ∂X1 , z ∈ X2 − ∂X2 }
Then X is a n-manifold without boundary.
Proof. We need to show that each point p ∈ X has a neighborhood homeomorphic to Rn .
Let π : (X1 ∪ X2 ) → X be the quotient map. If p is of the form π(x) for x either in X1 − ∂X1
or X2 − ∂X2 , this is evident. So let’s consider the case of p = π(x) = π(h(x)) with x ∈ ∂X2 .
Let U be a neighborhood of h(x) in X1 and V a neighborhood of x in X2 each homeomorphic to H n via homeomorphisms ϕ : U → H n and ψ : V → H n . For convenience and
without loss of generality let’s assume that ψ(x) = 0 and ϕ(h(x)) = 0.
Pick an ε > 0 small enough to that the ball Ṽ = B0 (ε) satisfies the inclusion
h ◦ ψ −1 (B0 (ε) ∩ ∂H n ) ⊆ U
Such an ε exists since U is an open set. Let g : ∂H n → ∂H n be the homeomorphism
g = ϕ ◦ h ◦ ψ and let g̃ : H n → H n be the homeomorphism
g̃ : H n → H n : (y, t) → (g(y), t)
Note that g̃ is an extension of g. Define Ũ = g̃(Ṽ ). Then both Ũ and Ṽ are homoeomorphic
to H n and g : ∂ Ṽ → ∂ Ũ is a homeomorphism. According to lemma 1.4 the quotient space
(Ũ ∪ Ṽ )/P ∼
= Rn
3
where P is the partition
P = {{x, g(x)}, {y}, {z} x ∈ ∂ Ṽ , y ∈ Ũ − ∂ Ũ , z ∈ Ṽ − ∂ Ṽ }
Let us denote the quotient map by π : Ũ ∪ Ṽ → Rn .
To find the desired chart (W, φ) around p, set W = π ϕ−1 (Ũ ) ∪ ψ −1 (Ṽ ) and define
φ : W → Rn to be
π ◦ ϕ(x)
; x ∈ ϕ−1 (Ũ)
φ(π(x)) =
; x ∈ ψ −1 (Ṽ )
π ◦ ψ(x)
It is straightforward to check that φ is a homeomorphism, this is left as an exercise.
h
X1
U
h(x)
V
x
ϕ
X2
ψ
g̃
g
Ũ
Ṽ
Hn
Hn
π
φ(W )
Rn
Figure 1. A visual presentation of the construction of the chart (W, φ).