Insiemistica – Matematica Interattiva

Benvenuto nel mondo degli insiemi

L'insiemistica (o teoria degli insiemi) è il linguaggio di base di tutta la matematica moderna. Studia gli insiemi — collezioni di oggetti — e le operazioni che permettono di combinarli. È strettamente legata alla logica: ogni operazione tra insiemi corrisponde a un'operazione logica tra proposizioni. Imparare gli insiemi significa imparare a ragionare con precisione.

Un po' di storia

La teoria degli insiemi è una disciplina relativamente giovane: nasce nell'Ottocento dall'incontro tra la logica e lo studio dell'infinito. Ecco i protagonisti principali.

1768

Leonhard Euler

Il grande matematico svizzero usa dei cerchi — i «cerchi di Eulero» — per rappresentare graficamente i ragionamenti logici (i sillogismi). Sono gli antenati dei diagrammi che useremo.

1847

George Boole & Augustus De Morgan

Boole crea l'algebra della logica: le proposizioni vere/false si combinano come in un calcolo. De Morgan formula le celebri leggi di De Morgan, ponte tra logica e insiemi.

1874

Georg Cantor

È il fondatore della teoria degli insiemi. Studiando gli insiemi infiniti scopre che esistono infiniti «più grandi» di altri e introduce l'idea di cardinalità.

1880

John Venn

Il logico inglese perfeziona i diagrammi che oggi portano il suo nome: i diagrammi di Venn, che useremo per «vedere» unione, intersezione e complementare.

1889

Giuseppe Peano

Il matematico italiano introduce molti dei simboli che usiamo ancora oggi, come ∈ (appartiene), ∪ e ∩, dando alla matematica un linguaggio rigoroso.

1901

Bertrand Russell

Scopre un famoso paradosso che mette in crisi la teoria «ingenua» degli insiemi, spingendo i matematici a costruirla su basi rigorose (gli assiomi).

Insiemi e logica: due facce della stessa medaglia

Il filo conduttore di tutto il percorso è questo: ogni operazione tra insiemi corrisponde a un connettivo logico. Tienilo a mente in ogni argomento.

Insiemi	Logica	Si legge
A ∪ B	P OR Q	almeno uno vero
A ∩ B	P AND Q	entrambi veri
A^c	NOT P	la negazione
A ⊆ B	P ⇒ Q	implica
A = B	P ⇔ Q	se e solo se

Come useremo quest'app

Ogni argomento (le schede in alto) è diviso in quattro sotto-schede:

Teoria — le definizioni e le regole, con esempi concreti.
Simulazione — trascina gli elementi e «vedi» le operazioni con i diagrammi.
Esercizi graduati — tre esercizi a difficoltà crescente: scrivi la risposta, usa il suggerimento e controlla la soluzione guidata.
Quiz — 10 domande per verificare quanto hai capito.

Alla fine ti aspetta il Quiz Riepilogativo con 15 domande su tutti gli argomenti. Buono studio!

Teoria — Cosa sono gli insiemi?

Un insieme è una collezione ben definita di oggetti distinti, chiamati elementi. «Ben definita» significa che dato qualsiasi oggetto si può sempre stabilire con certezza se appartiene o no all'insieme.

\(A = \{1, 2, 3, 4\} B = \{\text{rosso}, \text{verde}, \text{blu}\}\)

Esistono tre modi per descrivere un insieme:

Per elencazione — si scrivono tutti gli elementi tra graffe: A = {2, 4, 6}
Per proprietà — si descrive la caratteristica: A = {x ∈ ℕ | x pari, x < 10}
Diagramma di Venn — rappresentazione grafica con cerchi nel piano

Simboli fondamentali:

Simbolo	Significato	Esempio
x ∈ A	x appartiene ad A	3 ∈ {1,2,3}
x ∉ A	x non appartiene ad A	5 ∉ {1,2,3}
\|A\|	cardinalità (n. di elementi)	\|{a,b,c}\| = 3
∅ oppure {}	insieme vuoto	zero elementi
A ⊆ B	A è sottoinsieme di B	{1,2} ⊆ {1,2,3}
A = B	stessi elementi	{1,2} = {2,1}

Attenzione: In un insieme gli elementi sono sempre distinti e senza ordine: {1,1,2} = {1,2} e {1,2,3} = {3,1,2}.

Collegamento logico: «x ∈ A» è una proposizione logica: può essere VERA o FALSA. Tutta l'insiemistica è costruita su questo principio.

Esempi concreti

La classe scolastica

Tutti gli studenti della 3ª A formano un insieme.

\[\begin{gathered} |\text{Classe3A}| = 25 \\ \text{Marco} \in \text{Classe3A} \end{gathered}\]

Sottoinsieme

Gli studenti con gli occhiali formano un sottoinsieme.

\(\text{Occhiali} \subseteq \text{Classe3A}\)

Per proprietà

Numeri pari tra 1 e 10:

\[\begin{gathered} P=\{x\in \mathbb{N}|x \text{ pari },x\le 10\} \\ =\{2,4,6,8,10\} \end{gathered}\]

Insieme vuoto

I triangoli con 4 lati: impossibile!

\(T = \varnothing |T| = 0\)

Simulazione — Classifica gli elementi

Universo: U = {1,2,3,4,5,6,7,8} | A = {1,2,3,4} | B = {3,4,5,6}
Trascina ogni numero nel riquadro corretto ↓

Elementi (trascina da qui):

1

2

3

4

5

6

7

8

Solo in A

In A e B

Solo in B

Fuori da A e B

Esercizi graduati

Risolvi i tre esercizi a difficoltà crescente. Scrivi la risposta e premi Verifica; se sei in difficoltà usa il Suggerimento e poi la Soluzione guidata.

Quiz — 10 domande sugli insiemi

Domanda 1 di 10

Teoria — Unione e Intersezione

Dati due insiemi A e B, definiamo due operazioni fondamentali:

\(A \cup B = \{x \mid x \in A \text{ oppure } x \in B\} (\text{UNIONE})\)

L'unione contiene tutti gli elementi di A, di B, o di entrambi. Gli elementi comuni si scrivono una sola volta.

\(A \cap B = \{x \mid x \in A e x \in B\} (\text{INTERSEZIONE})\)

L'intersezione contiene solo gli elementi che stanno contemporaneamente in A e in B.

Proprietà	Unione	Intersezione
Elemento neutro	A ∪ ∅ = A	A ∩ U = A
Idempotenza	A ∪ A = A	A ∩ A = A
Commutatività	A ∪ B = B ∪ A	A ∩ B = B ∩ A
Formula card.	\|A ∪ B\| = \|A\| + \|B\| − \|A ∩ B\|

Collegamento logico:
A ∪ B ⇐⇒ P OR Q: almeno uno vero.
A ∩ B ⇐⇒ P AND Q: entrambi veri.

Esempi concreti

Unione

A={1,2,3}, B={3,4,5}

\(A \cup B = \{1,2,3,4,5\}\)

Il 3 si scrive una sola volta.

Intersezione

A={1,2,3}, B={3,4,5}

\(A \cap B = \{3\}\)

Insiemi disgiunti

A={1,2}, B={3,4}: nessun elemento comune.

\(A \cap B = \varnothing\)

Formula card.

|A|=4, |B|=5, |A∩B|=2:

\(|A\cup B|=4+5-2=7\)

Simulazione — Unione e Intersezione

A = {1,2,3,4} | B = {3,4,5,6}

Esercizio 1: Trascina gli elementi di A ∪ B

Elementi disponibili:

1

2

3

4

5

6

7

8

A ∪ B = { trascina qui }

Esercizio 2: Trascina gli elementi di A ∩ B

Elementi disponibili:

1

2

3

4

5

6

A ∩ B = { trascina qui }

Esercizi graduati

Risolvi i tre esercizi a difficoltà crescente. Scrivi la risposta e premi Verifica; se sei in difficoltà usa il Suggerimento e poi la Soluzione guidata.

Quiz — 10 domande su unione e intersezione

Domanda 1 di 10

Teoria — Complementare e Differenza

Oltre a unire o intersecare, possiamo anche «togliere» elementi:

\(A^{c} = \{x \in U \mid x \notin A\} (\text{COMPLEMENTARE})\)

Il complementare contiene tutti gli elementi dell'universo U che non appartengono ad A. Dipende sempre da U!

\(A \setminus B = \{x \mid x \in A e x \notin B\} (\text{DIFFERENZA})\)

A∖B contiene gli elementi di A che non stanno in B. Equivale a A ∩ B^c.

Proprietà	Valore
A ∪ A^c	= U
A ∩ A^c	= ∅
(A^c)^c	= A
A ∖ B	= A ∩ B^c

Leggi di De Morgan:
(A ∪ B)^c = A^c ∩ B^c
(A ∩ B)^c = A^c ∪ B^c

Collegamento logico:
A^c ⇐⇒ NOT P | A∖B ⇐⇒ P AND (NOT Q)
De Morgan: ¬(P∨Q) = ¬P ∧ ¬Q

Esempi concreti

Complementare

U={1..6}, A={1,3,5}

\(A^{c} = \{2,4,6\}\)

Dipende da U

Stesso A={1,3,5} ma U={1..10}

\(A^{c}=\{2,4,6,7,8,9,10\}\)

Il complementare cambia con U!

Differenza

A={1,2,3,4}, B={3,4,5,6}

\[\begin{gathered} A\setminus B=\{1,2\} \\ B\setminus A=\{5,6\} \end{gathered}\]

De Morgan

A={1,2,3}, B={2,3,4}, U={1..5}

\[\begin{gathered} (A\cup B)^{c}=\{5\} \\ A^{c}\cap B^{c}=\{4,5\}\cap \{1,5\}=\{5\} \end{gathered}\]

Simulazione — Complementare e Differenza

U={1,2,3,4,5,6,7,8} | A={1,2,3,4} | B={3,4,5,6}

Esercizio 1: Trascina gli elementi di A^c (rispetto a U)

Elementi disponibili:

1

2

3

4

5

6

7

8

A^c = { trascina qui }

Esercizio 2: Trascina gli elementi di A ∖ B

Elementi disponibili:

1

2

3

4

5

6

A ∖ B = { trascina qui }

Esercizi graduati

Risolvi i tre esercizi a difficoltà crescente. Scrivi la risposta e premi Verifica; se sei in difficoltà usa il Suggerimento e poi la Soluzione guidata.

Quiz — 10 domande su complementare e differenza

Domanda 1 di 10

Teoria — Prodotto Cartesiano

Il prodotto cartesiano A×B è l'insieme di tutte le coppie ordinate (a, b) dove a∈A e b∈B.

\(A \times B = \{(a,b) \mid a \in A e b \in B\}\)

È fondamentale che le coppie siano ordinate: (1,2) ≠ (2,1). L'ordine conta sempre!

\(|A \times B| = |A| \cdot |B|\)

Proprietà	Risultato
A×B = B×A ?	No, in generale A×B ≠ B×A
A × ∅	= ∅
A × (B∪C)	= (A×B) ∪ (A×C)
A × (B∩C)	= (A×B) ∩ (A×C)

Esempio reale: Il piano cartesiano ℜ×ℜ è un prodotto cartesiano: ogni punto (x,y) è una coppia ordinata di numeri reali!

Relazione matematica: Una relazione R tra A e B è un sottoinsieme di A×B. Se ad ogni a∈A corrisponde esattamente un b∈B, la relazione è una funzione.

Esempi concreti

Esempio base

A={1,2}, B={a,b}

\[\begin{gathered} A\times B=\{(1,a),(1,b),(2,a),(2,b)\} \\ |A\times B|=2\cdot 2=4 \end{gathered}\]

Non commutativo

B×A ha coppie diverse:

\(B\times A=\{(a,1),(a,2),(b,1),(b,2)\}\)

Abbigliamento

M={bianca,nera}, P={jeans,chino}

\(\text{Outfit}=M\times P (4 \text{combinazioni})\)

Piano cartesiano

Ogni punto del piano è una coppia (x,y):

\(P=(3,-2)\in \mathbb{R}\times \mathbb{R}\)

Simulazione — Costruisci A × B

Dati A = {1, 2, 3} e B = {x, y}, clicca le celle che appartengono ad A × B (tutte le coppie possibili). Poi premi Verifica.

Esercizi graduati

Risolvi i tre esercizi a difficoltà crescente. Scrivi la risposta e premi Verifica; se sei in difficoltà usa il Suggerimento e poi la Soluzione guidata.

Quiz — 10 domande sul prodotto cartesiano

Domanda 1 di 10

Teoria — La logica delle proposizioni

Una proposizione è un enunciato di cui si può dire con certezza se è VERO (V) o FALSO (F). Esempi: «7 è un numero primo» (V), «Roma è in Francia» (F). Non sono proposizioni le domande o gli ordini.

Le proposizioni si combinano con i connettivi logici, esattamente come gli insiemi si combinano con le operazioni:

Connettivo	Simbolo	Si legge	Vera quando…
Negazione	¬P	NOT / non P	P è falsa
Congiunzione	P ∧ Q	AND / P e Q	entrambe vere
Disgiunzione	P ∨ Q	OR / P o Q	almeno una vera
Implicazione	P ⇒ Q	P implica Q	falsa solo se P vera e Q falsa
Doppia impl.	P ⇔ Q	P se e solo se Q	P e Q hanno lo stesso valore

La tavola di verità

La tavola di verità elenca tutti i casi possibili e il risultato di ogni connettivo:

P	Q	¬P	P ∧ Q	P ∨ Q	P ⇒ Q	P ⇔ Q
V	V	F	V	V	V	V
V	F	F	F	V	F	F
F	V	V	F	V	V	F
F	F	V	F	F	V	V

Attenzione all'implicazione: P ⇒ Q è falsa soltanto quando P è vera ma Q è falsa. In tutti gli altri casi è vera (anche quando P è falsa!).

Il ponte con gli insiemi

Ogni connettivo logico corrisponde a un'operazione insiemistica: è lo stesso ragionamento, visto da due punti di vista.

Logica	Insiemi
P ∧ Q (AND)	A ∩ B (intersezione)
P ∨ Q (OR)	A ∪ B (unione)
¬P (NOT)	A^c (complementare)
P ⇒ Q	A ⊆ B (sottoinsieme)
P ⇔ Q	A = B (uguaglianza)

Leggi di De Morgan (in logica):
¬(P ∧ Q) = ¬P ∨ ¬Q
¬(P ∨ Q) = ¬P ∧ ¬Q
Sono le stesse leggi che valgono per il complementare di unione e intersezione!

Una proposizione sempre vera si chiama tautologia (es. P ∨ ¬P), una sempre falsa contraddizione (es. P ∧ ¬P).

Esempi concreti

Congiunzione

«Piove» (V) e «ho l'ombrello» (F).

\(V \land F = F\)

Disgiunzione

«Pago in contanti» (F) o «con carta» (V).

\(F \lor V = V\)

Implicazione

«Se studio (V) allora passo (F)»: promessa non mantenuta.

\(V \Rightarrow F = F\)

Negazione

«Non è vero che 5 > 10».

\(\lnot F = V\)

Simulazione — La macchina della verità

Imposta i valori di verità di P e Q cliccando i pulsanti, e osserva come cambia il risultato di ogni connettivo. Prova tutte e quattro le combinazioni!

P =

Q =

Esercizi graduati

Risolvi i tre esercizi a difficoltà crescente. Rispondi con V o F e premi Verifica; usa il Suggerimento e la Soluzione guidata se serve.

Quiz — 10 domande sulla logica

Domanda 1 di 10

Quiz Riepilogativo — 15 domande su tutti gli argomenti

Metti alla prova tutto ciò che hai imparato! 15 domande miste — teoriche e pratiche — sui cinque argomenti.

Domanda 1 di 15