Commit 671e7fa4 authored by Michael Kohlhase's avatar Michael Kohlhase

debugging

parent 52471655
......@@ -4,7 +4,7 @@
\mtrefii[topological-vectorspace?topological-vector-space]{topologischer}{Vektorraum}
$\mvstructure{X,\cO}$ hei"st \defii[name=locally-bounded]{lokal}{beschr"ankt}, wenn der
\mtrefi[vector-space?zero]{Nullvektor} eine \mtrefi[bounded-topvr?bounded]{beschr"ankte}
\trefi[neighborhood]{Umgebung} hat.
\mtrefi[neighborhood?neighborhood]{Umgebung} hat.
\end{definition}
\end{mhmodnl}
%%% Local Variables:
......
\begin{mhmodnl}[creators=miko,srccite=Rudin:fa73]{locally-convex}{en}
\begin{definition}
A \trefiii[topological-vectorspace]{topologi4fcal}{vector}{space} $\mvstructure{X,\cO}$
A \trefiii[topological-vectorspace]{topological}{vector}{space} $\mvstructure{X,\cO}$
is called \defii{locally}{convex}, if it has a \trefii[local-base]{local}{base}, whose
members are all \trefi[convex]{convex}.
\end{definition}
......
......@@ -2,7 +2,6 @@
\gimport{topological-vectorspace}
\gimport[smglom/topology]{compact}
\gimport[smglom/topology]{closureinterior}
\gimport[smglom/topology]{neighborhood}
\symii{locally}{compact}
\end{modsig}
%%% Local Variables:
......
......@@ -2,6 +2,7 @@
\gimport[smglom/calculus]{metric-induced-topology}
\gimport{norm-induced-metric}
\gimport{topological-vectorspace}
\gimport{norm}
\symi{normable}
\end{modsig}
%%% Local Variables:
......
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