While trying to prove Banach-Alaoglu theorem I noticed the differrent equivalent definitions of compactness. When I tried to find a proof of Banach-Alaoglu I found a proof in Pedersen Analysis Now and it uses nets.
Is there a known proof of Banach-Alaoglu for each of the different equivalent definitions of compactness?