Commit a154a1f8 authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 95b3ac54
\begin{mhmodnl}[creators=miko]{euclidean-norm}{en}
\begin{mhmodnl}[creators=miko]{pnorm}{en}
\begin{definition}
Let $\cV$ be a \trefi[realnumbers]{real} \trefii[vector-space]{vector}{space} and
$\vbaseset$ its \trefii[vector-space]{base}{set}}, then we call
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}}}\]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment