Concours externe de lagrgation du second degr

Section mathmatiques

Programme de la session 2015

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

1.2 Espaces vectoriels de dimension nie

1. Espaces vectoriels de dimension nie. Existence de bases : isomorphisme avec Kn . Existence de sup
plmentaires dun sous-espace. Rang dune application linaire, rang dun systme de vecteurs. Es
pace dual. Rang dun systme dquations linaires. Transpose dune application linaire. Base duale.
Bidualit. Orthogonalit.
2. Applications multilinaires. Dterminant dun systme de vecteurs, dun endomorphisme. Groupe
spcial linaire SL(E ). Orientation dun R-espace vectoriel.
3. Matrices coefcients dans un corps. Oprations matricielles. Rang dune matrice. Reprsentations
matricielles dune application linaire. Changement de base.

Oprations lmentaires sur les lignes et les colonnes dune matrice. Mthode du pivot de Gauss.

Notion de matrices chelonnes. Application la rsolution de systmes dquations linaires, au

calcul de dterminants, linversion des matrices carres, la dtermination du rang dune matrice,

la dtermination dquations dnissant un sous-espace vectoriel.

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 Anneaux, corps, polynmes et fractions rationnelles

1. Anneaux (unitaires), morphisme danneaux, sous-anneaux. Lanneau Z des entiers relatifs. Produit
danneaux. Idaux dun anneau, anneaux quotients. Idaux premiers, idaux maximaux dun anneau
commutatif. Notion de module sur un anneau commutatif, dalgbre (associative ou non) sur un an
neau commutatif.
2. Algbre des polynmes une ou plusieurs indtermines sur un anneau commutatif. Polynmes ho
mognes. Polynmes symtriques.

Dcomposition en polynmes homognes. Tout polynme symtrique sexprime en fonction des po

lynmes symtriques lmentaires.

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

Formes bilinaires et quadratiques sur un espace vectoriel

1. Formes bilinaires. Formes bilinaires alternes. Formes bilinaires symtriques, formes quadratiques,
forme polaire dune forme quadratique (en caractristique diffrente de 2). lments orthogonaux,
interprtation gomtrique. Formes non dgnres. Adjoint dun endomorphisme. Reprsentation
matricielle, changement de base. Rang dune forme bilinaire.
2. Orthogonalit. Sous-espaces isotropes. Dcomposition dune forme quadratique en somme de car
rs. Thorme dinertie de Sylvester. Classication dans le cas de R ou C. Procds dorthogonalisa
tion.
3. Espaces vectoriels euclidiens, espaces vectoriels hermitiens. Isomorphisme dun espace vectoriel eu
clidien avec son dual. Supplmentaire orthogonal. Ingalit de Cauchy-Schwarz. Norme. Bases or
thonormales.
4. Groupe orthogonal, groupe spcial orthogonal. Exemple de gnrateurs du groupe orthogonal : d
composition dun automorphisme orthogonal en produit de rexions. Endomorphismes symtriques,
endomorphismes normaux. Diagonalisation dun endomorphisme symtrique. Rduction simulta
ne de deux formes quadratiques relles, lune tant dnie positive. Dcomposition 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. Thorme de langle inscrit. Cocyclicit.
6. Groupe unitaire, groupe spcial unitaire. Diagonalisation des endomorphismes normaux. Dcompo
sition polaire dans GL(n, C).

5 Gomtries afne, projective et euclidienne

Tous les espaces considrs dans ce chapitre sont de dimension nie.
1. Espace afne et espace vectoriel associ. Application afne et application linaire associe. Sousespaces afnes, barycentres. Repres afnes, quations dun sous-espace afne. Groupe afne, no
tion de proprit afne. Groupe des homothties-translations, afnits. Parties convexes, enveloppe
convexe dune partie dun espace afne rel, points extrmaux.
Projection sur un convexe ferm.
2. Droite projective relle ou complexe : groupe des homographies, birapport.
3. Isomtries dun espace afne euclidien. Groupe des isomtries dun espace afne euclidien. Dpla
cements, antidplacements. En dimension 2 : classication des isomtries, similitudes directes et in
directes. En dimension 3 : rotations.
4. Groupe des isomtries laissant stable une partie du plan ou de lespace. Polygones rguliers. Relations
mtriques dans le triangle. Utilisation des nombres complexes en gomtrie plane.
5. Coniques et quadriques
Application des formes quadratiques ltude des coniques propres du plan afne euclidien et des

quadriques de lespace afne euclidien de dimension 3. Classication des coniques.

Intersection de quadriques et rsultant.

Proprits gomtriques (afnes et mtriques) des coniques. Dnition par foyer et directrice, d
nition bifocale.

6 Analyse une variable relle

1. Nombres rels
Le corps R des nombres rels. Topologie de R. Sous-groupes additifs de R. Droite numrique acheve.

Suites de nombres rels : convergence, valeur dadhrence. Limites infrieure et suprieure. Suites

de Cauchy. Compltude de R. Thorme de Bolzano-Weierstrass. Parties compactes de R. Parties

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.

2. Fonctions dnies sur une partie de R et valeurs relles

(a) Continuit
Limite, continuit droite, gauche, continuit.
Oprations algbriques sur les fonctions continues. Thorme des valeurs intermdiaires, image
dun segment. tude de la continuit des fonctions monotones. Continuit dune fonction rci
proque.
(b) Drivabilit
Drive en un point, drive droite, gauche. Fonctions drivables. Oprations algbriques
sur les fonctions drivables. Drive dune fonction compose. Drivabilit dune fonction rci
proque.

Thormes de Rolle et des accroissements nis. Application au sens de variation dune fonction.

Drives dordre suprieur. Applications de classe C k , de classe C k par morceaux. Formule de

Leibniz. Formule de Taylor avec reste intgral, formule de Taylor-Lagrange, formule de Taylor-

Young.

Calcul de dveloppements limits et de dveloppements asymptotiques.

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

fonctions : convergence normale.

Thormes dapproximation de Weierstrass polynomial et de Weierstrass trigonomtrique.

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.

7 Analyse une variable complexe

1. Sries entires
Rayon de convergence. Proprits de la somme dune srie entire sur son disque de convergence :

continuit, drivabilit par rapport la variable complexe, primitives.

Fonctions analytiques sur un ouvert. Principe des zros isols. Oprations algbriques sur les fonc
tions analytiques. Composition.

Exponentielle complexe ; proprits. Extension des fonctions circulaires au domaine complexe.

Dveloppement en srie entire des fonctions usuelles.

2. Fonctions dune variable complexe

Fonctions holomorphes. Conditions de Cauchy-Riemann. Intgrale dune fonction continue le long
dun chemin C 1 par morceaux. Primitives dune fonction holomorphe sur un ouvert toil. Dtermi
nations du logarithme.

Indice dun chemin ferm C 1 par morceaux par rapport un point.

Formules de Cauchy. Analyticit dune fonction holomorphe. Principe du prolongement analytique.

Principe du maximum.

Singularits isoles. Sries de Laurent. Fonctions mromorphes. Thorme des rsidus.

Suites et sries de fonctions holomorphes.

8 Calcul diffrentiel
1. Topologie de Rn

Parties ouvertes, fermes. Voisinages. Parties compactes. Thorme de Bolzano-Weierstrass.

Parties connexes. Normes usuelles. Limites. Applications continues. Compltude 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.

Diffomorphismes. Thorme dinversion locale. Thorme des fonctions implicites.

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.

Portrait de phase, comportement qualitatif.

Systmes diffrentiels linaires.

Mthode de variation de la constante. Cas des coefcients constants. quations diffrentielles li

naires dordre suprieur un.

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.

Convolution. Rgularisation et approximation par convolution.

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

1. Topologie et espaces mtriques

Topologie dun espace mtrique. Topologie induite.

Suites. Valeurs dadhrence. Limites. Applications continues. Homomorphismes.

Produit ni despaces mtriques.

Compacit. Connexit. Composantes connexes. Connexit par arcs.

Proprits mtriques : applications lipschitziennes, applications uniformment continues.

Espaces mtriques complets. Thorme du point xe pour les applications contractantes.

2. Espaces vectoriels norms sur R ou C.

Topologie dun espace vectoriel norm. Normes quivalentes. Cas des espaces de dimension nie.

Espaces de Banach. Sries absolument convergentes dans un espace de Banach.

Applications linaires continues, norme.

Norme de la convergence uniforme. Espace des fonctions continues bornes sur un espace mtrique,

valeurs dans un espace Banach.

tude de la compacit de parties dun espace vectoriel norm : thorme de Riesz ; thorme dAscoli.

Compltude des espaces L p , o 1 p .

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.

Exemples dapplications linaires continues entre espaces de Hilbert.

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

Espace S ' (Rd ) des distributions tempres.

Drivation des distributions tempres.

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.

Transformation de Fourier dans S et dans S ' .

Transformation de Fourier sur les espaces L 1 (Rd ) et L 2 (Rd ).

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.

Trac de courbes usuelles.

Surfaces dans R3 : position par rapport au plan tangent.

Dnition de la divergence dun champ de vecteurs.

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 B : calcul scientique

Option C : algbre et calcul formel

Option D : informatique

preuves orales des options A, B, C

1re preuve : preuve dAlgbre et Gomtrie
2e preuve : preuve dAnalyse et Probabilits
Le programme de ces deux preuves, communes aux options A, B et C, est constitu des titres 1 12 et
du programme complmentaire ci-dessous.

Programme complmentaire pour les preuves orales options, A, B, C et D

Rsolution de systmes dquations linaires ;
Normes subordonnes, notion de conditionnement, rayon spectral, dcomposition LU , mthode
de Jacobi. Exemple doprateurs aux diffrences nies. Lien avec loptimisation de fonctionnelles
convexes en dimension nie, mthode du gradient pas constant pour les systmes linaires sym
triques dnis positifs, moindres carrs. Recherche dlments propres : mthode de la puissance,
dcomposition en valeurs singulires, thorme de Gershgrin-Hadamard.
Mthode numrique pour la rsolution de systmes dquations non linaires. Mthode de Newton :
dnition, vitesse de convergence, estimation de lerreur.
Intgration numrique : mthode des rectangles, des trapzes, de Simpson ; estimation de lerreur.
quations diffrentielles ordinaires. Stabilit des points critiques. Aspects numriques du problme
de Cauchy : mthodes dEuler explicite et implicite, consistance, stabilit, convergence, ordre.

3e preuve : preuve de Modlisation

Lpreuve porte sur le programme constitu des titres 1 12, du programme complmentaire ci-dessus,
dun programme commun aux options A, B et C (explicit ci-dessous) et sur un programme spcique
loption choisie.
Lpreuve consiste en un expos de modlisation mathmatique construit en partant dun texte propos
par le jury. Le programme dnit un cadre de thories mathmatiques et de techniques dapplication adap
tes pour lpreuve. Ce programme comporte une partie commune aux options A, B et C et, pour chacune
de ces options, une partie spcique.

Modlisation : programme de la partie commune aux options A, B, C

partir de la session 2015, seuls les logiciels libres seront disponibles. Le site de lagrgation externe de
mathmatiques (agreg.org) et le rapport du Jury prciseront sufsamment lavance la liste des logiciels
disponibles et la nature de leur environnement.
laide dun ou plusieurs de ces logiciels, les candidats devront montrer leur capacit :
mettre en uvre avec prcision et rigueur les concepts et outils mathmatiques au programme,
distinguer les reprsentations exactes ou approches des objets mathmatiques
estimer le cot et les limitations dalgorithmes simples : complexit, prcision
analyser la pertinence des modles.
Le programme de cette partie comprend les mthodes numriques, probabilistes, statistiques et sym
boliques cites dans les programmes des preuves crites, dans le programme complmentaire pour loral
et celles cites dans les paragraphes suivants.
1. Calcul numrique et symbolique
Utilisation des logiciels au programme : simulation, intgration, diffrentiation, calcul de sommes et
dintgrales, rsolution dquations algbriques et diffrentielles.
2. Probabilits discrtes : tirages uniformes ; chantillons.
3. Chanes de Markov homognes espace dtats nis : dnition, irrductibilit, apriodicit.
4. Validation et prcision des rsultats.

Mthodes numriques : notion de conditionnement des systmes linaires.

Prcision du schma numrique dEuler explicite pas constant.

Moyenne et variance empirique.

Mthode de Monte Carlo : vitesse de convergence ; applications au calcul dintgrales multiples (exemple :
calcul de volumes).
5. Moindres carrs linaires (sans contraintes).

Programme spcique de loption A

1. Utilisation de lois usuelles (voir section 10.4, loi gomtrique) pour modliser certains phnomnes
alatoires. Exemples : temps dattente ou dure de vie, erreurs de mesure, sondages. . . Mthodes de
simulation de variables alatoires.
2. Chanes de Markov espace dtats nis. Classication des tats. Convergence vers une loi station
naire (thorme ergodique et thorme central limite admis).
Chanes de Markov homognes espace dtats dnombrable, transience, rcurrence positive ou
nulle, exemple de la marche alatoire simple.
3. Lois de Poisson, exponentielle et Gamma, construction et proprits du processus de Poisson sur R+ .
4. Esprance conditionnelle, dnition des martingales, temps darrt. Exemples dutilisation des tho
rmes de convergence presque sre et L 2 des martingales temps discret.
5. chantillons, moments empiriques, loi et fonction de rpartition empiriques.
6. Applications des thormes de convergences lestimation (lois des grands nombres, thorme cen
tral limite, utilisation du lemme de Slutsky). Dnition et construction dintervalles de conance.
7. Estimation paramtrique. Estimation par maximum de vraisemblance : dnition et exemples.
8. Vecteurs gaussiens : dnition, simulation en dimension 2, thorme de Cochran. Thorme central
limite dans Rn .

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.

Programme spcique de loption B.

1. quations diffrentielles ordinaires. Espaces de phase. tude qualitative. Stabilit des points critiques.
Aspects numriques du problme de Cauchy : mise en uvre des mthodes dEuler, utilisation de la
mthode de Runge-Kutta 4.
2. Notions lmentaires sur les quations aux drives partielles classiques en dimension un.
quation de transport (advection) linaire : mthode des caractristiques.
quations des ondes et de la chaleur : rsolution par transforme de Fourier et sparation des va
riables. Aspects qualitatifs lmentaires.

quations elliptiques.

Exemples de discrtisation de problmes aux limites en dimension un par la mthode des diffrences

nies : notions de consistance, stabilit, convergence, ordre.

3. Optimisation et approximation
Interpolation de Lagrange.
Extremums des fonctions relles de n variables relles : multiplicateurs de Lagrange. Mise en uvre
de lalgorithme de gradient pas constant.

Mthode des moindres carrs et applications.

Programme spcique de loption C.

1. Reprsentation et manipulation des entiers longs, ottants multiprcision, nombres complexes, po
lynmes, lments de Z/nZ et des corps nis. Addition, multiplication, division, extraction de racine
carre.
2. Algorithmes algbriques lmentaires.
Exponentiation (n a n , pour n N), algorithme dEuclide tendu.

Test de primalit de Fermat.

3. Matrices coefcients dans un corps.

Mthode du pivot de Gauss, dcomposition LU. Calcul du rang, du dterminant.

Exemples de codes correcteurs linaires : codes de rptition, codes de Hamming binaires.

4. Matrices coefcients entiers.

Oprations lmentaires sur les lignes et les colonnes. Application aux systmes linaires sur Z et aux
groupes abliens de type ni.
5. Polynmes une indtermine.

valuation (schma de Horner), interpolation (Lagrange, diffrences nies).

Localisation des racines dans R ou C : majoration en fonction des coefcients.

6. Polynmes plusieurs indtermines.

Rsultants, limination ; intersection ensembliste de courbes et de surfaces algbriques usuelles.
7. Estimation de la complexit des algorithmes prcits dans le pire des cas. Aucune formalisation dun
modle de calcul nest exige.

10

preuves de loption D : informatique

1re preuve : Mathmatiques
Le programme de cette preuve est constitu des titres 1 12 et du programme complmentaire de
loral. Les candidats se verront proposer deux sujets, dans un corpus dalgbre, de gomtrie, danalyse et
de probabilits.
2e preuve : Informatique Fondamentale
Le programme de cette preuve est constitu des titres 13 16 ci-aprs.
3e preuve : Analyse de systme informatique
Le programme de cette preuve est constitu des titres 13 16 ci-aprs.
Deux textes dcrivant une classe de systmes informatiques sont proposs au candidat qui doit choi
sir lun des deux. La comprhension de ces textes et leur exploitation dans cette preuve requirent les
connaissances en informatique correspondant aux matires enseignes en L1-L2 de Maths-Info ou dans
loption informatique des classes prparatoires auxquelles sajoutent celles du programme.
Lobjectif de lpreuve est dvaluer la capacit des candidats mettre en place un processus dana
lyse dun systme informatique dans un contexte applicatif. Ce processus sappuie sur les notions au pro
gramme.
Les langages informatiques C, Caml, Python et Java seront disponibles pour cette preuve et sa prpa
ration. Le rapport du Jury prcisera la nature de lenvironnement logiciel.

Programme spcique de loption D.

Lensemble du programme correspond 250h de formation (cours et/ou TD et/ou TP ) de niveau Li
cence et premire anne de Master, partir des acquis des deux premires annes de Licence ou de loption
informatique des classes prparatoires. Lobjectif de cette option est de sassurer que les candidats ma
trisent les fondements essentiels et structurants de la science informatique.
Le programme nest pas rdig comme un plan de cours, il dcrit les notions que les candidats doivent
matriser.
Le programme nimpose aucun langage de programmation particulier. Les candidats doivent matriser
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
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

Calculabilit, dcidabilit et complexit

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