Professional Documents
Culture Documents
Section mathmatiques
____________________________________________________________________________________________________________
Ministre de lducation nationale > www.education.gouv.fr
14 fvrier 2014
Le programme des preuves de lagrgation nest pas rdig comme un plan de cours. Il dcrit un en
semble de connaissances que le candidat doit matriser. Il comporte des rptitions lorsque des notions
interviennent naturellement plusieurs endroits.
Dune faon gnrale, les candidats doivent connatre des applications qui illustrent les notions gnrales.
Le programme en propose ainsi un certain nombre. Il ne sagit que de simples suggestions dapplications
possibles, qui peuvent tre compltes ou remplaces par dautres.
Dans les titres 1 5 qui suivent, tous les corps (nots K en gnral) sont supposs commutatifs.
1 Algbre linaire
1.1 Espaces vectoriels
1. Espaces vectoriels, applications linaires. Produit despaces vectoriels. Sous-espaces, image et noyau
dune application linaire. Espaces quotients. Somme de sous-espaces, somme directe, supplmen
taires. Familles libres, gnratrices ; bases. Algbre des endomorphismes dun espace vectoriel E ,
groupe linaire GL(E ).
2. Sous-espaces stables dun endomorphisme. Valeurs propres, vecteurs propres, sous-espaces propres.
3. Reprsentations linaires dun groupe et dune algbre. Irrductibilit. En dimension nie : exemples
de dcomposition dune reprsentation linaire en somme directe de sous-reprsentations, lemme
de Schur.
Oprations lmentaires sur les lignes et les colonnes dune matrice. Mthode du pivot de Gauss.
calcul de dterminants, linversion des matrices carres, la dtermination du rang dune matrice,
Extension lmentaire de ces notions aux matrices coefcients dans un anneau commutatif.
4. Sous-espaces stables dun endomorphisme, lemme des noyaux. Polynme caractristique, polynmes
annulateurs dun endomorphisme, polynme minimal. Thorme de Cayley-Hamilton.
Diagonalisation, trigonalisation, applications. Sous-espaces caractristiques, dcomposition de Dun
ford. Exponentielle des matrices relles ou complexes.
2 Groupes et gomtrie
Les diffrentes notions de thorie des groupes introduites dans les paragraphes suivants seront illustres et
appliques dans des situations gomtriques.
1. Groupes, morphismes de groupes. Produit direct de groupes. Sous-groupes. Sous-groupe engendr
par une partie. Ordre dun lment. Sous-groupes distingus (ou normaux), groupes quotients. Op
ration dun groupe sur un ensemble. Stabilisateur dun point, orbites, espace quotient. Formule des
1
classes. Classes de conjugaison. Application la dtermination des groupes disomtries dun poly
dre rgulier en dimension 3.
2. Groupes cycliques. Groupes abliens de type ni. Groupe des racines complexes n-imes de lunit,
racines primitives.
3. Groupe des permutations dun ensemble ni. Dcomposition dune permutation en produit de trans
positions, en produit de cycles supports disjoints. Signature. Groupe altern. Application : dtermi
nants.
4. Dnition des groupes classiques dautomorphismes dun espace vectoriel de dimension nie : groupe
gnral linaire, groupe spcial linaire ; groupe orthogonal, groupe spcial orthogonal ; groupe uni
taire, groupe spcial unitaire.
5. Reprsentations dun groupe ni sur un C-espace vectoriel.
Cas dun groupe ablien. Orthogonalit des caractres irrductibles. Groupe dual. Transforme de
Fourier. Convolution. Application : transforme de Fourier rapide.
Cas gnral. Thorme de Maschke. Caractres dune reprsentation de dimension nie. Fonctions
centrales sur le groupe, base orthonorme des caractres irrductibles. Exemples de reprsentations
de groupes de petit cardinal.
3. Sries formelles une indtermine coefcients dans un corps. Addition, multiplication, composi
tion, lments inversibles.
4. Corps, sous-corps. Caractristique. Extension de corps. Corps des fractions dun anneau intgre. Le
corps Q des nombres rationnels. Le corps R des nombres rels. Le corps C des nombres complexes.
Thorme de dAlembert-Gauss.
5. Divisibilit dans les anneaux commutatifs intgres. lments irrductibles, lments inversibles, l
ments premiers entre eux. Anneaux factoriels. Plus grand diviseur commun, plus petit multiple com
mun.
Factorialit de A[X ] quand A est un anneau factoriel. Anneaux principaux. Thorme de Bzout. An
neaux euclidiens. Algorithme dEuclide. Cas de lanneau Z et de lalgbre K[X ] des polynmes sur le
corps K. Polynmes irrductibles. Exemples : polynmes cyclotomiques dans Q[X ], critre dEisen
stein.
6. Congruences dans Z. Nombres premiers. tude de lanneau Z/nZ et de ses lments inversibles. Tho
rme chinois et applications.
7. Racines dun polynme, multiplicit. Polynme driv. lments algbriques et transcendants. Ex
tensions algbriques. Corps algbriquement clos. Corps de rupture et corps de dcomposition. Corps
nis.
8. Relations entre les coefcients et les racines dun polynme scind. Sommes de Newton. Rsultant.
Discriminant. Application lintersection ensembliste de deux courbes algbriques planes.
9. Corps des fractions rationnelles une indtermine sur un corps. Dcomposition en lments simples.
Cas rel et complexe. Drive logarithmique dun polynme et applications.
2
Proprits gomtriques (afnes et mtriques) des coniques. Dnition par foyer et directrice, d
nition bifocale.
Suites de nombres rels : convergence, valeur dadhrence. Limites infrieure et suprieure. Suites
connexes de R.
Convergence des sries termes rels. Sries gomtriques, sries de Riemann. Sries termes po
sitifs. Sommation des relations de comparaison. Comparaison dune srie et dune intgrale. Estima
tions des restes. Convergence absolue. Produits de sries. Sries alternes.
Thormes de Rolle et des accroissements nis. Application au sens de variation dune fonction.
Leibniz. Formule de Taylor avec reste intgral, formule de Taylor-Lagrange, formule de Taylor-
Young.
3. Intgrale sur un segment des fonctions continues par morceaux et calcul de primitives
Proprits de lintgrale : linarit, relation de Chasles, positivit. Sommes de Riemann. Primitives
dune fonction continue. Changement de variable. Intgration par parties. Mthodes usuelles de cal
cul dintgrales.
4. Intgrales gnralises. Intgrales absolument convergentes. Intgration des relations de comparai
son. Intgrales semi-convergentes.
5. Suites et sries de fonctions
Convergence simple, convergence uniforme. Continuit et drivabilit de la limite. Cas des sries de
6. Fonctions usuelles
Fonctions polynmes, fonctions rationnelles. Logarithmes. Exponentielles. Fonctions puissances. Fonc
tions circulaires et hyperboliques. Fonctions circulaires et hyperboliques rciproques.
7. Convexit
Fonctions convexes dune variable relle. Continuit et drivabilit des fonctions convexes. Caract
risations de la convexit.
8. Suites dnies par une relation u n +1 = f (u n ). tude graphique. Points xes attractifs. Points xes r
pulsifs.
9. Polynme dinterpolation de Lagrange.
10. Mthodes dapproximation
Approximation quadratique : polynmes orthogonaux.
11. Mthodes de rsolution approche des quations f (x) = 0 : dichotomie, mthode de Picard, mthode
de Newton. Estimation de lerreur pour la mthode de Newton.
12. Intgration numrique : mthode des trapzes, de Simpson ; estimation de lerreur.
1. Sries entires
Rayon de convergence. Proprits de la somme dune srie entire sur son disque de convergence :
Fonctions analytiques sur un ouvert. Principe des zros isols. Oprations algbriques sur les fonc
tions analytiques. Composition.
Principe du maximum.
8 Calcul diffrentiel
1. Topologie de Rn
2. Fonctions diffrentiables
Applications diffrentiables sur un ouvert de Rn . Diffrentielle (application linaire tangente). Drive
selon un vecteur.
Drives partielles. Oprations algbriques sur les applications diffrentiables. Composition dappli
cations diffrentiables. Thorme des accroissements nis. Applications de classe C 1 .
Matrice jacobienne. Applications de classe C k . Drives partielles dordre k. Interversion de lordre
des drivations. Formule de Taylor avec reste intgral, formule de Taylor-Young.
tude locale des applications valeurs dans R. Dveloppements limits. Recherche des extremums
locaux.
3. quations diffrentielles
quations diffrentielles sur un ouvert de Rn , de la forme X ' = f (t , X ). Thorme de Cauchy-Lipschitz.
Solutions maximales. Problme de lexistence globale. Dpendance par rapport aux conditions ini
tiales.
9 Calcul intgral
1. Dnition des espaces mesurables, tribu produit, cas particulier des tribus borliennes. Dnition
dune mesure, cas particuliers de la mesure de comptage, de la mesure de Lebesgue (construction
5
admise) et des mesures de probabilit. Dnition dune fonction mesurable ; oprations lmentaires
sur les fonctions mesurables.
2. Intgration
Intgrale des fonctions mesurables positives, thorme de convergence monotone. Lemme de Fatou.
Fonctions intgrables, thorme de convergence domine. Fonctions intgrables valeurs dans un
espace vectoriel de dimension nie. Continuit, drivabilit, holomorphie dune intgrale dpendant
dun paramtre. Espaces L p , o 1 p : ingalits de Minkowski, Hlder et Jensen. Thorme de
Fubini.
Changement de variables dans une intgrale multiple. Calculs daires de domaines plans et de vo
lumes.
3. Analyse de Fourier
Sries de Fourier des fonctions localement intgrables priodiques dune variable relle. Lemme de
Riemann-Lebesgue. Produit de convolution de fonctions priodiques. Thormes de Dirichlet et de
Fejer. Thorie L 2 : convergence en moyenne quadratique, formule de Parseval.
10 Probabilits
1. Dnition dun espace probabilis : vnements, tribus, mesure de probabilit. Indpendance dv
nements et de tribus. Loi du 0-1, lemmes de Borel-Cantelli.
2. Probabilits conditionnelles : dnition, formule des probabilits totales et thorme de Bayes.
3. Variables alatoires, loi dune variable alatoire : loi discrte et loi absolument continue. Fonction de
rpartition et densit.
4. Exemples de variables alatoires : variable de Bernoulli, binomiale, de Poisson, uniforme, exponen
tielle, de Gauss.
5. Esprance et variance dune variable alatoire valeurs relles, thorme de transfert.
6. Indpendance de variables alatoires. Loi conditionnelle dune variable par rapport une autre.
7. Transformations exponentielles de lois : fonction caractristique, transforme de Laplace, fonction
gnratrice. Liens avec lindpendance et la convolution, application aux sommes de variables ala
toires indpendantes.
8. Convergences de suites de variables alatoires : en probabilit, dans L p , presque srement, en loi.
9. Ingalit de Markov, ingalit de Bienaym-Tchebychev. Loi faible des grands nombres, applications
en statistiques.
10. Thorme de Lvy, thorme central limite, applications en statistiques.
11
Analyse fonctionnelle
Norme de la convergence uniforme. Espace des fonctions continues bornes sur un espace mtrique,
tude de la compacit de parties dun espace vectoriel norm : thorme de Riesz ; thorme dAscoli.
3. Espaces de Hilbert
Projection sur un convexe ferm. Projection orthogonale sur un sous-espace vectoriel ferm.
Dual dun espace de Hilbert.
Cas des espaces L 2 .
Bases hilbertiennes (dans le cas sparable). Exemples de bases : fonctions trigonomtriques, poly
nmes orthogonaux.
Thorme de Lax Milgram. Espace H01 (]0, 1[) et application au problme de Dirichlet en dimension 1 :
u ddx (a ddx u) = f avec f L 2 (]0, 1[), a L (]0, 1[) essentiellement positive et minore par m > 0.
4. Espace de Schwartz S(Rd ) des fonctions dcroissance rapides sur Rd .
Normes N p ( f ) (sup des normes uniformes des produits des drives partielles itres dordre inf
rieur p de f par les monmes de degr infrieur p).
Cas particulier des distributions support compact dans Rd . Solution fondamentale du Laplacien.
Convolution de distributions dans le cas o lune dentre elles est support compact.
12 Gomtrie diffrentielle
Sous-varits de Rn . Dnitions quivalentes : graphe local, paramtrisation locale, quation locale.
Espace tangent. Notions mtriques : longueur dun arc, paramtrisation normale, courbure dun arc
en dimensions 2 et 3. Gradient.
Extremums locaux dune fonction dnie sur une sous-varit (extremums lis), multplicateurs de
Lagrange.
PREUVES CRITES
Les preuves crites comportent deux preuves :
A. Composition de mathmatiques gnrales
Le programme de cette preuve est constitu par les titres 1 12 ci-dessus.
B. Composition danalyse et probabilits
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 D : informatique
Mthode de Monte Carlo : vitesse de convergence ; applications au calcul dintgrales multiples (exemple :
calcul de volumes).
5. Moindres carrs linaires (sans contraintes).
9. Modle linaire gaussien : calculs par moindres carrs, rgression linaire simple ou multiple, exemples
dutilisation.
10. Tests paramtriques (test du rapport de vraisemblance). Tests dajustement (tests du 2 , tests de
Kolmogorov-Smirnov). Exemples dutilisation.
quations elliptiques.
Exemples de discrtisation de problmes aux limites en dimension un par la mthode des diffrences
10
13 Algorithmique fondamentale
Cette partie insiste sur les notions de preuve et de complexit des algorithmes. Elle est relativement
indpendante de tout langage de programmation, mais le candidat doit tre capable de mettre en oeuvre
sur machine les structures de donnes et les algorithmes tudis.
1. Structures de donnes. Types abstraits : dnition des tableaux, listes, piles, les, arbres, graphes
(orients et non orients), ensembles, dictionnaires, le de priorit. Interface abstraite et implan
tation (implmentation) concrte.
2. Schmas algorithmiques classiques : approche gloutonne, diviser pour rgner, programmation dyna
mique. Exemples : algorithme de Dijkstra, tri-fusion, plus longue sous-squence commune.
3. Complexit. Analyse des algorithmes : relations de comparaison O, et . Analyse dans le pire cas.
Exemple danalyse en moyenne : recherche dun lment dans un tableau.
4. Preuve dalgorithmes : correction, terminaison. Mthodes de base : assertions, pr-post conditions,
invariants et variants de boucles, logique de Hoare, induction structurelle.
5. Algorithmes de tri et de recherche. Mthodes de tri par comparaison (tri-fusion, tri-tas, tri rapide),
arbre de dcision et borne infrieure du tri par comparaisons. Mthodes de recherche squentielle et
11
dichotomique. Arbres binaires de recherche. Arbres quilibrs : dnition, relation entre la taille et la
hauteur, maintien de lquilibre.
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 nis. Langages reconnaissables. Lemme ditration. Existence de langages non reconnais
sables. Automates complets. Automates dterministes. Algorithme de dterminisation. Proprits de
clture des langages reconnaissables.
2. Expressions rationnelles. Langages rationnels. Thorme de Kleene.
3. Automate minimal. Rsiduel dun langage par un mot. Algorithme de minimisation.
4. Utilisation des automates nis : recherche de motifs, analyse lexicale.
5. Langages algbriques. Lemme dOgden. Existence de langages non algbriques. Grammaires alg
briques. Proprits de clture des langages algbriques.
6. Automates pile. Langages reconnaissables par automates pile.
7. Utilisation des automates pile : analyse syntaxique. Grammaires LL(1).
15
1. Dnition des fonctions primitives rcursives ; schmas primitifs (minimisation borne). Dnition
des fonctions rcursives ; fonction dAckerman.
2. Dnitions des machines de Turing. quivalence entre classes de machines (exemples : nombre de
rubans, alphabet). quivalence avec les fonctions rcursives.
3. Universalit. dcidabilit, Indcidabilit. Thorme de larrt. Thorme de Rice. Rduction de Tu
ring. Dnitions et caractrisations des ensembles rcursifs, rcursivement numrables.
4. Complexit en temps et en espace : classe P. Machines de Turing non dterministes : classe NP. Accep
tation par certicat. Rduction polynomiale. NP-compltude. Thorme de Cook.
16 Logique et dmonstration
1. Calcul propositionnel : syntaxe et smantique. Tables de vrit, tautologies, formes normales, forme
clausale. Thorme de compltude du calcul propositionnel.
2. Logique du premier ordre : aspects syntaxiques. Langages, termes, formules. Variables libres et va
riables lies, substitutions, capture de variables.
3. Rcriture : ltrage syntaxique du premier ordre, dnition de lunication syntaxique. Conuence,
conuence locale, formes normales, paires critiques, lemme de Newman, algorithme de compltion
de Knuth-Bendix.
4. Logique du premier ordre : systmes formels de preuve. Calcul des squents, dduction naturelle.
Algorithme dunication des termes. Preuves par rsolution.
5. Logique du premier ordre : aspects smantiques. Interprtation dune formule dans un modle. Vali
dit, satisabilit. Thories cohrentes, thories compltes. Thories dcidables, indcidables. Exemples
de thories : galit, arithmtique de Peano. Thorme de compltude du calcul des prdicats du pre
mier ordre.
12