(English) This is a big course of mathematics declined in two versions. See below for an English presentation of the English part.
(Français) Ce dépôt contient les sources d'un livre de mathématique, décliné en deux versions :
- « Le Frido » contient des mathématiques du niveau de l'agrégation. Il recouvre à peu près tout le programme.
- « (almost) Everything I know in mathematics » contains more or less everything I know in mathematics, including my research.
- Et ce fichier readme.pdf contient des instruction pour la compilation du Frido, ainsi que des politiques éditoriales à l'attention de qui voudrait contribuer.
Les sources sont sur github.
Le Frido contient des mathématiques du niveau de l'agrégation. Il recouvre à peu près tout le programme. Affin de donner une idée, une liste (pas spécialement à jour) des développements que vous pourriez y trouver est en annexe.
- Construction compète de la mesure de Lebesgue, y compris les notions de complétion de mesure (le chapitre tribu/théorie de la mesure est assez lourd).
- La topologie exacte des espaces de distribution, y compris la topologie liée à une famille de semi-normes.
- La notion de produit semi-direct de groupe, et la décomposition du groupe des isométries de
R^nen translation plus rotation.
Cette liste est certainement hautement non-exhaustive en ce qui concerne les choses qu'il faudrait savoir pour passer l'agrégation, mais que l'on ne trouve pas dans le Frido.
- Le chapitre sur la géométrie projective est pauvre.
- Le chapitre sur les espaces affines est pauvre.
- Très peu de calcul numérique.
- Il manque des exemples de tout, partout.
Ce cours se distingue d'autres cours de mathématique pour l'agrégation de plusieurs manières.
- La licence est libre : vous pouvez le copier, le distribuer, l'imprimer et le modifier sans demander d'autorisation.
- Le Frido contient de quoi dire sur presque toutes les leçons en un seul volume. Certes c'est épais, mais cela évite de devoir mémoriser une liste associative qui à une leçon fait correspondre une liste de livres. Le Frido est de plus certainement plus léger que l'ensemble des livres dont vous auriez besoin pour couvrir la même matière.
- Les références sont toutes vers le haut. Les démonstrations ne dépendent que de résultats énoncés et démontrés plus haut dans le texte. Vous n'avez pas à vous inquiéter de l'ordre logique de présentation de vos résultats : celui du Frido est bon.
- Il y a une uniformité des notations à travers toutes les matières.
- Tout est très explicite. Pas d'abus de notation, citation explicite de tous les résultats utilisés et énormément de détails dans les démonstrations.
Le Frido se distingue également par certains aspects négatifs.
- Manque de relecture. Vous croyez que les livres commerciaux sont bien relus et sans erreurs ? Eh bien ce n'est pas le cas pour le Frido. Il n'est pas très relu (si vous trouvez des erreurs, contactez moi!!), et contient sûrement beaucoup d'erreurs. Un certain nombre sont d'ailleurs très clairement indiquées.
Tel quel : non parce que le règlement demande de n'utiliser que des documents commercialisés et interdit d'apporter des choses imprimées chez soi. Dans peu de temps je vais mettre une version du Frido en vente sur thebookedition.com. Elle sera également sous licence libre, mais utilisable à l'agrégation. Il sera divisé en trois volumes entre 500 et 600 pages dont vous pouvez télécharger les versions préliminaires : vol1, vol2, vol3.
Le prix unitaire sera entre 20 et 25 euros plus les frais d'envoi. C'est environ ce que vous auriez payé pour l'imprimer dans votre imprimerie préférée de votre quartier.
The document (almost) Everything I know in mathematics contains almost everything I know in mathematics. It includes
- A part (in French) about general mathematics at master level (le Frido)
- A part (in French) containing the exercises and many corrections of the courses I gave at university.
- Higher level mathematics including research stuff -- my PhD thesis is here (in English)
- Fibre bundles : vector, principal and associated bundles.
- Connexions on fibre bundle, covariant derivative.
- Lie groups and Lie algebra.
- Homogeneous and symmetric spaces.
- Root spaces, Iwasawa decomposition.
- Cyclic modules and representations.
Very few physics. The aim is to understand why are we using groups, representations and principal bundle in quantum field theory.
- Link between fibre bundle and quantum field theory : why are particles irreducible representations of the Poincaré group ?
- Particles are modeled by sections of associated bundle : product of one representation of the Poincaré group and one representation of the gauge group. The interaction is given by a connexion on that bundle (with values in the Lie algebra of the gauge group).
- Clifford module and Dirac operator.
- Yang-Mills action.
- Compact quantum group.
- General non commutative geometry.
- WKB Deformation and quantization theory. Deformation of a manifold by action of a "deformable" group.
This is the argument of my PhD thesis.
- Black hole in anti-de Sitter space. The singular part is defined as the closed orbits of the Iwasawa subgroup of SO(2,l-1) acting on the l-dimensional anti-de Sitter space.
- Dirac operator on the anti-de Sitter space.
- Deformation of the anti-de Sitter space.
- Symplectic geometry, Hamiltonian action.
- Bialgebra and Hopf algebra.
- Oscillatory integral.
- von Neumann algebra.
- C* algebra and GNS construction.
Le Frido contient des mathématiques du niveau de l'agrégation. Il recouvre à peu près tout le programme au niveau du cours, en proposant tous les théorèmes et leurs preuves et de nombreux exemples sur (presque) tous les chapitres du programme. Afin de donner une idée, voici une liste des développements que vous pourriez y trouver :
- Endomorphismes cycliques et commutant dans le cas diagonalisable.
- Isométries du cube.
- Racine carré d'une matrice hermitienne positive.
- Action du groupe modulaire sur le demi-plan de Poincaré.
- Algorithme des facteurs invariants.
- Méthode du gradient à pas optimal.
- Extrema liés.
- Enveloppe convexe du groupe orthogonal.
- Une forme canonique pour les transvections et dilatations.
- Résolution diophantienne de ax+by=c en utilisant Bézout.
- Résolution de l'équation diophantienne x^2+2 = y^3 en parlant de l'extension Z[i sqrt(2)] et de stathme.
- Le dénombrement des solutions de l'équation diophantienne alpha_1 n_1 + ... alpha_K n_K = n, utilise des séries entières et des décomposition de fractions en éléments simples.
- Triplets pythagoriciens.
- Polynômes semi-symétriques.
- Lemme de Morse.
- Générateurs du groupe diédral.
- Table des caractères du groupe diédral.
- Sous-groupes compacts de GL(n, R).
- Théorème de Wedderburn.
- Suites de décomposition et théorème de Jordan-Hölder.
- Le groupe alterné est simple.
- Théorème de Lie-Kolchin.
- RSA, plus l'exponentielle rapide, plus la recherche de couples de Bézout.
- Théorème de Sylow.
- Coloriage de roulette et composition de colliers.
- Théorème de Burnside sur les sous groupes d'exposant fini de GL(n, C).
- Théorème d'isomorphisme entre (Z/pZ)^* et Z/(p-1)Z.
- Forme alternées de degré maximum.
- Décomposition de Bruhat.
- Table des caractères du groupe symétrique S_4.
- Décomposition polaire d'un endomorphisme.
- Théorème de Von Neumann.
- Forme faible du théorème de Dirichlet.
- Irréductibilité des polynômes cyclotomiques, proposition.
- Structure des groupes d'ordre p×q.
- Divergence de la somme des inverses des nombres premiers.
- Théorème des deux carrés.
- Théorème de Chevalley-Warning.
- Loi de réciprocité quadratique.
- Polynômes irréductibles sur F_q.
- Nombres de Bell, exemples et théorème.
- Partitions d'un entier en parts fixes, proposition.
- Théorème de Rothstein-Trager sur l'intégration de fraction rationelles.
- Théorème de la dimension.
- Théorème de Carathéodory.
- Diagonalisation de matrices symétriques.
- Stabilité du rang par extension des scalaires.
- Ellipsoïde de John-Loewner, proposition.
- Décomposition de Dunford.
- Connexité des formes quadratiques de signature donnée.
- Points extrémaux de la boule unité dans End(E).
- Théorème de Kronecker.
- Polynômes séparables.
- Lien entre les racines (multiples) de P et P'.
- Théorème de l'élément primitif.
- À propos d'extensions des rationnels
- Polygones réguliers constructibles, théorème de Gauss-Wantzel.
- Le dénombrement des solutions de l'équation diophantienne alpha1 n1 + ... alphaK nK = n, utilise des séries entières et des décomposition de fractions en éléments simples.
- Méthode de Newton, exemple, théorème et preuve.
- Formule sommatoire de Poisson.
- Inégalité isopérimétrique.
- Équation de Hill (y'' + qy = 0).
- L'équation (x - x0)^{\alpha} u = 0, pour u dans les distributions tempérées.
- Espace de Sobolev H^1(J) (J un intervale).
- Un résultat sur l'équation de Hill (y'' + qy = 0) à partir d'une hypothèse de croissance.
- L'inégalité de Jensen.
- Théorème de Cauchy-Lipschitz.
- Dual de L^p([0, 1]), pour p strictement entre 1 et 2.
- Prolongement de fonction définie sur une partie dense.
- Complétion d'un espace métrique.
- Critère de Weyl (suites équiréparties).
- Densité des polynômes dans C0([0, 1])), et théorème de Bernstein.
- Suite telle que lim d(u_{k+1}, u_k) = 0.
- Théorème de Montel.
- Théorème de Runge.
- Théorème de Brouwer en dimension 2 ,via l'homotopie.
- Théorème de Lie-Kolchin.
- La notion de classes dans L^p.
- Théorème de Fischer-Riesz.
- Processus de Galton-Watson.
- Théorème d'inversion locale.
- Théorème de Picard et l'inséparable théorème de Cauchy-Lipschitz.
- Prolongement méromorphe de la fonction Gamma d'Euler.
- Théorème de Tietze.
- Extrema liés.
- Les théorèmes sur les fonctions définies par des intégrales.
- Lemme de Borel.
- Divergence de la somme des inverses des nombres premiers.
- Théorème taubérien de Hardy-Littlewood.
- Théorème d'Abel angulaire.
- Le théorème de Weierstrass sur la limite uniforme de fonctions holomorphes.
- Problème de la ruine du joueur.
- Calcul d'intégrale par suite équirépartie.
- Fonction caractéristique.
- Théorème central limite.
- Fonction continue et périodique dont la série de Fourier ne converge pas.
- Estimation des grands écarts.
- Théorème de Banach-Steinhaus.