Академический Документы
Профессиональный Документы
Культура Документы
Le programme des preuves de lagrgation nest pas rdig comme un plan de cours. Il dcrit un ensemble 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, supplmentaires. 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.
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. Opration 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 polydre 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 transpositions, en produit de cycles supports disjoints. Signature. Groupe altern. Application : dterminants. 4. Dnition des groupes classiques dautomorphismes dun espace vectoriel de dimension nie : groupe gnral linaire, groupe spcial linaire ; groupe orthogonal, groupe spcial orthogonal ; groupe unitaire, 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.
de Cauchy. Compltude de R. Thorme de B OLZANO -W EIERSTRASS. Parties compactes de R. Parties connexes de R. Convergence des sries termes rels. Sries gomtriques, sries de R IEMANN. Sries termes positifs. Sommation des relations de comparaison. Comparaison dune srie et dune intgrale. Estimations 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 rciproque. (b) Drivabilit Drive en un point, drive droite, gauche. Fonctions drivables. Oprations algbriques sur les fonctions drivables. Drive dune fonction compose. Drivabilit dune fonction rciproque. Thormes de R OLLE 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 L EIBNIZ. Formule de TAYLOR avec reste intgral, formule de TAYLOR-L AGRANGE, formule de TAYLOR-Y OUNG. 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 C HASLES, positivit. Sommes de R IEMANN. Primitives dune fonction continue. Changement de variable. Intgration par parties. Mthodes usuelles de calcul dintgrales. 4. Intgrales gnralises. Intgrales absolument convergentes. Intgration des relations de comparaison. 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 W EIERSTRASS polynomial et de W EIERSTRASS trigonomtrique. 6. Fonctions usuelles Fonctions polynmes, fonctions rationnelles. Logarithmes. Exponentielles. Fonctions puissances. Fonctions circulaires et hyperboliques. Fonctions circulaires et hyperboliques rciproques. 7. Convexit Fonctions convexes dune variable relle. Continuit et drivabilit des fonctions convexes. Caractrisations de la convexit. 8. Suites dnies par une relation u n +1 = f (u n ). tude graphique. Points xes attractifs. Points xes rpulsifs. 9. Polynme dinterpolation de L AGRANGE. 10. Mthodes dapproximation Approximation quadratique : polynmes orthogonaux. 11. Mthodes de rsolution approche des quations f (x ) = 0 : dichotomie, mthode de P ICARD, mthode de N EWTON. Estimation de lerreur pour la mthode de N EWTON. 12. Intgration numrique : mthode des trapzes, de S IMPSON ; estimation de lerreur. 4
8 Calcul diffrentiel
1. Topologie de Rn Parties ouvertes, fermes. Voisinages. Parties compactes. Thorme de B OLZANO-W EIERSTRASS. 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 dapplications 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-Y OUNG. 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 C AUCHY-L IPSCHITZ. Solutions maximales. Problme de lexistence globale. Dpendance par rapport aux conditions initiales. Portrait de phase, comportement qualitatif. Systmes diffrentiels linaires. Mthode de variation de la constante. Cas des coefcients constants. quations diffrentielles linaires 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 L EBESGUE (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. Continuit, drivabilit, holomorphie dune intgrale dpendant dun paramtre. Espaces L p , o 1 p : ingalits de M INKOWSKI, H LDER et J ENSEN. Thorme de F UBINI. Changement de variables dans une intgrale multiple. Calculs daires de domaines plans et de volumes. Convolution. Rgularisation et approximation par convolution. 3. Analyse de F OURIER Sries de F OURIER des fonctions localement intgrables priodiques dune variable relle. Lemme de R IEMANN -L EBESGUE. Produit de convolution de fonctions priodiques. Thormes de D IRICHLET et de F EJER. Thorie L 2 : convergence en moyenne quadratique, formule de PARSEVAL.
10 Probabilits
1. Dnition dun espace probabilis : vnements, tribus, mesure de probabilit. Indpendance dvnements et de tribus. Loi du 0-1, lemmes de B OREL -C ANTELLI. 2. Probabilits conditionnelles : dnition, formule des probabilits totales et thorme de B AYES. 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 B ERNOULLI, binomiale, de P OISSON, uniforme, exponentielle, de G AUSS. 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 L APLACE, fonction gnratrice. Liens avec lindpendance et la convolution, application aux sommes de variables alatoires indpendantes. 8. Convergences de suites de variables alatoires : en probabilit, dans L p , presque srement, en loi. 9. Ingalit de M ARKOV, ingalit de B IENAYM -T CHEBYCHEV. Loi faible des grands nombres, applications en statistiques. 10. Thorme de L VY, thorme central limite, applications en statistiques.
11
Analyse fonctionnelle
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 B ANACH. Sries absolument convergentes dans un espace de Banach. 6
Applications linaires continues, norme. Norme de la convergence uniforme. Espace des fonctions continues bornes sur un espace mtrique, valeurs dans un espace B ANACH. tude de la compacit de parties dun espace vectoriel norm : thorme de R IESZ ; thorme dA SCOLI. Compltude des espaces L p , o 1 3. Espaces de H ILBERT Projection sur un convexe ferm. Projection orthogonale sur un sous-espace vectoriel ferm. Dual dun espace de H ILBERT. Cas des espaces L 2 . Bases hilbertiennes (dans le cas sparable). Exemples de bases : fonctions trigonomtriques, polynmes orthogonaux. Exemples dapplications linaires continues entre espaces de H ILBERT. 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 infrieur p de f par les monmes de degr infrieur p ). Espace S (Rd ) des distributions tempres. Drivation des distributions tempres ; formule des sauts en dimension 1 ; formule de Stokes pour un demi-espace en dimension d . Cas particulier des distributions support compact dans Rd . 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 ). p .
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
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 M ARKOV 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 dE ULER 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).
3. quations diffrentielles ordinaires. Espaces de phase. tude qualitative. Stabilit des points critiques. Aspects numriques du problme de C AUCHY. Mthodes dE ULER explicite et implicite : consistance, stabilit, convergence, ordre. Utilisation de la mthode de RUNGE-K UTTA 4. 4. 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 F OURIER et sparation des variables. 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. 5. Optimisation et approximation Interpolation de L AGRANGE. Extremums des fonctions relles de n variables relles : multiplicateurs de L AGRANGE. Mise en uvre de lalgorithme de gradient pas constant. Mthode des moindres carrs et applications.
10
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 choisir 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 danalyse dun systme informatique dans un contexte applicatif. Ce processus sappuie sur les notions au programme. Les langages informatiques C, Caml et Java seront disponibles pour cette preuve et sa prparation. Le rapport du Jury prcisera la nature de lenvironnement logiciel.
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 implantation (implmentation) concrte. 2. Schmas algorithmiques classiques : approche gloutonne, diviser pour rgner, programmation dynamique. Exemples : algorithme de D IJKSTRA, 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 H OARE, 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 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 D IJKSTRA. Arbres couvrants : algorithmes de P RIM et de K RUSKAL. Fermeture transitive.
11
14 Automates et langages
1. Automates nis. Langages reconnaissables. Lemme ditration. Existence de langages non reconnaissables. Automates complets. Automates dterministes. Algorithme de dterminisation. Proprits de clture des langages reconnaissables. 2. Expressions rationnelles. Langages rationnels. Thorme de K LEENE. 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 dO GDEN. Existence de langages non algbriques. Grammaires algbriques. 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 dA CKERMAN. 2. Dnitions des machines de T URING. quivalence entre classes de machines (exemples : nombre de rubans, alphabet). quivalence avec les fonctions rcursives. 3. Universalit. dcidabilit, Indcidabilit. Thorme de larrt. Thorme de R ICE. Rduction de T U RING . Dnitions et caractrisations des ensembles rcursifs, rcursivement numrables. 4. Complexit en temps et en espace : classe P. Machines de T URING non dterministes : classe NP. Acceptation par certicat. Rduction polynomiale. NP-compltude. Thorme de C OOK.
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 variables 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 N EWMAN, algorithme de compltion de K NUTH-B ENDIX. 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. Validit, satisabilit. Thories cohrentes, thories compltes. Thories dcidables, indcidables. Exemples de thories : galit, arithmtique de Peano. Thorme de compltude du calcul des prdicats du premier ordre.
12