Lezione del 21 dicembre 2019

Ricordiamo che nel corso della dimostrazione del Teorema di esistenza del mcd(a,b) si è anche dimostrato che il mcd(a,b) è combinazione lineare dei numeri a,b con coefficienti

Ricordiamo che nel corso della dimostrazione del Teorema di esistenza del mcd(a,b) si è anche dimostrato che il mcd(a,b) è combinazione lineare dei numeri a,b con coefficienti

Ma allora da aRx segue xRa (per la simmetrica) e da aRx e xRb segue aRb (per la transitiva). Infine da aRb segue, per il teorema precedente, l’eguaglianza [a]=[b], contraddizione.

Le proprietà 1) e 2) seguono immediatamente dalla definizione di unione. Per la 3) basta notare che sia (AB)C che A(BC) coincidono con l’insieme degli elementi che

[r]

Il prossimo risultato dimostra che, nel caso di dominio e codominio finiti e con la stessa cardinalità, i concetti di funzione iniettiva e surgettiva in pratica

Osserviamo che l’algoritmo ha termine dopo un numero finito di divisioni: se infatti per assurdo così non fosse, si otterrebbe una successione infinita di divisioni tutte con

Interpretando nella teoria dei grafi tale problema si arriva alla seguente definizione: dato un qualunque grafo (orientato o no) un cammino Hamiltoniano è