analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
β¦
β¦
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
Given a metric space and a point , then the unit sphere is the subset of those points with unit distance from :
In the Euclidean space of dimension , the unit sphere is the usual (n-1)-sphere . For this is the unit circle, for 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.