# Richiami di Insiemistica

Un insieme è un contesto in cui vengono raggruppati degli elementi aventi una o più caratteristiche in comune (ad esempio, il contesto in cui è contenuto l'elemento "piccione" assieme ad altri volatili sarà l'insieme degli uccelli). Essi solitamente si indicano con le lettere maiuscole, mentre gli elementi che fanno parte di un insieme si indicano con le lettere minuscole.
Chiamiamo per esempio insieme C l'insieme contenente tutti i corvidi, comprendente quindi il corvo a, la cornacchia b, la ghiandaia c ecc. Gli elementi a, b e c appartengono all'insieme C perché in comune hanno la caratteristica di appartenere alla famiglia dei corvidi.

## Introduzione

Un insieme è una collezione di oggetti, detti elementi. Dati un elemento $a$ e un insieme $A$, si scrive $a\in A$ per dire che $a$ è un elemento di $A$ (oppure $a$ appartiene ad $A$), mentre scriviamo $a\not \in A$ per dire che $a$ non è un elemento di $A$ (oppure $a$ non appartiene ad $A$). Il simbolo “$\in$” è chiamato simbolo di appartenenza.
Dall'esempio precedente, ${\text{taccola}}\in C$ perché la taccola è un corvide, mentre ${\text{anguilla}}\notin C$ perché l'anguilla è un pesce.

### Rappresentazione di insiemi

Si può definire un insieme per enumerazione (o in modo estensionale) elencandone tutti gli elementi tra parentesi graffe e separati da virgole. Sia $V$ l'insieme delle vocali nell'alfabeto latino, allora possiamo rappresentarlo per enumerazione come: $V=\{{\text{a,e,i,o,u}}\}$. Nel caso in cui gli insiemi siano molto grandi, o infiniti si usano i puntini (...) per sottintendere una regola di enumerazione, come ad esempio nel caso dell'insieme $\mathbb {N} =\{0,1,2,...\}$ dei numeri naturali.
E' anche possibile descrivere un insieme di elementi finiti raffigurandolo come una curva chiusa, i cui elementi sono rappresentati all'interno come dei punti. Questa viene detta rappresentazione grafica. Questo metodo di rappresentazione degli insiemi (come spazi chiusi contenenti gli elementi rappresentati come punti) è detto diagrammi di Eulero-Venn.
Gli insiemi si possono anche rappresentare attraverso una formula matematica che generalizzi tutti gli elementi in esso contenuti: questo tipo di rappresentazione è detta rappresentazione mediante la proprietà caratteristica. Per esempio, l'insieme D contiene tutti i numeri dispari (D = {1, 3, 5, ...}). Non è necessario (né realmente possibile) elencare uno alla volta ognuno dei membri che lo costituiscono; ci limiteremo quindi ad enunciarne la proprietà caratteristica che li accomuna, ossia essere dispari:
$D=\{n\in \mathbb {N} \mid n\ {\grave {e}}\ dispari\}$
(La formula si legge $D$ è l'insieme di elementi chiamati $n$ i quali appartengono all'insieme dei numeri naturali ($\mathbb {N}$) e sono dispari.)
Insiemi molto importanti per la nostra materia sono gli insiemi numerici $\mathbb {N,Z,Q,R,C}$ contenenti rispettivamente: $\mathbb {N}$ tutti i numeri naturali, $\mathbb {Z}$ tutti i numeri relativi, $\mathbb {Q}$ tutti i numeri razionali, $\mathbb {R}$ tutti i numeri reali e $\mathbb {C}$ tutti i numeri complessi. Questi insiemi descrivono la totalità dei numeri, e verranno ampiamente usati nello studio di logica ed insiemistica. Un insieme particolare è l'insieme vuoto che si indica con il simbolo $\varnothing$: esso indica un insieme privo di alcun elemento, e come tale è sottoinsieme di tutti gli insiemi. Un altro insieme particolare è l'insieme universo. Questo, indicato con il simbolo ${\mathfrak {U}}\,$ comprende tutti gli oggetti della classe di insiemi di cui si sta parlando. Per esempio se si parla di insiemi di lettere, l'Universo conterrà l'alfabeto. Quando si usano insiemi numerici l'Universo sarà l'insieme dei numeri.
I sottoinsiemi dell'insieme $\mathbb {U}$ possono essere disposti in maniera differente: l'uno vicino all'altro, alcuni intersecati fra loro, altri totalmente inglobati l'uno nell'altro (come una matriosca).
Tra gli insiemi numerici vigono le seguenti inclusioni:
    $\mathbb {\varnothing } \subset \mathbb {N} \subset \mathbb {Z} \subset \mathbb {Q} \subset \mathbb {R} \subset \mathbb {C} \subset \mathbb {U}$.
Il simbolo $A\subseteq B$ indica che tutti gli elementi di A sono inclusi nell'insieme B e si dice che A è un sottoinsieme di B oppure che A è incluso in B. Per esempio gli insiemi $A=\{1,2,3\}$ e $B=\{5,10,15\}$ sono entrambi sottoinsiemi di $\mathbb {N}$.
Il simbolo $\subseteq$ ammette che i due insiemi siano uguali, (es $A=\{1,2,3\}\ \subseteq B=\{3,1,2\}$) mentre il simbolo $\subset$ detto anche "sottoinsieme stretto" non ammette che i due insiemi siano uguali. A volte per sottolineare la negazione dell'uguaglianza viene usato anche il simbolo $\subsetneq$.
Se A è un insieme che ha un numero finito di elementi, allora si utilizzerà il simbolo $|A|$. Per indicare il numero degli elementi che contiene si usa il fattore detto cardinalità. La cardinalità di un insieme è il numero di elementi in esso contenuti. Ad esempio nell'insieme A = {0, 1, 2} la cardinalità è 3 (letto correttamente: l'insieme A ha cardinalità 3).

## Operazioni tra insiemi

Quando due o più insiemi si uniscono, perché hanno elementi in comune fra di loro, viene a crearsi un complesso di insiemi, le cui parti possono essere considerate singolarmente, (considero solo gli elementi in comune, considero solo gli elementi non ecc.) e definibili tramite un particolare tipo di scrittura matematica:
* Unione di insiemi: $A\cup B$ è un terzo insieme costituito da tutti gli elementi di A e di B (comuni e non comuni), senza ripeterli.
    $A\cup B=\{x\mid x\in A\lor x\in B\}$
(Si legge: A unito B è l'insieme comprendente quegli elementi -detti x- i quali appartengono ad A o a B).
* Intersezione di insiemi: $A\cap B$è un terzo insieme costituito solo dagli elementi comuni sia ad A che a B.
    $A\cap B=\{x\mid x\in A\land x\in B\}$
(Si legge: Intersezione di A con B è l'insieme comprendente quegli elementi -detti x- i quali appartengono sia ad A che B, esclusi dunque quelli appartenenti solo ad A e solo a B).
* Differenza di insiemi: $B\setminus A$ è un terzo insieme costituito dagli elementi di B che non fanno parte di A (vanno tolti anche quelli in comune):
    $B\setminus A=\{x\mid x\notin A\land x\in B\}$
(Si legge: Intersezione di A con B è l'insieme comprendente quegli elementi -detti x- i quali appartengono solo a B e non ad A, escludendo anche l'intersezione).
* Differenza simmetrica: $A\Delta B=(A\setminus B)\cup (B\setminus A)$ è l'insieme degli elementi che appartengono ad A e non a B oppure che appartengono a B e non ad A.
* Prodotto cartesiano di insiemi $A\times B$ è costituito da tutte le coppie ordinate create accoppiando ogni elemento di A con ogni elemento di B, scritto $a\in A$ e $b\in B$:
    $A\times B=\{(a_{x},b_{x})\mid a_{x}\in A,b_{x}\in B,x=1,\cdots ,\left\vert A\right\vert \}$
(Si crea semplicemente associando, uno per volta, ad ogni termine di A ognuno dei termini di B, senza mai ripetere la stessa coppia).

## Proprietà degli insiemi

Per gli insiemi valgono:
* Proprietà commutativa dell'unione e dell'intersezione:
    $A\cap B=B\cap A$
    $A\cup B=B\cup A$
* Proprietà associativa dell'unione e dell'intersezione:
    $(A\cap B)\cap C=A\cap (B\cap C)$
    $(A\cup B)\cup C=A\cup (B\cup C)$
* Proprietà riflessiva dell'unione e dell'intersezione:
    $A\cap A=A$
    $A\cup A=A$
* Proprietà distributiva:
    $A\cap (B\cup C)=(A\cap C)\cup (A\cap B)$.
Si noti che la differenza è anti-commutativa.

## Particolarità

L'insieme vuoto è l'elemento neutro dell'unione:
    $A\cup \varnothing =A$
L'insieme universo è l'elemento neutro dell'intersezione:
    $A\cap {\mathfrak {U}}=A$
Unendo un insieme con l'universo si ottiene l'universo stesso:
    $A\cup {\mathfrak {U}}={\mathfrak {U}}$
Intersecando un insieme con l'insieme vuoto, si ottiene un altro insieme vuoto:
    $A\cap \varnothing =\varnothing$
Si definisce complemento di un insieme ad un altro insieme, un terzo insieme che sommato al primo dà il secondo. Facendo la differenza tra l'universo ed un dato insieme A, si ottiene il complemento di A all'universo. Questo vale solo nel caso in cui il secondo insieme è sottoinsieme del primo:
    $A\subset B\implies B\setminus A=\complement _{B}(A)$
    ${\mathfrak {U}}\setminus A=\complement (A)$