\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{derivations of smooth functions are vector fields}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{differential_geometry}{}\paragraph*{{Differential geometry}}\label{differential_geometry}

[[!include synthetic differential geometry - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{ideap}{Ideap}\dotfill \pageref*{ideap} \linebreak
\noindent\hyperlink{statements}{Statements}\dotfill \pageref*{statements} \linebreak
\noindent\hyperlink{related_theorems}{Related theorems}\dotfill \pageref*{related_theorems} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{ideap}{}\subsection*{{Ideap}}\label{ideap}

On a [[smooth manifold]] $X$ the smooth [[tangent vector fields]] $v \in \Gamma_X(T X)$ are geometrically defined as smoothly varying collections of smooth [[paths]] $\gamma_x \colon \mathbb{R}^1 \to X$ through every point $x \in X$ (i.e. $\gamma(0) = x$), with two such paths regarded as equivalent if their first [[derivative]] $v_x \in T_x X$ at $x$, seen in any [[chart]], coincides.

By pre-composing a [[smooth function]] $f \colon  X \longrightarrow \mathbb{R}^1$ which such a path, we obtain a function $f\circ \gamma_x \;\colon\; \mathbb{R}^1 \to \mathbb{R}^1$ from the [[real line]] to itself. Therefore its [[derivative]]

\begin{displaymath}
(D_v f)(x) \coloneqq  d (f \circ \gamma)_0
\end{displaymath}
may be identified with a [[real number]] (measuring the rate of change of $f$ along $\gamma$ at $x$ to first order). Since $\gamma_x$, or rather its derivative $v_x \in T_x X$, is assumed to depend smoothly on $x$, this defines a new smooth function

\begin{displaymath}
D_v f \;\colon\; X \longrightarrow \mathbb{R}^1
  \,.
\end{displaymath}
Due to the [[product rule]] of differentiation, this assignment $f \mapsto D_v f$ is such that for $f,g \in C^\infty(X)$ two smooth functions, with pointwise product function $f \cdot g$ then

\begin{displaymath}
D_v(f \cdot g)
  \;=\;
  D_v(f) \cdot g + f \cdot D_v(g)
  \,.
\end{displaymath}
This means that $D_v \;\colon\; C^\infty(X) \to C^\infty(X)$ is a \emph{[[derivation]]} on the algebra of smooth functions.

Remarkably, \emph{all} derivations on $C^\infty(X)$ arise this way, and for a unique vector field $v \in \Gamma_X(T X)$:

\begin{displaymath}
\left\{
    \itexarray{
      \text{derivations on}
      \\
      \text{algebra of smooth functions}
      \\
      \text{on}\, X
    }
  \right\}
  \;\simeq\;
  \left\{
     \itexarray{
        \text{smooth}
        \\
        \text{tangent vector fields}
        \\
        \text{on}\, X
     }
  \right\}
\end{displaymath}
This is prop. \ref{Statement} below. What makes this work is the \emph{[[Hadamard lemma]]}, see the \hyperlink{Proof}{proof} below for details.

Notice that the concept of derivations is purely a concept of [[algebra]], with no input from the [[topology]] and [[differential geometry]] that goes into the definition and construction of smooth manifolds and their tangent bundles. Therefore the identification of smooth vector fields with derivations is an algebraic incarnation of an aspect of differential geometry, an identification comparable two two other such phenomena:

\begin{itemize}%
\item the [[embedding of smooth manifolds into formal duals of R-algebras]] -- which identifies smooth manifolds themselves with the [[formal dual]] of their real algebras of smooth functions;


\item the [[smooth Serre-Swan theorem]] which identifies [[smooth vector bundles]] over a smooth manifold with the [[projective modules]] of the algebra of smooth functions.



\end{itemize}
These statements mean that [[differential geometry]] has more in common with [[algebraic geometry]] than is manifest from the traditional definitions. This serves as the bases for the definition of [[formal smooth manifolds]] and the theory of [[synthetic differential geometry]]. For more exposition of this relation see at \emph{[[geometry of physics -- supergeometry]]}.

Beware however that related algebraic properties familiar from [[affine schemes]] may break in differential geometry: For the [[Kähler differential forms]] of $C^\infty(X)$ to come out as the expected smooth [[differential forms]] one needs to refine the plain $\mathbb{R}$-[[commutative algebra]] $C^\nfty(X)$ to the structure of a \emph{[[smooth algebra]]}. See at \emph{[[Kähler differential forms]]} for discussion of this issue.

\hypertarget{statements}{}\subsection*{{Statements}}\label{statements}

\begin{theorem}
\label{Statement}\hypertarget{Statement}{}
Let $X$ be a [[smooth manifold]].

Write

\begin{enumerate}%
\item $C^\infty(X)$ for its real [[algebra of functions|algebra]] of [[smooth functions]] $X \to \mathbb{R}^1$ (under pointwise multiplication);


\item $\Gamma_X(T X)$ for the [[real vector space]] of smooth [[tangent vector fields]] on $X$, hence the space of smooth [[sections]] of the [[tangent bundle]] $T X$ of $X$, regarded as a [[smooth vector bundle]].



\end{enumerate}
1, $Der(C^\infty(X))$ for the [[real vector space]] of $\mathbb{R}$-linear [[derivations]] of the $\mathbb{R}$-algebra $C^\infty(X)$

Then:

\begin{enumerate}%
\item The operation of [[differentiation]] with respect to a [[vector field]] is a [[derivation]] of $C^\infty(X)$.


\item Every [[derivation]] on $C^\infty(X)$ arises this way, for a unique vector field.



\end{enumerate}
Hence there is an [[isomorphism]]

\begin{displaymath}
D_{(-)}
    \;\colon\;
  \Gamma_X(T X) \stackrel{\simeq}{\longrightarrow} Der(C^\infty(X))
  \,.
\end{displaymath}
\end{theorem}
\begin{proof}
First to discuss that vector fields induce derivations. Let $v \in \Gamma_X(T X)$ be a smooth tangent vector field.

This means first of all that for each $x \in X$ there is a [[smooth function]] $\gamma_x \;\colon\; \mathbb{R}^1 \longrightarrow X$ such that

\begin{enumerate}%
\item $\gamma_x(0) = x$


\item $d \gamma_x_0 = v_x \in T_x X$.



\end{enumerate}
Then for $f \colon X \to \mathbb{R}^1$ a smooth function, define a new function

\begin{displaymath}
D_v(f) \;\colon\; X \longrightarrow \mathbb{R}^1
\end{displaymath}
by

\begin{displaymath}
(D_v(f))(x) \coloneqq d (f \circ \gamma_x)_0 = \frac{d}{d t} (f(\gamma_x(t)))\vert_{t = 0}
  \,.
\end{displaymath}
By the linearity of differentation we have for $c \in \mathbb{R}$ that $D_v(c \cdot f) = c \cdot D_v(f)$. Moreover, by the [[product rule]] for differentiation we have for $f,g \in C^\infty(X)$ two smooth functions, that

\begin{displaymath}
\begin{aligned}
    D_v( f \cdot g)
    & =
    \frac{d}{d t}( (f \cdot g)(\gamma(t)) )\vert_{t = 0}
    \\
    & =
    \frac{d}{ d t}( f(\gamma_x(t)) \cdot g(\gamma_x(t)) )\vert_{t = 0}
    \\
    & =
    \left( \frac{d}{d t}  f(\gamma_x(t))\vert_{t = 0}  \right) \cdot g(\gamma_x(0))
    + 
    f(\gamma_x(0)) \cdot   
    \left(
      \frac{d}{d t} g(\gamma(t))\vert_{t = 0}
    \right)
    \\
    &
    =
    (D_v(f) \cdot g + f \cdot D_v(g))(x) 
  \end{aligned}
  \,.
\end{displaymath}
Therefore it only remains to check that the function $D_v(f)$ is a smooth function in the first place.

Let

\begin{displaymath}
\left\{ \mathbb{R}^n \underoverset{\simeq}{\phi_i}{\to} U_i \subset X \right\}
\end{displaymath}
be an [[atlas]] that exhibits the [[smooth structure]] of $X$, hence an [[open cover]] by subsets equipped with a [[diffeomorphism]] $\phi_i$ from a [[Cartesian space]] $\mathbb{R}^n$ with its standard smooth structure.

By definition of the [[tangent bundle]] $T X$, its restriction to any [[chart]] of this atlas is given by a diffeomorphism $\psi_i$ as in the following diagram

\begin{displaymath}
\itexarray{
    \mathbb{R}^n \times \mathbb{R}^n
      && \underoverset{\simeq}{\psi_i}{\longrightarrow} && 
    T X\vert_{U_i}
    \\
    & {}_{\phi_i \circ \mathllap{pr_1}}\searrow && \swarrow_{p\vert_{U_i}}
    \\
    && U_i
  }
  \,.
\end{displaymath}
For $D_v(f) \colon X \to \mathbb{R}^1$ to be continuous and smooth, it is sufficient to see that its restrictions

\begin{displaymath}
D_v(f) \circ \psi_i
\end{displaymath}
are continuous and smooth, for all $i \in I$. (For continuity this follows by \href{Top#ClosedSubspacesGluing}{this example} and for differentiability this is clear from the fact that derivatives at any point may be computed in an arbitrary open neighbourhood).

With respect to this chart the tangent vector field $v \in \Gamma_X(T X)$ is given by a smooth function

\begin{displaymath}
v_i
  \;\coloneqq\; 
  pr_2 \circ \psi_i^{-1}(v \vert_{U_i}) 
  \;\colon\;
  U_i
    \longrightarrow
  \mathbb{R}^n
\end{displaymath}
By the identification of tangent vectors on $\mathbb{R}^n$ with elements of $\mathbb{R}^n$, these tangent vectors are represented by straight smooth curves (\href{Introduction+to+Topology+--+1EuclideanSpaceTangentBundle}{this remark}):

\begin{displaymath}
\gamma_{x, i}
  \;\colon\;
  t
  \mapsto
  \phi_i^{-1}(x) + t \cdot v_i(x)  
  \,.
\end{displaymath}
and for $f_i \coloneqq f \circ \phi_i \;\colon\; \mathbb{R}^n \to \mathbb{R}^1$ the restriction of the given smooth function, we have, by the [[chain rule]]

\begin{displaymath}
\frac{d}{d t} ( f_i(\gamma_{x,i}(t)) )\vert_{t = 0}
  =
  \sum_{k = 1}^n (v_i)^k(x) \cdot \frac{\partial f_i(y)}{\partial y^k}\vert_{y = x}
  \,.
\end{displaymath}
(Here and in the following we are writing $(-)^k$ for the $k$th component of an element of $\mathbb{R}^n$.)

This is the value of a function at $x$ with is the sum over the product of two smooth functions, namely the component functions $(v_i)^k$ of the smooth section in the given chart, and the derivatives of $f_i$ (which are functions by the assumption that $f$ is smooth).

This shows that $D_v(f)$ is a smooth function.

Now for the converse. Let $D \in Der(\C^\infty(X))$ be a derivation, we need to show that it arises on each chart $\phi_i$ from smooth vector field $v_i$ as above.

The [[Hadamard lemma]] gives that every [[smooth function]] $f_i \colon \mathbb{R}^n \to \mathbb{R}^1$ may be written for each point $x \in \mathbb{R}^n$ as

\begin{displaymath}
f(y) = f(y-x) + \sum_{k = 0}^n (y^k - x^k) \cdot g_{x,k}(y)
\end{displaymath}
for smooth functions

\begin{displaymath}
\{g_k \in C^\infty(\mathbb{R}^n)\}_{k \in \{1,\cdots, n\}}
\end{displaymath}
satisfying

\begin{displaymath}
g_{x,k}(x) = \frac{\partial f(y)}{\partial y^k}\vert_{y = x}
  \,.
\end{displaymath}
Now by the derivation property we have

\begin{displaymath}
\begin{aligned}
    D(f)(x)
    & =
    D
    \left(
       f(0) 
       +
       \sum_{k = 1}^n  ((-)^k - x^k) \cdot g_{x,k}(-)
    \right)
    \\
    & =
    \sum_{k = 1}^n 
      \big(
        {(D( (-)^k - x^k ))} \cdot g_{x,k}(-)
        +
         ((-)^k - x^k) \cdot D g_{x,k}(-)  
      \big)(x)
    \\
    & =
    \sum_{k = 1}^n (v_i)^k(x) \cdot \frac{\partial f(y)}{\partial y^k}\vert_{y = x}
  \end{aligned}
  \,.
\end{displaymath}
Here in the last step we \emph{defined}

\begin{displaymath}
(v_i)^k(x) \coloneqq D( (-)^k )(x)
\end{displaymath}
to be the value at $x$ of the function which the derivation produces when applied to the $k$th coordinate function (which is a smooth function of $x$ by definition of $D$), and we used the above property of the $g_{x,k}$ as well as that $(-)^k - x^k$ vanishes at $x$.

This shows that the derivation $D$ comes, in the chart $\phi_i$, from the vector field $v_i$ as above.

\end{proof}
\hypertarget{related_theorems}{}\subsection*{{Related theorems}}\label{related_theorems}

\begin{itemize}%
\item [[embedding of smooth manifolds into formal duals of R-algebras]]


\item [[smooth Serre-Swan theorem]]


\item [[Borel's theorem]]


\item the [[Tietze extension theorem]]


\item the [[Whitney extension theorem]]


\item the [[Steenrod-Wockel approximation theorem]]



\end{itemize}
\hypertarget{references}{}\subsection*{{References}}\label{references}

e.g.:

\begin{itemize}%
\item theorem 3.7 in \href{http://www.math.toronto.edu/mgualt/MAT1300/week9.pdf}{this pdf}

\end{itemize}


\end{document}