Перетин множин

В математиці, зокрема в теорії множин, пере́тиномШаблон:Джерело двох множин A і B називається множина, яка складається з усіх елементів множини A, які водночас належать і множині B та навпаки (всі елементи множини B, які належать A) і тільки них. Вона і позначається як "A∩B та є підмножиною обох.

Перетин множин A та B

Формально:

$A\cap B=\{x\mid x\in A\wedge x\in B\}.$; $A\cap B\subseteq A\wedge A\cap B\subseteq B$

Якщо одна множина є підмножиною другої, то їхній перетин дорівнює першій множині: $A\subseteq B\to A\cap B=A$

Якщо перетин двох множин A і B є порожнім, тобто не містить спільних елементів, то кажуть, що такі множини не перетинаються.

Цей факт позначається як A∩B = Ø.

Приклади:

• {1, 2, 3} ∩ {2, 3, 4} = {2, 3}.
• {1, 2} ∩ {3, 4} = Ø.

Алгебраїчні властивості

• Перетин множин є бінарною операцією на довільному булеані $2^X$;
• Операція перетину множин комутативна:

$A\cap B=B\cap A;$

• Операція перетину множин асоціативна:

$(A\cap B)\cap C=A\cap (B\cap C);$

• Універсальна множина $X$ є нейтральним елементом операції перетину множин:

$A\cap X=A;$

• З вищеперечислених властивостей випливає, що булеан з операцією перетину множин є абелевою групою;
• Операція перетину множин ідемпотентна:

$A\cap A=A;$

• Якщо $\mathrm{\varnothing }$ — порожня множина, то

$A\cap \mathrm{\varnothing }=\mathrm{\varnothing }.$

Перетин довільної кількості множин

В загальному випадку, якщо множина M є непорожньою множиною, елементами якої в свою чергу є множини. Тоді елемент x є елементом перетину M тоді й тільки тоді, коли для кожного елемента A з M, x є елементом A.

В символьній формі:

$x\in \bigcap 𝐌⟺\mathrm{\forall }A\in 𝐌,x\in A.$

Наприклад, множина A∩B∩C є перетином такої колекції множин {A,B,C}.

Позначення перетину довільної кількості множин такі:

$\bigcap 𝐌,$ або $\bigcap _{A\in 𝐌}A.$

Остання нотація може бути узагальнена до

$\bigcap _{i\in I}{A}_i,$

що позначає перетин колекції множин {A_i : i ∈ I}. Тут I - непорожня множина, і A_i - множина для кожного i в I.

В цьому випадку I є індексна множина (тобто множина індексів, натуральних чисел), і можна застосувати нотацію, аналогічну нотації для сум:

$\bigcap _{i=1}^{\mathrm{\infty }}{A}_i$

Також можна писати "A₁ ∩ A₂ ∩ A₃ ∩ ...

Див. також

• Кон'юнкція
• Переріз множини дійсних чисел

Джерела

• Шаблон:Куратовский.Мостовский.Теория множеств