\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*{kinematic tangent space}

\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{introduction}{Introduction}\dotfill \pageref*{introduction} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\begin{section}
\label{sectiona}\hypertarget{sectiona}{}
\end{section}
\hypertarget{introduction}{}\subsection*{{Introduction}}\label{introduction}

A \emph{kinematic tangent space} of a [[generalized smooth space]] at some point is an equivalence class of smooth [[curves]] through that point, regraded as equivalent if their first [[derivatives]] coincide. This generalizes the notion of [[tangent space]] of a [[differentiable manifold]]. The alternative notion is that of \emph{[[operational tangent space]]} which for differentiable manifolds coincides, but more generally need not.

[[generalized smooth space|Generalised smooth spaces]] are, as the name suggests, generalisations of [[smooth manifolds]]. They share many common properties and constructions with manifolds. One of the most basic constructions applied to manifolds is that of the [[tangent space]]. There are, indeed, several different constructions of tangent spaces, but as can be shown they are all equivalent for smooth manifolds (see \hyperlink{Spivak79}{Spivak 79}, for example). This is no longer true for more general smooth spaces, indeed even for [[Fréchet manifolds]] the various notions are no longer equivalent.

One of the more intuitive definitions of the tangent space of a manifold is as the space of derivatives of smooth curves. Roughly speaking, in this view the tangent space of a manifold at a point is the home of all derivatives of smooth curves through that point. To differentiate this notion from the other definitions, it is sometimes called the \textbf{kinematic tangent space}.

Once we go beyond ordinary smooth manifolds, the kinematic tangent space of a smooth space $X$ may not have some or all of its ``usual'' properties. In particular, it may not even be a [[vector space]]. (If it is then $X$ is also called a \emph{[[microlinear space]]}, at least in the context of [[synthetic differential geometry]] and possibly under some more conditions. ) However, it will always be a kind of \emph{partial} vector space.

It is also possible to define ``higher'' kinematic tangent spaces. This is not done by iterating the construction, but rather by considering a slightly different construction: instead of [[derivatives]] of [[curves]], we can take the second derivative of curves whose first derivative vanishes. For an ordinary manifold, this yields nothing extra as it is merely observing that the tangent space of the zero vector is again the tangent space. However, for more general spaces it can provide more tangent vectors. For example, the kinematic tangent space at $0$ of the space $[0,1)$ is just $\{ 0\}$ because any curve $\alpha$ with $\alpha (0) = 0$ must also have $\alpha '(0) = 0$. But there are curves $\alpha$ with $\alpha (0) = 0$ and $\alpha '(0) = 0$ but $\alpha''(0) \ne 0$. These curves define a tangent vector that ``sees'' the inward direction from $0$.

\begin{section}
\label{sectionb}\hypertarget{sectionb}{}
\end{section}
\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

Unless otherwise specified, we shall assume that we have fixed an arbitrary category of [[generalised smooth space]]. The general construction does not rely on a particular choice, though of course one should be consistent.

\begin{defn}
\label{defna}\hypertarget{defna}{}
Let $X$ be a smooth space. Let $x \in X$ be a point. The \emph{kinematic tangent space} at $x$, written $T_{x} X$, is defined as the set of equivalence classes of smooth curves $\alpha \colon \mathbb{R} \to X$ with the property that $\alpha (0) = x$ under the relation $\alpha \simeq \beta$ if $(f \circ \alpha )'(0) = (f \circ \beta )'(0)$ for all smooth functions $f \colon X \to \mathbb{R}$.

\end{defn}
As mentioned in the introduction, this need not be a [[vector space]]. However, it will always have some of the structure of a vector space. There is a special vector, which we write as $0$ (or $0_{x}$) represented by the constant curve at $x$. And for $v \in T_{x} X$ and $\lambda \in \mathbb{R}$ we can define $\lambda v$ by taking a representative for $v$, say $\alpha$, and letting $\lambda v$ be the equivalence class of $t \mapsto \alpha (\lambda t)$. What fails is the existence of a globally defined addition. It may be defined for a given pair of vectors: for $u, v \in T_{x} X$ we say that the sum $u + v$ exists if, for representatives $\alpha$ and $\beta$ of $u$ and $v$ respectively, there is a smooth curve $\gamma$ with $\gamma (0) = x$ and

\begin{displaymath}
(f \circ \gamma )'(0) = (f \circ \alpha )'(0) + (f \circ \beta )'(0)
\end{displaymath}
for all smooth $f \colon X \to \mathbb{R}$. It follows from the definition that if $u + v$ exists, it is unique. Also, all the identities one would expect from addition hold providing all the terms are defined.

One nice property of the kinematic tangent spaces is that the construction of the analogous tangent \emph{bundle} is straightforward. This is because all of our categories are cocomplete and cartesian closed.

\begin{defn}
\label{defnb}\hypertarget{defnb}{}
Let $X$ be a smooth space. The \emph{tangent bundle} of $X$ is defined to be the quotient of the smooth space $C^{\infty } (\mathbb{R},X)$ by the relation $\alpha \simeq \beta$ if $\alpha (0) = \beta (0)$ and for all smooth $f \colon X \to \mathbb{R}$, $(f \circ \alpha )'(0) = (f \circ \beta )'(0)$.

\end{defn}
If $X$ is \emph{functionally Hausdorff} - that is, smooth functions separate points - then the equivalence class can be written more elegantly as: $\alpha \simeq \beta$ if for all $f \colon X \to \mathbb{R}$ and $i \in \{ 0,1\}$, $(f \circ \alpha )^{(i)}(0) = (f \circ \beta )^{(i)}(0)$.

It should be pointed out at this early stage that when considering the space of tangent vectors at a particular point, say $x \in X$, then there are potentially two smooth structures on this set coming from the above definitions. We have the space $T_{x} X$ defined as the quotient of curves based at $x$ and the space $(T X)_{x}$ defined as the fibre of the full tangent bundle. The inclusion of based curves in all curves descends to a smooth map $T_{x} X \to (T X)_{x}$ which is a bijection on the underlying sets, but this need not be a diffeomorphism.

The definition of the kinematic tangent spaces and bundle are closely related to the alternative definition of the tangent space in terms of derivations (sometimes called the [[operational tangent space]]). One could say that the kinematic tangent space is the space of curves seen through the lens of derivations.

Now if the first derivative of a curve vanishes, then its second derivative acts as a derivation since:

\begin{displaymath}
\begin{aligned}
((f g) \circ \alpha )''(0) &= (f \circ \alpha )''(0) (g \circ \alpha )(0) + 2 (f \circ \alpha )'(0) (g \circ \alpha )'(0) + (f \circ \alpha )(0) (g \circ \alpha )''(0) \\    &= (f \circ \alpha )''(0) (g \circ \alpha )(0) + (f \circ \alpha )(0) (g \circ \alpha )''(0).
\end{aligned}
\end{displaymath}
With this in mind, we can define higher level kinematic tangent spaces.

\begin{defn}
\label{defnc}\hypertarget{defnc}{}
Let $X$ be a smooth space. Let $x \in X$ be a point. Let $k \in \mathbb{N}$. The \emph{$k$th kinematic tangent space} at $x$, written $T_{x,k} X$, is defined as the set of equivalence classes of smooth curves $\alpha \colon \mathbb{R} to X$ with the property that $\alpha (0) = x$ and $(f \circ \alpha )^{(j)}(0) = 0$ for $1 \le j \le k - 1$ and smooth $f \colon X \to \mathbb{R}$. The relation is $\alpha \simeq \beta$ if $(f \circ \alpha )^{(k)}(0) = (f \circ \beta )^{(k)}(0)$ for all smooth functions $f \colon X \to \mathbb{R}$.

The \emph{$k$th kinematic tangent bundle} is defined similarly.

\end{defn}
There is an obvious map $T_{x,k} X \to T_{x,m k} X$ for $m \in \mathbb{N}$ given by precomposition with $t^{m}$. This defines a diagram indexed by the [[poset]] $\mathbb{N}$ with divisibility as the order. We can define the \emph{full} kinematic tangent space at $x$ as the colimit of this diagram.

The structure of the higher kinematic tangent spaces is somewhat complicated. For example, in the second kinematic tangent space then $(-1) \cdot v = v$.

In the following we shall concentrate on the first kinematic tangent space.

\begin{section}
\label{sectionc}\hypertarget{sectionc}{}
\end{section}
\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

In this section, we shall gather various results on kinematic tangent spaces that will be of use elsewhere.

Because the kinematic tangent space is defined using curves, it has nice properties with respect to limits and mapping spaces. However, as it also uses quotients, these properties are not necessarily as nice as they could be.

\begin{prop}
\label{propositiona}\hypertarget{propositiona}{}
Let $X,Y$ be smooth spaces. There is a natural isomorphism $T(X \times Y) \to T X \times T Y$.

\end{prop}
\begin{proof}
\begin{displaymath}
T(X   \times Y) \to T X \times T Y.
\end{displaymath}
For the other direction, we need to consider curves. The result will hinge on the fact that when testing the equivalence relation for curves in $X \times Y$, it is enough to consider functions $X \times Y \to \mathbb{R}$ that factor through one of the projections.

To see this, consider curves $\alpha \colon \mathbb{R} \to X$ and $\beta \colon \mathbb{R} \to Y$ and let $\gamma \colon \mathbb{R} \to X \times Y$ be their product. Let $f \colon X \times Y \to \mathbb{R}$ be a smooth function. The composition $f \circ \gamma$ factors as:

\begin{displaymath}
\mathbb{R} \xrightarrow{\Delta } \mathbb{R} \times \mathbb{R} \xrightarrow{\alpha \times \beta } X \times Y \xrightarrow{f} \mathbb{R}.
\end{displaymath}
Thus the derivative of $f \circ \gamma$, at $0$, factors through the derivative of $(s,t) \mapsto f(\alpha (s),\beta (t))$ at $(0,0)$. As this map is smooth, its derivative agrees with the vector of partial derivatives. As every beginner in calculus knows, to compute the, say, $s$-derivative we ``hold $t$ fixed and vary $s$''. That is to say, we compute the derivative of:

\begin{displaymath}
s \mapsto f(\alpha (s),\beta (0)).
\end{displaymath}
Let $y_{0} = \beta (0)$ and define $g \colon X \to \mathbb{R}$ as $g(x) = f(x,y_{0})$. Then the above function agrees with $g \circ \alpha$. For the other side, let $x_{0} = \alpha (0)$ and define $h \colon Y \to \mathbb{R}$ as $h(y) = f(x_{0},y)$.

Hence

\begin{displaymath}
(f \circ \gamma )'(0) = \begin{bmatrix} (g \circ \alpha )'(0) & (h \circ \beta )'(0) \end{bmatrix} D \Delta _{0}.
\end{displaymath}
From this we see that the map $T (X \times Y) \to T X \times T Y$ is injective. It is clearly surjective, and thus it remains to show that it is a diffeomorphism.

This follows from the fact that they can both be written as quotients of the same space. For this, we use the natural isomorphism $C^{\infty } (\mathbb{R}, X) \times C^{\infty } (\mathbb{R},Y) \cong C^{\infty } (\mathbb{R}, X \times Y$.

\end{proof}
For mapping spaces, we have an obvious map in one direction. A tangent vector at a map is an infinitesimal deformation of that map. Evaluation yields deformations at each point which fit together to give a family of deformations. A simple diagram chase shows that everything involved is smooth.

\begin{prop}
\label{propositionb}\hypertarget{propositionb}{}
Let $S, X$ be smooth spaces. There is a natural transformation $TC^{\infty } (S, X) \to C^{\infty } (S,T X)$.

\end{prop}
\begin{proof}
\begin{displaymath}
T (S \times C^{\infty } (S,X)) \to T X.
\end{displaymath}
We can compose that with the natural isomorphism from Proposition~\hyperlink{propositiona}{1} to obtain:

\begin{displaymath}
T S \times T C^{\infty } (S,X) \to T X.
\end{displaymath}
Composing this with the zero section on $T S$ yields:

\begin{displaymath}
S \times T C^{\infty } (S,X) \to T X.
\end{displaymath}
Whereupon the adjunction comes in to play to produce:

\begin{displaymath}
T C^{\infty } (S,X) \to C^{\infty } (S, T X)
\end{displaymath}
as required.

\end{proof}
\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[operational tangent bundle]]


\item [[synthetic tangent bundle]]



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

\begin{itemize}%
\item \textbf{Spi79} [[Michael Spivak]], \emph{A comprehensive introduction to differential geometry} Vol. I. Wilmington, Del., 1979.

\end{itemize}
[[!redirects kinematic tangent spaces]] [[!redirects kinematic tangent bundle]] [[!redirects kinematic tangent bundles]]



\end{document}