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 Dx \in \mathbb{R}_D and y Dy \in \mathbb{R}_D such that 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 August 11, 2023 at 13:22:51. See the history of this page for a list of all contributions to it.