TheoremBase

Bounded Real-Valued Function on a Set

Statement

Let XX be a set and let f:X→Rf:X\to\mathbb{R} be a function into the real numbers. We say that ff is bounded if there is a real number MM with 0≤M0\le M such that ∣f(x)∣≤M|f(x)|\le M for every x∈Xx\in X, the absolute value being that of Absolute Value in an Ordered Field for the ordered field of real numbers; such an MM is called a bound for ff.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…