Talk:Banach-Alaoglu theorem