1: \begin{definition}[Open Mapping Theorem]

2: Let $X,Y$ be computable Banach spaces. Then we define

3: \[\OMT_{X,Y}:\In\CC(X,Y)\to\CC(\OO(X),\OO(Y)),T\mapsto(U\mapsto T(U))\]

4: with $\dom(\OMT_{X,Y}):=\{T\in\CC(X,Y):T\mbox{ linear and surjective}\}$.

5: \end{definition}

6: