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}
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)$.