Un article de Wikipedia.y-project.com.

Pour les articles homonymes, voir équivalence. Image:Disambig.svg

---

La notion d'équivalence permet de dire précisément et « mathématiquement » quand deux fonctions ou deux suites ont le même comportement au voisinage d'un point ou de l'infini.

Une fois cet outil connu, se pose le problème du calcul des équivalents qui est d'une grande aide pour le calcul des développemets asymptotiques, dont un cas particulier est le calcul des développements limités.

Pour bien s'en sortir dans ce travail, il faut bien savoir quelles opérations sur les équivalents sont permises et quelles autres sont interdites.

Sommaire 1 L'équivalence pour les suites 1.1 Définition 1.2 Cas particulier plus simple 1.3 Autre formulation 1.4 Propriétés 1.5 Opérations sur les équivalents 1.6 Exemples 1.7 Remarque 2 L'équivalence pour les fonctions 2.1 Définition élémentaire 2.2 Définition plus savante 2.2.1 Remarques 2.3 Propriétés 2.4 Opérations sur les équivalents 3 Voir aussi

[] L'équivalence pour les suites

[] Définition

Soient <math>u_n</math> et <math>v_n</math> deux suites à valeurs dans un même espace vectoriel normé <math>E</math> ou, si l'on veut, pour être moins général, dans un corps <math>\mathbb</math>(<math>\mathbb</math> ou <math>\mathbb</math>), c'est d'ailleurs ce cas, le moins général, qui est le plus courant et le plus utile.

On dit que <math>u_n</math> et <math>v_n</math> sont équivalentes si, et seulement si, <math>u_n-v_n</math> est négligeable devant <math>v_n</math>, ou, ce qui revient au même, <math>v_n-u_n</math> négligeable devant <math>u_n</math>.

Une définition équivalente peut être : il existe une suite <math>\varepsilon_n</math> (à valeurs K=R ou C selon le contexte), définie à partir d'un certain rang, qui tende vers zéro et vérifie <math>u_n=(1+\varepsilon_n)v_n</math>.

On note alors <math>u_n\sim v_n</math>.

[] Cas particulier plus simple

Dans le cas particulier où la suite <math>u_n</math> (par exemple) ne s'annule pas à partir d'un certain rang, les suites <math>u_n</math> et <math>v_n</math> sont équivalentes si, et seulement si, <math>\frac\longrightarrow 1</math> quand <math>n \rightarrow +\infty</math>.

Pour le démontrer, il suffit de l'écrire.

[] Autre formulation

On peut formuler les choses autrement : deux suites <math>u_n</math> et <math>v_n</math> sont équivalentes si, et seulement si, on a <math>u_n=v_n+o(v_n)</math> (en utilisant la notation petit "o").

Pour le démontrer, il suffit de l'écrire.

[] Propriétés

• La relation "être équivalent à" est une relation d'équivalence.
• Si <math>u_n</math> converge vers <math>l\neq 0</math>, alors, elle est équivalente à la suite constante égale à <math>l</math>.

[] Opérations sur les équivalents

Voir l'article Opérations sur les équivalents.

[] Exemples

• Connaissez-vous l'équivalent de la somme partielle d'ordre n de la série harmonique ?
• Un équivalent célèbre est la formule de Stirling : <math>n\,!\sim \sqrt{2\pi n}\,\left({n \over e}\right)^n</math>.
• Soit <math>\pi</math> la suite dont le n-ième terme est égal au nombre de nombres premiers inférieurs ou égaux à <math>n</math>. Le théorème des nombres premiers, qui est un résultat difficile, affirme que <math>\pi(n) \sim \frac{\ln n}</math>.

[] Remarque

On peut voir l'équivalence pour les suites comme un cas particulier de l'équivalence pour les fonctions.

[] L'équivalence pour les fonctions

[] Définition élémentaire

Soient <math>I</math> une partie de <math>\mathbb</math>, <math>a</math> un point de l'adhérence de <math>I</math>, <math>f</math> et <math>g</math> des applications de <math>I</math> vers <math>\mathbb</math>, <math>g</math> non nulle au voisinage de <math>a</math>.

On dit que <math>f</math> est équivalent à <math>g</math> au voisinage de <math>a</math> si et seulement si <math>\lim_a \frac = 1</math>.

On écrit alors <math>f\sim g</math> qui se lit « <math>f</math> est équivalent à <math>g</math> ». S'il y a une ambiguïté sur le point a qu'on considère, on utilise la notation plus précise : <math>f\sim_a g</math>

[] Définition plus savante

Soit <math>X</math> un espace topologique, soit <math>A</math> une sous-partie de <math>X</math>. Soit <math>a \in \overline</math> un élément de <math>X</math> adhérent à <math>A</math>. Cet espace est l'espace de départ des fonctions qu'on va étudier. En quelque sorte, c'est l'espace des paramètres.

Soit <math>\mathbb=\mathbb</math> ou <math>\mathbb</math>, muni de sa valeur absolue usuelle. Soit <math>E</math> un <math>\mathbb</math>-espace vectoriel normé, appelé à être l'espace des valeurs de nos fonctions.

Soient <math>f</math> et <math>g</math> deux fonctions de <math>A</math> dans <math>E</math>.

On dit que <math>f</math> et <math>g</math> sont équivalentes en <math>a</math> et on note <math>f\sim_a g</math> si, et seulement si, il existe un voisinage <math>V</math> de <math>a</math> dans <math>A \cup \{ a\}</math> et une fonction <math>\varepsilon</math> définie sur <math>V</math> tels que :

• <math>\lim_a \varepsilon = 0</math>
• <math>\forall x\in V\setminus \, f(x)=(1+\varepsilon(x))g(x) </math>

[] Remarques

• Si on veut être encore plus complet, on peut se placer dans le cadre des corps valués ou des espaces vectoriels topologiques au-dessus d'un corps valué.
• La définition précédente est plus naturelle et s'exprime mieux dans le cadre des espaces de germes de fonctions.

[] Propriétés

• La relation <math>\sim</math> est une relation d'équivalence.

• <math>f \sim_a g \Rightarrow \exists V \in \mathcal(a) | \forall x \in V\ \frac > 0</math>, où <math>\mathcal(a)</math> représente l'ensemble des voisinages de a.

En particulier, f et g ont même signe localement autour de a.

• Si f ~ g au voisinage de a et que <math>\lim_f = l, l \in \overline {\mathbb R}</math>, alors <math>\lim_g=l</math> : deux fonctions équivalentes en a y ont la même limite.

[] Opérations sur les équivalents

Voir l'article Opérations sur les équivalents.

[] Voir aussi

Négligeable

DernierMirror  

Réagissez

Commentez l'encyclopédie:
Attention! tous les commentaites inaproprié seront supprimés

Titre:
Video YouTube ou google:	(doit être en rapport avec le sujet)
Votre mail:	(ne sera pas affiché sur le site)
Un pseudo:
Votre site:
Commentaire	(le html n'est pas autorisé, nombre de caractère maximum = 400)
	(Comment eBabylone 1.0 beta)

Le Texte ci-dessus est disponible sous GNU Free Documentation License.
La source est wikipedia http://fr.wikipedia.org/wiki/équivalent