Scribd
Importer
64 vues1 page

CCMAT356 - Rattrapage

Ce document est un examen de rattrapage en théorie des ensembles pour les étudiants de L3MA à l'Université de Maroua. Il comprend des exercices sur les axiomes des ensembles, des questions vrai/faux sur les ordinaux, et des démonstrations à réaliser concernant l'existence d'ensembles et des relations d'équivalence. Les étudiants doivent également travailler sur des applications caractéristiques et des isomorphismes.

Transféré par

ibrahimboukarneutre
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
64 vues1 page

CCMAT356 - Rattrapage

Ce document est un examen de rattrapage en théorie des ensembles pour les étudiants de L3MA à l'Université de Maroua. Il comprend des exercices sur les axiomes des ensembles, des questions vrai/faux sur les ordinaux, et des démonstrations à réaliser concernant l'existence d'ensembles et des relations d'équivalence. Les étudiants doivent également travailler sur des applications caractéristiques et des isomorphismes.

Transféré par

ibrahimboukarneutre
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Université de Maroua Semestre 2

FACULTE DES SCIENCES Niveau L3MA : Code : MAT356


Département de Mathématiques Examinateur : Kamtila Kari
CC ET TP de RATTRAPAGE DE THEORIE DES ENSEMBLES
(Année Académique 2023-2024)
Durée : 01H

Exercice 1 : (5 points) Énoncer clairement :


1. L’axiome d’extensionnalité,
2. L’axiome de la paire,
3. L’axiome de la réunion,
4. L’axiome du vide,
5. L’axiome de la puissance d’un ensemble.
Exercice 2 : (5 points) Répondre par vrai ou faux :
1. ∅ est un ordinal.
2. Tout ordinal α est défini par α = {β : β < α}.
3. Si X est une classe non vide d’ordinaux, alors ∩X est un ordinal puis ∩X ∈ X et ∩X = supX.
4. Si X est une classe non vide d’ordinaux, alors ∪X est un ordinal et ∪X = inf X.
5. Pour tout ordinal α, α ∪ {α} est un ordinal et α ∪ {α} = inf {β : β < α}.
Exercice 2 : (10 points)
1. Montrer que l’ensemble {x : x 6= x} existe et est unique.
2. Montrer qu’il n’existe pas un ensemble X tel que P(X) ⊂ X (Ne pas utiliser les cardinalités).
3. Soient X un ensemble bien ordonné, Y ⊆ X et f : X −→ Y une similitude.
a) Définir segment initial de Y ,
b) Montrer que pour tout x ∈ X, x 6 f (x),
c) Montrer que si X = Y , alors f = idX .
4. a) Montrer que la relation hE, <i isomorphe à hF, <i est une relation d’équivalence dans la classe
des ensembles partiellement ordonnés.
b) Déduire l’expression explicite de cet isomorphisme f si l’on se limite à la reflexivité de cette
relation.
5. Soit E ⊆ X. L’application caractéristique de E est définie par χE (x) = 1 si x ∈ E et 0 sinon.
On considère l’application χ : P(E) −→ {0; 1}E qui à tout A ∈ P(E) associe χA .
a) Montrer que χ est un isomorphisme,
b) En déduire |P(A)| pour tout ensemble A équipotent à n.
c) Retrouver la preuve de la question 2).

Vous aimerez peut-être aussi