(almost) Everything I know in math.
Switch branches/tags
Nothing to show
Clone or download
Permalink
Failed to load latest commit information.
auto (picture) les fichiers d'une nouvelle figure. Nov 12, 2018
contributing Merge Laurent's branch. Mar 19, 2018
pictures_bitmap Merge numerous updates from main branch and correct a typo. Mar 3, 2018
python (frido2019) Déjà une modification. Sep 5, 2018
src_phystricks (S^1) Les voisinages de 1 dans S^1 Nov 12, 2018
testing (testing) Oct 28, 2018
tex (S^1) Topologie induite et métrique. Fin. Nov 14, 2018
.gitignore (différentielle) Fin de la preuve de "dérivabilité et Sep 26, 2018
COMPILATION_frido.md (doc) Prérequis : python3 Sep 23, 2018
COMPILATION_mazhe.md (doc) Documenter la compilation du Frido et mazhe. Sep 4, 2018
COPYING Un peu d'arrangement pour pourvoir diviser en plusieurs volumes. Sep 17, 2015
NEW_PICTURE.md (picture) Commence un texte pour expliquer comment en créer. Nov 12, 2018
README.md (doc) Documenter la compilation du Frido et mazhe. Sep 4, 2018
branches_description.md Description of the branch. Sep 11, 2018
changelogFrido.md (changelog) Mise à jour du changelog Oct 31, 2018
commons.py (S^1) Sa topologie métrique et induite. Nov 5, 2018
configuration.tex (typos) Deux typos dans un commentaire. May 29, 2018
e_mazhe.tex (Anneaux) éléments inversibles, irréductibles et diviseurs de zéro dans Oct 16, 2018
erratum.md (L^2) Fixer un tas de conventions autour du produit scalaire et de la Oct 20, 2018
fdl-1.3.txt Merge numerous updates from main branch and correct a typo. Mar 3, 2018
fdl-1_3.tex Merge numerous updates from main branch and correct a typo. Mar 3, 2018
idées_à_faire.txt Déplacement de matières dans les arcs paramétrés, parce qu'il me semble Jan 2, 2017
lst_book.py (python) Initiate the work for publishing. Sep 2, 2018
lst_enseignement.py Merge numerous updates from main branch and correct a typo. Mar 3, 2018
lst_everything.py Merge numerous updates from main branch and correct a typo. Mar 3, 2018
lst_exemple.py Merge numerous updates from main branch and correct a typo. Mar 3, 2018
lst_frido.py (pdftitle) Permet de changer le 'pdftitle' à partir d'un plugin dans Jun 13, 2018
lst_outils_math.py Change the module name LaTeXparser -> latexparser Oct 7, 2016
lst_research.py Merge numerous updates from main branch and correct a typo. Mar 3, 2018
lst_test_couleur.py Merge numerous updates from main branch and correct a typo. Mar 3, 2018
mazhe.bib (iint) Suppression d'un \iint au profit de \int. Nov 2, 2018
mazhe.tex (organisation) Nov 5, 2018
plugins_agreg.py (pdftitle) Permet de changer le 'pdftitle' à partir d'un plugin dans Jun 13, 2018
réserve.tex (Fourier) Travail sur la cohérence des définitions entre la base Oct 22, 2018
split_book.sh Merge numerous updates from main branch and correct a typo. Mar 3, 2018
test_couleur.tex Merge numerous updates from main branch and correct a typo. Mar 3, 2018
themestoc.tex (anneaux) Un peu d'ordre dans quelque notions Oct 12, 2018

README.md

Mazhe

(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 :

Download and compilation

(English) See the file COMPILATION_mazhe.md (Français) Voir le fichier COMPILTATION_frido.md

Le Frido (niveau agrégation)

Le Frido contient des mathématiques du niveau de l'agrégation. Il couvre à peu près tout le programme (cf. le dernier rapport de jury, chapitre 9 pages 131-138).

Afin de donner une idée, une liste (presque à jour) des développements que vous pourriez y trouver est en annexe.

Quelque éléments en plus que l'agrégation

  • Construction complè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^n en translation plus rotation.

Ce qu'il manque pour l'agrégation

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.

Originalité

Ce cours se distingue d'autres cours de mathématique pour l'agrégation de plusieurs manières.

En positif

  • 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.

En négatif

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.

« Est-ce je peux utiliser le Frido le jour de l'oral d'agreg ? »

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 (même avec un numéro ISBN).

Pour utiliser le Frido à l'agrégation, il faudra passer à la caisse et acheter une version papier chez thebookedition.com.

(almost) Everything I know in math

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)

General differential geometry

  • Fiber bundles: vector, principal and associated bundles.
  • Connections on fiber bundle, covariant derivative.

Lie groups, Lie algebra

  • Lie groups and Lie algebra.
  • Homogeneous and symmetric spaces.
  • Root spaces, Iwasawa decomposition.
  • Cyclic modules and representations.

Quantum field theory

Very few physics. The aim is to understand why are we using groups, representations and principal bundle in quantum field theory.

  • Link between fiber 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 connection on that bundle (with values in the Lie algebra of the gauge group).
  • Clifford module and Dirac operator.
  • Yang-Mills action.

Non commutative geometry

  • Compact quantum group.
  • General non commutative geometry.
  • WKB Deformation and quantization theory. Deformation of a manifold by action of a "deformable" group.

Black hole in anti-de Sitter space

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.

Other

  • Symplectic geometry, Hamiltonian action.
  • Bialgebra and Hopf algebra.
  • Oscillatory integral.
  • von Neumann algebra.
  • C* algebra and GNS construction.

Annexe : liste de choses que l'on peut trouver dans le Frido

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 :

Algèbre et géométrie

  • 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écompositions 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 rationnelles.
  • 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.

Analyse

  • Le dénombrement des solutions de l'équation diophantienne alpha1 n1 + ... alphaK nK = n, utilise des séries entières et des décompositions 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 intervalle).
  • 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 équi-ré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 équi-ré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.

Téléchargement

lefrido.pdf.