Definition (weak topology):
Let be a Banach space, and let be its dual space. The weak topology on is defined to be the initial topology with respect to the maps , where ranges over .
Proposition (bounded operators on a normed space form a Banach space under norm topology):
Let be a Banach space, and equip the space with