23
1 Ensembles-Applications Exercice 1 : Soient = {1,2,3} et = {0,1,2,3}. Dรฉcrire les ensembles โˆฉ, โˆช et ร—. Allez ร  : Correction exercice 1 : Exercice 2 : Soient = [1,3] et = [2,4]. Dรฉterminer โˆฉ et โˆช. Allez ร  : Correction exercice 2 : Exercice 3 : 1. Dรฉterminer le complรฉmentaire dans โ„ des parties suivantes : 1 =] โˆ’ โˆž, 0]; 2 =] โˆ’ โˆž, 0[; 3 =]0, +โˆž[; 4 = [0, +โˆž[; 5 =]1,2[; 6 = [1,2[. 2. Soient =] โˆ’ โˆž, 1[โˆช]2, +โˆž[, =] โˆ’ โˆž, 1[ et = [2, +โˆž[. Comparer les ensembles suivants : โ„ โ„ โˆฉ โ„ Allez ร  : Correction exercice 3 : Exercice 4 : Soient =] โˆ’ โˆž, 3], =] โˆ’ 2,7] et =] โˆ’ 5, +โˆž[ trois parties de โ„. Dรฉterminer โˆฉ, โˆช, โˆฉ, โˆช, โ„โˆ–, โˆ–, (โ„ โˆ– ) โˆฉ (โ„ โˆ– ), (โ„ โˆ– ( โˆช ), ( โˆฉ ) โˆช ( โˆฉ ) et โˆฉ ( โˆช ). Allez ร  : Correction exercice 4 : Exercice 5 : Soient , et trois parties dโ€™un ensemble . Montrer que : 1. โˆช ( โˆฉ ) = ( โˆช ) โˆฉ ( โˆช ) 2. โˆฉ ( โˆช ) = ( โˆฉ ) โˆช ( โˆฉ ) Allez ร  : Correction exercice 5 : Exercice 6 : Soient un ensemble et et deux parties de . On suppose que : โˆฉ โ‰  โˆ…; โˆช โ‰  ; โŠˆ ; โŠˆ On pose 1 = โˆฉ ; 2 =โˆฉ ; 3 =โˆฉ ; 4 = ( โˆช ) 1. Montrer que 1 , 2 , 3 et 4 sont non vides. 2. Montrer que 1 , 2 , 3 et 4 sont deux ร  deux disjoints. 3. Montrer que 1 โˆช 2 โˆช 3 โˆช 4 =. Allez ร  : Correction exercice 6 : Exercice 7 : 1. Dรฉterminer le complรฉmentaire dans โ„ des parties suivantes : 1 =] โˆ’ โˆž, 0]; 2 =] โˆ’ โˆž, 0[; 3 =]0, +โˆž[; 4 = [0, +โˆž[; 5 =]1,2[; 6 = [1,2[. 2. Soient =] โˆ’ โˆž, 1[โˆช]2, +โˆž[, =] โˆ’ โˆž, 1[ et = [2, +โˆž[. Comparer les ensembles suivants : โ„ et โ„ โˆฉ โ„ Allez ร  : Correction exercice 7 : PROF: ATMANI NAJIB http:// abcmaths.e-monsite.com

Ensembles-Applications Exercice 1 - e-monsite

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Ensembles-Applications Exercice 1 - e-monsite

1

Ensembles-Applications

Exercice 1 :

Soient ๐ด = {1,2,3} et ๐ต = {0,1,2,3}. Dรฉcrire les ensembles ๐ด โˆฉ ๐ต, ๐ด โˆช ๐ต et ๐ด ร— ๐ต.

Allez ร  : Correction exercice 1 :

Exercice 2 :

Soient ๐ด = [1,3] et ๐ต = [2,4]. Dรฉterminer ๐ด โˆฉ ๐ต et ๐ด โˆช ๐ต.

Allez ร  : Correction exercice 2 :

Exercice 3 :

1. Dรฉterminer le complรฉmentaire dans โ„ des parties suivantes :

๐ด1 =] โˆ’ โˆž, 0]; ๐ด2 =] โˆ’ โˆž, 0[; ๐ด3 =]0, +โˆž[; ๐ด4 = [0, +โˆž[; ๐ด5 =]1,2[; ๐ด6 = [1,2[.

2. Soient ๐ด =] โˆ’ โˆž, 1[โˆช]2, +โˆž[, ๐ต =] โˆ’ โˆž, 1[ et ๐ถ = [2, +โˆž[. Comparer les ensembles suivants :

๐ถโ„๐ด ๐‘’๐‘ก ๐ถโ„๐ต โˆฉ ๐ถโ„๐ถ

Allez ร  : Correction exercice 3 :

Exercice 4 :

Soient ๐ด =] โˆ’ โˆž, 3], ๐ต =] โˆ’ 2,7] et ๐ถ =] โˆ’ 5, +โˆž[ trois parties de โ„.

Dรฉterminer ๐ด โˆฉ ๐ต, ๐ด โˆช ๐ต, ๐ต โˆฉ ๐ถ, ๐ต โˆช ๐ถ, โ„ โˆ– ๐ด, ๐ด โˆ– ๐ต, (โ„ โˆ– ๐ด) โˆฉ (โ„ โˆ– ๐ต), (โ„ โˆ– (๐ด โˆช ๐ต), (๐ด โˆฉ ๐ต) โˆช

(๐ด โˆฉ ๐ถ) et ๐ด โˆฉ (๐ต โˆช ๐ถ).

Allez ร  : Correction exercice 4 :

Exercice 5 :

Soient ๐ด, ๐ต et ๐ถ trois parties dโ€™un ensemble ๐ธ. Montrer que :

1. ๐ด โˆช (๐ต โˆฉ ๐ถ) = (๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ถ)

2. ๐ด โˆฉ (๐ต โˆช ๐ถ) = (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ)

Allez ร  : Correction exercice 5 :

Exercice 6 :

Soient ๐ธ un ensemble et ๐ด et ๐ต deux parties de ๐ธ. On suppose que :

๐ด โˆฉ ๐ต โ‰  โˆ…; ๐ด โˆช ๐ต โ‰  ๐ธ; ๐ด โŠˆ ๐ต; ๐ต โŠˆ ๐ด

On pose

๐ด1 = ๐ด โˆฉ ๐ต; ๐ด2 = ๐ด โˆฉ ๐ถ๐ธ๐ต; ๐ด3 = ๐ต โˆฉ ๐ถ๐ธ๐ด; ๐ด4 = ๐ถ๐ธ(๐ด โˆช ๐ต)

1. Montrer que ๐ด1, ๐ด2, ๐ด3 et ๐ด4 sont non vides.

2. Montrer que ๐ด1, ๐ด2, ๐ด3 et ๐ด4 sont deux ร  deux disjoints.

3. Montrer que ๐ด1 โˆช ๐ด2 โˆช ๐ด3 โˆช ๐ด4 = ๐ธ.

Allez ร  : Correction exercice 6 :

Exercice 7 :

1. Dรฉterminer le complรฉmentaire dans โ„ des parties suivantes :

๐ด1 =] โˆ’ โˆž, 0]; ๐ด2 =] โˆ’ โˆž, 0[; ๐ด3 =]0, +โˆž[; ๐ด4 = [0, +โˆž[; ๐ด5 =]1,2[; ๐ด6 = [1,2[.

2. Soient ๐ด =] โˆ’ โˆž, 1[โˆช]2, +โˆž[, ๐ต =] โˆ’ โˆž, 1[ et ๐ถ = [2, +โˆž[. Comparer les ensembles suivants :

๐ถโ„๐ด et ๐ถโ„๐ต โˆฉ ๐ถโ„๐ถ

Allez ร  : Correction exercice 7 :

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 2: Ensembles-Applications Exercice 1 - e-monsite

2

Exercice 8 :

Justifier les รฉnoncรฉs suivants.

a) Soient ๐ธ un ensemble, ๐ด et ๐ต deux sous-ensembles de ๐ธ. Si ๐ด est inclus dans ๐ต, alors le

complรฉmentaire de ๐ต dans ๐ธ est inclus dans le complรฉmentaire de ๐ด dans ๐ธ.

b) Soient ๐ธ un ensemble, ๐ด et ๐ต deux sous-ensembles de ๐ธ. Si ๐ด et ๐ต sont disjoints, alors tout รฉlรฉment

de ๐ธ est soit dans ๐ถ๐ธ๐ด soit dans ๐ถ๐ธ

๐ต.

c) Soient ๐ธ un ensemble, ๐ด un sous-ensemble de ๐ธ. Dรฉterminer les ensembles suivants :

๐ถ๐ธ(๐ถ๐ธ๐ด) ; ๐ด โˆฉ ๐ถ๐ธ๐ด ; ๐ด โˆช ๐ถ๐ธ๐ด ; ๐ถ๐ธโˆ… ; ๐ถ๐ธ๐ธ

Allez ร  : Correction exercice 8 :

Exercice 9 :

1. Montrer que (๐ด โˆ– ๐ต) โˆ– ๐ถ = ๐ด โˆ– (๐ต โˆช ๐ถ)

2. Montrer que (๐ด โˆ– ๐ต) โˆฉ (๐ถ โˆ– ๐ท) = (๐ด โˆฉ ๐ถ) โˆ– (๐ต โˆช ๐ท)

Allez ร  : Correction exercice 9 :

Exercice 10 :

On rappelle que lโ€™on note

๐ดฮ”๐ต = (๐ด โˆ– ๐ต) โˆช (๐ต โˆ– ๐ด)

1. Montrer que

(๐ด โˆฉ ๐ต) โˆฉ (๐ด โˆฉ ๐ถ) = ๐ด โˆฉ ๐ต โˆฉ ๐ถ

(๐ด โˆฉ ๐ถ) โˆฉ (๐ด โˆฉ ๐ต) = ๐ด โˆฉ ๐ถ โˆฉ ๐ต

2. En dรฉduire que

(๐ด โˆฉ ๐ต)ฮ”(๐ด โˆฉ ๐ถ) = ๐ด โˆฉ (๐ตฮ”๐ถ)

Allez ร  : Correction exercice 10 :

Exercice 11 :

On rappelle que pour toutes parties ๐‘ˆ et ๐‘‰ dโ€™un ensemble ๐ธ, on note

๐‘ˆฮ”๐‘‰ = (๐‘ˆ โˆ– ๐‘‰) โˆช (๐‘‰ โˆ– ๐‘ˆ)

1. Montrer que pour toutes parties ๐ด, ๐ต et ๐ถ dโ€™un ensemble ๐ธ.

(๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ถ) = ๐ด โˆฉ ๐ต โˆฉ ๐ถ

(๐ด โˆช ๐ถ) โˆฉ (๐ด โˆช ๐ต) = ๐ด โˆฉ ๐ถ โˆฉ ๐ต

2. En dรฉduire que

(๐ด โˆช ๐ต)ฮ”(๐ด โˆช ๐ถ) = ๐ด โˆฉ (๐ตฮ”๐ถ)

Allez ร  : Correction exercice 11 :

Exercice 12 :

Soient ๐ด, ๐ต et ๐ถ trois parties dโ€™un ensemble ๐ธ.

1. Que pensez-vous de lโ€™implication

๐ด โˆช ๐ต โŠˆ ๐ถ โ‡’ (๐ด โŠˆ ๐ถ ou ๐ต โŠˆ ๐ถ) ?

Justifiez (on pourra utiliser la contraposรฉe).

2. On suppose que lโ€™on a les inclusions suivantes : ๐ด โˆช ๐ต โŠ‚ ๐ด โˆช ๐ถ et ๐ด โˆฉ ๐ต โŠ‚ ๐ด โˆฉ ๐ถ. Montrer que

๐ต โŠ‚ ๐ถ.

3.

Allez ร  : Correction exercice 12 :

Exercice 13 :

Soient ๐ด et ๐ต deux parties dโ€™un ensemble ๐ธ . Dรฉmontrer les รฉgalitรฉs suivantes :

1. ๐ถ๐ธ(๐ด โˆฉ ๐ต) = ๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 3: Ensembles-Applications Exercice 1 - e-monsite

3

2. ๐ถ๐ธ(๐ด โˆช ๐ต) = ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต

Si ๐ด โŠ‚ ๐ต, montrer ๐ถ๐ธ๐ต โŠ‚ ๐ถ๐ธ๐ด

Allez ร  : Correction exercice 13 :

Exercice 14 :

Soit ๐ธ un ensemble et ๐น et ๐บ deux parties de ๐ธ. Dรฉmontrer que :

1. ๐น โŠ‚ ๐บ โ‡” ๐น โˆช ๐บ = ๐บ

2. ๐น โŠ‚ ๐บ โ‡” ๐น โˆฉ ๐ถ๐ธ๐บ = โˆ…

Allez ร  : Correction exercice 14 :

Exercice 15 :

Soit ๐ธ un ensemble et soit ๐’ซ(๐ธ) lโ€™ensemble des parties de ๐ธ. Pour ๐ด et ๐ต dans ๐’ซ(๐ธ), on appelle

diffรฉrence symรฉtrique de ๐ด par ๐ต lโ€™ensemble, notรฉ ๐ดฮ”๐ต dรฉfini par :

๐ดฮ”๐ต = (๐ด โˆช ๐ต) โˆ– (๐ด โˆฉ ๐ต)

1. Montrer que ๐ดฮ”๐ต = (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด) = (๐ด โˆ– ๐ต) โˆช (๐ต โˆ– ๐ด).

2. Calculer ๐ดฮ”๐ด, ๐ดฮ”โˆ… et ๐ดฮ”๐ธ.

3. Montrer que pour tous ๐ด, ๐ต et ๐ถ dans ๐’ซ(๐ธ), on a :

a) Montrer que : (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด) = (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด)

b) Montrer que : (๐ดฮ”๐ต)ฮ”๐ถ = (๐ด โˆฉ ๐ต โˆฉ ๐ถ) โˆช (๐ต โˆฉ ๐ด โˆฉ ๐ถ) โˆช (๐ถ โˆฉ ๐ด โˆฉ ๐ต) โˆช (๐ถ โˆฉ ๐ต โˆฉ ๐ด)

c) Montrer que ๐ดฮ”(๐ตฮ”๐ถ) = (๐ถ๐›ฅ๐ต)๐›ฅ๐ด

d) A lโ€™aide du b), montrer que (๐ด๐›ฅ๐ต)๐›ฅ๐ถ = (๐ถ๐›ฅ๐ต)๐›ฅ๐ด,

e) En dรฉduire que : (๐ดฮ”๐ต)ฮ”๐ถ = ๐ดฮ”(๐ตฮ”๐ถ)

Allez ร  : Correction exercice 15 :

Exercice 16 :

Soit ๐‘“: ๐ผ โ†’ ๐ฝ dรฉfinie par ๐‘“(๐‘ฅ) = ๐‘ฅ2

1. Donner des ensembles ๐ผ et ๐ฝ tels que ๐‘“ soit injective mais pas surjective.

2. Donner des ensembles ๐ผ et ๐ฝ tels que ๐‘“ soit surjective mais pas injective.

3. Donner des ensembles ๐ผ et ๐ฝ tels que ๐‘“ soit ni injective ni surjective.

4. Donner des ensembles ๐ผ et ๐ฝ tels que ๐‘“ soit injective et surjective.

Allez ร  : Correction exercice 16 :

Exercice 17 :

Dire (en justifiant) pour chacune des applications suivantes si elles sont injectives, surjectives,

bijectives :

๐‘“: โ„ โ†’ โ„

๐‘ฅ โ†ฆ ๐‘ฅ2

๐‘“: โ„+ โ†’ โ„+

๐‘ฅ โ†ฆ ๐‘ฅ2

๐‘“: [0,1] โ†’ [0,2]

๐‘ฅ โ†ฆ ๐‘ฅ2

๐‘”: โ„ โ†’ โ„

๐‘ฅ โ†ฆ ๐‘ฅ + ๐‘ฅ3 โ„Ž: โ„ โ†’ โ„

๐‘ฅ โ†ฆ ๐‘ฅ2 + ๐‘ฅ3 ๐‘˜: โ„ โ†’ โ„

๐‘ฅ โ†ฆ ๐‘ฅ + ๐‘ฅ4

Allez ร  : Correction exercice 17 :

Exercice 18 :

Soit ๐ผ โŠ‚ โ„ et ๐ฝ โŠ‚ โ„, deux intervalles de โ„. Soit ๐‘“: ๐ผ โ†’ ๐ฝ une fonction strictement croissante.

1. Montrer que ๐‘“ est injective.

On pourra montrer la contraposรฉe (et on rappelle que ๐‘ฅ1 โ‰  ๐‘ฅ2 รฉquivaut ร  ๐‘ฅ1 < ๐‘ฅ2 ou ๐‘ฅ2 < ๐‘ฅ1)

2. Dรฉterminer lโ€™ensemble ๐พ tel que ๐‘“: ๐ผ โ†’ ๐พ soit bijective.

Allez ร  : Correction exercice 18 :

Exercice 19 :

Soit ๐‘“: โ„•2 โ†’ โ„• dรฉfinie pour tout (๐‘›, ๐‘š) โˆˆ โ„•2 par ๐‘“(๐‘›, ๐‘š) = ๐‘š๐‘›

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 4: Ensembles-Applications Exercice 1 - e-monsite

4

Soit ๐‘”: โ„• โ†’ โ„•2 dรฉfinie pour tout ๐‘› โˆˆ โ„• par ๐‘”(๐‘›) = (๐‘›, (๐‘› + 1)2)

1. ๐‘“ est-elle injective ?

2. ๐‘“ est-elle surjective ?

3. ๐‘” est-elle injective ?

4. ๐‘” est-elle surjective ?

Allez ร  : Correction exercice 19 :

Exercice 20 :

Soient

๐‘“: โ„• โ†’ โ„•๐‘› โ†ฆ 2๐‘›

๐‘”: โ„• โ†’ โ„•

๐‘› โ†ฆ ๐ธ (๐‘›

2)

Oรน ๐ธ(๐‘ฅ) dรฉsigne la partie entiรจre de ๐‘ฅ

Les fonctions sont-elles injectives, surjective ? Comparer ๐‘“ โˆ˜ ๐‘” et ๐‘” โˆ˜ ๐‘“.

Allez ร  : Correction exercice 20 :

Exercice 21 :

Soit ๐‘“ une application de ๐ธ vers ๐ธ telle que :

๐‘“(๐‘“(๐ธ)) = ๐ธ

Montrer que ๐‘“ est surjective.

Allez ร  : Correction exercice 21 :

Exercice 22 :

On considรจre lโ€™application ๐‘“: โ„• โ†’ โ„• dรฉfinie pour tout ๐‘› โˆˆ โ„• par ๐‘“(๐‘›) = ๐‘›2

1. Existe-t-il ๐‘”: โ„• โ†’ โ„• telle que :๐‘“ โˆ˜ ๐‘” = ๐ผ๐‘‘โ„• ?

2. Existe-t-il โ„Ž: โ„• โ†’ โ„• telle que :โ„Ž โˆ˜ ๐‘“ = ๐ผ๐‘‘โ„• ?

Allez ร  : Correction exercice 22 :

Exercice 23 :

Soit ๐‘“: โ„ค โ†’ โ„ค dรฉfinie par ๐‘“(๐‘›) = 2๐‘›

1. Existe-t-il une fonction ๐‘”: โ„ค โ†’ โ„ค telle que ๐‘“ โˆ˜ ๐‘” = ๐ผ๐‘‘โ„ค ?

2. Existe-t-il une fonction โ„Ž: โ„ค โ†’ โ„ค telle que โ„Ž โˆ˜ ๐‘“ = ๐ผ๐‘‘โ„ค ?

Allez ร  : Correction exercice 23 :

Exercice 24 :

Soit ๐‘“: ๐ธ โ†’ ๐น une application, oรน ๐ถ๐‘Ž๐‘Ÿ๐‘‘(๐ธ) = ๐ถ๐‘Ž๐‘Ÿ๐‘‘(๐น)

Montrer que les trois propriรฉtรฉs suivantes sont รฉquivalentes

(i) ๐‘“ est injective

(ii) ๐‘“ est surjective

(iii) ๐‘“ est bijective

Allez ร  : Correction exercice 24 :

Exercice 25 :

Rรฉpondre aux questions qui suivent, en justifiant, le cas รฉchรฉant, votre rรฉponse par un bref argument, un

calcul ou un contre-exemple.

1. Si les applications ๐‘ข: โ„• โ†’ โ„ค et ๐‘ฃ: โ„ค โ†’ โ„• sont bijectives, alors lโ€™application ๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข: โ„• โ†’ โ„ค est

aussi bijective. Vrai ou Faux, justifier.

2. Lโ€™application ๐‘“: โ„•3 โ†’ โ„•: (๐‘Ž, ๐‘, ๐‘) โ†ฆ 2๐‘Ž3๐‘5๐‘ est une application

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 5: Ensembles-Applications Exercice 1 - e-monsite

5

(i) bijective (ii) injective et pas surjective (iii) surjective et pas injective (iv) ni surjective ni

injective

Justifier.

3. Soit ๐‘› โˆˆ โ„• โˆ– {0,1}. Lโ€™application ๐œ‘: โ„ค โ†’ โ„• qui ร  lโ€™entier ๐‘™ โˆˆ โ„ค associe le reste de la division

euclidienne de ๐‘™ par ๐‘› est une application.

4. bijective (ii) injective et pas surjective (iii) surjective et pas injective (iv) ni surjective ni

injective

Justifier.

5. Soient ๐‘Ž, ๐‘, ๐‘, ๐‘‘ โˆˆ โ„ค tels que ๐‘Ž๐‘‘ โˆ’ ๐‘๐‘ = 1. Dรฉterminer lโ€™application rรฉciproque de la bijection

๐‘“: โ„ค2 โ†’ โ„ค2

(๐‘ข, ๐‘ฃ) โ†ฆ (๐‘Ž๐‘ข + ๐‘๐‘ฃ + 1, ๐‘๐‘ข + ๐‘‘๐‘ฃ โˆ’ 1)

Allez ร  : Correction exercice 25 :

Exercice 26 :

1. Soient ๐‘ž1 โˆˆ โ„• โˆ– {0,1} et ๐‘ž2 โˆˆ โ„• โˆ– {0,1}

Montrer que :

โˆ’1

2<

1

๐‘ž1โˆ’

1

๐‘ž2<

1

2

2. Soit ๐‘“: โ„ค ร— โ„• โˆ– {0,1} โ†’ โ„š lโ€™application dรฉfinie par :

๐‘“(๐‘, ๐‘ž) = ๐‘ +1

๐‘ž

a. Montrer que ๐‘“ est injective ?

b. ๐‘“ est-elle surjective ?

Allez ร  : Correction exercice 26 :

Exercice 27 :

Soit ๐’ซ(๐ธ) lโ€™ensemble des parties de ๐ธ. Montrer quโ€™il nโ€™existe pas dโ€™application surjective ๐‘“: ๐ธ โ†’ ๐’ซ(๐ธ).

Considรฉrer la partie ๐ด = {๐‘ฅ โˆˆ ๐ธ, ๐‘ฅ โˆ‰ ๐‘“(๐‘ฅ)}.

Allez ร  : Correction exercice 27 :

Exercice 28 :

Pour un entier ๐‘› โˆˆ โ„• on dรฉsigne par ๐ผ๐‘› lโ€™ensemble {1,2, โ€ฆ , ๐‘›}.

1. On suppose ๐‘› โ‰ฅ 2. Combien y-a-t-il dโ€™application injectives ๐‘“: ๐ผ2 โ†’ ๐ผ๐‘› ?

2. A quelle condition portant sur les entiers ๐‘š et ๐‘› peut-on dรฉfinir une application ๐‘“: ๐ผ๐‘š โ†’ ๐ผ๐‘› qui soit

injective, surjective, bijective ?

Allez ร  : Correction exercice 28 :

Exercice 29 :

Soient ๐ธ, ๐น et ๐บ trois ensemble et soient ๐‘“: ๐ธ โ†’ ๐น et ๐‘”: ๐น โ†’ ๐บ deux applications.

1. Montrer que si ๐‘“ et ๐‘” sont injectives alors ๐‘” โˆ˜ ๐‘“ est injective.

2. Montrer que si ๐‘“ et ๐‘” sont surjectives alors ๐‘” โˆ˜ ๐‘“ est surjective.

3. Que peut-on conclure sur ๐‘” โˆ˜ ๐‘“ si ๐‘“ et ๐‘” sont bijectives ?

4. Montrer que si ๐‘” โˆ˜ ๐‘“ est injective alors ๐‘“ est injective.

5. Montrer que si ๐‘” โˆ˜ ๐‘“ est surjective alors ๐‘” est surjective.

6. Si ร  prรฉsent ๐‘“: ๐ธ โ†’ ๐น et ๐‘”: ๐น โ†’ ๐ธ, dรฉduire de ce qui prรฉcรจde ce que lโ€™on peut dire dans les cas

suivants :

a. ๐‘” โˆ˜ ๐‘“ = ๐ผ๐‘‘๐ธ

b. ๐‘“ โˆ˜ ๐‘” = ๐ผ๐‘‘๐น

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 6: Ensembles-Applications Exercice 1 - e-monsite

6

c. ๐‘“ โˆ˜ ๐‘“ = ๐ผ๐‘‘๐ธ

Allez ร  : Correction exercice 29 :

Exercice 30 :

Soient ๐‘‹ et ๐‘Œ deux ensembles non vides et ๐‘“ une application de ๐‘‹ dans ๐‘Œ. Une application ๐‘ , de ๐‘Œ dans

๐‘‹, telle que ๐‘“ โˆ˜ ๐‘  = ๐ผ๐‘‘๐‘Œ sโ€™appelle une section de ๐‘“.

1. Montrer que si ๐‘“ admet au moins une section alors ๐‘“ est surjective.

2. Montrer que toute section de ๐‘“ est injective.

Une application ๐‘Ÿ, de ๐‘Œ dans ๐‘‹, telle que ๐‘Ÿ โˆ˜ ๐‘“ = ๐ผ๐‘‘๐‘‹ sโ€™appelle une rรฉtraction de ๐‘“.

3. Montrer que si ๐‘“ possรจde une rรฉtraction alors ๐‘“ est injective.

4. Montrer que si ๐‘“ est injective alors ๐‘“ possรจde une rรฉtraction.

5. Montrer que toute rรฉtraction de ๐‘“ est surjective.

6. En dรฉduire que si ๐‘“ possรจde ร  la fois une section ๐‘  et une rรฉtraction ๐‘Ÿ, alors ๐‘“ est bijective et lโ€™on a :

๐‘Ÿ = ๐‘ (= ๐‘“โˆ’1 par consรฉquent).

Allez ร  : Correction exercice 30 :

Exercice 31 :

Soient ๐ธ et ๐น deux ensembles et soit ๐‘“ une application de ๐ธ dans ๐น. Soient ๐ด et ๐ต deux parties de ๐ธ,

montrer que :

1. ๐‘“(๐ด โˆช ๐ต) = ๐‘“(๐ด) โˆช ๐‘“(๐ต)

2. ๐‘“(๐ด โˆฉ ๐ต) โŠ‚ ๐‘“(๐ด) โˆฉ ๐‘“(๐ต)

Donner un exemple oรน cette derniรจre inclusion est stricte. Montrer alors que ๐‘“ est injective si et

seulement si pour toute partie ๐ด de ๐ธ et pour toute partie ๐ต de ๐ธ, on a ๐‘“(๐ด โˆฉ ๐ต) = ๐‘“(๐ด) โˆฉ ๐‘“(๐ต).

Allez ร  : Correction exercice 31 :

Exercice 32 :

1. Soit ๐‘“ lโ€™application de lโ€™ensemble {1,2,3,4} dans lui-mรชme dรฉfinie par :

๐‘“(1) = 4, ๐‘“(2) = 1 , ๐‘“(3) = 2, ๐‘“(4) = 2.

Dรฉterminer ๐‘“โˆ’1(๐ด) lorsque ๐ด = {2}, ๐ด = {1,2}, ๐ด = {3}.

2. Soit ๐‘“ lโ€™application de โ„ dans โ„ dรฉfinie par ๐‘“(๐‘ฅ) = ๐‘ฅ2. Dรฉterminer ๐‘“โˆ’1(๐ด) lorsque ๐ด = {1},

๐ด = [1,2].

Allez ร  : Correction exercice 32 :

Exercice 33 :

1. Soit ๐‘“: โ„2 โ†’ โ„ dรฉfinie par ๐‘“(๐‘ฅ, ๐‘ฆ) = ๐‘ฅ. Dรฉterminer ๐‘“([0,1] ร— [0,1]), ๐‘“โˆ’1([โˆ’1,1]).

2. Soit ๐‘“: โ„ โ†’ [โˆ’1,1] dรฉfinie par ๐‘“(๐‘ฅ) = cos(๐œ‹๐‘ฅ), dรฉterminer ๐‘“(โ„•), ๐‘“(2โ„•), ๐‘“โˆ’1({ยฑ1}).

Allez ร  : Correction exercice 33 :

Exercice 34 :

Soient ๐ธ et ๐น deux ensembles et soit ๐‘“ une application de ๐ธ dans ๐น. Soient ๐ดโ€ฒ et ๐ตโ€ฒ deux parties

quelconques de ๐น, non vides. Montrer que :

1. ๐‘“โˆ’1(๐ดโ€ฒ โˆช ๐ตโ€ฒ) = ๐‘“โˆ’1(๐ดโ€ฒ) โˆช ๐‘“โˆ’1(๐ตโ€ฒ)

2. ๐‘“โˆ’1(๐ดโ€ฒ โˆฉ ๐ตโ€ฒ) = ๐‘“โˆ’1(๐ดโ€ฒ) โˆฉ ๐‘“โˆ’1(๐ตโ€ฒ)

Allez ร  : Correction exercice 34 :

Exercice 35 :

Soient ๐ธ et ๐น deux ensembles et soit ๐‘“ une application de ๐ธ dans ๐น .

1. Montrer que pour toute partie ๐ด de ๐ธ, on a ๐ด โŠ‚ ๐‘“โˆ’1(๐‘“(๐ด)).

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 7: Ensembles-Applications Exercice 1 - e-monsite

7

2. Montrer que pour toute partie ๐ต de ๐น, on a ๐‘“(๐‘“โˆ’1(๐ต)) โŠ‚ ๐ต.

3. Montrer que ๐‘“ est injective si et seulement si pour toute partie ๐ด de ๐ธ on a ๐ด = ๐‘“โˆ’1(๐‘“(๐ด)).

4. Montrer que ๐‘“ est surjective si et seulement si pour toute partie ๐ต de ๐น on a ๐‘“(๐‘“โˆ’1(๐ต)) = ๐ต.

Allez ร  : Correction exercice 35 :

Exercice 36 :

Soit ๐ท = {(๐‘ฅ, ๐‘ฆ) โˆˆ โ„2, โˆ’๐‘ฆ โ‰ค ๐‘ฅ โ‰ค ๐‘ฆ}

Soit ๐‘“: ๐ท โ†’ โ„ ร— โ„ dรฉfinie par ๐‘“(๐‘ฅ, ๐‘ฆ) = (๐‘ฅ2 + ๐‘ฆ2, 2๐‘ฅ๐‘ฆ)

1. Reprรฉsenter ๐ท dans le plan.

2. a. Montrer que si deux couples de rรฉels (๐‘ฅ1, ๐‘ฆ1) et (๐‘ฅ2, ๐‘ฆ2) vรฉrifient

{๐‘ฅ1 + ๐‘ฆ1 = ๐‘ฅ2 + ๐‘ฆ2

๐‘ฅ1 โˆ’ ๐‘ฆ1 = ๐‘ฅ2 โˆ’ ๐‘ฆ2

Alors (๐‘ฅ1, ๐‘ฆ1) = (๐‘ฅ2, ๐‘ฆ2) (autrement dit ๐‘ฅ1 = ๐‘ฅ2 et ๐‘ฆ1 = ๐‘ฆ2).

b. Montrer que ๐‘“ est injective, on pourra se ramener au systรจme du 2.a..

3. Est-ce que ๐‘“ est surjective ?

Allez ร  : Correction exercice 36 :

CORRECTIONS

Correction exercice 1 :

๐ด โˆฉ ๐ต = {1,2,3} ; ๐ด โˆช ๐ต = {0,1,2,3}

Remarque :

Comme ๐ด โŠ‚ ๐ต on a ๐ด โˆฉ ๐ต = ๐ด et ๐ด โˆช ๐ต = ๐ต

๐ด ร— ๐ต = {(1,0), (1,1), (1,2), (1,3), (2,0), (2,1), (2,2), (2,3), (3,0), (3,1), (3,2), (3,3)

Remarque :

Card(๐ด ร— ๐ต) = Card(๐ด) ร— Card(๐ต) = 3 ร— 4 = 12

Allez ร  : Exercice 1 :

Correction exercice 2 :

๐ด โˆฉ ๐ต = [2,3] ; ๐ด โˆช ๐ต = [1,4]

Allez ร  : Exercice 2 :

Correction exercice 3 :

1.

๐ถโ„๐ด1 =]0, +โˆž[ ; ๐ถโ„๐ด2 = [0, +โˆž[ ; ๐ถโ„๐ด3 =] โˆ’ โˆž, 0] ; ๐ถโ„๐ด4 =] โˆ’ โˆž, 0[;

๐ถโ„๐ด5 =] โˆ’ โˆž, 1] โˆช [2, +โˆž[; ๐ถโ„๐ด6 =] โˆ’ โˆž, 1[โˆช [2, +โˆž[

2.

๐ถโ„๐ด = [1,2]; ๐ถโ„๐ต โˆฉ ๐ถโ„๐ถ = [1, +โˆž[โˆฉ]2, +โˆž[= [1,2]

Remarque :

๐ถโ„๐ต โˆฉ ๐ถโ„๐ถ = ๐ถโ„(๐ต โˆช ๐ถ) = ๐ถโ„๐ด

Allez ร  : Exercice 3 :

Correction exercice 4 :

๐ด โˆฉ ๐ต =] โˆ’ 2,3]

๐ด โˆช ๐ต =] โˆ’ โˆž, 7]

๐ต โˆฉ ๐ถ =] โˆ’ 2,7]

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 8: Ensembles-Applications Exercice 1 - e-monsite

8

๐ต โˆช ๐ถ =] โˆ’ 5, +โˆž[

โ„ โˆ– ๐ด =]3, +โˆž[

๐ด โˆ– ๐ต =] โˆ’ โˆž, โˆ’2]

(โ„ โˆ– ๐ด) โˆฉ (โ„ โˆ– ๐ต) =]3, +โˆž[โˆฉ (] โˆ’ โˆž, โˆ’2] โˆช]7, +โˆž[) = (]3, +โˆž[โˆฉ] โˆ’ โˆž, โˆ’2]) โˆช (]3, +โˆž[โˆฉ]7, +โˆž[)

= โˆ… โˆช]7, +โˆž[=]7, +โˆž[

Ou mieux

(โ„ โˆ– ๐ด) โˆฉ (โ„ โˆ– ๐ต) = โ„ โˆ– (๐ด โˆช ๐ต) =]7, +โˆž[

(โ„ โˆ– (๐ด โˆช ๐ต) =]7, +โˆž[

(๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ) =] โˆ’ 2,3] โˆช] โˆ’ 5,3] =] โˆ’ 5,3]

Ou

(๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ) = ๐ด โˆฉ (๐ต โˆช ๐ถ) =] โˆ’ โˆž, 3] โˆฉ] โˆ’ 5, +โˆž[=] โˆ’ 5,3]

๐ด โˆฉ (๐ต โˆช ๐ถ) =] โˆ’ โˆž, 3] โˆฉ] โˆ’ 5, +โˆž[=] โˆ’ 5,3]

Allez ร  : Exercice 4 :

Correction exercice 5 :

Il sโ€™agit de rรฉsultats du cours que lโ€™on peut utiliser sans dรฉmonstration mais cet exercice demande de les

redรฉmontrer.

1. Si ๐‘ฅ โˆˆ ๐ด โˆช (๐ต โˆฉ ๐ถ)

Alors (๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ (๐ต โˆฉ ๐ถ))

Alors (๐‘ฅ โˆˆ ๐ด ou (๐‘ฅ โˆˆ ๐ต et ๐‘ฅ โˆˆ ๐ถ))

Si ๐‘ฅ โˆˆ ๐ด alors ๐‘ฅ โˆˆ ๐ด โˆช ๐ต et ๐‘ฅ โˆˆ ๐ด โˆช ๐ถ, par consรฉquent ๐‘ฅ โˆˆ (๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ถ).

Si (๐‘ฅ โˆˆ ๐ต et ๐‘ฅ โˆˆ ๐ถ) alors (๐‘ฅ โˆˆ ๐ด โˆช ๐ต et ๐‘ฅ โˆˆ ๐ด โˆช ๐ถ)

Donc si (๐‘ฅ โˆˆ ๐ด ou (๐‘ฅ โˆˆ ๐ต et ๐‘ฅ โˆˆ ๐ถ)) alors (๐‘ฅ โˆˆ ๐ด โˆช ๐ต et ๐‘ฅ โˆˆ ๐ด โˆช ๐ถ)

On a montrรฉ que ๐ด โˆช (๐ต โˆฉ ๐ถ) โŠ‚ (๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ถ)

Si ๐‘ฅ โˆˆ (๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ถ) alors (๐‘ฅ โˆˆ ๐ด โˆช ๐ต et ๐‘ฅ โˆˆ ๐ด โˆช ๐ถ).

(๐‘ฅ โˆˆ ๐ด โˆช ๐ต et ๐‘ฅ โˆˆ ๐ด โˆช ๐ถ) โ‡” ((๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ต) et (๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ถ))

Si (๐‘ฅ โˆˆ ๐ด et (๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ถ)) alors ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ด ou ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ถ

Si (๐‘ฅ โˆˆ ๐ต et (๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ถ)) alors ๐‘ฅ โˆˆ ๐ต โˆฉ ๐ด ou ๐‘ฅ โˆˆ ๐ต โˆฉ ๐ถ

Alors ๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ถ ou ๐‘ฅ โˆˆ ๐ต โˆฉ ๐ด ou ๐‘ฅ โˆˆ ๐ต โˆฉ ๐ถ

Alors ๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ถ โŠ‚ ๐ด ou ๐‘ฅ โˆˆ ๐ต โˆฉ ๐ด โŠ‚ ๐ด ou ๐‘ฅ โˆˆ ๐ต โˆฉ ๐ถ

Alors ๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ต โˆฉ ๐ถ

Alors ๐‘ฅ โˆˆ ๐ด โˆช (๐ต โˆฉ ๐ถ)

On a montrรฉ que (๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ถ) โŠ‚ ๐ด โˆช (๐ต โˆฉ ๐ถ)

Finalement ๐ด โˆช (๐ต โˆฉ ๐ถ) = (๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ถ)

2. Si ๐‘ฅ โˆˆ ๐ด โˆฉ (๐ต โˆช ๐ถ)

Alors (๐‘ฅ โˆˆ ๐ด et ๐‘ฅ โˆˆ ๐ต โˆช ๐ถ)

Alors (๐‘ฅ โˆˆ ๐ด et (๐‘ฅ โˆˆ ๐ต ou ๐‘ฅ โˆˆ ๐ถ))

Alors (๐‘ฅ โˆˆ ๐ด et ๐‘ฅ โˆˆ ๐ต) ou (๐‘ฅ โˆˆ ๐ด et ๐‘ฅ โˆˆ ๐ถ)

Alors ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ต ou ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ถ

Alors ๐‘ฅ โˆˆ (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ)

On a montrรฉ que ๐ด โˆฉ (๐ต โˆช ๐ถ) โŠ‚ (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ)

Si ๐‘ฅ โˆˆ (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ)

Alors ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ต ou ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ถ

Alors (๐‘ฅ โˆˆ ๐ด et ๐‘ฅ โˆˆ ๐ต) ou (๐‘ฅ โˆˆ ๐ด et ๐‘ฅ โˆˆ ๐ถ)

Alors (๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ด) et (๐‘ฅ โˆˆ ๐ด ou ๐‘ฅ โˆˆ ๐ถ) et (๐‘ฅ โˆˆ ๐ต ou ๐‘ฅ โˆˆ ๐ด) et (๐‘ฅ โˆˆ ๐ต ou ๐‘ฅ โˆˆ ๐ถ)

Alors ๐‘ฅ โˆˆ ๐ด et ๐‘ฅ โˆˆ ๐ด โˆช ๐ถ et ๐‘ฅ โˆˆ ๐ต โˆช ๐ด et ๐‘ฅ โˆˆ ๐ต โˆช ๐ถ

Comme ๐‘ฅ โˆˆ ๐ด et ๐‘ฅ โˆˆ ๐ด โˆช ๐ถ et ๐‘ฅ โˆˆ ๐ต โˆช ๐ด entraine que ๐‘ฅ โˆˆ ๐ด

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 9: Ensembles-Applications Exercice 1 - e-monsite

9

๐‘ฅ โˆˆ (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ) โ‡’ ๐‘ฅ โˆˆ ๐ด et ๐‘ฅ โˆˆ ๐ต โˆช ๐ถ โ‡’ ๐‘ฅ โˆˆ ๐ด โˆฉ (๐ต โˆช ๐ถ)

On a montrรฉ que (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ) โŠ‚ ๐ด โˆฉ (๐ต โˆช ๐ถ)

Et finalement ๐ด โˆฉ (๐ต โˆช ๐ถ) = (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ)

Allez ร  : Exercice 5 :

Correction exercice 6 :

1.

๐ด1 = ๐ด โˆฉ ๐ต โ‰  โˆ…

Dโ€™aprรจs lโ€™รฉnoncรฉ

๐ด2 = ๐ด โˆฉ ๐ถ๐ธ๐ต = ๐ด โˆ– ๐ต โ‰  โˆ…

Car ๐ด โŠˆ ๐ต.

๐ด3 = ๐ต โˆฉ ๐ถ๐ธ๐ด = ๐ต โˆ– ๐ด โ‰  โˆ…

Car ๐ต โŠˆ ๐ด

๐ด4 = ๐ถ๐ธ(๐ด โˆช ๐ต) = ๐ธ โˆ– (๐ด โˆช ๐ต) โ‰  โˆ…

Car ๐ด โˆช ๐ต โ‰  ๐ธ, en fait ๐ด โˆช ๐ต โŠˆ ๐ธ car ๐ด โŠ‚ ๐ธ et ๐ต โŠ‚ ๐ธ.

2.

๐ด1 โˆฉ ๐ด2 = (๐ด โˆฉ ๐ต) โˆฉ (๐ด โˆฉ ๐ถ๐ธ๐ต) = ๐ด โˆฉ ๐ต โˆฉ ๐ด โˆฉ ๐ถ๐ธ๐ต = (๐ด โˆฉ ๐ด) โˆฉ (๐ต โˆฉ ๐ถ๐ธ๐ต) = ๐ด โˆฉ โˆ… = โˆ…

๐ด1 โˆฉ ๐ด3 = (๐ด โˆฉ ๐ต) โˆฉ (๐ต โˆฉ ๐ถ๐ธ๐ด) = ๐ด โˆฉ ๐ต โˆฉ ๐ต โˆฉ ๐ถ๐ธ๐ด = (๐ต โˆฉ ๐ต) โˆฉ (๐ด โˆฉ ๐ถ๐ธ๐ด) = ๐ต โˆฉ โˆ… = โˆ…

๐ด1 โˆฉ ๐ด4 = (๐ด โˆฉ ๐ต) โˆฉ (๐ถ๐ธ(๐ด โˆช ๐ต)) = (๐ด โˆฉ ๐ต) โˆฉ (๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต) = ๐ด โˆฉ ๐ต โˆฉ ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต

= (๐ด โˆฉ ๐ถ๐ธ๐ด) โˆฉ (๐ต โˆฉ ๐ถ๐ธ๐ต) = โˆ… โˆฉ โˆ… = โˆ…

๐ด2 โˆฉ ๐ด3 = (๐ด โˆฉ ๐ถ๐ธ๐ต) โˆฉ (๐ต โˆฉ ๐ถ๐ธ๐ด) = ๐ด โˆฉ ๐ถ๐ธ๐ต โˆฉ ๐ต โˆฉ ๐ถ๐ธ๐ด = (๐ด โˆฉ ๐ถ๐ธ๐ด) โˆฉ (๐ต โˆฉ ๐ถ๐ธ๐ต) = โˆ… โˆฉ โˆ… = โˆ…

๐ด2 โˆฉ ๐ด4 = (๐ด โˆฉ ๐ถ๐ธ๐ต) โˆฉ ๐ถ๐ธ(๐ด โˆช ๐ต) = (๐ด โˆฉ ๐ถ๐ธ๐ต) โˆฉ (๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต) = ๐ด โˆฉ ๐ถ๐ธ๐ต โˆฉ ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต

= (๐ด โˆฉ ๐ถ๐ธ๐ด) โˆฉ (๐ถ๐ธ๐ต โˆฉ ๐ถ๐ธ๐ต) = โˆ… โˆฉ ๐ถ๐ธ๐ต = โˆ…

๐ด3 โˆฉ ๐ด4 = (๐ต โˆฉ ๐ถ๐ธ๐ด) โˆฉ ๐ถ๐ธ(๐ด โˆช ๐ต) = (๐ต โˆฉ ๐ถ๐ธ๐ด) โˆฉ (๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต) = ๐ต โˆฉ ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต

= (๐ต โˆฉ ๐ถ๐ธ๐ต) โˆฉ (๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ด) = โˆ… โˆฉ ๐ถ๐ธ๐ด = โˆ…

3. ๐ด1, ๐ด2, ๐ด3 et ๐ด4 sont deux ร  deux disjoints.

๐ด1 โˆช ๐ด2 โˆช ๐ด3 โˆฉ ๐ด4 = (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ๐ธ๐ต) โˆช (๐ต โˆฉ ๐ถ๐ธ๐ด) โˆช ๐ถ๐ธ(๐ด โˆช ๐ต)

= (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ๐ธ๐ต) โˆช (๐ต โˆฉ ๐ถ๐ธ๐ด) โˆช (๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต)

= [(๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ถ๐ธ๐ต)] โˆช [(๐ต โˆฉ ๐ถ๐ธ๐ด) โˆช (๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต)]

= [(๐ด โˆช ๐ด) โˆฉ (๐ด โˆช ๐ถ๐ธ๐ต) โˆฉ (๐ต โˆช ๐ด) โˆฉ (๐ต โˆช ๐ถ๐ธ๐ต)]

โˆช [(๐ต โˆช ๐ถ๐ธ๐ด) โˆฉ (๐ต โˆช ๐ถ๐ธ๐ต) โˆฉ (๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ด) โˆฉ (๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต)]

= [๐ด โˆฉ (๐ด โˆช ๐ถ๐ธ๐ต) โˆฉ (๐ด โˆช ๐ต) โˆฉ ๐ธ] โˆช [(๐ต โˆช ๐ถ๐ธ๐ด) โˆฉ ๐ธ โˆฉ ๐ถ๐ธ๐ด โˆฉ (๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต)]

= [๐ด โˆฉ {(๐ด โˆช ๐ถ๐ธ๐ต) โˆฉ (๐ด โˆช ๐ต)}] โˆช [๐ถ๐ธ๐ด โˆฉ {(๐ต โˆช ๐ถ๐ธ๐ด) โˆฉ (๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต)}]

= [๐ด โˆฉ {๐ด โˆช (๐ถ๐ธ๐ต โˆฉ ๐ต)}] โˆช [๐ถ๐ธ๐ด โˆฉ {๐ถ๐ธ๐ด โˆช (๐ต โˆฉ ๐ถ๐ธ๐ต}]

= [๐ด โˆฉ {๐ด โˆช โˆ…}] โˆช [๐ถ๐ธ๐ด โˆฉ {๐ถ๐ธ๐ด โˆช โˆ…}] = [๐ด โˆฉ ๐ด] โˆช [๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ด] = ๐ด โˆช ๐ถ๐ธ๐ด = ๐ธ

Remarque :

(๐ด1, ๐ด2, ๐ด3, ๐ด4) est une partition de ๐ธ.

Sur un schรฉma cโ€™est une รฉvidence (๐ธ est le carrรฉ sur le schรฉma).

๐ด2 ๐ด1 ๐ด3

๐ด4

๐ด ๐ต

๐ธ

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 10: Ensembles-Applications Exercice 1 - e-monsite

10

Allez ร  : Exercice 6 :

Correction exercice 7 :

1.

๐ถโ„๐ด1 =]0, +โˆž[ ; ๐ถโ„๐ด2 = [0, +โˆž[ ; ๐ถโ„๐ด3 =] โˆ’ โˆž, 0] ; ๐ถโ„๐ด4 =] โˆ’ โˆž, 0[;

๐ถโ„๐ด5 =] โˆ’ โˆž, 1] โˆช [2, +โˆž[; ๐ถโ„๐ด6 =] โˆ’ โˆž, 1[โˆช [2, +โˆž[

2.

๐ถโ„๐ด = [1,2]; ๐ถโ„๐ต โˆฉ ๐ถโ„๐ถ = [1, +โˆž[โˆฉ]2, +โˆž[= [1,2]

Remarque :

๐ถโ„๐ต โˆฉ ๐ถโ„๐ถ = ๐ถโ„(๐ต โˆช ๐ถ) = ๐ถโ„๐ด

Allez ร  : Exercice 7 :

Correction exercice 8 :

a) Soit ๐‘ฅ โˆˆ ๐ต = โˆ๐ธ๐ต, ๐‘ฅ โˆ‰ ๐ต, comme ๐ด โŠ‚ ๐ต, ๐‘ฅ โˆ‰ ๐ด, autrement dit ๐‘ฅ โˆˆ ๐ด = โˆ๐ธ

๐ด ce qui montre que si

๐‘ฅ โˆˆ ๐ต alors ๐‘ฅ โˆˆ ๐ด.

b) Si ๐‘ฅ โˆˆ ๐ด alors ๐‘ฅ โˆ‰ ๐ต (car ๐ด โˆฉ ๐ต = โˆ…) donc ๐‘ฅ โˆˆ ๐ต = โˆ๐ธ๐ต.

Si ๐‘ฅ โˆ‰ ๐ด alors ๐‘ฅ โˆˆ ๐ด = โˆ๐ธ๐ด

c) ๐ถ๐ธ(๐ถ๐ธ๐ด) = ๐ด, ๐ด โˆฉ ๐ถ๐ธ๐ด = โˆ…, ๐ด โˆช ๐ถ๐ธ๐ด = ๐ธ, ๐ถ๐ธโˆ… = ๐ธ et ๐ถ๐ธ๐ธ = โˆ…

Allez ร  : Exercice 8 :

Correction exercice 9 :

1. (๐ด โˆ– ๐ต) โˆ– ๐ถ = (๐ด โˆฉ ๐ต) โˆ– ๐ถ = (๐ด โˆฉ ๐ต) โˆฉ ๐ถ = ๐ด โˆฉ (๐ต โˆฉ ๐ถ) = ๐ด โˆฉ (๐ต โˆช ๐ถ) = ๐ด โˆ– (๐ต โˆช ๐ถ)

2. (๐ด โˆ– ๐ต) โˆฉ (๐ถ โˆ– ๐ท) = (๐ด โˆฉ ๐ต) โˆฉ (๐ถ โˆฉ ๐ท) = (๐ด โˆฉ ๐ถ) โˆฉ (๐ต โˆฉ ๐ท) = (๐ด โˆฉ ๐ถ) โˆฉ (๐ต โˆช ๐ท) = (๐ด โˆฉ ๐ถ) โˆ–

(๐ต โˆช ๐ท)

Allez ร  : Exercice 9 :

Correction exercice 10 :

1.

(๐ด โˆฉ ๐ต) โˆฉ (๐ด โˆฉ ๐ถ) = (๐ด โˆฉ ๐ต) โˆฉ (๐ด โˆช ๐ถ) = (๐ด โˆฉ ๐ต โˆฉ ๐ด) โˆช (๐ด โˆฉ ๐ต โˆฉ ๐ถ) = โˆ… โˆช (๐ด โˆฉ ๐ต โˆฉ ๐ถ)

= ๐ด โˆฉ ๐ต โˆฉ ๐ถ

Pour la seconde il suffit dโ€™intervertir ๐ต et ๐ถ.

2.

(๐ด โˆฉ ๐ต)ฮ”(๐ด โˆฉ ๐ถ) = ((๐ด โˆฉ ๐ต) โˆ– (๐ด โˆฉ ๐ถ)) โˆช ((๐ด โˆฉ ๐ถ) โˆ– (๐ด โˆฉ ๐ต))

= ((๐ด โˆฉ ๐ต) โˆฉ (๐ด โˆฉ ๐ถ)) โˆช ((๐ด โˆฉ ๐ถ) โˆฉ (๐ด โˆฉ ๐ต)) = (๐ด โˆฉ ๐ต โˆฉ ๐ถ) โˆช (๐ด โˆฉ ๐ถ โˆฉ ๐ต)

= ๐ด โˆฉ ((๐ต โˆฉ ๐ถ) โˆช (๐ถ โˆฉ ๐ต)) = ๐ด โˆฉ ((๐ต โˆ– ๐ถ) โˆช (๐ถ โˆ– ๐ต)) = ๐ด โˆฉ (๐ตฮ”๐ถ)

Allez ร  : Exercice 10 :

Correction exercice 11 :

1.

(๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ถ) = (๐ด โˆช ๐ต) โˆฉ (๐ด โˆฉ ๐ถ) = (๐ด โˆฉ (๐ด โˆฉ ๐ถ)) โˆช (๐ต โˆฉ (๐ด โˆฉ ๐ถ))

= (๐ด โˆฉ ๐ด โˆฉ ๐ถ) โˆช (๐ต โˆฉ ๐ด โˆฉ ๐ถ) = โˆ… โˆช (๐ต โˆฉ ๐ด โˆฉ ๐ถ) = ๐ต โˆฉ ๐ด โˆฉ ๐ถ = ๐ด โˆฉ ๐ต โˆฉ ๐ถ

Pour la seconde รฉgalitรฉ il suffit dโ€™intervertir les rรดles de ๐ต et ๐ถ.

2.

(๐ด โˆช ๐ต)ฮ”(๐ด โˆช ๐ถ) = (๐ด โˆช ๐ต) โˆ– (๐ด โˆช ๐ถ) โˆช (๐ด โˆช ๐ถ) โˆ– (๐ด โˆช ๐ต) = (๐ด โˆฉ ๐ต โˆฉ ๐ถ) โˆช (๐ด โˆฉ ๐ถ โˆฉ ๐ต)

= ๐ด โˆฉ ((๐ต โˆฉ ๐ถ) โˆช (๐ถ โˆฉ ๐ต)) = ๐ด โˆฉ (๐ต โˆ– ๐ถ โˆช ๐ถ โˆ– ๐ต) = ๐ด โˆฉ (๐ตฮ”๐ถ)

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 11: Ensembles-Applications Exercice 1 - e-monsite

11

Allez ร  : Exercice 11 :

Correction exercice 12 :

1. La contraposรฉe de cette implication est :

(๐ด โŠ‚ ๐ถ et ๐ต โŠ‚ ๐ถ) โ‡’ ๐ด โˆช ๐ต โŠ‚ ๐ถ

Cette implication est vraie.

2. Prenons ๐‘ฅ โˆˆ ๐ต.

Alors ๐‘ฅ โˆˆ ๐ด โˆช ๐ต, alors ๐‘ฅ โˆˆ ๐ด โˆช ๐ถ dโ€™aprรจs lโ€™hypothรจse.

Si ๐‘ฅ โˆˆ ๐ถ cโ€™est fini. Si ๐‘ฅ โˆˆ ๐ด โˆ– ๐ถ alors ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ต (puisque lโ€™on a pris ๐‘ฅ โˆˆ ๐ต), dโ€™aprรจs lโ€™hypothรจse

๐‘ฅ โˆˆ ๐ด โˆฉ ๐ถ ce qui entraine que ๐‘ฅ โˆˆ ๐ถ.

On a bien montrรฉ que ๐ต โŠ‚ ๐ถ.

Allez ร  : Exercice 12 :

Correction exercice 13 :

Il sโ€™agit de rรฉsultats du cours, on peut les utiliser sans dรฉmonstration mais cโ€™est lโ€™objet de cet exercice.

1. Soit ๐‘ฅ โˆˆ ๐ถ๐ธ(๐ด โˆฉ ๐ต), ๐‘ฅ โˆ‰ ๐ด โˆฉ ๐ต et donc ๐‘ฅ โˆ‰ ๐ด ou ๐‘ฅ โˆ‰ ๐ต, ce qui signifie que ๐‘ฅ โˆˆ ๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต

Cela montre que ๐ถ๐ธ(๐ด โˆฉ ๐ต) โŠ‚ ๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต.

Soit ๐‘ฅ โˆˆ ๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต, ๐‘ฅ โˆ‰ ๐ด ou ๐‘ฅ โˆ‰ ๐ต donc ๐‘ฅ โˆ‰ ๐ด โˆฉ ๐ต ce qui entraine que ๐‘ฅ โˆˆ ๐ถ๐ธ(๐ด โˆฉ ๐ต).

Cela montre que ๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต โŠ‚ ๐ถ๐ธ(๐ด โˆฉ ๐ต).

Et finalement

๐ถ๐ธ(๐ด โˆฉ ๐ต) = ๐ถ๐ธ๐ด โˆช ๐ถ๐ธ๐ต

Remarque :

On aurait raisonner par รฉquivalence.

2. Soit ๐‘ฅ โˆˆ ๐ถ๐ธ(๐ด โˆช ๐ต), ๐‘ฅ โˆ‰ ๐ด โˆช ๐ต et donc ๐‘ฅ โˆ‰ ๐ด et ๐‘ฅ โˆ‰ ๐ต, ce qui signifie que ๐‘ฅ โˆˆ ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต

Cela montre que ๐ถ๐ธ(๐ด โˆช ๐ต) โŠ‚ ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต.

Soit ๐‘ฅ โˆˆ ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต, ๐‘ฅ โˆ‰ ๐ด et ๐‘ฅ โˆ‰ ๐ต donc ๐‘ฅ โˆ‰ ๐ด โˆช ๐ต ce qui entraine que ๐‘ฅ โˆˆ ๐ถ๐ธ(๐ด โˆช ๐ต).

Cela montre que ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต โŠ‚ ๐ถ๐ธ(๐ด โˆช ๐ต).

Et finalement

๐ถ๐ธ(๐ด โˆช ๐ต) = ๐ถ๐ธ๐ด โˆฉ ๐ถ๐ธ๐ต

Remarque :

On aurait pu raisonner par รฉquivalence.

Allez ร  : Exercice 13 :

Correction exercice 14 :

Il sโ€™agit de rรฉsultats du cours, on peut les utiliser sans dรฉmonstration mais cโ€™est lโ€™objet de cet exercice.

1. Supposons que ๐น โŠ‚ ๐บ.

Si ๐‘ฅ โˆˆ ๐น โˆช ๐บ alors ๐‘ฅ โˆˆ ๐น โŠ‚ ๐บ ou ๐‘ฅ โˆˆ ๐บ alors ๐‘ฅ โˆˆ ๐บ. Donc ๐น โˆช ๐บ โŠ‚ ๐บ.

Si ๐‘ฅ โˆˆ ๐บ alors ๐‘ฅ โˆˆ ๐น โˆช ๐บ, par consรฉquent ๐น โˆช ๐บ = ๐บ.

On a montrรฉ que ๐น โŠ‚ ๐บ โ‡’ ๐น โˆช ๐บ = ๐บ

Supposons que ๐น โˆช ๐บ = ๐บ.

Soit ๐‘ฅ โˆˆ ๐น, ๐‘ฅ โˆˆ ๐น โˆช ๐บ = ๐บ donc ๐‘ฅ โˆˆ ๐บ.

On a montrรฉ que ๐น โˆช ๐บ = ๐บ โ‡’ ๐น โŠ‚ ๐บ.

Finalement ๐น โŠ‚ ๐บ โ‡” ๐น โˆช ๐บ = ๐บ.

2. Supposons que ๐น โŠ‚ ๐บ.

Si ๐‘ฅ โˆˆ ๐น โˆฉ ๐ถ๐ธ๐บ, ๐‘ฅ โˆˆ ๐น et ๐‘ฅ โˆ‰ ๐บ โŠƒ ๐น donc ๐‘ฅ โˆˆ ๐น et ๐‘ฅ โˆ‰ ๐น ce qui est impossible par consรฉquent

๐น โˆฉ ๐ถ๐ธ๐บ = โˆ….

On a montrรฉ que ๐น โŠ‚ ๐บ โ‡’ ๐น โˆฉ ๐ถ๐ธ๐บ = โˆ…

Supposons que ๐น โˆฉ ๐ถ๐ธ๐บ = โˆ….

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 12: Ensembles-Applications Exercice 1 - e-monsite

12

Soit ๐‘ฅ โˆˆ ๐น, supposons que ๐‘ฅ โˆ‰ ๐บ โ‡” ๐‘ฅ โˆˆ ๐ถ๐ธ๐บ ce qui signifie que ๐‘ฅ โˆˆ ๐น โˆฉ ๐ถ๐ธ๐บ = โˆ…, cโ€™est impossible

donc lโ€™hypothรจse ๐‘ฅ โˆ‰ ๐บ est fausse, par consรฉquent ๐‘ฅ โˆˆ ๐บ et ๐น โŠ‚ ๐บ.

On a montrรฉ que ๐น โˆฉ ๐ถ๐ธ๐บ = โˆ… โ‡’ ๐น โŠ‚ ๐บ.

Finalement ๐น โŠ‚ ๐บ โ‡” ๐น โˆฉ ๐ถ๐ธ๐บ = โˆ….

Allez ร  : Exercice 14 :

Correction exercice 15 :

1.

(๐ด โˆช ๐ต) โˆ– (๐ด โˆฉ ๐ต) = (๐ด โˆช ๐ต) โˆฉ (๐ด โˆฉ ๐ต) = (๐ด โˆช ๐ต) โˆฉ (๐ด โˆช ๐ต)

= (๐ด โˆฉ ๐ด) โˆช (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด) โˆช (๐ต โˆฉ ๐ต) = โˆ… โˆช (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด) โˆช โˆ…

= (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด) = (๐ด โˆ– ๐ต) โˆช (๐ต โˆ– ๐ด)

2.

๐ดฮ”๐ด = (๐ด โˆช ๐ด) โˆ– (๐ด โˆฉ ๐ด) = ๐ด โˆ– ๐ด = โˆ…

๐ดฮ”โˆ… = (๐ด โˆช โˆ…) โˆ– (๐ด โˆฉ โˆ…) = ๐ด โˆ– โˆ… = ๐ด

๐ดฮ”๐ธ = (๐ด โˆช ๐ธ) โˆ– (๐ด โˆฉ ๐ธ) = ๐ธ โˆ– ๐ด = ๐ด

3.

a)

(๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด) = ๐ด โˆฉ ๐ต โˆฉ (๐ต โˆฉ ๐ด) = (๐ด โˆช ๐ต) โˆฉ (๐ต โˆช ๐ด)

= (๐ด โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ด) โˆช (๐ต โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด) = (๐ด โˆฉ ๐ต) โˆช โˆ… โˆช โˆ… โˆช (๐ต โˆฉ ๐ด)

= (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด)

b)

(๐ดฮ”๐ต)ฮ”๐ถ = ((๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด)) ฮ”๐ถ = (((๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด)) โˆฉ ๐ถ) โˆช (๐ถ โˆฉ (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด))

= (๐ด โˆฉ ๐ต โˆฉ ๐ถ) โˆช (๐ต โˆฉ ๐ด โˆฉ ๐ถ) โˆช (๐ถ โˆฉ ((๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด)))

= (๐ด โˆฉ ๐ต โˆฉ ๐ถ) โˆช (๐ต โˆฉ ๐ด โˆฉ ๐ถ) โˆช (๐ถ โˆฉ ๐ด โˆฉ ๐ต) โˆช (๐ถ โˆฉ ๐ต โˆฉ ๐ด)

c)

(๐ดฮ”๐ต)ฮ”C = (๐ถ โˆฉ ๐ดฮ”๐ต) โˆช ((๐ดฮ”๐ต) โˆฉ ๐ถ) = ((๐ดฮ”๐ต) โˆฉ ๐ถ) โˆช (๐ถ โˆฉ ๐ดฮ”๐ต) = ๐ถฮ”(๐ดฮ”๐ต)

or ๐ดฮ”๐ต = (๐ด โˆฉ ๐ต) โˆช (๐ต โˆฉ ๐ด) = (๐ต โˆฉ ๐ด) โˆช (๐ด โˆฉ ๐ต) = ๐ตฮ”๐ด donc (๐ดฮ”๐ต)ฮ”C = ๐ถฮ”(๐ดฮ”๐ต) = ๐ถฮ”(๐ตฮ”๐ด)

d)

(๐ถ๐›ฅ๐ต)๐›ฅ๐ด = (๐ถ โˆฉ ๐ต โˆฉ ๐ด) โˆช (๐ต โˆฉ ๐ถ โˆฉ ๐ด) โˆช (๐ด โˆฉ ๐ถ โˆฉ ๐ต) โˆช (๐ด โˆฉ ๐ต โˆฉ ๐ถ) = ๐ดฮ”(๐ตฮ”๐ถ), en changeant ๐ด et

๐ถ.

e)

(๐ดฮ”๐ต)ฮ”๐ถ = ๐ถฮ”(๐ตฮ”๐ด) dโ€™aprรจs d) or ๐ถฮ”(๐ตฮ”๐ด) = ๐ดฮ”(๐ตฮ”๐ถ) dโ€™aprรจs c).

Donc (๐ดฮ”๐ต)ฮ”๐ถ = ๐ดฮ”(๐ตฮ”๐ถ).

Allez ร  : Exercice 15 :

Correction exercice 16 :

1. ๐ผ = [0,1] et ๐ฝ = [โˆ’1,1].

2. ๐ผ = [โˆ’1,1] et ๐ฝ = [0,1].

3. ๐ผ = [โˆ’1,1] et ๐ฝ = [โˆ’1,1].

4. ๐ผ = [0,1] et ๐ฝ = [0,1].

Allez ร  : Exercice 16 :

Correction exercice 17 :

๐‘“: โ„ โ†’ โ„

๐‘ฅ โ†ฆ ๐‘ฅ2

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 13: Ensembles-Applications Exercice 1 - e-monsite

13

๐‘“(โˆ’1) = ๐‘“(1) donc ๐‘“ nโ€™est pas injective.

โˆ’4 nโ€™a pas dโ€™antรฉcรฉdent, car ๐‘“(๐‘ฅ) = โˆ’4 โ‡” ๐‘ฅ2 = โˆ’4 nโ€™a pas de solution dans โ„. ๐‘“ nโ€™est pas surjective.

Une fonction est bijective si et seulement si elle est injective et surjective donc cette fonction nโ€™est pas

bijective.

๐‘“: โ„+ โ†’ โ„+

๐‘ฅ โ†ฆ ๐‘ฅ2

๐‘“(๐‘ฅ1) = ๐‘“(๐‘ฅ2) โ‡’ ๐‘ฅ12 = ๐‘ฅ2

2 โ‡’ โˆš๐‘ฅ12 = โˆš๐‘ฅ2

2 โ‡’ |๐‘ฅ1| = |๐‘ฅ2| โ‡’ ๐‘ฅ1 = ๐‘ฅ2

Car ๐‘ฅ1 โ‰ฅ 0 et ๐‘ฅ2 โ‰ฅ 0. ๐‘“ est injective.

Pour tout ๐‘ฆ โˆˆ โ„โˆ—, (celui de lโ€™ensemble dโ€™arrivรฉe), il existe ๐‘ฅ = โˆš๐‘ฆ โˆˆ โ„โˆ—, (celui de lโ€™ensemble de dรฉpart)

tel que : ๐‘ฆ = ๐‘“(๐‘ฅ), en effet ๐‘“(๐‘ฅ) = (โˆš๐‘ฆ)2

= ๐‘ฆ donc ๐‘“ est surjective.

๐‘“ est bijective.

๐‘“: [0,1] โ†’ [0,2]

๐‘ฅ โ†ฆ ๐‘ฅ2

๐‘“(๐‘ฅ1) = ๐‘“(๐‘ฅ2) โ‡’ ๐‘ฅ12 = ๐‘ฅ2

2 โ‡’ โˆš๐‘ฅ12 = โˆš๐‘ฅ2

2 โ‡’ |๐‘ฅ1| = |๐‘ฅ2| โ‡’ ๐‘ฅ1 = ๐‘ฅ2

Car ๐‘ฅ1 โ‰ฅ 0 et ๐‘ฅ2 โ‰ฅ 0. ๐‘“ est injective.

2 nโ€™a pas dโ€™antรฉcรฉdent, car ๐‘“(๐‘ฅ) = 2 โ‡” ๐‘ฅ2 = 2 nโ€™a pas de solution dans [0,1]. ๐‘“ nโ€™est pas surjective.

๐‘”: โ„ โ†’ โ„

๐‘ฅ โ†ฆ ๐‘ฅ + ๐‘ฅ3

๐‘” est une fonction dรฉrivable, ๐‘”โ€ฒ(๐‘ฅ) = 1 + 3๐‘ฅ2 > 0 donc ๐‘” est strictement croissante sur โ„.

La contraposรฉe de ๐‘”(๐‘ฅ1) = ๐‘”(๐‘ฅ2) โ‡’ ๐‘ฅ1 = ๐‘ฅ2 est ๐‘ฅ1 โ‰  ๐‘ฅ2 โ‡’ ๐‘”(๐‘ฅ1) โ‰  ๐‘”(๐‘ฅ2)

Supposons que ๐‘ฅ1 โ‰  ๐‘ฅ2, alors ๐‘ฅ1 < ๐‘ฅ2 (ou ๐‘ฅ2 < ๐‘ฅ1, ce que revient au mรชme), on en dรฉduit que ๐‘”(๐‘ฅ1) <

๐‘”(๐‘ฅ2) car ๐‘” est strictement croissante, par consรฉquent ๐‘”(๐‘ฅ1) โ‰  ๐‘”(๐‘ฅ2), ๐‘” est injective.

lim๐‘ฅโ†’โˆ’โˆž

๐‘”(๐‘ฅ) = โˆ’โˆž et lim๐‘ฅโ†’+โˆž

๐‘”(๐‘ฅ) = +โˆž

๐‘” est une bijection strictement croissante de โ„ sur โ„, par consรฉquent pour tout ๐‘ฆ โˆˆ โ„, il existe un

unique ๐‘ฅ โˆˆ โ„ tel que ๐‘ฆ = ๐‘”(๐‘ฅ), ๐‘” est surjective. Mais lโ€™unicitรฉ du ยซ ๐‘ฅ ยป fait que ๐‘” est bijective donc il

รฉtait inutile de montrer lโ€™injectivitรฉ de ๐‘”.

โ„Ž: โ„ โ†’ โ„๐‘ฅ โ†ฆ ๐‘ฅ2 + ๐‘ฅ3

On va รฉtudier (sommairement) cette fonction et dresser son tableau de variation.

โ„Ž est une fonction dรฉrivable sur โ„. โ„Žโ€ฒ(๐‘ฅ) = 2๐‘ฅ + 3๐‘ฅ2 = ๐‘ฅ(2 + 3๐‘ฅ)

lim๐‘ฅโ†’โˆ’โˆž

โ„Ž(๐‘ฅ) = โˆ’โˆž et lim๐‘ฅโ†’+โˆž

โ„Ž(๐‘ฅ) = +โˆž

Le ยซ ๐‘ฅ3 ยป lโ€™emporte sur le ยซ ๐‘ฅ2 ยป.

โ„Ž(0) = 0 et โ„Ž (โˆ’2

3) = (โˆ’

2

3)

2

+ (โˆ’2

3)

3

=4

9โˆ’

8

27=

4

27

๐‘ฅ โˆ’โˆž โˆ’2

3 0 +โˆž

โ„Žโ€ฒ(๐‘ฅ) + 0 โˆ’ 0 +

โ„Ž(๐‘ฅ) 4

27 +โˆž

โˆ’โˆž 0

Les seules bijections de ๐ธ โŠ‚ โ„ sur ๐น โŠ‚ โ„ sont les fonctions strictement monotones dont lโ€™image de ๐ธ

est ๐น.

โ„Ž nโ€™est pas une bijection.

Comme โ„Ž(โˆ’1) = 0 = โ„Ž(0), โ„Ž nโ€™est pas injective.

Pour tout ๐‘ฆ โˆˆ โ„ il existe ๐‘ฅ โˆˆ โ„ tel que ๐‘ฆ = โ„Ž(๐‘ฅ), et bien il nโ€™y a pas unicitรฉ sinon โ„Ž serait bijective.

Pour tout ๐‘ฆ โˆˆ [0,4

27[ il existe trois valeurs ๐‘ฅ tel que ๐‘ฆ = โ„Ž(๐‘ฅ), pour ๐‘ฆ =

4

27, il y en a deux pour les

autres ๐‘ฆ nโ€™a quโ€™un antรฉcรฉdent.

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 14: Ensembles-Applications Exercice 1 - e-monsite

14

๐‘˜: โ„ โ†’ โ„๐‘ฅ โ†ฆ ๐‘ฅ + ๐‘ฅ4

On va รฉtudier cette fonction, ๐‘˜ est dรฉrivable et ๐‘˜โ€ฒ(๐‘ฅ) = 1 + 4๐‘ฅ3

๐‘˜โ€ฒ(๐‘ฅ) = 0 โ‡” 1 + 4๐‘ฅ3 = 0 โ‡” ๐‘ฅ3 = โˆ’1

4โ‡” ๐‘ฅ = (โˆ’

1

22)

13

= โˆ’1

223

๐‘˜ (โˆ’1

223

) = (โˆ’1

223

) (1 + (โˆ’1

223

)

3

) = (โˆ’1

223

) (1 โˆ’1

4) = (โˆ’

1

223

) ร—3

4= โˆ’

3

283

lim๐‘ฅโ†’โˆ’โˆž

โ„Ž(๐‘ฅ) = +โˆž et lim๐‘ฅโ†’+โˆž

โ„Ž(๐‘ฅ) = +โˆž

Le ยซ ๐‘ฅ4 ยป lโ€™emporte sur le ยซ ๐‘ฅ ยป.

๐‘ฅ โˆ’โˆž โˆ’3

283

+โˆž

๐‘˜โ€ฒ(๐‘ฅ) โˆ’ 0 +

๐‘˜(๐‘ฅ) +โˆž +โˆž

โˆ’3

283

Pour tout ๐‘ฆ > โˆ’3

283

, ๐‘ฆ admet deux antรฉcรฉdents, ๐‘˜ est ni surjective ni injective.

Allez ร  : Exercice 17 :

Correction exercice 18 :

1.

Si ๐‘ฅ1 < ๐‘ฅ2 alors ๐‘“(๐‘ฅ1) < ๐‘“(๐‘ฅ2) donc ๐‘“(๐‘ฅ1) โ‰  ๐‘“(๐‘ฅ2)

Si ๐‘ฅ1 > ๐‘ฅ2 alors ๐‘“(๐‘ฅ1) > ๐‘“(๐‘ฅ2) donc ๐‘“(๐‘ฅ1) โ‰  ๐‘“(๐‘ฅ2)

Donc ๐‘“ est injective.

2. ๐พ = ๐‘“(๐ผ)

Allez ร  : Exercice 18 :

Correction exercice 19 :

1.

๐‘“(1,2) = 1 ร— 2 = 2 ร— 1 = ๐‘“(2,1)

Donc ๐‘“ nโ€™est pas injective.

2. ๐‘“(1, ๐‘) = 1 ร— ๐‘ = ๐‘

Donc pour tout ๐‘ โˆˆ โ„•, il existe (๐‘›, ๐‘š) = (1, ๐‘) tel que ๐‘ = ๐‘“(๐‘›, ๐‘š)

๐‘“ est surjective.

3.

๐‘”(๐‘›1) = ๐‘”(๐‘›2) โ‡’ (๐‘›1, (๐‘›1 + 1)2) = (๐‘›2, (๐‘›2 + 1)2) โ‡’ {๐‘›1 = ๐‘›2

(๐‘›1 + 1)2 = (๐‘›2 + 1)2 โ‡’ ๐‘›1 = ๐‘›2

Donc ๐‘” est injective.

4. On va montrer que (1,1) nโ€™admet pas dโ€™antรฉcรฉdent. Supposons que

(1,1) = (๐‘›, (๐‘› + 1)2)

Alors

{1 = ๐‘›

1 = (๐‘› + 1)2

Ce qui รฉquivaut ร 

{1 = ๐‘›1 = 22

Ce qui est impossible donc (1,1) nโ€™admet pas dโ€™antรฉcรฉdent, ๐‘” nโ€™est pas surjective.

Allez ร  : Exercice 19 :

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 15: Ensembles-Applications Exercice 1 - e-monsite

15

Correction exercice 20 :

๐‘“(๐‘›1) = ๐‘“(๐‘›2) โ‡’ 2๐‘›1 = 2๐‘›2 โ‡’ ๐‘›1 = ๐‘›2

๐‘“ est injective.

1 nโ€™a pas dโ€™antรฉcรฉdent car il nโ€™existe pas dโ€™entier naturel ๐‘› tel que 1 = 2๐‘›, ๐‘“ nโ€™est pas surjective.

๐‘”(0) = ๐ธ (0

2) = ๐ธ(0) = 0 et ๐‘”(1) = ๐ธ (

1

2) = 0, donc ๐‘”(0) = ๐‘”(1) ce qui entraine que ๐‘” nโ€™est pas

injective.

Pour tout ๐‘ฆ = ๐‘› โˆˆ โ„• (dans lโ€™ensemble dโ€™arrivรฉ) il existe ๐‘ฅ = 2๐‘› โˆˆ โ„• (dans lโ€™ensemble de dรฉpart) tel

que :

๐‘”(๐‘ฅ) = ๐ธ (๐‘ฅ

2) = ๐ธ (

2๐‘›

2) = ๐ธ(๐‘›) = ๐‘› = ๐‘ฆ

๐‘” est surjective.

Si ๐‘› est pair, il existe ๐‘ โˆˆ โ„• tel que ๐‘› = 2๐‘

๐‘“ โˆ˜ ๐‘”(๐‘›) = ๐‘“(๐‘”(๐‘›)) = ๐‘“(๐‘”(2๐‘)) = ๐‘“ (๐ธ (2๐‘

2)) = ๐‘“(๐ธ(๐‘)) = ๐‘“(๐‘) = 2๐‘ = ๐‘›

Si ๐‘› est impaire, il existe ๐‘ โˆˆ โ„• tel que ๐‘› = 2๐‘ + 1

๐‘“ โˆ˜ ๐‘”(๐‘›) = ๐‘“(๐‘”(๐‘›)) = ๐‘“(๐‘”(2๐‘ + 1)) = ๐‘“ (๐ธ (2๐‘ + 1

2)) = ๐‘“ (๐ธ (๐‘ +

1

2)) = ๐‘“(๐‘) = 2๐‘ = ๐‘› โˆ’ 1

๐‘“ โˆ˜ ๐‘”(๐‘›) = {๐‘› si ๐‘› est pair

๐‘› โˆ’ 1 si ๐‘› est impair

Que ๐‘› soit paire ou impaire

๐‘” โˆ˜ ๐‘“(๐‘›) = ๐‘”(๐‘“(๐‘›)) = ๐‘”(2๐‘›) = ๐ธ (2๐‘›

2) = ๐ธ(๐‘›) = ๐‘›

๐‘” โˆ˜ ๐‘“ = ๐‘–๐‘‘

Remarque :

Comme on le voit sur cet exemple, il ne suffit pas que ๐‘” โˆ˜ ๐‘“ = ๐‘–๐‘‘ pour que ๐‘” soit la bijection rรฉciproque

de ๐‘“. La dรฉfinition de la bijection rรฉciproque dโ€™une fonction ๐‘“1: ๐ธ โ†’ ๐ธ est :

ยซ Sโ€™il existe une fonction ๐‘“2: ๐ธ โ†’ ๐ธ telle que ๐‘“1 โˆ˜ ๐‘“2 = ๐‘“2 โˆ˜ ๐‘“1 = ๐‘–๐‘‘๐ธ alors ๐‘“2 = ๐‘“1โˆ’1 ยป on a alors : ๐‘“1 et

๐‘“2 sont deux fonctions bijectives.

Allez ร  : Exercice 20 :

Correction exercice 21 :

๐‘“(๐ธ) โŠ‚ ๐ธ donc ๐‘“(๐‘“(๐ธ)) โŠ‚ ๐‘“(๐ธ) โŠ‚ ๐ธ, or ๐‘“(๐‘“(๐ธ)) = ๐ธ donc ๐ธ โŠ‚ ๐‘“(๐ธ) โŠ‚ ๐ธ, par consรฉquent

๐ธ = ๐‘“(๐ธ) ce qui signifie que ๐‘“ est surjective.

Allez ร  : Exercice 21 :

Correction exercice 22 :

1. Supposons que ๐‘” existe, ๐‘“ โˆ˜ ๐‘” = ๐ผ๐‘‘โ„• โ‡” โˆ€๐‘› โˆˆ โ„•, ๐‘“(๐‘”(๐‘›)) = ๐‘› โ‡” โˆ€๐‘› โˆˆ โ„•, (๐‘”(๐‘›))2

= ๐‘›

Si ๐‘› nโ€™est pas un carrรฉ cela ne marche pas, par exemple si ๐‘› = 2, (๐‘”(2))2

= 2 donc ๐‘”(2) = ยฑโˆš2 โˆ‰ โ„•

Il nโ€™existe pas de fonction ๐‘”: โ„• โ†’ โ„• telle que :๐‘“ โˆ˜ ๐‘” = ๐ผ๐‘‘โ„•.

2. Supposons que โ„Ž existe, โ„Ž โˆ˜ ๐‘“ = ๐ผ๐‘‘โ„• โ‡” โˆ€๐‘› โˆˆ โ„•, โ„Ž(๐‘“(๐‘›)) = ๐‘› โ‡” โˆ€๐‘› โˆˆ โ„•, โ„Ž(๐‘›2) = ๐‘›

Les valeurs โ„Ž(๐‘) prennent les valeurs quโ€™elles veulent sauf lorsque ๐‘ est un carrรฉ auquel cas

โ„Ž(๐‘) = โˆš๐‘, donnons une fonction โ„Ž qui rรฉpond ร  la question :

Si ๐‘ โ‰  ๐‘›2 alors โ„Ž(๐‘) = 0 et si ๐‘ = ๐‘›2 alors โ„Ž(๐‘) = โˆš๐‘ = ๐‘›.

Allez ร  : Exercice 22 :

Correction exercice 23 :

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 16: Ensembles-Applications Exercice 1 - e-monsite

16

1. Si ๐‘” existe alors pour tout ๐‘› โˆˆ โ„ค, ๐‘“(๐‘”(๐‘›)) = ๐‘› โ‡” 2๐‘”(๐‘›) = ๐‘›, si ๐‘› est impair ๐‘”(๐‘›) โˆ‰ โ„ค donc il

nโ€™existe pas de fonction ๐‘”: โ„ค โ†’ โ„ค telle que ๐‘“ โˆ˜ ๐‘” = ๐ผ๐‘‘โ„ค.

2. Si โ„Ž existe alors pour tout ๐‘› โˆˆ โ„ค, โ„Ž(๐‘“(๐‘›)) = ๐‘› โ‡” โ„Ž(2๐‘›) = ๐‘›

Soit โ„Ž la fonction dรฉfinie, pour tout ๐‘ โˆˆ โ„ค, par โ„Ž(2๐‘) = ๐‘ et โ„Ž(2๐‘ + 1) = 0 convient.

Allez ร  : Exercice 23 :

Correction exercice 24 :

On pose ๐ธ = {๐‘’1, ๐‘’2, โ€ฆ , ๐‘’๐‘›} et ๐น = {๐‘“1, ๐‘“2, โ€ฆ , ๐‘“๐‘›}, et bien sur tous les ๐‘’๐‘— sont distincts ainsi que tous les

๐‘“๐‘–.

On rappelle que le fait que ๐‘“ soit une application entraine que {๐‘“(๐‘’1), ๐‘“(๐‘’2), โ€ฆ , ๐‘“(๐‘’๐‘›)} โŠ‚ {๐‘“1, ๐‘“2, โ€ฆ , ๐‘“๐‘›}

On suppose que ๐‘“ est injective, on va montrer que ๐‘“ est surjective.

On va montrer la contraposรฉe, cโ€™est-ร -dire que lโ€™on va montrer que si ๐‘“ nโ€™est pas surjective alors ๐‘“ nโ€™est

pas injective.

Soit ๐‘“๐‘– โˆˆ ๐น et on suppose quโ€™il nโ€™existe pas de ๐‘’๐‘— โˆˆ ๐ธ tel que ๐‘“๐‘– = ๐‘“(๐‘’๐‘—) (๐‘“ nโ€™est pas surjective)

Donc {๐‘“(๐‘’1), ๐‘“(๐‘’2), โ€ฆ , ๐‘“(๐‘’๐‘›)} โŠ‚ {๐‘“1, โ€ฆ , ๐‘“๐‘–โˆ’1, ๐‘“๐‘–+1, โ€ฆ , ๐‘“๐‘›}, il y a ๐‘› รฉlรฉments dans le premier ensemble et

๐‘› โˆ’ 1 dans le second, donc il existe ๐‘—1 et ๐‘—2, avec ๐‘—1 โ‰  ๐‘—2 dans {1,2, โ€ฆ , ๐‘›} tels que ๐‘“(๐‘’๐‘—1) = ๐‘“(๐‘’๐‘—2

), or

๐‘’๐‘—1โ‰  ๐‘’๐‘—2

donc ๐‘“ nโ€™est pas injective.

On suppose que ๐‘“ est surjective et on va montrer que ๐‘“ est injective.

On va montrer la contraposรฉe, cโ€™est-ร -dire que lโ€™on va montrer que si ๐‘“ nโ€™est pas injective alors ๐‘“ nโ€™est

pas surjective.

Si ๐‘“(๐‘’๐‘–) = ๐‘“(๐‘’๐‘—) = ๐‘ข avec ๐‘’๐‘– โ‰  ๐‘’๐‘— alors

{๐‘“(๐‘’1), โ€ฆ , ๐‘“(๐‘’๐‘–โˆ’1), ๐‘ข, ๐‘“(๐‘’๐‘–+1), โ€ฆ , ๐‘“(๐‘’๐‘—โˆ’1), ๐‘ข, ๐‘“(๐‘’๐‘—+1) โ€ฆ , ๐‘“(๐‘’๐‘›)} โŠ‚ {๐‘“1, ๐‘“2, โ€ฆ , ๐‘“๐‘›}, le premier ensemble a

๐‘› โˆ’ 1 รฉlรฉments et le second ๐‘› donc il existe un ๐‘“๐‘— qui nโ€™a pas dโ€™antรฉcรฉdent, cela montre que ๐‘“ nโ€™est pas

surjective.

On a montrรฉ que (๐‘–) โ‡” (๐‘–๐‘–), par dรฉfinition (๐‘–๐‘–๐‘–) โ‡’ (๐‘–) et (๐‘–๐‘–๐‘–) โ‡’ (๐‘–๐‘–). Si on a (๐‘–) alors on a (๐‘–๐‘–) et

(๐‘–) ๐‘’๐‘ก (๐‘–๐‘–) entraine (๐‘–๐‘–๐‘–) de mรชme si on a (๐‘–๐‘–) alors on a (๐‘–) et (๐‘–) ๐‘’๐‘ก (๐‘–๐‘–) entraine (๐‘–๐‘–๐‘–). Ce qui achรจve de

montrer les trois รฉquivalences.

Allez ร  : Exercice 24 :

Correction exercice 25 :

1. ๐‘ข et ๐‘ฃ sont surjectives donc ๐‘ข(โ„•) = โ„ค et ๐‘ฃ(โ„ค) = โ„• par consรฉquent

๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข(โ„•) = ๐‘ข (๐‘ฃ(๐‘ข(โ„•))) = ๐‘ข(๐‘ฃ(โ„ค)) = ๐‘ข(โ„•) = โ„ค

Cela montre que ๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข est surjective.

๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข(๐‘ฅ1) = ๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข(๐‘ฅ2) โ‡” ๐‘ข (๐‘ฃ(๐‘ข(๐‘ฅ1))) = ๐‘ข (๐‘ฃ(๐‘ข(๐‘ฅ2))) โ‡” ๐‘ฃ(๐‘ข(๐‘ฅ1)) = ๐‘ฃ(๐‘ข(๐‘ฅ2))

Car ๐‘ข est injective

๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข(๐‘ฅ1) = ๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข(๐‘ฅ2) โ‡” ๐‘ฃ(๐‘ข(๐‘ฅ1)) = ๐‘ฃ(๐‘ข(๐‘ฅ2)) โ‡” ๐‘ข(๐‘ฅ1) = ๐‘ข(๐‘ฅ2)

Car ๐‘ฃ est injective

๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข(๐‘ฅ1) = ๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข(๐‘ฅ2) โ‡” ๐‘ข(๐‘ฅ1) = ๐‘ข(๐‘ฅ2) โ‡” ๐‘ฅ1 = ๐‘ฅ2

Car ๐‘ข est injective

Finalement ๐‘ข โˆ˜ ๐‘ฃ โˆ˜ ๐‘ข est injective et donc bijective (puisquโ€™elle est surjective).

2. 7 nโ€™admet pas dโ€™antรฉcรฉdent donc ๐‘“ nโ€™est pas surjective.

๐‘“(๐‘Ž, ๐‘, ๐‘) = ๐‘“(๐‘Žโ€ฒ, ๐‘โ€ฒ, ๐‘โ€ฒ) โ‡” 2๐‘Ž3๐‘5๐‘ = 2๐‘Žโ€ฒ3๐‘โ€ฒ

5๐‘โ€ฒ

Lโ€™unicitรฉ de la dรฉcomposition des entiers en produit de facteur premier entraine que ๐‘Ž = ๐‘Žโ€ฒ,

๐‘ = ๐‘โ€ฒ et ๐‘ = ๐‘โ€ฒ, autrement dit ๐‘“ est injective.

Donc ๐‘“ est injective et pas surjective.

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 17: Ensembles-Applications Exercice 1 - e-monsite

17

3. ๐œ‘(๐‘›) = 0 ๐‘’๐‘ก ๐œ‘(2๐‘›) = 0

Donc ๐œ‘ nโ€™est pas injective.

๐œ‘(โ„ค) = {0,1, โ€ฆ , ๐‘› โˆ’ 1} โŠŠ โ„•

Donc ๐œ‘ nโ€™est pas surjective.

4. Pour tout (๐‘ฅ, ๐‘ฆ) โˆˆ โ„ค on cherche sโ€™il existe un unique couple (๐‘ข, ๐‘ฃ) โˆˆ โ„ค tel que

Premier cas ๐‘Ž โ‰  0

(๐‘ฅ, ๐‘ฆ) = ๐‘“(๐‘Ž, ๐‘) โ‡” (๐‘ฅ, ๐‘ฆ) = (๐‘Ž๐‘ข + ๐‘๐‘ฃ + 1, ๐‘๐‘ข + ๐‘‘๐‘ฃ โˆ’ 1) โ‡” {๐‘ฅ = ๐‘Ž๐‘ข + ๐‘๐‘ฃ + 1๐‘ฆ = ๐‘๐‘ข + ๐‘‘๐‘ฃ โˆ’ 1

โ‡”๐ฟ1

๐ฟ2{๐‘ฅ โˆ’ 1 = ๐‘Ž๐‘ข + ๐‘๐‘ฃ๐‘ฆ + 1 = ๐‘๐‘ข + ๐‘‘๐‘ฃ

โ‡”๐ฟ1

๐‘๐ฟ1 โˆ’ ๐‘Ž๐ฟ2{

๐‘ฅ โˆ’ 1 = ๐‘Ž๐‘ข + ๐‘๐‘ฃ๐‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘Ž(๐‘ฆ + 1) = ๐‘๐‘๐‘ฃ โˆ’ ๐‘Ž๐‘‘๐‘ฃ

โ‡” {๐‘ฅ โˆ’ 1 = ๐‘Ž๐‘ข + ๐‘๐‘ฃ

๐‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘Ž(๐‘ฆ + 1) = (๐‘๐‘ โˆ’ ๐‘Ž๐‘‘)๐‘ฃโ‡” {

๐‘ฅ โˆ’ 1 = ๐‘Ž๐‘ข + ๐‘๐‘ฃ๐‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘Ž(๐‘ฆ + 1) = โˆ’๐‘ฃ

โ‡” {๐‘ฅ โˆ’ 1 = ๐‘Ž๐‘ข + ๐‘(โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1))

๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1)

โ‡” {๐‘Ž๐‘ข = โˆ’๐‘(โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1)) + (๐‘ฅ โˆ’ 1)

๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1)

โ‡” {๐‘Ž๐‘ข = ๐‘๐‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘Ž๐‘(๐‘ฆ + 1) + (๐‘ฅ โˆ’ 1)

๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1)

โ‡” {๐‘Ž๐‘ข = (๐‘๐‘ + 1)(๐‘ฅ โˆ’ 1) โˆ’ ๐‘Ž๐‘(๐‘ฆ + 1)

๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1)โ‡” {

๐‘Ž๐‘ข = ๐‘Ž๐‘‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘Ž๐‘(๐‘ฆ + 1)

๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1)

โ‡” {๐‘ข = ๐‘‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘(๐‘ฆ + 1)

๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1)

Si ๐‘Ž = 0, alors ๐‘๐‘ = โˆ’1, en particulier ๐‘ โ‰  0 et 1

๐‘= โˆ’๐‘

(๐‘ฅ, ๐‘ฆ) = ๐‘“(0, ๐‘) โ‡” (๐‘ฅ, ๐‘ฆ) = (๐‘๐‘ฃ + 1, ๐‘๐‘ข + ๐‘‘๐‘ฃ โˆ’ 1) โ‡” {๐‘ฅ = ๐‘๐‘ฃ + 1

๐‘ฆ = ๐‘๐‘ข + ๐‘‘๐‘ฃ โˆ’ 1

โ‡” { ๐‘ฃ =๐‘ฅ โˆ’ 1

๐‘๐‘ฆ = ๐‘๐‘ข + ๐‘‘๐‘ฃ โˆ’ 1

โ‡” {๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1)

๐‘ฆ = ๐‘๐‘ข โˆ’ ๐‘‘๐‘(๐‘ฅ โˆ’ 1) โˆ’ 1โ‡” {

๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1)

๐‘ฆ = ๐‘๐‘ข โˆ’ ๐‘‘๐‘(๐‘ฅ โˆ’ 1) โˆ’ 1

โ‡” {๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1)

๐‘๐‘ข = ๐‘‘๐‘(๐‘ฅ โˆ’ 1) + 1 + ๐‘ฆโ‡” {

๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1)

๐‘ข = ๐‘‘(๐‘ฅ โˆ’ 1) +1 + ๐‘ฆ

๐‘

โ‡” {๐‘ฃ = โˆ’๐‘(๐‘ฅ โˆ’ 1)

๐‘ข = ๐‘‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘(1 + ๐‘ฆ)

Ce sont les mรชmes formules que dans le cas oรน ๐‘Ž โ‰  0

Donc pour tout (๐‘ฅ, ๐‘ฆ) โˆˆ โ„ค2 il existe un unique couple

(๐‘ข, ๐‘ฃ) = (๐‘‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘(๐‘ฆ + 1), โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1)) โˆˆ โ„ค2

tel que (๐‘ฅ, ๐‘ฆ) = ๐‘“(๐‘ข, ๐‘ฃ), ๐‘“ est bijective et

๐‘“โˆ’1(๐‘ฅ, ๐‘ฆ) = (๐‘‘(๐‘ฅ โˆ’ 1) โˆ’ ๐‘(๐‘ฆ + 1), โˆ’๐‘(๐‘ฅ โˆ’ 1) + ๐‘Ž(๐‘ฆ + 1))

Allez ร  : Exercice 25 :

Correction exercice 26 :

1.

๐‘ž1 โ‰ฅ 2 โ‡’ 0 <1

๐‘ž1โ‰ค

1

2 (1)

๐‘ž2 โ‰ฅ 2 โ‡’ 0 <1

๐‘ž2โ‰ค

1

2โ‡’ โˆ’

1

2โ‰ค โˆ’

1

๐‘ž2< 0 (2)

En additionnant (1) et (2)

โˆ’1

2<

1

๐‘ž1โˆ’

1

๐‘ž2<

1

2

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 18: Ensembles-Applications Exercice 1 - e-monsite

18

2.

a. Pour tout (๐‘1, ๐‘ž1) โˆˆ โ„ค ร— โ„• โˆ– {0,1} et (๐‘2, ๐‘ž2) โˆˆ โ„ค ร— โ„• โˆ– {0,1}

๐‘“(๐‘1, ๐‘ž1) = ๐‘“(๐‘2, ๐‘ž2) โ‡’ ๐‘1 +1

๐‘ž1= ๐‘2 +

1

๐‘ž2โ‡’

1

๐‘ž1โˆ’

1

๐‘ž2= ๐‘2 โˆ’ ๐‘1

Dโ€™aprรจs la premiรจre question cela montre que ๐‘2 โˆ’ ๐‘1 โˆˆ ]โˆ’1

2,

1

2[ or ๐‘2 โˆ’ ๐‘1 โˆˆ โ„ค donc ๐‘2 โˆ’ ๐‘1 = 0,

autrement dit ๐‘1 = ๐‘2, puis en reportant dans

๐‘1 +1

๐‘ž1= ๐‘2 +

1

๐‘ž2

Cela montre que 1

๐‘ž1=

1

๐‘ž2 et que ๐‘ž1 = ๐‘ž2

Finalement

(๐‘1, ๐‘ž1) = (๐‘2, ๐‘ž2)

Ce qui montre que ๐‘“ est injective.

b. Regardons si 1 โˆˆ โ„š admet un antรฉcรฉdent, on suppose quโ€™il existe, on lโ€™appelle (๐‘, ๐‘ž)

๐‘ +1

๐‘ž= 1

Ce qui รฉquivaut ร 

1

๐‘ž= 1 โˆ’ ๐‘

Mais 1

๐‘žโˆ‰ โ„ค et 1 โˆ’ ๐‘ โˆˆ โ„ค, ce qui est impossible. Par consรฉquent ๐‘“ nโ€™est pas surjective.

Allez ร  : Exercice 26 :

Correction exercice 27 :

Supposons quโ€™il existe ๐‘“: ๐ธ โ†’ ๐’ซ(๐ธ) surjective et on cherche sโ€™il existe un antรฉcรฉdent ร  ๐ด. On appelle

๐‘ฅ0 โˆˆ ๐ธ, un antรฉcรฉdent de ๐ด, donc par dรฉfinition ๐‘“(๐‘ฅ0) = ๐ด,

si ๐‘ฅ0 โˆˆ ๐‘“(๐‘ฅ0) alors ๐‘ฅ0 โˆˆ ๐ด et donc ๐‘ฅ0 โˆ‰ ๐‘“(๐‘ฅ0) ce qui est contradictoire

Si ๐‘ฅ0 โˆ‰ ๐‘“(๐‘ฅ0) alors par dรฉfinition de ๐ด, ๐‘ฅ0 โˆˆ ๐ด = ๐‘“(๐‘ฅ0) ce qui est aussi contradictoire.

Lโ€™hypothรจse est donc fausse, il nโ€™y a pas dโ€™application surjective de ๐ธ dans ๐’ซ(๐ธ).

Allez ร  : Exercice 27 :

Correction exercice 28 :

1. Premiรจre mรฉthode : raisonnons par rรฉcurrence

On pose (๐ป๐‘›) il y a ๐‘›(๐‘› โˆ’ 1) applications injectives de ๐ผ2 dans ๐ผ๐‘›.

Regardons si (๐ป2) est vraie.

Il y a 4 applications de ๐ผ2 dans ๐ผ๐‘›.

๐‘“1(1) = 1 et ๐‘“1(2) = 1

๐‘“2(1) = 1 et ๐‘“2(2) = 2

๐‘“3(1) = 2 et ๐‘“3(2) = 1

๐‘“4(1) = 2 et ๐‘“4(2) = 2

Seules ๐‘“2 et ๐‘“3 sont injectives. Il y a 2 = 2(2 โˆ’ 1) applications injectives de ๐ผ2 dans ๐ผ2.

Montrons que (๐ป๐‘›) โ‡’ (๐ป๐‘›+1)

Il y a ๐‘›(๐‘› โˆ’ 1) applications injectives de {0,1} dans {0,1, โ€ฆ , ๐‘›}.

Supposons que ๐‘“(1) = ๐‘› + 1 alors ๐‘“(2) โˆˆ {1, โ€ฆ , ๐‘›} (pour que ๐‘“(1) โ‰  ๐‘“(2)), cela fait ๐‘›

applications injectives de plus.

Supposons que ๐‘“(2) = ๐‘› + 1 alors ๐‘“(1) โˆˆ {1, โ€ฆ , ๐‘›} (pour que ๐‘“(1) โ‰  ๐‘“(2)), cela fait ๐‘›

applications injectives de plus.

Au total, il y a ๐‘›(๐‘› โˆ’ 1) + ๐‘› + ๐‘› = ๐‘›2 โˆ’ ๐‘› + ๐‘› + ๐‘› = ๐‘›2 + ๐‘› = ๐‘›(๐‘› + 1)

Lโ€™hypothรจse est vรฉrifiรฉe.

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 19: Ensembles-Applications Exercice 1 - e-monsite

19

Conclusion pour tout ๐‘› โ‰ฅ 2, il y a ๐‘›(๐‘› โˆ’ 1) applications injectives de ๐ผ2 dans ๐ผ๐‘›.

Deuxiรจme mรฉthode :

Si ๐‘“(1) = ๐‘˜ โˆˆ {0,1, โ€ฆ , ๐‘›} alors ๐‘“(2) โˆˆ {1, โ€ฆ , ๐‘˜ โˆ’ 1, ๐‘˜ + 1, โ€ฆ , ๐‘›}.

Cela fait ๐‘› choix possibles pour ๐‘“(1) et ๐‘› โˆ’ 1 pour ๐‘“(2), soit ๐‘›(๐‘› โˆ’ 1) choix possibles pour

(๐‘“(1), ๐‘“(2)) de faรงon ร  ce que ๐‘“(1) โ‰  ๐‘“(2) (autrement dit pour que ๐‘“ soit injective).

2. ๐‘“: ๐ผ๐‘š โ†’ ๐ผ๐‘›

๐‘“ injective รฉquivaut ร  ๐‘“(1) = ๐‘˜1; ๐‘“(2) = ๐‘˜2; โ€ฆ ; ๐‘“(๐‘š) = ๐‘˜๐‘š, avec ๐‘˜1, ๐‘˜2, โ€ฆ , ๐‘˜๐‘š โˆˆ {1,2, โ€ฆ , ๐‘›}

tous distincts par consรฉquent ๐‘š โ‰ค ๐‘›.

Remarque :

Cela ne veut pas dire que toutes les applications de {1,2, โ€ฆ , ๐‘š} dans {1,2, โ€ฆ , ๐‘›} sont injectives !

Supposons que ๐‘“ est surjective.

Pour tout ๐‘˜1, ๐‘˜2, โ€ฆ , ๐‘˜๐‘› โˆˆ {1,2, โ€ฆ , ๐‘›} (les ๐‘˜๐‘– tous distincts) il existe ๐‘™1, ๐‘™2, โ€ฆ , ๐‘™๐‘› โˆˆ {1,2, โ€ฆ , ๐‘š} tels

que ๐‘˜๐‘– = ๐‘“(๐‘™๐‘–) par dรฉfinition dโ€™une application tous les ๐‘™๐‘– sont distincts (sinon un รฉlรฉment aurait

plusieurs images), par consรฉquent ๐‘› โ‰ค ๐‘š.

Pour que ๐‘“ soit bijective il faut (et il suffit) que ๐‘“ soit injective et sujective, par consรฉquent il

faut que ๐‘š โ‰ค ๐‘› et que ๐‘› โ‰ค ๐‘š, autrement dit il faut que ๐‘š = ๐‘›.

Remarque :

Cela ne veut pas dire que toutes les applications de {1,2, โ€ฆ , ๐‘›} dans {1,2, โ€ฆ , ๐‘›} sont bijectives.

Allez ร  : Exercice 28 :

Correction exercice 29 :

1. ๐‘” โˆ˜ ๐‘“(๐‘ฅ1) = ๐‘” โˆ˜ ๐‘“(๐‘ฅ2) โ‡’ ๐‘”(๐‘“(๐‘ฅ1)) = ๐‘”(๐‘“(๐‘ฅ2)) โ‡’ ๐‘“(๐‘ฅ1) = ๐‘“(๐‘ฅ2)

Car ๐‘” est injective

๐‘” โˆ˜ ๐‘“(๐‘ฅ1) = ๐‘” โˆ˜ ๐‘“(๐‘ฅ2) โ‡’ ๐‘“(๐‘ฅ1) = ๐‘“(๐‘ฅ2) โ‡’ ๐‘ฅ1 = ๐‘ฅ2

Car ๐‘“ est injective.

Donc ๐‘” โˆ˜ ๐‘“ est injective.

2. Premiรจre mรฉthode :

Pour tout ๐‘ง โˆˆ ๐บ il existe ๐‘ฆ โˆˆ ๐น tel que ๐‘ง = ๐‘”(๐‘ฆ) car ๐‘” est surjective.

Comme pour tout ๐‘ฆ โˆˆ ๐น il existe ๐‘ฅ โˆˆ ๐ธ tel que ๐‘ฆ = ๐‘“(๐‘ฅ) car ๐‘“ est surjective. On en dรฉduit que

pour tout ๐‘ง โˆˆ ๐บ il existe ๐‘ฅ โˆˆ ๐ธ tel que ๐‘ง = ๐‘”(๐‘“(๐‘ฅ)) = ๐‘” โˆ˜ ๐‘“(๐‘ฅ) autrement dit ๐‘” โˆ˜ ๐‘“ est

surjective.

Remarque :

(a) Dโ€™habitude on appelle ๐‘ฆ un รฉlรฉment de lโ€™image ๐บ mais ici ce pose un petit problรจme de notation parce que

lโ€™on va appeler ๐‘ฅ lโ€™รฉlรฉment de ๐น et on ne saura pas trop comment appeler lโ€™รฉlรฉment de ๐ธ, cโ€™est pour cela quโ€™il

est plus malin de lโ€™appeler ๐‘ง.

(b) Si on commence par รฉcrire ยซ pour tout ๐‘ฆ โˆˆ ๐น il existe ๐‘ฅ โˆˆ ๐ธ tel que ๐‘ฆ = ๐‘“(๐‘ฅ) car ๐‘“ est surjective ยป puis

ยซ pour tout ๐‘ง โˆˆ ๐บ il existe ๐‘ฆ โˆˆ ๐น tel que ๐‘ง = ๐‘”(๐‘ฆ) car ๐‘” est surjective ยป donc ยซ pour tout ๐‘ง โˆˆ ๐บ il existe ๐‘ฅ โˆˆ ๐ธ

tel que ๐‘ง = ๐‘”(๐‘“(๐‘ฅ)) = ๐‘” โˆ˜ ๐‘“(๐‘ฅ) ยป cela ne va pas, je vous laisse rรฉflรฉchir pourquoi.

Deuxiรจme mรฉthode :

On rappelle que ๐œ‘: ๐‘ˆ โ†’ ๐‘‰ est surjective si et seulement si ๐œ‘(๐‘ˆ) = ๐‘‰

Donc ๐‘“(๐ธ) = ๐น et ๐‘”(๐น) = ๐บ, par consรฉquent ๐‘” โˆ˜ ๐‘“(๐ธ) = ๐‘”(๐‘“(๐ธ)) = ๐‘”(๐น) = ๐บ et on en dรฉduit

que ๐‘” โˆ˜ ๐‘“ est surjective.

3. Si ๐‘” et ๐‘“ sont bijectives alors elles sont injectives et ๐‘” โˆ˜ ๐‘“ est injective et si ๐‘” et ๐‘“ sont bijectives

alors elles sont surjectives et ๐‘” โˆ˜ ๐‘“ est surjective, on en dรฉduit que ๐‘” โˆ˜ ๐‘“ est bijective.

4. ๐‘“(๐‘ฅ1) = ๐‘“(๐‘ฅ2) โ‡’ ๐‘”(๐‘“(๐‘ฅ1)) = ๐‘”(๐‘“(๐‘ฅ2)) โ‡’ ๐‘” โˆ˜ ๐‘“(๐‘ฅ1) = ๐‘” โˆ˜ ๐‘“(๐‘ฅ2) โ‡’ ๐‘ฅ1 = ๐‘ฅ2

Car ๐‘” โˆ˜ ๐‘“ est injective, par consรฉquent ๐‘“ est injective.

5. Premiรจre mรฉthode :

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 20: Ensembles-Applications Exercice 1 - e-monsite

20

Pour tout ๐‘ง โˆˆ ๐บ, il existe ๐‘ฅ โˆˆ ๐ธ tel que ๐‘ง = ๐‘” โˆ˜ ๐‘“(๐‘ฅ) = ๐‘”(๐‘“(๐‘ฅ)), donc il existe ๐‘ฆ = ๐‘“(๐‘ฅ) tel que

๐‘ง = ๐‘”(๐‘ฆ) ce qui signifie que ๐‘” est surjective.

Deuxiรจme mรฉthode :

Comme ๐‘” โˆ˜ ๐‘“ est surjective, ๐‘” โˆ˜ ๐‘“(๐ธ) = ๐บ โ‡” ๐‘”(๐‘“(๐ธ)) = ๐บ or ๐‘“(๐ธ) โŠ‚ ๐น donc

๐‘”(๐‘“(๐ธ)) โŠ‚ ๐‘”(๐น)

Comme ๐‘”(๐น) โŠ‚ ๐บ, cela donne

๐บ = ๐‘”(๐‘“(๐ธ)) โŠ‚ ๐‘”(๐น) โŠ‚ ๐บ

Dโ€™oรน

๐‘”(๐‘“(๐ธ)) = ๐‘”(๐น) = ๐บ โ‡’ ๐‘”(๐น) = ๐บ

Ce qui montre que ๐‘” est surjective.

6.

a. ๐‘” โˆ˜ ๐‘“ = ๐ผ๐‘‘๐ธ est bijective (lโ€™identitรฉ est bijective)

๐‘” โˆ˜ ๐‘“ est injective, dโ€™aprรจs 4ยฐ), ๐‘“ est injective.

๐‘” โˆ˜ ๐‘“ est surjective, dโ€™aprรจs 5ยฐ), ๐‘” est surjective.

Remarque :

๐‘” โˆ˜ ๐‘“ = ๐ผ๐‘‘๐ธ nโ€™entraine pas que ๐‘” = ๐‘“โˆ’1 et que donc ๐‘“ et ๐‘” sont bijectives.

b. ๐‘“ โˆ˜ ๐‘” = ๐ผ๐‘‘๐น est bijective (lโ€™identitรฉ est bijective)

๐‘“ โˆ˜ ๐‘” est injective, dโ€™aprรจs 4ยฐ), ๐‘” est injective.

๐‘“ โˆ˜ ๐‘” est surjective, dโ€™aprรจs 5ยฐ), ๐‘“ est surjective.

c. ๐‘“ โˆ˜ ๐‘“ = ๐ผ๐‘‘๐ธ est bijective

๐‘“ โˆ˜ ๐‘“ est injective, dโ€™aprรจs 4ยฐ), ๐‘“ est injective.

๐‘“ โˆ˜ ๐‘“ est surjective, dโ€™aprรจs 5ยฐ), ๐‘“ est surjective.

Par consรฉquent ๐‘“ est bijective et ๐‘“โˆ’1 = ๐‘“.

Allez ร  : Exercice 29 :

Correction exercice 30 :

1. Pour tout ๐‘ฆ โˆˆ ๐‘Œ il existe ๐‘ฅ = ๐‘ (๐‘ฆ) โˆˆ ๐‘‹ tel que ๐‘ฆ = ๐ผ๐‘‘๐‘Œ(๐‘ฆ) = ๐‘“(๐‘ (๐‘ฆ)) = ๐‘“(๐‘ฅ), ๐‘“ est surjective.

2. ๐‘ (๐‘ฆ1) = ๐‘ (๐‘ฆ2) โ‡’ ๐‘“(๐‘ (๐‘ฆ1)) = ๐‘“(๐‘ (๐‘ฆ2)) โ‡’ ๐‘ฆ1 = ๐‘ฆ2

๐‘  est injective.

3. ๐‘“(๐‘ฅ1) = ๐‘“(๐‘ฅ2) โ‡’ ๐‘Ÿ(๐‘“(๐‘ฅ1)) = ๐‘Ÿ(๐‘“(๐‘ฅ2)) โ‡’ ๐ผ๐‘‘๐‘‹(๐‘ฅ1) = ๐ผ๐‘‘๐‘‹(๐‘ฅ2) โ‡’ ๐‘ฅ1 = ๐‘ฅ2

๐‘“ est injective.

4. Pour tout ๐‘ฅ โˆˆ ๐‘‹, pose ๐‘ฆ = ๐‘“(๐‘ฅ).

Comme ๐‘“(๐‘ฅ) = ๐‘“(๐‘ฅโ€ฒ) โ‡’ ๐‘ฅ = ๐‘ฅโ€ฒ ร  chaque ๐‘ฆ โˆˆ ๐‘Œ telle que ๐‘ฆ = ๐‘“(๐‘ฅ) on associe bien une unique

valeur ๐‘ฅ, on dรฉfinit alors ๐‘Ÿ: ๐‘“(๐‘‹) โ†’ ๐‘‹ par ๐‘Ÿ(๐‘ฆ) = ๐‘ฅ. Pour les ๐‘ฆ โˆˆ ๐‘Œ qui ne sont pas dans lโ€™image

de ๐‘‹ par ๐‘“, autrement dit qui ne sont pas de la forme ๐‘ฆ = ๐‘“(๐‘ฅ), on leur attribue nโ€™importe quelle

valeur dans ๐‘‹, mettons ๐‘ฅ0 pour fixรฉ les idรฉes (dโ€™ailleurs, on nโ€™est pas obligรฉ de leur attribuer ร 

tous la mรชme valeur).

Pour tout ๐‘ฅ โˆˆ ๐‘‹.

๐‘ฅ = ๐‘Ÿ(๐‘ฆ) = ๐‘Ÿ(๐‘“(๐‘ฅ)) โ‡” ๐ผ๐‘‘๐‘‹ = ๐‘Ÿ โˆ˜ ๐‘“

๐‘Ÿ est bien une rรฉtraction de ๐‘“.

Remarque :

Si ๐‘ฆ โˆ‰ ๐‘“(๐‘‹), ๐‘Ÿ(๐‘ฆ) = ๐‘ฅ0 ne sert ร  rien pour montrer que ๐‘Ÿ est une rรฉtraction.

5. Pour tout ๐‘ฅ โˆˆ ๐‘‹, il existe ๐‘ฆ = ๐‘“(๐‘ฅ) tel que :

๐‘ฅ = ๐ผ๐‘‘๐‘‹(๐‘ฅ) = ๐‘Ÿ(๐‘“(๐‘ฅ)) = ๐‘Ÿ(๐‘ฆ)

Cela montre que ๐‘Ÿ est surjective.

Remarque :

Les rรดles habituels de ๐‘ฅ et ๐‘ฆ ont รฉtรฉ inversรฉs pour respecter les notations de lโ€™รฉnoncรฉ.

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 21: Ensembles-Applications Exercice 1 - e-monsite

21

6.

Si ๐‘“ admet une section alors ๐‘“ est surjective dโ€™aprรจs 1ยฐ).

Si ๐‘“ admet une rรฉtraction alors ๐‘“ est injective dโ€™aprรจs 3ยฐ).

Par consรฉquent ๐‘“ est bijective, on note ๐‘“โˆ’1: ๐‘Œ โ†’ ๐‘‹ sa bijection rรฉciproque.

Comme ๐ผ๐‘‘๐‘‹ = ๐‘Ÿ โˆ˜ ๐‘“, en composant par ๐‘“โˆ’1 ร  droite :

๐ผ๐‘‘๐‘‹ โˆ˜ ๐‘“โˆ’1 = (๐‘Ÿ โˆ˜ ๐‘“) โˆ˜ ๐‘“โˆ’1 โ‡” ๐‘“โˆ’1 = ๐‘Ÿ โˆ˜ (๐‘“ โˆ˜ ๐‘“โˆ’1) = ๐‘Ÿ

Comme ๐ผ๐‘‘๐‘Œ = ๐‘“ โˆ˜ ๐‘ , en composant par ๐‘“โˆ’1 ร  gauche :

๐‘“โˆ’1 โˆ˜ ๐ผ๐‘‘๐‘Œ = ๐‘“โˆ’1 โˆ˜ (๐‘“ โˆ˜ ๐‘ ) โ‡” ๐‘“โˆ’1 = (๐‘“โˆ’1 โˆ˜ ๐‘“) โˆ˜ ๐‘  = ๐‘ 

Dโ€™oรน ๐‘Ÿ = ๐‘  = ๐‘“โˆ’1.

Allez ร  : Exercice 30 :

Correction exercice 31 :

1. Pour tout ๐‘ฆ โˆˆ ๐‘“(๐ด โˆช ๐ต), il existe ๐‘ฅ โˆˆ ๐ด โˆช ๐ต tel que ๐‘ฆ = ๐‘“(๐‘ฅ).

Comme ๐‘ฅ โˆˆ ๐ด, ๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐ด), comme ๐‘ฅ โˆˆ ๐ต, ๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐ต) par consรฉquent

๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐ด) โˆช ๐‘“(๐ต)

Cela montre que ๐‘“(๐ด โˆช ๐ต) โŠ‚ ๐‘“(๐ด) โˆช ๐‘“(๐ต)

Pour tout ๐‘ฆ โˆˆ ๐‘“(๐ด) โˆช ๐‘“(๐ต), ๐‘ฆ โˆˆ ๐‘“(๐ด) ou ๐‘ฆ โˆˆ ๐‘“(๐ต)

Si ๐‘ฆ โˆˆ ๐‘“(๐ด) alors il existe ๐‘ฅ โˆˆ ๐ด tel que ๐‘ฆ = ๐‘“(๐‘ฅ), mais ๐‘ฅ โˆˆ ๐ด โŠ‚ ๐ด โˆช ๐ต donc ๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ

๐‘“(๐ด โˆช ๐ต)

Si ๐‘ฆ โˆˆ ๐‘“(๐ต) alors il existe ๐‘ฅ โˆˆ ๐ต tel que ๐‘ฆ = ๐‘“(๐‘ฅ), mais ๐‘ฅ โˆˆ ๐ต โŠ‚ ๐ด โˆช ๐ต donc ๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ

๐‘“(๐ด โˆช ๐ต)

Cela montre que s tous les cas ๐‘ฆ โˆˆ ๐‘“(๐ด โˆช ๐ต) et que donc

๐‘“(๐ด) โˆช ๐‘“(๐ต) โŠ‚ ๐‘“(๐ด โˆช ๐ต)

Finalement ๐‘“(๐ด โˆช ๐ต) = ๐‘“(๐ด) โˆช ๐‘“(๐ต)

2. Pour tout ๐‘ฆ โˆˆ ๐‘“(๐ด โˆฉ ๐ต), il existe ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ต tel que ๐‘ฆ = ๐‘“(๐‘ฅ).

Comme ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ต โŠ‚ ๐ด, ๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐ด), comme ๐‘ฅ โˆˆ ๐ด โˆฉ ๐ต โŠ‚ ๐ต, ๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐ต) par

consรฉquent

๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐ด) โˆฉ ๐‘“(๐ต)

Cela montre que ๐‘“(๐ด โˆฉ ๐ต) โŠ‚ ๐‘“(๐ด) โˆฉ ๐‘“(๐ต)

Pour trouver un exemple oรน lโ€™inclusion est stricte, dโ€™aprรจs la suite, il ne faut pas prendre une

fonction injective, par exemple prenons ๐‘“: โ„ โ†’ โ„ dรฉfinie par ๐‘“(๐‘ฅ) = ๐‘ฅ2, ensuite il faut prendre

๐ด et ๐ต oรน ๐‘“ nโ€™est pas injective, par exemple :

๐ด = [โˆ’4,2] et ๐ต = [โˆ’2,3]

๐‘“(๐ด) = ๐‘“([โˆ’4,2]) = [0,16] ; ๐‘“(๐ต) = ๐‘“([โˆ’2,3]) = [0,9] โ‡’ ๐‘“(๐ด) โˆฉ ๐‘“(๐ต) = [0,9]

๐ด โˆฉ ๐ต = [โˆ’2,2] โ‡’ ๐‘“(๐ด โˆฉ ๐ต) = [0,4]

On a bien ๐‘“(๐ด โˆฉ ๐ต) โŠŠ ๐‘“(๐ด) โˆฉ ๐‘“(๐ต)

Allez ร  : Exercice 31 :

Correction exercice 32 :

1. ๐‘“โˆ’1({2}) = {3,4}; ๐‘“โˆ’1({1,2}) = {2,3,4} ; ๐‘“โˆ’1({3}) = โˆ…

2.

๐‘“โˆ’1({1}) = {โˆ’1,1}

๐‘“โˆ’1([1,2]) = [โˆ’โˆš2, โˆ’1] โˆช [1, โˆš2]

Allez ร  : Exercice 32 :

Correction exercice 33 :

1. [0,1] ร— [0,1] = {(๐‘ฅ, ๐‘ฆ) โˆˆ โ„2, 0 โ‰ค ๐‘ฅ โ‰ค 1 et 0 โ‰ค ๐‘ฆ โ‰ค 1}

Donc

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 22: Ensembles-Applications Exercice 1 - e-monsite

22

๐‘“([0,1] ร— [0,1]) = {๐‘ฅ โˆˆ โ„, 0 โ‰ค ๐‘ฅ โ‰ค 1} = [0,1]

๐‘“โˆ’1([โˆ’1,1]) = {(๐‘ฅ, ๐‘ฆ) โˆˆ โ„2, ๐‘“(๐‘ฅ, ๐‘ฆ) โˆˆ [โˆ’1,1]} = {(๐‘ฅ, ๐‘ฆ) โˆˆ โ„2, ๐‘ฅ โˆˆ [โˆ’1,1]} = [โˆ’1,1] ร— โ„

2.

๐‘“(โ„•) = {๐‘ฆ โˆˆ [โˆ’1,1], ๐‘ฆ = cos(๐œ‹๐‘›) , ๐‘› โˆˆ โ„•} = {๐‘ฆ โˆˆ [โˆ’1,1], ๐‘ฆ = (โˆ’1)n, ๐‘› โˆˆ โ„•} = {โˆ’1,1}

๐‘“(2โ„•) = {๐‘ฆ โˆˆ [โˆ’1,1], ๐‘ฆ = cos(2๐œ‹๐‘›) , ๐‘› โˆˆ โ„•} = {๐‘ฆ โˆˆ [โˆ’1,1], ๐‘ฆ = 1, ๐‘› โˆˆ โ„•} = {1}

๐‘“โˆ’1({ยฑ1}) = {๐‘ฅ โˆˆ โ„, cos(๐œ‹๐‘ฅ) = ยฑ1}

Or cos(๐‘ฅ) = 1 โ‡” ๐‘ฅ = 2๐‘˜๐œ‹ et cos(๐‘ฅ) = โˆ’1 โ‡” ๐‘ฅ = (2๐‘˜ + 1)๐œ‹ avec ๐‘˜ โˆˆ โ„ค

๐‘“โˆ’1({ยฑ1}) = {๐‘ฅ โˆˆ โ„, ๐‘ฅ = 2๐‘˜๐œ‹ , ๐‘ฅ = (2๐‘˜ + 1)๐œ‹ , k โˆˆ โ„ค} = {๐‘›๐œ‹, ๐‘› โˆˆ โ„ค}

Allez ร  : Exercice 33 :

Correction exercice 34 :

1. Pour tout ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ โˆช ๐ตโ€ฒ), ๐‘“(๐‘ฅ) โˆˆ ๐ดโ€ฒ โˆช ๐ตโ€ฒ donc ๐‘“(๐‘ฅ) โˆˆ ๐ดโ€ฒ ou ๐‘“(๐‘ฅ) โˆˆ ๐ตโ€ฒ, par consรฉquent

๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ) ou ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ตโ€ฒ), autrement dit ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ) โˆช ๐‘“โˆ’1(๐ตโ€ฒ)

On a montrรฉ que ๐‘“โˆ’1(๐ดโ€ฒ โˆช ๐ตโ€ฒ) โŠ‚ ๐‘“โˆ’1(๐ดโ€ฒ) โˆช ๐‘“โˆ’1(๐ตโ€ฒ)

Pour tout ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ) โˆช ๐‘“โˆ’1(๐ตโ€ฒ), ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ) ou ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ตโ€ฒ), par consรฉquent ๐‘“(๐‘ฅ) โˆˆ ๐ดโ€ฒ ou

๐‘“(๐‘ฅ) โˆˆ ๐ตโ€ฒ, autrement dit ๐‘“(๐‘ฅ) โˆˆ ๐ดโ€ฒ โˆช ๐ตโ€ฒ, donc ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ โˆช ๐ตโ€ฒ).

On a montrรฉ que ๐‘“โˆ’1(๐ดโ€ฒ) โˆช ๐‘“โˆ’1(๐ตโ€ฒ) โŠ‚ ๐‘“โˆ’1(๐ดโ€ฒ โˆช ๐ตโ€ฒ)

Finalement ๐‘“โˆ’1(๐ดโ€ฒ โˆช ๐ตโ€ฒ) = ๐‘“โˆ’1(๐ดโ€ฒ) โˆช ๐‘“โˆ’1(๐ตโ€ฒ)

2. Pour tout ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ โˆฉ ๐ตโ€ฒ), ๐‘“(๐‘ฅ) โˆˆ ๐ดโ€ฒ โˆฉ ๐ตโ€ฒ donc ๐‘“(๐‘ฅ) โˆˆ ๐ดโ€ฒ et ๐‘“(๐‘ฅ) โˆˆ ๐ตโ€ฒ, par consรฉquent

๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ) et ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ตโ€ฒ), autrement dit ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ) โˆฉ ๐‘“โˆ’1(๐ตโ€ฒ)

On a montrรฉ que ๐‘“โˆ’1(๐ดโ€ฒ โˆฉ ๐ตโ€ฒ) โŠ‚ ๐‘“โˆ’1(๐ดโ€ฒ) โˆฉ ๐‘“โˆ’1(๐ตโ€ฒ)

Pour tout ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ) โˆฉ ๐‘“โˆ’1(๐ตโ€ฒ), ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ) et ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ตโ€ฒ), par consรฉquent ๐‘“(๐‘ฅ) โˆˆ ๐ดโ€ฒ et

๐‘“(๐‘ฅ) โˆˆ ๐ตโ€ฒ, autrement dit ๐‘“(๐‘ฅ) โˆˆ ๐ดโ€ฒ โˆฉ ๐ตโ€ฒ, donc ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ดโ€ฒ โˆฉ ๐ตโ€ฒ).

On a montrรฉ que ๐‘“โˆ’1(๐ดโ€ฒ) โˆฉ ๐‘“โˆ’1(๐ตโ€ฒ) โŠ‚ ๐‘“โˆ’1(๐ดโ€ฒ โˆฉ ๐ตโ€ฒ)

Finalement ๐‘“โˆ’1(๐ดโ€ฒ โˆฉ ๐ตโ€ฒ) = ๐‘“โˆ’1(๐ดโ€ฒ) โˆฉ ๐‘“โˆ’1(๐ตโ€ฒ)

Allez ร  : Exercice 34 :

Correction exercice 35 :

1. Pour tout ๐‘ฅ โˆˆ ๐ด, ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐ด) et donc ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐‘“(๐ด)), ce qui montre que ๐ด โŠ‚ ๐‘“โˆ’1(๐‘“(๐ด))

2. Pour tout ๐‘ฆ โˆˆ ๐‘“(๐‘“โˆ’1(๐ต)), il existe ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ต) tel que ๐‘ฆ = ๐‘“(๐‘ฅ), comme ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ต) ๐‘“(๐‘ฅ) โˆˆ ๐ต

ce qui entraine que ๐‘ฆ โˆˆ ๐ต, ce qui montre que ๐‘“(๐‘“โˆ’1(๐ต)) โŠ‚ ๐ต.

3. Comme ยซ pour toute partie ๐ด de ๐ธ, on a ๐ด โŠ‚ ๐‘“โˆ’1(๐‘“(๐ด)) ยป la question revient ร  montrer que :

ยซ ๐‘“ est injective si et seulement si pour toute partie ๐ด de ๐ธ on a ๐ด โŠƒ ๐‘“โˆ’1(๐‘“(๐ด)) ยป

Si ๐‘“ est injective.

Pour tout ๐‘ฅ โˆˆ ๐‘“โˆ’1(๐‘“(๐ด)), ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐ด) ce qui signifie quโ€™il existe ๐‘ฅโ€ฒ โˆˆ ๐ด (attention, ร  priori ce

nโ€™est pas le mรชme ๐‘ฅ que celui du dรฉbut de la phrase) tel que ๐‘“(๐‘ฅ) = ๐‘“(๐‘ฅโ€ฒ) comme ๐‘“ est injective

๐‘ฅ = ๐‘ฅโ€ฒ, par consรฉquent ๐‘ฅ โˆˆ ๐ด.

On a montrรฉ que ๐‘“โˆ’1(๐‘“(๐ด)) โŠ‚ ๐ด.

Si pour toute partie ๐ด โŠ‚ ๐ธ, ๐‘“โˆ’1(๐‘“(๐ด)) โŠ‚ ๐ด

๐‘“(๐‘ฅ1) = ๐‘“(๐‘ฅ2) = ๐‘ฆ

On prend ๐ด = {๐‘ฅ1}

๐‘“(๐ด) = ๐‘“({๐‘ฅ1}) = {๐‘“(๐‘ฅ1)} = {๐‘ฆ} โ‡’ ๐‘“โˆ’1(๐‘“(๐ด)) = ๐‘“โˆ’1({๐‘ฆ}) = ๐‘“โˆ’1(๐‘ฆ)

Dโ€™aprรจs lโ€™hypothรจse ๐‘“โˆ’1(๐‘“(๐ด)) โŠ‚ ๐ด donc {๐‘“โˆ’1(๐‘ฆ)} โŠ‚ {๐‘ฅ1}

Or ๐‘ฅ2 โˆˆ ๐‘“โˆ’1(๐‘ฆ) car ๐‘“(๐‘ฅ2) = ๐‘ฆ donc ๐‘ฅ2 โˆˆ {๐‘ฅ1} par consรฉquent ๐‘ฅ1 = ๐‘ฅ2 ce qui signifie que ๐‘“ est

injective.

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com

Page 23: Ensembles-Applications Exercice 1 - e-monsite

23

Finalement on a montrรฉ lโ€™รฉquivalence demandรฉe.

4. Comme ยซ pour toute partie ๐ต de ๐น, on a ๐‘“(๐‘“โˆ’1(๐ต)) โŠ‚ ๐ต ยป la question revient ร  montrer que :

ยซ ๐‘“ est surjective si et seulement si pour toute partie ๐ต de ๐น on a ๐‘“(๐‘“โˆ’1(๐ต)) โŠƒ ๐ต ยป

Si ๐‘“ est surjective.

Pour tout ๐‘ฆ โˆˆ ๐ต, il existe ๐‘ฅ โˆˆ ๐ธ tel que ๐‘ฆ = ๐‘“(๐‘ฅ) car ๐‘“ est surjective.

๐‘ฅ โˆˆ ๐‘“โˆ’1(๐ต) entraine que ๐‘ฆ = ๐‘“(๐‘ฅ) โˆˆ ๐‘“(๐‘“โˆ’1(๐ต)), cela montre que ๐ต โŠ‚ ๐‘“(๐‘“โˆ’1(๐ต)).

Si pour tout ๐ต โŠ‚ ๐‘“(๐‘“โˆ’1(๐ต))

On pose ๐ต = {๐‘ฆ}, alors {๐‘ฆ} โŠ‚ ๐‘“(๐‘“โˆ’1({๐‘ฆ})) ce qui sโ€™รฉcrit aussi ๐‘ฆ โˆˆ ๐‘“(๐‘“โˆ’1({๐‘ฆ})), il existe donc

๐‘ฅ โˆˆ ๐‘“โˆ’1({๐‘ฆ}) tel que ๐‘ฆ = ๐‘“(๐‘ฅ), cela montre bien que ๐‘“ est surjective.

Finalement on a montrรฉ lโ€™รฉquivalence demandรฉe.

Allez ร  : Exercice 35 :

Correction exercice 36 :

1. Le point (0,1) vรฉrifie ๐‘ฅ โ‰ค ๐‘ฆ donc {(๐‘ฅ, ๐‘ฆ) โˆˆ โ„2, ๐‘ฅ โ‰ค ๐‘ฆ} est le demi-plan supรฉrieur droit. De mรชme (0,1)

vรฉrifie โˆ’๐‘ฆ โ‰ค ๐‘ฅ donc {(๐‘ฅ, ๐‘ฆ) โˆˆ โ„2, โˆ’๐‘ฆ โ‰ค ๐‘ฅ} est le demi-plan supรฉrieur droit, ๐ท est lโ€™intersection de ces

deux demi-plan, ๐ท est le quart de plan supรฉrieur du schรฉma ci-dessous.

2. a.

๐ฟ1

๐ฟ2{๐‘ฅ1 + ๐‘ฆ1 = ๐‘ฅ2 + ๐‘ฆ2

๐‘ฅ1 โˆ’ ๐‘ฆ1 = ๐‘ฅ2 โˆ’ ๐‘ฆ2

En additionnant ๐ฟ1 et ๐ฟ2 on trouve que 2๐‘ฅ1 = 2๐‘ฅ2, donc ๐‘ฅ1 = ๐‘ฅ2, puis en remplaรงant dans ๐ฟ1, on trouve

que ๐‘ฆ1 = ๐‘ฆ2.

b.

๐‘“(๐‘ฅ1, ๐‘ฆ1) = ๐‘“(๐‘ฅ2, ๐‘ฆ2) โ‡’ (๐‘ฅ12 + ๐‘ฆ1

2, 2๐‘ฅ1๐‘ฆ1) = (๐‘ฅ22 + ๐‘ฆ2

2, 2๐‘ฅ2๐‘ฆ2) โ‡’๐ฟ1

๐ฟ2{๐‘ฅ1

2 + ๐‘ฆ12 = ๐‘ฅ2

2 + ๐‘ฆ22

2๐‘ฅ1๐‘ฆ1 = 2๐‘ฅ2๐‘ฆ2

๐ฟ1 โ€“ ๐ฟ2 donne ๐‘ฅ12 + ๐‘ฆ1

2 โˆ’ 2๐‘ฅ1๐‘ฆ1 = ๐‘ฅ22 + ๐‘ฆ2

2 โˆ’ 2๐‘ฅ2๐‘ฆ2, ce qui entraine que (๐‘ฅ1 โˆ’ ๐‘ฆ1)2 = (๐‘ฅ2 โˆ’ ๐‘ฆ2)2,

comme ๐‘ฅ โˆ’ ๐‘ฆ โ‰ค 0 sur ๐ท, cela donne โˆ’(๐‘ฅ1 โˆ’ ๐‘ฆ1) = โˆ’(๐‘ฅ2 โˆ’ ๐‘ฆ2) ou encore ๐‘ฅ1 โˆ’ ๐‘ฆ1 = ๐‘ฅ2 โˆ’ ๐‘ฆ2.

๐ฟ1 + ๐ฟ2 donne ๐‘ฅ12 + ๐‘ฆ1

2 + 2๐‘ฅ1๐‘ฆ1 = ๐‘ฅ22 + ๐‘ฆ2

2 + 2๐‘ฅ2๐‘ฆ2, ce qui entraine que (๐‘ฅ1 + ๐‘ฆ1)2 = (๐‘ฅ2 + ๐‘ฆ2)2,

comme ๐‘ฅ + ๐‘ฆ โ‰ฅ 0 sur ๐ท, cela donne ๐‘ฅ1 + ๐‘ฆ1 = ๐‘ฅ2 + ๐‘ฆ2.

Dโ€™aprรจs 2.a. cela donne que ๐‘ฅ1 = ๐‘ฅ2 et que ๐‘ฆ1 = ๐‘ฆ2, ce qui montre que ๐‘“ est injective.

3. (โˆ’1, 1) โˆˆ โ„ ร— โ„ nโ€™a pas dโ€™antรฉcรฉdent dans ๐ท car ๐‘ฅ2 + ๐‘ฆ2 > 0.

Allez ร  : Exercice 36 :

๐‘ฆ = ๐‘ฅ ๐‘ฆ = โˆ’๐‘ฅ ๐ท

ร— (0,1)

PROF: ATMANI NAJIB

http:// abcmaths.e-monsite.com