Corrispondenza biunivoca

Una corrispondenza biunivoca tra due insiemi è un particolare tipo di applicazione che associa ad ogni elemento del primo insieme uno ed un solo elemento del secondo, e viceversa ad ogni elemento del secondo insieme fa corrispondere uno ed un solo elemento del primo.

Cerchiamo di espandere la succinta definizione appena scritta spiegandone il significato. Per chi ha già studiato le funzioni, una corrispondenza biunivoca non è altro che una funzione biunivoca tra due insiemi.

Definizione di corrispondenza

Per chi non l'avesse fatto dobbiamo necessariamente ripartire dalla definizione di applicazione tra due insiemi: diciamo che

è un'applicazione tra gli insiemi , o legge, o corrispondenza o ancora funzione, se essa determina un'associazione tra gli elementi di e gli elementi di in modo tale che ad ogni elemento associ uno ed un solo elemento .

Per indicare l'associazione scriveremo

e, con questa notazione, possiamo riscrivere la precedente definizione nel modo seguente:

A titolo di cronaca abbiamo trattato la definizione di funzione nel dettaglio nell'omonima lezione.

Definizione di corrispondenza biunivoca

Diciamo che è una corrispondenza biunivoca se è un'applicazione e se per ogni elemento esiste un unico elemento tale che sia associato ad mediante .

Per esteso, è una corrispondenza biunivoca se ad ogni elemento associa un solo elemento e, viceversa, se per ogni elemento esiste un unico elemento tale per cui .

Attenzione a non fare confusione:

- la prima parte della definizione (definizione di applicazione) stabilisce che una corrispondenza deve essere individuata da un insieme di frecce ciascuna delle quali parte da un elemento di (da ogni elemento di parte una freccia) e in modo tale che ogni freccia abbia una ed una sola punta;

- la seconda parte della definizione (biunivocità) stabilisce che tutti gli elementi di devono essere raggiunti da una e una sola freccia. Non possono cioè esserci due frecce che convogliano nel medesimo elemento , e inoltre non può esserci alcun elemento scoperto.

Esempi di corrispondenze biunivoche (e non)

1) L'applicazione

definita da

o più brevemente da

è una corrispondenza biunivoca tra gli insiemi considerati.

2) La corrispondenza

dall'insieme dei numeri naturali all'insieme dei numeri pari, definita da

è biunivoca.

3) La legge

definita sull'insieme dei numeri reali a valori nell'insieme dei numeri reali, definita da

è una corrispondenza biunivoca.

4) L'applicazione

definita da

è una corrispondenza ma non è biunivoca, infatti l'elemento 2 dell'insieme di arrivo non viene raggiunto da alcuna freccia, e inoltre vi sono due frecce che convogliano nel medesimo elemento (1) dell'insieme di arrivo.

Simbologia per insiemi in corrispondenza biunivoca

C'è un preciso simbolo matematico che viene adoperato per indicare che è possibile definire una corrispondenza biunivoca tra due insiemi : supponendo che esista almeno una che sia biunivoca, scriveremo

e leggeremo: " è in corrispondenza biunivoca con ".

Corrispondenza biunivoca inversa

Dati due insiemi , se supponiamo che esista una corrispondenza biunivoca

allora rileggendo la definizione si intuisce immediatamente che esisterà anche una corrispondenza biunivoca

che chiameremo corrispondenza inversa e che denoteremo con il simbolo

Importanza del concetto di corrispondenza biunivoca

La nozione di corrispondenza biunivoca è fondamentale in Algebra e in Analisi Matematica e ritorna frequentemente nel prosieguo degli studi.

Senza entrare troppo nel dettaglio (non vogliamo rovinarvi la sorpresa!), l'esistenza di almeno una corrispondenza biunivoca tra due insiemi garantisce importanti "analogie strutturali" tra i due insiemi, tra cui ad esempio il fatto che i due insiemi considerati siano insiemi equipotenti (con la medesima cardinalità).

Giusto per citare un esempio, il concetto di corrispondenza biunivoca è alla base della definizione dei vari tipi di potenza di un insieme. ;)