Când nimic nu poate fi ceva? Pare o întrebare stupidă și destul de paradoxală. În câmpul matematic al teoriei de seturi, este de rutină ca nimic să nu fie altceva decât nimic. Cum poate fi aceasta?
Când formăm un set fără elemente, nu mai avem nimic. Avem un set fără nimic în el. Există un nume special pentru set care nu conține elemente. Aceasta se numește set gol sau nul.
Definiția setului gol este destul de subtilă și necesită un pic de gândire. Este important să ne amintim că ne gândim la un set ca la o colecție de elemente. Setul în sine este diferit de elementele pe care le conține.
De exemplu, ne vom uita la 5, care este un set care conține elementul 5. Setul 5 nu este un număr. Este un set cu numărul 5 ca element, în timp ce 5 este un număr.
Într-un mod similar, setul gol nu este nimic. În schimb, este setul fără elemente. Ajută să gândim seturile ca pe containere, iar elementele sunt acele lucruri pe care le punem în ele. Un container gol este încă un container și este analog cu setul gol.
Setul gol este unic, motiv pentru care este complet adecvat să vorbim set gol, mai degrabă decât un set gol. Acest lucru face ca setul gol să fie distinct de celelalte seturi. Există la infinit multe seturi cu un singur element în ele. Seturile a, 1, b și 123 au fiecare un element, deci sunt echivalente unul cu celălalt. Deoarece elementele în sine sunt diferite unele de altele, seturile nu sunt egale.
Nu există nimic special în ceea ce privește exemplele de mai sus având fiecare element. Cu o singură excepție, pentru orice număr de numărare sau infinit, există o mulțime de seturi de dimensiuni. Excepția este pentru numărul zero. Există un singur set, setul gol, fără elemente în el.
Dovada matematică a acestui fapt nu este dificilă. Presupunem mai întâi că setul gol nu este unic, că există două seturi fără elemente în ele și apoi folosim câteva proprietăți din teoria seturilor pentru a arăta că această presupunere implică o contradicție.
Setul gol este notat cu simbolul ∅, care provine dintr-un simbol similar în alfabetul danez. Unele cărți se referă la setul gol cu numele său alternativ de set nul.
Deoarece există un singur set gol, merită să vedem ce se întâmplă atunci când operațiunile de intersecție, unire și complement sunt utilizate cu setul gol și un set general pe care îl vom denota prin X. De asemenea, este interesant să luăm în considerare subsetul setului gol și când este setul gol un subset. Aceste date sunt colectate mai jos: