Metodi Matematici

Il concetto di funzione biunivoca

Una funzione è detta biunivoca se, invertendo l'ordine delle coppie, si ottiene una funzione inversa. In altre parole, una funzione è biunivoca se e solo se ogni elemento del suo insieme di partenza è associato a un unico elemento del suo insieme di arrivo e viceversa.

Un esempio di funzione biunivoca è l'identità, che si ottiene componendo una funzione con la sua inversa. Se f è una funzione, allora f-1 è la sua inversa se e solo se f(f-1(x)) = x per ogni x nel dominio di f.

Le funzioni biunivoche sono particolarmente interessanti quando si lavora con insiemi infiniti o finiti. In un insieme finito, due insiemi hanno lo stesso numero di elementi se e solo se esiste una funzione biunivoca tra di loro.

Ad esempio, l'insieme delle mani (N) e l'insieme dei numeri pari (Npar) hanno lo stesso numero di elementi, poiché esiste una funzione biunivoca che associa ad ogni mano un numero pari. Al contrario, l'insieme dei numeri naturali (N) e l'insieme dei numeri interi (Z) non hanno lo stesso numero di elementi, poiché non esiste una funzione biunivoca tra di loro.

Un altro esempio di funzione biunivoca è la funzione doppio, che associa ad ogni numero intero il suo doppio. Questa funzione è biunivoca poiché ad ogni numero corrisponde un unico doppio e viceversa.

Nei numeri naturali, esiste un elemento particolare chiamato zero, che non ha un predecessore. Ogni altro numero ha un successore, che è il numero immediatamente maggiore. Ad esempio, se n è un numero naturale, allora n+1 è il suo successore. Non esiste un numero che sia il successore del numero zero.

Infine, è importante notare che non esiste un numero che sia il successore di tutti gli altri numeri. Se m è un numero, allora m+1 è diverso da m. Questo è un predicato che vale per ogni numero naturale.

ETALE CHE ) IMPLICASU )• Rmpunti VALE) PER OGNIALLORA )M,( )PRINCIPIO DI INDUZIONEplot CASO BASE=Pinti PASSO) INDUTTIVO=È mln;D-_ 8MODULOCARDINALITÀ'CARDINALITA )( ÈA IAI LALA CARDINALITÀ CLASSEUN INSIEMEDI DIEQU APOTENZA/ DI/ IBI/ ≤ AA BSE ESISTE UNA INIEZIONE →la la/ / / blIBIBI =/IAI≤SE Allora≤ESE AESISTONO A B B ALLORAE INIETTIVE ESISTE→ → ,A B BIIETTIVA→POLVERE CANTORDI ?%o 1co % '% EGIÀC -1 ÷,↑: C21( Conca= . .. [ ] PUÒDELL'OGNI 0,1 ESSEREINSIEMENUMERO ASSOCIATO, (CANTOR )AD DIPOLVEREUN INIETTIVANELLANUMERO /( =/[ /] ) CI ]INOLTRE [≤ 91( QUINDIINIETTIVA 0,1OTTENIAMO( )BIIETTIVACARDINALINUMERII UTILIZZATINUMERI NUMERICARDINALI SONO PER INDICARELA GRANDEZZA INSIEMEDI UNPER ÈGLI INSIEMI FINITI GRANDEZZA INDICATALA LORO CON(UN )DELL'NUMERO INSIEMENATURALE ELEMENTIDEGLINUMEROI DIVERSINUMERI INFINITODICLASSIFICANOCARDINALI TIPINUMERI TRANSFINITI )(NUMERI TRANSFINITII

SONOCARDINALI INFINITI SISTEMAUNOUTILIZZATO PER ELEMENTIQUANTI INSIEMEUN INFINITODIRE HAPIÙ ' ÈIL PERPICCOLO WTRANS ENUMERO FINITO ED DEFINIZIONENLA DELL'CARDINALITÀ INSIEME NUMERIDEI NATURALINON UGUALIGLITUTTI INFINITI SONO124In / <FUNZIONE CALCOLABILEUNA DICEFUNZIONE CALCOLABILESI ESISTE UNQUANDOPROCEDIMENTO EFFETTIVO DI CALCOLONON TUTTE LE FUNZIONI CALCOLABILISONO 9MODULOALGEBRA SOTTOINSIEMIDEIRETICOLISTRUTTURE ALGEBRICHEINSIEMI DOTATI DI OPPORTUNESODDISFANOOPERAZIONI CHEPROPRIETÀ ASSIOMIO(A)RETICOLI ÈUN RETICOLO PARZIALMENTEINSIEME ORDINATOUN NELfa b)QUALE UNPER ESISTONO ESTREMOOGNI COPPIA ,) )(( aulINFERIORE art UN ESTREMOE SUPERIORE ÈUN RETICOLO DETTOSUPERIOREESTREMOCON SOLOSEMI RETICOLO 4 23A 1AVIBVC =/ AVBIVC) } 1-V → A✗ A:Associativa( ) ( AndreBtcA1 Axa1- → A: )(=D✓ Join orAVB BV A }= (#1 )commutativa MOET ausblabA1 = }{ alsui }{" " "" }= Alvi'idompotenzaAAna = BA A Btanta

MMHMM' ✓ MHMbMkDMMkM} BbprassorbimentoIAVB )Al A-_ AVIANI AllahRETICOLI DISTRIBUTIVI( =/ AVBIVC)1- ✓ BVC } 1-V → A✗ a-:Associativa( ) ( AndreBtc1- 1 1-1- → AA- ✗:AVB BV A }= COMMUTATIVAblaD=11- }{ alsui }{AVA A }- melui_ IDEMPOTENZAAAna = 0 so0 a@)( ggAAlba ✓ }-_ Assorbimento( ) • •1 •AVB -11- _..= ::( ())avfbnc c)^ ✓ }AVB 0Distributiva/ =// ( )Al ✓1- 1 AlcBVCLEMMA SEIN averDISTRIBUTIVO PER difUN RETICOLO oveeOGNI =, ,,all leE ALLORAale :c-- , -1lr REARETICOLOUN ELEMENTO DICE DICOMPLEMENTOUN SIIN )( allavb )(T =LESE Bottontop={ } minutisur -_ mail.tl{ } TINF -_IN HAELEMENTORETICOLO DISTRIBUTIVO OGNI UN COMPLIMENTOMASSIMOUN ,MODULO 10DIALGEBRE BOOLEALGEBRA BOOLEDI ÈUN ALGEBRA DISTRIBUTIVOUN RETICOLO TALEDI BOOLE COMPLEMENTOOGNI ELEMENTOCHE HA UNAVIBVC 1-=/ VAVBIVC/ → A✗ A} :" "" "" "Allah Axa1) ( Andre → a:-_ A → A:-AVB BV A }= COMMUTATIVAblaD=11- }{ alsui }{AVA mea } wi-_ IDEMPOTENZAAAna

= )( AAlba. ✓ }-_ Assorbimento/ )=1 AVB -11- :( ())Avlbnc )1 Arc }Avis DISTRIBUTIVA/ =// ( )b)Al ✓1- 1 AleBVC }{ in"+ ✓ }1- = {}{{ } }identità 431,3in1-1=71- {{ }} { }i i 3AVÀ t }-- }{COMPLEMENTOa- =Lan LEGGICONVOLUZIONE DI MORGANDEA- Avis A- VIA= =Atb 15À=MODULO 11MODELLIALGEBRA EOMOMORFISMO 1- BUNA FUNZIONE RISPETTACHE LE→ OPERAZIONIÈ DETTABOTTONMEET TOPJOIN COMPLEMENTO OMOMORFISMO,, ,, Afa B 8→fiavfiaflauti )-flai t-f aitfulhf.lt/=lf Tl=Tfla-I=fTai T 2=PÈUN DIOMORFISMO UNRETICOLI OMOMORFISMODI ALGEBRE BOOLEDI 1-" "" " "" "" | (" " "" " """"" """ ""PROPOSIZIONI SOTTOINSIEMI ELEMENTI(1) )""(AND INTERSEZIONE n ( v1( )ORIV ) vUNIONE JOIN)Notti f)-1 COMPLEMENTO(COMPLEMENTO OMOMORFISMIMODELLI 2ELEMENTI INRAPPRESENTAZIONETEOREMA DI( )STONEMODELLI PREDICATIMODELLII FUNZIONISONO INMAPPANOCHE I( ( )) 1-T

DICE VALIDAmi SIm O, ,(TAUTOLOGIA )VERASEMPREIMPLICAZIONE È (A B LA PROPOSIZIONE' )MENOPIU STRINGENTE X→ DEBOLEf- BX ATALE CHE ,AVB1- =D -→ÈA GENITORE= È PADREB. = ÈA B È→ SE GENITORE PADREALLORA= , DONNEUOMINIBkhAkamaaÌYBT↳kI YkokEI AJBMMYkkaaaaka.no ""ʳk ʰBBkMBkYaIGkkyr iᵗ kkmBABBYà%Fʳ " "" "Mp PERCHÉ È1-f- ÈB→ GENI