In matematica una biiezzioni (o biiezzione) trà dui insemi è hè una rilazioni binaria trà è , tali ch'è à ogni elementu di currispondi un è un solu elementu di , è viciversa à ogni elementu di currispondi un è un solu elementu di .

Un asempiu di funzioni biiettiva

U stessu cuncettu pò ancu essa aspressu usendu i funzioni. Si dici ch'è una funzioni

biiettiva s'è par ogni elementu di ci hè un è un solu elementu di tali ch'è .

Una tali funzioni hè ditta ancu currispundenza biunivoca, funzioni biiettiva o funzioni biunivoca.

Prubità

mudificà

Iniettività è suriettività

mudificà

Invertibilità

mudificà
  • Una funzioni   hè biiettiva s'è è solu s'è hè invertibili, veni à dì s'è è solu s'edda esisti una funzioni   tali ch'è a funzioni cumposta   venghi à cuincida incù a funzioni idantità annantu à   (oppuri ch'è a funzioni   cuincidi incù l'idantità annantu à  ). A funzioni   s'edda esisti hè unica, hè chjamata funzioni inversa di   è dinutata incù  .

Cumpusizioni

mudificà
  • A cumpusizioni   di dui funzioni biiettivi   è   hè sempri biiettiva.

Rilazioni d'equivalenza

mudificà

In particulari, a currispundenza biunivoca hè una rilazioni d'equivalenza.

  1. C. Kosniowski, op. cit., p. 2

Da leghja dinò

mudificà

'Ss'articulu pruveni in parti o in tutalità da l'articulu currispundenti di a wikipedia in talianu.