Aspects structurels des pavages
|
|
- Émilie Vincent
- il y a 7 ans
- Total affichages :
Transcription
1 Aspects structurels des pavages E. Jeandel Marseille, France, Monde 3 décembre 2007 E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 1/35
2 Puzzle Mais qu est ce que c est que cette image? Etant donné des pièces de puzzle en quantité infinie, peut-on faire un puzzle infini dans toutes les directions? E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 2/35
3 Réponse Ce puzzle n était pas très dur E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 3/35
4 Réponse Ce puzzle n était pas très dur E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 3/35
5 Réponse Ce puzzle n était pas très dur E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 3/35
6 Formalisation : Tuiles de Wang Tout cela devient plus carré Un jeu de tuiles de Wang est donc donné par un ensemble de couleurs, et, pour chaque tuile, par un quadruplet de couleur. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 4/35
7 Rotation des tuiles de Wang C est mal Contrairement aux pièces de puzzle, on interdit les rotations des tuiles de Wang. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 5/35
8 Rotation des tuiles de Wang C est mal Contrairement aux pièces de puzzle, on interdit les rotations des tuiles de Wang. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 5/35
9 Rotation des tuiles de Wang C est mal Contrairement aux pièces de puzzle, on interdit les rotations des tuiles de Wang. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 5/35
10 Rotation des tuiles de Wang C est mal Contrairement aux pièces de puzzle, on interdit les rotations des tuiles de Wang. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 5/35
11 Rotation des tuiles de Wang C est mal Contrairement aux pièces de puzzle, on interdit les rotations des tuiles de Wang. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 5/35
12 Exemple Avec des drapeaux E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 6/35
13 Exemple Avec des drapeaux E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 6/35
14 Exemple Avec des drapeaux E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 6/35
15 Exemple Avec des drapeaux E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 6/35
16 Exemple Avec des drapeaux E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 6/35
17 Exemple Avec des drapeaux E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 6/35
18 Quelques définitions Parce qu il en faut bien Une configuration est une application qui associe à chaque point de Z Z une tuile. On dit que c est un pavage si l agencement des tuiles est correct. Le translaté d un pavage est encore un pavage. Une configuration dont tous les motifs finis sont correctement pavés est un pavage. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 7/35
19 Quelques définitions Parce qu il en faut bien Une configuration est une application qui associe à chaque point de Z Z une tuile. On dit que c est un pavage si l agencement des tuiles est correct. Le translaté d un pavage est encore un pavage. Une configuration dont tous les motifs finis sont correctement pavés est un pavage. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 7/35
20 Quelques définitions Parce qu il en faut bien Une configuration est une application qui associe à chaque point de Z Z une tuile. On dit que c est un pavage si l agencement des tuiles est correct. Le translaté d un pavage est encore un pavage. Une configuration dont tous les motifs finis sont correctement pavés est un pavage. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 7/35
21 La question Mais sans la réponse Étant donné un ensemble de tuiles de Wang, est-ce que cet ensemble permet de paver le plan? E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 8/35
22 Compacité Le principe le plus important de l exposé Proposition Un ensemble de tuiles de Wang permet de paver le plan tout entier si et seulement si il permet de paver tout carré n n Corollaire Il existe un algorithme qui étant donné un ensemble de tuiles de Wang répond non s il ne pave pas le plan, et boucle sinon. facile. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 9/35
23 Compacité Le principe le plus important de l exposé Proposition Un ensemble de tuiles de Wang permet de paver le plan tout entier si et seulement si il permet de paver tout carré n n Corollaire Il existe un algorithme qui étant donné un ensemble de tuiles de Wang répond non s il ne pave pas le plan, et boucle sinon. facile. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 9/35
24 Compacité Le principe le plus important de l exposé Proposition Un ensemble de tuiles de Wang permet de paver le plan tout entier si et seulement si il permet de paver tout carré n n Corollaire Il existe un algorithme qui étant donné un ensemble de tuiles de Wang répond non s il ne pave pas le plan, et boucle sinon. facile. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 9/35
25 Preuve sans dessin Idée : Soit C n un carré bien pavé de taille (n + 1) (n + 1) Il y a un nombre fini de tuiles possibles au centre d un carré. Il y a donc une tuile qui se trouve au centre d un nombre infini de carrés. Dans cet ensemble de carrés, il y a un nombre fini de façons de remplir le carré 3 3 au centre, il existe donc un carré 3 3 au centre d un nombre infini de carrés On continue. On construit ainsi par récurrence une suite D n de carrés centrés en 0 de taille (n + 1) (n + 1) telle que D n soit au centre de D n+1 et D n apparaît dans un nombre infini de carrés. La limite D = lim D n est alors un pavage du plan. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 10/35
26 Preuve sans dessin Idée : Soit C n un carré bien pavé de taille (n + 1) (n + 1) Il y a un nombre fini de tuiles possibles au centre d un carré. Il y a donc une tuile qui se trouve au centre d un nombre infini de carrés. Dans cet ensemble de carrés, il y a un nombre fini de façons de remplir le carré 3 3 au centre, il existe donc un carré 3 3 au centre d un nombre infini de carrés On continue. On construit ainsi par récurrence une suite D n de carrés centrés en 0 de taille (n + 1) (n + 1) telle que D n soit au centre de D n+1 et D n apparaît dans un nombre infini de carrés. La limite D = lim D n est alors un pavage du plan. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 10/35
27 Preuve sans dessin Idée : Soit C n un carré bien pavé de taille (n + 1) (n + 1) Il y a un nombre fini de tuiles possibles au centre d un carré. Il y a donc une tuile qui se trouve au centre d un nombre infini de carrés. Dans cet ensemble de carrés, il y a un nombre fini de façons de remplir le carré 3 3 au centre, il existe donc un carré 3 3 au centre d un nombre infini de carrés On continue. On construit ainsi par récurrence une suite D n de carrés centrés en 0 de taille (n + 1) (n + 1) telle que D n soit au centre de D n+1 et D n apparaît dans un nombre infini de carrés. La limite D = lim D n est alors un pavage du plan. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 10/35
28 Preuve sans dessin Idée : Soit C n un carré bien pavé de taille (n + 1) (n + 1) Il y a un nombre fini de tuiles possibles au centre d un carré. Il y a donc une tuile qui se trouve au centre d un nombre infini de carrés. Dans cet ensemble de carrés, il y a un nombre fini de façons de remplir le carré 3 3 au centre, il existe donc un carré 3 3 au centre d un nombre infini de carrés On continue. On construit ainsi par récurrence une suite D n de carrés centrés en 0 de taille (n + 1) (n + 1) telle que D n soit au centre de D n+1 et D n apparaît dans un nombre infini de carrés. La limite D = lim D n est alors un pavage du plan. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 10/35
29 Preuve sans dessin Idée : Soit C n un carré bien pavé de taille (n + 1) (n + 1) Il y a un nombre fini de tuiles possibles au centre d un carré. Il y a donc une tuile qui se trouve au centre d un nombre infini de carrés. Dans cet ensemble de carrés, il y a un nombre fini de façons de remplir le carré 3 3 au centre, il existe donc un carré 3 3 au centre d un nombre infini de carrés On continue. On construit ainsi par récurrence une suite D n de carrés centrés en 0 de taille (n + 1) (n + 1) telle que D n soit au centre de D n+1 et D n apparaît dans un nombre infini de carrés. La limite D = lim D n est alors un pavage du plan. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 10/35
30 Conjecture dûe à Wang Conjecture Tout jeu de tuiles admet un pavage périodique. Un pavage est dit périodique s il a une période horizontale et une période verticale. Corollaire Il existe un algorithme qui étant donné un jeu de tuiles répond oui s il pave le plan, et boucle sinon. On cherche, pour chaque n, toutes les façons de paver un carré n n. Si on en trouve une qui permet de paver périodiquement le plan, on s arrête. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 11/35
31 Conjecture dûe à Wang Conjecture Tout jeu de tuiles admet un pavage périodique. Un pavage est dit périodique s il a une période horizontale et une période verticale. Corollaire Il existe un algorithme qui étant donné un jeu de tuiles répond oui s il pave le plan, et boucle sinon. On cherche, pour chaque n, toutes les façons de paver un carré n n. Si on en trouve une qui permet de paver périodiquement le plan, on s arrête. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 11/35
32 Corollaire de la Conjecture qui est fausse, mais chut! il ne faut pas le dire Corollaire Il existe un algorithme qui étant donné un jeu de tuiles répond oui s il pave le plan, et non sinon. On lance les deux algorithmes précédents, et on attend qu un des deux s arrête. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 12/35
33 Comment prouver la conjecture toujours aussi fausse Un pavage périodique du plan de période p ne contient qu au maximum p 2 motifs distincts de taille n n. D un certain côté, on pourrait dire que les pavages périodiques sont ceux qui ont le moins de motifs. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 13/35
34 Ordre Défini à partir des motifs X Y si tout motif présent dans X est aussi présent dans Y. Pour prouver la conjecture, il faudrait Démontrer que tout jeu de tuiles engendre un pavage minimal. Que ce pavage minimal est périodique. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 14/35
35 Ordre Défini à partir des motifs X Y si tout motif présent dans X est aussi présent dans Y. Pour prouver la conjecture, il faudrait Démontrer que tout jeu de tuiles engendre un pavage minimal. Que ce pavage minimal est périodique. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 14/35
36 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
37 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
38 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
39 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
40 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
41 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
42 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
43 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
44 Un exemple Avec des carrés E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 15/35
45 Retour sur l exemple Avec un joli diagramme de Hasse E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 16/35
46 Premières propriétés et autres reformulations est un préordre A X si et seulement si A ne contient pas de motifs non présents dans X Si A X alors A peut s écrire comme la limite de motifs P i, chacun des motifs P i étant contenu dans X. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 17/35
47 Premières propriétés et autres reformulations est un préordre A X si et seulement si A ne contient pas de motifs non présents dans X Si A X alors A peut s écrire comme la limite de motifs P i, chacun des motifs P i étant contenu dans X. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 17/35
48 Premières propriétés et autres reformulations est un préordre A X si et seulement si A ne contient pas de motifs non présents dans X Si A X alors A peut s écrire comme la limite de motifs P i, chacun des motifs P i étant contenu dans X. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 17/35
49 Premières propriétés Equivalence On dit que X Y si X Y et Y X Autrement dit, X et Y ont les mêmes motifs. Si X est un translaté de Y, X Y. Il existe d autres cas. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 18/35
50 Premières propriétés Equivalence On dit que X Y si X Y et Y X Autrement dit, X et Y ont les mêmes motifs. Si X est un translaté de Y, X Y. Il existe d autres cas. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 18/35
51 Premières propriétés Equivalence On dit que X Y si X Y et Y X Autrement dit, X et Y ont les mêmes motifs. Si X est un translaté de Y, X Y. Il existe d autres cas. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 18/35
52 Premières propriétés Equivalence On dit que X Y si X Y et Y X Autrement dit, X et Y ont les mêmes motifs. Si X est un translaté de Y, X Y. Il existe d autres cas. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 18/35
53 Propriétés closes Héritage Si X Y et si X est une configuration et que Y est un pavage, alors X est en fait un pavage. Si X Y et Y a un vecteur v de périodicité, alors X aussi. Si X Y et Y est périodique de période p, alors X aussi. En fait X Y. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 19/35
54 Propriétés closes Héritage Si X Y et si X est une configuration et que Y est un pavage, alors X est en fait un pavage. Si X Y et Y a un vecteur v de périodicité, alors X aussi. Si X Y et Y est périodique de période p, alors X aussi. En fait X Y. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 19/35
55 Propriétés closes Héritage Si X Y et si X est une configuration et que Y est un pavage, alors X est en fait un pavage. Si X Y et Y a un vecteur v de périodicité, alors X aussi. Si X Y et Y est périodique de période p, alors X aussi. En fait X Y. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 19/35
56 Le langage des motifs Outil pour manipuler l ordre Si X est un pavage, on note L(X) l ensemble des motifs que contient X. X Y L(X) L(Y ) E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 20/35
57 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
58 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
59 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
60 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
61 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
62 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
63 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
64 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
65 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
66 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
67 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
68 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
69 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. 4 Si M 1 et M 2 sont deux motifs de S, il existe M dans S qui contient les deux à la fois. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
70 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. 4 Si M 1 et M 2 sont deux motifs de S, il existe M dans S qui contient les deux à la fois. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
71 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. 4 Si M 1 et M 2 sont deux motifs de S, il existe M dans S qui contient les deux à la fois. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
72 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. 4 Si M 1 et M 2 sont deux motifs de S, il existe M dans S qui contient les deux à la fois. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
73 Propriété du langage L ensemble des motifs S(T ) d un pavage T vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. 4 Si M 1 et M 2 sont deux motifs de S, il existe M dans S qui contient les deux à la fois. Et la réciproque est vraie : Pour tout ensemble S qui vérifie ses propriétés, on peut trouver un pavage T tel que S = S(T ). E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 21/35
74 Propriété du langage Réciproque Soit M n la liste (infinie) des motifs de S. On va construire une suite croissante C n de motifs centrés en 0 telle que C n contienne tous les motifs de 1 à n. C n E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 22/35
75 Propriété du langage Réciproque Soit M n la liste (infinie) des motifs de S. On va construire une suite croissante C n de motifs centrés en 0 telle que C n contienne tous les motifs de 1 à n. M n+1 C n E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 22/35
76 Propriété du langage Réciproque Soit M n la liste (infinie) des motifs de S. On va construire une suite croissante C n de motifs centrés en 0 telle que C n contienne tous les motifs de 1 à n. M n+1 C n E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 22/35
77 Propriété du langage Réciproque Soit M n la liste (infinie) des motifs de S. On va construire une suite croissante C n de motifs centrés en 0 telle que C n contienne tous les motifs de 1 à n. M n+1 C n E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 22/35
78 Propriété du langage Réciproque Soit M n la liste (infinie) des motifs de S. On va construire une suite croissante C n de motifs centrés en 0 telle que C n contienne tous les motifs de 1 à n. C n+1 E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 22/35
79 Propriété des langages Fin Soit un ensemble de motifs S qui vérifie : 1 S est non vide 2 Tout sous-motif d un motif de S est aussi dans S. 3 Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. Alors il existe un pavage dont l ensemble des motifs est inclus dans S. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 23/35
80 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
81 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). S est non vide. Tout sous-motif d un motif de S est aussi dans S. Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. Soit M et N deux motifs de S. Ils appartiennent à S(T i ) et S(T j ). On peut supposer T i T j (puisque E est ordonné). Dans ce cas M et N appartiennent tous les deux à S(T j ) donc on peut trouver un motif qui les contient tous deux. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
82 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). S est non vide. Tout sous-motif d un motif de S est aussi dans S. Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. Soit M et N deux motifs de S. Ils appartiennent à S(T i ) et S(T j ). On peut supposer T i T j (puisque E est ordonné). Dans ce cas M et N appartiennent tous les deux à S(T j ) donc on peut trouver un motif qui les contient tous deux. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
83 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). S est non vide. Tout sous-motif d un motif de S est aussi dans S. Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. Soit M et N deux motifs de S. Ils appartiennent à S(T i ) et S(T j ). On peut supposer T i T j (puisque E est ordonné). Dans ce cas M et N appartiennent tous les deux à S(T j ) donc on peut trouver un motif qui les contient tous deux. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
84 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). S est non vide. Tout sous-motif d un motif de S est aussi dans S. Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. Soit M et N deux motifs de S. Ils appartiennent à S(T i ) et S(T j ). On peut supposer T i T j (puisque E est ordonné). Dans ce cas M et N appartiennent tous les deux à S(T j ) donc on peut trouver un motif qui les contient tous deux. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
85 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). S est non vide. Tout sous-motif d un motif de S est aussi dans S. Tout motif M de S est prolongeable en un motif de S plus grand qui contient M en son centre. Soit M et N deux motifs de S. Ils appartiennent à S(T i ) et S(T j ). On peut supposer T i T j (puisque E est ordonné). Dans ce cas M et N appartiennent tous les deux à S(T j ) donc on peut trouver un motif qui les contient tous deux. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
86 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). Il existe un pavage U dont l ensemble des motifs est exactement S(T ). U est plus grand que tous les éléments de E U est le plus petit parmi les plus grands. Donc U est bien la borne sup de E. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
87 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). Il existe un pavage U dont l ensemble des motifs est exactement S(T ). U est plus grand que tous les éléments de E U est le plus petit parmi les plus grands. Donc U est bien la borne sup de E. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
88 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). Il existe un pavage U dont l ensemble des motifs est exactement S(T ). U est plus grand que tous les éléments de E U est le plus petit parmi les plus grands. Donc U est bien la borne sup de E. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
89 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ). Il existe un pavage U dont l ensemble des motifs est exactement S(T ). U est plus grand que tous les éléments de E U est le plus petit parmi les plus grands. Donc U est bien la borne sup de E. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
90 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ).... E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
91 Corollaire Une première propriété de l ordre Théorème Tout ensemble E totalement ordonné pour a une borne supérieure. Démonstration. Pour chaque pavage T de E, soit S(T ) son ensemble de motifs. Posons enfin S = T S(T ).... Corollaire Il existe un pavage maximal. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 24/35
92 On ne fait pas tout ça pour rien Le but est de montrer qu il existe un pavage minimal, puis qu il existe un pavage périodique. On pourrait utiliser un raisonnement similaire, en faisant une intersection au lieu d une union, mais on va faire autrement. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 25/35
93 Existence d un minimal Preuve constructive Idée : On va construire un langage qui ne contient que des motifs qui sont nécessaires. Un motif est nécessaire s il est impossible de paver sans utiliser ce motif. Numérotons tous les motifs M n. On construit deux langages L p contient les motifs nécessaires parmi les p premiers motifs U p contient les motifs inutiles parmi les p premiers motifs Pour chaque motif M p+1 S il existe un pavage qui n utilise aucun des motifs de U p ni M p+1, poser U p+1 := U p {M p+1 } Sinon poser L p+1 := L p {M p+1 }. Enfin L = L p E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 26/35
94 Existence d un minimal Preuve (suite) L est non vide : il contient au moins un motif 1 1 Tout sous-motif d un motif de L est dans L : Si on n arrive pas à se passer de M, on ne peut pas se passer des motifs qu il contient. Tout motif M est prolongeable : Si on n arrive pas à se passer d un M de taille n n, c est qu on n arrive pas à se passer d un des motifs de taille (n + 2) (n + 2) qui contiennent M. En conclusion, il existe un pavage T tel que S(T ) L. Par construction, T est minimal (et en fait S(T ) = L. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 27/35
95 Existence d un minimal Preuve (suite) L est non vide : il contient au moins un motif 1 1 Tout sous-motif d un motif de L est dans L : Si on n arrive pas à se passer de M, on ne peut pas se passer des motifs qu il contient. Tout motif M est prolongeable : Si on n arrive pas à se passer d un M de taille n n, c est qu on n arrive pas à se passer d un des motifs de taille (n + 2) (n + 2) qui contiennent M. En conclusion, il existe un pavage T tel que S(T ) L. Par construction, T est minimal (et en fait S(T ) = L. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 27/35
96 Existence d un minimal Preuve (suite) L est non vide : il contient au moins un motif 1 1 Tout sous-motif d un motif de L est dans L : Si on n arrive pas à se passer de M, on ne peut pas se passer des motifs qu il contient. Tout motif M est prolongeable : Si on n arrive pas à se passer d un M de taille n n, c est qu on n arrive pas à se passer d un des motifs de taille (n + 2) (n + 2) qui contiennent M. En conclusion, il existe un pavage T tel que S(T ) L. Par construction, T est minimal (et en fait S(T ) = L. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 27/35
97 Existence d un minimal Preuve (suite) L est non vide : il contient au moins un motif 1 1 Tout sous-motif d un motif de L est dans L : Si on n arrive pas à se passer de M, on ne peut pas se passer des motifs qu il contient. Tout motif M est prolongeable : Si on n arrive pas à se passer d un M de taille n n, c est qu on n arrive pas à se passer d un des motifs de taille (n + 2) (n + 2) qui contiennent M. En conclusion, il existe un pavage T tel que S(T ) L. Par construction, T est minimal (et en fait S(T ) = L. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 27/35
98 Minimaux Espoir On a prouvé qu il existait toujours un minimal. Il reste à prouver que les minimaux sont périodiques. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 28/35
99 Minimaux Quasipériodicité Théorème Un pavage minimal T est quasipériodique : Pour tout motif M, il existe une taille p tel que M soit contenu dans tout motif de taille p p. Idée : si on trouve dans T des motifs arbitrairement grands qui ne contiennent pas M, on peut construire un pavage inférieur à T qui ne contient pas M. Il reste à montrer que T est en fait périodique. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 29/35
100 Quasipériodicité Echec Théorème Il existe un jeu de tuiles de Wang qui ne permet de construire aucun pavage périodique. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 30/35
101 Quasipériodicité Echec illustré E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 31/35
102 Première conclusion C est raté pour la conjecture La conjecture de Wang s effondre. (Berger, 64) Cependant, on a démontré que tout jeu de tuiles produisait un pavage quasipériodique (Durand, 97) E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 32/35
103 Deuxième conclusion Indécidabilité La conjecture de Wang, si elle était vraie, permettait de prouver qu il existe un algorithme qui décide si un jeu de tuiles pave le plan. Théorème Il n existe aucun algorithme qui permette de décider si un jeu de tuile pave le plan. E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 33/35
104 Vraie conclusion Mais il y a encore des transparents On a présenté les tuiles de Wang On a essayé de les étudier à travers un ordre naturel dessus Notre étude a permis de démontrer qu il existait toujours un pavage quasipériodique, mais n a pas réussi à montrer qu il existait toujours un périodique (puisque c est faux) E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 34/35
105 Prolongations Cette fois c est fini On a étudié les pavages d un point de vue combinatoire, mais on peut aussi Les étudier comme un système dynamique (me demander) Les étudier d un point de vue topologique (me demander) Les étudier d un point de vue théorie des modèles (me demander) Les étudier d un point de vue ergodique (ne pas me demander) Les étudier d un point de vue quasicristaux (oublier) E. Jeandel, Marseille, France, Monde Aspects structurels des pavages 35/35
Intégration et probabilités TD1 Espaces mesurés Corrigé
Intégration et probabilités TD1 Espaces mesurés Corrigé 2012-2013 1 Petites questions 1 Est-ce que l ensemble des ouverts de R est une tribu? Réponse : Non, car le complémentaire de ], 0[ n est pas ouvert.
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailIntégration et probabilités TD1 Espaces mesurés
Intégration et probabilités TD1 Espaces mesurés 2012-2013 1 Petites questions 1) Est-ce que l ensemble des ouverts de R est une tribu? 2) Si F et G sont deux tribus, est-ce que F G est toujours une tribu?
Plus en détailLa fonction exponentielle
DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)
Plus en détailTâche complexe produite par l académie de Clermont-Ferrand. Mai 2012 LE TIR A L ARC. (d après une idée du collège des Portes du Midi de Maurs)
(d après une idée du collège des Portes du Midi de Maurs) Table des matières Fiche professeur... 2 Fiche élève... 5 1 Fiche professeur Niveaux et objectifs pédagogiques 5 e : introduction ou utilisation
Plus en détailBac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)
Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures) Eercice 1 (5 points) pour les candidats n ayant pas choisi la spécialité MATH Le tableau suivant donne l évolution du chiffre
Plus en détailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détailAmphi 3: Espaces complets - Applications linéaires continues
Amphi 3: Espaces complets - Applications linéaires continues Département de Mathématiques École polytechnique Remise en forme mathématique 2013 Suite de Cauchy Soit (X, d) un espace métrique. Une suite
Plus en détailCommun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Plus en détailComparaison de fonctions Développements limités. Chapitre 10
PCSI - 4/5 www.ericreynaud.fr Chapitre Points importants 3 Questions de cours 6 Eercices corrigés Plan du cours 4 Eercices types 7 Devoir maison 5 Eercices Chap Et s il ne fallait retenir que si points?
Plus en détailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
Plus en détailFonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
Plus en détailSuites numériques 3. 1 Convergence et limite d une suite
Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Plus en détailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailCalcul fonctionnel holomorphe dans les algèbres de Banach
Chapitre 7 Calcul fonctionnel holomorphe dans les algèbres de Banach L objet de ce chapitre est de définir un calcul fonctionnel holomorphe qui prolonge le calcul fonctionnel polynômial et qui respecte
Plus en détailSOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique
SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique DOMAINE P3.C3.D1. Pratiquer une démarche scientifique et technologique, résoudre des
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
Plus en détailBaccalauréat S Antilles-Guyane 11 septembre 2014 Corrigé
Baccalauréat S ntilles-guyane 11 septembre 14 Corrigé EXERCICE 1 6 points Commun à tous les candidats Une entreprise de jouets en peluche souhaite commercialiser un nouveau produit et à cette fin, effectue
Plus en détailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
Plus en détailExo7. Limites de fonctions. 1 Théorie. 2 Calculs
Eo7 Limites de fonctions Théorie Eercice Montrer que toute fonction périodique et non constante n admet pas de ite en + Montrer que toute fonction croissante et majorée admet une ite finie en + Indication
Plus en détailLa mesure de Lebesgue sur la droite réelle
Chapitre 1 La mesure de Lebesgue sur la droite réelle 1.1 Ensemble mesurable au sens de Lebesgue 1.1.1 Mesure extérieure Définition 1.1.1. Un intervalle est une partie convexe de R. L ensemble vide et
Plus en détailFonctions homographiques
Seconde-Fonctions homographiques-cours Mai 0 Fonctions homographiques Introduction Voir le TP Géogébra. La fonction inverse. Définition Considérons la fonction f définie par f() =. Alors :. f est définie
Plus en détailCalcul différentiel sur R n Première partie
Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité
Plus en détail1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles)
1/4 Objectif de ce cours /4 Objectifs de ce cours Introduction au langage C - Cours Girardot/Roelens Septembre 013 Du problème au programme I passer d un problème exprimé en français à la réalisation d
Plus en détailExercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT
Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT Ces exercices portent sur les items 2, 3 et 5 du programme d informatique des classes préparatoires,
Plus en détailRappels sur les suites - Algorithme
DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................
Plus en détailF1C1/ Analyse. El Hadji Malick DIA
F1C1/ Analyse Présenté par : El Hadji Malick DIA dia.elmalick1@gmail.com Description sommaire du cours Porte sur l analyse réelle propose des outils de travail sur des éléments de topologie élémentaire
Plus en détailDe 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
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailSoit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.
ANALYSE 5 points Exercice 1 : Léonie souhaite acheter un lecteur MP3. Le prix affiché (49 ) dépasse largement la somme dont elle dispose. Elle décide donc d économiser régulièrement. Elle a relevé qu elle
Plus en détailDÉRIVÉES. I Nombre dérivé - Tangente. Exercice 01 (voir réponses et correction) ( voir animation )
DÉRIVÉES I Nombre dérivé - Tangente Eercice 0 ( voir animation ) On considère la fonction f définie par f() = - 2 + 6 pour [-4 ; 4]. ) Tracer la représentation graphique (C) de f dans un repère d'unité
Plus en détailFactorisation Factoriser en utilisant un facteur commun Fiche méthode
Factorisation Factoriser en utilisant un facteur commun Fiche méthode Rappel : Distributivité simple Soient les nombres, et. On a : Factoriser, c est transformer une somme ou une différence de termes en
Plus en détailEquations cartésiennes d une droite
Equations cartésiennes d une droite I) Vecteur directeur d une droite : 1) Définition Soit (d) une droite du plan. Un vecteur directeur d une droite (d) est un vecteur non nul la même direction que la
Plus en détailRésolution de systèmes linéaires par des méthodes directes
Résolution de systèmes linéaires par des méthodes directes J. Erhel Janvier 2014 1 Inverse d une matrice carrée et systèmes linéaires Ce paragraphe a pour objet les matrices carrées et les systèmes linéaires.
Plus en détailChapitre 6. Fonction réelle d une variable réelle
Chapitre 6 Fonction réelle d une variable réelle 6. Généralités et plan d étude Une application de I dans R est une correspondance entre les éléments de I et ceu de R telle que tout élément de I admette
Plus en détailCalcul intégral élémentaire en plusieurs variables
Calcul intégral élémentaire en plusieurs variables PC*2 2 septembre 2009 Avant-propos À part le théorème de Fubini qui sera démontré dans le cours sur les intégrales à paramètres et qui ne semble pas explicitement
Plus en détailLogiciel SCRATCH FICHE 02
1. Reprise de la fiche 1: 1.1. Programme Figure : Logiciel SCRATCH FICHE 02 SANS ORDINATEUR : Dessiner à droite le dessin que donnera l'exécution de ce programme : Unité : 50 pas : Remarque : vous devez
Plus en détailApproximation diophantienne uniforme et dimension de Hausdorff
Approximation diophantienne uniforme et dimension de Hausdorff Lingmin LIAO Travaux en collaboration avec Yann Bugeaud, Dong Han Kim et Micha l Rams Université Paris-Est Créteil Séminaire de Probabilités
Plus en détailAC AB. A B C x 1. x + 1. d où. Avec un calcul vu au lycée, on démontre que cette solution admet deux solutions dont une seule nous intéresse : x =
LE NOMBRE D OR Présentation et calcul du nombre d or Euclide avait trouvé un moyen de partager en deu un segment selon en «etrême et moyenne raison» Soit un segment [AB]. Le partage d Euclide consiste
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Plus en détailI. Polynômes de Tchebychev
Première épreuve CCP filière MP I. Polynômes de Tchebychev ( ) 1.a) Tout réel θ vérifie cos(nθ) = Re ((cos θ + i sin θ) n ) = Re Cn k (cos θ) n k i k (sin θ) k Or i k est réel quand k est pair et imaginaire
Plus en détailRéalisabilité et extraction de programmes
Mercredi 9 mars 2005 Extraction de programme: qu'est-ce que c'est? Extraire à partir d'une preuve un entier x N tel que A(x). π x N A(x) (un témoin) (En fait, on n'extrait pas un entier, mais un programme
Plus en détailChapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme
Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet
Plus en détailMesures gaussiennes et espaces de Fock
Mesures gaussiennes et espaces de Fock Thierry Lévy Peyresq - Juin 2003 Introduction Les mesures gaussiennes et les espaces de Fock sont deux objets qui apparaissent naturellement et peut-être, à première
Plus en détailCapacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
Plus en détailCours Fonctions de deux variables
Cours Fonctions de deux variables par Pierre Veuillez 1 Support théorique 1.1 Représentation Plan et espace : Grâce à un repère cartésien ( ) O, i, j du plan, les couples (x, y) de R 2 peuvent être représenté
Plus en détailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détailDéfinitions. Numéro à préciser. (Durée : )
Numéro à préciser (Durée : ) On étudie dans ce problème l ordre lexicographique pour les mots sur un alphabet fini et plusieurs constructions des cycles de De Bruijn. Les trois parties sont largement indépendantes.
Plus en détail3. Conditionnement P (B)
Conditionnement 16 3. Conditionnement Dans cette section, nous allons rappeler un certain nombre de définitions et de propriétés liées au problème du conditionnement, c est à dire à la prise en compte
Plus en détailI Stabilité, Commandabilité et Observabilité 11. 1 Introduction 13 1.1 Un exemple emprunté à la robotique... 13 1.2 Le plan... 18 1.3 Problème...
TABLE DES MATIÈRES 5 Table des matières I Stabilité, Commandabilité et Observabilité 11 1 Introduction 13 1.1 Un exemple emprunté à la robotique................... 13 1.2 Le plan...................................
Plus en détailQuelques algorithmes simples dont l analyse n est pas si simple
Quelques algorithmes simples dont l analyse n est pas si simple Michel Habib habib@liafa.jussieu.fr http://www.liafa.jussieu.fr/~habib Algorithmique Avancée M1 Bioinformatique, Octobre 2008 Plan Histoire
Plus en détailBACCALAURÉAT GÉNÉRAL SESSION 2012 OBLIGATOIRE MATHÉMATIQUES. Série S. Durée de l épreuve : 4 heures Coefficient : 7 ENSEIGNEMENT OBLIGATOIRE
BACCALAURÉAT GÉNÉRAL SESSION 2012 MATHÉMATIQUES Série S Durée de l épreuve : 4 heures Coefficient : 7 ENSEIGNEMENT OBLIGATOIRE Les calculatrices électroniques de poche sont autorisées, conformément à la
Plus en détailchapitre 4 Nombres de Catalan
chapitre 4 Nombres de Catalan I Dénitions Dénition 1 La suite de Catalan (C n ) n est la suite dénie par C 0 = 1 et, pour tout n N, C n+1 = C k C n k. Exemple 2 On trouve rapidement C 0 = 1, C 1 = 1, C
Plus en détailProgrammation Linéaire - Cours 1
Programmation Linéaire - Cours 1 P. Pesneau pierre.pesneau@math.u-bordeaux1.fr Université Bordeaux 1 Bât A33 - Bur 265 Ouvrages de référence V. Chvátal - Linear Programming, W.H.Freeman, New York, 1983.
Plus en détailRaisonnement par récurrence Suites numériques
Chapitre 1 Raisonnement par récurrence Suites numériques Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Raisonnement par récurrence. Limite finie ou infinie d une suite.
Plus en détail108y= 1 où x et y sont des entiers
Polynésie Juin 202 Série S Exercice Partie A On considère l équation ( ) relatifs E :x y= où x et y sont des entiers Vérifier que le couple ( ;3 ) est solution de cette équation 2 Déterminer l ensemble
Plus en détailExercices Alternatifs. Une fonction continue mais dérivable nulle part
Eercices Alternatifs Une fonction continue mais dérivable nulle part c 22 Frédéric Le Rou (copleft LDL : Licence pour Documents Libres). Sources et figures: applications-continues-non-derivables/. Version
Plus en détailExercices Alternatifs. Une fonction continue mais dérivable nulle part
Eercices Alternatifs Une fonction continue mais dérivable nulle part c 22 Frédéric Le Rou (copyleft LDL : Licence pour Documents Libres). Sources et figures: applications-continues-non-derivables/. Version
Plus en détailIntroduction à la théorie des graphes. Solutions des exercices
CAHIERS DE LA CRM Introduction à la théorie des graphes Solutions des exercices Didier Müller CAHIER N O 6 COMMISSION ROMANDE DE MATHÉMATIQUE 1 Graphes non orientés Exercice 1 On obtient le graphe biparti
Plus en détailTSTI 2D CH X : Exemples de lois à densité 1
TSTI 2D CH X : Exemples de lois à densité I Loi uniforme sur ab ; ) Introduction Dans cette activité, on s intéresse à la modélisation du tirage au hasard d un nombre réel de l intervalle [0 ;], chacun
Plus en détailLe théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche
Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Bachir Bekka Février 2007 Le théorème de Perron-Frobenius a d importantes applications en probabilités (chaines
Plus en détailMaple: premiers calculs et premières applications
TP Maple: premiers calculs et premières applications Maple: un logiciel de calcul formel Le logiciel Maple est un système de calcul formel. Alors que la plupart des logiciels de mathématiques utilisent
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailDeux disques dans un carré
Deux disques dans un carré Table des matières 1 Fiche résumé 2 2 Fiche élève Seconde - version 1 3 2.1 Le problème............................................... 3 2.2 Construction de la figure avec geogebra...............................
Plus en détailDéveloppement décimal d un réel
4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce
Plus en détailAlgorithmique et Programmation Fonctionnelle
Algorithmique et Programmation Fonctionnelle RICM3 Cours 9 : Lambda-calcul Benjamin Wack Polytech 2014-2015 1 / 35 La dernière fois Typage Polymorphisme Inférence de type 2 / 35 Plan Contexte λ-termes
Plus en détailBaccalauréat ES/L Amérique du Sud 21 novembre 2013
Baccalauréat ES/L Amérique du Sud 21 novembre 2013 A. P. M. E. P. EXERCICE 1 Commun à tous les candidats 5 points Une entreprise informatique produit et vend des clés USB. La vente de ces clés est réalisée
Plus en détailOptimisation Discrète
Prof F Eisenbrand EPFL - DISOPT Optimisation Discrète Adrian Bock Semestre de printemps 2011 Série 7 7 avril 2011 Exercice 1 i Considérer le programme linéaire max{c T x : Ax b} avec c R n, A R m n et
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Plus en détailSouad EL Bernoussi. Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/
Recherche opérationnelle Les démonstrations et les exemples seront traités en cours Souad EL Bernoussi Groupe d Analyse Numérique et Optimisation Rabat http ://www.fsr.ac.ma/ano/ Table des matières 1 Programmation
Plus en détail2.4 Représentation graphique, tableau de Karnaugh
2 Fonctions binaires 45 2.4 Représentation graphique, tableau de Karnaugh On peut définir complètement une fonction binaire en dressant son tableau de Karnaugh, table de vérité à 2 n cases pour n variables
Plus en détailEteindre. les. lumières MATH EN JEAN 2013-2014. Mme BACHOC. Elèves de seconde, première et terminale scientifiques :
MTH EN JEN 2013-2014 Elèves de seconde, première et terminale scientifiques : Lycée Michel Montaigne : HERITEL ôme T S POLLOZE Hélène 1 S SOK Sophie 1 S Eteindre Lycée Sud Médoc : ROSIO Gauthier 2 nd PELGE
Plus en détailSUR CERTAINS SYSTEMES D EQUATIONS AVEC CONTRAINTES DANS UN GROUPE LIBRE (*)
PORTUGALIAE MATHEMATICA Vol. 56 Fasc. 4 1999 SUR CERTAINS SYSTEMES D EQUATIONS AVEC CONTRAINTES DANS UN GROUPE LIBRE (*) J. Almeida and M. Delgado Résumé: Le théorème principal trouvé par Ash pour sa preuve
Plus en détailMIS 102 Initiation à l Informatique
MIS 102 Initiation à l Informatique Responsables et cours : Cyril Gavoille Catherine Pannier Matthias Robine Marc Zeitoun Planning : 6 séances de cours 5 séances de TD (2h40) 4 séances de TP (2h40) + environ
Plus en détailCompression Compression par dictionnaires
Compression Compression par dictionnaires E. Jeandel Emmanuel.Jeandel at lif.univ-mrs.fr E. Jeandel, Lif CompressionCompression par dictionnaires 1/25 Compression par dictionnaire Principe : Avoir une
Plus en détailComplément d information concernant la fiche de concordance
Sommaire SAMEDI 0 DÉCEMBRE 20 Vous trouverez dans ce dossier les documents correspondants à ce que nous allons travailler aujourd hui : La fiche de concordance pour le DAEU ; Page 2 Un rappel de cours
Plus en détailDate : 18.11.2013 Tangram en carré page
Date : 18.11.2013 Tangram en carré page Titre : Tangram en carré Numéro de la dernière page : 14 Degrés : 1 e 4 e du Collège Durée : 90 minutes Résumé : Le jeu de Tangram (appelé en chinois les sept planches
Plus en détailChapitre 5 : Flot maximal dans un graphe
Graphes et RO TELECOM Nancy A Chapitre 5 : Flot maximal dans un graphe J.-F. Scheid 1 Plan du chapitre I. Définitions 1 Graphe Graphe valué 3 Représentation d un graphe (matrice d incidence, matrice d
Plus en détailThéorie de la mesure. S. Nicolay
Théorie de la mesure S. Nicolay Année académique 2011 2012 ii Table des matières Introduction v 1 Mesures 1 1.1 Sigma-algèbres................................. 1 1.2 Mesures.....................................
Plus en détailDérivation : cours. Dérivation dans R
TS Dérivation dans R Dans tout le capitre, f désigne une fonction définie sur un intervalle I de R (non vide et non réduit à un élément) et à valeurs dans R. Petits rappels de première Téorème-définition
Plus en détailProblème 1 : applications du plan affine
Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées
Plus en détailConstruction d un cercle tangent à deux cercles donnés.
Préparation au CAPES Strasbourg, octobre 2008 Construction d un cercle tangent à deux cercles donnés. Le problème posé : On se donne deux cercles C et C de centres O et O distincts et de rayons R et R
Plus en détailCours 1 : Qu est-ce que la programmation?
1/65 Introduction à la programmation Cours 1 : Qu est-ce que la programmation? Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr Université Paris Diderot Paris 7 2/65 1. Sortez un appareil qui peut se rendre
Plus en détailCalcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.
1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le
Plus en détailOptimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante
Plus en détailLicence ST Université Claude Bernard Lyon I LIF1 : Algorithmique et Programmation C Bases du langage C 1 Conclusion de la dernière fois Introduction de l algorithmique générale pour permettre de traiter
Plus en détailGroupe symétrique. Chapitre II. 1 Définitions et généralités
Chapitre II Groupe symétrique 1 Définitions et généralités Définition. Soient n et X l ensemble 1,..., n. On appelle permutation de X toute application bijective f : X X. On note S n l ensemble des permutations
Plus en détail1 Définition et premières propriétés des congruences
Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon
Plus en détail6. Les différents types de démonstrations
LES DIFFÉRENTS TYPES DE DÉMONSTRATIONS 33 6. Les différents types de démonstrations 6.1. Un peu de logique En mathématiques, une démonstration est un raisonnement qui permet, à partir de certains axiomes,
Plus en détailChapitre 1 : Évolution COURS
Chapitre 1 : Évolution COURS OBJECTIFS DU CHAPITRE Savoir déterminer le taux d évolution, le coefficient multiplicateur et l indice en base d une évolution. Connaître les liens entre ces notions et savoir
Plus en détailBACCALAUREAT GENERAL MATHÉMATIQUES
BACCALAUREAT GENERAL FEVRIER 2014 MATHÉMATIQUES SERIE : ES Durée de l épreuve : 3 heures Coefficient : 5 (ES), 4 (L) 7(spe ES) Les calculatrices électroniques de poche sont autorisées, conformement à la
Plus en détailDéveloppements limités, équivalents et calculs de limites
Développements ités, équivalents et calculs de ites Eercice. Déterminer le développement ité en 0 à l ordre n des fonctions suivantes :. f() e (+) 3 n. g() sin() +ln(+) n 3 3. h() e sh() n 4. i() sin(
Plus en détailProblèmes de Mathématiques Filtres et ultrafiltres
Énoncé Soit E un ensemble non vide. On dit qu un sous-ensemble F de P(E) est un filtre sur E si (P 0 ) F. (P 1 ) (X, Y ) F 2, X Y F. (P 2 ) X F, Y P(E) : X Y Y F. (P 3 ) / F. Première Partie 1. Que dire
Plus en détailPLAN NOTATIONS UTILISÉES
PLAN COURS 3 AGRÉGATION ORDINALE Master IAD DMDC PATRICE PERNY LIP6 Université Paris 6 1 2 2/29 NOTATIONS UTILISÉES I) O A : ordres complets sur A P A : Préordres sur A (complets ou partiels) PC A : Préordres
Plus en détailPARTIE NUMERIQUE (18 points)
4 ème DEVOIR COMMUN N 1 DE MATHÉMATIQUES 14/12/09 L'échange de matériel entre élèves et l'usage de la calculatrice sont interdits. Il sera tenu compte du soin et de la présentation ( 4 points ). Le barème
Plus en détail1 Première section: La construction générale
AMALGAMATIONS DE CLASSES DE SOUS-GROUPES D UN GROUPE ABÉLIEN. SOUS-GROUPES ESSENTIEL-PURS. Călugăreanu Grigore comunicare prezentată la Conferinţa de grupuri abeliene şi module de la Padova, iunie 1994
Plus en détail