Cours 1 : Points fixes de fonctions monotones



Documents pareils
Image d un intervalle par une fonction continue

Limites finies en un point

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Théorème du point fixe - Théorème de l inversion locale

Amphi 3: Espaces complets - Applications linéaires continues

Leçon 01 Exercices d'entraînement

Continuité en un point

Chapitre 7 : Intégration sur un intervalle quelconque

Continuité et dérivabilité d une fonction

Continuité d une fonction de plusieurs variables

EXERCICE 4 (7 points ) (Commun à tous les candidats)

Chapitre 3. Mesures stationnaires. et théorèmes de convergence

Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre

Méthodes de quadrature. Polytech Paris-UPMC. - p. 1/48

Baccalauréat ES Polynésie (spécialité) 10 septembre 2014 Corrigé

Correction du baccalauréat ES/L Métropole 20 juin 2014

Baccalauréat ES Pondichéry 7 avril 2014 Corrigé

Raisonnement par récurrence Suites numériques

Cours de mathématiques

Intégration et probabilités TD1 Espaces mesurés

Résolution d équations non linéaires

Développements limités. Notion de développement limité

Simulation de variables aléatoires

Chapitre 2 Le problème de l unicité des solutions

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

Différentiabilité ; Fonctions de plusieurs variables réelles

Exercices Alternatifs. Une fonction continue mais dérivable nulle part

Chapitre 2. Eléments pour comprendre un énoncé

Commun à tous les candidats

Calcul différentiel. Chapitre Différentiabilité

Cours d Analyse. Fonctions de plusieurs variables

Logique. Plan du chapitre

Calcul fonctionnel holomorphe dans les algèbres de Banach

Intégration et probabilités TD1 Espaces mesurés Corrigé

Baccalauréat ES/L Amérique du Sud 21 novembre 2013

3 Approximation de solutions d équations

rf( 1 f(x)x dx = O. ) U concours externe de recrutement de professeurs agreg6s composition d analyse

n N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v t

Pourquoi l apprentissage?

Séminaire TEST. 1 Présentation du sujet. October 18th, 2013

Chp. 4. Minimisation d une fonction d une variable

Université Paris-Dauphine DUMI2E 1ère année, Applications

Équations non linéaires

Développements limités, équivalents et calculs de limites

Logique : ENSIIE 1A - contrôle final

La fonction exponentielle

Optimisation des fonctions de plusieurs variables

Utilisation des tableaux sémantiques dans les logiques de description

MIS 102 Initiation à l Informatique

Fonctions de plusieurs variables

Exercices Alternatifs. Une fonction continue mais dérivable nulle part

La NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.

Fonctions de plusieurs variables et applications pour l ingénieur

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

I. Polynômes de Tchebychev

Rappels sur les suites - Algorithme

Théorie de la Mesure et Intégration

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

CCP PSI Mathématiques 1 : un corrigé

Programmation linéaire

Cours de Master Recherche

Calcul différentiel sur R n Première partie

Baccalauréat S Antilles-Guyane 11 septembre 2014 Corrigé

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Fonctions de plusieurs variables

Marc HINDRY. Introduction et présentation. page 2. 1 Le langage mathématique page 4. 2 Ensembles et applications page 8

Chapitre 4: Dérivée d'une fonction et règles de calcul

Cours d Analyse 3 Fonctions de plusieurs variables

Calcul intégral élémentaire en plusieurs variables

MESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours

Manuel d utilisation 26 juin Tâche à effectuer : écrire un algorithme 2

Représentation d un entier en base b

Intégrale de Lebesgue

Espérance conditionnelle

Baccalauréat ES/L Métropole La Réunion 13 septembre 2013 Corrigé

Structures algébriques

Souad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://

Planche n o 22. Fonctions de plusieurs variables. Corrigé

Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications

ALGORITHMIQUE II NOTION DE COMPLEXITE. SMI AlgoII

Suites numériques 4. 1 Autres recettes pour calculer les limites

a et b étant deux nombres relatifs donnés, une fonction affine est une fonction qui a un nombre x associe le nombre ax + b

Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT

Cours 1 : Introduction Ordinateurs - Langages de haut niveau - Application

Cours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques

Généralités sur les fonctions 1ES

Fonctions de plusieurs variables. Sébastien Tordeux

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

Cours d Analyse I et II

3. Conditionnement P (B)

Présentation du Master Ingénierie Informatique et du Master Science Informatique , Année 2 Université Paris-Est Marne-la-Vallée

Initiation à l algorithmique

Fonctions de plusieurs variables et changements de variables

Programmation Linéaire - Cours 1

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Partie 1 - Séquence 3 Original d une fonction

Plus courts chemins, programmation dynamique

Exemples de problèmes et d applications. INF6953 Exemples de problèmes 1

Baccalauréat ES Antilles Guyane 12 septembre 2014 Corrigé

Transcription:

Université Bordeaux 1 INF569 Master d informatique Logique et Langages (2 - partie 2) Cours 1 : Points fixes de fonctions monotones Anne Dicky 7 novembre 2009 Table des matières 1 Exemples de points fixes 2 2 Ensembles ordonnés complets et fonctions continues pour l ordre 4 3 Théorèmes de point fixe dits «de Knaster-Tarski» 5 4 Exercices 7 1

1 Exemples de points fixes Limites de suites récurrentes On peut définir une suite réelle u n par son premier terme u 0 et une relation de récurrence u n+1 = f(u n ). On démontre facilement que si la fonction f est continue et que la suite admet une limite, cette limite est un point fixe de f. Cette propriété est utilisée pour calculer des valeurs approchées d un nombre lorsqu on sait que ce nombre est l unique point fixe d une fonction continue. Par exemple, l unique point fixe de la fonction f de [0, + [ dans lui-même définie par f(x) = x + 5 x + 1 est 5. On peut montrer que la suite définie par u 0 = 1 et u n+1 = f(u n ) est convergente ; par conséquent la suite u n a pour limite 5. f(x) y = x y = x+5 x+1 u 0 = 1 x Fig. 1 5 comme limite de suite récurrente Remarque: 5 est aussi bien l unique point fixe de la fonction g de [0, + [ dans lui-même définie par g(x) = 5 x. Mais, en général, les suites satisfaisant la relation u n+1 = g(u n ) ne convergent pas (les valeurs successives sont u 0, 5 u 0, u 0, 5 u 0,...) 2

Définitions inductives La définition inductive d un ensemble E est la donnée d éléments de base, et d opérations permettant d obtenir de nouveaux éléments à partir de ceux que l on a déjà. Le schéma général est (base) B E (induction) si X E, alors C(X) E où B est l ensemble des éléments de base, et C(X) désigne l ensemble des éléments qu on peut construire à partir des éléments d un ensemble X. E est par définition l ensemble des éléments que l on peut obtenir à partir des éléments de base en appliquant un nombre fini de fois les opérations de construction ; c est un point fixe de la fonction f(x) = B C(X), et plus précisément le plus petit des points fixes de f pour l inclusion d ensembles. Exemples: 1. La grammaire définie par les règles S b as engendre le langage a b, plus petit (et d ailleurs unique) point fixe de la fonction f : {a, b} {a, b} définie par f(s) = b as. 2. La grammaire définie par S ε asb engendre le langage {a n b n / n 0}, plus petit point fixe de la fonction f : {a, b} {a, b} définie par f(s) = {ε} asb. 3. La relation d accessibilité dans un graphe peut être définie de façon inductive : s = s 0 s est accessible depuis s 0 ou s est le successeur d un sommet accessible depuis s 0 ce qui revient à définir l ensemble Accessibles(s 0 ) comme le plus petit point fixe de la fonction f(x) = {s 0 } Successeurs(X). 3

2 Ensembles ordonnés complets et fonctions continues pour l ordre Définitions. Un ensemble ordonné E est dit sup-complet s il admet un plus petit élément (habituellement noté, bottom) et que toute partie non vide de E admet une borne supérieure. Symétriquement, E est dit inf-complet s il admet un plus grand élément (habituellement noté, top) et que toute partie non vide de E admet une borne inférieure. Un ensemble ordonné est dit complet s il est à la fois sup-complet et inf-complet. Exemples et contre-exemples: 1. L intervalle réel [0, 1] est complet pour l ordre usuel. 2. N n est pas sup-complet pour l ordre usuel (pas de plus grand élément). 3. N est complet pour la relation d ordre «divise» (le plus petit élément est 1, le plus grand élément est 0, la borne inférieure d une partie non vide X de N est le plus grand diviseur commun à tous les éléments de X ; la borne supérieure de X est le plus grand multiple commun à tous les éléments de X si X est fini, et 0 si X est infini). 4. L ensemble P(X) des parties de n importe quel ensemble X, ordonné par inclusion, est complet (la borne supérieure d un ensemble non vide de parties de X est la réunion de ces parties, la borne inférieure est leur intersection). Définition. On dit qu une fonction f d un ensemble ordonné complet E dans un ensemble ordonné complet F est continue à gauche (pour l ordre) si elle préserve les bornes supérieures, c est-à-dire si pour toute partie non vide X de E Sup {f(x) / x X} = f(sup X) On définit de même les fonctions continues à droite des ensembles ordonnés complets comme celles qui préservent les bornes inférieures. Remarques: 1. Une fonction continue (à gauche ou à droite) est nécessairement croissante : en effet, supposons f continue à gauche : si x y et par conséquent f(x) f(y). Sup {f(x), f(y)} = f(sup {x, y}) = f(y) 2. Mais une fonction croissante n est pas nécessairement continue : par exemple, la fonction f : [0, 1] [0, 1] définie par f(x) = 1 4 x si x < 1 2 et f(x) = 3 4 x si x 1 2 n est pas continue à gauche, puisque Sup f([0, 1 2 [) = 1 8 diffère de f(sup [0, 1 2 [) = f( 1 2 ) = 3 8. (Remarque : les fonctions de [0, 1] dans lui-même continues pour l ordre sont les fonctions croissantes qui sont continues au sens usuel du terme.) 4

3 Théorèmes de point fixe dits «de Knaster-Tarski» Ces théorèmes (dont on trouve de nombreuses versions dans la littérature) traitent d une part de l existence de points fixes de fonctions dans des ensembles ordonnés (qui permettent la définition formelle de certaines notions), d autre part du calcul de ces points fixes (par des algorithmes) : soit le calcul exact (quand on peut déterminer le point fixe en un nombre fini d étapes), soit un calcul approché (limite de suite infinie). Théorème de Knaster-Tarski 1 (existence). Toute application croissante f d un ensemble ordonné complet E dans lui-même admet un plus petit point fixe, qui est le plus petit élément x de E tel que f(x) x ; et un plus grand point fixe, qui est le plus grand élément x de E tel que x f(x). Démonstration. L ensemble I = {x E / f(x) x} n est pas vide (il contient ), il admet donc une borne inférieure a. Pour tout x de I on a a x, donc f(a) f(x) (puisque f est croissante), donc f(a) x (puisque f(x) x). Par conséquent f(a) est un minorant de I, et comme a est le plus grand minorant de I, f(a) a : en d autres termes, a I, et comme a minore I, a est le plus petit élément de I. De f(a) a on déduit f(f(a)) f(a) et par conséquent f(a) I. Donc a f(a) puisque a est le plus petit élément de I, et en définitive f(a) = a : a est un point fixe de f, et comme tout point fixe de f est élément de I, a est bien le plus petit point fixe de f. (Démonstration analogue pour le plus grand point fixe.) Exemple: Soit G = (V, E) un graphe orienté. Pour toute partie X de V, on note Pred (X) l ensemble des prédécesseurs des sommets de X : Pred (X) = {s V / s X, s s E} Soit X 0 une partie de V. La fonction f : P(V ) P(V ) définie par f(x) = X 0 Pred (X) est évidemment croissante pour l inclusion : elle admet donc un plus petit et un plus grand point fixe. Le plus petit point fixe de f est l ensemble Y des sommets depuis lesquels on peut atteindre un sommet de X 0 (définition inductive de la co-accessibilité : Y est le plus petit ensemble contenant X 0 et tel que Pred (Y ) Y ). Le plus grand point fixe de f est l ensemble Z = Y I où I est l ensemble des sommets depuis lesquels il existe dans le graphe un chemin infini : en effet I Pred (I) (évident) et Y = f(y ), donc Z = Y I f(y ) f(i), d où Z f(z) soit X une partie de V telle que X f(x), et soit s un sommet de X. Si s Y, a fortiori s Z. Sinon, de s f(x) et s / Y on déduit que s a dans X un successeur s 1 / Y ; par récurrence, on peut construire un chemin infini s = s 0 s 1 ; on a ainsi s I, donc là encore s Z. Z est donc bien le plus grand ensemble X tel que X f(x). 5

Théorème de Knaster-Tarski 2 (calcul comme limite de suite monotone). Si f est une application continue à gauche d un ensemble ordonné complet E dans lui-même, son plus petit point fixe est la borne supérieure de la suite x n définie par x 0 =, x n+1 = f(x n ). De même, si f est continue à droite, son plus grand point fixe est la borne inférieure de la suite f n ( ). Démonstration. L ensemble X = {x 0, x 1,, x n, } des éléments de la suite x n = f n ( ) admet une borne supérieure, et comme f est continue à gauche, Sup f(x) = f(sup X). Mais l ensemble f(x) = {f(x 0 ), f(x 1 ),, x n, } = {x 1, x 2,, x n+1, } est l ensemble des éléments de X, sauf peut-être x 0 = : il a donc même borne supérieure que X, et par conséquent Sup X = f(sup X) ; Sup X est ainsi un point fixe de f. Soit a un point fixe de f. Pour tout entier n, x n a : en effet, x 0 = a et si x n a, x n+1 = f(x n ) f(a) = a. Donc a est un majorant de X, et par suite Sup X a. En définitive, Sup X est le plus petit point fixe de f. (Démonstration analogue pour les plus grands points fixes.) Remarque. Il suffit que f soit croissante pour que la suite x n = f n ( ) soit croissante : en effet, x 0 = x 1 et pour tout n > 0, si x n 1 x n, alors f(x n 1 ) f(x n ) (puisque f est croissante), c est-à-dire x n x n+1. De même, si f est croissante, la suite f n ( ) est décroissante. Théorème de Knaster-Tarski 3 (calcul effectif). Soit f une application croissante d un ensemble ordonné E dans lui-même : si E admet un plus petit élément et si la suite croissante f n ( ) est constante à partir d un certain rang, sa valeur limite est le plus petit point fixe de f. De même, si E admet un plus grand élément et si la suite décroissante f n ( ) est stationnaire, sa valeur limite est le plus grand point fixe de f. Démonstration. Si la suite x n = f n ( ) est constante à partir du rang k, x k = x k+1 = f(x k ) et par conséquent x k est un point fixe de f. Soit a un point fixe de f. Pour tout entier n, x n a : en effet, x 0 = a et si x n a, x n+1 = f(x n ) f(a) = a. En particulier, x k a : x k est donc bien le plus petit point fixe de f. (Démonstration analogue pour les plus grands points fixes.) Remarque. Le calcul des plus petit et plus grand points fixes comme limites de suites monotones est toujours effectif si E est fini : en effet, dans un ensemble fini, toute suite monotone est stationnaire. 6

4 Exercices Exercice 1. Soit (V, E) l arbre infini dont les sommets sont les couples d entiers (n, p) tels que n p 0 et les arcs, tous les (0, 0) (n, 0) (pour n > 0) et tous les (n, p) (n, p + 1) (pour n > p 0) : (0, 0) (1, 0) (1, 1) (2, 0) (2, 1) (2, 2) (n, 0) (n, 1) (n, 2) (n, n) 1. Déterminer le plus grand point fixe de la fonction Pred. 2. Déterminer la limite de la suite Pred n (V ). Qu en conclure? Exercice 2. Montrer que la composante fortement connexe d un sommet donné s 0 est un point fixe de la fonction f : P(V ) P(V ) définie par Est-ce toujours le plus petit? ou le plus grand? f(x) = {s 0 } (Succ (X) Pred (X)) Exercice 3. La plupart des jeux de patience (réussites, jeux de Solitaire...) peuvent être modélisés par des graphes orientés dont les sommets représentent les configurations possibles du jeu, et les arcs représentent les coups possibles du joueur, les configurations gagnantes constituant un ensemble G de sommets. Une partie correspond à un chemin (fini ou infini) dans le graphe : si le chemin atteint un sommet de G, la partie est gagnée. Une position gagnante, pour le joueur, est une configuration depuis laquelle il existe une possibilité de gagner. 1. Exprimer comme un plus petit point fixe l ensemble des positions gagnantes. 2. Montrer que, dans le cas où toute partie est finie (graphe sans cycle), l ensemble des positions gagnantes peut s exprimer comme un plus grand point fixe. Exercice 4. Soient f et g des fonctions croissantes d un ensemble ordonné complet E dans luimême. On suppose que, pour tout x E, f(x) g(x). Montrer que le plus petit point fixe de f est inférieur ou égal au plus petit point fixe de g. A-t-on un résultat analogue pour les plus grands points fixes? 7