2008 - Grard Lavau - http://pagesperso-orange.fr/lavau/index.htm Vous avez toute libert pour tlcharger, imprimer, photocopier ce cours et le diffuser gratuitement.

Toute diffusion titre onreux ou utilisation commerciale est interdite sans accord de l'auteur. Si vous tes le gestionnaire d'un site sur Internet, vous avez le droit de crer un lien de votre site vers mon site, condition que ce lien soit accessible librement et gratuitement. Vous ne pouvez pas tlcharger les fichiers de mon site pour les installer sur le vtre.

ESPACES VECTORIELS
PLAN I : Gnralits 1) Dfinition et exemples 2) Sousespaces vectoriels 3) Sousespace vectoriel engendr par une partie 4) Dpendance et indpendance linaire. 5) Bases 6) Relation de liaison II : Espace de dimension finie 1) Thorme fondamental 2) Thorme de la dimension des bases 3) Thorme de la base incomplte 4) Dimension d'un sousespace vectoriel 5) Rang d'un systme de vecteurs III : Somme de sousespaces vectoriels 1) Somme de deux sousespaces vectoriels 2) Somme directe de deux sousespaces vectoriels 3) Supplmentaires 4) Cas de la dimension finie IV : Espaces affines 1) Dfinition 2) Barycentres 3) Sous-espaces affines 4) Parties convexes Annexe : un exemple de changement de repre, l'effet Doppler-Fizeau et le paradoxe des jumeaux

dsigne un corps commutatif, et plus spcialement un souscorps de Dans toute la suite, plus souvent ou lui-mme. I : Gnralits

1 Dfinition et exemples Les espaces vectoriels sont des groupes additifs munis d'une loi externe sur un corps . Voici des exemples d'espaces vectoriels : espace vectoriel des complexes sur . 2 , 3 et plus gnralement n sur le corps des rels. De mme n sur le corps des complexes ou plus gnralement n sur le corps . -1      

, le

On pourra rflchir la notion d'hypercube de dimension 4, d'autant plus facilement qu'on ralisera que les cubes de dimension 3 sont reprsents sans difficult sur un tableau de dimension 2 !! Partant d'un point translat d'une longueur donne, on obtient un segment.

Ce segment, translat dans une direction orthogonale de la mme longueur, donne un carr.

Ce carr, translat dans une troisime direction, orthogonale aux deux prcdentes, donne un cube.

Ce cube, translat dans une quatrime direction, orthogonale aux trois prcdentes, donne un hypercube.

-2-

D 3 C 3 D" C" B" C' D C B 3

A 3

A" D' A'

B' A B

Les objections relatives au fait que cette quatrime dimension n'existe pas ne sont pas recevables. En effet, aucune objection n'est faite en gnral lors de la construction du cube sur la surface plane constitue d'une feuille de papier ni sur le fait que tous les angles de la figure ainsi trace sont droits.

L'argument consistant dire que, certes, le cube est reprsent sur une surface plane, mais qu'il existe une troisime dimension extrieure cette surface, est un argument recevable, mais autorise galement la gnralisation suivante : l'hypercube est galement reprsent sur une surface plane. Il peut tre galement reprsent en perspective dans notre espace de dimension 3 (La Grande Arche de la Dfense par exemple). Mais ces reprsentations ne sont que des projections en dimension 2 ou 3 d'un objet quadridimensionnel. Les structures multidimensionnelles abondent. Il a exist il y a quelques annes par exemple un ordinateur parallle constitu de 65536 processeurs. Ces processeurs taient relis entre eux suivant une structure correspondant celle d'un hypercube de dimension 16 ! Un hypercube de dimension n est l'ensemble des points de coordonnes (x1, ..., xn) avec xi = 0 ou 1. Il y a donc 2n points. Le nombre an d'artes vrifie la relation de rcurrence : an = 2.an1 + 2n1 n1 ce qui conduit an = n.2 . Le nombre fn de faces de dimension 2 vrifie la relation : fn = 2.fn1 + an1 = 2.fn1 + (n1).2n2 ce qui conduit fn = n(n1)2n3 Le nombre d'hyperfaces de dimension n1 est gal 2n. -3-

D'autres exemples courants d'espaces vectoriels sont : les suites : ou ( , ) espace vectoriel des suites relles, sur le corps des rels, ou
$ $ # # " " ! !  

plus gnralement

ou
& &

) ensemble des suites valeurs dans

les champs scalaires ou vectoriels. Un champ scalaire est dfini par la donne d'une nombre en chaque point (x,y,z) de l'espace, par exemple le champ de temprature ou le champ de pression. Ce n'est autre qu'une fonction de 3 dans . Un champ vectoriel est dfini par la donne d'un vecteur en chaque point de l'espace, par exemple les champs lectriques ou magntiques, le champ des vitesses du vent... Ce n'est autre qu'une fonction de 3 dans 3. L'ensemble des ces fonctions forme un espace vectoriel appel espace des champs scalaires ou espaces des champs vectoriels. Voici la dfinition gnrale d'un espace vectoriel : (E, +, .) est un espace vectoriel sur un corps si (E,+) est un groupe et si on dfinit une loi externe not . de E dans E vrifiant les axiomes suivants : , , x E, y E i) .(x + y) = .x + .y ii) ( + ).x = .x + .x iii) .(.x) = ().x iv) 1.x = x o 1 est le neutre du produit interne de
A A 5 5 4 4 3 3 2 2

Les lments de

sont appels scalaires, et les lments de E sont appels vecteurs.

B B

Il est facile de vrifier que n, l'ensemble des suites ou l'ensemble des fonctions constituent un espace vectoriel. En fait, la dfinition ne servira que pour ces ensembles de base. D'autres critres sont enduite utiliss pour montrer qu'un ensemble est un espace vectoriel. En ce qui concerne la rgle iv), il faut bien prendre conscience qu'elle ne va pas de soi. 1 est le neutre du produit de , il n'y a aucune raison pour qu'il adopte une attitude comparable en ce qui concerne le produit externe. C'est le seul rsultat d'un produit par un scalaire qui est donn par les axiomes. Il rsulte des axiomes que : v) x E, 0.x = 0E o 0 est le neutre de ( ,+) et (0E) le neutre de (E,+). De mme : vi) K, .0E = 0E vii) 1.x = x o 1 est le symtrique de 1 dans ( ,+) et x le symtrique de x dans (E,+). viii) .x = 0E = 0 ou x = 0E dmonstration : v) 1.x = x = (1 + 0).x = 1.x + 0.x = x + 0.x x = x + 0.x 0.x = 0E vi) .0E = .(0.x) = (0).x = 0.x = 0E vii) 0E = 0.x = [1 + (1)].x = x + (1).x (1).x = x -4E E D D C C

0 0

@ @

'

'

les fonctions : des rels.

ou

( ,

 

, sur le corps dans

. , sur le corps

) espace vectoriel des applications de

8 8

1 1 1 viii) Si .x = 0E et si 0, alors .(.x) = .0E ( ).x = 0E 1.x = 0E x = 0E Une fois dfinis des espaces vectoriels, il est possible d'en dfinir d'autres. Par exemple, si E et F sont des espaces vectoriels sur le mme corps , alors E F en est un aussi, avec les lois naturelles : (x, y) + (x', y') = (x + x', y + y') (x, y) = (x, y)
G G

Si E est un espace vectoriel et X un ensemble, alors l'ensemble est un espace vectoriel, avec les lois : f + g : x f(x) + g(x) f : x f(x)

2 Sousespaces vectoriels Une faon plus rapide de montrer qu'un ensemble F est un espace vectoriel est de montrer qu'il est un sous-espace vectoriel d'un espace vectoriel E. Soit E un espace vectoriel et F une partie de E. F est un sousespace vectoriel de E si F muni des restrictions des lois de E est un espace vectoriel. Il suffit pour cela que F vrifie : x F, y F, x + y F , x F, .x F Il est par exemple inutile de vrifier que x F x F. Cela dcoule de la deuxime proprit avec = 1. Il y a bien sr les droites vectorielles, incluses dans les plans vectoriels, inclus dans les espaces vectoriels de dimension suprieure. Mais il y a aussi l'espace vectoriel des fonctions polynomiales, inclus dans l'espace vectoriel des fonctions indfiniment drivables, inclus dans l'espace vectoriel des fonctions continues, inclus dans l'espace vectoriel des fonctions de dans . PROPOSITION : Soit E un espace vectoriel. Une intersection de sousespaces vectoriels de E est un sousespace vectoriel de E. La dmonstration est facile et laisse en exercice. EXEMPLE : On note Cn( ) l'espace vectoriel des fonctions n fois drivables de dans . Alors l'intersection de tous ces sousespaces vectoriels est un sousespace vectoriel not C( ), espace vectoriel des diffrent de C2( ) (prendre x2.sg(x)). 3 Sousespace vectoriel engendr par une partie finie Une troisime faon de dfinir un espace vectoriel est de le dfinir comme sous-espace vectoriel engendr par une partie. Soit M = {x1, ..., xp} une partie d'un espace vectoriel E. Considrons F l'ensemble des combinaisons linaires de la forme 1x1 + ... + pxp, avec i . Il est facile de voir que : -5` ` Y Y X X W W V V U U P P I I H H

fonctions indfiniment drivables sur

. C0( ) est diffrent de C1( ) (prendre x ). C1( ) est

T T

(X, E) des applications de X dans E

i) F est un sousespace vectoriel de E. ii) Si G est un sousespace vectoriel de E contenant M, alors F est inclus dans G. F est donc le plus petit sousespace vectoriel de E contenant M. On dit que F est engendr par M ou que M est un systme gnrateur de F ou une partie gnratrice de F. Si F = E, on parle simplement de partie gnratrice (sans prciser de E). EXEMPLE : u n est engendr par les nuplets (1,0,0,...,0), (0,1,0,...,0), ..., (0,0,0,...,1). u Dans C0( ), et soit n un entier. Les fonctions 1, x, x2, ..., xn engendrent le sousespace vectoriel des fonctions polynomiales de degr infrieur ou gal n. 4 Dpendance et indpendance linaire a) Considrons dans 3 les deux parties suivantes : 1 2 0 = U, 3 = V M: 1 1 1 3 0 3 = X, 3 = Y, 3 = Z et N: 2 0 3 Ces deux parties engendrent le mme sousespace vectoriel, car : X = VU Y = V+U Z = V+2U ce qui prouve que le sousespace vectoriel engendr par N est inclus dans celui engendr par M. Et : 1 U = (YX) V = 2X+Z 2 ce qui prouve que le sousespace vectoriel engendr par M est inclus dans celui engendr par N. Les vecteurs de ce sousespace vectoriel F peuvent s'crire aU + bV (i) ou aX + bY + cZ (ii). Considrons un vecteur de composantes x, y et z. A quelle condition appartientil F ? Avec la combinaison linaire (i), un vecteur appartient F si et seulement si : y b= 3 x = a + 2b a, b, y = 3b a, b, a = z + y z=ab 3 x=z+y La condition ncessaire et suffisante cherche l'existence est x = z + y, quation du plan vectoriel F. On remarquera par ailleurs que pour tout vecteur de F, les coefficients a et b sont uniques. Avec la combinaison linaire (ii), un vecteur appartient F si et seulement si : a = x 3b x = a + 3b y a, b, c, y = 3a + 3b 3c a, b, c, c = 3 + x 2b z = 2a + 3c z=xy
c c b b a a

-6-

La condition ncessaire et suffisante est la mme. Cependant, les coefficients a, b, c ne sont pas uniques. Il en existe une infinit. Cela est li au fait que, dans le deuxime cas, F est dfini par trois vecteurs alors que deux suffiraient. Cela introduit un coefficient supplmentaire arbitraire. Dans le cas (i), les vecteurs U et V sont dits linairement indpendants, ou bien (U,V) forme un systme libre. Dans le cas (ii), les vecteurs X, Y et Z sont dits linairement dpendants, ou bien (X,Y,Z) forme un systme li. Cette deuxime terminologie provient du fait qu'il existe une relation de liaison entre X, Y et Z : 3X Y + 2Z = 0 b) PROPOSITIONDEFINITION Soit (V1, V2, ..., Vn) un systme de n vecteurs d'un espace vectoriel E. Il y a quivalence entre : i) Toute combinaison linaire de (V1, V2, ..., Vn) s'crit de manire unique sous la forme i Vi
i=1 n

Un tel systme est dit libre. Un systme qui n'est pas libre est dit li. Il existe alors (1, ..., n) non tous nuls tels que

i Vi = 0E.
i=1

On prendra garde diffrencier non tous nuls et tous non nuls. Dmonstration : i) ii) : rsulte de l'unicit de la dcomposition de 0E. ii) i) : se montre en supposant qu'il existe deux dcompositions possibles d'un vecteur W. On a alors : W = i Vi = i Vi (i i)Vi = 0E
i=1 i=1 i=1 n n n

i, i i = 0 ce qui prouve bien l'unicit de la dcomposition.

c) PROPRIETES Soient A et B deux systmes de vecteurs : i) 0E A A li. ii) A li et A B B li. iii) V 0E (V) libre. iv) A libre et B A B libre. v) A li il existe un des vecteurs de A combinaison linaire des autres. 5 Bases Un systme fini de vecteurs libre et gnrateur s'appelle une base. Tout vecteur de E s'crit de manire unique comme combinaison linaire des vecteurs de la base. Les scalaires de cette combinaison sont les composantes du vecteur. -7-

ii) (1, ..., n)

i Vi = 0E
i=1

i, i = 0.

u Une base des polynmes de degr infrieur ou gal n est 1, x, x2, ..., xn. u Si E et F sont deux espaces vectoriels de bases respectives (e1, ..., ep) et (f1, ..., fn), alors E F admet pour base (e1, 0F), ..., (ep, 0F), (0E, f1), ..., (0E, fn). En effet, tout couple (x, y) de E F avec x = iei et y = jfj se dcompose de manire unique sous la forme :
i=1 j=1 p p n

(x, y) = i (ei, 0F) + j (0E, fj)

i=1 j=1

On a donc dim E F = dim E + dim F, formule qu'on retrouve implicitement dans : n + p = dim n+p = dim n p = dim n + dim p 6 Relation de liaison La mthode cidessous permet de rechercher une relation de liaison. On suppose les Wi donns par leurs coefficients. On fait des combinaisons de faon disposer d'un triangle de 0. W1 W2 W3 W4 W5 2 1 1 1 1 1 1 1 2 2 1 1 3 0 2 3 2 2 3 2 On fait des combinaisons entre chaque Wi, i 2, et W1 de faon disposer des zros en premire ligne (Si W1 possdait un zro en premire ligne, le permuter avec un vecteur ayant un premier coefficient non nul. Si tous les vecteurs possdent une premire composante nulle, passer la deuxime ligne) W1 W2W1 W3W1 W42W1 W5W1 1 0 0 0 0 1 1 1 3 2 1 2 2 2 1 3 1 5 3 5 On fait de mme des combinaisons linaires entre le deuxime vecteur et chacun de ceux qui suivent de faon disposer des zros en deuxime ligne. W1 1 1 1 3 On itre. W2W1 0 1 2 1 W3W2 0 0 4 4 W4+3W25W1 0 0 8 6 W5+2W23W1 0 0 3 7
p p i i h h g g f f

EXEMPLES : u Une base de

est (1,0,0,...,0), (0,1,0,...,0), ..., (0,0,0,...,1), dite base canonique.

-8-

W1 1 1 1 3 W1 1 1 1 3

W2W1 0 1 2 1 W2W1 0 1 2 1

W3W2 0 0 4 4 W3W2 0 0 4 4

W4+2W3+W25W1 0 0 0 14 W4+2W3+W25W1 0 0 0 14

4W5+3W3+5W212W1 0 0 0 40 28W520W419W3+15W2+16W1 0 0 0 0

La relation de liaison est 28W520W419W3+15W2+16W1 = 0. Si la fin du processus, on n'obtient pas le vecteur nul, c'est que les vecteurs forment un systme libre. II : Espace de dimension finie Un espace vectoriel est dit de dimension finie s'il est engendr par une partie finie. Le but de ce paragraphe est de montrer que toutes les bases de cet espace vectoriel sont constitues du mme nombre de vecteurs. Ce nombre s'appellera dimension de l'espace. 1 Thorme fondamental THEOREME : Soit E un espace vectoriel engendr par le systme (V1, V2, ..., Vn) et soit (W1, W2, ..., Wp) un systme. Si ce systme est libre, alors p est infrieur ou gal n. Autre formulation : si p est strictement suprieur n, alors (W1, W2, ..., Wp) est un systme li. Dmonstration : La dmonstration se fait par rcurrence sur n. Soit p > n. u Cette proprit est vraie pour n = 1, car si (W1, W2) sont deux vecteurs d'une espace vectoriel engendr par (V), il existe et tels que : W1 = V et W2 = V Si les deux coefficients sont nuls, alors le systme est li. Sinon, on a : W1 W2 = 0 et le systme est li. u On suppose la proprit vraie pour n1 et on la montre pour n. Soit (W1, ..., Wp) un systme d'un espace vectoriel engendr par (V1, ..., Vn), avec p > n. Ecrivons les vecteurs Wi par leur colonne de composantes selon (V1, ..., Vn) (Ces composantes peuvent ne pas tre uniques si (V1, ..., Vn) est li). W1 W2 ... Wp a11 a12 a21 a22 a1p a2p ... ... ... ... an1 an2 anp Si tous les a1i sont nuls, alors les Wi appartiennent en fait au sousespace vectoriel engendr par (V2, ..., Vn). D'aprs l'hypothse de rcurrence, les Wi forment bien un systme li. Sinon, l'un des a1i est non nul, par exemple a11. On annule alors la premire composante des autres vecteurs : -9-

W1 a11 a21 ... an1

a11W2a12W1 ... 0 ... ... ... ...

a11Wpa1pW1 0 ... ... ...

Les p1 derniers vecteurs sont combinaisons des n1 vecteurs (V2, ..., Vn). Or p1 > n1 donc l'hypothse de rcurrence s'applique : ils sont lis. Il existe donc des coefficients i non tous nuls tels que : 2(a11W2a12W1) + ... + p(a11Wpa1pW1) = 0 (2a12 + ... + pa1p)W1 + 2a11W2 + ... + pa11Wp = 0 On obtient une combinaison linaire nulle des Wi. Pour voir que le systme des (Wi) est li, il suffit de s'assurer que l'un des coefficients est non nul. Or le coefficient de Wi, 2 i p, vaut ia11, et l'on sait que l'un des i est non nul et que a11 est non nul. 2 Thorme de la dimension des bases THEOREME Soit E un espace vectoriel engendr par une partie finie. Alors E admet une base, et toutes les bases de E ont mme nombre de vecteurs. Ce nombre s'appelle la dimension de E. Dmonstration : Existence d'une base : Si (V1, ..., Vn) engendre E et si ce systme est libre, il forme une base. S'il est li, l'un des vecteurs, par exemple Vn est combinaison linaire des autres. Il n'est pas difficile de voir que (V1, ..., Vn1) reste un systme gnrateur de E. On itre le procd jusqu' obtenir un systme gnrateur libre. Cette mthode est constructive. Dimension des bases : Soient (V1, ..., Vn) et (W1, ..., Wp) deux bases. Alors, d'aprs le 1) : u (V1, ..., Vn) est gnrateur et (W1, ..., Wp) est libre donc p n. u (V1, ..., Vn) est libre et (W1, ..., Wp) est gnrateur donc n p. Donc p = n CONSEQUENCES : i) (W1, ..., Wn) libre n dim E ii) (W1, ..., Wn) gnrateur n dim E iii) (W1, ..., Wn) base n = dim E iv) n > dim E (W1, ..., Wn) li v) (W1, ..., Wn) libre et n = dim E (W1, ..., Wn) base vi) (W1, ..., Wn) gnrateur et n = dim E (W1, ..., Wn) base Dmonstration : i) rsulte du thorme fondamental. ii) aussi. iii) est la dfinition de dim E iv) est la contrapose de i)

- 10 -

v) Pour tout V de E, (W1, ..., Wn, V) est li (d'aprs iv). Donc il existe 1, ..., n, non tous nuls tels que i Wi + V = 0. Il est facile de voir que est ncessairement non nul, sinon tous les
i=1 n

i seraient nuls. Donc V est combinaison linaire des Wi, qui forme donc un systme gnrateur. vi) Si le systme est li, on pourrait supprimer un des vecteurs combinaison linaire des autres tout en gardant un systme gnrateur. Cela imposerait que dim E soit infrieur n. Les points iv) et v) sont particulirement utiliss. 4 Thorme de la base incomplte Un autre moyen de former une base est le suivant : THEOREME Soit E un espace vectoriel de base (V1, ..., Vn), et soit (W1, ..., Wp) un systme libre. Alors il existe np vecteurs parmi les Vi tel que le systme constitu de ces np vecteurs Vi et des Wj forme une base de E. Dmonstration : Par un raisonnement analogue au vi) du paragraphe prcdent, on voit que, si p < n, il existe l'un des Vi tel que (W1, ..., Wp, Vi) soit libre. (Si tous les systmes sont lis, on montrerait comme dans la consquence vi) du paragraphe prcdent que les Vi sont combinaison linaire des Wj, et donc que les Wj sont gnrateurs). En notant Wp+1 = Vi, on itre le procd jusqu' obtenir n vecteurs libres Wi. Ils forment alors une base. Cette mthode est constructive. EXEMPLE : Dans 4, on prend la base canonique (V1, ..., V4) et le systme libre suivant : W1 W2 1 1 2 1 0 0 0 0 Le complter en une base de 4. (W1, W2, V1) est li (W1, W2, V2) est li (W1, W2, V3) est libre (W1, W2, V3, V4) est libre. Ces quatre vecteurs forment une base. 5 Dimension d'un sousespace vectoriel PROPOSITION Soit F un sousespace vectoriel d'un espace vectoriel de dimension finie. Alors F est de dimension finie et dim F dim E.Si dim F = dim E, alors F = E. Dmonstration : Parmi tous les systmes libres de F, on en choisit un maximal. Le nombre des vecteurs de ce systme est ncessairement infrieur dim E. Par ailleurs, tant libre et maximal dans F, il forme une base de F. Si F est un sousespace vectoriel de E et si dim F = dim E, alors F = E, puisqu'une base de F tant un systme libre, possdant n = dim E vecteurs est aussi une base de E. - 11 r r q q

Un sousespace vectoriel de dimension 1 est une droite vectorielle. Un sousespace vectoriel de dimension 2 est un plan vectoriel. Un sousespace vectoriel de dimension dim(E) 1 est un hyperplan vectoriel. 6 Rang d'un systme de vecteurs On appelle rang d'un systme de vecteurs la dimension du sousespace vectoriel engendr par ce systme. C'est donc le nombre maximal de vecteurs linairement indpendants que l'on peut extraire du systme. Un tel systme libre maximal forme une base du sousespace vectoriel. III : Somme de sousespaces vectoriels 1 Somme de deux sousespaces vectoriels DEFINITION Soit E un espace vectoriel, de dimension finie ou non, F et G deux sousespaces vectoriels de E. On appelle somme de F et G l'ensemble dfini par : F + G = { z | x F, y G, z = x + y}. F + G est le sousespace vectoriel engendr par la partie F G. C'est le plus petit sousespace vectoriel contenant F et G. 2 Somme directe de deux sousespaces vectoriels On s'intresse la question de savoir si z peut se dcomposer de plusieurs faons sous la forme x + y, x F, y G. Si la dcomposition est unique, la somme est directe. EXEMPLE 1 : E de dimension 3, de base (i, j, k). F plan engendr par (i, j i) G plan engendr par (k, j + k) La somme n'est pas directe car : i+j+k=i+j+k=i+j+k F G F G

EXEMPLE 2 : E de dimension 3, de base (i, j, k). F plan engendr par (i, j + k) G droite engendre par (j k i) La somme est directe car : 1 1 1 xi + yj + zk = (y+2xz)i + (y+z)(j + k) + (yz)(j k i) 2 2 2 et il n'y a pas d'autre possibilit. PROPOSITION Il y a quivalence entre : i) F G = {0} ii) x + y = 0 et x F, y G x = y = 0 iii) Tout z de F + G s'crit de manire unique x + y, x F, y G. - 12 -

Dmonstration : i) ii) Si x + y = 0, alors x = y est lment de F et de G, donc est nul. ii) iii) Si z = x + y = x' + y' avec x F, x' F, y G, y' G, alors : xx' + yy' = 0 avec xx' F et yy' G, donc xx' = yy' = 0 iii) i) Si z F G, z peut s'crire z = z + 0 = 0 + z F G F G La dcomposition tant unique, z = 0. Si une somme est directe, on note F G au lieu de F + G. La proprit i) est la plus couramment utilise pur montrer que deux sousespaces vectoriels sont en somme directe. 3 Supplmentaires On appelle supplmentaire de F un sousespace vectoriel G tel que E = F G. Cela signifie : i) Tout z de E est somme d'un lment de F et d'un lment de G. ii) Cette dcomposition est unique. ou encore que : i) E = F + G ii) F G = {0} EXEMPLE : Soit E = C0( ), on note P l'ensemble des fonctions paires et I l'ensemble des fonctions impaires. Ces deux ensembles sont deux sousespaces vectoriels supplmentaires de E. Toute fonction se dcompose en partie paire et partie impaire. On considrera par exemple le cas de l'exponentielle. On peut dfinir alors le projecteur p de E sur F paralllement G et la symtrie s par rapport F paralllement G : E E z = x + y p(z) = x F G s(z) = x y 4 Cas de la dimension finie PROPOSITION Si E est de dimension finie et si F est un sousespace vectoriel de E, alors il existe un supplmentaire G de F. Tous les supplmentaires ont pour dimension dim E dim F. Dmonstration : Si (V1,...,Vn) est une base de E et (W1,...,Wp) une base de F, le thorme de la base incomplte nous permet de complter la base de F par np vecteurs pour former une base de E. Ces np vecteurs engendrent un sousespace vectoriel G qui sera supplmentaire de F. PROPOSITION - 13 s s

Soit F et G deux sousespaces vectoriels de dimension finie d'un espace vectoriel E. Alors F + G est de dimension finie et : dim (F+G) = dim F + dim G dim (F G). Dmonstration : On notera l'analogie avec la formule Card(A B) = Card(A) + Card(B) Card(A B) On choisit une base (u1, ..., up) de F G, que l'on complte en une base (u1, ..., up, v1, ..., vq) de F et (u1, ..., up, w1, ..., wr) de G. On vrifiera alors que (u1, ..., up, v1, ..., vq, w1, ..., wr) est une base de F + G. En particulier : i) dim (F G) = dim F + dim G ii) Si F et G sont en somme directe, une base de F G s'obtient en runissant une base de F et une base de G iii) Inversement, si on scinde une base de E en deux systmes disjoints, ces deux systmes engendrent deux sousespaces vectoriels supplmentaires. IV : Espaces Affines 1 Dfinition Considrons l'ensemble des complexes . Un complexe z = a + ib peut tre considr comme un vecteur (on parle du vecteur d'affixe z) ou comme un point (on parle du point d'affixe z). Mais il s'agit du mme complexe z ! Celui-ci peut donc, au gr de l'utilisateur, tre un point ou un vecteur. Il x 3 dont les lments y peuvent tre considrs comme les composantes d'un en est de mme de z vecteur ou les coordonnes d'un point. C'est seulement l'utilisateur qui va dcider du regard qu'il porte sur ce triplet. On peut videmment gnraliser ce point de vue n, mais galement n'importe quel espace vectoriel. Les lments d'un espace vectoriel peuvent tre considrs videmment comme des vecteurs, mais dans ce paragraphe, nous allons galement les considrer comme des points. Se pose alors la question suivante : si a et b, lments de E sont des points, quel x x' 3 y B y' , le vecteur reliant A est le vecteur qui les relie ? Si on regarde ce qui ce passe dans z z' x'x n'est autre que y'y , autrement dit, B A. On procdera de mme dans le cas gnral. Dans E, le z'z vecteur reliant a b est le vecteur b a. Pour conserver les notations usuelles en gomtrie, nous noterons les lments de E avec une majuscule lorsqu'on les considre comme des points (A et B). Le vecteur AB n'est autre que B A. On a alors les proprits, bien connue en gomtrie : u Le relation de Chasles : AB + BC = AC puisque B A + C B = C A. u Pour tout point A de E, l'application M AM est bijective. Sa rciproque est l'application qui, un vecteur v de E associe le point M tel que AM = v, autrement dit, M A = v, ce que nous noterons aussi M = A + v et qui est le translat de A par la translation de vecteur v.
v v w w t t u u

- 14 -

Voici un exemple moins habituel d'espace affine. Lorsque l'on rsout une quation diffrentielle linaire second membre nul, on trouve que l'ensemble Z des solutions est un espace vectoriel de dimension gale l'ordre de l'quation diffrentielle. C'est une droite vectorielle pour une quation diffrentielle du premier ordre, un plan vectoriel pour une quation diffrentielle du second ordre. Lorsque le second membre est non nul, la solution gnrale s'obtient en ajoutant la solution gnrale de l'quation homogne une solution particulire de l'quation avec second membre. Soit A l'ensemble des solutions avec second membre, et y0 un lment particulier de A. A et Z sont tous deux inclus dans l'espace E des fonctions. Z est un sous-espace vectoriel de E. Mais A est considr comme sous-espace affine. Il est en effet judicieux de considrer ses lments comme des points. Deux lments y1 et y2 de A sont de la forme y0 + z1 et y0 + z2, avec z1 et z2 lments de Z. La diffrence y2 y1 est alors un vecteur, lment de Z. De mme que l'on obtient un point M d'une droite affine partir d'un point M0 de cette droite et d'un vecteur U colinaire un vecteur directeur, de faon que U = M0M, de mme on obtient une solution y de A partir d'une solution particulire y0 et d'un vecteur de Z, z, de faon que z = y y0. 2 Barycentres PROPOSITION : Soit (Ai) une famille de n points d'un espace et (i) n rels. Alors : i) Si i = 0, l'expression i AiM ne dpend pas de M
i=1 i=1 n n

ii) Si

i
i=1

0, alors il existe un unique point G tel que i AiG = 0. G s'appelle

i=1

barycentre des points Ai affect des coefficients i. Dmonstration : i) i AiM = i (M Ai) = i Ai ne dpend pas de M
i=1 i=1 i=1 n n n

ii) On notera = i.
i=1 n

1 i AiG = 0 i (G Ai) G i Ai G = i=1 i=1 i=1

i Ai
i=1

Si le lecteur a un doute sur la validit des notations qui prcdent, il prendra une origine arbitraire O et crira.

i AiG = 0 i (OG OAi) OG i OAi OG = 1

i=1 i=1 i=1

i OAi
i=1

L'expression trouve pour G entrane galement que le barycentre est inchang lorsque l'on multiplie tous les i par une mme constante non nulle. En particulier, on peut diviser tous les i par leur somme, et se ramener ainsi des i dont la somme vaut 1. G prend alors la forme simple : G = i Ai
i=1 n

Si tous les coefficients sont gaux, on parle d'isobarycentre. - 15 -

EXEMPLES : u Le centre de gravit en physique. u L'indice des prix (les informations ci-dessous datent de quelques annes. Elles ont pu tre mises jour depuis) : il s'agit d'un barycentre portant sur 295 articles. Ai est le prix de l'article ni, et i son coefficient de pondration. On a par exemple : = 10000 i = 106 pour le pain = 12 pour le boeuf hach = 5 pour les impermables = 59 pour les tlviseurs = 299 pour l'automobiles ... u Les distributions de charges unipolaires : On considre des charges lectriques qi disposes en des points Ai. Si qi est non nulle, alors on parle de distribution unipolaire. A grande distance, la distribution de ces charges est quivalente une charge unique gale qi, dispose au barycentre G des Ai munis des coefficients qi. Cherchons l'erreur commise sur le potentiel lectrique V en un point M loign. Notons ri le vecteur GAi et r le vecteur GM. On a : AiM2 = (GM GAi)2 = GM2 2<GM, GAi> + GAi2 = r2 + ri2 2<GM, GAi> r 2 2<r, ri> ) = r2 (1 + i r2 1 1 r 2 2<r, ri> 1/2 = (1 + i ) AiM r r2 1 <r, ri> 1 = (1 + + O( 2)) r r2 r 1 q 1 <r, ri> 1 V(M) = i = qi (1 + + O( 2)) r2 r 40 AiM 40r or qi ri = O Q 1 V(M) = + O( 3)) si on note Q = qi. r 40r u Les distributions de charges dipolaires ou multipolaires : Reprenons l'exemple prcdent, mais avec qi = 0. Notons P le barycentre des charges positives, et N le barycentre des charges ngatives. Si ces barycentres sont distincts, la distribution est dite dipolaire, sinon elle est multipolaire. Considrons le cas d'une distribution dipolaire. Reprenons le 1 , en notant cette fois r = OM o O est le milieu de [PN], et ri = OAi. dveloppement limit de AiM 1 1 r 2 2<r, ri> 1/2 = (1 + i ) AiM r r2 1 <r, ri> 1 = (1 + + O( 2)) r r2 r Le potentiel cr par les charges positives est, en se limitant dans la somme aux indices i pour lesquels qi > 0 : - 16 -

1 q 1 <r, ri> 1 i = qi (1 + + O( 2)) 2 r r 40 AiM 40r Or qiri = QOP, en notant Q la somme des charges positives (et donc Q est gal la somme des charges ngatives). Q<r, OP> 1 Q V+(M) = + + O( 3) r 40r3 40r De mme, le potentiel cr par les charges ngatives est : Q<r, ON> 1 Q + O( 3) V(M) = 3 r 40r 40r Le potentiel total est : Q<r, NP> 1 V(M) = V+(M) + V(M) = + O( 3) 3 r 40r 1 Au terme O( 3) prs, il s'agit du potentiel lectrostatique cr par un diple de charges Q dispos en r P et Q dispos en N. Le moment dipolaire est QNP. On remarquera que le vecteur QNP est prcisment gal qiAi, c'est--dire au vecteur qiMAi indpendant de M puisque qi = 0. V+(M) = 1 Si N et P sont confondus, le potentiel est en O( 3) (cas de la distribution multipolaire). r ASSOCIATIVITE DU BARYCENTRE : Soit G barycentre des (Ai, i)iI. On partitionne I en k parties disjointes Ii, ..., Ik, de faon que, pour tout i, le barycentre Gi des (Aj, j)jIi soit dfini (il suffit pour cela que la somme mi des j pour j lment de Ii soit non nulle). Alors G est le barycentre des (Gi,mi)i{1..k} Dmonstration : On a en effet, en supposant que j = mi = 1 :

mi Gi = mi
k k i=1 i=1

j Ii

j k Aj = j Aj = j Aj = G mi i=1 j I jI

Cette proprit facilite parfois le calcul du barycentre en fractionnant les difficults. BARYCENTRE EN PHYSIQUE La proprit

i GAi
i=1

= 0 joue un rle fondamental en mcanique, lorsque les coefficients i

reprsentent les masses mi des points Ai. En effet, dans bien des cas, un ensemble de points matriels peuvent tre remplacs par le barycentre. Cela apparat dans les thormes de Koenig. Thorme de Koenig pour le moment cintique : Le moment cintique par rapport un point O d'un systme de n points matriels Ai de masse mi, anims d'une vitesse Vi dans un repre donn vaut : LO = OAi mi Vi
i=1 n

- 17 -

= (OG + GAi) mi Vi
i=1 n

= OG mi Vi + GAi mi Vi
i=1 i=1 n

= OG mi Vi + GAi mi Vi
i=1 i=1

Or de l'galit i GAi = 0, on tire, en drivant par rapport au temps : mi (Vi VG) = 0

i=1 i=1

Ainsi :

mi Vi = mi VG = M VG en notant M = mi
i=1 i=1 i=1 n

LO = OG M VG + GAi mi Vi
i=1

= OG M VG + LG Le moment cintique du systme par rapport O est la somme du moment cintique de G par rapport O et du moment cintique du systme par rapport G. A noter que ce dernier peut tre calcul l'aide des vitesses initiales Vi aussi bien qu' l'aide des vitesses relatives au point G vi = Vi VG, puisque :

GAi mi vi = GAi mi (Vi VG)

i=1 i=1

= GAi mi Vi mi GAi VG
i=1 i=1

= LG puisque mi GAi = 0.
i=1 n

Thorme de Koenig pour l'nergie cintique Avec les notations prcdentes, l'nergie du systme dans le repre considr vaut : 1 n 1 n mi Vi2 = 2 mi (vi +VG)2 2 i=1 i=1 =
n 1 n 1 n mi vi2 + 2 mi VG2 + mi <vi,VG> o < , > dsigne le produit scalaire 2 i=1 i=1 i=1 n 1 n 1 n mi vi2 + 2 mi VG2 +< mi vi,VG> o < , > dsigne le produit scalaire 2 i=1 i=1 i=1

= or mi vi =
i=1 n

d n mi GAi = 0 dt i=1 - 18 -

1 n 1 n 1 n mi Vi2 = mi vi2 + mi VG2 2 i=1 2 i=1 2 i=1

L'nergie cintique du systme est gal la somme de l'nergie cintique du barycentre et de l'nergie cintique du systme dans le repre li G. 3 Sous-espaces affines DEFINITION : Soit M0 un point de E et F un sousespace vectoriel de E. On appelle sousespace affine ou varit linaire affine passant par M0 de direction F l'ensemble des points M tels que M0M appartienne F. On le note M0 + F. Si F est une droite vectorielle engendre par V, M0 + F est appele droite affine et est gal {M | M0M = V} = {M = M0 + V}. Si F est un plan vectoriel engendr par (U, V), M0 + F est dit plan affine et est gal {M | M0M = U + V} = {M = M0 + U + V}. Si F = {0}, alors M0 + F = {M0}. Si F = E, alors M0 + F = E Si F est un sous-espace vectoriel de E, inclus dans un sous-espace vectoriel G de E, alors tout sousespace affine M0 + F sera dit parallle tout sous-espace affine M1 + G. PROPOSITION : Soit B et C deux sousespaces affines de direction respectives F et G. Alors, ou bien B C = , ou bien B C est un sousespace affine de direction F G. Dmonstration : En effet, si M0 est un point de B C, alors B C = {M | M0M F G} PROPOSITION : Soient (Ai)iI une famille de points d'un espace affine. L'ensemble des barycentre de ces points affects de coefficients quelconques forme un sousespace affine appel sousespace affine engendr par les (Ai). Ce sousespace affine est le sousespace affine passant par l'un de ces points et de direction le sousespace vectoriel engendr par les vecteurs (A1A2, ..., A1An). C'est le plus petit sousespace affine contenant la famille de points (Ai). Dmonstration : Notons B le sousespace affine passant par A1 et de direction F le sousespace vectoriel engendr par (A1A2, ..., A1An). Tous les Ai sont lments de B. Si G est barycentre des (Ai, i), avec i = 1, alors : G = iAi A1G = i A1Ai est lment de F ce qui prouve que G est lment de B. Inversement, si G est lment de B, alors il existe des i, 2 i n, tels que : - 19 -

A1G = i A1Ai
i=2

Si l'on pose 1 = 1 2 ... n, alors l'galit prcdente est quivalente crire que G est barycentre des (Ai, i), 1 i n. Enfin, soit C un sousespace affine contenant les Ai. Alors la direction de C contient F, et C contient B, puisqu'il ne peut lui tre strictement parallle, puisqu'ils ont des points en commun. EXEMPLE : Le thorme de Mnlaus (fin du Ier sicle) Il s'nonce : Soit un triangle ABC, et trois points distincts de A, B et C : P sur (AB), Q sur (BC) et R sur (AC). P B Q C A R

Alors P, Q et R sont aligns si et seulement si : PA QB RC =1 PB QC RA Dans la notation ci-dessus, PA dsigne la mesure algbrique du couple (P,A). Il s'agit de la composante du vecteur PA suivant un vecteur directeur de la droite (AB). Cette mesure dpend du PA vecteur directeur choisi, mais le quotient n'en dpend pas. PB Pour montrer que cette condition est ncessaire, on peut raisonner sur les coefficients de P, Q et R, comme barycentres de A, B et C. Si A, B et C ne sont pas aligns et si on impose la somme des coefficients d'tre gale 1, il y a en effet unicit des coefficients. Cela est quivalent faire un calcul vectoriel, mais prserve la symtrie des rles jous par A, B, C ou P, Q, R : A p 0 1r = p B 1p q 0 = (1p)+(1)q C 0 1q r = (1)(1q)

P Q R = P + (1)Q On en dduit que =

q (1p)(1q) pq , d'o r = et 1r = 1pq 1pq 1pq

- 20 -

 PA 1p QB 1q RC 1r Par ailleurs : = , = et = p q r PB QC RA D'o le rsultat. La rciproque se montre de la faon suivante : Soient P, Q, R trois points vrifiant la relation, et soit R' l'intersection de (PQ) et (AC). Alors P, Q et R' vrifient galement la relation, ce qui prouve que R et R' sont les mmes barycentres relativement A et C. Ils sont donc gaux. 4 Parties convexes DEFINITION : Une partie C d'un espace affine A est dite convexe si, pour tout point M et N de C, le segment [M,N] est inclus dans C. Le segment [MN] est dfini comme tant l'ensemble des barycentres de M et N coefficients positifs.
x x

EXEMPLES : Un disque, un sousespace affine, un demiplan. Les parties convexes de intervalles. PROPOSITION : Soit (Ci)iI une famille d'ensembles convexes. Alors Ci est un convexe. La dmonstration se dduit directement de la dfinition sans difficult.

sont les

Annexe : un exemple de changement de repre, l'effet Doppler-Fizeau et le paradoxe des jumeaux Effet Doppler en mcanique classique : Considrons deux repre Ox et Ox' en translation l'un par rapport l'autre la vitesse V. O' se dplace par rapport O dans le sens des x croissant, la vitesse V, et symtriquement, O de dplace par rapport O' dans le sens des x' dcroissant, la vitesse V.

O'

u Considrons une impulsion mise par O' priodiquement se propageant dans le milieu li O la vitesse c (cas du son mis par un vhicule O' en mouvement, et reu par un observateur O immobile par rapport l'air ambiant). Si une impulsion est mise par O' l'instant t alors que O' se trouve en x > 0, O recevra cette impulsion l'instant : x T=t+ c - 21 -

En effet, il faut ajouter t la dure pendant laquelle le signal se propage de O' en O. (Si x tait x ngatif, il faudrait crire T = t + ). c L'impulsion suivante est mise l'instant t + t, alors que O' se trouve en x + x = x + Vt. O recevra cette impulsion en : x + Vt t + t + = T + T c V ce qui donne T = (1 + ) t. En ce qui concerne la frquence mise fe et la frquence reue fr, c inverse des priodes, on a : f fr = e (eq.1) V 1+ c Ainsi, si V > 0, autrement dit, si O' s'loigne, on a l'impression que, vues de O, les impulsions reues ont une frquence infrieure celle des impulsions mises par O'. S'il s'agit d'un son [Doppler], O recevra un son plus grave que celui mis par O' (cas d'une sirne d'ambulance qui s'loigne). S'il s'agit de lumire [Fizeau], celle-ci sera dcale vers le rouge dans le repre O par rapport la lumire mise dans le repre O' (dcalage vers le rouge des galaxies dans la thorie de l'expansion de l'Univers). Au contraire, si V < 0, autrement dit si O' se rapproche, la frquence est plus eleve. Le son est plus aigu. La lumire est dcale vers le bleu. u Considrons maitenant un signal mis par O et reu par O'. Si une impulsion est mise par O l'instant t alors que O' se trouve en x > 0, O' recevra cette impulsion l'instant T tel que : c(T t) = x + V(T t) condition pour laquelle le signal et O' se trouve au mme endroit et au mme instant T. On a donc : x T=t+ cV On aurait pu aussi considrer que le signal se dplace la vitesse c V dans le repre li O', ce qui conduit au mme rsultat. L'impulsion suivante est mise par O en t + t alors que la distance sparant O et O' est x + V t. Le signal est reu par O' en : x + V t T + T = t + t + cV V 1 ce qui donne T = (1 + ) t = t soit : cV V 1 c V fr = fe (1 ) (eq.2) c L'interprtation est que le dcalage de frquence sonore ou lumineuse est la mme que prcdemment. Les formules sont cependant diffrentes dans les deux cas, car le problme n'est pas symtrique. O est immobile dans le milieu dans lequel se propage le signal, et non O'. Effet Doppler en mcanique relativiste : Franchement, est-ce bien srieux de parler de mcanique relativiste ce niveau d'tude ? Tss ! Tss ! - 22 -

Les formules prcdentes sont vraies pour le son, mais fausses pour la lumire ou les ondes lectromagntiques. En effet, celles-ci se dplacent la vitesse c aussi bien dans le repre O que dans le repre O'. Cette constatation exprimentale a conduit la naissance de la thorie de la relativit restreinte. Pour expliquer mathmatiquement ce phnomne, il a fallu renoncer aux changements de repres utiliss prcdemment, renoncer la notion de simultanit des vnements dans des repres diffrents, et pour cela introduire un temps propre chaque repre (t pour O, t' pour O'). Les changements de repres utiliss sont donns dans le fichier FPLSVAR2.PDF du cours de deuxime anne mais ne seront pas utiles ici. Nous admettrons simplement deux consquences de ces changements de repres, la dilatation des temps et la contraction des longueurs. Un intervalle de temps t' observ par O' n'aura pas la mme dure pour O. Ce dernier le verra sous t' la forme t = . De mme, un intervalle de temps T observ par O sera vu par O' avec la V2 1 2 c T . La symtrie entre les deux observateurs est totale. Les deux formules dure T' = V2 1 2 c prcdentes ne sont pas contradictoires car les deux expriences sont diffrentes. Dans le premier cas, on observe par exemple une horloge immobile par rapport O' et mobile par rapport O ; dans le deuxime cas, on observe une horloge mobile par rapport O' mais immobile par rapport O. Chacun verra l'horloge de l'autre tourner plus lentement que la sienne. Ce phnomne ne doit pas paratre plus surprenant que le fait que deux voisins loigns habitant deux maisons identiques verront pourtant la maison de l'autre sous un angle de vision plus petit que la sienne propre. Quant la contraction des longueurs, elle s'exprime comme suit. Une rgle de longueur l' observe V2 par O' dans son repre sera vue par O avec la longueur l = l' 1 2 . De mme, une rgle de c V2 longueur L observe par O dans son repre sera vue par O' avec la longeur L' = L 1 2 . Si c les deux rgles sont identiques, cela signifie que chacun verra la rgle de l'autre plus courte que la sienne. L non plus, il n'y a pas de contradiction car, les deux expriences sont l aussi diffrentes. Dans le premier cas, O doit reprer l'endroit o se trouvent les deux extremits de la rgle de O' au mme instant t, alors que dans le second cas, c'est un instant donn t' que O' fait ses mesures. Or dire que deux vnements se font au mme instant t n'est pas quivalent dire qu'ils se font au mme instant t'. Observons maintenant comment sont modifies nos considrations sur l'effet Doppler : u Considrons une impulsion mise par O' priodiquement se propageant la vitesse c. Si une impulsion est mise par O' l'instant t' pour O' et t pour O, alors que O' se trouve en x > 0, O recevra cette impulsion l'instant : x T=t+ c L'impulsion suivante est mise par O' l'instant t' + t', mais du fait de la dilatation des temps, la deuxime impulsion est mise dans le repre O non pas aprs un intervalle t', mais aprs un t' intervalle t = . O' se trouve alors en x + x = x + Vt et O recevra cette impulsion en : 1 V2/c2

- 23 -

x + Vt = T + T c V 1+ c V ce qui donne T = (1 + ) t ou encore T = t' , soit : c V 1 c t + t + V c (eq.3) V 1+ c 1

fr = fe

L'interprtation est que le dcalage de frquence lumineuse est la mme que dans le cas classique, V2 mais la formule est lgrement diffrente. Elle diffre d'un terme en 2 par rapport la formule c classique. Les rles de O et O' tant ici parfaitement symtriques, la formule est analogue si c'est O qui met le signal. Le paradoxe des jumeaux Il est d'usage de prsenter ce paradoxe l'aide de jumeaux, l'un qui voyage pendant que l'autre reste sur Terre. Nous prfrons utiliser comme personnages le Livre et la Tortue . Pendant que la Tortue reste immobile, le Livre court la vitesse V sur une longueur L puis fait demi-tour pour revenir vers la Tortue. En relativit restreinte, on montre que la Tortue a vieilli davantage que le Livre. Cela est souvent prsent comme paradoxal car du point de vue du Livre, c'est la Tortue qui s'loigne puis qui revient. En fait, il n'y a pas symtrie entre les deux personnages car le Livre change de repre galilen en cours de trajet et pas la Tortue. Leur situation est donc diffrente, et effectivement, le temps s'coule diffremment pour l'un et pour l'autre. Bien videmment, cela est un effet relativiste et rien de tel n'apparat en mcanique classique. Nous supposerons que le Livre et la Tortue mettent tous deux chaque seconde une impulsion lumineuse. Cela permet chacun d'eux de mesurer le temps coul chez l'autre en comptant le nombre d'impulsions. Bien videmment, il faudra tenir compte de l'effet Doppler. Montrons d'abord que, dans le cas classique, le nombre d'impulsions mises par chacun des protagonistes est le mme. u Point de vue classique du Livre : le Livre atteint la borne en le temps Doppler, il reoit des impulsions de la Tortue la frquence 1 L . Compte tenu de l'effet V
y

V (eq.2). Le nombre d'impulsions c L V L reues est donc n1 = (1 ). Le Livre fait demi-tour et revient au dpart en le temps , mais les V c V V impulsions reues sont cette fois la frquence 1 + (V a chang de signe). Il reoit donc un c L V nombre d'impulsions n2 = (1 + ). Le nombre total d'impulsions mises par la Tortue et reue par V c L le Livre est donc n1 + n2 = 2 , qui n'est autre que le temps coul sur l'horloge de la Tortue. V

- 24 -

u Point de vue classique de la Tortue : la Tortue voit le Livre partir. Elle reoit de sa part des 1 impulsions la frquence (eq.1), jusqu' ce que le Livre fasse demi-tour. Mais la Tortue ne V 1+ c saura qu'il a fait demi-tour que lorsqu'elle recevra l'impulsion mise par le livre lorsqu'il atteint la L L L L 1 L borne. Cela se produit l'instant + et elle aura reu n1' = ( + ) = impulsions. Elle voit V c V c V V 1+ c L L alors le Livre courir pendant le temps restant , temps durant lequel il envoie la Tortue des V c L L 1 L 1 . Elle reoit donc n2' = ( ) = impulsions. impulsions qu'elle reoit la frquence V c V V V 1 1 c c L Le nombre d'impulsions mises par le Livre et reue par la Tortue est donc de 2 , temps mesur V L sur l'horloge du Livre. Dans les deux repres, le temps coul est de 2 V Voyons maintenant ce qu'il en est en mcanique relativiste. u Point de vue relativiste du Livre : Le Livre voit la borne situe une distance L de O et en V2 mouvement par rapport lui la distance L' = 1 2 L (contraction des longueurs du point de c L' V2 L vue de O') et l'atteint donc en le temps t' = = 1 2 . Il reoit des impulsions de la Tortue la V c V V V 1 1 2 c c V L L V . Il a donc reu n1 = 1 2 = (1 ) impulsions de la frquence V c V V V c 1+ 1+ c c V2 L tortue. Il fait demi-tour et revient au dpart en le mme temps 1 2 pendant lequel il reoit c V V 1+ 2 c L V L V 1 2 = (1 + ) impulsions. En effet, la frquence des impulsions reues n1 = V V c V c 1 c V 1+ c L est cette fois de . Le nombre d'impulsions mises par la tortue est donc 2 , gal au V V 1 c temps coul sur l'horloge de la Tortue. u Point de vue relativiste de la Tortue : La Tortue voit le Livre partir. Elle ne saura qu'il a fait demi-tour que lorsqu'elle recevra l'impulsion mise par le livre lorsqu'il atteint la borne. Cela se V 1 c L L , elle aura produit l'instant t = + . Recevant du Livre des impulsions la frquence V c V 1+ c - 25 -

L L reu n1' = ( + ) V c temps restant

V c L = V V 1+ c 1

V2 impulsions. Elle voit alors le livre courir pendant le c2

L L , temps durant lequel il envoie la tortue des impulsions qu'elle reoit la V c V V 1+ 1+ c c L L L V2 frquence . Elle en reoit donc n2' = ( ) soit n2 = 1 2 V V c V V c 1 1 c c L V2 impulsions. Le nombre d'impulsions mises par le Livre est donc de 2 1 2 . Pour la Tortue, V c ce nombre d'impulsions est gal au temps coul sur l'horloge du Livre. Le Livre a moins vieilli que la Tortue puisque le nombre d'impulsions qu'il a mises est infrieur au nombre d'impulsions mises par la Tortue.

- 26 -