Homotopy Type Theory Analysis > history (Rev #36)

Here we collect articles about doing analysis in HoTT.

Real analysis is about the study of convergence and limits of sequences and functions in Archimedean ordered fields and sequentially Cauchy complete Archimedean ordered fields.

…what are the necessary requirements for the existence of an inverse: that the field be sequentially Cauchy complete, as the Banach fixed point theorem used to prove the inverse function theorem requires the metric to be sequentially Cauchy complete.

Cauchy sequences

Real numbers

to be moved

Intervals

References

Revision on June 11, 2022 at 00:26:36 by Anonymous?. See the history of this page for a list of all contributions to it.