Homotopy Type Theory
pointwise continuous function > history (Rev #18)
Contents
Whenever editing is allowed on the nLab again, this article should be ported over there.
Definition
In Archimedean ordered fields
Let be an Archimedean ordered field. A function is continuous at a point
is pointwise continuous in if it is continuous at all points :
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 :
In function limit spaces
Let be a function limit space, and let be a subtype of . A function is continuous at a point if the limit of $f$ approaching $c$ is equal to .
is pointwise continuous on if it is continuous at all points :
The type of all pointwise continuous functions on a subtype of is defined as
See also
Revision on May 4, 2022 at 21:03:01 by
Anonymous?.
See the history of this page for a list of all contributions to it.