Commit 312d34d8 authored by Michael Kohlhase's avatar Michael Kohlhase

debugging

parent 4bb72ae3
......@@ -2,7 +2,7 @@
{locally-bounded}{topvr-metrizable}
\begin{assertion}[type=obligation,display=flow]
Ein \mtrefii[locally-bounded?locally-bounded]{lokal}{beschr"ankter}
\mtrefiii[topological-vectorspace?topological-vector-space]{topologischer}{Vektorraum}
\mtrefii[topological-vectorspace?topological-vector-space]{topologischer}{Vektorraum}
ist \mtrefi[topvr-metrizable?metrizable]{metrisierbar}.
\end{assertion}
\spfsketch{S"atze 1.15.c) und 1.24 in~\cite{Rudin:fa73}}
......
......@@ -17,7 +17,7 @@
\mtrefii[norm?absolute-homogeneity]{absouten}{Homogenit"at} von $\anormOp$.
\end{spfstep}
\begin{spfstep}
die \mtrefii[metric-space?triangle-inequality]{Dreiecksungleichung} for $d$ folgt aus
die \mtrefi[metric-space?triangle-inequality]{Dreiecksungleichung} for $d$ folgt aus
der f"ur $\anormOp$.
\end{spfstep}
\end{sproof}
......
......@@ -3,7 +3,7 @@
Ist \impdec{$\cV$ in \mtrefi[vector-space?vector-space]{Vektorraum} "uber einem
\mtrefi[subfield?subfield]{Subk"orper} $F$ der
\mtrefii[complexnumbers?complex-number]{komplexen}{Zahlen}}, und $\vbaseset$ seine
\mtrefii[vector-space?base-set]{Grundmenge}, so nennen wir eine Funktion
\mtrefi[vector-space?base-set]{Grundmenge}, so nennen wir eine Funktion
$\fun\anormOp\vbaseset\RealNumbers$ eine \defi[name=norm]{Norm} auf $\cV$, wenn f"ur alle
$\inset{a}F$ und $\minset{u,v}\vbaseset$ gilt:
\begin{enumerate}
......
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