1: \begin{abstract}

2: 	We show how Pour-El and Richards' computability structures on Banach spaces \(\X\) can be characterized in terms of 

3: 	effective operators on the set of computable elements \(\Xk\).

4: 

5: 	We give a computable, partial numbering of the set of effective operators \(\BXk\).

6: 	Effective operators on \(\Xk\) have unique closed and continuous extensions to \(\X\).

7: 

8: 	The non-separable operator space \(\B(\X)\) has an ineffective norm, unlike 

9: 	the subspace \(\B_0(\X)\) of compact operators when \(\X\) has the approximation property.

10: 

11: 	Totally defined numberings of \(\Xk\) do not give modulus of convergence. 

12: 	A total numbering of \(\Xk\) is defined, which leads to a concept of quasi-effective operator. 

13: 	\(x \mapsto \sqrt{2}x\) is not quasi-effective, so we conclude that partial numberings are preferable.

14: \end{abstract}

15: