Biiezzioni

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 .

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

hè 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à 
 Iniettività è suriettività 
 Una funzioni hè biiettiva s'è è solu s'è hè à tempu iniittiva è suriettiva.

 Invertibilità 
 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 
 A cumpusizioni  di dui funzioni biiettivi  è  hè sempri biiettiva.

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

 Noti 

 Da leghja dinò 
Currispundenza biunivoca (giumitria discrittiva)
Funzioni inversa
Funzioni iniittiva
Funzioni suriettiva
Isumurfismu
Omeumurfismu
Parmutazioni
Cardinalità

Categoria:Tiuria di l'insemi
Categoria:Matematica di basa

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