Tento vztah definujeme pro funkce, definice níže ale přirozeně zahrnuje i případ posloupností, ke kterým se dostaneme v následující kapitole.
Mějme dvě funkce $f$, $g$ a bod $a \in \overline{\R}$ takový, že $a$ je hromadným bodem množiny $D_f \cap D_g$ a existuje okolí $V_a$ splňující34 $(V_a \cap D_f) \smallsetminus \{a\} = (V_a \cap D_g) \smallsetminus \{a\}$.
Řekneme, že funkce $f$ je asymptoticky ekvivalentní funkci $g$ pro $x$ jdoucí k $a$, symbolicky „$f(x) \sim g(x)$ pro $x \to a$“, právě když existuje okolí $U_a$ bodu $a$ a funkce $u$ definovaná na $U_a$ pro jejíž limitu v bodě $a$ platí $\displaystyle\lim_{x\to a} u(x) = 1$ tak, že pro všechna $x \in U_a \cap D_f \cap D_g$ různá od $a$ platí
Tento asymptotický vztah $\sim$ je v jistém smyslu nejpřesnější. Za jistých dodatečných předpokladů lze vztah $f(x) \sim g(x)$ pro $x \to a$ vyjádřit pomocí limity podílu $f(x) / g(x)$ pro $x \to a$, tímto často používaným pozorováním se zabývá Věta 5.8 níže. Zamysleme se nad základními vlastnostmi tohoto pojmu.
Platí následující tvrzení:
Vztah $\sim$ je symetrický, tranzitivní a reflexivní, jde skutečně o ekvivalenci.
Mějme dvě funkce $f$ a $g$ a bod $a$. Pokud $\displaystyle\lim_{x \to a} f(x)$ existuje a je rovna $\alpha$ a $f$ je asymptoticky ekvivalentní $g$ pro $x \to a$, pak existuje i $\displaystyle\lim_{x\to a} g(x)$ a je také rovna $\alpha$.
Mějme dva polynomy $P$ a $Q$. Potom $P$ je asymptoticky ekvivalentní $Q$ pro $x\to+\infty$ (tj. $P(x) \sim Q(x)$ pro $x \to +\infty$), právě když polynomy $P$ a $Q$ mají stejný stupeň a stejný koeficient u nejvyšší mocniny.
Bod $\alpha\in\eR$ nazýváme hromadným bodem množiny $M \subset \R$, právě když v každém okolí $U_\alpha$ bodu $\alpha$ leží nějaký prvek množiny $M$ různý od $\alpha$.
Mějme funkci $f\colon A \to \R$, hromadný bod $a\in\overline{\R}$ množiny $A$ a bod $b\in\overline{\R}$. Funkce $f$ má v bodě $a$ limitu rovnou $b$, právě když pro každé okolí $U_b$ bodu $b$ existuje okolí $U_a$ bodu $a$ takové, že pokud $x \in U_a \cap A$ a $x \neq a$, pak $f(x) \in U_b$.
Formálně tento požadavek vyjadřuje formule
Tuto skutečnost symbolicky zapisujeme následovně
Mějme dvě funkce $f$, $g$ a bod $a \in \overline{\R}$ takový, že $a$ je hromadným bodem množiny $D_f \cap D_g$ a existuje okolí $V_a$ splňující $(V_a \cap D_f) \smallsetminus \{a\} = (V_a \cap D_g) \smallsetminus \{a\}$.
Řekneme, že funkce $f$ je asymptoticky ekvivalentní funkci $g$ pro $x$ jdoucí k $a$, symbolicky „$f(x) \sim g(x)$ pro $x \to a$“, právě když existuje okolí $U_a$ bodu $a$ a funkce $u$ definovaná na $U_a$ pro jejíž limitu v bodě $a$ platí $\displaystyle\lim_{x\to a} u(x) = 1$ tak, že pro všechna $x \in U_a \cap D_f \cap D_g$ různá od $a$ platí