unit sphere (changes) in nLab
Showing changes from revision #4 to #5: Added | Removed | Changed
Context
Spheres
-
- real projective space βP 1\,\mathbb{R}P^1
-
-
complex projective line βP 1\,\mathbb{C}P^1: Riemann sphere
-
-
-
quaternionic projective line βP 1\,\mathbb{H}P^1
-
-
- octonionic projective line πP 1\,\mathbb{O}P^1
Analysis
Geometry
higher geometry / derived geometry
Ingredients
Concepts
-
geometric little (β,1)-toposes
-
geometric big (β,1)-toposes
Constructions
-
fundamental β-groupoid in a locally β-connected (β,1)-topos / of a locally β-connected (β,1)-topos
Examples
-
derived smooth geometry
Theorems
Contents
Idea
Given a metric space (X,d)(X,d) and a point xβXx \in X, then the unit sphere S x(X)βXS_x(X) \subset X is the subset of those points with unit distance from xx:
S x(X)β{xβ²βX|d(xβ²,x)=1}. S_x(X) \;\coloneqq\; \left\{ x' \in X \;\vert\; d(x',x) = 1 \right\} \,.
Examples
In the Euclidean space (X,d)=E n(X,d) = E^n of dimension nn, the unit sphere is the usual (n-1)-sphere S nβ1βS 0(β n)S^{n-1} \simeq S_0(\mathbb{R}^n). For n=2n = 2 this is the unit circle, for n=3n = 3 the unit 2-sphere and so on.
Last revised on December 1, 2019 at 19:09:47. See the history of this page for a list of all contributions to it.