\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*{continuously differentiable map}

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

\hypertarget{functional_analysis}{}\paragraph*{{Functional analysis}}\label{functional_analysis}

[[!include functional analysis - contents]]

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

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{finite_dimensions}{Finite Dimensions}\dotfill \pageref*{finite_dimensions} \linebreak
\noindent\hyperlink{infinite_dimensions}{Infinite Dimensions}\dotfill \pageref*{infinite_dimensions} \linebreak
\noindent\hyperlink{convergence_structures}{Convergence Structures}\dotfill \pageref*{convergence_structures} \linebreak
\noindent\hyperlink{chain_rule}{Chain Rule}\dotfill \pageref*{chain_rule} \linebreak
\noindent\hyperlink{higher_derivatives}{Higher Derivatives}\dotfill \pageref*{higher_derivatives} \linebreak
\noindent\hyperlink{smooth_functions}{Smooth Functions}\dotfill \pageref*{smooth_functions} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

Once beyond the realm of [[normed vector spaces]], the various ways of defining [[differentiation]] diverge. This is particularly evident if one considers the slightly stronger notion of \textbf{continuous differentiability} wherein the assignment of the derivative must also be continuous.

One can make a reasonable start by saying that for a function $f \colon E \supseteq U \to F$ to be continuously differentiable then it must at least satisfy the notion of [[Gâteaux differentiability]], and one can throw in the requirement that the assignment of the directional derivative be continuous and linear (this is known as \emph{G\^a{}teaux--L\'e{}vy differentiability}). Thus one obtains a map $D f \colon U \to \mathcal{L}(E,F)$. However, outside the realm of normed vector spaces there is not a unique topology on $\mathcal{L}(E,F)$ and thus one can come up with a variety of meanings for the phrase ``$D f$ is continuous''.

\hypertarget{finite_dimensions}{}\subsection*{{Finite Dimensions}}\label{finite_dimensions}

Let us remind ourselves of the situation in finite dimensions.

\begin{defn}
\label{ctsd}\hypertarget{ctsd}{}
A function $f \colon \mathbb{R}^m \supseteq U \to \mathbb{R}^n$, where $U$ is open, is said to be \textbf{continuously differentiable}, or of class $C^1$, if there is a continuous map $D f \colon U \to \mathcal{L}(\mathbb{R}^m, \mathbb{R}^n)$ with the property that for each $x \in U$ and $h \in \mathbb{R}^m$ then

\begin{displaymath}
\lim_{t \to 0} \frac{f(x + t h) - f(x) - t D f(x)h}{t} = 0
\end{displaymath}
\end{defn}
Note that for $x \in U$ and $h \in \mathbb{R}^n$ there is an open interval $(-\epsilon,\epsilon)$ with the property that for $t \in (-\epsilon,\epsilon)$ then $x + t h \in U$ and so the limit makes sense.

\hypertarget{infinite_dimensions}{}\subsection*{{Infinite Dimensions}}\label{infinite_dimensions}

In infinite dimensions the difficulty with extending the standard definition is that of the topology on continuous linear maps. This becomes more evident with higher derivatives. Thus the definition depends on such a choice. In addition, one needn't use a topology but can make sense of the definition with a [[convergence structure]] on the space of linear maps.

\begin{defn}
\label{ctsdinf}\hypertarget{ctsdinf}{}
Let $E$ and $F$ be [[locally convex topological vector spaces]]. Let $U \subseteq E$ be an open set. Let $\mathcal{L}(E,F)$ be the space of continuous linear maps from $E$ to $F$. Let $\Lambda$ be a [[convergence structure]] on $\mathcal{L}(E,F)$. A continuous function $f \colon U \to F$ is said to be \textbf{differentiable of class $C^1_\Lambda$} if there exists a continuous mapping $D f \colon U \to \mathcal{L}_\Lambda(E,F)$, called the \textbf{derivative} of $f$, such that for every $x,h \in U \times E$ then

\begin{displaymath}
\lim_{t \to 0} \frac{f(x + t h) - f(x)}{t} = D f(x) h
\end{displaymath}
We define $C^1_\Lambda(X,F)$ to be the set of functions $f \colon X \to F$ which are of class $C^1_\Lambda$.

\end{defn}
\hypertarget{convergence_structures}{}\subsection*{{Convergence Structures}}\label{convergence_structures}

There are a variety of convergence structures and topologies on $\mathcal{L}(E,F)$ that can be used. Some of them with particular properties are gathered in the list below. For these, the notation is condensed slightly as indicated.

In the following, given [[semi-norms]] $\alpha$ on $E$ and $\beta$ on $F$ we define a semi-norm $\rho_{\beta,\alpha}$ on $\mathcal{L}(E,F)$ by

\begin{displaymath}
\rho_{\beta,\alpha}(u) \coloneqq \sup \{\beta(u h) | \alpha(h) \le 1\}
\end{displaymath}
\begin{enumerate}%
\item $C^1_\Theta$: the translation-invariant convergence structure with filters:

$\mathcal{F} \to 0$ if there is a semi-norm $\alpha$ on $E$ such that for each semi-norm $\beta$ on $F$ and $\epsilon \gt 0$ there is some $Q \in \mathcal{F}$ with $\sup_{u \in Q} \rho_{\beta,\alpha}(u) \le \epsilon$.


\item $C^1_\Delta$: (Marinescu's convergence structure) the colimit in the category of [[convergence vector spaces]] of the following family of spaces. Let $\Phi$ denote the family of mappings from the set of continuous semi-norms on $F$ to that on $E$. For $\phi \in \Phi$ define:



\end{enumerate}
\begin{displaymath}
\mathcal{L}_\phi(E,F) \coloneqq \{ u \in \mathcal{L}(E,F) | \rho_{\beta,\phi(\beta)} \lt \infty\; \text{for all}\; \beta\}
\end{displaymath}
\begin{enumerate}%
\item $C^1_\Pi$: the compatible convergence structure with filters:

$\mathcal{F} \to 0$ if for each semi-norm $\beta$ on $F$ there is a semi-norm $\alpha$ on $E$ such that for each $\epsilon \gt 0$ there is some $Q \in \mathcal{F}$ with $\sup\{\rho_{\beta,\alpha}(u) | u \in Q\} \le \epsilon$.


\item $C^1_{q b}$: the \emph{quasi-bounded} convergence structure. This has filters:

$\mathcal{F} \to 0$ if $\mathcal{F}(\mathcal{B}^n) \to 0$ for every quasi-bounded filter $\mathcal{B}$ on $E$.

Recall that a filter $\mathcal{B}$ on $E$ is \emph{quasi-bounded} if $\mathcal{V} \cdot \mathcal{B} \to 0$ where $\mathcal{V}$ is the neighbourhood filter of $0$ in $\mathbb{R}$.


\item $C^1_c$: the \emph{continuous convergence structure}. This is the coarsest convergence structure on $\mathcal{L}(E,F)$ which makes the evaluation map $\mathcal{L}(E,F) \times E \to F$ continuous.


\item $C^1_{\mathcal{S}}$: the topology of uniform convergence on a family $\mathcal{S}$ of [[bounded subsets]] of $E$, in particular:

\begin{enumerate}%
\item $C^1_b$: the topology of uniform convergence on [[bounded subsets]] of $E$,
\item $C^1_{p k}$: the topology of uniform convergence on [[precompact subsets]] of $E$,
\item $C^1_k$: the topology of uniform convergence on compact subsets of $E$,
\item $C^1_s$: the topology of uniform convergence on finite subsets of $E$.

\end{enumerate}


\end{enumerate}
The relationships between the various definitions of $C^1_?$ are displayed in the following diagram.

Let us extract some particular cases:

\begin{enumerate}%
\item $E$ normable, $F$ arbitrary:\begin{enumerate}%
\item $C^1_\Theta$, $C^1_\Delta$, $C^1_\Pi$, $C^1_{q b}$, $C^1_b$ are equivalent
\item $C^1_c$, $C^1_{p k}$, $C^1_k$ are equivalent

\end{enumerate}

\item $E$ Banach space, $F$ arbitrary:\begin{enumerate}%
\item $C^1_\Theta$, $C^1_\Delta$, $C^1_\Pi$, $C^1_{q b}$, $C^1_b$ are equivalent
\item $C^1_c$, $C^1_{p k}$, $C^1_k$, $C^1_s$ are equivalent

\end{enumerate}

\item $E$ Fr\'e{}chet space, $F$ arbitrary:\begin{enumerate}%
\item $C^1_{q b}$, $C^1_b$ are equivalent
\item $C^1_c$, $C^1_{p k}$, $C^1_k$, $C^1_s$ are equivalent

\end{enumerate}

\item $E$ Fr\'e{}chet--Schwartz, $F$ arbitrary: $C^1_\Pi$, $C^1_{q b}$, $C^1_c$, $C^1_b$, $C^1_{p k}$, $C^1_k$, $C^1_s$ are equivalent
\item $E$ finite dimensional and $F$ arbitrary, or $E$ Fr\'e{}chet--Schwartz and $F$ normable: All equivalent

\end{enumerate}
\hypertarget{chain_rule}{}\subsection*{{Chain Rule}}\label{chain_rule}

An important question to ask of the various definitions of continuously differentiable is whether they satisfy the chain rule. The following result provides the basis for this.

\begin{lemma}
\label{lemchain}\hypertarget{lemchain}{}
Let $E$, $F$, $G$ be LCTVS, let $U \subseteq E$ and $V \subseteq F$ be open sets, let $\Lambda$ and $\Lambda'$ be convergence structures on $\mathcal{L}(E,F)$ and $\mathcal{L}(E,G)$ respectively.

Assume that the composition map:

\begin{displaymath}
\mathcal{L}_k(F,G) \times \mathcal{L}_\Lambda(E,F) \to \mathcal{L}_{\Lambda'}(E,G)
\end{displaymath}
is continuous.

Let $f \colon U \to F$ and $g \colon V \to G$ be functions with $f(U) \subseteq V$. Suppose that $f$ is of class $C^1_\Lambda$ and $g$ of class $C^1_k$. Then $g \circ f$ is of class $C^1_{\Lambda'}$.

\end{lemma}
\begin{cor}
\label{corchain}\hypertarget{corchain}{}
The chain rule holds for each of $C^1_c$, $C^1_{q b}$, $C^1_\Pi$, $C^1_\Delta$, $C^1_\Theta$.

The following partial chain rules also hold:

\begin{enumerate}%
\item $C^1_\Pi(F,G) \times C^1_{\mathcal{S}}(E,F) \to C^1_{\mathcal{S}}(E,G)$
\item If $E$ is metrisable, $C^1_k(F,G) \times C^1_s(E,F) \to C^1_s(E,G)$
\item If $E$ is metrisable, $C^1_k(F,G) \times C^1_k(E,F) \to C^1_k(E,G)$

\end{enumerate}
\end{cor}
\hypertarget{higher_derivatives}{}\subsection*{{Higher Derivatives}}\label{higher_derivatives}

A minor wriggle enters the story with higher derivatives due to the fact that the higher derivatives are multilinear maps $E^n \to F$ and so not only are there different notions of convergence to put on these spaces, there are also different possible meanings of the statement that these are continuous. When dealing with one of the topologies (defined by some family of bounded sets), we will end up with derivatives in $\mathcal{H}^n_{\mathcal{S}}(E,F)$ rather than $\mathcal{L}^n_{\mathcal{S}}(E,F)$ in the notation of [[continuous multilinear operator]].

However, we can start with a very weak notion to get the ball rolling. Let $L^n(E,F)$ be the space of all (not necessarily continuous) $n$-linear maps $E^n \to F$. We equip it with the topology of simple convergence.

\begin{defn}
\label{wdiff}\hypertarget{wdiff}{}
Let $E$ and $F$ be LCTVS, $U \subseteq E$ an open subset, $p \in \mathbb{N}$. A function $f \colon U \to F$ is said to be \textbf{weakly $p$-times differentiable} if there exist functions $D^k f \colon U \to L^k(E,F)$ for $k = 0, 1, \dots, p$ such that $D^0 f = f$ and for each $x \in U$, $h \in E$, and $k = 0, 1, \dots, p-1$ then

\begin{displaymath}
\lim_{t \to 0} \frac{D^k f(x + t h) - D^k f(x)}{t} = D^{k+1} f(x)h.
\end{displaymath}
\end{defn}
Note that we don't assume that the $D^k f$ are continuous. If some are continuous then some nice properties ensue. For example, if $D^p f$ is continuous then each $D^k f$ for $k \le p$ is totally symmetric.

From the definition of weakly $p$-times differentiable we can define the various classes of continuously $p$-times differentiable. For the definition of $\mathcal{H}^n_{\mathcal{S}}(E,F)$ see the page on [[continuous multilinear operator]].

\begin{defn}
\label{chdiff}\hypertarget{chdiff}{}
Let $E$ and $F$ be LCTVS, $U \subseteq E$ an open subset, $p \in \mathbb{N}$. Let $\mathcal{S}$ be a family of bounded sets in $E$ which covers $E$. A function $f \colon U \to F$ is said to be \textbf{differentiable of class $C^p_{\mathcal{S}}$} if $f$ is weakly $p$-times differentiable and such that for $k = 0,1,\dots, p$ then:

\begin{enumerate}%
\item $D^k f(U) \subseteq \mathcal{H}^k_{\mathcal{S}}(E,F)$, and
\item $D^k f \colon U \to \mathcal{H}^k_{\mathcal{S}}(E,F)$ is continuous.

\end{enumerate}
\end{defn}
Using convergence structures, we have:

\begin{defn}
\label{cvdiff}\hypertarget{cvdiff}{}
Let $E$ and $F$ be LCTVS, $U \subseteq E$ an open subset, $p \in \mathbb{N}$. Let $\Lambda$ be one of the convergence structures $\Lambda_c$, $\Lambda_{q b}$, $\Pi$, $\Delta$, or $\Theta$ on $\mathcal{L}^p(E,F)$. A function $f \colon U \to F$ is said to be \textbf{differentiable of class $C^p_{\mathcal{S}}$} if $f$ is weakly $p$-times differentiable and such that for $k = 0,1,\dots, p$ then:

\begin{enumerate}%
\item $D^k f(U) \subseteq \mathcal{L}^k_{\Lambda}(E,F)$, and
\item $D^k f \colon U \to \mathcal{L}^k_{\Lambda}(E,F)$ is continuous.

\end{enumerate}
\end{defn}
For fixed $p$, the relationships between the various $C^p_?$ are the same as for $p = 1$. For varying $p$ we have:

\begin{lemma}
\label{diffp}\hypertarget{diffp}{}
Let $E$ and $F$ be LCTVS, $U \subseteq E$ an open set. If $f \colon U \to E$ is of class $C^{p+1}_c$ then $f$ is of class $C^p_\Pi$. Whence we have:

\begin{displaymath}
C^{p+1}_c(X,F) \subseteq C^p_\Pi(X,F) \subseteq C^p_{q b}(X,F) \subseteq C^p_b(X,F)
\end{displaymath}
If $E$ is metrisable (resp. Fr\'e{}chet) and $f$ is of class $C^{p+1}_k$ (resp. $C^{p+1}_s$) then $f$ is of class $C^p_\Pi$.

\end{lemma}
\hypertarget{smooth_functions}{}\subsection*{{Smooth Functions}}\label{smooth_functions}

We make the obvious definition for a [[smooth function]]:

\begin{defn}
\label{smooth}\hypertarget{smooth}{}
Let $\Lambda$ be one of the convergence structures $\Lambda_s$, $\Lambda_k$, $\Lambda_{p k}$, $\Lambda_b$, $\Lambda_c$, $\Lambda_{q b}$, $\Pi$, $\Delta$, or $\Theta$. A function $f \colon U \to F$ is said to be \textbf{differentiable of class $C^\infty_\Lambda$} if it is of class $C^p_\Lambda$ for all $p \in \mathbb{N}$.

\end{defn}
We have the following table of relationships.

Therefore, for [[Banach spaces]] all the notions of ``smooth function'' collapse, whilst for [[Fréchet spaces]] all of the notions coarser than $\Pi$ collapse.

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

\begin{itemize}%
\item [[continuous function]], [[differentiable function]], \textbf{continuously differentiable function}, [[smooth function]], [[analytic function]]

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

\begin{itemize}%
\item Keller, H. H. (1974). \emph{Differential calculus in locally convex spaces}. Lecture Notes in Mathematics, Vol. 417. Berlin: Springer-Verlag. \href{http://www.ams.org/mathscinet-getitem?mr=440592}{MR0440592}

\end{itemize}
[[!redirects continuous differentiability]] [[!redirects continuously differentiable]] [[!redirects continuously differentiable map]] [[!redirects continuously differentiable maps]] [[!redirects continuously differentiable function]] [[!redirects continuously differentiable functions]]



\end{document}