Доповнення множин: відмінності між версіями

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
JAnDbot (обговорення | внесок)
VolkovBot (обговорення | внесок)
м робот додав: ar:مجموعة مكملة
Рядок 60: Рядок 60:
[[Категорія:Алгебра]]
[[Категорія:Алгебра]]


[[ar:مجموعة مكملة]]
[[be:Дапаўненне мностваў]]
[[be:Дапаўненне мностваў]]
[[ca:Complementari]]
[[ca:Complementari]]

Версія за 20:26, 14 серпня 2008

доповнення

об'єднання
перетин

різниця

симетрична різниця
декартів добуток



В теорії множин та інших галузях математики, одна з основних операцій на множинах.

Розрізняють доповнення (абсолютне доповнення) множин та різницю (відносне доповнення) множин.




Різниця множин (відносне доповнення)

Якщо A та B - множини, то різницею між B та А (порядок множин важливий), або відносним доповненням A до B, є множина з едементів B, які не належать A.

Відносне доповнення
A до B

Відносне доповнення A до B позначається як B − A (також 'B \ A).

Формально:

Приклади:

Наступне твердження містить основні властивості операції різниці множин та її співвідношення з операціями об'єднання та перетину множин

ТВЕРДЖЕННЯ 1: Якщо A, B, та C є множини, то справедливі наступні співвідношення::

  • C − (AB)  =  (C − A) ∪(C − B)
  • C − (AB)  =  (C − A) ∩(C − B)
  • C − (B − A)  =  (AC) ∪(C − B)
  • (B − A) ∩C  =  (BC) − A  =  B ∩(C − A)
  • (B − A) ∪C  =  (BC) − (A − C)
  • A − A  =  Ø
  • Ø − A  =  Ø
  • A − Ø  =  A

Абсолютне доповнення

Доповнення A до U

Для універсальної множини U, відносне доповнення деякої множини A до U називається абсолютним доповнення (або просто доповненням) A, і позначається як AC або CA:

AC  =  U − A

Наступне твердження містить деякі основні властивості абсолютного доповнення та зв'язок цієї операції з операціями об'єднання та перетину множин ТВЕРДЖЕННЯ 2: Якщо A та B є підмножини U, то виконуються наступні співвідношення:

правила ДеМоргана:
  • (AB)C  =  ACBC
  • (AB)C  =  ACBC
закони доповнення:
  • AAC   =  U
  • AAC  =  Ø
  • ØC  =  U
  • UC  =  Ø
закон подвійного доповнення:
  • ACC  =  A.

Попереднє співвідношення твердить, що якщо A є непорожня підмножина U, то {A, AC } є поділом U.