Questa voce sull'argomento matematica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Teknopedia. Segui i suggerimenti del progetto di riferimento.

In matematica una corrispondenza biunivoca tra due insiemi ${\displaystyle X}$ e ${\displaystyle Y}$ è una relazione binaria tra ${\displaystyle X}$ e ${\displaystyle Y}$, tale che ad ogni elemento di ${\displaystyle X}$ corrisponda uno ed un solo elemento di ${\displaystyle Y}$, e viceversa ad ogni elemento di ${\displaystyle Y}$ corrisponda uno ed un solo elemento di ${\displaystyle X}$. In particolare, la corrispondenza biunivoca è una relazione di equivalenza.

Lo stesso concetto può anche essere espresso usando le funzioni. Si dice che una funzione

${\displaystyle f\colon X\to Y}$

è biiettiva se per ogni elemento ${\displaystyle y}$ di ${\displaystyle Y}$ vi è uno e un solo elemento ${\displaystyle x}$ di ${\displaystyle X}$ tale che ${\displaystyle f(x)=y}$.

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

Una funzione ${\displaystyle f\colon X\to Y}$ è biiettiva se e solo se è contemporaneamente iniettiva e suriettiva^[1], cioè se soddisfa le seguenti condizioni:

1. ${\displaystyle a_{1}\neq a_{2}}$ implica ${\displaystyle f(a_{1})\neq f(a_{2})}$ per ogni ${\displaystyle a_{1}}$, ${\displaystyle a_{2}}$ scelti in ${\displaystyle X}$;
2. ${\displaystyle \forall y\in Y\,\exists x\in X}$ tale che ${\displaystyle f(x)=y}$, cioè ogni elemento del codominio è immagine di un elemento del dominio.

• Una funzione ${\displaystyle f\colon X\to Y}$ è biiettiva se e solo se è invertibile, cioè se e solo se esiste una funzione ${\displaystyle g\colon Y\to X}$ tale che la funzione composta ${\displaystyle fg}$ venga a coincidere con la funzione identità su ${\displaystyle Y}$ e che la funzione ${\displaystyle gf}$ coincida con l'identità su ${\displaystyle X}$. La funzione ${\displaystyle g}$ se esiste è unica, viene chiamata funzione inversa di ${\displaystyle f}$ e denotata con ${\displaystyle f^{-1}}$.

• La composizione ${\displaystyle g\circ f\colon X\to Z}$ di due funzioni biiettive ${\displaystyle f\colon X\to Y}$ e ${\displaystyle g\colon Y\to Z}$ è ancora biiettiva.

• Se ${\displaystyle X}$ e ${\displaystyle Y}$ sono insiemi finiti, si può costruire una biiezione tra ${\displaystyle X}$ e ${\displaystyle Y}$ se e solo se essi hanno la stessa cardinalità. In tale caso, inoltre, ogni funzione ${\displaystyle f\colon X\to Y}$ iniettiva o suriettiva è anche biiettiva.^[2]

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

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

• Wikimedia Commons contiene immagini o altri file sulla corrispondenza biunivoca

• corrispondenza biunivoca, in Enciclopedia della Matematica, Istituto dell'Enciclopedia Italiana, 2013.
• (EN) one-to-one correspondence, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Corrispondenza biunivoca, su MathWorld, Wolfram Research.
• (EN) Corrispondenza biunivoca, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

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