Debe su nombre a Stefan Banach (1892–1945), quien fue el primero en enunciarlo en 1922.