Let be a natural number, let be the Euclidean norm on Euclidean space and let be the Euclidean distance, a metric on ; write for the closed ball of centre and radius in .
Let be open in , let be a real number, and put
1. (Room to spare) For every there is a real number with .
2. (Openness) is open in .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.