ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Countable map
▼ Sequence
▼ Number sequence
▼ Euclidean number sequence
▼ Basic number sequence
▼ Real sequence
Definition D5807
Real sequence asymptotic upper bound growth class
Formulation 0
Let $g : \mathbb{N} \to [0, \infty)$ be an D4686: Unsigned real sequence.
The asymptotic upper bound growth class with respect to $g$ is the D11: Set \begin{equation} \left\{ f : \mathbb{N} \to \mathbb{R} \mid \exists \, C > 0 \text{ and } n_0 \in \mathbb{N} : \forall \, n \geq n_0 : |f(n)| \leq C g(n) \right\} \end{equation}
Also known as
Real sequence big-O growth class
Conventions
▶
Convention 0 (Notation for real sequence asymptotic upper bound growth class)
If $g : \mathbb{N} \to [0, \infty)$ is an D4686: Unsigned real sequence, we denote its D5807: Real sequence asymptotic upper bound growth class by $O(g)$.