Noțiunea de mulțime este un concept de bază al matematicii obţinut în urma unui proces de abstractizare.
Se vor nota mulţimile cu litere majuscule:
A
,
B
,
C
,
.
.
.
;
X
,
Y
,
Z
,
.
.
.
{\displaystyle A,B,C,...;X,Y,Z,...}
iar elementele acestora cu litere mici:
a
,
b
,
c
,
.
.
.
;
x
,
y
,
z
.
.
.
{\displaystyle a,b,c,...;x,y,z...}
Familiile de mulţimi se vor nota cu litere ronde:
A
,
B
,
C
,
.
.
.
;
X
,
Y
,
Z
,
.
.
.
.
{\displaystyle {\mathcal {A,B,C,...;X,Y,Z,....}}}
Dacă o mulțime este indicată prin elementele sale, mulțimea se notează enumerând între acolade aceste elemente.
Dacă mulțimea este dată printr-o proprietate prin care elementele acesteia se disting de cele care nu aparțin mulțimii, atunci mulțimea se notează specificând această proprietate.
Mulțimea care nu are niciun element se numește mulțimea vidă și se notează
∅
.
{\displaystyle \emptyset .}
Exemple .
1) Mulțimea
A
{\displaystyle A}
formată din elementele
a
,
b
,
c
,
d
{\displaystyle a,b,c,d}
se notează:
A
=
{
a
,
b
,
c
,
d
}
.
{\displaystyle A=\{a,b,c,d\}.}
2) Mulțimea
M
{\displaystyle M}
formată din numerele naturale mai mari decât 100 se notează:
M
=
{
x
|
x
>
100
}
.
{\displaystyle M=\{x\;|\;x>100\}.}
Dacă un element
a
{\displaystyle a}
aparține mulțimii
A
{\displaystyle A}
se notează
a
∈
A
.
{\displaystyle a\in A.}
Fie
A
,
B
{\displaystyle A,B}
două mulțimi.
Se numește reuniunea mulțimilor
A
,
B
{\displaystyle A,B}
mulțimea
S
{\displaystyle S}
formată din elementele care aparțin cel puțin uneia din mulțimile
A
,
B
.
{\displaystyle A,B.}
Se notează:
S
=
A
∪
B
=
{
a
|
a
∈
A
{\displaystyle S=A\cup B=\{a\;|\;a\in A}
sau
a
∈
B
}
.
{\displaystyle a\in B\}.}
În mod similar se definește reuniunea mai multor mulțimi
A
1
,
A
2
,
⋯
,
A
n
,
n
∈
N
:
{\displaystyle A_{1},A_{2},\cdots ,A_{n},\;n\in \mathbb {N} :}
⋃
i
=
1
A
i
=
A
1
∪
A
2
∪
⋯
∪
A
n
=
{
a
|
a
∈
A
1
{\displaystyle \bigcup _{i=1}A_{i}=A_{1}\cup A_{2}\cup \cdots \cup A_{n}=\{a\;|\;a\in A_{1}}
sau
a
∈
A
2
{\displaystyle a\in A_{2}}
sau
⋯
{\displaystyle \cdots }
sau
a
∈
A
n
}
.
{\displaystyle a\in A_{n}\}.}
Se numește intersecție a mulțimilor
A
,
B
{\displaystyle A,B}
mulțimea
I
{\displaystyle I}
formată din elementele care aparțin simultan celor două mulțimi și se notează:
I
=
A
∩
B
=
{
a
|
a
∈
A
{\displaystyle I=A\cap B=\{a\;|\;a\in A}
și
a
∈
B
}
.
{\displaystyle a\in B\}.}
În cazul a
n
{\displaystyle n}
mulțimi:
⋂
i
=
1
A
i
=
A
1
∩
A
2
∩
⋯
∩
A
n
=
{
a
|
a
∈
A
1
{\displaystyle \bigcap _{i=1}A_{i}=A_{1}\cap A_{2}\cap \cdots \cap A_{n}=\{a\;|\;a\in A_{1}}
și
a
∈
A
2
{\displaystyle a\in A_{2}}
și
⋯
{\displaystyle \cdots }
și
a
∈
A
n
}
.
{\displaystyle a\in A_{n}\}.}
Dacă intersecția a două mulțimi este vidă, atunci acestea se numesc mulțimi disjuncte .
Fie
E
{\displaystyle E}
o mulțime și
A
,
B
{\displaystyle A,B}
două submulțimi ale lui
E
.
{\displaystyle E.}
Diferența mulțimilor
A
,
B
{\displaystyle A,B}
este mulțimea
D
{\displaystyle D}
formată din elementele care aparțin lui
A
{\displaystyle A}
și nu aparțin lui
B
.
{\displaystyle B.}
Se notează:
D
=
A
∖
B
=
{
a
|
a
∈
A
{\displaystyle D=A\setminus B=\{a\;|\;a\in A}
și
a
∉
B
}
.
{\displaystyle a\notin B\}.}
Diferența
E
∖
A
{\displaystyle E\setminus A}
se numește complementara lui
A
{\displaystyle A}
în raport cu
E
{\displaystyle E}
și se notează
C
A
,
{\displaystyle {\mathcal {C}}A,}
deci:
C
A
=
{
x
|
x
∈
E
,
x
∉
A
}
.
{\displaystyle {\mathcal {C}}A=\{x\;|\;x\in E,\;x\notin A\}.}
Dacă
A
,
B
{\displaystyle A,B}
sunt două mulțimi, atunci diferența simetrică a acestora se definește ca fiind:
A
Δ
B
=
(
A
∖
B
)
∪
(
B
∖
A
)
.
{\displaystyle A\Delta B=(A\setminus B)\cup (B\setminus A).}
Proprietăți ale reuniunii și intersecției
modificare
Dacă
M
{\displaystyle M}
este o mulțime și
A
,
B
,
C
∈
P
(
M
)
,
{\displaystyle A,B,C\in {\mathcal {P}}(M),}
atunci:
(i)
A
∩
(
B
∩
C
)
=
(
A
∩
B
)
∩
C
,
A
∪
(
B
∪
C
)
=
(
A
∪
B
)
∪
C
{\displaystyle A\cap (B\cap C)=(A\cap B)\cap C,\quad A\cup (B\cup C)=(A\cup B)\cup C}
(asociativitate )
(ii)
A
∪
B
=
B
∪
A
,
A
∩
B
=
B
∩
A
{\displaystyle A\cup B=B\cup A,\quad A\cap B=B\cap A}
(comutativitate )
(iii)
A
∩
M
=
A
,
A
∪
∅
=
A
{\displaystyle A\cap M=A,\quad A\cup \emptyset =A}
(element neutru )
(iv)
A
∩
A
=
A
,
A
∪
A
=
A
.
{\displaystyle A\cap A=A,\quad A\cup A=A.}
(idempotență ).
Paradoxul lui Russell :
Fie
M
{\displaystyle {\mathcal {M}}}
o mulțime și se consideră propoziția
p
(
u
)
:
u
∉
u
{\displaystyle p(u):\;u\notin u}
și mulțimea
A
=
{
x
|
x
∈
M
∧
p
(
x
)
}
.
{\displaystyle A=\{x|\;x\in {\mathcal {M}}\land p(x)\}.}
Atunci
A
∉
M
.
{\displaystyle A\notin {\mathcal {M}}.}
Demonstrație.
Se presupune că
A
∈
M
.
{\displaystyle A\in {\mathcal {M}}.}
Dacă
p
(
A
)
{\displaystyle p(A)}
este adevărată, adică
A
∉
A
,
{\displaystyle A\notin A,}
din definiția lui
A
{\displaystyle A}
rezultă
A
∈
A
,
{\displaystyle A\in A,}
în care caz am avea
A
∉
A
⇒
A
∈
A
.
{\displaystyle A\notin A\;\Rightarrow \;A\in A.}
Dacă
p
(
A
)
{\displaystyle p(A)}
este falsă, adică
A
∈
A
,
{\displaystyle A\in A,}
din definiția lui
A
{\displaystyle A}
rezultă că
A
∉
A
,
{\displaystyle A\notin A,}
deci
A
∈
A
⇒
A
∉
A
.
{\displaystyle A\in A\;\Rightarrow \;A\notin A.}
Prin urmare, din
A
∈
M
{\displaystyle A\in {\mathcal {M}}}
rezultă:
A
∉
A
⇒
A
∈
A
,
{\displaystyle A\notin A\;\Rightarrow \;A\in A,}
ceea ce este absurd.
Deci ipoteza
A
∈
M
{\displaystyle A\in {\mathcal {M}}}
este falsă, de unde rezultă că negația sa, adică
A
∉
M
{\displaystyle A\notin {\mathcal {M}}}
este adevărată.
Observație.
Această teoremă demonstrează faptul că mulțimea tuturor mulțimilor nu este mulțime, deoarece oricare ar fi mulțimea
M
{\displaystyle {\mathcal {M}}}
există obiecte pe care nu le conține, de exemplu mulțimea
A
{\displaystyle A}
definită mai sus.
Mulțimile
A
,
B
{\displaystyle A,B}
se numesc cardinal echivalente (sau echipotente ) și se notează
A
∼
B
,
{\displaystyle A\sim B,}
dacă există o funcție bijectivă
f
:
A
→
B
.
{\displaystyle f:A\to B.}
Fiecărei mulțimi
A
{\displaystyle A}
îi atașăm simbolul
c
a
r
d
A
,
{\displaystyle card\,A,}
care se citește cardinalul lui
A
.
{\displaystyle A.}
și care, prin definiție, posedă proprietatea:
c
a
r
d
A
=
c
a
r
d
B
⇔
A
∼
B
.
{\displaystyle card\,A=card\,B\;\Leftrightarrow \;A\sim B.}
Relația binară :
c
a
r
d
A
≤
c
a
r
d
B
⇔
∃
B
′
⊂
B
∧
c
a
r
d
A
=
c
a
r
d
B
{\displaystyle card\,A\leq card\,B\;\Leftrightarrow \;\exists B'\subset B\;\land \;card\,A=card\,B}
este o relație de ordine .
O mulțime se numește
finită
{\displaystyle {\text{finită}}}
dacă verifică una din condițiile echivalente:
(i)
există un
n
∈
N
astfel încât
A
∼
{
1
,
2
,
⋯
,
n
}
;
{\displaystyle {\text{ există un }}n\in \mathbb {N} {\text{ astfel încât }}A\sim \{1,2,\cdots ,n\};}
(ii)
oricare ar fi
B
⫋
A
avem
card
A
≠
card
B
.
{\displaystyle \;{\text{ oricare ar fi }}B\subsetneqq A\;{\text{ avem }}{\text{card}}A\neq {\text{card}}B.}
O mulțime care nu este finită se numește infinită .
Numerele cardinale ale mulțimilor infinite se numesc transfinite .
Dacă
A
∼
{
1
,
2
,
⋯
,
n
}
,
{\displaystyle A\sim \{1,2,\cdots ,n\},}
atunci
card
A
=
d
e
f
n
.
{\displaystyle {\text{ card}}\,A{\overset {\underset {\mathrm {def} }{}}{=}}n.}
Fie
a
=
c
a
r
d
A
,
b
=
c
a
r
d
B
.
{\displaystyle a=card\;A,\;b=card\,B.}
Operațiile de adunare, înmulțire și ridicare la putere a numerelor cardinale se definesc astfel:
(i)
a
+
b
=
c
a
r
d
(
A
∪
B
)
,
(în ipoteza că
A
∩
B
=
∅
)
;
{\displaystyle a+b=\,card\,(A\cup B),\;{\text{(în ipoteza că}}\;A\cap B=\emptyset );}
(ii)
a
⋅
b
=
c
a
r
d
(
A
×
B
)
;
{\displaystyle a\cdot b=\,card\,(A\times B);}
(iii)
a
b
=
c
a
r
d
A
B
,
{\displaystyle a^{b}=card\,A^{B},}
unde prin
A
B
{\displaystyle A^{B}}
s-a notat mulțimea funcțiilor definite pe
B
{\displaystyle B}
cu valori în
A
.
{\displaystyle A.}
Operațiile de adunare și înmulțire ale numerelor cardinale sunt comutative, asociative și distributive una în raport cu cealaltă, iar exponențierea are următoarele proprietăți:
a
b
⋅
a
c
=
a
b
+
c
,
(
a
b
)
c
=
a
b
⋅
c
,
(
a
⋅
b
)
c
=
a
c
⋅
b
c
.
{\displaystyle a^{b}\cdot a^{c}=a^{b+c},\quad (a^{b})^{c}=a^{b\cdot c},\quad (a\cdot b)^{c}=a^{c}\cdot b^{c}.}
O mulțime
A
{\displaystyle A}
se numește:
(i) numărabilă (notăm
c
a
r
d
A
=
ℵ
0
)
{\displaystyle card\,A=\aleph _{0})}
dacă este echipotentă cu mulțimea
N
.
{\displaystyle \mathbb {N} .}
(ii) cel mult numărabilă (notăm
c
a
r
d
A
≤
ℵ
0
)
{\displaystyle card\,A\leq \mathbf {\aleph } _{0})}
dacă aceasta este finită sau numărabilă;
(iii) de puterea continuului (notăm
c
a
r
d
A
=
ℵ
c
{\displaystyle card\,A=\aleph _{c}}
) dacă este echivalentă cu
R
.
{\displaystyle \mathbb {R} .}
Dacă
A
{\displaystyle A}
este infinită, atunci
ℵ
0
≤
c
a
r
d
A
,
{\displaystyle \aleph _{0}\leq card\,A,}
adică
ℵ
0
{\displaystyle \aleph _{0}}
este primul număr cardinal transfinit.
Teoria mulţimilor poate fi introdusă mult mai riguros, multe din definiţiile anterioare fiind considerate axiome:
1. Axioma determinării:
{\displaystyle {\text{1. Axioma determinării:}}}
Dacă
A
,
B
{\displaystyle A,B}
sunt două mulțimi, iar orice element dintr-o mulțime este și în cealaltă, atunci
A
=
B
.
{\displaystyle A=B.}
2. Axioma mulțimilor elementare:
{\displaystyle {\text{2. Axioma mulțimilor elementare:}}}
(i) Există mulțimi vide, generic notate
∅
;
{\displaystyle \emptyset ;}
(ii) Dacă
a
{\displaystyle a}
este un obiect arbitrar, atunci există mulțimea
{
a
}
{\displaystyle \{a\}}
care îl conține pe
a
{\displaystyle a}
ca unic element;
(iii) Dacă
a
,
b
{\displaystyle a,b}
sunt obiecte diferite, atunci există o mulțime
{
a
,
b
}
{\displaystyle \{a,b\}}
care conține pe
a
{\displaystyle a}
și
b
{\displaystyle b}
ca elemente.
3. Axioma bazei:
{\displaystyle {\text{3. Axioma bazei:}}}
Orice mulțime nevidă
X
{\displaystyle X}
conține cel puțin un element
x
{\displaystyle x}
astfel încât
x
{\displaystyle x}
și
X
{\displaystyle X}
nu au nimic în comun.
Dacă
P
{\displaystyle {\mathfrak {P}}}
este o proprietate (sau un ansamblu de proprietăți) pentru elementele
x
{\displaystyle x}
ale lui
X
,
{\displaystyle X,}
atunci există o mulțime
Y
{\displaystyle Y}
care conține toate elementele din
X
{\displaystyle X}
cu proprietatea
P
{\displaystyle {\mathfrak {P}}}
și nu conține alte elemente.
4. Axioma submulțimilor:
{\displaystyle {\text{4. Axioma submulțimilor:}}}
Pentru orice mulțime
A
,
{\displaystyle A,}
există o mulțime
P
(
A
)
{\displaystyle {\mathcal {P}}(A)}
care conține exact submulțimile lui
A
.
{\displaystyle A.}
5. Axioma reuniunii:
{\displaystyle {\text{5. Axioma reuniunii:}}}
Pentru orice mulțime
A
{\displaystyle A}
de mulțimi, există o mulțime
B
{\displaystyle B}
care conține numai elementel3 mulțimilor din
A
.
{\displaystyle A.}
6. Axioma alegerii:
{\displaystyle {\text{6. Axioma alegerii:}}}
Pentru orice mulțime
M
{\displaystyle M}
de mulțimi nevide, mutual disjuncte, există o mulțime care conține exact câte un element din fiecare mulțime din
M
.
{\displaystyle M.}
7. Axioma infinitului:
{\displaystyle {\text{7. Axioma infinitului:}}}
Există o mulțime
C
{\displaystyle C}
care satisface condițiile următoare:
(i)
∅
{\displaystyle \emptyset }
este un element al lui
C
;
{\displaystyle C;}
(ii) Dacă
x
{\displaystyle x}
este din
C
,
{\displaystyle C,}
atunci și
{
x
}
{\displaystyle \{x\}}
este din
C
.
{\displaystyle C.}
Se notează:
mulţimile:
A
,
B
,
C
.
.
.
{\displaystyle A,B,C...}
mulţimea universală:
U
{\displaystyle {\mathcal {U}}}
complementara unei mulţimi:
A
′
{\displaystyle {\mathcal {A}}'}
sau
A
¯
{\displaystyle {\mathcal {\bar {A}}}}
relaţia de incluziune (nestrictă):
A
⊆
B
{\displaystyle A\subseteq B}
mulţimea vidă:
∅
{\displaystyle \emptyset }
reuniunea a două mulţimi:
A
∪
B
{\displaystyle A\cup B}
intersecţia a două mulţimi:
A
∩
B
{\displaystyle A\cap B}
diferenţa a două mulţimi:
A
∖
B
{\displaystyle A\setminus B}
Există relaţiile:
A
⊆
U
,
A
⊆
A
,
,
∅
⊆
A
{\displaystyle A\subseteq {\mathcal {U}},\;A\subseteq A,\;,\emptyset \subseteq A}
A
=
B
⇔
A
⊆
B
∧
B
⊆
A
{\displaystyle A=B\;\Leftrightarrow \;A\subseteq B\wedge B\subseteq A}
reuniune:
A
∪
B
=
{
x
|
x
∈
A
∨
x
∈
B
}
{\displaystyle A\cup B=\{x|\;x\in A\lor x\in B\}}
intersecţie:
A
∩
B
=
{
x
|
x
∈
A
∧
x
∈
B
}
{\displaystyle A\cap B=\{x|\;x\in A\land x\in B\}}
comutativitate:
A
∪
B
=
B
∪
A
,
A
∩
B
=
B
∩
A
{\displaystyle A\cup B=B\cup A,\;A\cap B=B\cap A}
asociativitate:
A
∪
(
B
∪
C
)
=
(
A
∪
B
)
∪
C
,
A
∩
(
B
∩
C
)
=
(
A
∩
B
)
∩
C
{\displaystyle A\cup (B\cup C)=(A\cup B)\cup C,\;A\cap (B\cap C)=(A\cap B)\cap C}
idempotenţă:
A
∩
A
=
A
,
A
∪
A
=
A
{\displaystyle A\cap A=A,\;A\cup A=A}
dominare:
A
∩
∅
=
∅
,
A
∪
U
=
U
{\displaystyle A\cap \emptyset =\emptyset ,\;A\cup {\mathcal {U}}={\mathcal {U}}}
identitate:
A
∪
∅
=
A
,
A
∩
U
=
A
{\displaystyle A\cup \emptyset =A,\;A\cap {\mathcal {U}}=A}
complementara unei mulţimi:
A
′
=
{
x
∈
I
|
x
∉
A
}
,
A
∪
A
′
=
U
,
A
∩
A
′
=
∅
{\displaystyle A'=\{x\in I|\;x\notin A\},\;A\cup A'={\mathcal {U}},\;A\cap A'=\emptyset }
legile lui De Morgan :
(
A
∪
B
)
′
=
A
′
∩
B
′
,
(
A
∩
B
)
′
=
A
′
∪
B
′
{\displaystyle (A\cup B)'=A'\cap B',\;(A\cap B)'=A'\cup B'}
diferenţa a două mulţimi:
C
=
B
∖
A
=
{
x
|
x
∈
B
∧
x
∉
A
}
{\displaystyle C=B\setminus A=\{x|\;x\in B\land x\notin A\}}
proprietăţi ale diferenţei a două mulţimi:
B
∖
A
=
B
∖
(
A
∩
B
)
,
B
∖
A
=
B
∩
A
′
,
A
∖
A
=
∅
,
A
∖
B
=
A
{\displaystyle B\setminus A=B\setminus (A\cap B),\;B\setminus A=B\cap A',\;A\setminus A=\emptyset ,\;\;A\setminus B=A}
dacă
A
∩
B
=
∅
,
(
A
∖
B
)
∩
C
=
(
A
∩
C
)
∖
(
B
∩
C
)
,
A
′
=
U
∖
A
{\displaystyle A\cap B=\emptyset ,\;(A\setminus B)\cap C=(A\cap C)\setminus (B\cap C),\;A'={\mathcal {U}}\setminus A}
produs cartezian:
C
=
A
×
B
=
{
(
x
,
y
)
|
x
∈
A
∧
y
∈
B
}
{\displaystyle C=A\times B=\{(x,y)\;|\;x\in A\land y\in B\}}