Homotopy Type Theory
infinite decimal representation of a unit interval > history (Rev #1)
Definition
Let be an Archimedean ordered integral domain and let be the unit interval in . The infinite decimal representation of is a function from the unit interval in to the type of sequences in the natural numbers that are bounded below by and bounded above by , such that is equal to the limit of the following sequence
See also
Revision on April 18, 2022 at 18:06:58 by
Anonymous?.
See the history of this page for a list of all contributions to it.