metric space space antispace loopspace n space measurable space functional factor space compact space hyperspace