Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Nonlinear Equations - UFRJ
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
36 [CH. 3: TOPOLOGY AND ZERO COUNTING<br />
of charts X α : U α → M covering M, such that whenever V α ∩V β ≠ ∅,<br />
det(D ( )<br />
Xα −1 X β x ) > 0 for all x ∈ U β ∩ X −1<br />
β<br />
(V α).<br />
An orientation of M defines orientations in each T p M. A manifold<br />
admitting an orientation is said to be orientable. If M is orientable<br />
and connected, an orientation in one T p M defines an orientation in<br />
all M.<br />
A 0-dimensional manifold is just a union of disjoint points. An<br />
An orientation for a zero-manifold is an assignment of ±1 to each<br />
point.<br />
If M is an oriented manifold and ∂M is non-empty, the boundary<br />
∂M is oriented by the following rule: let p ∈ ∂M and assume a<br />
parameterization X : U ∩ H m − → M. With this convention we choose<br />
the sign so that u = ± ∂X<br />
∂x n<br />
is an outward pointing vector. We say<br />
that X |U∩[xm=0] is positively oriented if and only if X is positively<br />
oriented.<br />
The following result will be used:<br />
Proposition 3.4. A smooth connected 1-dimensional manifold (possibly)<br />
with boundary is diffeomorphic either to the circle S 1 or to a<br />
connected subset of R.<br />
Proof. A parameterization by arc-length is a parameterization X :<br />
U → M with<br />
∥ ∥∥∥ ∂X<br />
∂x 1<br />
∥ ∥∥∥<br />
= 1.<br />
Step 1: For each interior point p ∈ M, there is a parameterization<br />
X : U → V ∈ M by arc-length.<br />
Indeed, we know that there is a parameterization Y : (a, b) →<br />
V ∋ p, Y (0) = p.<br />
For each q = Y (c) ∈ V , let<br />
{ ∫ c<br />
t(q) =<br />
0 ‖Y ′ (t)‖dt if c ≥ 0<br />
− ∫ 0<br />
c ‖Y ′ (t)‖dt if c ≤ 0<br />
The map t : V → R is a diffeomorphism of V into some interval<br />
(d, e) ⊂ R. Let U = (d, e) and X = Y ◦ t −1 . Then X : U → M is a<br />
parameterization by arc length.<br />
Step 2: Let p be a fixed interior point of M. Let q be an arbitrary<br />
point of M. Because M is connected, there is a path γ(t) linking p