Weak-operator Continuity and the Existence of Adjoints

It is shown, within constructive mathematics, that the unit ball B₁(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 B₁(H) is equivalent to the existence of the adjoint of A.