1: \begin{definition}[Uniform Boundedness Theorem]

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

3: \[\UBT_{X,Y}:\In\CC(X,Y)^\IN\mto\IN,(T_i)_{i\in\IN}\mapsto\{M\in\IN:\sup\nolimits_{i\in\IN}||T_i||\leq M\}\]

4: where $\dom(\UBT_{X,Y})$ contains all sequences $(T_i)_{i\in\IN}$ of linear and bounded

5: operators $T_i:X\to Y$ such that $\{||T_ix||:i\in\IN\}$ is bounded for each $x\in X$.

6: \end{definition}

7: