Corrispondenza biunivoca

Da Wikipedia, l'enciclopedia libera.
Un esempio di funzione biiettiva

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 .

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 elemento di tale che .

Una tale funzione è detta anche biiezione, bigezione, funzione bigettiva o funzione biunivoca.

Proprietà[modifica | modifica wikitesto]

Iniettività e suriettività[modifica | modifica wikitesto]

Invertibilità[modifica | modifica wikitesto]

  • 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[modifica | modifica wikitesto]

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

Relazione di equivalenza[modifica | modifica wikitesto]

In particolare, la corrispondenza biunivoca è una relazione di equivalenza.

Note[modifica | modifica wikitesto]

  1. ^ C. Kosniowski, p. 2

Bibliografia[modifica | modifica wikitesto]

  • Czes Kosniowski, Introduzione alla Topologia Algebrica, Zanichelli, 1988, ISBN 88-08-06440-9.

Voci correlate[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica