nLab locally nonzero function

Contents

Contents

Definition

A function f: D Df:\mathbb{R}_D \to \mathbb{R}_D is locally nonzero if for all Dedekind real numbers x<yx \lt y, there exists a Dedekind real number z Dz \in \mathbb{R}_D with x<z<yx \lt z \lt y and |f(z)|>0\vert f(z) \vert \gt 0.

Examples

See also

References

Last revised on July 7, 2022 at 02:17:52. See the history of this page for a list of all contributions to it.