Dopełnienie zbioru

Diagram Venna: jest

dopełnieniem względem .

Dopełnienie zbioru – zbiór wszystkich

elementów (pewnego ustalonego nadzbioru),
które do danego zbioru nie należą. W
niektórych pozycjach można spotkać się
również z alternatywną nazwą uzupełnienie
zbioru[1][2][3][4].

Definicja formalna

Niech dany będzie zbiór zwany dalej

przestrzenią[1][2][4][5], zbiorem
uniwersalnym[4] lub uniwersum[4], oraz jego
podzbiór Dopełnieniem zbioru
nazywa się różnicę

[1][2][3][5]
oznaczaną zwykle symbolem lub
[2][4], a w starszych pozycjach także
lub, jeśli jest znane, krótko (litera „c” w
niektórych oznaczeniach pochodzi od ang.
complement, dopełniać).

Niekiedy spotyka się również oznaczenie

[5], jednak jeżeli jest zbiorem, na którym
określono pewną (addytywną) strukturę
algebraiczną, to może oznaczać wtedy

Z definicji wynika, że dopełnienie zbioru

zależy od wyboru przestrzeni.

Korzystając z pojęcia dopełnienia zbiorów,

różnicę zbiorów można zapisać w
postaci:
.

Własności

Dla dowolnego uniwersum prawdziwe są

równości

Dla ustalonego i dowolnego

zachodzi

co oznacza, że operacja dopełnienia jest

inwolucją.

Prawdą jest też, iż zbiór i jego dopełnienie są

rozłączne,

a ich suma daje całe uniwersum,

co oznacza, że jest rozbiciem zbioru

Dla danych zachodzą prawa

znane jako prawa de Morgana[6]. Dodatkowo

pociąga

Przykłady

Zobacz też

Przypisy

Ostatnio zmodyfikowano 4 miesiące tem…

POWIĄZANE STRONY

Zbiór
pojęcie pierwotne teorii zbiorów

Różnica zbiorów

Różnica symetryczna zbiorów

Treść udostępniana na licencji CC BY-SA 3.0 , jeśli

nie podano inaczej.

Polityka prywatności • Wersja standardowa