Vai al contenuto
Appunti di InformaticaUniTo · 2026/27

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.

Lezioni
D03 lun 05/10 · D04 ven 09/10
Libro
A. Mori, Lezioni di Matematica Discreta, cap. 1, pp. 13–15; app. A, pp. 153–155; cap. 2, pp. 17–23
Tempo di ripasso
40 minuti
  • 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.
§1

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

  1. Un elemento del prodotto cartesiano è una coppia, con ogni pezzo nel suo insieme.
  2. Un sottoinsieme di è un sacchetto di coppie così, oppure il vuoto.
  3. 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 paroleSulla tabella
riflessivaognuno è legato a sé stessotutta la diagonale piena
simmetricase è legato a , anche è legato ad la tabella è uguale allo specchio
antisimmetricadue elementi diversi non sono legati nei due sensifuori dalla diagonale nessun pallino ha lo specchio
transitivada 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.
§2

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 tabellaCon le controimmagini
iniettivaal massimo un pallino per rigaogni ha al massimo un elemento
suriettivaalmeno un pallino per rigaogni è non vuota
biettivaesattamente un pallino per rigaogni ha esattamente un elemento
studentipiattiAnnaBrunoCarlaDariopastarisozuppainsalata
Una funzione dagli studenti ai piatti: da ogni studente parte una sola freccia. La pasta riceve due frecce, quindi la funzione non è iniettiva; l'insalata nessuna, quindi non è suriettiva.

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.
§3

Verso l'esame

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.
§4

Domande di ripasso

autoverifica

Rispondi a voce alta o per iscritto, poi apri la risposta.

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.

§5

Quiz d'esame

come all'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.

  1. Appello del 07/07/2025, domanda 1. Siano e . Allora:
  2. Appello del 14/01/2025, domanda 2. Siano e . La terna è un elemento di:
  3. Appello del 13/01/2026, domanda 2. Siano e . Allora:
  4. Appello del 03/02/2026, domanda 2. Siano e . Quale insieme NON è un sottoinsieme di ?
  5. Appello del 06/06/2026, domanda 2. Siano e . Allora:
  6. Appello del 01/07/2026, domanda 2. Siano e . Allora:
  7. Appello del 14/01/2025, domanda 3. Sia la funzione se è pari, se è dispari. Allora:
  8. Appello del 14/01/2025, domanda 3, altra versione. Sia la funzione se è pari, se è dispari. Allora:
  9. Quiz 2021–2025. Sia la funzione se è dispari, se è pari. Allora:
  10. Quiz 2021–2025. Sia la funzione se è dispari, se è pari. Allora: