12/06/2015
Rapport sur l'Impact Socio-Economique des Mathématiques en France
Etude sur l'Impact Socio-Economique des Mathématiques en France
- Rapport Final
- Synthèse Finale
- Présentation des Résultats
- Communiqué de presse
- Dossier de presse
- Executive Summary
- Synthesis
15:08 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
11/06/2015
Calculateur de dérivées
07:49 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
16/03/2015
Faire des objets géométriques en papier
17:33 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
14/02/2015
Calculs de triplets pythagoriciens
"Ce module propose de calculer des triplets pythagoriciens par plusieurs méthodes.
Les algorithmes de ce module ont été programmés par Joan, élève de 3ème au collège Longchamp à Marseille.
Si vous programmez d'autres algorithmes (dans un langage de programmation quelconque) et que vous souhaitez les faire figurer dans ce module, n'hésitez pas à les envoyer à l'adresse de l'auteur)."
Accéder au site :
18:08 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
30/01/2015
Calculateur de factorisation
"Calculateur de factorisation transforme une expression complexe en un produit de facteurs simples. Ce calculateur de factorisation peut factoriser une expression avec des polynômes impliquant plusieurs variables, ainsi que des fonctions plus complexes. Pour factoriser des nombres entiers, utilisezFactorisation de nombres. Le calculateur de factorisation peut être utilisé lors de la première étape de la résolution d'une équation. Par exemple: si l'équation est g(x)=0 et f(x) elle pourrait être factorisée enf(x)=g(x)*h(x) les solutions de g(x)=0 et h(x)=0 sont alors les solutions de f(x)=0. Le calculateur de factorisation est aussi utilisé pour le calcule de la divisibilité d'une équation et pour trouver les plus petit commun diviseur (PPCD) et le plus grand commun diviseur (PGCD) de deux équations."
Accéder au calculateur :
http://fr.numberempire.com/factoringcalculator.php
09:44 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
Calculatrice factorielle
Accéder à la calculatrice :
09:42 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
27/01/2015
Quelques progrès récents sur la géométrie arithmétique des surfaces 1/2
Quelques progrès récents sur la géométrie arithmétique des surfaces 1/2
Source :
http://www.college-de-france.fr/site/cours-peccot/guestle...
16:07 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
19/01/2015
Opérateurs différentiels hypoelliptiques François Trèves Annales de l'institut Fourier (1959)
Opérateurs différentiels hypoelliptiques
Annales de l'institut Fourier (1959)
- Volume: 9, page 1-73
- ISSN: 0373-0956
Access Full Article
Abstract
topOn établit une condition suffisante pour qu’un opérateur différentiel à coefficients indéfiniment différentiable sur un ouvert de Rn y soit hypoelliptique. La démonstration, exposée au chapitre III, utilise divers espaces fonctionnels, qui sont étudiés au chapitre I. On prouve que ce critère implique celui de MM. Hörmander et Malgrange, qui affirme l’hypoellipticité des opérateurs formellement hypoelliptiques. Considérons un opérateur différentiel sur Rnx, P(ν,Dx), dont les coefficients sont constants par rapport à x, mais sont des fonctions C∞ du point ν d’un ouvert Ω de Rn. L’opérateur à coefficients variables associé, P(x,D), est dit formellement hypoelliptique dans Ω si P(ν,D) est hypoelliptique pour chaque ν et si, pour deux points ν1,ν2 quelconques de Ω, P(ν1,D) et P(ν2,D) sont équivalents au sens d’Hörmander. Que notre critère soit plus fort que celui d’Hörmander et Malgrange provient essentiellement du fait, établi dans le chapitre II, que sous les conditions ci-dessus, il existe une fonction C∞E(ν) de ν, à valeurs dans l’espace des opérateurs continus de L2c dans L2loc, qui, pour chaque ν, constitue un inverse de P(ν,D). Dans la seconde partie du chapitre II, nous prouvons une réciproque de ce résultat. Enfin, nous exhibons l’exemple d’un opérateur différentiel qui satisfait notre critère, et qui est donc hypoelliptique, mais qu’aucun changement de coordonnées ne peut ramener au type formellement hypoelliptique.Source : https://eudml.org/doc/73752
17:57 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
10/01/2015
Archives du mathématicien Euler
18:17 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
MAFA Traceur de Courbes
MAFA traceur de courbes est un logiciel qui permet de calculer, dessiner et afficher la courbe d’une fonction mathématique et aussi le tableau de valeurs directement en ligne. Son utilisation est très facile et adaptable aux propres exigences au même temps. |
Accéder au site :
18:13 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
06/12/2014
Triangles (5ème)
Source :
http://www.academie-en-ligne.fr/College/RessourcesInforma...
Triangles
1 - Je retiens
Inégalité triangulaire
Propriété
Quelle que soit la position d’un point M par rapport à un segment , on a toujours :
Propriété
Dans un triangle, la longueur de chaque côté est inférieure à la somme des longueurs des deux autres.
Construction de triangles
Propriété
On peut construire un triangle dont on connaît la longueur de chacun des trois côtés si la plus grande longueur est inférieure à la somme des deux autres.
Si la plus grande longueur est égale à la somme des deux autres, on obtient trois points alignés. On dit dans ce cas que l’on obtient un triangle aplati.
Si la plus grande longueur est supérieure à la somme des deux autres, on ne peut pas construire le triangle.
Cercle circonscrit à un triangle
Propriété
Les médiatrices des trois côtés d’un triangle se coupent en un même point : on dit qu’elles sont concourantes. Ce point commun est le centre du cercle passant par les trois sommets du triangle. On dit que ce cercle est le cercle circonscrit au triangle.
Droites remarquables d’un triangle
Dans un triangle, une hauteur est une droite qui passe par un sommet et qui est perpendiculaire au côté opposé à ce sommet.
Dans un triangle, une médiane est une droite passant par un sommet et par le milieu de son côté opposé.
18:23 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
14/11/2014
Disparition d'un génie des mathématiques : Alexandre Grothendieck
Alexandre Grothendieck est décédé jeudi 13 novembre en Ariège, à l'âge de 86 ans. Retour sur le parcours hors norme de ce mathématicien qui laisse un héritage immense à sa discipline.
Lire la suite :
https://lejournal.cnrs.fr/articles/disparition-dun-genie-...
17:35 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
13/10/2014
Cours d'Arithmétique et de Géométrie Algébrique en vidéo
Cours d'Arithmétique et de Géométrie Algébrique | Institut des Hautes Études Scientifiques Fondation mathématique Jacques Hadamard |
Organisateurs :
Ahmed Abbes (CNRS, IHÉS), Christophe Breuil (CNRS, Université Paris-Sud), Laurent Lafforgue (IHÉS)
Les jeudis 4, 11, 18 et 25 Octobre 2012 de 14h30 à 16h30
Payman Kassaei (King's College London)
The seminal work of Buzzard and Taylor (Companion forms and weight one forms, Annals of Mathematics 149 (1999), 905-919) presented a powerful application of analytic continuation of overconvergent modular forms to number theory. In essence, such an application would begin with producing overconvergent automorphic forms using p-adic analytic methods, interpreting them geometrically as sections of sheaves over p-adic analytic regions in Shimura varieties, and analytically extending them over the entire Shimura variety, proving they are classical automorphic forms, and, thereby, making possible applications to number theroy. Since Buzzard and Taylor, much progress has been made concerning analytic continuation of overconvergent automorphic forms. In this course, I will begin with a survey of the classical results, and, then, focus on the more recent results on analytic continuation and classicality of over-convergent Hilbert modular forms, as well as applications, obtained by various people.
Télécharger les notes / Download the lecture notes.
1 - Overconvergence and Classicality (1/4) Payman Kassaei par Ihes_science
2 - Overconvergence and Classicality (2/4) Payman Kassaei par Ihes_science
3 - Overconvergence and Classicality (3/4) Payman Kassaei par Ihes_science
4- Overconvergence and Classicality (4/4) Payman Kassaei par Ihes_science
Source :
10:27 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
08/10/2014
Introduction à l'étude des espaces de Banach - Analyse et probabilités - D. Li, H. Queffélec (CS12)
Cours spécialisés 12 :
Ce livre est consacré à l'étude des espaces de Banach, en mettant l'accent sur les liens avec l'Analyse classique, l'Analyse Harmonique, et les Probabilités. Seules des connaissances usuelles d'Analyse Fonctionnelle de niveau Maîtrise sont requises, l'étude étant prise à son début. Elle est progressivement développée de façon approfondie, présentant plusieurs résultats fondamentaux obtenus dans la période 1950-2000: Théorème de Grothendieck, Théorème de Dvoretzky, Théorème de dichotomie de Rosenthal, Théorème de dichotomie de Gowers, etc., avec certaines de leurs applications.
This book is devoted to the study of Banach spaces, with emphasis on the connections with classical Analysis, Harmonic Analysis and Probability Theory. It can be tackled by beginning graduates: the study is taken at its beginning, and then worked out thoroughly, presenting several fundamental results which were obtained during the period 1950-2000: Grothendieck's Theorem, Dvoretzky's Theorem, Rosenthal's dichotomy Theorem, Gowers's dichotomy Theorem, etc., with some of their applications.
Lire la suite :
07:57 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
Des ateliers passionnants au 58e congrès de l’Association Mathématique du Québec
"L’Association Mathématique du Québec (AMQ) est un regroupement constitué de passionnés des mathématiques. Elle est principalement composée de mathématiciens, de chercheurs universitaires, d’enseignants de tous les niveaux ainsi que d’étudiants intéressés par cette discipline.
L’AMQ tiendra son 58e colloque les 3 et 4 octobre prochains au Cégep régional de Lanaudière à L’Assomption. Intitulé « Les mathématiques, indispensables! De Galois au MP3 », le colloque veut sensibiliser aux répercussions concrètes qu’ont les mathématiques dans la vie quotidienne. Plus précisément, il souhaite démontrer comment les théories mathématiques..."
Lire la suite :
07:55 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
01/10/2014
Bibm@th.net La bibliothèque des mathématiques
Pour accéder au site :
21:48 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
29/09/2014
Gispert, Hélène La théorie des ensembles en France avant la crise de 1905 : Baire, Borel, Lebesgue... et tous les autres. Revue d’histoire des mathématiques, 1 no. 1 (1995), p. 39-81
Gispert, Hélène
La théorie des ensembles en France avant la crise de 1905 : Baire, Borel, Lebesgue... et tous les autres. Revue d’histoire des mathématiques, 1 no. 1 (1995), p. 39-81
Full text djvu | pdf | Reviews Zbl 0822.01003
stable URL: http://www.numdam.org/item?id=RHM_1995__1_1_39_0
Abstract
This paper investigates the manner in which French mathematical circles took up, in their work, the novel concepts and methods of set theory. Such an appropriation, it is shown, was effected within the context of a current specific to French mathematics, the then-new theory of functions; and, far from being marginal, this process may be seen as integral to those circles’ classic tradition. Hence, set theory as incorporated in practice bears the hallmarks of this particular purpose, and differs in important respects from the version presented by Cantor.
Bibliography
[1] Autonne (L.) [1895] Analyse : Borel (Émile), Ancien élève de l’École normale supérieure, Sur quelques points de la théorie des fonctions, Revue générale des sciences pures et appliquées, 6 (1895), p. 637.
[2] Autonne (L.) [1899] Analyse : Baire (René), Professeur au lycée de Bar-le-Duc, Sur les fonctions de variables réelles, Ibid., 10 (1899), p. 402.
[3] Baire (R.) [Œuvres] Œuvres scientifiques, Paris : Gauthier-Villars, 1990.
[4] Baire (R.) [1899a] Sur les fonctions de variables réelles, Annali di matematica pura ed applicata, (III) 3 (1899), p. 1–123 ; Œuvres, p.49–170. JFM 30.0359.01
[5] Baire (R.) [1899b] Sur la théorie des ensembles, Comptes rendus hebdomadaires des séances de l’Académie des sciences, 129 (1899), p. 946–949 ; Œuvres, p. 171–173. JFM 30.0078.02
[6] Baire (R.) [1905] Leçons sur les fonctions discontinues, Paris : Gauthier-Villars, 1905 JFM 36.0438.01
[7] Baire (R.) [1909] Théorie des ensembles, exposé d’après l’article allemand de A. Schoenflies, Encyclopédie des sciences mathématiques pures et appliquées, t. 1, vol. 1, Paris : Gauthier-Villars, 1909.
[8] Baire (R.) [Lettres] Lettres de René Baire à Émile Borel (1898-1910), (P. Dugac éd.), Cahiers du séminaire d’histoire des mathématiques, (I) 11 (1990), p. 33-120.
Numdam | Zbl 0692.01019
[9] Bendixson (I.) [1883] Quelques théorèmes de la théorie des ensembles de points, Acta mathematica, 2 (1883), p. 415–429. MR 1554609 | JFM 15.0455.01
[10] Blumenthal (O.) [1906] Comptes rendus et analyses : Lebesgue (Henri), Leçons sur les fonctions primitives, Bulletin des sciences mathématiques, 30 (1906), p. 250–254.
[11] Borel (E.) [Œuvres] Œuvres scientifiques, 4 vol., Paris : CNRS, 1972.
[12] Borel (E.) [1894] Sur quelques points de la théorie des fonctions, C. R. Acad. sci. Paris, 118 (1894), p. 340–342 ; Œuvres I, p.235–237. JFM 25.0705.02
[13] Borel (E.) [1895] Sur quelques points de la théorie des fonctions, Annales scientifiques de l’École normale supérieure, (III) 12 (1895), p. 9–55 ; Œuvres I, p. 239–285.
Numdam | MR 1508908 | JFM 26.0429.03
[14] Borel (E.) [1896] Fondements de la théorie des séries divergentes sommables, Journal de mathématiques pures et appliquées, (V) 2 (1896), p. 103–122 ; Œuvres I, p. 417–436. JFM 27.0197.03
[15] Borel (E.) [1898] Leçons sur la théorie des fonctions, Paris : Gauthier Villars, 1898. Zbl 0035.33701 | JFM 53.0277.09
[16] Borel (E.) [1899a] A propos de l’“infini nouveau”, Revue philosophique de la France et de l’étranger, 48 (1899), p. 383–390 ; Œuvres IV, p. 2113–2120.
[17] Borel (E.) [1899b] Mémoire sur les séries divergentes, Ann. scient. Éc. norm. sup., (III) 16 (1899), p. 9–131 ; Œuvres I, p. 437–565.
Numdam | MR 1508965 | JFM 30.0230.03
[18] Borel (E.) [1900a] L’antinomie du transfini, Rev. philos., 49 (1900), p. 378–383 ; Œuvres IV, p. 2121–2126.
[19] Borel (E.) [1900b] Leçons sur les fonctions entières, Paris : Gauthier-Villars, 1900. JFM 48.0316.01
[20] Borel (E.) [1901] Leçons sur les séries divergentes, Paris : Gauthier-Villars, 1901. JFM 32.0248.01
[21] Borel (E.) [1902] Leçons sur les séries à termes positifs, Paris : Gauthier-Villars, 1902. JFM 33.0252.01
[22] Borel (E.) [1903a] Sur l’approximation les uns par les autres des nombres formant un ensemble dénombrable, C. R. Acad. sci. Paris, 137 (1903), p. 297–299 ; Œuvres III, p. 1405–1407. JFM 34.0076.02
[23] Borel (E.) [1903b] Un théorème sur les ensembles mesurables, C. R. Acad. sci. Paris, 137 (1903), p. 966–967 ; Œuvres III, p.1247–1248. JFM 34.0076.03
[24] Borel (E.) [1903c] Leçons sur les fonctions méromorphes, Paris : Gauthier-Villars, 1903. JFM 34.0408.01
[25] Borel (E.) [1903d] Quelques remarques sur les ensembles de droites ou de plans, Bulletin de la Société mathématique de France,31 (1903), p. 272–275 ; Œuvres IV, p. 1989–1992.
Numdam | MR 1504458 | JFM 34.0703.01
[26] Borel (E.) [1905a] Sur une propriété des ensembles fermés, C. R. Acad. sci. Paris, 140 (1905), p. 298–300 ; Œuvres III, p.1249–1250. JFM 36.0103.02
[27] Borel (E.) [1905b] Remarques sur les principes de la théorie des ensembles, Mathematische Annalen, 60 (1905), p. 194–95 ; Œuvres III, p. 1251–1252. JFM 36.0098.06
[28] Borel (E.) [1905c] Leçons sur les fonctions de variables réelles et les développements en séries de polynômes, Paris : Gauthier-Villars, 1905. JFM 36.0435.01
[29] Borel (E.) [1908] Sur les principes de la théorie des ensembles, Atti del IV congresso internazionale dei matematici, vol II, p. 15–17, Roma : Academia dei Lincei, 1909 ; Œuvres III, p. 1267–1269. JFM 40.0098.06
[30] Borel (E.) [1909] La théorie des ensembles et les progrès récents de la théorie des fonctions, Rev. gén. sci., 20 (1909), p.315–324 ; Œuvres III, p. 1277–1307. JFM 40.0060.02
[31] Boutroux (P.) [1904] Sur quelques propriétés des fonctions entières, Acta math., 28 (1904), p. 97–224. MR 1555000 | JFM 35.0411.02
[32] Boutroux (P.) [1905] Comptes rendus et analyses : Baire (René), Leçons sur les fonctions discontinues, Bull. sci. math. 29 (1905), p.249–252.
[33] Cantor (G.) [1883] Mémoires, Acta math., 2 (1883), p. 305–414. MR 1554602
[34] Cantor (G.) [1899] Sur les fondements de la théorie des ensembles transfinis [trad. fr. de F. Marotte], Mémoires de la Société des sciences physiques et naturelles de Bordeaux, (V) 3 (1899), p. 343–437. JFM 30.0077.02
[35] Cavaillès (J.) [1937] Méthode axiomatique et formalisme, 2e éd., Paris : Hermann, 1981.
[36] Cassinet (J.) et Guillemot (M.) [1983] L’Axiome du choix dans les mathématiques de Cauchy (1821) à Gödel (1940), thèse d’état, Université Toulouse III, 1983. Zbl 0567.01017
[37] Darboux (G.) [1872] Sur une théorème relatif à la continuité des fonctions, Bull. sci. math., 3 (1872), p. 307–313.
Numdam | JFM 04.0192.01
[38] Darboux (G.) [1875] Mémoire sur les fonctions discontinues, Ann. scient. Éc. norm. sup., (II) 4 (1875), p. 57–112.
Numdam | MR 1508624 | JFM 07.0243.02
[39] Darboux (G.) [1879] Addition au mémoire sur les fonctions discontinues, Ibid. (II) 8 (1879), p. 195–202.
Numdam | MR 1508677 | JFM 11.0274.03
[40] Dauben (J.) [1979] Georg Cantor, his mathematics and philosophy of the infinite, Cambridge (Mass.) : Harvard University Press,1979. MR 525577 | Zbl 0463.01009
[41] Denjoy (A.) [1910] Sur les produits canoniques d’ordre infini, J. math. pures appl. (VI) 6 (1910), p. 1–136. JFM 41.0462.02
[42] Dini (U.) [1878] Fondamenti per la theoria delle funzioni di variabili reali, Pise, 1878. JFM 10.0274.01
[43] Du Bois-Reymond (P.) [1887] Théorie générale des fonctions, traduction du traité allemand de 1882 par G. Milhaud et A. Girod, Nice, 1887.
[44] Dugac (P.) [1976a] Notes et documents sur la vie et l’œuvre de René Baire, Archive for history of exact sciences, 15 (1975–76), p.297–383. MR 497686 | Zbl 0359.01019
[45] Dugac (P.) [1976b] Des correspondances mathématiques des XIXe et XXe siècles, Revue de synthèse, 81–82 (1976), p. 149–170.
[46] Dugac (P.) [1978] Sur les fondements de l’analyse de Cauchy à Baire, thèse d’état, Université Pierre et Marie Curie, 1978.
[47] Dugac (P.) [1984] Georg Cantor et Henri Poincaré, Bolletino di storia delle scienze matematiche, 4 (1984), p. 65–96. MR 773207 | Zbl 0546.01005
[48] Fatou (P.) [1906] Séries trigonométriques et séries de Taylor, Acta math., 30 (1906), p.335–400. JFM 37.0283.01
[49] Fréchet (M.) [1905] Les ensembles de courbes continues, C. R. Acad. sci. Paris, 141 (1905), p. 818–819. JFM 36.0465.01
[50] Fréchet (M.) [1906] Sur quelques points du calcul fonctionnel, Rendiconti del Circolo matematico di Palermo, 22 (1906), p. 1–74. JFM 37.0348.02
[51] Gispert (H.) [1983] Sur les fondements de l’analyse en France, Archive for history of exact sciences, 28 (1983), p. 37–106. MR 710200 | Zbl 0515.01003
[52] Gispert (H.) [1990] Principes de l’analyse chez G. Darboux et J. Houël (1870–1880), enjeux mathématiques, épistémologiques et institutionnels, Revue d’histoire des sciences, 43 (1990), p. 181–220. MR 1129632 | Zbl 0718.01021
[53] Gispert (H.) [1991] La France mathématique. La Société mathématique de France (1872–1914), Cahiers d’histoire et de philosophie des sciences, Paris : Société française d’histoire des sciences et des techniques & Société mathématique de France, 1991 MR 1354143 | Zbl 0728.01029
[54] Gispert (H.) [1994] Un exemple d’approche sociologique en histoire des mathématiques : l’analyse au XIXe siècle, dans Le Relativisme est-il résistible ? (R. Boudon et M. Clavelin éd.), p. 211–220, Paris : PUF, 1994.
[55] Gray (J.) [1991] Did Poincaré say “Set theory is a disease ?”, The mathematical intelligencer, 13/1 (1991), p. 19–22. MR 1084532 | Zbl 0716.01027
[56] Hadamard (J.) [Œuvres] Œuvres scientifiques, 4 vol., Paris : CNRS, 1968. Zbl 0168.24101
[57] Hadamard (J.) [1892] Essai sur l’étude des fonctions données par leur développement de Taylor, J. math. pures appl. (IV) 8 (1892), p. 101–186 ; Œuvres I, p. 7–92. JFM 24.0359.01
[58] Hadamard (J.) [1897] Sur certaines applications possibles de la théorie des ensembles, Verhandlungen des ersten internationalen Mathematike-Kongresses, p. 201–202, Leipzig, 1898 ; Œuvres I, p. 311–312. JFM 29.0049.01
[59] Hadamard (J.) [1898] Les surfaces à courbures opposées et leurs lignes géodésiques, J. math. pures appl., (V) 4 (1898), p. 27–73; Œuvres II, p. 729–775. JFM 29.0522.01
[60] Hadamard (J.) [1912] Comptes rendus et analyses : Montel (P), Leçons sur les séries de polynômes à une variable complexe, Bull. sci. math., 36 (1912), p. 198–203.
[61] Hermite (C.) [Lettres] Lettres de Charles Hermite à Gösta Mittag-Leffler (1874–1883), (P. Dugac éd.), Cahiers sém. hist. math., (I) 5(1984), p. 49–285.
Numdam | MR 732306 | Zbl 0525.01008
[62] Jordan (C.) [Œuvres] Œuvres scientifiques, 4 vol., Paris : Gauthier-Villars, 1961–1962.
[63] Jordan (C.) [1881] Sur la série de Fourier, C. R. Acad. sci. Paris, 92 (1881), p. 228–230 ; Œuvres IV, p. 393–395. JFM 13.0184.01
[64] Jordan (C.) [1882] Cours d’analyse de l’École polytechnique, tome 1, Paris : Gauthier-Villars, 1882. JFM 15.0209.01
[65] Jordan (C.) [1892] Remarques sur les intégrales définies, J. math. pures appl., (IV) 8 (1892), p. 69–99 ; Œuvres IV, p. 427–457. JFM 24.0261.01
[66] Jordan (C.) [1893] Cours d’analyse de l’Ecole polytechnique, 2e éd. (entièrement refondue), tome 1, Paris : Gauthier-Villars, 1893. JFM 15.0209.01
[67] Lebesgue (H.) [Œuvres] Œuvres scientifiques, 5 vol., Genève : Enseignement mathématique, 1972–1973. Zbl 0253.01018
[68] Lebesgue (H.) [1902] Intégrale, longueur, aire, Ann. mat. pura appl., (3) 7 (1902), p. 231–359 ; Œuvres I, p. 203–331. JFM 33.0307.02
[69] Lebesgue (H.) [1904] Leçons sur l’intégration et la recherche des fonctions primitives, Paris : Gauthier-Villars (1904) ; 2e éd.,1928. Zbl 0041.02301 | JFM 54.0257.01
[70] Lebesgue (H.) [1906] Leçons sur les séries trigonométriques, Paris : Gauthier-Villars, 1906. JFM 37.0281.01
[71] Lebesgue (H.) [1907a] Sur les transformations ponctuelles transformant les plans en plans qu’on peut définir par des procédés analytiques, extrait d’une lettre adressée à M. Segre, Atti della Accademia delle scienze di Torino, 42 (1907), p. 532–539 ; Œuvres III, p. 219–226. JFM 38.0096.05
[72] Lebesgue (H.) [1907b] Contribution à l’étude des correspondances de M. Zermelo, Bull. Soc. math. France, 35 (1907), p. 202–212; Œuvres III, p. 227–237.
Numdam | MR 1504581 | JFM 38.0096.04
[73] Lebesgue (H.) [1922a] Notice inédite sur les travaux scientifiques, Œuvres I, p. 89–93.
[74] Lebesgue (H.) [1922b] Notice sur les travaux scientifiques, Œuvres I, p. 99–175. JFM 48.1113.08
[75] Lebesgue (H.) [1932] Notice sur René-Louis Baire, correspondant pour la section de géométrie, C. R. Acad. sci. Paris, 195(1932), p. 86–88. JFM 58.0992.03
[76] Medvedev (F. A.) [1976] Francuzskaja shkola teorii funkcij i mnozhestv na rubezhe XIX–XX vv., Moskva : Nauka, 1976. MR 532180
[77] Méray (C.) [1869] Remarques sur la nature des quantités définies par la condition de servir de limites à des variables données, Revue de la Société savante des sciences mathématiques, physiques et naturelles, (II) 4 (1869), p. 280–289.
[78] Michel (A.) [1992] Constitution de la théorie moderne de l’intégration, Paris : Vrin, 1992. MR 1190011
[79] Mittag-Leffler (G.) [1884] Sur la représentation analytique des fonctions monogèmes uniformes d’une variable indépendante, Acta math., 4 (1884), p. 1–79. MR 1554629 | JFM 16.0351.01
[80] Montel (P.) [1905] Comptes rendus et analyses : Émile Borel, Leçons sur les fonctions de variables réelles et les développements en séries de polynomes, Bull. sci. math., 29 (1905), p. 62–67.
[81] Montel (P.) [1907] Sur les suites infinies de fonctions, Ann. scient. Éc. norm. sup., (III) 24 (1907), p. 233–334.
Numdam | MR 1509082 | JFM 38.0440.02
[82] Painlevé (P.) [Œuvres] Œuvres scientifiques, 3 tomes, Paris : Éditions du CNRS, 1972–1975.
[83] Painlevé (P.) [1887] Sur les lignes singulières des fonctions analytiques, Annales de la faculté des sciences de l’université de Toulouse, 2 (1887) ; Œuvres II, p. 29–159.
Numdam | JFM 20.0404.01
[84] Painlevé (P.) [1895] Leçons de Stockholm, Œuvres I, p. 199–798.
[85] Picard (E.) [1900] L’idée de fonction depuis un siècle, Rev. gén. sci., 11 (1900), p. 61–69. JFM 31.0044.02
[86] Picard (E.) [1904] Comptes rendus et analyses : Lebesgue (Henri), Leçons sur l’intégration et la recherche des fonctions primitives, Bull. sci. math., 28 (1904), p. 180–183.
[87] Poincaré (H.) [Œuvres] Œuvres, 11 vol., Paris : Gauthier-Villars, 1916–1956. Zbl 0072.24103
[88] Poincaré (H.) [1884] Mémoire sur les groupes kleinéens, Acta math., 3 (1884), p.49–92 ; Œuvres II, p. 258–299. JFM 15.0348.02
[89] Poincaré (H.) [1885] Sur les courbes définies par une équation différentielle (3e partie), J. math. pures appl., (4) 1, p. 167–244 ; Œuvres I, p. 90–161. JFM 17.0680.01
[90] Poincaré (H.) [1888] Sur une propriété des fonctions analytiques, Rend. Circ. mat. Palermo, 2 (1888), p. 197–200 ; Œuvres IV, p.11–13. JFM 20.0393.02
[91] Poincaré (H.) [1890] Sur les équations aux dérivées partielles de la physique mathématique, American journal of mathematics, 12 (1890), p. 211–294 ; Œuvres IX, p. 28–113. JFM 22.0977.03
[92] Pompeiu (O.) [1905] Sur la continuité des fonctions de variables complexes, Ann. fac. sci. Toulouse, (II) 7 (1905), p. 264–315.
Numdam | JFM 36.0454.04
[93] Richard (J.) [1905] Lettre à Monsieur le Rédacteur de la Revue générale des sciences, Rev. gén. sci., 16 (1905) ; Acta math., 30(1906), p. 295–296. MR 1555031 | JFM 37.0075.04
[94] Riemann (B.) [1854] Über die Darstellbarkeit einer Funktion durch eine trigonometrische Reihe (1854), Gesammelte mathematische Werke, 1867 ; trad. fr. par J. Houël dans Bull. sci. math., 5 (1873), p. 20–96. JFM 01.0131.03
[95] Schoenflies (A.) [1900] Die Entwicklung der Lehre von den Punktmannigfaltigkeiten, Jahresbericht der Deutschen Mathematiker-Vereinigung, t. VIII–2 (1900), p. 1–250. JFM 31.0070.08
[96] Schoenflies (A.) [1908] Die Entwicklung der Lehre von den Punktmannigfaltigkeiten, Zweiter Teil, Leipzig, 1908. JFM 31.0070.08
[97] Schwarz (H.) [1872] Zur Integration der partiellen Differentialgleichung, Journal für die reine und angewandte Mathematik, 74 (1872), p. 218–253. JFM 04.0193.02
[98] Servant (M.) [1899] Essai sur les séries divergentes, Ann. fac. sci. Toulouse, (II) 1 (1899), p. 117–175.
Numdam | MR 1508206 | JFM 30.0236.01
[99] Sire (J.) [1911] Sur les fonctions entières de deux variables d’ordre apparent total fini, Rend. Circ. mat. Palermo, 31 (1911), p.1–91. JFM 42.0444.03
[100] Tannery (J.) [1893] Comptes rendus et analyses : Jordan Camille, Cours d’analyse de l’École Polytechnique, deuxième édition entièrement refondue, Bull. sci. math., 17 (1893), p. 249–250.
[101] Tannery (J.) [1897] De l’infini mathématique, Rev. gén. sci., 8 (1897), p. 129–140. JFM 28.0071.14
[102] Tannery (J.) [1898] Comptes rendus et analyses : Borel (E.), Leçons sur la théorie des fonctions, Bull. sci. math., 22 (1898), p.242–250. JFM 45.0664.01
[103] Tannery (J.) [1900] Comptes rendus et analyses : Schoenflies (A.), Die Entwicklung der Lehre von den Punktmannigfaltigkeiten, Bull. sci. math., 24 (1900), p. 239–245. JFM 39.0095.16
[104] Thomae (J.) [1870] Abriss einer Theorie der Funktionen einer complexen Veränderlichen und der Thetafunctionen, Halle, 1870. JFM 02.0220.02
[105] Zoretti (L.) [1904] Sur les ensembles parfaits et les fonction uniformes, C. R. Acad. sci. Paris, 138 (1904), p. 674–676. JFM 35.0089.02
[106] Zoretti (L.) [1905] Sur les fonctions analytiques uniformes qui possèdent un ensemble parfait discontinu de points singuliers, J. math. pures appl., (VI) 1 (1905), p. 1–51. JFM 36.0451.01
[107] Zoretti (L.) [1906] Sur les ensemble discontinus, C. R. Acad. sci. Paris, 142 (1906), p. 763–764. JFM 37.0075.02
[108] Zoretti (L.) [1911] Comptes rendus et analyses : Schoenflies (A.), Die Entwicklung der Lehre von den Punktmannigfaltigkeiten (2e partie), Bull. sci. math., 36 (1912), p. 283–289. JFM 39.0095.16
Source :
http://www.numdam.org/item?id=RHM_1995__1_1_39_0
07:49 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
03/09/2014
Les mathématiques en mouvement LETTRE DE L'ACADEMIE DES SCIENCES
10:10 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
30/07/2014
Algèbre arithmétique pour l'informatique Pierre Wassef (Auteur)
15:33 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook
Session 2015 Section Mathématiques Concours externe de l’agrégation du second degré
Voir le pdf :
http://agreg.org/Rapports/Pgm2015.pdf
____________________________________________________________________________________________________________
Concours externe de l’agrégation du second degré
Section mathématiques
Programme de la session 2015
© Ministère de l’éducation nationale > www.education.gouv.fr 14 février 2014
Le programme des épreuves de l’agrégation n’est pas rédigé comme un plan de cours. Il décrit un ensemble de connaissances que le candidat doit maîtriser. Il comporte des répétitions lorsque des notions interviennent naturellement à plusieurs endroits. D’une façon générale, les candidats doivent connaître des applications qui illustrent les notions générales. Le programme en propose ainsi un certain nombre. Il ne s’agit que de simples suggestions d’applications possibles, qui peuvent être complétées ou remplacées par d’autres. Dans les titres 1 à 5 qui suivent, tous les corps (notés K en général) sont supposés commutatifs. 1 Algèbre linéaire 1.1 Espaces vectoriels 1. Espaces vectoriels, applications linéaires. Produit d’espaces vectoriels. Sous-espaces, image et noyau d’une application linéaire. Espaces quotients. Somme de sous-espaces, somme directe, supplémentaires. Familles libres, génératrices ; bases. Algèbre des endomorphismes d’un espace vectoriel E, groupe linéaire GL(E). 2. Sous-espaces stables d’un endomorphisme. Valeurs propres, vecteurs propres, sous-espaces propres. 3. Représentations linéaires d’un groupe et d’une algèbre. Irréductibilité. En dimension finie : exemples de décomposition d’une représentation linéaire en somme directe de sous-représentations, lemme de Schur. 1.2 Espaces vectoriels de dimension finie 1. Espaces vectoriels de dimension finie. Existence de bases : isomorphisme avec Kn. Existence de supplémentaires d’un sous-espace. Rang d’une application linéaire, rang d’un système de vecteurs. Espace dual. Rang d’un système d’équations linéaires. Transposée d’une application linéaire. Base duale. Bidualité. Orthogonalité. 2. Applications multilinéaires. Déterminant d’un système de vecteurs, d’un endomorphisme. Groupe spécial linéaire SL(E). Orientation d’un R-espace vectoriel. 3. Matrices à coefficients dans un corps. Opérations matricielles. Rang d’une matrice. Représentations matricielles d’une application linéaire. Changement de base.
Opérations élémentaires sur les lignes et les colonnes d’une matrice. Méthode du pivot de Gauss.
Notion de matrices échelonnées. Application à la résolution de systèmes d’équations linéaires, au
calcul de déterminants, à l’inversion des matrices carrées, à la détermination du rang d’une matrice,
à la détermination d’équations définissant un sous-espace vectoriel.
Extension élémentaire de ces notions aux matrices à coefficients dans un anneau commutatif. 4. Sous-espaces stables d’un endomorphisme, lemme des noyaux. Polynôme caractéristique, polynômes annulateurs d’un endomorphisme, polynôme minimal. Théorème de Cayley-Hamilton. Diagonalisation, trigonalisation, applications. Sous-espaces caractéristiques, décomposition de Dunford. Exponentielle des matrices réelles ou complexes. 2 Groupes et géométrie Les différentes notions de théorie des groupes introduites dans les paragraphes suivants seront illustrées et appliquées dans des situations géométriques. 1. Groupes, morphismes de groupes. Produit direct de groupes. Sous-groupes. Sous-groupe engendré par une partie. Ordre d’un élément. Sous-groupes distingués (ou normaux), groupes quotients. Opération d’un groupe sur un ensemble. Stabilisateur d’un point, orbites, espace quotient. Formule des
1
classes. Classes de conjugaison. Application à la détermination des groupes d’isométries d’un polyèdre régulier en dimension 3. 2. Groupes cycliques. Groupes abéliens de type fini. Groupe des racines complexes n-ièmes de l’unité, racines primitives. 3. Groupe des permutations d’un ensemble fini. Décomposition d’une permutation en produit de transpositions, en produit de cycles à supports disjoints. Signature. Groupe alterné. Application : déterminants. 4. Définition des groupes classiques d’automorphismes d’un espace vectoriel de dimension finie : groupe général linéaire, groupe spécial linéaire ; groupe orthogonal, groupe spécial orthogonal ; groupe unitaire, groupe spécial unitaire. 5. Représentations d’un groupe fini sur un C-espace vectoriel. Cas d’un groupe abélien. Orthogonalité des caractères irréductibles. Groupe dual. Transformée de Fourier. Convolution. Application : transformée de Fourier rapide. Cas général. Théorème de Maschke. Caractères d’une représentation de dimension finie. Fonctions centrales sur le groupe, base orthonormée des caractères irréductibles. Exemples de représentations de groupes de petit cardinal. 3 Anneaux, corps, polynômes et fractions rationnelles 1. Anneaux (unitaires), morphisme d’anneaux, sous-anneaux. L’anneau Z des entiers relatifs. Produit d’anneaux. Idéaux d’un anneau, anneaux quotients. Idéaux premiers, idéaux maximaux d’un anneau commutatif. Notion de module sur un anneau commutatif, d’algèbre (associative ou non) sur un anneau commutatif. 2. Algèbre des polynômes à une ou plusieurs indéterminées sur un anneau commutatif. Polynômes homogènes. Polynômes symétriques.
Décomposition en polynômes homogènes. Tout polynôme symétrique s’exprime en fonction des polynômes symétriques élémentaires.
3. Séries formelles à une indéterminée à coefficients dans un corps. Addition, multiplication, composition, éléments inversibles. 4. Corps, sous-corps. Caractéristique. Extension de corps. Corps des fractions d’un anneau intègre. Le corps Q des nombres rationnels. Le corps R des nombres réels. Le corps C des nombres complexes. Théorème de d’Alembert-Gauss. 5. Divisibilité dans les anneaux commutatifs intègres. Éléments irréductibles, éléments inversibles, éléments premiers entre eux. Anneaux factoriels. Plus grand diviseur commun, plus petit multiple commun. Factorialité de A[X] quand A est un anneau factoriel. Anneaux principaux. Théorème de Bézout. Anneaux euclidiens. Algorithme d’Euclide. Cas de l’anneau Z et de l’algèbre K[X] des polynômes sur le corps K. Polynômes irréductibles. Exemples : polynômes cyclotomiques dans Q[X], critère d’Eisenstein. 6. Congruences dans Z. Nombres premiers. Étude de l’anneau Z/nZ et de ses éléments inversibles. Théorème chinois et applications. 7. Racines d’un polynôme, multiplicité. Polynôme dérivé. Éléments algébriques et transcendants. Extensions algébriques. Corps algébriquement clos. Corps de rupture et corps de décomposition. Corps finis. 8. Relations entre les coefficients et les racines d’un polynôme scindé. Sommes de Newton. Résultant. Discriminant. Application à l’intersection ensembliste de deux courbes algébriques planes. 9. Corps des fractions rationnelles à une indéterminée sur un corps. Décomposition en éléments simples. Cas réel et complexe. Dérivée logarithmique d’un polynôme et applications.
2
4 Formes bilinéaires et quadratiques sur un espace vectoriel 1. Formes bilinéaires. Formes bilinéaires alternées. Formes bilinéaires symétriques, formes quadratiques, forme polaire d’une forme quadratique (en caractéristique différente de 2). Éléments orthogonaux, interprétation géométrique. Formes non dégénérées. Adjoint d’un endomorphisme. Représentation matricielle, changement de base. Rang d’une forme bilinéaire. 2. Orthogonalité. Sous-espaces isotropes. Décomposition d’une forme quadratique en somme de carrés. Théorème d’inertie de Sylvester. Classification dans le cas de R ou C. Procédés d’orthogonalisation. 3. Espaces vectoriels euclidiens, espaces vectoriels hermitiens. Isomorphisme d’un espace vectoriel euclidien avec son dual. Supplémentaire orthogonal. Inégalité de Cauchy-Schwarz. Norme. Bases orthonormales. 4. Groupe orthogonal, groupe spécial orthogonal. Exemple de générateurs du groupe orthogonal : décomposition d’un automorphisme orthogonal en produit de réflexions. Endomorphismes symétriques, endomorphismes normaux. Diagonalisation d’un endomorphisme symétrique. Réduction simultanée de deux formes quadratiques réelles, l’une étant définie positive. Décomposition polaire dans GL(n, R). Espaces vectoriels euclidiens de dimension 2 ou 3 : groupe des rotations ; produit mixte ; produit vectoriel. 5. Angles en dimension 2 : angles de vecteurs, angles de droites. Théorème de l’angle inscrit. Cocyclicité. 6. Groupe unitaire, groupe spécial unitaire. Diagonalisation des endomorphismes normaux. Décomposition polaire dans GL(n, C). 5 Géométries affine, projective et euclidienne Tous les espaces considérés dans ce chapitre sont de dimension finie. 1. Espace affine et espace vectoriel associé. Application affine et application linéaire associée. Sous-espaces affines, barycentres. Repères affines, équations d’un sous-espace affine. Groupe affine, notion de propriété affine. Groupe des homothéties-translations, affinités. Parties convexes, enveloppe convexe d’une partie d’un espace affine réel, points extrémaux. Projection sur un convexe fermé. 2. Droite projective réelle ou complexe : groupe des homographies, birapport. 3. Isométries d’un espace affine euclidien. Groupe des isométries d’un espace affine euclidien. Déplacements, antidéplacements. En dimension 2 : classification des isométries, similitudes directes et indirectes. En dimension 3 : rotations. 4. Groupe des isométries laissant stable une partie du plan ou de l’espace. Polygones réguliers. Relations métriques dans le triangle. Utilisation des nombres complexes en géométrie plane. 5. Coniques et quadriques Application des formes quadratiques à l’étude des coniques propres du plan affine euclidien et des
quadriques de l’espace affine euclidien de dimension 3. Classification des coniques.
Intersection de quadriques et résultant.
Propriétés géométriques (affines et métriques) des coniques. Définition par foyer et directrice, définition bifocale. 6 Analyse à une variable réelle 1. Nombres réels Le corps R des nombres réels. Topologie de R. Sous-groupes additifs de R. Droite numérique achevée.
Suites de nombres réels : convergence, valeur d’adhérence. Limites inférieure et supérieure. Suites
3
de Cauchy. Complétude de R. Théorème de Bolzano-Weierstrass. Parties compactes de R. Parties
connexes de R.
Convergence des séries à termes réels. Séries géométriques, séries de Riemann. Séries à termes positifs. Sommation des relations de comparaison. Comparaison d’une série et d’une intégrale. Estimations des restes. Convergence absolue. Produits de séries. Séries alternées.
2. Fonctions définies sur une partie de R et à valeurs réelles (a) Continuité Limite, continuité à droite, à gauche, continuité. Opérations algébriques sur les fonctions continues. Théorème des valeurs intermédiaires, image d’un segment. Étude de la continuité des fonctions monotones. Continuité d’une fonction réciproque. (b) Dérivabilité Dérivée en un point, dérivée à droite, à gauche. Fonctions dérivables. Opérations algébriques sur les fonctions dérivables. Dérivée d’une fonction composée. Dérivabilité d’une fonction réciproque.
Théorèmes de Rolle et des accroissements finis. Application au sens de variation d’une fonction.
Dérivées d’ordre supérieur. Applications de classe C k , de classe C kpar morceaux. Formule de
Leibniz. Formule de Taylor avec reste intégral, formule de Taylor-Lagrange, formule de Taylor-
Young.
Calcul de développements limités et de développements asymptotiques.
3. Intégrale sur un segment des fonctions continues par morceaux et calcul de primitives Propriétés de l’intégrale : linéarité, relation de Chasles, positivité. Sommes de Riemann. Primitives d’une fonction continue. Changement de variable. Intégration par parties. Méthodes usuelles de calcul d’intégrales. 4. Intégrales généralisées. Intégrales absolument convergentes. Intégration des relations de comparaison. Intégrales semi-convergentes. 5. Suites et séries de fonctions Convergence simple, convergence uniforme. Continuité et dérivabilité de la limite. Cas des séries de
fonctions : convergence normale.
Théorèmes d’approximation de Weierstrass polynomial et de Weierstrass trigonométrique.
6. Fonctions usuelles Fonctions polynômes, fonctions rationnelles. Logarithmes. Exponentielles. Fonctions puissances. Fonctions circulaires et hyperboliques. Fonctions circulaires et hyperboliques réciproques. 7. Convexité Fonctions convexes d’une variable réelle. Continuité et dérivabilité des fonctions convexes. Caractérisations de la convexité. 8. Suites définies par une relation un f (u). Étude graphique. Points fixes attractifs. Points fixes ré+1 =n pulsifs. 9. Polynôme d’interpolation de Lagrange. 10. Méthodes d’approximation Approximation quadratique : polynômes orthogonaux. 11. Méthodes de résolution approchée des équations f (x) = 0 : dichotomie, méthode de Picard, méthode de Newton. Estimation de l’erreur pour la méthode de Newton. 12. Intégration numérique : méthode des trapèzes, de Simpson ; estimation de l’erreur.
4
7 Analyse à une variable complexe
1. Séries entières Rayon de convergence. Propriétés de la somme d’une série entière sur son disque de convergence :
continuité, dérivabilité par rapport à la variable complexe, primitives.
Fonctions analytiques sur un ouvert. Principe des zéros isolés. Opérations algébriques sur les fonctions analytiques. Composition.
Exponentielle complexe ; propriétés. Extension des fonctions circulaires au domaine complexe.
Développement en série entière des fonctions usuelles.
2. Fonctions d’une variable complexe Fonctions holomorphes. Conditions de Cauchy-Riemann. Intégrale d’une fonction continue le long d’un chemin C 1 par morceaux. Primitives d’une fonction holomorphe sur un ouvert étoilé. Déterminations du logarithme.
Indice d’un chemin fermé C 1 par morceaux par rapport à un point.
Formules de Cauchy. Analyticité d’une fonction holomorphe. Principe du prolongement analytique.
Principe du maximum.
Singularités isolées. Séries de Laurent. Fonctions méromorphes. Théorème des résidus.
Suites et séries de fonctions holomorphes.
8 Calcul différentiel 1. Topologie de Rn
Parties ouvertes, fermées. Voisinages. Parties compactes. Théorème de Bolzano-Weierstrass.
Parties connexes. Normes usuelles. Limites. Applications continues. Complétude de Rn.
2. Fonctions différentiables Applications différentiables sur un ouvert de Rn. Différentielle (application linéaire tangente). Dérivée selon un vecteur. Dérivées partielles. Opérations algébriques sur les applications différentiables. Composition d’applications différentiables. Théorème des accroissements finis. Applications de classe C 1. Matrice jacobienne. Applications de classe C k . Dérivées partielles d’ordre k. Interversion de l’ordre des dérivations. Formule de Taylor avec reste intégral, formule de Taylor-Young. Étude locale des applications à valeurs dans R. Développements limités. Recherche des extremums locaux.
Difféomorphismes. Théorème d’inversion locale. Théorème des fonctions implicites.
3. Équations différentielles Équations différentielles sur un ouvert de Rn, de la forme X'= f (t, X). Théorème de Cauchy-Lipschitz. Solutions maximales. Problème de l’existence globale. Dépendance par rapport aux conditions initiales.
Portrait de phase, comportement qualitatif.
Systèmes différentiels linéaires.
Méthode de variation de la constante. Cas des coefficients constants. Équations différentielles linéaires d’ordre supérieur à un. 9 Calcul intégral 1. Définition des espaces mesurables, tribu produit, cas particulier des tribus boréliennes. Définition d’une mesure, cas particuliers de la mesure de comptage, de la mesure de Lebesgue (construction
5
admise) et des mesures de probabilité. Définition d’une fonction mesurable ; opérations élémentaires sur les fonctions mesurables. 2. Intégration Intégrale des fonctions mesurables positives, théorème de convergence monotone. Lemme de Fatou. Fonctions intégrables, théorème de convergence dominée. Fonctions intégrables à valeurs dans un espace vectoriel de dimension finie. Continuité, dérivabilité, holomorphie d’une intégrale dépendant d’un paramètre. Espaces Lp, où 1 � p �∞: inégalités de Minkowski, Hölder et Jensen. Théorème de Fubini. Changement de variables dans une intégrale multiple. Calculs d’aires de domaines plans et de volumes.
Convolution. Régularisation et approximation par convolution.
3. Analyse de Fourier Séries de Fourier des fonctions localement intégrables périodiques d’une variable réelle. Lemme de Riemann-Lebesgue. Produit de convolution de fonctions périodiques. Théorèmes de Dirichlet et de Fejer. Théorie L2 : convergence en moyenne quadratique, formule de Parseval. 10 Probabilités 1. Définition d’un espace probabilisé : événements, tribus, mesure de probabilité. Indépendance d’événements et de tribus. Loi du 0-1, lemmes de Borel-Cantelli. 2. Probabilités conditionnelles : définition, formule des probabilités totales et théorème de Bayes. 3. Variables aléatoires, loi d’une variable aléatoire : loi discrète et loi absolument continue. Fonction de répartition et densité. 4. Exemples de variables aléatoires : variable de Bernoulli, binomiale, de Poisson, uniforme, exponentielle, de Gauss. 5. Espérance et variance d’une variable aléatoire à valeurs réelles, théorème de transfert. 6. Indépendance de variables aléatoires. Loi conditionnelle d’une variable par rapport à une autre. 7. Transformations exponentielles de lois : fonction caractéristique, transformée de Laplace, fonction génératrice. Liens avec l’indépendance et la convolution, application aux sommes de variables aléatoires indépendantes. 8. Convergences de suites de variables aléatoires : en probabilité, dans Lp, presque sûrement, en loi. 9. Inégalité de Markov, inégalité de Bienaymé-Tchebychev. Loi faible des grands nombres, applications en statistiques. 10. Théorème de Lévy, théorème central limite, applications en statistiques. 11 Analyse fonctionnelle 1. Topologie et espaces métriques
Topologie d’un espace métrique. Topologie induite.
Suites. Valeurs d’adhérence. Limites. Applications continues. Homéomorphismes.
Produit fini d’espaces métriques.
Compacité. Connexité. Composantes connexes. Connexité par arcs.
Propriétés métriques : applications lipschitziennes, applications uniformément continues.
Espaces métriques complets. Théorème du point fixe pour les applications contractantes.
6
2. Espaces vectoriels normés sur R ou C. Topologie d’un espace vectoriel normé. Normes équivalentes. Cas des espaces de dimension finie.
Espaces de Banach. Séries absolument convergentes dans un espace de Banach.
Applications linéaires continues, norme.
Norme de la convergence uniforme. Espace des fonctions continues bornées sur un espace métrique,
à valeurs dans un espace Banach.
Étude de la compacité de parties d’un espace vectoriel normé : théorème de Riesz ; théorème d’Ascoli.
Complétude des espaces Lp, où 1 �p �∞.
3. Espaces de Hilbert Projection sur un convexe fermé. Projection orthogonale sur un sous-espace vectoriel fermé. Dual d’un espace de Hilbert. Cas des espaces L2. Bases hilbertiennes (dans le cas séparable). Exemples de bases : fonctions trigonométriques, polynômes orthogonaux.
Exemples d’applications linéaires continues entre espaces de Hilbert.
Théorème de Lax Milgram. Espace H10(]0,1[) et application au problème de Dirichlet en dimension 1 :
u − d (a du) = f avec f ∈ L2(]0,1[), a ∈ L∞(]0,1[) essentiellement positive et minorée par m > 0.dx dx 4. Espace de Schwartz S(Rd ) des fonctions à décroissance rapides sur Rd . Normes Np( f ) (sup des normes uniformes des produits des dérivées partielles itérées d’ordre inférieur à p de f par les monômes de degré inférieur à p).
Espace S'(Rd ) des distributions tempérées.
Dérivation des distributions tempérées.
Cas particulier des distributions à support compact dans Rd . Solution fondamentale du Laplacien.
Convolution de distributions dans le cas où l’une d’entre elles est à support compact.
Transformation de Fourier dans S et dans S'.
Transformation de Fourier sur les espaces L1(Rd ) et L2(Rd ).
12 Géométrie différentielle Sous-variétés de Rn. Définitions équivalentes : graphe local, paramétrisation locale, équation locale.
Espace tangent. Notions métriques : longueur d’un arc, paramétrisation normale, courbure d’un arc
en dimensions 2 et 3. Gradient.
Tracé de courbes usuelles.
Surfaces dans R3 : position par rapport au plan tangent.
Définition de la divergence d’un champ de vecteurs.
Extremums locaux d’une fonction définie sur une sous-variété (extremums liés), multplicateurs de
Lagrange.
7
ÉPREUVES ÉCRITES Les épreuves écrites comportent deux épreuves : A. Composition de mathématiques générales Le programme de cette épreuve est constitué par les titres 1 à 12 ci-dessus. B. Composition d’analyse et probabilités Le programme de cette épreuve est constitué par les titres 1 à 12 ci-dessus. ÉPREUVES ORALES Les candidats ont le choix entre quatre options : Option A : probabilité et statistiques
Option B : calcul scientifique
Option C : algèbre et calcul formel
Option D : informatique
Épreuves orales des options A, B, C 1re Épreuve : Épreuve d’Algèbre et Géométrie 2e Épreuve : Épreuve d’Analyse et Probabilités Le programme de ces deux épreuves, communes aux options A, B et C, est constitué des titres 1 à 12 et du programme complémentaire ci-dessous. Programme complémentaire pour les épreuves orales options, A, B, C et D – Résolution de systèmes d’équations linéaires ; Normes subordonnées, notion de conditionnement, rayon spectral, décomposition LU, méthode de Jacobi. Exemple d’opérateurs aux différences finies. Lien avec l’optimisation de fonctionnelles convexes en dimension finie, méthode du gradient à pas constant pour les systèmes linéaires symétriques définis positifs, moindres carrés. Recherche d’éléments propres : méthode de la puissance, décomposition en valeurs singulières, théorème de Gershgörin-Hadamard. – Méthode numérique pour la résolution de systèmes d’équations non linéaires. Méthode de Newton : définition, vitesse de convergence, estimation de l’erreur. – Intégration numérique : méthode des rectangles, des trapèzes, de Simpson ; estimation de l’erreur. – Équations différentielles ordinaires. Stabilité des points critiques. Aspects numériques du problème de Cauchy : méthodes d’Euler explicite et implicite, consistance, stabilité, convergence, ordre. 3e Épreuve : Épreuve de Modélisation L’épreuve porte sur le programme constitué des titres 1 à 12, du programme complémentaire ci-dessus, d’un programme commun aux options A, B et C (explicité ci-dessous) et sur un programme spécifique à l’option choisie. L’épreuve consiste en un exposé de modélisation mathématique construit en partant d’un texte proposé par le jury. Le programme définit un cadre de théories mathématiques et de techniques d’application adaptées pour l’épreuve. Ce programme comporte une partie commune aux options A, B et C et, pour chacune de ces options, une partie spécifique.
8
Modélisation : programme de la partie commune aux options A, B, C À partir de la session 2015, seuls les logiciels libres seront disponibles. Le site de l’agrégation externe de mathématiques (agreg.org) et le rapport du Jury préciseront suffisamment à l’avance la liste des logiciels disponibles et la nature de leur environnement. À l’aide d’un ou plusieurs de ces logiciels, les candidats devront montrer leur capacité à : – mettre en oeuvre avec précision et rigueur les concepts et outils mathématiques au programme, – distinguer les représentations exactes ou approchées des objets mathématiques – estimer le coût et les limitations d’algorithmes simples : complexité, précision – analyser la pertinence des modèles. Le programme de cette partie comprend les méthodes numériques, probabilistes, statistiques et symboliques citées dans les programmes des épreuves écrites, dans le programme complémentaire pour l’oral et celles citées dans les paragraphes suivants. 1. Calcul numérique et symbolique Utilisation des logiciels au programme : simulation, intégration, différentiation, calcul de sommes et d’intégrales, résolution d’équations algébriques et différentielles. 2. Probabilités discrètes : tirages uniformes ; échantillons. 3. Chaînes de Markov homogènes à espace d’états finis : définition, irréductibilité, apériodicité. 4. Validation et précision des résultats.
Méthodes numériques : notion de conditionnement des systèmes linéaires.
Précision du schéma numérique d’Euler explicite à pas constant.
Moyenne et variance empirique.
Méthode de Monte Carlo : vitesse de convergence ; applications au calcul d’intégrales multiples (exemple : calcul de volumes). 5. Moindres carrés linéaires (sans contraintes). Programme spécifique de l’option A 1. Utilisation de lois usuelles (voir section 10.4, loi géométrique) pour modéliser certains phénomènes aléatoires. Exemples : temps d’attente ou durée de vie, erreurs de mesure, sondages. . . Méthodes de simulation de variables aléatoires. 2. Chaînes de Markov à espace d’états finis. Classification des états. Convergence vers une loi stationnaire (théorème ergodique et théorème central limite admis). Chaînes de Markov homogènes à espace d’états dénombrable, transience, récurrence positive ou nulle, exemple de la marche aléatoire simple. 3. Lois de Poisson, exponentielle et Gamma, construction et propriétés du processus de Poisson sur R. +4. Espérance conditionnelle, définition des martingales, temps d’arrêt. Exemples d’utilisation des théorèmes de convergence presque sûre et L2 des martingales à temps discret. 5. Échantillons, moments empiriques, loi et fonction de répartition empiriques. 6. Applications des théorèmes de convergences à l’estimation (lois des grands nombres, théorème central limite, utilisation du lemme de Slutsky). Définition et construction d’intervalles de confiance. 7. Estimation paramétrique. Estimation par maximum de vraisemblance : définition et exemples. 8. Vecteurs gaussiens : définition, simulation en dimension 2, théorème de Cochran. Théorème central limite dans n R.
9
9. Modèle linéaire gaussien : calculs par moindres carrés, régression linéaire simple ou multiple, exemples d’utilisation. 10. Tests paramétriques (test du rapport de vraisemblance). Tests d’ajustement (tests du 2χ, tests de Kolmogorov-Smirnov). Exemples d’utilisation. Programme spécifique de l’option B. 1. Équations différentielles ordinaires. Espaces de phase. Étude qualitative. Stabilité des points critiques. Aspects numériques du problème de Cauchy : mise en oeuvre des méthodes d’Euler, utilisation de la méthode de Runge-Kutta 4. 2. Notions élémentaires sur les équations aux dérivées partielles classiques en dimension un. Équation de transport (advection) linéaire : méthode des caractéristiques. Équations des ondes et de la chaleur : résolution par transformée de Fourier et séparation des variables. Aspects qualitatifs élémentaires.
Équations elliptiques.
Exemples de discrétisation de problèmes aux limites en dimension un par la méthode des différences
finies : notions de consistance, stabilité, convergence, ordre. 3. Optimisation et approximation Interpolation de Lagrange. Extremums des fonctions réelles de n variables réelles : multiplicateurs de Lagrange. Mise en oeuvre de l’algorithme de gradient à pas constant.
Méthode des moindres carrés et applications.
Programme spécifique de l’option C. 1. Représentation et manipulation des entiers longs, flottants multiprécision, nombres complexes, polynômes, éléments de Z/nZ et des corps finis. Addition, multiplication, division, extraction de racine carrée. 2. Algorithmes algébriques élémentaires. Exponentiation (n → an, pour n ∈ N), algorithme d’Euclide étendu.
Test de primalité de Fermat.
3. Matrices à coefficients dans un corps.
Méthode du pivot de Gauss, décomposition LU. Calcul du rang, du déterminant.
Exemples de codes correcteurs linéaires : codes de répétition, codes de Hamming binaires.
4. Matrices à coefficients entiers. Opérations élémentaires sur les lignes et les colonnes. Application aux systèmes linéaires sur Z et aux groupes abéliens de type fini. 5. Polynômes à une indéterminée.
Évaluation (schéma de Horner), interpolation (Lagrange, différences finies).
Localisation des racines dans R ou C : majoration en fonction des coefficients.
6. Polynômes à plusieurs indéterminées. Résultants, élimination ; intersection ensembliste de courbes et de surfaces algébriques usuelles. 7. Estimation de la complexité des algorithmes précités dans le pire des cas. Aucune formalisation d’un modèle de calcul n’est exigée.
10
Épreuves de l’option D : informatique 1re Épreuve : Mathématiques Le programme de cette épreuve est constitué des titres 1 à 12 et du programme complémentaire de l’oral. Les candidats se verront proposer deux sujets, dans un corpus d’algèbre, de géométrie, d’analyse et de probabilités. 2e Épreuve : Informatique Fondamentale Le programme de cette épreuve est constitué des titres 13 à 16 ci-après. 3e Épreuve : Analyse de système informatique Le programme de cette épreuve est constitué des titres 13 à 16 ci-après. Deux textes décrivant une classe de systèmes informatiques sont proposés au candidat qui doit choisir l’un des deux. La compréhension de ces textes et leur exploitation dans cette épreuve requièrent les connaissances en informatique correspondant aux matières enseignées en L1-L2 de Maths-Info ou dans l’option informatique des classes préparatoires auxquelles s’ajoutent celles du programme. L’objectif de l’épreuve est d’évaluer la capacité des candidats à mettre en place un processus d’analyse d’un système informatique dans un contexte applicatif. Ce processus s’appuie sur les notions au programme. Les langages informatiques C, Caml, Python et Java seront disponibles pour cette épreuve et sa préparation. Le rapport du Jury précisera la nature de l’environnement logiciel. Programme spécifique de l’option D. L’ensemble du programme correspond à 250h de formation (cours et/ou TD et/ou TP ) de niveau Licence et première année de Master, à partir des acquis des deux premières années de Licence ou de l’option informatique des classes préparatoires. L’objectif de cette option est de s’assurer que les candidats maîtrisent les fondements essentiels et structurants de la science informatique. Le programme n’est pas rédigé comme un plan de cours, il décrit les notions que les candidats doivent maîtriser. Le programme n’impose aucun langage de programmation particulier. Les candidats doivent maîtriser au moins un langage et son environnement de programmation parmi CAML, Java ou C. 13 Algorithmique fondamentale Cette partie insiste sur les notions de preuve et de complexité des algorithmes. Elle est relativement indépendante de tout langage de programmation, mais le candidat doit être capable de mettre en oeuvre sur machine les structures de données et les algorithmes étudiés. 1. Structures de données. Types abstraits : définition des tableaux, listes, piles, files, arbres, graphes (orientés et non orientés), ensembles, dictionnaires, file de priorité. Interface abstraite et implantation (implémentation) concrète. 2. Schémas algorithmiques classiques : approche gloutonne, diviser pour régner, programmation dynamique. Exemples : algorithme de Dijkstra, tri-fusion, plus longue sous-séquence commune. 3. Complexité. Analyse des algorithmes : relations de comparaison O, Θ et Ω. Analyse dans le pire cas. Exemple d’analyse en moyenne : recherche d’un élément dans un tableau. 4. Preuve d’algorithmes : correction, terminaison. Méthodes de base : assertions, pré-post conditions, invariants et variants de boucles, logique de Hoare, induction structurelle. 5. Algorithmes de tri et de recherche. Méthodes de tri par comparaison (tri-fusion, tri-tas, tri rapide), arbre de décision et borne inférieure du tri par comparaisons. Méthodes de recherche séquentielle et
11
dichotomique. Arbres binaires de recherche. Arbres équilibrés : définition, relation entre la taille et la hauteur, maintien de l’équilibre. 6. Algorithmes de graphes. Parcours de graphes : algorithmes de parcours en largeur, en profondeur, algorithme de Dijkstra. Arbres couvrants : algorithmes de Prim et de Kruskal. Fermeture transitive. 14 Automates et langages 1. Automates finis. Langages reconnaissables. Lemme d’itération. Existence de langages non reconnaissables. Automates complets. Automates déterministes. Algorithme de déterminisation. Propriétés de clôture des langages reconnaissables. 2. Expressions rationnelles. Langages rationnels. Théorème de Kleene. 3. Automate minimal. Résiduel d’un langage par un mot. Algorithme de minimisation. 4. Utilisation des automates finis : recherche de motifs, analyse lexicale. 5. Langages algébriques. Lemme d’Ogden. Existence de langages non algébriques. Grammaires algébriques. Propriétés de clôture des langages algébriques. 6. Automates à pile. Langages reconnaissables par automates à pile. 7. Utilisation des automates à pile : analyse syntaxique. Grammaires LL(1). 15 Calculabilité, décidabilité et complexité 1. Définition des fonctions primitives récursives ; schémas primitifs (minimisation bornée). Définition des fonctions récursives ; fonction d’Ackerman. 2. Définitions des machines de Turing. Équivalence entre classes de machines (exemples : nombre de rubans, alphabet). Équivalence avec les fonctions récursives. 3. Universalité. décidabilité, Indécidabilité. Théorème de l’arrêt. Théorème de Rice. Réduction de Turing. Définitions et caractérisations des ensembles récursifs, récursivement énumérables. 4. Complexité en temps et en espace : classe P. Machines de Turing non déterministes : classe NP. Acceptation par certificat. Réduction polynomiale. NP-complétude. Théorème de Cook. 16 Logique et démonstration 1. Calcul propositionnel : syntaxe et sémantique. Tables de vérité, tautologies, formes normales, forme clausale. Théorème de complétude du calcul propositionnel. 2. Logique du premier ordre : aspects syntaxiques. Langages, termes, formules. Variables libres et variables liées, substitutions, capture de variables. 3. Réécriture : filtrage syntaxique du premier ordre, définition de l’unification syntaxique. Confluence, confluence locale, formes normales, paires critiques, lemme de Newman, algorithme de complétion de Knuth-Bendix. 4. Logique du premier ordre : systèmes formels de preuve. Calcul des séquents, déduction naturelle. Algorithme d’unification des termes. Preuves par résolution. 5. Logique du premier ordre : aspects sémantiques. Interprétation d’une formule dans un modèle. Validité, satisfiabilité. Théories cohérentes, théories complètes. Théories décidables, indécidables. Exemples de théories : égalité, arithmétique de Peano. Théorème de complétude du calcul des prédicats du premier ordre.
12
15:22 | Lien permanent | Commentaires (0) | | del.icio.us | | Digg | Facebook