Operazioni tra Insiemi

Le operazioni tra insiemi permettono di costruire nuovi insiemi a partire da quelli esistenti, seguendo le regole dell’algebra di Boole applicata alle collezioni di oggetti.

Principali Operazioni

Dati due insiemi $A$ e $B$ appartenenti a un insieme universo $\Omega$:

1. Unione ($A \cup B$): L’insieme degli elementi che appartengono ad $A$ o a $B$ (o a entrambi). $A \cup B = \{x \in \Omega \mid x \in A \lor x \in B\}$
2. Intersezione ($A \cap B$): L’insieme degli elementi che appartengono contemporaneamente sia ad $A$ sia a $B$. $A \cap B = \{x \in \Omega \mid x \in A \land x \in B\}$
3. Differenza ($A \setminus B$): L’insieme degli elementi che appartengono ad $A$ ma non a $B$. $A \setminus B = \{x \in \Omega \mid x \in A \land x \notin B\}$
4. Complementare ($A^c$ o $\bar{A}$): L’insieme degli elementi dell’universo $\Omega$ che non appartengono ad $A$. $A^c = \Omega \setminus A = \{x \in \Omega \mid x \notin A\}$
5. Differenza Simmetrica ($A \Delta B$): L’insieme degli elementi che appartengono ad $A$ o a $B$, ma non alla loro intersezione. Equivale all’operazione logica XOR.

Proprietà

Le operazioni godono di proprietà commutativa, associativa e distributiva (l’unione distribuisce rispetto all’intersezione e viceversa). Fondamentali sono anche le Leggi di De Morgan.

Significato Ingegneristico

• Ricerca e Database: In SQL, UNION e INTERSECT implementano direttamente queste operazioni. La clausola WHERE con AND e OR agisce come un’intersezione o unione di filtri su record.
• Computer Graphics: Nelle operazioni booleane tra solidi (CSG - Constructive Solid Geometry), l’unione e l’intersezione di primitive geometriche (cubi, sfere) permettono di modellare oggetti complessi 3D.
• Teoria dei Circuiti: Le porte logiche OR e AND sono la trasposizione elettronica delle operazioni di unione e intersezione applicate a segnali digitali.

Vedi anche: Teoria degli Insiemi, Leggi di De Morgan.