Corrispondenza biunivoca

Da Wikipedia, l'enciclopedia libera.

In matematica una corrispondenza biunivoca tra due

insiemi e è una relazione binaria tra e , tale che ad
ogni elemento di corrisponda uno ed un solo elemento di ,
e viceversa ad ogni elemento di corrisponda uno ed un solo
elemento di . In particolare, la corrispondenza biunivoca è
una relazione di equivalenza.

Lo stesso concetto può anche essere espresso usando le

funzioni. Si dice che una funzione

è biiettiva se per ogni elemento di vi è uno e un solo

Un esempio di funzione biiettiva
elemento di tale che .

Una tale funzione è detta anche biiezione, bigezione,

funzione bigettiva o funzione biunivoca.

Indice
Proprietà
Iniettività e suriettività
Invertibilità
Composizione
Corrispondenza biunivoca per insiemi finiti
Note
Bibliografia
Voci correlate
Altri progetti
Collegamenti esterni

Proprietà

Iniettività e suriettività

Una funzione è biiettiva se e solo se è contemporaneamente iniettiva e suriettiva[1], cioè

se soddisfa le seguenti condizioni:

1. implica per ogni , scelti in ;

 2. tale che , cioè ogni elemento del codominio è immagine di un
elemento del dominio.

Invertibilità
Una funzione è biiettiva se e solo se è invertibile, cioè se e solo se esiste una
funzione tale che la funzione composta venga a coincidere con la funzione
identità su e che la funzione coincida con l'identità su . La funzione se esiste è unica,
viene chiamata funzione inversa di e denotata con .

Composizione
La composizione di due funzioni biiettive e è ancora
biiettiva.

Corrispondenza biunivoca per insiemi finiti

Se e sono insiemi finiti, si può costruire una biiezione tra e se e solo se essi hanno
la stessa cardinalità. In tale caso, inoltre, ogni funzione iniettiva o suriettiva è anche
biiettiva.[2]

Note
1. ^ C. Kosniowski, p. 2.
2. ^ Conte, Picco Botta, Romagnoli, p. 12.

Bibliografia
Czes Kosniowski, Introduzione alla Topologia Algebrica, Zanichelli, 1988, ISBN 88-08-06440-
9.
Conte, Picco Botta, Romagnoli, Algebra, Levrotto & Bella, 1986, ISBN 8882181464.

Voci correlate
Corrispondenza biunivoca (geometria descrittiva)
Funzione inversa
Funzione iniettiva
Funzione suriettiva
Isomorfismo
Automorfismo
Omeomorfismo
Diffeomorfismo
Permutazione
Cardinalità

Altri progetti
 Wikimedia Commons (https://commons.wikimedia.org/wiki/?uselang=it) contiene immagini
o altri file su corrispondenza biunivoca (https://commons.wikimedia.org/wiki/Category:Bi
jectivity?uselang=it)

Collegamenti esterni

(EN) Corrispondenza biunivoca, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.

Estratto da "https://it.wikipedia.org/w/index.php?title=Corrispondenza_biunivoca&oldid=123066186"

Questa pagina è stata modificata per l'ultima volta il 19 set 2021 alle 12:17.

Il testo è disponibile secondo la licenza Creative Commons Attribuzione-Condividi allo stesso modo; possono
applicarsi condizioni ulteriori. Vedi le condizioni d'uso per i dettagli.