Banach-Alaoglu theorem