Commit b4893c7e authored by Michael Kohlhase's avatar Michael Kohlhase

renaming_arithmetics

parent cfad35cc
id: smglom/functional-analysis
source-base: http://mathhub.info/smglom/functional-analysis
narration-base: http://mathhub.info/smglom/functional-analysis
dependencies: smglom/sets,smglom/calculus,smglom/topology,smglom/numberfields,smglom/linear-algebra
dependencies: smglom/sets,smglom/calculus,smglom/topology,smglom/arithmetics,smglom/linear-algebra
responsible: m.kohlhase@jacobs-university.de
title:Functional Analysis
teaser: Vector spaces with some kind of limit structure.
......
\begin{modsig}[creators=miko,srccite=Rudin:fa73]{norm}
\gimport[smglom/numberfields]{complexnumbers}
\gimport[smglom/numberfields]{realarith}
\gimport[smglom/arithmetics]{complexnumbers}
\gimport[smglom/arithmetics]{realarith}
\gimport[smglom/linear-algebra]{vector-space}
\gimport[smglom/numberfields]{arithmetics}
\gimport[smglom/numberfields]{numbers-orders}
\gimport[smglom/arithmetics]{arithmetics}
\gimport[smglom/arithmetics]{numbers-orders}
\gimport[smglom/sets]{functions}
\symdef[name=norm]{anormOp}{|\cdot|}
\symvariant{anormOp}{double}{\Vert\cdot\Vert}
......
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