|
Note that $\sim$ as defined in the entry Landau notation is an equivalence relation on the set of all functions from $\mathbb{R}^+$ to $\mathbb{R}^+$ This set of functions will be denoted in this entry as $F$
Reflexive: For any $f \in F$ $\displaystyle \lim_{x \to \infty} \frac{f(x)}{f(x)}=1$ and $f \sim f$
Symmetric: If $f,g \in F$ with $f \sim g$ then $\displaystyle \lim_{x \to \infty} \frac{f(x)}{g(x)}=1$ Thus:
$\begin{array}{ll} \displaystyle \lim_{x \to \infty} \frac{g(x)}{f(x)} & \displaystyle =\lim_{x \to \infty} \frac{1}{\left( \frac{f(x)}{g(x)} \right)} \\ \\ & \displaystyle =\frac{1}{1} \\ \\ & =1 \end{array}$
Therefore, $g \sim f$
Transitive: If $f,g,h \in F$ with $f \sim g$ and $g \sim h$ then $\displaystyle \lim_{x \to \infty} \frac{f(x)}{g(x)}=1$ and $\displaystyle \lim_{x \to \infty} \frac{g(x)}{h(x)}=1$ Thus:
$\begin{array}{ll} \displaystyle \lim_{x \to \infty} \frac{f(x)}{h(x)} & \displaystyle =\lim_{x \to \infty} \left( \frac{f(x)}{g(x)} \cdot \frac{g(x)}{h(x)} \right) \\ \\ & =1 \cdot 1 \\ \\ & =1 \end{array}$
Therefore, $f \sim h$
|