Abstract: | It is shown, within constructive mathematics, that the unit ball B1(H) of the set of bounded operators on a Hilbert space H is weak-operator totally bounded. This result is then used to prove that the weak-operator continuity of the mapping T → AT on B1(H) is equivalent to the existence of the adjoint of A. |