analysis (differential/integral calculus, functional analysis, topology)
metric space, normed vector space
open ball, open subset, neighbourhood
convergence, limit of a sequence
compactness, sequential compactness
continuous metric space valued function on compact metric space is uniformly continuous
…
…
A function is locally nonzero if for all Dedekind real numbers and such that , there exists a Dedekind real number with and .
Every monotonic function on the Dedekind real numbers is locally nonzero.
Every real polynomial function apart from the zero polynomial function is locally nonzero.
Last revised on August 11, 2023 at 13:22:51. See the history of this page for a list of all contributions to it.