Analiză matematică/Mulțimi

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,...$ iar elementele acestora cu litere mici: $a,b,c,...;x,y,z...$ Familiile de mulţimi se vor nota cu litere ronde: ${\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ă $\emptyset .$

Exemple.

1) Mulțimea $A$ formată din elementele $a,b,c,d$ se notează:

$A=\{a,b,c,d\}.$

2) Mulțimea $M$ formată din numerele naturale mai mari decât 100 se notează:

$M=\{x\;|\;x>100\}.$

Dacă un element $a$ aparține mulțimii $A$ se notează $a\in A.$

Relaţii între mulţimi

1. Definiție. Fie A şi B două mulţimi. Atunci se va scrie şi se va nota:

• $A\subseteq B\;\Leftrightarrow \;\left((\forall x)x\in A\;\Rightarrow \;x\in B\right)$ (A este inclusă în B);
• $A=B\;\Leftrightarrow \;A\subseteq B\land B\subseteq A$ (A este egală cu B);
• $A\subset B\;\Leftrightarrow \;A\subseteq B\land A\neq B$ (A este inclusă strict în B);
• Prin submulțime (parte) a unei mulțimi $A$ se înțelege o mulțime inclusă în $A.$
• Submulțimile lui $A$ diferite de $\emptyset$ și $A$ se numesc proprii, pe când $\emptyset ,A$ sunt denumite submulțimi improprii ale lui $A.$

Fie două mulțimi $A,B.$ Dacă toate elementele mulțimii $A$ sunt și elemente ale mulțimii $B,$ se va spune că $A$ este submulțime a lui $B$ și se notează:

$A\subseteq A$ sau $B\supseteq A.$

1. Propoziţie. Relația de incluziune (nestrictă) posedă următoarele proprietăți:

1. $A\subseteq A$ (reflexivitate);
2. $A\subseteq B$ și $B\subseteq A\;\Rightarrow \;A=B$ (antisimetrie);
3. $A\subseteq B$ și $B\subseteq C\;\Rightarrow \;A=C$ (tranzitivitate).

Operații cu mulțimi

Fie $A,B$ două mulțimi. Se numește reuniunea mulțimilor $A,B$ mulțimea $S$ formată din elementele care aparțin cel puțin uneia din mulțimile $A,B.$ Se notează:

$S=A\cup B=\{a\;|\;a\in A$ sau $a\in B\}.$

În mod similar se definește reuniunea mai multor mulțimi $A_{1},A_{2},\cdots ,A_{n},\;n\in \mathbb {N} :$

$\bigcup _{i=1}A_{i}=A_{1}\cup A_{2}\cup \cdots \cup A_{n}=\{a\;|\;a\in A_{1}$ sau $a\in A_{2}$ sau $\cdots$ sau $a\in A_{n}\}.$

Se numește intersecție a mulțimilor $A,B$ mulțimea $I$ formată din elementele care aparțin simultan celor două mulțimi și se notează:

$I=A\cap B=\{a\;|\;a\in A$ și $a\in B\}.$

În cazul a $n$ mulțimi:

$\bigcap _{i=1}A_{i}=A_{1}\cap A_{2}\cap \cdots \cap A_{n}=\{a\;|\;a\in A_{1}$ și $a\in A_{2}$ și $\cdots$ și $a\in A_{n}\}.$

Dacă intersecția a două mulțimi este vidă, atunci acestea se numesc mulțimi disjuncte.

Fie $E$ o mulțime și $A,B$ două submulțimi ale lui $E.$ Diferența mulțimilor $A,B$ este mulțimea $D$ formată din elementele care aparțin lui $A$ și nu aparțin lui $B.$ Se notează:

$D=A\setminus B=\{a\;|\;a\in A$ și $a\notin B\}.$

Diferența $E\setminus A$ se numește complementara lui $A$ în raport cu $E$ și se notează ${\mathcal {C}}A,$ deci:

${\mathcal {C}}A=\{x\;|\;x\in E,\;x\notin A\}.$

Dacă $A,B$ sunt două mulțimi, atunci diferența simetrică a acestora se definește ca fiind:

$A\Delta B=(A\setminus B)\cup (B\setminus A).$

Proprietăți ale reuniunii și intersecției

Dacă $M$ este o mulțime și $A,B,C\in {\mathcal {P}}(M),$ atunci:

(i)   $A\cap (B\cap C)=(A\cap B)\cap C,\quad A\cup (B\cup C)=(A\cup B)\cup C$   (asociativitate)

(ii)   $A\cup B=B\cup A,\quad A\cap B=B\cap A$   (comutativitate)

(iii)   $A\cap M=A,\quad A\cup \emptyset =A$   (element neutru)

(iv)   $A\cap A=A,\quad A\cup A=A.$   (idempotență).

Legile lui De Morgan

Fie $E$ o mulțime și $(A_{i})_{i\in I}$ o familie de submulțimi din $E$ ($I$ fiind o familie de indici). Atunci:

${\begin{matrix}{\mathcal {C}}\left(\bigcup _{i\in I}A_{i}\right)=\bigcap _{i\in I}\left({\mathcal {C}}A_{i}\right)\\{\mathcal {C}}\left(\bigcap _{i\in I}A_{i}\right)=\bigcup _{i\in I}\left({\mathcal {C}}A_{i}\right)\end{matrix}}$   (Legile lui De Morgan)

Demonstrație. Se va demonstra prima relație prin dublă incluziune. Mai întâi fie un element $x\in {\mathcal {C}}\left(\bigcup _{i\in I}A_{i}\right).$ Acest lucru este echivalent cu $x\notin \bigcup _{i\in I}A_{i}\;\Leftrightarrow \;x\notin A_{i},\;\forall i\in I\;\Leftrightarrow \;x\in A_{i},\;\forall i\in I\;\Leftrightarrow \;x\in \bigcap _{i\in I}\left({\mathcal {C}}A_{i}\right).$ Astfel s-a demonstrat că ${\mathcal {C}}\left(\bigcup _{i\in I}A_{i}\right)\subseteq \bigcap _{i\in I}\left({\mathcal {C}}A_{i}\right).$

În mod similar avem:

$x\in {\mathcal {C}}\left(\bigcap _{i\in I}A_{i}\right)\;\Leftrightarrow \;x\notin \bigcap _{i\in I}A_{i}\;\Leftrightarrow \;\exists i_{0}\in I$ astfel încât $x\notin A_{0}\;\Leftrightarrow \;\exists i_{0}\in I$ astfel încât $x\in {\mathcal {C}}A_{i_{0}}\;\Leftrightarrow \;x\in \bigcup _{i\in I}\left({\mathcal {C}}A_{i}\right).$

Astfel s-a demonstrat și incluziunea inversă: $\bigcap _{i\in I}\left({\mathcal {C}}A_{i}\right)\subseteq {\mathcal {C}}\left(\bigcup _{i\in I}A_{i}\right)$ și deci prima relație din enunț este verificată. În mod similar se demonstrează și a doua.

Caz particular. În cazul a două mulțimi $A,B,$ relațiile lui De Morgan devin:

• ${\mathcal {C}}(A\cup B)={\mathcal {C}}A\cap {\mathcal {C}}B;$
• ${\mathcal {C}}(A\cap B)={\mathcal {C}}A\cup {\mathcal {C}}B$

și arată că reuniunea și intersecția sunt operațiuni duale una celeilalte.

Paradoxul lui Russell

Paradoxul lui Russell: Fie ${\mathcal {M}}$ o mulțime și se consideră propoziția $p(u):\;u\notin u$  și mulțimea $A=\{x|\;x\in {\mathcal {M}}\land p(x)\}.$ Atunci $A\notin {\mathcal {M}}.$

Demonstrație. Se presupune că $A\in {\mathcal {M}}.$ Dacă $p(A)$ este adevărată, adică $A\notin A,$ din definiția lui $A$ rezultă $A\in A,$ în care caz am avea $A\notin A\;\Rightarrow \;A\in A.$ Dacă $p(A)$ este falsă, adică $A\in A,$ din definiția lui $A$ rezultă că $A\notin A,$ deci $A\in A\;\Rightarrow \;A\notin A.$ Prin urmare, din $A\in {\mathcal {M}}$ rezultă:

$A\notin A\;\Rightarrow \;A\in A,$

ceea ce este absurd. Deci ipoteza $A\in {\mathcal {M}}$ este falsă, de unde rezultă că negația sa, adică $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 ${\mathcal {M}}$ există obiecte pe care nu le conține, de exemplu mulțimea $A$ definită mai sus.

Cardinalul unei mulțimi

Mulțimile $A,B$ se numesc cardinal echivalente (sau echipotente) și se notează $A\sim B,$ dacă există o funcție bijectivă $f:A\to B.$ Fiecărei mulțimi $A$ îi atașăm simbolul $card\,A,$ care se citește cardinalul lui $A.$ și care, prin definiție, posedă proprietatea:

$card\,A=card\,B\;\Leftrightarrow \;A\sim B.$

Relația binară:

$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 ${\text{finită}}$ dacă verifică una din condițiile echivalente:

(i)   ${\text{ există un }}n\in \mathbb {N} {\text{ astfel încât }}A\sim \{1,2,\cdots ,n\};$

(ii)   $\;{\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\sim \{1,2,\cdots ,n\},$ atunci ${\text{ card}}\,A{\overset {\underset {\mathrm {def} }{}}{=}}n.$

Fie $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=\,card\,(A\cup B),\;{\text{(în ipoteza că}}\;A\cap B=\emptyset );$

(ii)   $a\cdot b=\,card\,(A\times B);$

(iii)   $a^{b}=card\,A^{B},$

unde prin $A^{B}$ s-a notat mulțimea funcțiilor definite pe $B$ cu valori în $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}\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$ se numește:

(i) numărabilă (notăm   $card\,A=\aleph _{0})$ dacă este echipotentă cu mulțimea $\mathbb {N} .$

(ii) cel mult numărabilă (notăm $card\,A\leq \mathbf {\aleph } _{0})$   dacă aceasta este finită sau numărabilă;

(iii) de puterea continuului (notăm $card\,A=\aleph _{c}$) dacă este echivalentă cu $\mathbb {R} .$

Dacă $A$ este infinită, atunci $\aleph _{0}\leq card\,A,$ adică $\aleph _{0}$ este primul număr cardinal transfinit.

Prezentare axiomatică

Teoria mulţimilor poate fi introdusă mult mai riguros, multe din definiţiile anterioare fiind considerate axiome:

${\text{1. Axioma determinării:}}$ Dacă $A,B$ sunt două mulțimi, iar orice element dintr-o mulțime este și în cealaltă, atunci $A=B.$ ${\text{2. Axioma mulțimilor elementare:}}$ (i) Există mulțimi vide, generic notate $\emptyset ;$ (ii) Dacă $a$ este un obiect arbitrar, atunci există mulțimea $\{a\}$ care îl conține pe $a$ ca unic element; (iii) Dacă $a,b$ sunt obiecte diferite, atunci există o mulțime $\{a,b\}$ care conține pe $a$ și $b$ ca elemente. ${\text{3. Axioma bazei:}}$ Orice mulțime nevidă $X$ conține cel puțin un element $x$ astfel încât $x$ și $X$ nu au nimic în comun. Dacă ${\mathfrak {P}}$ este o proprietate (sau un ansamblu de proprietăți) pentru elementele $x$ ale lui $X,$ atunci există o mulțime $Y$ care conține toate elementele din $X$ cu proprietatea ${\mathfrak {P}}$ și nu conține alte elemente. ${\text{4. Axioma submulțimilor:}}$ Pentru orice mulțime $A,$ există o mulțime ${\mathcal {P}}(A)$ care conține exact submulțimile lui $A.$ ${\text{5. Axioma reuniunii:}}$ Pentru orice mulțime $A$ de mulțimi, există o mulțime $B$ care conține numai elementel3 mulțimilor din $A.$ ${\text{6. Axioma alegerii:}}$ Pentru orice mulțime $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.$ ${\text{7. Axioma infinitului:}}$ Există o mulțime $C$ care satisface condițiile următoare: (i) $\emptyset$ este un element al lui $C;$ (ii) Dacă $x$ este din $C,$ atunci și $\{x\}$ este din $C.$

Rezumat

Se notează: mulţimile: $A,B,C...$ mulţimea universală: ${\mathcal {U}}$ complementara unei mulţimi: ${\mathcal {A}}'$ sau ${\mathcal {\bar {A}}}$ relaţia de incluziune (nestrictă): $A\subseteq B$ mulţimea vidă: $\emptyset$ reuniunea a două mulţimi: $A\cup B$ intersecţia a două mulţimi: $A\cap B$ diferenţa a două mulţimi: $A\setminus B$ Există relaţiile: $A\subseteq {\mathcal {U}},\;A\subseteq A,\;,\emptyset \subseteq A$ $A=B\;\Leftrightarrow \;A\subseteq B\wedge B\subseteq A$ reuniune: $A\cup B=\{x|\;x\in A\lor x\in B\}$ intersecţie: $A\cap B=\{x|\;x\in A\land x\in B\}$ comutativitate: $A\cup B=B\cup A,\;A\cap B=B\cap A$ asociativitate: $A\cup (B\cup C)=(A\cup B)\cup C,\;A\cap (B\cap C)=(A\cap B)\cap C$ idempotenţă: $A\cap A=A,\;A\cup A=A$ dominare: $A\cap \emptyset =\emptyset ,\;A\cup {\mathcal {U}}={\mathcal {U}}$ identitate: $A\cup \emptyset =A,\;A\cap {\mathcal {U}}=A$ complementara unei mulţimi: $A'=\{x\in I|\;x\notin A\},\;A\cup A'={\mathcal {U}},\;A\cap A'=\emptyset$ legile lui De Morgan: $(A\cup B)'=A'\cap B',\;(A\cap B)'=A'\cup B'$ diferenţa a două mulţimi: $C=B\setminus A=\{x|\;x\in B\land x\notin A\}$ proprietăţi ale diferenţei a două mulţimi: $B\setminus A=B\setminus (A\cap B),\;B\setminus A=B\cap A',\;A\setminus A=\emptyset ,\;\;A\setminus B=A$ dacă $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\times B=\{(x,y)\;|\;x\in A\land y\in B\}$