Redirecting to Talk:Banach–Alaoglu theorem