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
…
…
symmetric monoidal (∞,1)-category of spectra
Any non-trivial absolute value on the rational numbers is equivalent either to the standard real absolute value, or to the p-adic absolute value.
(Ostrowski)
Any complete archimedean valued field is, as an associative algebra and as a topological space, isomorphic to either the real numbers or the complex numbers.
Discussion in point-free topology:
Last revised on December 12, 2023 at 20:20:04. See the history of this page for a list of all contributions to it.