Une page de Wikiversité, la communauté pédagogique libre.
En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : Ensembles et opérationsEnsemble (mathématiques)/Exercices/Ensembles et opérations », n'a pu être restituée correctement ci-dessus.
Vrai ou faux ? (justifier la réponse !)
P
(
A
∪
B
)
=
P
(
A
)
∪
P
(
B
)
{\displaystyle {\mathcal {P}}(A\cup B)={\mathcal {P}}(A)\cup {\mathcal {P}}(B)}
?
P
(
A
∩
B
)
=
P
(
A
)
∩
P
(
B
)
{\displaystyle {\mathcal {P}}(A\cap B)={\mathcal {P}}(A)\cap {\mathcal {P}}(B)}
?
P
(
A
×
B
)
=
P
(
A
)
×
P
(
B
)
{\displaystyle {\mathcal {P}}(A\times B)={\mathcal {P}}(A)\times {\mathcal {P}}(B)}
?
A
×
(
B
∪
C
)
=
(
A
×
B
)
∪
(
A
×
C
)
{\displaystyle A\times (B\cup C)=(A\times B)\cup (A\times C)}
?
A
∪
(
B
×
C
)
=
(
A
∪
B
)
×
(
A
∪
C
)
{\displaystyle A\cup (B\times C)=(A\cup B)\times (A\cup C)}
?
Solution
Faux. En général on a seulement
P
(
A
)
∪
P
(
B
)
⊂
P
(
A
∪
B
)
{\displaystyle {\mathcal {P}}(A)\cup {\mathcal {P}}(B)\subset {\mathcal {P}}(A\cup B)}
. Pour que l'inclusion réciproque soit vraie, il faut en particulier que
A
∪
B
{\displaystyle A\cup B}
appartienne à
P
(
A
)
∪
P
(
B
)
{\displaystyle {\mathcal {P}}(A)\cup {\mathcal {P}}(B)}
, c'est-à-dire soit inclus dans
A
{\displaystyle A}
ou dans
B
{\displaystyle B}
, ce qui revient à :
B
⊂
A
{\displaystyle B\subset A}
ou
A
⊂
B
{\displaystyle A\subset B}
.
Vrai car
X
⊂
A
∩
B
⇔
X
⊂
A
{\displaystyle X\subset A\cap B\Leftrightarrow X\subset A}
et
X
⊂
B
{\displaystyle X\subset B}
.
Faux en général, pour une simple raison de cardinal (ou parce que le second ensemble est un ensemble de couples et pas le premier).
Vrai car les deux sont des ensembles de couples, et
(
x
,
y
)
∈
A
×
(
B
∪
C
)
⇔
x
∈
A
et
(
y
∈
B
ou
y
∈
C
)
)
⇔
(
x
∈
A
et
y
∈
B
)
ou
(
x
∈
A
et
y
∈
C
)
)
⇔
(
x
,
y
)
∈
(
A
×
B
)
∪
(
A
×
C
)
{\displaystyle (x,y)\in A\times (B\cup C)\Leftrightarrow x\in A{\text{ et }}(y\in B{\text{ ou }}y\in C))\Leftrightarrow (x\in A{\text{ et }}y\in B){\text{ ou }}(x\in A{\text{ et }}y\in C))\Leftrightarrow (x,y)\in (A\times B)\cup (A\times C)}
.
Faux car (par exemple) le second est un ensemble de couples, mais pas le premier si
A
{\displaystyle A}
n'en est pas un.
Démontrer les équivalences :
E
⊂
F
⇔
E
=
E
∩
F
⇔
F
=
E
∪
F
{\displaystyle E\subset F\Leftrightarrow E=E\cap F\Leftrightarrow F=E\cup F}
. À quelle condition a-t-on
E
∩
F
=
E
∪
F
{\displaystyle E\cap F=E\cup F}
?
Démontrer l'équivalence :
A
∪
B
⊂
A
∩
C
⟺
B
⊂
A
⊂
C
{\displaystyle A\cup B\subset A\cap C\Longleftrightarrow B\subset A\subset C}
.
Pour tout
n
∈
N
∗
{\displaystyle n\in \mathbb {N} ^{*}}
, notons
A
n
{\displaystyle A_{n}}
le sous-ensemble de
N
∗
{\displaystyle \mathbb {N} ^{*}}
formé des multiples de
n
{\displaystyle n}
.
Caractériser
A
n
∩
A
m
{\displaystyle A_{n}\cap A_{m}}
, pour
m
,
n
∈
N
∗
{\displaystyle m,n\in \mathbb {N} ^{*}}
.
Caractériser
∪
p
∈
P
A
p
{\displaystyle \cup _{p\in {\mathcal {P}}}A_{p}}
et
∩
p
∈
P
A
p
{\displaystyle \cap _{p\in {\mathcal {P}}}A_{p}}
, où
P
{\displaystyle {\mathcal {P}}}
désigne l'ensemble des nombres premiers.
Soient
A
,
B
,
C
{\displaystyle A,B,C}
trois ensembles.
Démontrer que si
A
∪
B
⊂
A
∪
C
{\displaystyle A\cup B\subset A\cup C}
et
A
∩
B
⊂
A
∩
C
{\displaystyle A\cap B\subset A\cap C}
alors
B
⊂
C
{\displaystyle B\subset C}
.
Démontrer l'équivalence
A
∩
B
=
A
∩
C
⟺
A
Δ
(
B
∪
C
)
=
(
A
Δ
B
)
∪
(
A
Δ
C
)
{\displaystyle A\cap B=A\cap C\Longleftrightarrow A\Delta (B\cup C)=(A\Delta B)\cup (A\Delta C)}
.
Solution
Si
A
∪
B
⊂
A
∪
C
{\displaystyle A\cup B\subset A\cup C}
et
A
∩
B
⊂
A
∩
C
{\displaystyle A\cap B\subset A\cap C}
, soit
x
∈
B
{\displaystyle x\in B}
. Alors,
x
∈
A
∪
B
⊂
A
∪
C
{\displaystyle x\in A\cup B\subset A\cup C}
donc si
x
∉
A
{\displaystyle x\notin A}
,
x
∈
C
{\displaystyle x\in C}
et si
x
∈
A
{\displaystyle x\in A}
alors
x
∈
A
∩
B
⊂
A
∩
C
⊂
C
{\displaystyle x\in A\cap B\subset A\cap C\subset C}
.
La méthode la plus simple consiste à coder les opérations ensemblistes par les opérations modulo 2 sur les fonctions indicatrices . Il s'agit alors de montrer que
a
b
≡
a
c
(
mod
2
)
{\displaystyle ab\equiv ac{\pmod {2}}}
est équivalent à
a
+
(
b
+
c
+
b
c
)
≡
(
a
+
b
)
+
(
a
+
c
)
+
(
a
+
b
)
(
a
+
c
)
(
mod
2
)
{\displaystyle a+(b+c+bc)\equiv (a+b)+(a+c)+(a+b)(a+c){\pmod {2}}}
, c'est-à-dire à
a
+
b
+
c
+
b
c
≡
b
+
c
+
a
+
b
a
+
a
c
+
b
c
(
mod
2
)
{\displaystyle a+b+c+bc\equiv b+c+a+ba+ac+bc{\pmod {2}}}
, ou encore à
0
≡
b
a
+
a
c
(
mod
2
)
{\displaystyle 0\equiv ba+ac{\pmod {2}}}
. Sous cette forme, l'équivalence est immédiate.
Autre méthode :
A
Δ
(
B
∪
C
)
=
[
A
∖
(
B
∪
C
)
]
∪
[
(
B
∪
C
)
∖
A
]
=
[
(
A
∖
B
)
∩
(
A
∖
C
)
]
∪
[
B
∖
A
]
∪
[
C
∖
A
]
{\displaystyle A\Delta (B\cup C)=[A\setminus (B\cup C)]\cup [(B\cup C)\setminus A]=[(A\setminus B)\cap (A\setminus C)]\cup [B\setminus A]\cup [C\setminus A]}
, tandis que
(
A
Δ
B
)
∪
(
A
Δ
C
)
=
[
A
∖
B
]
∪
[
A
∖
C
]
∪
[
B
∖
A
]
∪
[
C
∖
A
]
{\displaystyle (A\Delta B)\cup (A\Delta C)=[A\setminus B]\cup [A\setminus C]\cup [B\setminus A]\cup [C\setminus A]}
. Le premier ensemble est donc toujours inclus dans le second, et ils sont égaux si et seulement si
[
A
∖
B
]
∪
[
A
∖
C
]
⊂
A
Δ
(
B
∪
C
)
{\displaystyle [A\setminus B]\cup [A\setminus C]\subset A\Delta (B\cup C)}
, c'est-à-dire si
A
∖
B
{\displaystyle A\setminus B}
et
A
∖
C
{\displaystyle A\setminus C}
sont disjoints de
B
∪
C
{\displaystyle B\cup C}
, autrement dit si
A
∩
C
⊂
B
{\displaystyle A\cap C\subset B}
et
A
∩
B
⊂
C
{\displaystyle A\cap B\subset C}
, ce qui est bien équivalent à
A
∩
B
=
A
∩
C
{\displaystyle A\cap B=A\cap C}
.
À quelle condition a-t-on respectivement
E
×
F
=
∅
{\displaystyle E\times F=\varnothing }
?
E
×
F
=
{
a
}
{\displaystyle E\times F=\{a\}}
?
card
(
E
×
F
)
=
2
{\displaystyle \operatorname {card} (E\times F)=2}
?
Solution
card
(
E
×
F
)
=
card
(
E
)
card
(
E
)
{\displaystyle \operatorname {card} (E\times F)=\operatorname {card} (E)\operatorname {card} (E)}
donc :
E
×
F
=
∅
{\displaystyle E\times F=\varnothing }
si et seulement si
E
{\displaystyle E}
ou
F
{\displaystyle F}
est vide ;
E
×
F
=
{
a
}
{\displaystyle E\times F=\{a\}}
si et seulement si
E
=
{
b
}
{\displaystyle E=\{b\}}
,
E
=
{
c
}
{\displaystyle E=\{c\}}
et
a
=
(
b
,
c
)
{\displaystyle a=(b,c)}
;
card
(
E
×
F
)
=
2
{\displaystyle \operatorname {card} (E\times F)=2}
si et seulement si
card
(
E
)
=
1
{\displaystyle \operatorname {card} (E)=1}
et
card
(
F
)
=
2
{\displaystyle \operatorname {card} (F)=2}
, ou l'inverse. Plus explicitement :
{
c
}
×
{
d
,
e
}
=
{
(
c
,
d
)
,
(
c
,
e
)
}
{\displaystyle \{c\}\times \{d,e\}=\{(c,d),(c,e)\}}
et
{
c
,
d
}
×
{
e
}
=
{
(
c
,
e
)
,
(
d
,
e
)
}
{\displaystyle \{c,d\}\times \{e\}=\{(c,e),(d,e)\}}
.
Soient
A
,
B
,
C
{\displaystyle A,B,C}
des parties d'un ensemble
X
{\displaystyle X}
. Établir :
(
A
∖
B
)
∖
C
=
A
∖
(
B
∪
C
)
{\displaystyle (A\setminus B)\setminus C=A\setminus (B\cup C)}
, tandis que
A
∖
(
B
∖
C
)
=
(
A
∖
B
)
∪
(
A
∩
C
)
{\displaystyle A\setminus (B\setminus C)=(A\setminus B)\cup (A\cap C)}
;
B
c
∖
A
c
=
A
∖
B
{\displaystyle B^{c}\setminus A^{c}=A\setminus B}
et
A
c
Δ
B
c
=
A
Δ
B
{\displaystyle A^{c}\Delta B^{c}=A\Delta B}
;
A
∖
(
B
c
∪
C
c
)
=
A
∩
B
∩
C
{\displaystyle A\setminus (B^{c}\cup C^{c})=A\cap B\cap C}
;
(
A
∪
B
∪
C
)
∖
(
A
∩
B
∩
C
)
=
(
A
Δ
B
)
∪
(
B
Δ
C
)
{\displaystyle (A\cup B\cup C)\setminus (A\cap B\cap C)=(A\Delta B)\cup (B\Delta C)}
;
A
Δ
B
{\displaystyle A\Delta B}
et
A
c
Δ
B
{\displaystyle A^{c}\Delta B}
sont complémentaires dans
X
{\displaystyle X}
;
(
A
Δ
B
)
∩
C
=
(
A
∩
C
)
Δ
(
B
∩
C
)
{\displaystyle (A\Delta B)\cap C=(A\cap C)\Delta (B\cap C)}
;
(
A
∪
B
)
Δ
(
A
∪
C
)
=
A
c
∩
(
B
Δ
C
)
{\displaystyle (A\cup B)\Delta (A\cup C)=A^{c}\cap (B\Delta C)}
.
Soient
A
,
B
{\displaystyle A,B}
deux parties d'un ensemble
E
{\displaystyle E}
. Discuter et résoudre dans
P
(
E
)
{\displaystyle {\cal {P}}(E)}
l'équation en
X
{\displaystyle X}
:
A
∩
X
=
B
{\displaystyle A\cap X=B}
,
A
∪
X
=
B
{\displaystyle A\cup X=B}
,
(
A
∩
X
)
∪
(
B
∩
X
c
)
=
∅
{\displaystyle (A\cap X)\cup (B\cap X^{c})=\varnothing }
.
Soient
E
{\displaystyle E}
un ensemble,
A
,
B
{\displaystyle A,B}
deux parties de
E
{\displaystyle E}
et
f
:
P
(
E
)
→
P
(
A
)
×
P
(
B
)
,
X
↦
(
X
∩
A
,
X
∩
B
)
{\displaystyle f:{\cal {P}}(E)\to {\cal {P}}(A)\times {\cal {P}}(B),\;X\mapsto (X\cap A,X\cap B)}
.
Montrer que
f
{\displaystyle f}
est injective si et seulement si
A
∪
B
=
E
{\displaystyle A\cup B=E}
et que
f
{\displaystyle f}
est surjective si et seulement si
A
∩
B
=
∅
{\displaystyle A\cap B=\varnothing }
.
Lorsque
f
{\displaystyle f}
est bijective, déterminer
f
−
1
{\displaystyle f^{-1}}
.
Solution
Soient
A
′
⊂
A
,
B
′
⊂
B
{\displaystyle A'\subset A,B'\subset B}
, cherchons les
X
{\displaystyle X}
tels que
f
(
X
)
=
(
A
′
,
B
′
)
{\displaystyle f(X)=(A',B')}
; pour qu'il en existe il faut que
A
′
∩
B
=
B
′
∩
A
{\displaystyle A'\cap B=B'\cap A}
, et les solutions sont alors les
X
{\displaystyle X}
de la forme
A
′
∪
B
′
∪
Y
{\displaystyle A'\cup B'\cup Y}
avec
Y
⊂
E
∖
(
A
∪
B
)
{\displaystyle Y\subset E\setminus (A\cup B)}
. Donc
f
{\displaystyle f}
est injective si et seulement si
A
∪
B
=
E
{\displaystyle A\cup B=E}
et surjective si et seulement si
A
∩
B
=
∅
{\displaystyle A\cap B=\varnothing }
.
Plus élémentairement : si
A
∪
B
=
E
{\displaystyle A\cup B=E}
alors
f
{\displaystyle f}
est injective car
∀
X
⊂
E
X
=
(
X
∩
A
)
∪
(
X
∩
B
)
{\displaystyle \forall X\subset E\quad X=(X\cap A)\cup (X\cap B)}
; par contre si
x
∈
E
∖
(
A
∪
B
)
{\displaystyle x\in E\setminus (A\cup B)}
alors
f
(
{
x
}
)
=
f
(
∅
)
{\displaystyle f(\{x\})=f(\varnothing )}
.
Si
A
∩
B
=
∅
{\displaystyle A\cap B=\varnothing }
alors
f
{\displaystyle f}
est surjective car
∀
A
′
⊂
A
∀
B
′
⊂
B
f
(
A
′
∪
B
′
)
=
(
A
′
,
B
′
)
{\displaystyle \forall A'\subset A\quad \forall B'\subset B\quad f(A'\cup B')=(A',B')}
; par contre si
x
∈
A
∩
B
{\displaystyle x\in A\cap B}
alors
(
{
x
}
,
∅
)
{\displaystyle (\{x\},\varnothing )}
n'a pas d'antécédent par
f
{\displaystyle f}
. Si
f
{\displaystyle f}
est bijective,
f
−
1
(
C
,
D
)
=
C
∪
D
{\displaystyle f^{-1}(C,D)=C\cup D}
.