Distance sup(f,g)

Aide à la résolution d'exercices ou de problèmes de niveau supérieur au baccalauréat.

Modérateur : gdm_sco

Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35

Distance sup(f,g)

Message par paspythagore »

Bonjour à tous.
En relisant un cours de Topo, je suis tombé sr cette démonstration à faire et bien qu'elle soit dirigée je n'arrive pas à la faire.
Démontrer que : $d_\infty (f,g) := \ds\sup_{x\in X}d_Y(f(x),g(x))$ est une distance sur l'ensemble $B(X,Y)$ des applications bornées de $X$ dans $Y$.
Bon, je crois comprendre le résultat, j'ai fait un dessin...

Les indications sont (pour l'inégalité triangulaire) :
"écrire l'inégalité recherchée qui concerne trois fonctions $f, g$ et $h$.
Pour un élément $x$ fixé dans $X$, majorer la distance $d_Y(f(x),g(x))$ par la quantité voulue.
Conclure en passant à la limite."
Ecrire l'inégalité recherchée.
$$\ds\sup_{x\in X}d_Y(f(x),h(x))\leqslant\ds\sup_{x\in X}d_Y(f(x),g(x))+\ds\sup_{x\in X}d_Y(g(x),h(x))$$
Majorer la distance...
$$d_Y(f(x_0),h(x_0))\leqslant d_Y(f(x_0),g(x_0))+d_Y(g(x_0),h(x_0))$$
Il faut justifier ? Ca paraît évident pour la distance usuelle.
Pourquoi on peut conclure en passant au $sup$ ?
Dernière modification par paspythagore le dimanche 20 mars 2016, 22:26, modifié 1 fois.

balf
Utilisateur chevronné
Utilisateur chevronné
Messages : 3925
Inscription : mercredi 02 janvier 2008, 23:18

Re: distance sup (f,g)

Message par balf »

Ce qui est à justifier est le passage au sup, bien entendu. Il faut d'abord utiliser que
$$ \sup\limits_{a\in A, b\in B}(a+b)\leqslant \sup\limits_{a\in A}a+\sup\limits_{b\in B}b. $$
Grâce à quoi on montre que
$$ d_Y(f(x),h(x))\leqslant \sup\bigl(d_Y(f(x),g(x))+d_Y(g(x),h(x))\bigr) $$
donc $$ d_Y(f(x),h(x))
\leqslant\sup d_Y(f(x),g(x))+ \sup d_Y(g(x),h(x))$$
et finalement $$ \sup d_Y(f(x),h(x))
\leqslant\sup d_Y(f(x),g(x))+ \sup d_Y(g(x),h(x)).$$

B.A.
Dernière modification par balf le dimanche 20 mars 2016, 20:21, modifié 1 fois.

paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35

Re: distance sup (f,g)

Message par paspythagore »

Merci balf.
Bonne journée.

paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35

Re: distance sup (f,g)

Message par paspythagore »

A la relecture, je ne vois pas pourquoi utiliser deux variables $x$ et $y$, mais surtout, je ne comprends pas le "et finalement"...

balf
Utilisateur chevronné
Utilisateur chevronné
Messages : 3925
Inscription : mercredi 02 janvier 2008, 23:18

Re: distance sup (f,g)

Message par balf »

Bonsoir,

Pour les deux variables, c'est en effet inutile, et même nuisible à la compréhension. Je suis désolé, j'aurais dû vérifier si tout coïncidait avec la question posée. En fait, je me suis fait piéger par la lecture de $B(X,Y)$ et ait écrits $(x,y)$ par mimétisme… C'est corrigé maintenant.

Pour le second point, à la ligne précédente on obtient une majoration de $d_Y(f(x),h(y))$, d'où une majoration du sup du même, puisque le sup est le plus petit des majorants.

J'espère que tout ça est plus clair maintenant.

B.A.

paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35

Re: distance sup (f,g)

Message par paspythagore »

C'est cette phrase qui me fait douter : "Pour un élément $x$ fixé dans $X$, majorer la distance $d_Y(f(x),g(x))$ par la quantité voulue.."
Parce que si c'est vrai $\forall x\in X$, OK.

balf
Utilisateur chevronné
Utilisateur chevronné
Messages : 3925
Inscription : mercredi 02 janvier 2008, 23:18

Re: distance sup (f,g)

Message par balf »

N'ayant pas le contexte complet sous les yeux, il m'est difficile d'en dire beaucoup plus. Mais le schéma de la démonstration est qu'on écrit l'inégalité triangulaire pour un $x$ quelconque. Puis on passe au sup dans le membre de droite, obtenant $d_Y(f(x),h(x))\leqslant d_\infty(f,g)+ d_\infty(g,h)$, et l'on passe enfin au sup sur le membre de gauche pour obtenir $d_\infty(f,h)\leqslant d_\infty(f,g)+ d_\infty(g,h)$.

B.A.