Banach–Mazur theorem

The Banach–Mazur theorem is an important result in functional analysis and topology, specifically concerning the structure of certain topological spaces. While the theorem itself has various formulations and implications, one of its primary forms describes the relationship between Banach spaces and the geometry of their unit balls.