Homotopy Type Theory
pointwise continuous function > history (Rev #14)
Contents
Whenever editing is allowed on the nLab again, this article should be ported over there.
Definition
In set theory
In Archimedean ordered fields
Let be an Archimedean ordered field and let
be the positive elements in . A function is continuous at a point if
is pointwise continuous in if it is continuous at all points :
is uniformly continuous in if
In preconvergence spaces
Let and be preconvergence spaces. A function is continuous at a point if
is pointwise continuous if it is continuous at all points :
In homotopy type theory
In Archimedean ordered fields
Let be an Archimedean ordered field and let
be the positive elements in . A function is continuous at a point
is pointwise continuous in if it is continuous at all points :
is uniformly continuous in if
In preconvergence spaces
Let and be preconvergence spaces. A function is continuous at a point
is pointwise continuous if it is continuous at all points :
See also
Revision on April 14, 2022 at 05:40:02 by
Anonymous?.
See the history of this page for a list of all contributions to it.