11 Smooth functions and partitions of unity

Similar documents
Finite dimensional topological vector spaces

Point Set Topology. A. Topological Spaces and Continuous Maps

MA651 Topology. Lecture 6. Separation Axioms.

GROUPS ACTING ON A SET

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

Comments on Quotient Spaces and Quotient Maps

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

6.2 Permutations continued

it is easy to see that α = a

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

SOLUTIONS TO ASSIGNMENT 1 MATH 576

No: Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

1. Prove that the empty set is a subset of every set.

THE BANACH CONTRACTION PRINCIPLE. Contents

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

How To Prove The Dirichlet Unit Theorem

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.

INTRODUCTION TO TOPOLOGY

Introduction to Topology

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

Introduction to Finite Fields (cont.)

Notes on descriptive set theory and applications to Banach spaces. Th. Schlumprecht

SMALL SKEW FIELDS CÉDRIC MILLIET

1 if 1 x 0 1 if 0 x 1

Lecture Notes on Topology for MAT3500/4500 following J. R. Munkres textbook. John Rognes

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup

BANACH AND HILBERT SPACE REVIEW

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line

Practice with Proofs

TOPIC 4: DERIVATIVES

3. Prime and maximal ideals Definitions and Examples.

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

CHAPTER 1 BASIC TOPOLOGY

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

1 Local Brouwer degree

Fixed Point Theorems For Set-Valued Maps

4. Expanding dynamical systems

Notes on metric spaces

The Tangent Bundle. Jimmie Lawson Department of Mathematics Louisiana State University. Spring, 2006

Ideal Class Group and Units

THE DIMENSION OF A VECTOR SPACE

9 More on differentiation

NOTES ON LINEAR TRANSFORMATIONS

Lemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.

Chapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

Introduction to Characteristic Classes

A numerable cover of a topological space X is one which possesses a partition of unity.

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Some other convex-valued selection theorems 147 (2) Every lower semicontinuous mapping F : X! IR such that for every x 2 X, F (x) is either convex and

Galois Theory III Splitting fields.

Tree sums and maximal connected I-spaces

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

P NP for the Reals with various Analytic Functions

Congruence properties of binary partition functions

How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra

INTRODUCTION TO DESCRIPTIVE SET THEORY

The Mean Value Theorem

CODING TRUE ARITHMETIC IN THE MEDVEDEV AND MUCHNIK DEGREES

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich

16.3 Fredholm Operators

On the existence of G-equivariant maps

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

4.6 The Primitive Recursive Functions

minimal polyonomial Example

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

DEFINABLE TYPES IN PRESBURGER ARITHMETIC

A Topology Primer. Preface. Lecture Notes 2001/2002. Klaus Wirthmüller. wirthm/de/top.html

MA4001 Engineering Mathematics 1 Lecture 10 Limits and Continuity

A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE

26 Ideals and Quotient Rings

Discrete Mathematics. Hans Cuypers. October 11, 2007

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov

2.3 Convex Constrained Optimization Problems

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao

A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT

o-minimality and Uniformity in n 1 Graphs

Cardinality. The set of all finite strings over the alphabet of lowercase letters is countable. The set of real numbers R is an uncountable set.

Math 4310 Handout - Quotient Vector Spaces

x < y iff x < y, or x and y are incomparable and x χ(x,y) < y χ(x,y).

FIBER PRODUCTS AND ZARISKI SHEAVES

Finite covers of a hyperbolic 3-manifold and virtual fibers.

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples

On the Palis Conjecture

Separation Properties for Locally Convex Cones

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY

Connectivity and cuts

INTRODUCTORY SET THEORY

Metric Spaces. Chapter Metrics

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

A domain of spacetime intervals in general relativity

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE

Transcription:

11 Smooth functions and partitions of unity 11.1 Smooth functions Example 11.1 The function θ : R R given by and θ(t) = 0, t 0 θ(t) = e 1/t, t > 0 is smooth and all its derivatives are 0 at t = 0. In particular it is not represented by its Taylor series at 0. The open cube C(r) is defined as follows. Definition 11.2 The closure of C(r) is denoted C(r). C(r) = {(x 1,...,x n ) R n x i < r i} Lemma 11.3 There exists a smooth function h : R n R with 1. 0 h(x) 1 2. h(x) = 1, x C(1) 3. h(x) = 0, x / C(2) Remark 11.4 The function h is called the bump function. Proof: Define φ(x) = θ(x) θ(x) + θ(1 x). Then φ(x) = 1 for x > 1 and φ(x) = 0 for x 0. Define ψ : R R by ψ(x) = φ(x + 2)φ(2 x). Then ψ(x) = 1, x 1 while ψ(x) = 0, x 2. Thus define h(x 1,...,x n ) = ψ(x 1 )...ψ(x n ). 43

Definition 11.5 The support of a smooth function f : M R is the closure of the set of points x M where f(x) 0. Consequences of existence of the function h: Proposition 11.6 Let M be a smooth manifold and let (U, φ) be a chart in an atlas for M. There exists a smooth function f : M R with f(m) [0, 1] and Supp(f) U, and f(x) = 1 on a neighbourhood of p U. Proof: For a point p U choose a cubical neighbourhood B R n around φ(p), say {x : φ(p i ) x i < ǫ}. Define α : B C(2) by α(x) = 2 (x φ(p)) ǫ and define f(x) = {h α φ(x), x U φ 1 (B)} and 0 otherwise. Then h : R n R, h(x) = 1 if x i 1 for all i, and h(x) = 0 if x i 2 for some i. Definition 11.7 A partition of unity subordinate to an open cover {U α } of M is a collection of smooth functions f γ : M R such that 1. For all γ, Supp(f γ ) U α for some α (here Suppf γ is the closure of the subset where f γ (x) 0) 2. 0 f γ 1 on M 3. x M there is an open neighbourhood V x of x s.t. there exist only finitely many f γ s.t. Suppf γ V x are nonzero at any points on V x 4. γ f γ(x) = 1 (this sum is finite because of (3)) We shall prove existence of a partition of unity. We require some facts from general topology. Lemma 11.8 Manifolds are regular (in other words if C X is a closed subset, C X and x X C then these can be separated by disjoint open subsets) Let M be a Hausdorff space. 44

Definition 11.9 M is paracompact if 1. M is regular 2. every open cover admits a locally finite refinement Definition 11.10 An open cover {V} is a refinement of the open cover {U} if there exists ı : I V I U (where I V is the indexing set of {V} and similarly for {U}) such that V β I ı(β). Theorem 11.11 Manifolds are paracompact. Proof: There exist compact subsets K 1 K 2... of M such that K r Int(K r+1 and M = r Int(K r ). Let {W i } be a countable base of the topology with each W i compact. K 1 = W 1,..., K r l i=1 W i (let l be the smallest for which this is true) and K r+1 = l W i=1 i. Let {U α } be an open cover: to get a locally finite refinement, choose finitely many V i = U αi covering K 1. Extend this by {U αi } l 2 i=l1 +1 to give an open cover of K 2. M is Hausdorff so K 1 is closed, and V i = U αi K 1 is open, l 1 + 1 l 2 and {V i } l 2 i=l1 +1 is an open cover of K 2. Note that K 1 does not meet V i for i > l 1. By induction we get {V i } such that K r meets only finitely many elements of V r 1. For any x M, x Int(K r ) for some r, there exists a neighbourhood meeting only finitely many elements of V. Definition 11.12 A precise refinement of an open cover {U α } is a locally finite refinement indexed by the same set with V α U α. Proposition 11.13 If M is a paracompact manifold and {U α } is an open cover of M, then this cover has a precise refinement. Proof: There exists a refinement {W k } with j : K A such that Wk U j(k) (since M is regular). Passing to a locally finite refinement of W gives a locally finite refinement V of U with ı : B A with V β U ı(β). The V β are a locally finite family of closed subsets of M. For all α A, define β α := ı 1 (α). V α = β βα V β Because V is locally finite, V α = β Bα V β U α. Definition 11.14 M is normal if whenever A and B are disjoint closed subsets of M, there is an open set U containing A and disjoint from B with Ū B =. Lemma 11.15 Paracompact spaces are normal. 45

Proposition 11.16 (Urysohn s lemma) Suppose M is normal and A and B are closed subsets of M. There exists a smooth function f : M [0, 1] such that f A = 1 and f B = 0. Theorem 11.17 Suppose K is compact and K U for an open set U. Then there exists a smooth function f : R n [0, 1] with f K = 1 and f supported in U. Use Lemma 11.3 to show that Lemma 11.18 If A = (a 1, b 1 )... (a n, b n ) R n then there is a smooth function g A : R n [0, 1) such that g A > 0 on A and g A {R n A} = 0. Proof: (of Theorem) Let K R n be compact and U R n an open neighbourhood of K. For each x K, let A x be an open bounded neighbourhood of x of the form A x = (a 1,x, b 1,x )... (a n,x, b n,x ) with A + x U, x A x. By Lemma 11.18, there is a smooth function g x : R n [0, 1) with g x (y) > 0 for y A x and g x (y) = 0 for y A x. Since K is compact, it is covered by finitely many A x1,...,a xq. Define G = g Ax1 +...+g Axq : R n R. Then G is smooth on R n, G(x) > 0 if x K and supp(g) = A x1... A xq U. Since K is compact, there exists δ > 0 such that G(x) δ for x K. Define our bump function l so it is 0 for t 0 and 1 for t δ. Define f = l G : R n [0, 1]. Then 1. f is smooth 2. supp(f) U 3. f K = 1 Theorem 11.19 There is a partition of unity subordinate to any open cover U. Proof: If V is a refinement of U, then a partition of unity subordinate to V induces one subordinate to U. ı : B U V β U ı(β) {µ β } subordinate to U λ α = β ı 1 (α) So since manifolds are locally compact, WLOG each U α has compact closure in M. µ β. 46

A precise refinement has the property that V α U α is a compact subset. We may use Urysohn s lemma to give f. We choose a precise refinement V with W a precise refinement of V. {γ α } α U satisfy γ α Wα = 1 and supp(γ α ) V α U α. {suppγ α } is locally finite. γ := α γ α is smooth and > 0. Define v α = γ α /γ, which is smooth. The v α are a partition of unity. Applications of partitions of unity: The primary application is integration on manifolds. Let us begin with integration of a function on R n. Assume {U α } is an open cover of R n and consider a partition of unity {f α } subordinate to this open cover. Let g be a smooth function on R n. Then g = ( f α )g = (f α g). R n R n α α U α Application to Whitney embedding theorem: Proposition 11.20 Let X be a compact manifold. Then there is an injective immersion from X into R M for some M. Proof: Construct a covering of X by charts (U α, φ α ), and take a partition of unity {f α } subordinate to the covering {U α }. Since X is compact, WLOG we may assume the number of U α is a finite number M. Then define F : X R M by F(x) = (f 1 (x)φ 1 (x),..., f M (x)φ M (x)) 47