Uploads131013102001sm1an-Exercices Logique Ensembles PDF

Logique
Exercice 1 :
Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1. Si Napoléon était chinois alors
2. Soit Cléopâtre était chinoise, soit les grenouilles aboient.
3. Soit les roses sont des animaux, soit les chiens ont pattes.
4. Si l’homme est un quadrupède, alors il parle.
5. Les roses ne sont ni des animaux, ni des fleurs.
6. Paris est en France ou Madrid est en chine.
7. La pierre ponce est un homme si et seulement si les femmes sont des sardines.
8. Les poiriers ne donnent pas de melons, et Cléopâtre n’est pas chinoise.
Aller à : Correction exercice 1 :
Exercice 2 :
Soient ( ), ( ) et ( ) trois propositions, donner la négation de
a) ( ) ( ( ) ( ))
b) (( ) ( )) ( )
Exercice 3 :
Soient et trois assertions. Pour chacune des assertions suivantes :
( ) ( ( )) ( ) ( ( )) ( ) ( ( )) ( ) ( ( ))
( ) ( ( )) ( ) ( ) ( ) ( ( ) ) ( ) (( ) ( ))
Ecrire sa négation.
Exercice 4 :
Donner la négation mathématique des phrases suivantes
1. Toutes les boules contenues dans l’urne sont rouges.
2. Certains nombres entiers sont pairs.
3. Si un nombre entier est divisible par , alors il se termine par .
Soit
4. est positive, c’est-à-dire « , ( ) »
5. est paire sur , c’est-à-dire « , ( ) ( )»
Exercice 5 :
Soient les propositions, ( ) « J’ai mon permis de conduire » et ( ) « j’ai plus de ans »
Les propositions ( ) ( ) et ( ) ( ) sont-elles vraies ? Que peut-on conclure ?
Exercice 6 :
Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1. ( ) ( )
2. ( ) ( )
3. ( ) ( )
4. ( ) ( )
1
5. ( ) ( )
Exercice 7 :
Soient et deux parties de . Ecrire en utilisant les assertions
Exercice 8 :
On considère la proposition ( ) suivante :
( ) « Pour tout nombre réel , il existe au moins un entier naturel supérieur ou égal à »
1. Ecrire la proposition ( ) avec des quantificateurs.
2. Ecrire la négation avec des quantificateurs puis l’énoncer en français.
Exercice 9 :
Notons l’ensemble des étudiants, l’ensemble des jours de la semaine et pour un étudiant , ( )
son heure de réveil le jour .
a) Ecrire avec des symboles mathématiques la proposition « Tout étudiant se réveille au moins un
jour de la semaine avant 8h »
b) Ecrire la négation de cette proposition avec des symboles mathématiques puis en français.
Exercice 10 :
Soit l’ensemble des nombres premiers et une partie de . Ecrire en utilisant les assertions
est une partie finie de , est une partie infinie de .
Tout entier naturel admet un diviseur premier, les éléments de ont un diviseur premier
commun, les éléments de n’ont aucun diviseur premier commun.
Exercice 11 :
Soit un entier naturel quelconque. Parmi les implications suivantes, lesquelles sont vraies, lesquelles sont
fausses et pourquoi ? Donner leur contraposée et leur négation.
1. ( ) ( )
2. ( ) ( )
3. ( ) ( )
4. ( ) ( )
5. ( ) ( )
6. ( ) ( )
Exercice 12 :
Parmi les équivalences suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi ?
1. ( ) ( )
2. ( ) ( )
3. (( ) ( ) ( )
2
Exercice 13 :
Soient les assertions suivantes :
a.
b.
c.
d.
1. Les assertions et sont-elles vraies ou fausses ?
2. Donner leur négation
Exercice 14 :
Soit ( ) une suite de nombres rationnels. Que signifie en mots les assertions suivantes
| |
Attention : il ne s’agit pas de faire la lecture à voix haute de ces quatre suites de symboles mais de traduire
l’énoncé en phrase courte dont la compréhension est immédiate.
Exercice 15 :
1. Donner la négation de la phrase mathématique suivante :
| |
2. Donner la contraposée de la phrase mathématique suivante :
| |
Exercice 16 :
Soient et une application de dans .
| | | ( ) ( )|
Donner la négation et la contraposée de cette phrase logique.
Allez à : Correction exercice 16 :
Exercice 17 :
Compléter, lorsque c’est possible, avec ou pour que les énoncés suivants soient vrais.
a) ( )
b)
c)
d)
Exercice 18 :
Les propositions suivantes sont-elles vraies ? Lorsqu’elles sont fausses, énoncer leur négation.
a)
b)
c)
d)
3
Corrections
Correction exercice 1 :
1. Il s’agit, ici d’une implication. « Napoléon est chinois » est faux et « » est faux, or la
seule possibilité pour qu’une implication soit fausse est qu’une assertion vraie implique une
assertion fausse, donc l’assertion 1. est vraie.
2. Une phrase, en français, du genre « soit …, soit … » se traduit mathématiquement par « … ou … »
« Cléopâtre était chinoise » est faux et « les grenouilles aboient » est faux donc l’assertion 2. est
fausse.
3. « les roses sont des animaux » est faux et « les chiens ont pattes » est vrai, donc l’assertion 3. est
vraie.
4. « l’homme est un quadrupède » est faux et «il parle » est vrai, donc l’assertion 4. est vraie.
5. « les roses ne sont ni des animaux, ni des fleurs » peut se traduire par « les roses ne sont pas des
animaux et les roses ne sont pas des fleurs ». « les roses ne sont pas des animaux » est vrai et « les
roses ne sont pas des fleurs » est faux donc « les roses ne sont ni des animaux, ni des fleurs » est
faux. Avec un minimum de bon sens c’est assez évident !
6. « Paris est en France » est vrai et « Madrid est en chine » est faux, donc « Paris est en France ou
Madrid est en chine » est vrai.
7. « la pierre ponce est un homme » est faux et «les femmes sont des sardines » est faux, une
équivalence entre deux assertion fausse est vraie.
8. « les poiriers ne donnent pas de melons » est vrai et «Cléopâtre n’est pas chinoise » est vrai, donc
« les poiriers ne donnent pas de melons, et Cléopâtre n’est pas chinoise » est vrai.
Aller à : Exercice 1 :
a)
(( ) ( ( ) ( ))) ( ( ) ( ( ) ( )))
( ( ) (( ) ( ))
( ( ) ( )) ( ( ) ( ))
( ( ) ( )) (( ) ( ))
Les deux dernières équivalences logiques me paraissent acceptables, parce qu’il y a souvent
différentes façon d’exprimer une négation, ensuite il faut voir dans les exercices comment se
présentent les propositions ( ) ( ) et ( ).
b)
((( ) ( )) ( )) (( ) ( )) ( ) ( ) ( ) ( )
( ) ( ( )) ( ) ( ( )) ( )
( ) ( ( )) ( ) ( ( )) ( )
( ) ( ( )) ( ) ( ) ( ) ( ( ) ( ))
( ( ) ( )) ( ( ) ( ))
Il y a d’autres expressions possibles de cette négation.
( ) ( ( )) ( ) ( ) ( ) ( ( ) ( ))
( ( ) ( )) ( ( ) ( ))
Il y a d’autres expressions possibles de cette négation.
4
( ) ( ( )) ( ( ) ( ))
( ) ( ) ( ( ) ( )) ( ) ( )
( ) (( ( ) )) ( ( ( )) ) (( ) )
( ) ( ) ( ) ( ) ( )
( ) (( ) ( )) ( ( ) ( ( )))
( ( ) ) ( ) ( ) ( ( )) ( ( )
1. Il existe une boule qui n’est pas rouge dans l’urne. (La négation de « pour tout » est « il existe » et la
négation « rouge » est « n’est pas rouge »).
2. Tous les nombres entiers sont pairs. (La négation de « il existe » (dans l’énoncé « certains » signifie
« il existe ») est « tous ». Dans cette question on ne se demande pas si la proposition est vraie ou
fausse.
3. Il s’agit d’une implication, la négation de ( ) ( ) est : ( ) ( ) donc la négation
demandée est « un nombre entier est divisible par et il ne se termine pas par ». Dans cette
question on ne se demande pas si l’implication est vraie ou fausse.
4. tel que ( ) .
5. , ( ) ( )
( ) ( ) est vraie, par contre ( ) ( ) est fausse, on en conclut que ces deux propositions ne sont
pas équivalentes.
1. ( ) est vrai et ( ) est vrai donc ( ) ( ) est vrai.
2. ( ) est vrai et ( ) est faux, l’un des deux est faux donc ( ) ( ) est
faux.
3. ( ) est vrai et ( ) est faux, l’un des deux est vrai donc ( ) ( ) est
vrai.
4. ( ) est vrai et ( ) est vrai, les deux sont vrais donc ( ) ( ) est
vrai.
5. ( ) est vrai donc ( ) est faux (on peut aussi dire que ( ) ( ) qui est
faux) et ( ) est faux par conséquent ( ) ( ) est faux car les deux
assertions sont fausses.
1.
2. . Il existe un réel tel que pour tout entier, est strictement inférieur à
.
5
a) ( ) .
b) ( ) . Il y a un étudiant qui se lève à 8h ou après 8h tous les jours de la
semaine. (Donc c’est un gros fainéant).
1. ( ) ( ) est vraie.
Sa contraposée est ( ) ( ) ou encore ( ) ( ).
(On rappelle que (( ) ( )) ( ( ) ( )) donc la négation de (( ) ( )) est
(( ( ) ( ))) ( ( ( )) ( )) (( ) ( ))
(( ) ( )) (( ) ( )) (( ) ( ))
La négation est : ( ) ( )
2. ( ) ( ) est faux car pour ,( ) est vrai et ( ) est faux (idem
pour ).
Sa contraposée est ( ) ( ) ( ) ( ).
Sa négation est ( ( ) ( )) ( ( ) ( ))
3. ( ) ( ) est faux car pour ,( ) est vrai et ( ) est faux.
Sa contraposée est ( ) ( ) ( ) ( ).
Sa négation est
( ( ) ( )) ( ( ) ( )) ( )
4. ( ) ( ) si ( ) est vrai alors et comme , cela signifie que
divise , par conséquent ( ) ( ) est vrai.
Il n’y a que cela à vérifier parce que si est faux, quoiqu’il arrive à la conclusion, l’implication
est vraie.
On aura pu aussi voir que :
( ) ( ) ( )
Sa contraposée est ( ( ) ( )) ( ) ( ).
Vu ainsi il est clair que la contraposée est vraie et que donc ( ) ( ) est
vrai.
La négation est : ( ) ( )
5. Comme dans le 4. ( ) ( ) mais ne divise pas , sinon cela signifierait qu’il
existe tel que ce qui est faux par conséquent ( ) ( ) est
faux. En effet une assertion vraie ne peut pas impliquer une assertion fausse.
La contraposée est ( ) ( ).
La négation est ( ( ) ( )). Vérifions que cette implication est
vraie : soit et ( ) est vrai et ( ) est vrai ce qui entraine que
( ( ) ( )) est vrai.
6. ( ) ( { }), si alors et si alors
donc ( ) ( ).
La contraposée est ( ) ( )
6
Sa négation est ( ) ( ).
1. ( ) ( ) car un entier strictement supérieur à est supérieur ou égal à .
2. ( ) ( ) est faux car pour ,( ) est vrai et ( ) est faux.
3. Les diviseurs entiers et positifs de sont { } donc les diviseurs entiers et supérieurs ou
égaux à sont et , bref, il suffit de dire que rend vrai (( ) ( ) et faux
( ) pour pouvoir affirmer que (( ) ( ) ( ) est faux.
1. a. est faux car si un tel existe, il suffit de prendre pour que soit faux, en
effet ( )
b. est vrai, car pour un fixé, on choisit de façon à ce que ( ) .
c. est faux car si on prend alors est faux et donc on n’a pas
d. Il suffit de prendre , ainsi pour tout , , l’assertion est vraie.
2. a.
(on pourra montrer, à titre d’exercice que cette assertion quantifiée est vraie).
b.
(on pourra montrer, à titre d’exercice que cette assertion quantifiée est fausse).
c.
(on pourra montrer, à titre d’exercice que cette assertion quantifiée est vraie).
d.
La suite ( ) est une suite d’entiers.
La suite ( ) est constante dont la valeur est entière.
La suite ( ) prend toutes les valeurs entières.
La suite ( ) est constante et vaut .
1.
| |
2.
| |
La négation est :
| | | ( ) ( )|
La contraposée est
| | | ( ) ( )| | |
Allez à : Exercice 16 :
7
a) ( )
b)
c)
d) ou
a) Vraie
b) Fausse par exemple pour , la négation est :
c) Vraie
d) Fausse car la négation est manifestement vraie, la négation est : .
8
Ensembles-Applications
Exercice 1 :
Soient et . Décrire les ensembles , et .
Exercice 2 :
Soient et . Déterminer et .
Exercice 3 :
1. Déterminer le complémentaire dans des parties suivantes :
2. Soient , et . Comparer les ensembles suivants :
Exercice 4 :
Soient , et trois parties de .
Déterminer , , , , , ,( ) ( ), ( ( ), ( )
( ) et ( ).
Exercice 5 :
Soient , et trois parties d’un ensemble . Montrer que :
1. ( ) ( ) ( )
2. ( ) ( ) ( )
Exercice 6 :
Soient un ensemble et et deux parties de . On suppose que :
On pose
( )
1. Montrer que , , et sont non vides.
2. Montrer que , , et sont deux à deux disjoints.
3. Montrer que .
Exercice 7 :
1. Déterminer le complémentaire dans des parties suivantes :
2. Soient , et . Comparer les ensembles suivants :
1
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 :
( ); ; ; ;
Exercice 9 :
1. Montrer que ( ) ( )
2. Montrer que ( ) ( ) ( ) ( )
Exercice 10 :
On rappelle que l’on note
( ) ( )
1. Montrer que
( ) ( )
( ) ( )
2. En déduire que
( ) ( ) ( )
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
( ) ( ) ( )
Exercice 12 :
Soient , et trois parties d’un ensemble .
1. Que pensez-vous de l’implication
( )
Justifiez (on pourra utiliser la contraposée).
2. On suppose que l’on a les inclusions suivantes : et . Montrer que
.
3.
Exercice 13 :
Soient et deux parties d’un ensemble . Démontrer les égalités suivantes :
1. ( )
2
2. ( )
Si , montrer
Exercice 14 :
Soit un ensemble et et deux parties de . Démontrer que :
1.
2.
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 : ( ) ( )
Exercice 16 :
Soit définie par ( )
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.
Exercice 17 :
Dire (en justifiant) pour chacune des applications suivantes si elles sont injectives, surjectives,
bijectives :
Exercice 18 :
Soit définie pour tout ( ) par ( )
Soit définie pour tout par ( ) ( ( ) )
1. est-elle injective ?
2. est-elle surjective ?
3. est-elle injective ?
4. est-elle surjective ?
3
Exercice 19 :
Soient
( )
Où ( ) désigne la partie entière de
Les fonctions sont-elles injectives, surjective ? Comparer et .
Exercice 20 :
Soit une application de vers telle que :
( ( ))
Montrer que est surjective.
Exercice 21 :
On considère l’application définie pour tout par ( )
1. Existe-t-il telle que : ?
2. Existe-t-il telle que : ?
Exercice 22 :
Soit définie par ( )
1. Existe-t-il une fonction telle que ?
2. Existe-t-il une fonction telle que ?
Exercice 23 :
Soit une application, où ( ) ( )
Montrer que les trois propriétés suivantes sont équivalentes
(i) est injective
(ii) est surjective
(iii) est bijective
Exercice 24 :
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 ( ) est une application
(i) bijective (ii) injective et pas surjective (iii) surjective et pas injective (iv) ni surjective ni
injective
Justifier.
3. Soit . 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.
4
5. Soient tels que . Déterminer l’application réciproque de la bijection
( ) ( )
Exercice 25 :
Soit ( ) l’ensemble des parties de . Montrer qu’il n’existe pas d’application surjective ( ).
Considérer la partie ( ).
Exercice 26 :
Pour un entier on désigne par l’ensemble .
1. On suppose . Combien y-a-t-il d’application injectives ?
2. A quelle condition portant sur les entiers et peut-on définir une application qui soit
injective, surjective, bijective ?
Exercice 27 :
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.
c.
Exercice 28 :
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 :
( par conséquent).
Exercice 29 :
Soient et deux ensembles et soit une application de dans . Soient et deux parties de ,
montrer que :
1. ( ) ( ) ( )
2. ( ) ( ) ( )
5
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 ( ) ( ) ( ).
Exercice 30 :
1. Soit l’application de l’ensemble dans lui-même définie par :
( ) ( ) ( ) ( )
Déterminer ( ) lorsque , , .
2. Soit l’application de dans définie par ( ) . Déterminer ( ) lorsque ,
.
Exercice 31 :
1. Soit définie par ( ) . Déterminer ( ), ( ).
2. Soit définie par ( ) ( ), déterminer ( ), ( ), ( ).
Exercice 32 :
Soient et deux ensembles et soit une application de dans . Soient et deux parties
quelconques de , non vides. Montrer que :
1. ( ) ( ) ( )
2. ( ) ( ) ( )
Exercice 33 :
Soient et deux ensembles et soit une application de dans .
1. Montrer que pour toute partie de , on a ( ( )).
2. Montrer que pour toute partie de , on a ( ( )) .
3. Montrer que est injective si et seulement si pour toute partie de on a ( ( )).
4. Montrer que est surjective si et seulement si pour toute partie de on a ( ( )) .
Exercice 34 :
Soit ( )
Soit définie par ( ) ( )
1. Représenter dans le plan.
2. a. Montrer que si deux couples de réels ( ) et ( ) vérifient
{
Alors ( ) ( ) (autrement dit et ).
b. Montrer que est injective, on pourra se ramener au système du 2.a..
3. Est-ce que est surjective ?
6
CORRECTIONS
Remarque :
Comme on a et
( )( )( )( )( )( )( )( )( )( )( )( )
Remarque :
( ) ( ) ( )
1.
2.
Remarque :
( )
( ) ( ) ( ) ( ) ( )
Ou mieux
( ) ( ) ( )
( ( )
( ) ( )
Ou
( ) ( ) ( )
( )
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 ( ( ))
Alors ( ( ))
7
Si alors et , par conséquent ( ) ( ).
Si ( ) alors ( )
Donc si ( ( )) alors ( )
On a montré que ( ) ( ) ( )
Si ( ) ( ) alors ( ).
( ) (( ) ( ))
Si ( ( )) alors
Si ( ( )) alors
Alors
Alors
Alors
Alors ( )
Finalement ( ) ( ) ( )
2. Si ( )
Alors ( )
Alors ( ( ))
Alors ( ) ( )
Alors
Alors ( ) ( )
Si ( ) ( )
Alors
Alors ( ) ( )
Alors ( ) ( ) ( ) ( )
Alors
Comme entraine que
( ) ( ) ( )
Et finalement ( ) ( ) ( )
1.
D’après l’énoncé
Car .
Car
( ) ( )
Car , en fait car et .
2.
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ( )) ( ) ( )
( ) ( )
8
( ) ( ) ( ) ( )
( )( ) ( ) ( )
( ) ( )
( ) ( ) ( ) ( )
( ) ( )
3. , , et sont deux à deux disjoints.
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) (
Remarque :
( ) est une partition de .
Sur un schéma c’est une évidence ( est le carré sur le schéma).

1.
2.
Remarque :
( )
a) Soit , , comme , , autrement dit ce qui montre que si
alors .
b) Si alors (car ) donc .
Si alors
c) ( ) , , , et
9
1. ( ) ( ) ( ) ( ) ( ) ( )
2. ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
1.
( ) ( ) ( ) ( ) ( ) ( ) ( )
Pour la seconde il suffit d’intervertir et .

2.
( ) ( ) (( ) ( )) (( ) ( ))
(( ) ( )) (( ) ( )) ( ) ( )
(( ) ( )) (( ) ( )) ( )
1.
( ) ( ) ( ) ( ) ( ( )) ( ( ))
( ) ( ) ( )
Pour la seconde égalité il suffit d’intervertir les rôles de et .
2.
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
(( ) ( )) ( ) ( )
1. La contraposée de cette implication est :
( )
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 .
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
10
( )
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.
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 .
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 .
1.
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
2.
( ) ( )
( ) ( )
( ) ( )
3.
a)
11
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
b)
( ) (( ) ( )) ((( ) ( )) ) ( ( ) ( ))
( ) ( ) ( (( ) ( )))
( ) ( ) ( ) ( )
c)
( ) ( ) (( ) ) (( ) ) ( ) ( )
or ( ) ( ) ( ) ( ) donc ( ) ( ) ( )
d)
( ) ( ) ( ) ( ) ( ) ( ), en changeant et
.
e)
( ) ( ) d’après d) or ( ) ( ) d’après c).
Donc ( ) ( ).
1. et .
2. et .
3. et .
4. et .
( ) ( ) donc n’est pas injective.

n’a pas d’antécédent, car ( ) 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.
( ) ( ) √ √ | | | |
Car et . est injective.
Pour tout , (celui de l’ensemble d’arrivée), il existe √ , (celui de l’ensemble de départ)
tel que : ( ), en effet ( ) (√ ) donc est surjective.
est bijective.
( ) ( ) √ √ | | | |
Car et . est injective.
12
n’a pas d’antécédent, car ( ) n’a pas de solution dans . n’est pas surjective.
est une fonction dérivable, ( ) donc est strictement croissante sur .

La contraposée de ( ) ( ) est ( ) ( )
Supposons que , alors (ou , ce que revient au même), on en déduit que ( )
( ) car est strictement croissante, par conséquent ( ) ( ), est injective.
( ) ( )
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 .
On va étudier (sommairement) cette fonction et dresser son tableau de variation.

est une fonction dérivable sur . ( ) ( )
( ) ( )
Le « » l’emporte sur le « ».
( ) ( ) ( ) ( )
( )
( )
Les seules bijections de sur sont les fonctions strictement monotones dont l’image de
est .
n’est pas une bijection.
Comme ( ) ( ), n’est pas injective.
Pour tout il existe tel que ( ), et bien il n’y a pas unicité sinon serait bijective.
Pour tout il existe trois valeurs tel que ( ), pour , il y en a deux pour les
autres n’a qu’un antécédent.
On va étudier cette fonction, est dérivable et ( )
( ) ( )
( ) ( )( ( ) ) ( )( ) ( )
( ) ( )
Le « » l’emporte sur le « ».
( )
( )
Pour tout , admet deux antécédents, est ni surjective ni injective.
13
1.
( ) ( )
Donc n’est pas injective.
2. ( )
Donc pour tout , il existe ( ) ( ) tel que ( )
est surjective.
3.
( ) ( ) ( ( ) ) ( ( ) ) {( ) ( )
Donc est injective.
4. On va montrer que ( ) n’admet pas d’antécédent. Supposons que
( ) ( ( ) )
Alors
{
( )
Ce qui équivaut à
{
Ce qui est impossible donc ( ) n’admet pas d’antécédent, n’est pas surjective.
( ) ( )
est injective.
n’a pas d’antécédent car il n’existe pas d’entier naturel tel que , n’est pas surjective.
( ) ( ) ( ) et ( ) ( ) , donc ( ) ( ) ce qui entraine que n’est pas
injective.
Pour tout (dans l’ensemble d’arrivé) il existe (dans l’ensemble de départ) tel
que :
( ) ( ) ( ) ( )
est surjective.
Si est pair, il existe tel que
( ) ( ( )) ( ( )) ( ( )) ( ( )) ( )
Si est impaire, il existe tel que
( ) ( ( )) ( ( )) ( ( )) ( ( )) ( )
( ) {
Que soit paire ou impaire
( ) ( ( )) ( ) ( ) ( )
Remarque :
14
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 est :
« S’il existe une fonction telle que alors » on a alors : et
sont deux fonctions bijectives.
( ) donc ( ( )) ( ) , or ( ( )) donc ( ) , par conséquent
( ) ce qui signifie que est surjective.
1. Supposons que existe, ( ( )) ( ( ))
Si n’est pas un carré cela ne marche pas, par exemple si , ( ( )) donc ( ) √
Il n’existe pas de fonction telle que : .
2. Supposons que existe, ( ( )) ( )
Les valeurs ( ) prennent les valeurs qu’elles veulent sauf lorsque est un carré auquel cas
( ) √ , donnons une fonction qui répond à la question :
Si alors ( ) et si alors ( ) √ .
1. Si existe alors pour tout , ( ( )) ( ) , si est impair ( ) donc il
n’existe pas de fonction telle que .
2. Si existe alors pour tout , ( ( )) ( )

Soit la fonction définie, pour tout , par ( ) et ( ) convient.
On pose et , et bien sur tous les sont distincts ainsi que tous les
.
On rappelle que le fait que soit une application entraine que ( ) ( ) ( )
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 ( ) ( ) ( ) , il y a éléments dans le premier ensemble et
dans le second, donc il existe et , avec dans tels que ( ) ( ), or
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
15
{ ( ) ( ) ( ) ( ) ( ) ( )} , le premier ensemble a
é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.
1. et sont surjectives donc ( ) et ( ) par conséquent
( ) ( ( ( ))) ( ( )) ( )
Cela montre que est surjective.
( ) ( ) ( ( ( ))) ( ( ( ))) ( ( )) ( ( ))
Car est injective
( ) ( ) ( ( )) ( ( )) ( ) ( )
Car est injective
( ) ( ) ( ) ( )
Car est injective
Finalement est injective et donc bijective (puisqu’elle est surjective).
2. n’admet pas d’antécédent donc n’est pas surjective.
( ) ( )
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.
3. ( ) ( )
Donc n’est pas injective.
( )
Donc n’est pas surjective.
4. Pour tout ( ) on cherche s’il existe un unique couple ( ) tel que
Premier cas
( ) ( ) ( ) ( ) {
{ {
( ) ( )
{ ( {
) ( ) ( ) ( ) ( )
( ( ) ( ))
{
( ) ( )
( ( ) ( )) ( )
{
( ) ( )
( ) ( ) ( )
{
( ) ( )
( )( ) ( ) ( ) ( )
{ {
( ) ( ) ( ) ( )
( ) ( )
{
( ) ( )
Si , alors , en particulier et
16
( ) ( ) ( ) ( ) {
( ) ( )
{ { {
( ) ( )
( )
( )
{ {
( ) ( )
( )
{
( ) ( )
Ce sont les mêmes formules que dans le cas où
Donc pour tout ( ) il existe un unique couple
( ) ( ( ) ( ) ( ) ( ))
tel que ( ) ( ), est bijective et
( ) ( ( ) ( ) ( ) ( ))
Supposons qu’il existe ( ) surjective et on cherche s’il existe un antécédent à . On appelle
, un antécédent de , donc par définition ( ) ,
si ( ) alors et donc ( ) ce qui est contradictoire
Si ( ) alors par définition de , ( ) ce qui est aussi contradictoire.
L’hypothèse est donc fausse, il n’y a pas d’application surjective de dans ( ).
1. Première méthode : raisonnons par récurrence
On pose ( ) il y a ( ) applications injectives de dans .
Regardons si ( ) est vraie.
Il y a 4 applications de dans .
( ) ( )
( ) ( )
( ) ( )
( ) ( )
Seules et sont injectives. Il y a ( ) applications injectives de dans .
Montrons que ( ) ( )
Il y a ( ) applications injectives de dans .
Supposons que ( ) alors ( ) (pour que ( ) ( )), cela fait
applications injectives de plus.
Supposons que ( ) alors ( ) (pour que ( ) ( )), cela fait
applications injectives de plus.
Au total, il y a ( ) ( )
L’hypothèse est vérifiée.
Conclusion pour tout , il y a ( ) applications injectives de dans .
Deuxième méthode :
Si ( ) alors ( ) .
Cela fait choix possibles pour ( ) et pour ( ), soit ( ) choix possibles pour
( ( ) ( )) de façon à ce que ( ) ( ) (autrement dit pour que soit injective).
17
2.
injective équivaut à ( ) ( ) ( ) , avec
tous distincts par conséquent .
Remarque :
Cela ne veut pas dire que toutes les applications de dans sont injectives !
Supposons que est surjective.
Pour tout (les tous distincts) il existe 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 dans sont bijectives.
1. ( ) ( ) ( ( )) ( ( )) ( ) ( )
Car est injective
( ) ( ) ( ) ( )
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.
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. ( ) ( ) ( ( )) ( ( )) ( ) ( )
Car est injective, par conséquent est injective.
5. Première méthode :
Pour tout , il existe tel que ( ) ( ( )), donc il existe ( ) tel que
( ) ce qui signifie que est surjective.
Comme est surjective, ( ) ( ( )) or ( ) donc
( ( )) ( )
18
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 et que donc et sont bijectives.
b. est bijective (l’identité est bijective)
c. est bijective
Par conséquent est bijective et .
1. Pour tout il existe ( ) tel que ( ) ( ( )) ( ), est surjective.
2. ( ) ( ) ( ( )) ( ( ))
est injective.
3. ( ) ( ) ( ( )) ( ( )) ( ) ( )
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 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 ( ), ( ) 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é.
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 sa bijection réciproque.
Comme , en composant par à droite :
19
( ) ( )
Comme , en composant par à gauche :
( ) ( )
D’où .
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
( ) ( ) ( )
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 ( ) , ensuite il faut prendre
et où n’est pas injective, par exemple :
( ) ( ) ( ) ( ) ( ) ( )
( )
On a bien ( ) ( ) ( )
1. ( ) ( ) ( )
2.
( )
( ) [ √ ] [ √ ]
1. ( )
Donc
( )
( ) ( ) ( ) ( )
2.
( ) ( ) ( )
20
( ) ( )
( ) ( )
Or ( ) et ( ) ( ) avec
( ) ( )
1. Pour tout ( ), ( ) donc ( ) ou ( ) , par conséquent
( ) ou ( ), autrement dit ( ) ( )
Pour tout ( ) ( ), ( ) ou ( ), par conséquent ( ) ou
( ) , autrement dit ( ) , donc ( ).
2. Pour tout ( ), ( ) donc ( ) et ( ) , par conséquent
( ) et ( ), autrement dit ( ) ( )
Pour tout ( ) ( ), ( ) et ( ), par conséquent ( ) et
( ) , autrement dit ( ) , donc ( ).
1. Pour tout , ( ) ( ) et donc ( ( )), ce qui montre que ( ( ))
2. Pour tout ( ( )), il existe ( ) tel que ( ), comme ( ) ( )
ce qui entraine que , ce qui montre que ( ( )) .
3. Comme « pour toute partie de , on a ( ( )) » la question revient à montrer que :
« est injective si et seulement si pour toute partie de on a ( ( )) »
Si est injective.
Pour tout ( ( )), ( ) ( ) 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 ( ( )) .
Si pour toute partie , ( ( ))
( ) ( )
On prend
( ) ( ) ( ) ( ( )) ( ) ( )
D’après l’hypothèse ( ( )) donc ( )
Or ( ) car ( ) donc par conséquent ce qui signifie que est
injective.
Finalement on a montré l’équivalence demandée.
4. Comme « pour toute partie de , on a ( ( )) » la question revient à montrer que :
« est surjective si et seulement si pour toute partie de on a ( ( )) »
Si est surjective.
21
Pour tout , il existe tel que ( ) car est surjective.
( ) entraine que ( ) ( ( )), cela montre que ( ( )).
Si pour tout ( ( ))
On pose , alors ( ( )) ce qui s’écrit aussi ( ( )), il existe donc
( ) tel que ( ), cela montre bien que est surjective.
Finalement on a montré l’équivalence demandée.
1. Le point ( ) vérifie donc ( ) est le demi-plan supérieur droit. De même ( )
vérifie donc ( ) 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.
{
En additionnant et on trouve que , donc , puis en remplaçant dans , on trouve
que .
b.
( ) ( ) ( ) ( ) {
– donne , ce qui entraine que ( ) ( ) ,

comme sur , cela donne ( ) ( ) ou encore .
donne , ce qui entraine que ( ) ( ) ,
comme sur , cela donne .
D’après 2.a. cela donne que et que , ce qui montre que est injective.
3. ( ) n’a pas d’antécédent dans car .
22

Uploads131013102001sm1an-Exercices Logique Ensembles PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Uploads131013102001sm1an-Exercices Logique Ensembles PDF

Transféré par

Droits d'auteur :

Formats disponibles

Logique

Aller à : Correction exercice 7 :

Allez à : Correction exercice 1 :

Allez à : Correction exercice 2 :

2. Soient , et . Comparer les ensembles suivants :

Allez à : Correction exercice 3 :

2. Soient , et . Comparer les ensembles suivants :

Allez à : Correction exercice 7 :

Allez à : Correction exercice 17 :

Sur un schéma c’est une évidence ( est le carré sur le schéma).

Pour la seconde il suffit d’intervertir et .

( ) ( ) donc n’est pas injective.

est une fonction dérivable, ( ) donc est strictement croissante sur .

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

On va étudier cette fonction, est dérivable et ( )

Pour tout , admet deux antécédents, est ni surjective ni injective.

Si est impaire, il existe tel que

2. Si existe alors pour tout , ( ( )) ( )

– donne , ce qui entraine que ( ) ( ) ,

Vous aimerez peut-être aussi