summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/stex/example/paper/differentiable.tex
blob: ee9c66f940981408a3a6c739a963ac271608133c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
\begin{omgroup}[id=sec.differentiable]{Differentiable Functions}
\begin{module}[id=differentiable]
\importmodule[continuous]{continuous}
\symdef{difffunctions}[2]{\mathcal{C}^1(#1,#2)}
\abbrdef{DiffRR}[2]{\difffunctions\RealNumbers\RealNumbers}
\begin{definition}
  A function $\fun{f}\RealNumbers\RealNumbers$ is called {\defin{differentiable}} at
  $\inset{x}\RealNumbers$, iff for all $\epsilon>0$ there is a $\delta>0$, such that
  $\rfrac{\absval{f(x)-f(y)}}{\absval{x-y}}<\epsilon$ for all $\absval{x-y}<\delta$.
\end{definition}
\end{module}
\end{omgroup}
%%% Local Variables: 
%%% mode: LaTeX
%%% TeX-master: "paper"
%%% End: