ements de cours MPSI-El

Glossaire de d ebut dann ee

17 novembre 2012

Glossaire de d ebut dann ee

R edaction incompl` ete. Version 1.0 Plan
I. II. III. IV. Logique - Ensemble Alg` ebre g en erale . Alg` ebre lin eaire . Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 3 4 6

Index
analyse-synth` ese, 3, 4 anneau, 4 appartient ` a, 2 bijection, 3 combinaison lin eaire, 5 corps, 4 d ecomposition idiote, 3 d erivabilit e dune bijection r eciproque, 7 division euclidienne, 4 ensemble, 1 espace vectoriel, 5 fonction - application, 2 fonctions dune variable r eelle et ` a valeurs vectorielles, 7 fonctions paires et impaires, 4 formule de Taylor-Young, 8 formules de Cramer, 5, 6 groupe, 4 il existe, 2 injection, 3 langage math ematique, 1 limites usuelles, 6 matrices et d eterminants dimension 2, 4 dimension 3, 5 morphisme - isomorphisme, 4 op eration, 3 partie dun ensemble, 2 phrase incorrecte, phrase fausse, 1 pour tout, 2 produit cart esien de deux ensembles, 2 quanticateurs, 2 surjection, 3 syst` eme d equations lin eaires, 4, 6 th eor` eme dencadrement, 7 th eor` eme des valeurs interm ediaires, 6 th eor` eme du tableau de variations, 6 trigonom etrie hyperbolique, 4 vecteur, 5

Le cours de d ebut dann ee utilise des termes et des r esultats qui ne seront d enis ou d emontr es pr ecis ement que plus tard. Ce glossaire pr esente ces termes et ces r esultats. Ils sont regroup es par th` emes et non suivant lordre sous lequel ils apparaissent dans le cours.

I.

Logique - Ensemble

langage math ematique Le point de vue adopt e est na f cest ` a dire que le langage math ematique est une partie du langage usuel (le sens de certains mots etant di erent de leur sens habituel). En r ealit e, le v eritable langage math ematique est compl` etement formalis e ` a partir dun petit nombre de signes et de r` egles relatives aux combinaisons possibles de ces signes. Il est important de faire la di erence entre une phrase incorrecte (syntaxiquement) et une phrase fausse (logiquement). On ne peut pas attribuer une valeur logique a une phrase syntaxiquement incorrecte. Les termes phrase math ` ematique (syntaxiquement correcte) et proposition logique sont synonymes. Certaines araign ees ont six pattes est syntaxiquement correcte mais logiquement fausse. ont araign ees Certaines six pattes est syntaxiquement incorrecte, la question de sa valeur logique ne se pose pas. Les principaux constituants du langage math ematique sont : les ensembles, les quanticateurs, le verbe appartient ` a qui permettent de former des phrases el ementaires les op erateurs logiques (et , ou, implique, equivaut ` a, non) qui permettent de combiner des phrases correctes. Ces op erateurs ne seront pas formalis es davantage (pas de table de v erit e). On sattachera plut ot ` a faire sens ` a laide du langage usuel.

Cette cr eation est mise ` a disposition selon le Contrat Paternit e-Pas dutilisations commerciale-Partage des Conditions Initiales ` a lIdentique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

R emy Nicolai C4199

 ements de cours MPSI-El

Glossaire de d ebut dann ee

17 novembre 2012

ensemble Un ensemble est consid er e de mani` ere na ve cest ` a dire comme une collection. Les objets dune telle collection sont appel e el ements. Attention, seules certaines collections sont des ensembles. Par exemple la collection de tous les ensembles ne constitue pas un ensemble car un tel ensemble permet de former une phrase correcte et contradictoire (logiquement). On ne cherchera pas davantage ` a pr eciser des conditions assurant quune collection est un ensemble. Une pr esentation plus pr ecise de la th eorie des ensembles est indissociable dun expos e de logique et de formalisation du langage math ematique. Ces questions constituent les fondements des math ematiques et ne seront pas d evelopp ees. On admet certaines propri et es et constructions. La liste suivante ne pr etend pas etre compl` ete. Il existe un ensemble particulier dit vide not e et qui ne contient aucun el ement. La phrase a est correcte et toujours fausse. Si A et B sont deux ensembles, il existe un ensemble not e A B dit produit cart esien des deux ensembles dont les el ements sont des couples. Ils sont not es (a, b) avec a el ement de A et b el ement de B . Par d enition, si (a, b) et (a , b ) sont deux el ements des A B : (a, b) = (a , b ) a = a et b = b Si A est un ensemble, toute collection d el ements de A forme un ensemble. Un tel ensemble est appel e une partie de A . Un ensemble B est une partie de A lorsque tout el ement de B est un el ement de A. On note alors B A, on dit aussi que B est une partie de A. Par convention est une partie de nimporte quel ensemble. La collection des parties de A forme lensemble des parties de A. Cet ensemble est not e P (A). appartient ` a Ce verbe est synonyme de est el ement de et joue un r ole fondamental en langage math ematique. Il s ecrit en langage formalis e. La phrase a A est la formalisation de a est un el ement de lensemble A. Lorsquune telle phrase est vraie, la lettre A d esigne obligatoirement un ensemble. 1 N est correcte et vraie N Z est correcte et fausse 1 2 est correcte et fausse (car 2 nest pas un ensemble) quanticateurs Des el ements de syntaxe indispensables ` a la constitution dune phrase correcte. quel que soit .. : formalis e par le signe . La phrase formalis ee a A se traduit en langage usuel par Pour tout el ement a de lensemble A ou par Soit a un el ement quelconque de lensemble A. Elle se poursuit apr` es le : par une phrase traduisant une propri et e. Plusieurs peuvent se suivre, lordre dans lequel ils s ecrivent est sans importance. il existe ... tel que formalis e par le signe . La phrase formalis ee a A se traduit en langage usuel par Il existe un el ement a de A. Une phrase de ce genre se poursuit par tel que qui peut etre sous-entendu en langage formel ce tel que s ecrit :. Exemples. Soit A et B deux ensembles : A B si et seulement si : a A : a B On peut formaliser davantage : A P (B ) A B (a A : a B ) Les quanticateurs s echangent lors dune n egation. La n egation dune phrase Tous les el ements a de A v erient une propri et e P (a) (traduction formelle a A : P (a) est Il existe un el ement a de A qui ne v erie pas P (a) (traduction formelle a A : nonP (a)). La n egation dune phrase Il existe un el ement de A qui v erie P (a) (traduction formelle a A : P (a)) est Aucun el ement de A ne v erie P (a) ou encore a A : nonP (a). Ainsi la n egation de Certaines araign ees ont six pattes est Aucune araign ee na six pattes (ce qui est vrai car les araign ees ont toujours huit pattes). IMPORTANT Dans une phrase math ematique correcte, il ne doit gurer quune lettre apr` es un quantica teur. Evitez en particulier les expressions. Par exemple (x + iy ) C est ` a eviter. Pr ef erer z C, posons x = Re(z ) et y = Im(z ) 2

Cette cr eation est mise ` a disposition selon le Contrat Paternit e-Pas dutilisations commerciale-Partage des Conditions Initiales ` a lIdentique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

R emy Nicolai C4199

 ements de cours MPSI-El

Glossaire de d ebut dann ee

17 novembre 2012

fonction Une fonction d enie dans un ensemble A et ` a valeurs dans un ensemble B associe ` a chaque el ement de A un unique el ement de B . Les fonctions d enies dans un ensemble A et ` a valeurs dans un ensemble B forment un ensemble not e F (A, B ) Lorsque f est une fonction d enie dans A et ` a valeurs dans B (on dit aussi simplement de A vers B ), et a un el ement quelconque de A. Lunique el ement de B associ e` a a par f est appel e image de a par f et not e f (a). Dans ce cours, les termes fonction et application sont equivalents. op eration Une op eration interne (on dit aussi une loi interne) sur un ensemble A est une fonction d enie dans A A et ` a valeurs dans A. En g en eral une image par une op eration nest pas not ee comme une image de fonction. Par exemple laddition de N est une op eration interne. Cest bien une fonction de N N dans N not ee + mais on utilisera 1 + 1 au lieu de +((1, 1)). Une op eration interne peut avoir diverses propri et es : associativit e, commutativit e, existence dun el ement neutre. On peut aussi consid erer des op erations externes cest ` a dire des fonctions dun ensemble K A ` a valeurs dans A. Dans ce cas aussi, limage (le r esultat dune op eration) est not ee avec un signe entre les lettres d esignant les deux el ements. bijection Une application telle que pour tout el ement x de lespace darriv ee, il existe un unique el ement de lespace de d epart dont limage soit x. analyse-synth` ese Un mode de d emonstration (en deux temps) dune proposition du genre Il existe un unique el ement x v eriant une propri et e P (x) Premier temps : analyse. On consid` ere un el ement x v eriant P (x) et on forme des cons equences pour obtenir des propri et es de x. Dans certains cas on peut arriver ` a prouver que x ne peut etre quun certain x0 . Ceci prouve la partie unicit e de la proposition ` a d emontrer. Deuxi` eme temps : synth` ese. On consid` ere l el ement particulier x0 et on montre (en g en eral par un calcul) quil v erie la propri et e P (x0 ). Ce raisonnement ne peut jamais sappuyer sur lanalyse. La synth` ese prouve lexistence dune solution explicite au probl` eme (` a savoir x0 ). Lanalyse montre que cest la seule possible. Lanalyse synth` ese fa con Les experts . Monsieur X a et e retrouv e mort chez lui. Analyse. Parmi tous les etres humains, seul Monsieur Y a eu la possibilit e mat erielle de la tuer. Synth` ese. Prouver que Monsieur Y a r eellement assasin e Monsieur X. Remarque : lanalyse ne prouve PAS que Monsieur Y est lassassin. Il peut nalement sagir dun accident. injection, surjection, bijection Une fonction f d enie dans un ensemble A et ` a valeurs dans un ensemble B est dite bijective : lorsque pour tout el ement b B , il existe exactement un a A tel que f (a) = b. injective : lorsque deux el ements distincts a et a de A ont des images distinctes. Cest equivalent ` a dire que pour tout el ement b B , il existe au plus un el ement a A tel que f (a) = b. surjective : lorsque pour tout el ement b B , il existe un el ement a A tel que f (a) = b. Si il existe plusieurs el ements a v eriant cette propri et e, la fonction nest pas injective. Une application est bijective si et seulement si elle est injective et surjective.

II.

Alg` ebre g en erale

d ecomposition idiote Il sagit de d ecomposer arbitrairement un objet en une expression dune forme particuli` ere qui nous int eresse et un reste egal ` a ce quil faut pour que l egalit e soit vraie. Souvent le reste a une propri et e utile. Exemple. Pour z complexe non nul : z = |z |r. On a d ecompos e arbitrairement z en introduisant un r eel z . Ici la propri e t e int e ressante du strictement positif et r est ce quil faut que ce soit correct ` a savoir r = |z | reste est que son module est egal ` a 1. Autre exemple. Transformation dune expression homographique. Soit h(x) = 2x + 1 3x + 1

Cette cr eation est mise ` a disposition selon le Contrat Paternit e-Pas dutilisations commerciale-Partage des Conditions Initiales ` a lIdentique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

R emy Nicolai C4199

 ements de cours MPSI-El

Glossaire de d ebut dann ee

17 novembre 2012

La d ecomposition idiote consiste ici ` a faire apparaitre de force, le d enominateur dans le num erateur et den d eduire une nouvelle expression de h. 2x + 1 = 2 2 2 1 (3x + 1) + 1 h(x) = + 3 3 3 3(3x + 1)

On retrouve cette id ee dans la d ecomposition canonique dune expression du second degr e. Contrairement aux apparences, les d ecompositions idiotes sont souvent utiles. groupe Un ensemble muni dune seule op eration interne v eriant certaines propri et es. Par exemple (Z, +), (Q, ) sont des groupes mais (N, +) nest pas un groupe. anneau - corps Un anneau est un ensemble muni de deux op erations internes (une addition et une multiplication) qui v erient un certain nombres de propri et es (` a peu pr` es les r` egles de calculs usuelles). Par exemple (Q, +, ), (R, +, ), (C, +, ), (Z, +, ) sont des anneaux. Un corps est un anneau avec une propri et e suppl ementaire : tout el ement non nul admet un inverse. Par exemple (Q, +, ), (R, +, ), (C, +, ) sont des corps mais (Z, +, ) nest pas un corps. (voir Groupes-Anneaux-Corps). morphisme Tr` es g en eralement, un morphisme est une application entre deux espaces munis dop erations et qui transporte lop eration de lespace de d epart vers lop eration de lespace darriv ee. Si T est lop eration dans lespace de d epart et celle de lespace darriv ee : f (aT b) = f (a) f (b) Par exemple la fonction ln est un morphisme de (]0, [, ) vers (R, +). Un isomorphisme est un morphisme bijectif. division euclidienne La division euclidienne des entiers naturels est la division enseign ee depuis l ecole primaire. Si a = 0 et n sont deux entiers naturels, il existe un unique couple (q, r) dentiers naturels tels que n = qa + r evec r entre 0 et a 1. On dit que q est le quotient et r le reste de la division euclidienne de n par a. La division euclidienne se rattache ` a la partie enti` ere introduite dans laxiomatique du corps des r eels et s etend aux polyn omes.

III.

Alg` ebre lin eaire

Proposition. Toute fonction d enie dans R et ` a valeurs r eelles se d ecompose de mani` ere unique comme la somme dune fonction paire et dune fonction impaire. Preuve. La d emonstration se fait par analyse-synth` ese. Notons f la fonction ` a d ecomposer. Analyse. Si f = g + h avec h paire et f impaire alors, en ecrivant cette somme pour x et x et en combinant, il vient : g (x) = 1 (f (x) + f (x)), 2 g (x) = 1 (f (x) f (x)) 2

fonctions paires et impaires

Ceci assure lunicit e de la d ecomposition. Synth` ese. D enissons des fonctions g et h par les formules : g (x) = 1 (f (x) + f (x)), 2 g (x) = 1 (f (x) f (x)) 2

On v erie alors facilement que g est paire, h impaire et f = g + h. Ce qui assure lexistence dune d ecomposition. Remarque. Cest ainsi que sont d enies les fonctions de la trigonom etrie hyperbolique1 . matrices et d eterminants 2 2 Applications aux syst` emes. Une matrice 2 2 ` a coecients r eels est un tableau de quatre nombres A=
1 voir

a c

b d

Fonctions usuelles, trigonom etrie

Cette cr eation est mise ` a disposition selon le Contrat Paternit e-Pas dutilisations commerciale-Partage des Conditions Initiales ` a lIdentique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

R emy Nicolai C4199

 ements de cours MPSI-El

Glossaire de d ebut dann ee

17 novembre 2012

Lensemble des matrices 2 2 ` a coecients r eels est not e M2 (R). On utilisera des parenth` eses () ou des crochets [] pour d elimiter une matrice. La barre verticale est r eserv ee au d eterminant qui est un nombre attach e` a une matrice. a b = ad bc det A = c d Pour un traitement complet voir le chapitre D eterminants. Les matrices et d eterminants jouent un r ole capital dans l etude des syst` emes d equations lin eaires . Ici on consid` ere un syst` eme de deux equations ` a deux inconnues. Proposition. Soit a, b, c, d, u, v des nombres r eels, le syst` eme lin eaire de deux equations aux deux inconnues x et y ax + by = u (S ) cx + dy = v admet un unique couple solution si et seulement le d eterminant de la matrice associ e est non nul. Lorsque ceci est r ealis e, cet unique couple est : u b a u v d c v , ) ( a b a b c d c d

formules de Cramer

Remarque. Le couple solution est obtenu en rempla cant successivement chaque colonne de la matrice par la colonne du second membre. Preuve. Introduisons dabord quelques notations D1 = u v b d D2 = a c u v D= a c b d

(analyse) Montrons dabord que si D = 0 alors la seule solution possible est donn ee par les formules de Cramer. Supposons que (x0 , y0 ) soit un couple solution et rempla cons dans lexpression de D1 ). D1 = ud vb = (ax0 + by0 )d (cx0 + dy0 )b = Dx0 x0 = Le calcul conduit ` a un r esultat analogue pour D2 . (synth` ese) En rempla cant dans les equations, on obtient facilement que ( D1 1 D2 1 = (ud vb), = (av cu)) D D D D D1 D

est un couple solution. Les deux derniers points montrent (analyse-synth` ese) que lorsque D = 0 le syst` eme admet une unique solution. Montrons maintenant que si le syst` eme admet une unique solution alors D = 0. En fait on va plut ot montrer que si D = 0 alors le syst` eme admet plusieurs solutions ou nen admet aucune. Supposons que D = 0 et que (x0 , y0 ) soit une solution. Consid erons pour tout r eel : x = x0 b il est alors evident par d enition que ax + by = u. De plus : cx + dy = v + (cb + ad) = v On a donc obtenu une innit e de solutions. y = y0 + a

Ces r esultats sont utilis es dans l etude des equations di erentielles lin eaires ainsi que dans la g eom etrie el ementaire du plan. Leur signication en termes dintersections de droites est si claire quelle rend presque inutile une d emonstration. Celle propos ee ici permet de mettre en pratique un peu de logique.

Cette cr eation est mise ` a disposition selon le Contrat Paternit e-Pas dutilisations commerciale-Partage des Conditions Initiales ` a lIdentique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

R emy Nicolai C4199

 ements de cours MPSI-El

Glossaire de d ebut dann ee

17 novembre 2012

espaces vectoriels Un espace vectoriel est un ensemble muni de deux op erations : une addition interne et une multiplication par un el ement dun corps x e. En g en eral R ou C. Laddition d enit une structure de groupe et la multiplication externe doit v erier certaines propri et es. En particulier si u est un el ement de lespace vectoriel et 1K le neutre multiplicatif du corps la multiplication externe de 1K par u est egale ` a u. Un vecteur est un el ement dun espace vectoriel. Une combinaison lin eaire est un vecteur qui s ecrit comme une somme de multiplications (externes) 1 u1 + 2 u+ + p up o` u les i sont dans le corps et les ui sont dans lespace vectoriel. Sous-espace vectoriel engendr e Vect(u), Vect(u, v ). matrices et d eterminants 3 3 Applications aux syst` emes. Une matrice 3 3 ` a coecients r eels est un tableau de neuf nombres a b c b c A = a a b c Lensemble des matrices 3 3 ` a coecients r eels est not e M3 (R). On utilisera des parenth` eses ( ) ou des crochets [ ] pour d elimiter une matrice. La barre verticale est r eserv ee au d eterminant qui est un nombre attach e` a une matrice. a b c b c det A = a a b c Pour un traitement complet voir le chapitre D eterminants. Les propri et es permettant la manipulation et le calcul des d eterminants sont multilin earit e, antisym etrie, d eveloppement suivant une ligne ou une colonne (` a r ediger) Les matrices et d eterminants jouent un r ole capital dans l etude des syst` emes d equations lin eaires . Ici on consid` ere un syst` emes de trois equations ` a trois inconnues. Proposition. Soit a, b, c, a , b , c , a , b , c , u, v w des nombres r eels, le syst` eme lin eaire de trois equations aux trois inconnues x, y , z ax + by + cz =u a x + b y + c z =v (S ) a x + b y + c z =w admet un unique triplet solution si et seulement le d eterminant de la matrice associ e est non nul. Lorsque ceci est r ealis e, cet unique triplet est : u v w ( a a a b b b b b b c a c a c a , c a c a c a u v w b b b c a c a a c , c a c a c a b b b b b b u v cw ) c c c

formules de Cramer

Remarques. Le couple solution est obtenu en rempla cant successivement chaque colonne de la matrice par la colonne du second membre. Lorsque le second membre est nul, la nullit e du d eterminant est equivalente ` a lexistence dun triplet solution autre que (0, 0, 0) au syst` eme.

IV.

Analyse
1 x xe

limites usuelles En particulier

+ en +. On en d eduit

ln x x

0 en +.

th eor` eme des valeurs interm ediaires Th eor` eme (Th eor` eme de la valeur interm ediaire). formulation 1 Soit I un intervalle et f une fonction continue sur I , a et b deux el ements de I tels que f (a)f (c) < 0. Il existe alors c tel que f (c) = 0. 6

Cette cr eation est mise ` a disposition selon le Contrat Paternit e-Pas dutilisations commerciale-Partage des Conditions Initiales ` a lIdentique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

R emy Nicolai C4199

 ements de cours MPSI-El

Glossaire de d ebut dann ee

17 novembre 2012

formulation 2 Soit I un intervalle, a I , b I , f continue sur I et ] min(f (a), f (b)), max(f (a), f (b))[. Il existe alors c [min(a, b), max(a, b)] tel que f (c) = . formulation 3 Soit I un intervalle et f une fonction continue sur I . Alors f (I ) est un intervalle. voir Propri et es globales des fonctions continues. On peut combiner avec le th eor` eme du tableau des variations pour obtenir une condition susante de bijectivit e. Il vaut mieux les appliquer s epar ement et comprendre que le th eor` eme des valeurs interm ediaires est li e` a la surjectivit e. th eor` eme du tableau de variations Proposition. Soit f une fonction continue dans [a, b], d erivable dans ]a, b[ telle que f (x) > 0 pour tout x ]a, b[. Alors f est strictement croissante dans [a, b]. voir Propri et es des fonctions d erivables. On peut combiner avec le th eor` eme des valeurs interm ediaires pour obtenir une condition susante de bijectivit e. Il vaut mieux les appliquer s epar ement et comprendre que le th eor` eme du tableau des variations est li e` a linjectivit e. d erivabilit e dune bijection r eciproque Th eor` eme. Soit f une fonction continue dans [a, b], d erivable dans ]a, b[ telle que f (x) > 0 pour tout x ]a, b[, alors f est bijective de [a, b] dans [f (a), f (b)], sa bijection r eciproque est continue dans [f (a), f (b)], d erivable dans ]f (a), f (b)[ avec : y ]f (a), f (b)[: f 1 (y ) = voir Propri et es des fonctions d erivables. ` r fonctions ` a valeurs vectorielles dune variable r eelle A ediger Ces r esultats sont utilis es dans l etude des Courbes planes param etr ees. Les fonctions consid er ees ici sont d enies dans un intervalle I de R et ` a valeurs dans un plan ane E de direction E . Cet espace ane peut etre E ou C. D enition. Soit f une fonction de I dans E , t0 un el ement de I et A un point de E . On dit que f converge en t0 vers A lorsque la fonction de I dans R Af (t) converge vers 0 en t0 . On note f A ou limf = A
t0 t0

1 f (g (y ))

Proposition. Soit x et y les fonctions coordonn ees dans un rep` ere, f une fonction de I dans E , t0 un el ement de I et A un point de E . Alors x ( A) x(f (t)) t0 f A t0 y (f (t)) y ( A)
t0

Preuve. Supposons la convergence de la fonction ane, dapr` es les propri et es de la norme, on peut ecrire les in egalit es : |x(f (t)) x(A)| Af (t) et |y (f (t)) y (A)| Af (t) On en d eduit la convergence des fonctins num eriques x f et y g en utilisant le th eor` eme dencadrement. Dans lautre sens, supposons la convergence en t0 des fonctions num eriques x f et y f . Alors, comme Af (t) = (x(f (t)) x(A))2 + (y (f (t)) y (A))2

on obtient la convergence de f en utilisant les r esultats relatifs aux op erations et ` a la composition des fonctions r eelles dune variable r eelle. D enition (Continuit e). Une fonction f d enie dans un intervalle I et ` a valeurs dans un espace ane est continue en t0 I si et seulement si elle converge en t0 vers f (t0 ). Une fonction f d enie dans un intervalle I et ` a valeurs dans un espace vectoriel est continue en t0 I si et seulement si elle converge en t0 vers f (t0 ).

Cette cr eation est mise ` a disposition selon le Contrat Paternit e-Pas dutilisations commerciale-Partage des Conditions Initiales ` a lIdentique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

R emy Nicolai C4199

 ements de cours MPSI-El

Glossaire de d ebut dann ee

17 novembre 2012

D enition (D erivabilit e). Une fonction f d enie dans un intervalle I et ` a valeurs dans un espace ane est d erivable en t0 I si et seulement si la fonction 1 f (t0 )f (t) t t0 converge en t0 . Dans ce cas, le vecteur limite est not e f (t0 ) Une fonction f d enie dans un intervalle I et ` a valeurs dans un espace vectoriel est d erivable en t0 I si et seulement si la fonction 1 f (t) f (t0 ) t t0 converge en t0 . Dans ce cas, le vecteur limite est not e f (t0 ) Proposition. Toute fonction d erivable en t0 est continue en t0 . On dira quune fonction est continue ou d erible dans un intervalle I si et seulement si elle est continue ou d erivable en tous les t de I . Proposition. Un rep` ere R = (O, i , j ) etant x e, les fonctions coordonn ees sont not ees x et y . Une fonction f d enie dans un intervalle I et ` a valeurs dans un espace ane est d erivable en t0 I si et seulement si les fonctions (de I dans R) x f et y f sont d erivables. On a alors : f (t0 ) = (x f ) (t0 ) i + (y f ) (t0 ) j ` r Preuve. A ediger. On peut reformuler la proposition pr ec edente. Si f est de la forme f (t) = 0 + u(t) i + v (t) j alors la fonction ` a valeurs g eom etriques f est d erivable si et seulement si les fonction ` a valeurs num eriques u et v le sont et : f (t0 ) = u (t0 ) i + v (t0 ) j Les formules sont analogues pour une fonction f ` a valeurs vectorielles f (t) =u(t) i + v (t) j f (t) =u (t) i + v (t) j D erivations de ( f / g ), f , det( f , g ). Proposition (Formule de Taylor-Young). Soit f une fonction d enie dans un intervalle I et ` a valeurs anes. On suppose quelle est d erivable dans I , que sa d eriv ee est continue dans I et que cette d eriv ee est d erivable en un t0 de I . Alors : (t t0 )2 f (t0 ) + (t t0 )2 (t) f (t0 )f (t) = (t t0 ) f (t0 ) + 2 o` u est une fonction ` a valeurs vectorielles qui converge vers 0 en t0 .

Cette cr eation est mise ` a disposition selon le Contrat Paternit e-Pas dutilisations commerciale-Partage des Conditions Initiales ` a lIdentique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

R emy Nicolai C4199