Commit 9c36b651 by Michael Kohlhase

### moved here

parent 299ec156
 \begin{mhmodnl}[creators=miko]{euclidean-norm}{en} \begin{definition} The \defii{Euclidean}{norm} on an \trefii[euclideanspace]{Euclidean}{space} $\ndim{n}\RealNumbers$ is the function $\fundefeq{v}{\euclideannorm{\ntupli{v}1n}}{\sqrt{\Sumfromto{i}1n{\realpower{v_i}2}}}$ The \trefii{Euclidean}{norm} is also called the \defii[Euclidean-norm]{Euclidean}{length}, \defii[Euclidean-norm]{$L^2$}{distance}, \defii[Euclidean-norm]{$L^2$}{norm}, \defii[Euclidean-norm]{$\ell^2$}{distance}, or \defii[Euclidean-norm]{$\ell^2$}{norm}, \end{definition} \end{mhmodnl} %%% Local Variables: %%% mode: latex %%% TeX-master: t %%% End:
 \begin{modsig}[creators=miko]{euclidean-norm} \gimport[smglom/topology]{euclideanspace} \gimport[smglom/arithmetics]{realarith} \gimport[smglom/arithmetics]{sum} \symdef{euclideannorm}[1]{\left|#1\right|} \symtest{euclideannorm}{\euclideannorm{v}} \end{modsig} %%% Local Variables: %%% mode: latex %%% TeX-master: t %%% End:
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!