Analyse

Olympiades mathématiques, énigmes et défis
aviateur
Habitué(e)
Messages: 3853
Enregistré le: 19 Fév 2017, 11:59

Analyse

par aviateur » 07 Jan 2019, 23:22

Bonjour
Je propose ce petit exercice d'analyse (niveau L1-math sup)
Soit f : [0,1]→[0,1] une fonction t.q | f (x)− f (y)| ≤ |x−y| for all
x, y ∈ [0,1].
Montrer que l'ensemble des points fixes est soit un singleton ou bien intervalle.



LB2
Habitué(e)
Messages: 1504
Enregistré le: 05 Nov 2017, 18:32

Re: Analyse

par LB2 » 10 Jan 2019, 11:12

Très joli! Je vais le poser en colle ce soir tiens!

aviateur
Habitué(e)
Messages: 3853
Enregistré le: 19 Fév 2017, 11:59

Re: Analyse

par aviateur » 10 Jan 2019, 17:03

Si on voit sur un forum la question ressortir demain, on aura compris pourquoi!

Avatar de l’utilisateur
chan79
Modérateur
Messages: 10330
Enregistré le: 04 Mar 2007, 21:39

Re: Analyse

par chan79 » 10 Jan 2019, 22:44

j'essaie
supposons que a et b soient deux points fixes
Montrons que si a<x<b alors x est un point fixe
|f(x)-f(a)|<=|x-a| donne |f(x)-a|<=x-a
donc f(x)<=a+x-a
f(x)<=x
de même
|f(x)-b|<=b-x
f(x)>=b-(b-x)
f(x)>=x
Finalement f(x)=x
Ca me paraît un peu trop simple ....

aviateur
Habitué(e)
Messages: 3853
Enregistré le: 19 Fév 2017, 11:59

Re: Analyse

par aviateur » 10 Jan 2019, 22:56

Ok @chan, c'est quasiment ça mais il manque quelques éléments pour bien finir l'exo.
De plus dans le cas de l'intervalle que peut-on dire de plus?

Avatar de l’utilisateur
chan79
Modérateur
Messages: 10330
Enregistré le: 04 Mar 2007, 21:39

Re: Analyse

par chan79 » 11 Jan 2019, 01:11

On montre facilement que f est continue sur [0;1] dans [0;1]. Elle admet donc au moins un point fixe.
On considère la borne inférieure m et la borne supérieure n de l'ensemble des points fixes.
Si m et n sont différents, on montre que tout élément de ]m;n[ est un point fixe (voir mon message précédent) puis que l'ensemble des points fixes est [m;n] en utilisant la continuité de f en m et n.
Donc soit il y a un seul point fixe, soit l'ensemble des points fixes et un intervalle fermé.


Exemples ci-dessous avec le graphe de f en bleu et les points fixes en rouge.
Cas d'un singleton:
Image
Cas d'un intervalle fermé:
Image

pascal16
Membre Légendaire
Messages: 6663
Enregistré le: 01 Mar 2017, 14:58
Localisation: Angoulème : Ville de la BD et du FFA. gare TGV

Re: Analyse

par pascal16 » 11 Jan 2019, 13:31

il me semble qu'on peut généraliser :

avec continuité
-> soit un point, soit un intervalle unique fermé (le premier cas étant inclus dans le second)

sans hypothèse de continuité, pas de point fixe obligatoire mais on a
-> soit aucun point fixe, soit un point isolé, soit un intervalle unique qui peut être non fermé(même remarque).

Avatar de l’utilisateur
chan79
Modérateur
Messages: 10330
Enregistré le: 04 Mar 2007, 21:39

Re: Analyse

par chan79 » 11 Jan 2019, 14:16

Salut
Il me semble qu'avec la condition de l'énoncé, f est nécessairement continue sur [0,1]
Si on fixe y
soit strictement positif quelconque, si on prend |x-y|< alors |f(x)-f(y)|<=|x-y|<
f est donc continue en y.

aviateur
Habitué(e)
Messages: 3853
Enregistré le: 19 Fév 2017, 11:59

Re: Analyse

par aviateur » 11 Jan 2019, 14:19

@chan D'accord pour ta solution
pascal16 a écrit:il me semble qu'on peut généraliser :

avec continuité
-> soit un point, soit un intervalle unique fermé (le premier cas étant inclus dans le second)


Je ne suis pas du tout d'accord avec ça. On perd une hypothèse important par rapport à l'exercice.
Ce n'est pas très difficile d'exhiber un contrexemple.

aviateur
Habitué(e)
Messages: 3853
Enregistré le: 19 Fév 2017, 11:59

Re: Analyse

par aviateur » 11 Jan 2019, 14:22

Rebonjour
L'hypothèse dit que f est 1-lipschitzienne et cela implique la continuité. La réciproque est fausse.

pascal16
Membre Légendaire
Messages: 6663
Enregistré le: 01 Mar 2017, 14:58
Localisation: Angoulème : Ville de la BD et du FFA. gare TGV

Re: Analyse

par pascal16 » 11 Jan 2019, 15:45

elle est en effet continue

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21482
Enregistré le: 11 Nov 2009, 23:53

Re: Analyse

par Ben314 » 12 Jan 2019, 04:31

Salut,
S'il y en a qui veulent chercher un truc semblable, dans un vieux post. on s'était posé la question suivante :
Soient f et g deux fonctions continues de [0,1] dans [0,1] telles que fog=gof.
Existe-t-il forcément (au moins) un x de [0,1] tel que f(x)=x=g(x) ?

Sachant que la question au départ était uniquement de montrer qu'il y avait au moins un x de [0,1] tel que f(x)=g(x)

Je n'ai ni preuve, ni contre exemple . . .
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

aviateur
Habitué(e)
Messages: 3853
Enregistré le: 19 Fév 2017, 11:59

Re: Analyse

par aviateur » 13 Jan 2019, 15:25

Bonjour, j'ai regardé et c'est pas évident du tout.
Ce qui est assez flippant dans cette question c'est le côté abstrait de l'hypothèse fog=gof.

Avatar de l’utilisateur
chan79
Modérateur
Messages: 10330
Enregistré le: 04 Mar 2007, 21:39

Re: Analyse

par chan79 » 13 Jan 2019, 21:44

Ben314 a écrit:Salut,
S'il y en a qui veulent chercher un truc semblable, dans un vieux post. on s'était posé la question suivante :
Soient f et g deux fonctions continues de [0,1] dans [0,1] telles que fog=gof.
Existe-t-il forcément (au moins) un x de [0,1] tel que f(x)=x=g(x) ?

Sachant que la question au départ était uniquement de montrer qu'il y avait au moins un x de [0,1] tel que f(x)=g(x)

Je n'ai ni preuve, ni contre exemple . . .

Salut
Pas facile déjà de trouver des exemples
Avec f(x)=1/4 et g(x)=x , un seul point fixe commun: 1/4
Avec f(x)=x² et g(x)= , deux points fixes communs: 0 et 1
Avec f(x)=-4x²+4x et g(x)=3/4, un point fixe commun: 3/4

Il y a une démonstration connue avec par exemple l'hypothèse supplémentaire: f décroissante.
On pose h(x)=f(x)-x
h est strictement décroissante sur [0;1]
h(0)=f(0)>=0
h(1)=f(1)-1<=0
il existe un unique a dans [0;1] tel que h(a)=0 et on a f(a)=a
g(f(a))=g(a)
g(f(a)=f(g(a))
donc f(g(a))=g(a) et h(g(a))=0 et donc enfin g(a)=a
finalement f(a)=g(a)=a

Autre démonstration (pas de moi) dans le cas où f est croissante:
g, continue de [0,1] dans [0;1] admet un point fixe b.
soit la suite:
x(0)=b
x(1)=f(x(0))
x(n+1)=f(x(n))
Comme f est croissante, la suite x(n) est croissante si x(0)<=x(1) ou décroissante dans le cas contraire. Comme elle est bornée, elle converge vers un nombre a et comme f est continue, on a f(a)=a.
g(x(0))=g(b)=b
g(x(1))=g(f(x(0))=f(g(x(0)))=f(b)=x(1)
on procède par récurrence
si g(x(n)))=x(n)
g(x(n+1))=g(f(x(n)))=f(g(x(n)))=f(x(n)))=x(n+1)
donc g(x(n))=x(n) pour tout n
Comme x(n) converge vers a et comme g est continue, g(a)=a
donc f(a)=g(a)=a

ffback
Membre Relatif
Messages: 101
Enregistré le: 08 Mar 2016, 21:54

Re: Analyse

par ffback » 19 Jan 2019, 17:29

De souvenirs de nos anciennes discussions sur le sujet, il en était sorti un lien vers un article construisant un contrexemple... Mais effectivement, construire des fonctions qui commutent c'est forcément un peu ch*** et à l'époque je n'avais pas eu la motivation de me plonger dans l'article en question. Mais donc en tout cas, si vous voulez continuer à réfléchir sur la question je vous conseille de chercher à prouver que la réponse est non ;)

Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21482
Enregistré le: 11 Nov 2009, 23:53

Re: Analyse

par Ben314 » 19 Jan 2019, 22:00

Bon, ben me voila rassuré : j'étais persuadé que c'était vrai et j'avais bien l'air con à pas arriver à le prouver . . .
Après, si le contre exemple est pourri, je sais pas si je vais trop chercher . . .
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius

 

Retourner vers ⚔ Défis et énigmes

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 9 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite