typical contexts
A continuum is in general something opposite to a discrete. There are several notions of continuum in mathematics:
Often the continuum is taken to refer to the real line; consequently the cardinality of the continuum referse to the cardinality of the set of real numbers. There is a related continuum hypothesis in set theory.
A metric continuum is any compact connected metric space. Often in general topology, a continuum is taken to mean a compact Hausdorff connected space.
In physics one may also mean by a continuum a medium which spreads the physical quantities spatially with some finite density, unlike the physics of a system of particles, where an infinite (delta-distribution-like) density is attached to a discrete system of points. See at geometry of physics for more on the relation of the continuum in form of the real line to physics.
One can axiomatize aspects of the notion of line continuum in cohesive homotopy type theory. There the idea of an object $\mathbb{A}^1$ all whose points are, while different, connectable by continuous paths (and uniquely so, up to suitable homotopy) is encoded in asking that after applying the fundamental ∞-groupoid functor $\mathbf{\Pi}$ to it, the result is something contractible
In the model of cohesive homotopy type theory called Smooth∞Grpd we have a full and faithful embedding of smooth manifolds. Therefore we can embed the integers $\mathbb{Z}$, the rational numbers $\mathbb{Q}$ as well as the real numbers $\mathbb{R}$, all equipped with their canonical smooth manifold structure. This is discrete for the first two, but not for the last one, and homotopy cohesion can detect this:
but
This reflects the fact that the points of $\mathbb{R}$ form a continuum, but those of $\mathbb{Z}$ and $\mathbb{Q}$ do not.
Also the complex numbers $\mathbb{C}$ with their canonical manifold structure of course form a continuum in this sense
But the real line in fact “exhibits the cohesion” (in the sense of this definition by this discussion) in that the shape modality $\Pi$ is equivalent to localization at $(-) \times \mathbb{R}^1 \longrightarrow (-)$
This is not true in smooth cohesion for $\mathbb{R}^1$ replaced by $\mathbb{C}^1$ and in this sense $\mathbb{R}^1$ is “the real continuum” here (in both sense of the word “real”).
For a ring object $\mathbb{A}^1$ to be geometrically contractible, $\Pi(\mathbb{A}^1) \simeq *$, it is sufficient that there be a map $i$ from a bi-pointed type $(left, right, I)$ to the bipointed type $(0, 1, \mathbb{A}^1)$ such that $I$ is geometrically contractible.
Hence in words: “If in the ring $\mathbb{A}^1$ the elements 0 and 1 are path-connected, then $\mathbb{A}^1$ is already contractible, hence is a line continuum.”
Under the given assumptions we obtain a commuting diagram of the form
Since $\Pi$ preserves products, it sends this to a diagram of the form
which exhibits a contracting homotopy of $\Pi(\mathbb{A}^1)$.
The standard unit intervals $[0,1] \hookrightarrow \mathbb{R} \in$ TopMfd $\hookrightarrow$ ETop∞Grpd and $[0,1] \hookrightarrow \mathbb{R} \in$ SmthMfd $\hookrightarrow$ Smooth∞Grpd satisfy the assumptions of prop. .
The $I$ of prop. is in general not an interval type, but only its image $\Pi(I)$ is. See the discussion Geometric spaces and their cohesive homotopy types at cohesive homotopy type theory for more on this.
Last revised on November 15, 2022 at 22:53:59. See the history of this page for a list of all contributions to it.