Insieme complemento: differenze tra le versioni

Versione delle 11:54, 25 nov 2008

Versione attuale delle 22:25, 23 gen 2024

(38 versioni intermedie di 29 utenti non mostrate)

Riga 1:

Nella [[teoria degli insiemi]] e in altri campi della [[matematica]], esistonoil due tipi'''complemento''' di un insieme è l''insieme degli elementi che non appartengono a quell'insieme. Gli insiemi complemento''', ilsi dividono nei '''complementocomplementi relativorelativi''' (dettodetti anche '''insieme differenza''') e ilnei '''complementocomplementi assolutoassoluti'''.

== Complemento relativo ==

[[ImmagineFile:relative complementVenn0010.svg|thumb|250px|Il complemento relativo (o la differenza) di ''<math>A''</math> rispetto a ''<math>B''.</math>:<br><math>~B \setminus A=A^c \cap B</math>]]

Avendo due insiemi <math>A</math> e <math>B</math>, il '''complemento''' di ''<math>A</math> rispetto a <math>B</math>'' o l''''insieme differenza''' ''<math>B</math> meno <math>A</math>'', è formato dai soli elementi di <math>B</math> che non appartengono ad <math>A</math>. Esso si indica solitamente come <math>B\setminus A</math> oppure come <math>\,\!B - A</math>. Formalmente abbiamo:

[[Immagine:Csg difference.png|frame|right|Differenza tra un cubo e una sfera parzialmente sovrapposti]]

Avendo due insiemi A e B, il '''complemento''' di ''A rispetto a B'' o l''''insieme differenza''' ''B meno A'', è formato dai soli elementi di B che non appartengono ad A. Esso si indica solitamente come <math>B\setminus A</math> oppure come <math>\,\!B - A</math>. Formalmente abbiamo:

:<math>B\setminus A = B - A = \{ x \in B \wedge x \notin A \}</math>

Si noti che l'insieme differenza ''<math>B - A''</math> è un [[sottoinsieme]] dell'insieme ''<math>B''</math>.

=== '''Esempi ===

* <math>\lbrace 1,2,3,4,5 \rbrace - \lbrace 3 \rbrace = \lbrace 1,2,4,5 \rbrace</math>

* <math>\lbrace a,b,c,d \rbrace - \lbrace c,d,e,f \rbrace = \lbrace a,b \rbrace</math>

Riga 20 ⟶ 17:

=== Proposizioni ===

Se ''<math>A''</math>, ''<math>B''</math> e ''<math>C''</math> sono insiemi, allora valgono le seguenti [[Identità (matematica)|identità]]:

:*<math>C - \left ( A \cap B \right ) = \left ( C - A \right ) \cup \left ( C - B \right )</math>

:*<math>C - \left ( A \cup B \right ) = \left ( C - A \right ) \cap \left ( C - B \right )</math>

Riga 31 ⟶ 28:

== Complemento assoluto ==

[[ImmagineFile:absolute complementVenn1010.svg|thumb|250px|Il complemento assoluto <math>A^c</math> (in rosso) di ''<math>A''.</math> (in bianco):<br><math>~A^c=\varnothing^c \setminus A</math>]]

Il complemento assoluto è un caso particolare del complemento relativo.

[[ImmagineFile:Csg difference.png|frame|right|Differenza tra un cubo e una sfera parzialmente sovrapposti]]

Se è definito un [[insieme universo]] '''U''', si definisce complemento assoluto di ''A'' come il complemento relativo di ''A'' rispetto ad '''U'''. Formalmente abbiamo:

Se è definito un [[insieme universo]] '''<math>U'''</math>, si definisce complemento assoluto di ''<math>A''</math> come il complemento relativo di ''<math>A''</math> rispetto ad '''<math>U'''</math>. Formalmente abbiamo:

:<math>\bar A = \neg A = U - A = \{ x \in U \ e\ x \notin A \}</math>

:<math>\bar A^c = \neg A = U - A = \{ x \in U \text{ e\ } x \notin A \}</math>

Il complemento assoluto, indicato anche come ''A^C'' o ''~ A'', rappresenta anche il NOT nell'[[algebra Booleana]].

Il complemento assoluto, indicato anche come ''A<supmath>C\sim A</supmath>'' o ''~ A'', rappresenta anche il NOT nell'[[algebra Booleana]].

A titolo di esempio, se l’insieme universale è l’insieme dei [[numeri naturali]], allora il complemento dell’insieme dei numeri dispari è l’insieme dei numeri pari.

A titolo di esempio, se l’insiemel'insieme universale è l’insiemel'insieme dei [[numeri naturali]], allora il complemento dell’insiemedell'insieme dei numeri dispari è l’insiemel'insieme dei numeri pari.

La prossima proposizione riporta alcune proprietà fondamentali del complemento assoluto in rapporto alle operazioni insiemistiche di unione e intersezione.

'''PROPOSIZIONE 2''': Se ''<math>A''</math> e ''<math>B''</math> sono sottoinsiemi di un [[insieme universo]] '''<math>U'''</math>, allora valgono le seguenti identità:.

:[[leggiLeggi di De Morgan]]:

::*<math>(A\cup B)^c=A^c \cap B^c;</math>

::*(''A'' &cup;&nbsp;''B'')^C &nbsp;=&nbsp;''A''^C &cap;&nbsp;''B''^C

::*<math>(A\cap B)^c=A^c \cup B^c.</math>

::*(''A'' &cap;&nbsp;''B'')^C &nbsp;=&nbsp;''A''^C &cup;&nbsp;''B''^C

:Leggi di complementarità:

::*<math>A \cup A^c=U;</math>

::*''A'' &cup;&nbsp;''A''^C&nbsp;&nbsp;=&nbsp;&nbsp;'''U'''

::*<math>A \cap A^c=\varnothing;</math>

::*''A'' &cap;&nbsp;''A''^C&nbsp;&nbsp;=&nbsp;&nbsp;&Oslash;

::*<math>\varnothing^c=U;</math>

::*&Oslash;^C&nbsp;&nbsp;=&nbsp;&nbsp;'''U'''

::*<math>U^c=\varnothing;</math>

::*'''U'''^C&nbsp;&nbsp;=&nbsp;&nbsp;&Oslash;

::*Se ''<math>A''&sube;''\subseteq B''</math>, allora ''B''<supmath>C</sup>&sube;''B^c\subseteq A''<sup>C^c</supmath> (ciò segue dall’equivalenzadall'equivalenza di una proposizione condizionale con la proposizione [[contronominale]]).

:[[Involuzione]] o legge del doppio complemento:

::*<math>(A^c)^c=A.</math>

::*(''A''^C)^C&nbsp;&nbsp;=&nbsp;&nbsp;''A''.

:Relazioni tra complemento relativo e complemento assoluto:

::*<math>A-B=A\cap B^c;</math>

::*''A''&nbsp;&minus;&nbsp;''B'' = ''A''&nbsp;&cap;&nbsp;''B''^C

::*<math>(A-B)^c=A^c \cup B.</math>

::*(''A''&nbsp;&minus;&nbsp;''B'')^C = ''A''^C&nbsp;&cup;&nbsp;''B''

Le prime due leggi di complementarità mostrano che se ''<math>A''</math> è un sottoinsieme non vuoto di '''<math>U'''</math>, allora <math>\{''A'', ''A''<sup>C^c\}</supmath>} è una [[Partizione (teoria degli insiemi)|partizione]] di '''<math>U'''</math>.

== Bibliografia ==

Le prime due leggi di complementarità mostrano che se ''A'' è un sottoinsieme non vuoto di '''U''', allora {''A'', ''A''^C} è una [[partizione]] di '''U'''.

* {{cita libro|Seymour|Lipschutz|Topologia|1979|Etas Libri|Sonzogno}}

*{{en}} Paul Halmos (1960): ''Naive set theory'', D. Van Nostrand Company. Ristampato da Springer nel 1974, ISBN 0-387-90092-6.

*{{fr}} [[Nicolas Bourbaki]] (1968): ''Théorie des ensembles'', Hermann.

==Voci correlate==

Riga 70 ⟶ 73:

* [[Teoria degli insiemi]]

== Collegamenti esterni ==

* {{Collegamenti esterni}}

[[Categoria:{{Teoria degli insiemi]]}}

{{Portale|matematica}}

[[Categoria:Teoria degli insiemi]]

[[Categoria:Teoria degli insiemi]]

[[ar:مجموعة مكملة]]

[[Categoria:Operazioni binarie]]

[[be:Дапаўненне мностваў]]

[[ca:Complementari]]

[[cs:Doplněk množiny]]

[[de:Komplement (Mengenlehre)]]

[[en:Complement (set theory)]]

[[eo:Komplemento (aroteorio)]]

[[es:Complemento de un conjunto]]

[[fi:Joukkoerotus]]

[[fr:Complémentaire (théorie des ensembles)]]

[[he:משלים (מתמטיקה)]]

[[is:Fyllimengi]]

[[ja:差集合]]

[[ko:여집합]]

[[nl:Complement (verzamelingenleer)]]

[[oc:Ensemble complementari]]

[[pl:Dopełnienie zbioru]]

[[pt:Complementar]]

[[ru:Дополнение (теория множеств)]]

[[sk:Rozdiel množín]]

[[sv:Komplement]]

[[uk:Доповнення множин]]

[[vi:Phần bù]]

[[zh:补集]]

[[zh-classical:補集]]