查看“︁弗雷歇导数”︁的源代码

{{NoteTA
|G1=Math
|1=zh-hans:复;zh-hant:複;
}}
数学中，'''弗雷歇导数'''是在[[赋范向量空间]]上定义的[[导数]]。这个名称得自法国数学家[[莫里斯·弗雷歇]]，通常用于将单个实变量的实值函数的导数推广到多个实变量的[[向量值函数]]的情况，并且用于定义变分法中广泛应用的[[泛函导数]]。

一般来说，它将导数的概念从实值函数的一维情况推广到赋范空间上的函数。弗雷歇导数应与[[加托導數|加托导数]]相对比，后者是经典方向导数的推广。

弗雷歇导数在数学分析和物理科学中的非线性问题中有广泛应用，特别是在变分法、非线性分析和非线性泛函分析中。

== 定义 ==
设 <math>V</math> 和 <math>W</math> 是[[賦範向量空間|赋范向量空间]]，并且有[[开集]] <math>U\subseteq V</math> 。一个映射 <math>f : U \to W</math> 称为是在 <math>x \in U</math> 「弗雷歇可微」的，若存在[[有界算子|有界线性算子]] <math>A:V\to W</math> 使得<math display="block">\lim_{\|h\| \to 0} \frac{\| f(x + h) - f(x) - Ah\|_W}{\|h\|_V} = 0.</math>这里的[[极限 (数学)|极限]]是指通常意义上的度量空间[[函數極限|函数极限]]（参见{{Tsl|en|limit of a function#Functions on metric spaces|度量空间上的函数}}和[[极限点]]）， <math>V</math> 和 <math>W</math> 充当了两个度量空间，上面的表达式则作为从 <math>V</math> 中取值的 <math>h</math> 的函数。因此，对于 <math>V</math> 中非零元素构成的、收敛到零向量（ <math>h_n \to 0</math> ）的任一[[序列]] <math>\langle h_n\rangle_{n=1}^{\infty}</math> ，上面的极限都存在。等价地，以下一阶展开式成立：<math display="block">f(x + h) = f(x) + Ah +o(h),</math>其中<math>o</math>是[[小o符号|小''o''符号]]。一旦存在这样一个运算符 <math>A</math> ，它将是唯一的，所以我们将其记作 <math>A\triangleq Df(x)</math> 并称其为 <math>f</math> 在 <math>x</math> 处的「弗雷歇导数」。

考虑在 <math>U</math> 中任意一点上都弗雷歇可微的 <math>f</math> ，若映射<math display="block">Df : U \to B(V,W) : x \mapsto Df(x)</math>是连续的（其中 <math>B(V,W)</math> 表示 <math>V</math> 到 <math>W</math> 的全体[[有界线性算子]]构成的空间），那么称 <math>f</math> 是 <math>C^1</math> 的。注意这与要求「各点 <math>x\in U</math> 处的弗雷歇导数 <math>Df(x) : V \to W</math> 都连续」是不同的（有界性和连续性往往等价，这时这一点已得到保证而无需再做要求）。

弗雷歇导数是实函数 <math>f : \R \to \R</math> 的普通导数的一个推广。 <math>\R</math> 到 <math>\R</math> 的线性映射不过是乘上一个实数罢了，此例的弗雷歇导数 <math>D f(x)</math> 就是函数 <math>t \mapsto f'(x)t</math> 。

== 性质 ==
在一点弗雷歇可微的映射在该点连续。

弗雷歇导数是以下意义上的线性运算：设 <math>f:V \to W</math> 和 <math>g:V \to W</math> 是在 <math>x</math> 可微的两个映射， <math>c</math> 是一个标量（实数或复数），则弗雷歇导数具有以下性质：

<math display="block">D(cf)(x) = cDf(x)</math><math display="block">D(f+g)(x) = Df(x) + Dg(x).</math>

[[链式法则]]在这种意义上仍然有效：如果 <math>f : U \to Y</math> 在 <math>x \in U</math> 可微且 <math>g : Y \to W</math> 在 <math>y = f(x)</math> 可微，那么它们的复合 <math>g \circ f</math> 可微于 <math>x</math> ，且这个导数是前述导数的复合：<math display="block">D(g \circ f)(x) = Dg(f(x)) \circ Df(x).</math>

== 有限维情况 ==
有限维空间中的弗雷歇导数就是通常的导数。特别地，它的坐标表示就是[[雅可比矩阵]]。

考虑 <math>\mathbb R^n</math> 的开子集 <math>U</math> 上的映射 <math>f : U \subseteq \R^n \to \R^m</math> ，如果 <math>f</math> 在一点 <math>a\in U</math> 处是弗雷歇可微的，那么它的导数是<math display="block">\begin{cases} Df(a) : \R^n \to \R^m \\ Df(a)(v) = J_f(a) v \end{cases}</math>其中 <math>J_f(a)</math> 表示 <math>f</math> 在 <math>a</math> 处的雅可比矩阵。

此外， <math>f</math> 的偏导数由<math display="block">\frac{\partial f}{\partial x_i}(a) = Df(a)(e_i) = J_f(a) e_i</math>给出，其中 <math>\left\{ e_i \right\}</math> 是 <math>\R^n</math> 的{{Tsl|en|Canonical basis|典范基}}。由于导数是线性函数，对于任一向量 <math>h \in \R^n</math> ，可以定义 <math>f</math> 沿 <math>h</math> 的[[方向导数]]<math display="block">Df(a)(h) = \sum_{i=1}^n h_i \frac{\partial f}{\partial x_i}(a).</math>

如果所有偏导数 <math>f</math> 都存在且连续，那么 <math>f</math> 是弗雷歇可微的（也是 <math>C^1</math> 的）。反之则不然，例如函数<math display="block">f(x, y) = \begin{cases} (x^2+y^2)\sin \left ((x^2+y^2)^{-1/2} \right ) & (x, y) \neq (0, 0)\\ 0 & (x, y) = (0, 0) \end{cases}</math>在 <math>(0, 0)</math> 是弗雷歇可微的，但没有连续的偏导数。

== 无限维的例子 ==
无限维中最简单（且非平凡）的一个例子是这样一种情况：弗雷歇导数的域为[[希尔伯特空间]] <math>H</math> ，且我们所感兴趣的映射是其上的范数 <math>\|\,\cdot\,\| : H \to \R</math> 。

首先考虑 <math>x \neq 0</math> 的情况，我们可以构造这样一个线性泛函 <math>D</math> ，它满足<math display="block">Dv := \left\langle v,\frac{x}{\|x\|}\right\rangle.</math>
接下来验证它是 <math>\|\cdot\|</math> 在 <math>x</math> 处的弗雷歇导数，于是我们考察弗雷歇可微条件中被求极限的表达式：<math display="block">\begin{align}
\frac{|\|x+h\|-\|x\|-Dh|}{\|h\|} &=\frac{|\|x\|\|x+h\|-\langle x,x\rangle-\langle x,h\rangle|}{\|x\|\|h\|} \\[8pt]
&=\frac{|\|x\|\|x+h\|-\langle x,x+h\rangle|}{\|x\|\|h\|} \\[8pt]
&=\frac{|\langle x,x\rangle \langle x+h,x+h\rangle-\langle x,x+h\rangle^2|}{\|x\|\|h\|(|\|x\|\|x+h\|+\langle x,x+h\rangle|)} \\[8pt]
&=\frac{\langle x,x \rangle \langle h,h \rangle-\langle x,h \rangle^2}{\|x\|\|h\|(|\|x\|\|x+h\|+\langle x,x+h\rangle|)} \\
&{}
\end{align}</math>利用范数和内积的连续性，我们得到：<math display="block">\begin{align}
\lim_{\|h\|\to 0}\frac{|\|x+h\|-\|x\|-Dh|}{\|h\|} &= \lim_{\|h\|\to 0} \frac{\langle x,x \rangle \langle h,h \rangle-\langle x,h \rangle^2}{\|x\|\|h\|(|\|x\|\|x+h\|+\langle x,x+h\rangle|)} \\[8pt]
&= \frac{1}{2\|x\|^3}\lim_{\|h\|\to 0}\frac{\langle x,x \rangle \langle h,h \rangle-\langle x,h \rangle^2}{\|h\|} \\[8pt]
&= \frac{1}{2\|x\|^3}\lim_{\|h\|\to 0}\left(\langle x,x\rangle\|h\|-\langle x,h\rangle \left\langle x,\frac{h}{\|h\|}\right\rangle\right) \\[8pt]
&= \frac{1}{2\|x\|^3}\left(\lim_{\|h\|\to 0}\langle x,x\rangle\|h\|-\lim_{h\to 0}\langle x,h\rangle \left\langle x,\frac{h}{\|h\|}\right\rangle \right ) \\[8pt]
&= \frac{1}{2\|x\|^3}\left(0-\lim_{\|h\|\to 0}\langle x,h\rangle \left\langle x,\frac{h}{\|h\|}\right\rangle \right ) \\[8pt]
&= -\frac{1}{2\|x\|^3}\left(\lim_{\|h\|\to 0}\langle x,h\rangle \left\langle x,\frac{h}{\|h\|}\right\rangle \right ) \\[8pt]
\end{align}</math>由于[[柯西-施瓦茨不等式|柯西-施瓦茨]]不等式，式中的内积<math display="block">\left\langle x,\frac{h}{\|h\|}\right\rangle</math>有上界 <math>\|x\|</math> 。又容易注意到 <math>\lim_{\|h\|\to 0}\langle x,h\rangle = 0</math> ，因此整个极限为零。

接下来我们将展示范数在 <math>x=0</math> 处是不可微的，也就是说，不存在有界线性泛函 <math>D</math> 使得可微条件中的那个极限为 <math>0</math> 。
令 <math>D</math> 是任意一个线性泛函。[[里斯表示定理]]表明可以找到某个 <math>a \in H</math> 使得 <math>D</math> 被 <math>Dv = \langle a, v\rangle</math> 唯一地确定，考虑<math display="block">A(h) = \frac{|\|0+h\| - \|0\|-Dh|}{\|h\|} = \left|1-\left\langle a, \frac{h}{\|h\|}\right\rangle\right|.</math>为了使范数在 <math>0</math> 处可微，我们必须有<math display="block">\lim_{\|h\|\to 0} A(h) = 0.</math>我们将证明这对于任意 <math>a</math> 都不成立。当 <math>a = 0</math> 时，显然有 <math>A(h) = 1</math> 。现在考虑 <math>a\neq 0</math> 的情况：如果我们选取 <math>h</math> 趋于零的方向为 <math>-a</math> （也就是说， <math>h = t\cdot(-a)</math> ，其中 <math>t \to 0^+</math> ），那么 <math>A(h) = |1+\|a\|| > 1 > 0</math> ，因此至少知道哪怕这个极限存在，也一定不为零。通过进一步考察其他趋向 0 的方式，可以发现这个极限实际上根本不存在。

综上所述，该范数在原点处的弗雷歇导数不存在。这与有限维下的结果是一致的。

== 与加托导数的关系 ==
一个映射 <math>f : U \subseteq V \to W</math> 称为是在 <math>x \in U</math> 处「[[加托導數|加托可微]]」的，若 <math>f</math> 在 <math>x</math> 处沿所有方向的方向导数都存在。这意味着存在一个映射 <math>g : V \to W</math> 使得<math display="block">g(h) = \lim_{t \to 0} \frac{f(x + th) - f(x)}{t}</math>其中 <math>t</math> 取值自向量空间 <math>V</math> 的标量数域（ <math>t</math> 通常是实数）。 <ref>通常版本的定义会要求所得到的映射 g 须是一个连续线性算子。这里我们不采用这种定义，从而可以审视尽可能丰富的病态情形。</ref>

如果<math>f</math> 在 <math>x</math> 是弗雷歇可微的，那么它在此处也是加托可微的，并且 <math>g</math> 正是弗雷歇导数所给出的线性算子 <math>A = D f(x)</math> 。

然而，并非每个加托可微映射都是弗雷歇可微的。这类似于以下事实：一个函数在某一点的所有方向导数的存在并不能保证此函数在该点的全导数的存在（甚至也不能保证此函数的连续性）。例如，如下定义的具有两个实变量的实值函数 <math>f</math> ：<math display="block">f(x, y) = \begin{cases} \frac{x^3}{x^2+y^2} & (x, y) \neq (0, 0)\\ 0 & (x, y) = (0, 0) \end{cases}</math>它在原点 <math>(0, 0)</math> 连续且加托可微，而它在原点的导数是<math display="block">g(a, b) = \begin{cases} \frac{a^3}{a^2+b^2}& (a, b) \neq (0, 0)\\ 0 & (a, b) = (0, 0) \end{cases}</math><math>g</math> 并非一个线性算子，因此上述函数不是弗雷歇可微的。

更一般地说，对于有以下形式的任何函数 <math>f(x, y) = g(r) h(\phi)</math> （其中 <math>r</math> 和 <math>\phi</math> 是 <math>(x, y)</math> 的[[极坐标系|极坐标]]），如果 <math>g</math> 在 <math>0</math> 处可微且 <math>h(\phi + \pi) = -h(\phi)</math> ，那么 <math>f</math> 在原点 <math>(0,0)</math> 处加托可微。但仅当 <math>h</math> 是[[正弦函数]]时，加托导数才是线性的、弗雷歇导数才存在。

另一种情况是，如下定义的 <math>f</math><math display="block">f(x, y) = \begin{cases} \frac{x^3y}{x^6+y^2} & (x, y) \neq (0, 0)\\ 0 & (x, y) = (0, 0) \end{cases}</math>在 <math>(0, 0)</math> 加托可微，其加托导数处处为零，从而是一个线性算子。然而， <math>f</math> 在 <math>(0, 0)</math> 不连续（沿着曲线 <math>\left(t, t^3\right)</math> 接近原点就可以看出这一点）。因此 <math>f</math> 在原点不可能是弗雷歇可微的。

一个更微妙的例子是<math display="block">f(x, y) = \begin{cases} \frac{x^2y}{x^4+y^2}\sqrt{x^2+y^2} & (x, y) \neq (0, 0)\\ 0 & (x, y) = (0, 0) \end{cases}</math>这是一个连续函数，且在 <math>(0, 0)</math> 处加托可微，此处的加托导数是线性的——该导数总是为零。然而， <math>f</math> 不是弗雷歇可微的。如果是的话，它的弗雷歇导数应与其加托导数一致，从而将是零算子 <math>A = 0</math> ，进而极限<math display="block">\lim_{\|h\|_2 \to 0} \frac{|f((0, 0) + h) - f(0, 0) - Ah|}{\|h\|_2} = \lim_{h = (x,y) \to (0,0)} \left|\frac{x^2y}{x^4+y^2}\right|</math>必须为零。然而，沿着曲线 <math>\left(t, t^2\right)</math> 接近原点即可看出这个极限不存在,因为函数值等于<math>1/2</math>而不等于零。

之所以会出现这些情况，是因为加托导数的定义只要求[[均差|差商]]沿每个方向单独收敛，而没有对不同方向的收敛速度提出要求。因此，对于给定的收敛目标 <math>\varepsilon</math> （参见[[Ε-δ语言]]），虽然从每个方向看来，给定点的某邻域中该方向的差商都在 <math>\varepsilon</math> 限定的范围内，但是这些邻域对于不同的方向可能是不同的，并且可能存在一系列方向使得这些邻域变为任意小的。如果沿这些方向选择点的序列，则同时考虑所有方向的弗雷歇导数定义中的商可能不会收敛。因此，线性加托导数的存在若要保证弗雷歇导数的存在，还须要求差商在所有方向上[[一致收斂|一致收敛]]。

下面的例子仅适用于无穷维情况。设 <math>X</math> 是[[巴拿赫空间]]， <math>\varphi</math> 是 <math>X</math> 上一个在 <math>x = 0</math> 处不连续的[[線性泛函|线性泛函]]（参见{{Tsl|en|discontinuous linear functional|不连续线性泛函}}）。令<math display="block">f(x) = \|x\| \varphi(x).</math><math>f(x)</math> 在 <math>x = 0</math> 有加托导数 <math>0</math> 。然而由于极限<math display="block">\lim_{x \to 0} \varphi(x)</math>不存在， <math>f(x)</math> 不是弗雷歇可微的。

== 高阶导数 ==
若映射 <math>f : U \to W</math> 在开集 <math>U\subset V</math> 上是弗雷歇可微的，其弗雷歇导数<math display="block">D f : U \to L(V, W)</math>是从 <math>U</math> 到空间 <math>L(V, W)</math> （ <math>V</math> 到 <math>W</math> 的全体有界线性算子构成的空间）的一个映射。可以定义这个映射本身的弗雷歇导数，即所谓 <math>f</math> 的「二阶导数」<math display="block">D^2 f : U \to L(V, L(V, W)).</math>為方便处理二阶导数，注意右侧的空间就是 <math>V</math> 到 <math>W</math> 的全体连续[[双线性映射]]所构成的巴拿赫空间 <math>L^2(V \times V, W)</math> ，因為若 <math>\varphi</math> 是 <math>L(V, L(V, W))</math> 的元素，則 <math display="block">\varphi(x)(y) = \psi(x, y)</math> 定義了 <math>L^2(V \times V, W)</math> 中的元素 <math>\psi</math> 與 <math>\varphi</math> 对应，反之亦然。（一个关于 <math>x</math> 线性的映射 <math>\varphi</math> 若满足 <math>\varphi(x)</math> 关于 <math>y</math> 线性，那么它和对 <math>x</math> 和 <math>y</math> 具有双线性的 <math>\psi</math> 是一样的。）

可以再求<math display="block">D^2 f : U \to L^2(V\times V, W)</math>的弗雷歇导数来得到「三阶导数」，其在每个点将给出一个「三线性映射」，依此类推。 <math>n</math> 阶导数<math display="block">D^n f : U \to L^n(V \times V \times \cdots \times V, W),</math>在每一点处都将是一个连续[[多重线性映射]]。递归地，一个映射 <math>f</math> 在 <math>U</math> 上 <math>n+1</math> 次弗雷歇可微的条件是：它在 <math>U</math> 上 <math>n</math> 次弗雷歇可微，并且对于任一 <math>x \in U</math> 都存在一个连续的 <math>n+1</math> 重线性映射 <math>A</math> 使得极限<math display="block">\lim_{h_{n+1} \to 0} \frac{ \left\| D^nf \left(x + h_{n+1} \right)(h_1, h_2, \ldots, h_n) - D^nf(x)(h_1, h_2, \ldots, h_n) - A \left(h_1, h_2, \ldots, h_n, h_{n+1} \right) \right\| }{\left\|h_{n+1}\right\|} = 0</math>对取值于 <math>V</math> 的有界子集中的 <math>h_1, h_2, \ldots, h_n</math> [[一致收敛]]。这时， <math>A</math> 就是 <math>f</math> 在 <math>x</math> 处的 <math>(n+1)</math> 阶弗雷歇导数。

此外，我们可以将空间<math>L^n\left(V \times V \times \cdots \times V, W\right)</math> 等价为 <math>L\left(\bigotimes_{j=1}^n V_j, W\right)</math> ，而其成员 <math>f\left(x_1, x_2, \ldots, x_n\right) = f\left(x_1 \otimes x_2 \otimes \cdots \otimes x_n\right)</math> ，从而将弗雷歇导数视为一个普通的线性映射。

== 弗雷歇偏导数 ==
通常的[[偏导数]]是为以下形式的函数定义的 <math>f: \R^n \to \R</math> 。而在本节中，我们会将其推广到映射的域和目标空间（[[到达域]]）是任意（实的或复的）[[巴拿赫空间]]的情况。设 <math>V_1, \ldots, V_n</math> 和 <math>W</math> 是（具有相同的标量域的）巴拿赫空间，其上有一点 <math display="inline">a = \left(a_1, \ldots, a_n\right) \in \prod_{i=1}^n V_i</math> ，对于映射 <math display="inline">f : \prod_{i=1}^n V_i \to W</math> ，若函数<math display="block">\varphi_i : V_i \to W:x \mapsto f(a_1, \ldots, a_{i-1}, x, a_{i+1}, \ldots a_n)</math>在点 <math>a_i</math> 是弗雷歇可微的，那么称 <math>f</math> 在点 <math>a</math> 有第 <math>i</math> 偏导数 <math>\partial_i f(a) := D\varphi_i(a_i)</math> 。注意 <math>\partial_if(a)</math> 是一个 <math>V_i</math> 到 <math>W</math> 的线性变换。启发式地说，假定 <math>f</math> 在 <math>a</math> 有第 <math>i</math> 偏导数，固定所有 <math>a_j(j\neq i)</math> 而只改变 <math>a_i</math> 时 <math>f</math> 的变化量被偏导数 <math>\partial_if(a)</math> 线性地逼近了。我们可以用[[小o符号|小''o''符号]]将其表达为<math display="block">f(a_1, \ldots, a_i+h, \ldots a_n) - f(a_1, \ldots, a_n) = \partial_if(a)(h) + o(h).</math>

== 推广到拓扑向量空间 ==
弗雷歇导数的概念可以推广到任意[[拓撲向量空間|拓扑向量空间]] <math>X</math> 和 <math>Y</math> 。令 <math>U</math> 是 <math>X</math> 的一个包含原点的开子集，而映射<math>f: U \to Y</math> 满足 <math>f(0) = 0</math> ，我们将先定义「该映射的导数为 0 意味着什么」。如果：对于每个 0 的开邻域 <math>W \subseteq Y</math> ，存在一个 0 的开邻域 <math>V\subseteq X</math> 和一个函数 <math>o: \R \to \R</math> 使得<math display="block">\lim_{t\to 0} \frac{o(t)}{t} = 0,</math>且对于原点的某个邻域内的所有 <math>t</math> 都有 <math>f(tV) \subseteq o(t) W</math> ，那么称 <math>f</math> 与 0 相切。

现在可以除去 <math>f(0)=0</math> 这个限定了。 <math>f</math> 在一点 <math>x_0 \in U</math> 弗雷歇可微，若：存在连续线性算子 <math>\lambda : X \to Y</math> 使得映射 <math>h\mapsto f(x_0 + h) - f(x_0) - \lambda h</math> 与 0 相切。(Lang p.&nbsp;6)

如果弗雷歇导数存在，那么它就唯一。此外，加托导数也必然存在且等于弗雷歇导数，也就是说<math display="block">\forall v \in X,\quad\lim_{\tau \to 0}\frac{f(x_0 + \tau v) - f(x_0)}{\tau} = f'(x_0) v,</math>其中 <math>f'(x_0)</math> 是弗雷歇导数。在一点处弗雷歇可微的函数必然在该点连续，并且弗雷歇可微函数之和或其标量倍数也是可微的，因此在一点处弗雷歇可微的函数所构成的空间是在该点连续的函数的子空间。[[链式法则]]、[[乘积法则]]仍可成立，只要：拓扑向量空间 <math>Y</math> 也是一个代数，而其乘法是连续的。

== 参见 ==
* {{Annotated link|方向导数}}
* {{Annotated link|全导数}}
* {{Annotated link|泛函导数}}

== 注释 ==

{{Reflist}}

== 参考文献 ==

* {{Citation|last=Cartan|first=Henri|author-link=Henri Cartan|title=Calcul différentiel|publisher=Hermann|place=Paris|mr=0223194|year=1967}}.
* {{Citation|last=Dieudonné|first=Jean|author-link=Jean Dieudonné|title=Foundations of modern analysis|publisher=[[Academic Press]]|place=Boston, MA|mr=0349288|year=1969}}.
* {{Citation|last=Lang|first=Serge|author-link=Serge Lang|title=Differential and Riemannian Manifolds|publisher=[[Springer Science+Business Media|Springer]]|isbn=0-387-94338-2|year=1995}}.
* {{Citation|last=Munkres|first=James R.|author-link=James Munkres|title=Analysis on manifolds|publisher=[[Addison-Wesley]]|isbn=978-0-201-51035-5|mr=1079066|year=1991}}.
* {{Citation|editor1-last=Previato|editor1-first=Emma|editor1-link=Emma Previato|title=Dictionary of applied math for engineers and scientists|publisher=[[CRC Press]]|place=London|series=Comprehensive Dictionary of Mathematics|isbn=978-1-58488-053-0|mr=1966695|year=2003}}.
* {{Citation|editor1-last=Coleman|editor1-first=Rodney|title=Calculus on Normed Vector Spaces|publisher=[[Springer Science+Business Media|Springer]]|series=Universitext|isbn=978-1-4614-3894-6|year=2012}}.

== 外部链接 ==
* B. A. Frigyik, S. Srivastava and M. R. Gupta, ''[https://web.archive.org/web/20170808093712/http://www.ee.washington.edu/techsite/papers/documents/UWEETR-2008-0001.pdf Introduction to Functional Derivatives]'', UWEE Tech Report 2008-0001.
* http://www.probability.net {{Wayback|url=http://www.probability.net/ |date=20240103121958 }} 这个网页主要是关于基本的概率和测度理论，但是有的章节在巴拿赫空间中的弗雷切导数方面写得很好（关于雅可比公式的章节），所有的结果都给出了证明。

{{泛函分析}}
[[Category:导数的推广]]