Commit a250ba6a authored by Michael Kohlhase's avatar Michael Kohlhase


parent 0465a504
If \impdec{$\cV$ is a \trefii[vector-space]{vector}{space} $\cV$ over a
If \impdec{$\cV$ is a \trefii[vector-space]{vector}{space} over a
\trefi[subfield]{subfield} $F$ of the \trefiis[complexnumbers]{complex}{number} and
$\vbaseset$ its \trefii[vector-space]{base}{set}}, then a function
$\fun\anormOp\vbaseset\RealNumbers$ is called a \defi{norm} on $\cV$, if for all
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