From Wikipedia, the free encyclopedia
În matematică, despre două mulțimi se spune că sunt mulțimi disjuncte dacă nu au niciun element în comun.[1] Echivalent, două mulțimi sunt disjuncte dacă intersecția lor este vidă.[2] De exemplu {1, 2, 3} și {4, 5, 6} sunt mulțimi disjuncte, în timp ce {1, 2, 3} și {3, 4, 5} nu sunt, deoarece au în comun elementul „3”. Mai multe mulțimi sunt disjuncte dacă oricare pereche dintre acestea sunt disjuncte.
Definiția mulțimilor disjuncte poate fi extinsă la o familie de mulțimi : familia este disjunctă în perechi sau mutual disjuncte dacă ori de câte ori . Alternativ, unii autori folosesc termenul disjunct pentru a se referi și la această noțiune.
La familii noțiunea de disjuncte în perechi este uneori definită într-un mod puțin diferit, prin aceea că se admite multiplicitatea membrilor (repetarea membrilor identici): familia este disjunctă în perechi dacă ori de câte ori (fiecare două mulțimi distincte din familie sunt disjuncte).[3] De exemplu, setul de mulțimi { {0, 1, 2}, {3, 4, 5}, {6, 7, 8}, ... } este disjunct, ca și setul { {..., −2, 0, 2, 4, ...}, {..., −3, −1, 1, 3, 5} } al celor două clase de paritate ale întregilor; familia cu 10 membri nu este disjunctă (deoarece clasele de numere pare și impare sunt prezente fiecare de cinci ori), dar este disjunctă în perechi conform acestei definiții (deoarece se obține o intersecție nevidă a doi membri doar atunci când cei doi sunt din aceeași clasă).
Se spune că două mulțimi sunt aproape disjuncte dacă intersecția lor este mică într-un anumit sens. De exemplu, două mulțimi infinite a căror intersecție este o mulțime finită se poate spune că sunt aproape disjuncte.[4]
În topologie există noțiunea de mulțimi separate cu condiții mai stricte decât disjuncția. De exemplu, două mulțimi pot fi considerate a fi separate atunci când au închiderile disjuncte sau vecinătățile disjuncte. Similar, într-un spațiu metric, mulțimile separate pozitiv sunt mulțimi separate printr-o distanță diferită de zero.[5]
Faptul că două mulțimi sau o familie de mulțimi sunt disjuncte poate fi exprimat în termeni de intersecții ale acestora în perechi.
Două mulțimi A și B sunt disjuncte dacă și numai dacă intersecția lor este mulțimea vidă.[2] Din această definiție rezultă că orice mulțime este disjunctă de mulțimea vidă, iar mulțimea vidă este singura mulțime care este disjunctă de ea însăși (deoarece nu are niciun element, nu are nici vreun element în comun cu vreun element al ei).[6]
Dacă o colecție conține cel puțin două mulțimi, condiția ca colecția să fie disjunctă implică faptul că intersecția întregii colecții să fie vidă. Însă o colecție de mulțimi poate avea o intersecție vidă fără a fi ea însăși disjunctă. În plus, în timp ce o colecție de mai puțin de două mulțimi este trivial disjunctă, deoarece nu există perechi de comparat, intersecția unei colecții formate dintr-o singură mulțime este egală cu acea mulțime, care poate fi nevidă.[3] De exemplu, intersecția celor trei mulțimi { {1, 2}, {2, 3}, {1, 3} } este vidă, dar ele nu sunt disjuncte. De fapt între ele nu există nicio pereche de mulțimi disjuncte.
O partiție X este orice colecție de mulțimi nevide, disjuncte reciproc, a căror reuniune este X.[7] Echivalent, fiecare partiție poate fi descrisă printr-o relație de echivalență, o relație binară care descrie dacă două elemente aparțin aceleiași mulțimi din partiție.[7]
O reuniune disjunctă poate însemna două lucruri. Cel mai simplu, poate însemna reuniunea mulțimilor care sunt disjuncte.[8] Dar dacă două sau mai multe mulțimi nu sunt deja disjuncte, reuniunea lor disjunctă poate fi formată prin modificarea mulțimilor pentru a le face disjuncte înainte de a forma reuniunea mulțimilor modificate.[9] De exemplu, două mulțimi pot fi făcute disjuncte prin înlocuirea fiecărui element cu o pereche ordonată a elementului și o valoare binară care indică dacă acesta aparține primei sau celei de a doua milțimi.[10] Similar, la familii de mai mult de două mulțimi se poate înlocui fiecare element cu o pereche ordonată a elementului și indicele mulțimii căreia îi aparține.[11]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.