PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] $\sim$ is an equivalence relation (Result)

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$




"$\sim$ is an equivalence relation" is owned by Wkbj79.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: symmetric, functions, equivalence relation, Landau notation

This is version 6 of $\sim$ is an equivalence relation, born on 2006-09-07, modified 2006-10-08.
Object id is 8319, canonical name is SimIsAnEquivalenceRelation.
Accessed 933 times total.

Classification:
AMS MSC26A12 (Real functions :: Functions of one variable :: Rate of growth of functions, orders of infinity, slowly varying functions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)