This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: After establishing sonte notational conventions vvhich will be used throughout the book. we rvill begin w'ith the notion of a differentiable manifold. These are spaces which are iocally like Euclidean space and which have enough structure so that the basic concepts of calculus can be carried over. In this first chapter we shall primarily be concerned with the analogs and implications fcrr manifolds of the fundamental theorems of differential calculus. Later, in Chapter 4, we shall consider the theory of integration on manifolds. From the notion of directional derivative in Euclidean space we will obtain the notion of a tangent vector to a diffe:rentiable manifold. We will study mappings between manifolds and the effect that mappinqs have on tangent vectors. We niil investrgate the implications fbr mappings of manifolds of the classical inverse and implicit iunction theorems. We will see that the fundantental existence and uniqur:ness theorems for ordinary differential equations translate into existence and uniqueness statements for integral curves of vector {ields. The chapter closes with the Frobenius theorem. which pertains to the existence and Lrniqr:eness of integrai manitblds of rnvolutive distributions on ntanrtblds. PRELIMINARIES 1.1 Some Basic Notation and Terminology Throughout this text we rvill describe sets either b,v listings of their elem,:nts. for example ta, . . . .  a,,\ or by expressions of the form { , r : P } . which denote the set of all .r satislying property P. The expression a e I m e a n s t h a t a i s a n e l e n t e l t o f t h e s e t L I f a s e t A i s a s u b s e t o f a s e t B ( t h a t i s , c e . B r v h e n e v e r a e A ) . w e u ' r i t e A  B . I f A c = B a n d B c : A , t h e n . 4 equals,B, denoted A: B. The negations of e. c and : &r€ denoted by f, f , and I respectivelv. A set y' is aproper subset of,B if A c B but A * B. 2 We will denote the empty stzt by b . We will often denote a collection \un: ae A\ of sets u" indexecl by the set,4 simply by {u,\ tf explicit mention of the index set is not necessaiy. The union of the sets in the collection {(J,: a e A} will be denoted l) (1, or simply l) (1,. Similarly, their Preliminaries q€A (Jo or simply n t/" ( J , : f r a : a b e l o n g s t o s o n r e U " ) . ( J o : { a : a b e i o n g s t o e v e r Y U " } ' g , f: fL(B o C) , D g(f (u)) for every a €f1(B n C)' For notationalnot exclude the case in which f'(B A C): g ' mappings/and g, we shall consider their conrposition with the understanding that the domain of g "/may intersection will be denoted d e f i n e d b y g " J @ ) : convenience, we shall That is, given anY two g "f as being defined, well be the emptY set....
View
Full
Document
This note was uploaded on 02/27/2012 for the course MATH 250A taught by Professor N.r.wallach during the Fall '10 term at Colorado.
 Fall '10
 N.R.Wallach

Click to edit the document details