Riassunto settimanale · Parte 1 (modA) · Matematica Discreta · Canali A, B e C · 05/10 – 09/10/2026
Settimana 2: prodotto cartesiano, relazioni di equivalenza, funzioni
Le due lezioni della settimana in poche pagine: le definizioni da sapere, le tabelle dei pallini per riconoscere relazioni e funzioni, i metodi per la domanda 2 e la domanda 3 del quiz, e le domande per controllarti.
- Definizione o risultato da sapere
- Trappola / errore tipico
- Conta all'esame
- Oltre il libro
- L'idea e il metodo, passo per passo
- Da ricordare
La settimana in 7 punti
- Una coppia ordinata ha un primo e un secondo pezzo: l'ordine conta. Il prodotto cartesiano di due insiemi contiene tutte le coppie con il primo pezzo nel primo insieme e il secondo nel secondo.
- Una relazione in un insieme è un sacchetto di coppie: dice chi è legato a chi.
- Le quattro proprietà: riflessiva, simmetrica, antisimmetrica, transitiva. Un'equivalenza è riflessiva, simmetrica e transitiva; un ordine è riflessivo, antisimmetrico e transitivo.
- Ogni equivalenza divide l'insieme in classi, che formano una partizione.
- Una funzione fa corrispondere a ogni elemento del dominio uno e un solo elemento del codominio. Sulla tabella dei pallini: un pallino in ogni colonna.
- Iniettiva: ogni riga ha al massimo un pallino. Suriettiva: ogni riga ne ha almeno uno. Biettiva: esattamente uno.
- All'esame la domanda 2 del quiz è quasi sempre sul prodotto cartesiano, la domanda 3 sulle funzioni.
D03 · Prodotto cartesiano e relazioni (lun 05/10)
Coppie e prodotto cartesiano.
- Scambiare i due pezzi di una coppia dà un'altra coppia, se i pezzi sono diversi: la casella B3 della battaglia navale non è 3B. Tonde per le coppie, graffe per gli insiemi.
- Per scrivere il prodotto si fissa un elemento del primo insieme e lo si accoppia con tutti quelli del secondo, poi si passa al successivo. Il numero di coppie è il prodotto dei due numeri di elementi: 3 per 4 fa 12.
- In generale . Se uno dei due insiemi è vuoto, il prodotto è vuoto.
Metodo · La domanda 2 del quiz
- Un elemento del prodotto cartesiano è una coppia, con ogni pezzo nel suo insieme.
- Un sottoinsieme di è un sacchetto di coppie così, oppure il vuoto.
- Controlla ogni coppia pezzo per pezzo, e nell'ordine giusto.
Nell'appello del 03/02/2026 gli insiemi erano e . La risposta giusta era il sacchetto con la coppia : non è un sottoinsieme di , perché 6 non sta in .
Relazioni. Una relazione in un insieme è un sacchetto di coppie di suoi elementi, cioè un sottoinsieme del prodotto dell'insieme con sé stesso. Si scrive quando è legato a , e si disegna con una tabella di pallini.
| Proprietà | A parole | Sulla tabella |
|---|---|---|
| riflessiva | ognuno è legato a sé stesso | tutta la diagonale piena |
| simmetrica | se è legato a , anche è legato ad | la tabella è uguale allo specchio |
| antisimmetrica | due elementi diversi non sono legati nei due sensi | fuori dalla diagonale nessun pallino ha lo specchio |
| transitiva | da a e da a , allora da a | le catene si chiudono |
Trappola · Antisimmetrica non vuol dire «non simmetrica»
L'uguaglianza è simmetrica e antisimmetrica. Una relazione può anche non essere né l'una né l'altra.
Equivalenze e classi.
- Un'equivalenza vuol dire «essere dello stesso tipo»: stesso mese di nascita, stessa parità, stesso resto.
- Congruenza modulo : due interi sono equivalenti quando la loro differenza è un multiplo di . Con le classi sono tre: i multipli di 3, quelli con resto 1, quelli con resto 2.
- La classe contiene gli elementi equivalenti a ; se allora . Le classi formano una partizione, e ogni partizione dà un'equivalenza, «stare nello stesso cassetto».
Prova tu
Con e , quanti elementi ha ? La coppia ci sta?
6 elementi. non ci sta: il primo pezzo deve essere in . Sta in .
Da ricordare
- Equivalenza: riflessiva, simmetrica, transitiva. Ordine: riflessivo, antisimmetrico, transitivo.
- Le classi di un'equivalenza sono i cassetti di una partizione.
D04 · Funzioni, immagini, controimmagini (ven 09/10)
Una funzione è come la mensa: ogni studente sceglie un solo piatto. Si scrive . In modo preciso è il suo grafico, un sottoinsieme di in cui ogni elemento di compare come primo pezzo di una sola coppia.
- Dominio , codominio . Due funzioni sono uguali se hanno stesso dominio, stesso codominio e stesso grafico.
- Funzioni da riconoscere: identità, costanti, proiezioni, successioni, funzione quoziente.
- L'immagine sono i valori raggiunti davvero; il codominio è quello che potrebbe raggiungere.
- La controimmagine è l'insieme di chi finisce in : le soluzioni di . Può essere vuota. Non vuol dire «uno diviso ».
| Proprietà | Sulle righe della tabella | Con le controimmagini |
|---|---|---|
| iniettiva | al massimo un pallino per riga | ogni ha al massimo un elemento |
| suriettiva | almeno un pallino per riga | ogni è non vuota |
| biettiva | esattamente un pallino per riga | ogni ha esattamente un elemento |
Metodo · Smentire o dimostrare
- Non iniettiva: basta trovare due elementi diversi con lo stesso valore, come e quando c'è un quadrato.
- Non suriettiva: basta un elemento del codominio che non arriva mai.
- Iniettiva: da fai i conti fino ad .
- Suriettiva: prendi un qualsiasi e trova chi ci arriva.
Due esempi da ricordare. «Due n più uno» sugli interi è iniettiva ma non suriettiva: dà solo i dispari. Il quadrato sui reali non è né l'una né l'altra, ma diventa biettivo sui reali positivi.
Prova tu
Con , , quanto valgono e ?
, perché . , perché 13 non è un quadrato.
Da ricordare
- Funzione: un pallino in ogni colonna. Le righe dicono iniettiva, suriettiva, biettiva.
- Tra insiemi finiti: dal più grande al più piccolo non c'è mai una funzione iniettiva.
Verso l'esame
- Domanda 2 del quiz: elementi e sottoinsiemi del prodotto cartesiano, coppia per coppia.
- Domanda 3 del quiz: sulle funzioni. Nel 2025 chiedeva immagini, controimmagini, iniettività; dal 2025 in poi quasi sempre una composizione, l'argomento della lezione D05 del 12/10.
- Le classi di equivalenza tornano con le classi di resto, e la buona definizione con i problemi sui gruppi.
- Appelli 2026/27: martedì 19/01/2027 e mercoledì 03/02/2027, alle 14:00, con libro e appunti.
Domande di ripasso
Quanti elementi ha se ha 3 elementi e ne ha 4?
12: si moltiplica il numero degli elementi.
Quali proprietà ha una relazione di equivalenza? E una relazione d'ordine?
L'equivalenza è riflessiva, simmetrica e transitiva. L'ordine è riflessivo, antisimmetrico e transitivo.
Quali sono le classi della congruenza modulo 3 sugli interi?
, i multipli di 3; , quelli che danno resto 1; , quelli che danno resto 2.
Come si riconosce una funzione sulla tabella dei pallini?
Ogni colonna, cioè ogni elemento del dominio, ha esattamente un pallino.
Che differenza c'è tra codominio e immagine?
Il codominio è l'insieme d'arrivo dichiarato; l'immagine è l'insieme dei valori raggiunti davvero.
Come si dimostra che una funzione non è iniettiva?
Trovando due elementi diversi con lo stesso valore.
da a è suriettiva?
No: i valori sono tutti dispari, e 0 non viene mai raggiunto.
Quiz d'esame
Tutte domande vere dei quiz di Matematica Discreta: le prime sei sul prodotto cartesiano, che è quasi sempre la domanda 2, le altre sulle funzioni. Le risposte giuste sono quelle delle soluzioni ufficiali, ricontrollate con un programma. Sulle relazioni di equivalenza nei quiz 2021–2026 non ho trovato domande a scelta multipla.
- Appello del 07/07/2025, domanda 1. Siano e . Allora:sta in e in , nell'ordine giusto. La risposta più insidiosa è : tutte e due le lettere stanno in , ma il secondo pezzo deve stare in . e non sono coppie; ha i pezzi negli insiemi sbagliati.
- Appello del 14/01/2025, domanda 2. Siano e . La terna è un elemento di:Pezzo per pezzo: 1 sta solo in , 2 sta in (e anche in ), 5 sta solo in . Quindi il primo e il terzo insieme devono essere . La risposta più insidiosa è : va bene per i primi due pezzi, ma 5 non sta in .
- Appello del 13/01/2026, domanda 2. Siano e . Allora:Le coppie di hanno prima un numero di e poi una lettera di . ha l'ordine rovesciato, quindi non ci sta: la frase è vera. La risposta più insidiosa è : la coppia ci sta, quindi la frase con «non appartiene» è falsa. è una terna, e 3 non sta in .
- Appello del 03/02/2026, domanda 2. Siano e . Quale insieme NON è un sottoinsieme di ?Nella coppia il 6 non sta in e il 7 non sta in : basta una coppia sbagliata. La risposta più insidiosa è : il vuoto è un sottoinsieme di ogni insieme, quindi va bene. va bene perché 3 sta in tutti e due.
- Appello del 06/06/2026, domanda 2. Siano e . Allora:4 non sta in , quindi non è nel prodotto: la frase è vera. La risposta più insidiosa è : la coppia invece ci sta. ha l'ordine rovesciato; il vuoto e non sono coppie.
- Appello del 01/07/2026, domanda 2. Siano e . Allora:4 sta in e 5 in . La risposta più insidiosa è : 8 sta in tutti e due gli insiemi, quindi la coppia c'è, e la frase è falsa. è un insieme, non una coppia; ha l'ordine rovesciato.
- Appello del 14/01/2025, domanda 3. Sia la funzione se è pari, se è dispari. Allora:e sono tutti e due pari o tutti e due dispari, quindi hanno lo stesso valore. Al contrario, due numeri con lo stesso valore hanno lo stesso quadrato, oppure i quadrati differiscono di 2, che tra quadrati di interi non succede. La risposta più insidiosa è «iniettiva»: . e smentiscono la prima; è primo; il 2 non è mai raggiunto, quindi non è suriettiva.
- Appello del 14/01/2025, domanda 3, altra versione. Sia la funzione se è pari, se è dispari. Allora:: due numeri diversi con lo stesso valore. La risposta più insidiosa è : è pari, quindi . e smentiscono la prima; è primo; il 3 non è mai raggiunto.
- Quiz 2021–2025. Sia la funzione se è dispari, se è pari. Allora:Per avere 8 servirebbe con dispari, ma è pari; i pari danno sempre 2. Quindi nessuno va in 8. La risposta più insidiosa è : è pari, quindi . vale 2 solo se è pari; dà solo numeri pari, quindi non è suriettiva; tutti i pari vanno in 2, quindi non è iniettiva.
- Quiz 2021–2025. Sia la funzione se è dispari, se è pari. Allora:Chi va in 6: il dispari 3, perché , e il pari 6. Quindi , e per lo stesso motivo non è iniettiva. La risposta più insidiosa è : 4 è pari e va in 4, non in 8; il dispari che andrebbe in 8 sarebbe 4, che non è dispari, quindi . dà solo numeri pari, quindi non è suriettiva.