\magnification 2000 \parskip 10pt \parindent 0pt \hoffset -0.3truein \hsize 7truein \def\R{{\bf R}} \def\C{{\bf C}} \def\N{{\bf N}} \def\r{{\bf r}} \def\c{{\bf c}} \def\p{{\bf p}} \def\x{{\bf x}} \def\y{{\bf y}} \def\e{{\bf e}} \def\i{{\bf i}} \def\j{{\bf j}} \def\k{{\bf k}} \def\0{{\bf 0}} \def\a{{\bf a}} \def\emph{} \def\S{\Sigma_{i=1}^n} \def\s{{\sigma}} \def\ep{\epsilon} \def\f{\vskip 10pt} \def\h{\hskip 10pt} \def\u{\vskip -8pt} \def\bh{\hfil \break} $T_p(M) = \{v: G(p) \rightarrow \R ~|~ v $ is linear and satisfies the Leibniz rule $ \}$ $G(p) = \{[g] ~|~ g^{smooth}: U \rightarrow \R$, for some $U^{open}$ such that $p \in U \subset M \}$ $v \in T_p(M)$ is called a {\it derivation} \vskip 5pt \hrule \vskip -5pt Thm: Let $M$ be an $m$-manifold, then $T_p(M)$ is an $m$-dimensional real vector space. Take a chart $(U, \phi)$ at $p$ where $\phi(p) = \0$, The {\it standard basis} for $T_p(M)$ w.r.t.$(U, \phi)$ = $\{v_1, ..., v_m\}$, where $v_i = D_{\alpha_i}$, $\alpha_i: (-\ep, \ep) \rightarrow M$, $\alpha_i(t) = \phi^{-1}(0, ..., t, ..., 0) $ for some $\ep > 0$, and the directional derivative of $[g]$ in direction $[\alpha_i]$ = $$D_{\alpha_i} g = {d(g \circ \alpha_i) \over dt}|_{t = 0} \in \R$$ \eject Suppose $f^{smooth}: M \rightarrow N$, $f(p) = q$. The {\it tangent (or differential) map}, \hfil \break $df_p:T_pM \rightarrow T_qN$, \hfil \break $(df_p(v)) =$ the derivation which takes $[g] \in G(q)$ to the real number $v([g \circ f])$ I.e., $df_p$ takes the derivation $(v:G(p) \rightarrow \R) \in T_pM$ to the derivation in $T_qN$ which takes the germ $[g] \in G(q)$ to the real number $v([g \circ f])$. Proposition: With respect to this choice of basis, the matrix of $% d_{p}f$:~$T_{p}M\rightarrow T_{q}N$ is $({\partial F_{i} \over \partial x_{j}})_{\varphi _{(p)}}$, where $x_{j}$ are coordinates in $\R^{m}$ and $F_{i}=(F_{1},\cdots ,F_{n})$ in coordinates for $% \R^{n}$. \eject: Properties: $D_\alpha$ is linear and satisfies the Liebniz rule. i.e, 1.) $D_{\alpha }(g+h)=D_{\alpha }g+D_{\alpha }h$ 2.) $D_{\alpha }(cg)=cD_{\alpha }g$ 3.) $D_{\alpha }(g\cdot h)=D_{\alpha }g\cdot h(p)+g(p)\cdot D_{\alpha }h$ Here are some more properties of $d_{p}f$ and $T_{p}M$: Let $f$\emph{:}~$M\rightarrow N$ be smooth. 1.) If $f${:}~$M\rightarrow N$ is a diffeomorphism, the $d_{p}f$ is an isomorphism, for all $p\in M$. 2a.) If $d_{p}f=0$ for all $p\in M$ iff $f$ is a constant map. 2b.) If $v$ is a derivation, and $f$ is constant, then $v(f) = 0$ 3.) If $N\cong M/G,$ where $G$ is a discrete Lie group acting properly discontinuously on $M$, and $f$:~$M\rightarrow M/G$ is the orbit map, the $d_{p}f$ is an isomorphism for all $p$. 4.) $T_{(p,q)}(M\times N)\cong T_{p}(M)\times T_{q}(N)$. \eject Rank Theorem: Suppose $A_0 \subset \R^n$, $B_0 \subset \R^m$, $F: A_0 \rightarrow B_0 \in C^1$ $a \in A_0, b \in B_0$. Suppose rank F = $k$. Then there exists $A^{open} \subset A_0$ such that $a \in A$ and $B^{open} \subset B_0$ such that $b \in B$ and $G, H$, $C^r$ diffeomorphisms such that $G: A \rightarrow U^{open} \subset \R^n$, $H: B \rightarrow V^{open} \subset \R^m$ and $$H \circ F \circ G^{-1} (x_1, ..., x_n) = (x_1, ..., x_k, 0, ..., 0)$$ \vskip 5pt \hrule \vskip -5pt Proposition: rank $DF(a) = k$ implies there exists $V$ open such that $a \in V$ and $DF(x) \geq k$ for all $x \in V$ Proof: Rank of $A$ = $dim(span\{\r_1, ..., \r_m\}) = dim(span\{\c_1, ..., \c_m\})$ \rightline{= maximum order of any nonvanishing minor determinant.} Use determinant is a continuous function. \vskip 5pt \hrule \vskip -5pt Thm 6.4 (Inverse Function Theorem): Suppose $F: W^{open} \subset \R^n \rightarrow R^n \in C^r$. Suppose for $a \in W$, $det(DF_a) \not=0$. Then there exists $U$ such that $a \in U^{open}$, $V = F(U)$ is open, and $F: U \rightarrow V$ is a $C^r$-diffeomorphism. Moreover, for $x \in U$ and $y = F(x)$, $DF^{-1}_y = (DF_x)^{-1}$ \end 3.4 1, 4, 8, 10, 12, 13, 21, 24