Okpedia  

Sottoinsiemi complementari

I sottoinsiemi complementari di un insieme \( S \) sono due sottoinsiemi \( A \) e \( B \) di \( S \) tali che ogni elemento di \( S \) appartiene a \( A \) o a \( B \), ma non ad entrambi, e insieme \( A \) e \( B \) contengono tutti gli elementi di \( S \).

In termini più formali, \( A \) e \( B \) sono complementari se:

  • L'unione di \( A \) e \( B \) ricostituisce l'intero insieme \( S \). $$ A \cup B = S $$
  • L'intersezione di \( A \) e \( B \) è vuota, il che significa che non condividono alcun elemento. $$ A \cap B = \emptyset $$

Per esempio, considerando l'insieme $$ S = \{1, 2, 3, 4, 5\} $$ I sottoinsiemi \( A = \{2, 3\} \) e \( B = \{1, 4, 5\} \) sono complementari perché ogni elemento di \( S \) si trova in \( A \) o in \( B \) e non ci sono elementi comuni tra \( A \) e \( B \).

Questo concetto di sottoinsiemi complementari è molto utile in diverse aree della matematica e della logica, dove la partizione di un insieme in classi complementari permette di analizzare e manipolare l'insieme in modi che sarebbero altrimenti complessi o impossibili.

Il complementare di un insieme \( A \) rispetto a un insieme universo \( U \) , nel quale \( A \) è contenuto, è l'insieme di tutti gli elementi che sono in \( U \) ma non in \( A \).

In genere viene indicato come \( A^c \), \( \overline{A} \), o \( U \setminus A \).

Ad esempio, supponiamo che \( U = \{1, 2, 3, 4, 5, 6\} \) e \( A = \{2, 4, 6\} \). Allora il complementare di \( A \) in \( U \) sarebbe: $$ A^c = \{1, 3, 5\} $$ Questo perché gli elementi \( 1 \), \( 3 \), e \( 5 \) sono presenti in \( U \) ma non in \( A \).

Il complemento di un insieme $ A $ rispetto a se stesso è, invece, l'insieme vuoto $ \emptyset $.

$$ A \setminus A = \emptyset $$

Questo spiega perché l'insieme vuoto è un sottoinsieme di ogni insieme.

    Le proprietà del complementare

    • Legge del doppio complemento
      Il complementare del complementare di \( A \) è \( A \) stesso.
      $$ (A^c)^c = A $$
    • Leggi di De Morgan
      Queste leggi descrivono come si distribuisce il complementare rispetto alle operazioni di unione e intersezione.
      $$ (A \cap B)^c = A^c \cup B^c $$ $$ (A \cup B)^c = A^c \cap B^c $$
    • Complementare dell'insieme vuoto e dell'universo
      Il complementare dell'insieme vuoto è l'insieme universo, e il complementare dell'insieme universo è l'insieme vuoto.
      $$ \emptyset^c = U $$ $$ U^c = \emptyset $$

    Altre proprietà del complemento:

    • Legge dell'involuzione: $$  (A^c)^c = A  $$
    • Complemento dell'universale: $$ U^c = \emptyset $$
    • Complemento dell'insieme vuoto: $$ \emptyset^c = U $$
    • Legge di De Morgan: $$ (A \cup B)^c = A^c \cap B^c $$ $$ (A \cap B)^c = A^c \cup B^c $$

     

    Esempio

    Per trovare i complementari dei sottoinsiemi dell'insieme \( S = \{1, 2, 3\} \), dobbiamo considerare ogni possibile sottoinsieme di \( S \) e determinare il complemento di ciascun sottoinsieme rispetto a \( S \) stesso. I sottoinsiemi di \( S \) e i loro complementari sono:

    1. Sottoinsieme vuoto \( \emptyset \)
      Tutto l'insieme \( S \) è il complemento di \( \emptyset \) poiché nessun elemento del sottoinsieme vuoto è in \( S \).
    2. Sottoinsieme singoli
      In generale, tutti gli elementi non inclusi nel sottoinsieme singolo formano il complemento.
      Il complementare di \( \{1\} \) è \( \{2, 3\} \)
      Il complementare di \( \{2\} \) è \( \{1, 3\} \)
      Il complementare di \( \{3\} \) è \( \{1, 2\} \)
    3. Sottoinsiemi doppi
      L'elemento non incluso in ciascun sottoinsieme doppio forma il complemento.
      Il complementare di \( \{1, 2\} \) è  \( \{3\} \)
      Il complementare di \( \{1, 3\} \) è  \( \{2\} \)
      Il complementare di \( \{2, 3\} \) è  \( \{1\} \)
    4. Sottoinsieme totale \( \{1, 2, 3\} \)
      Non ci sono elementi al di fuori del sottoinsieme totale, quindi il complemento è l'insieme vuoto  \( \emptyset \)

    Questi complementi si basano sulla regola che il complemento di un sottoinsieme \( A \) in \( S \) consiste di tutti gli elementi in \( S \) che non sono in \( A \).

    Teoria degli insiemi