Aplicación biyectiva
Dados dos conjuntos, la correspondencia biyectiva es cuando a cada elemento de un conjunto le corresponde un elemento del otro conjunto, es decir tienen el mismo número de elementos.
Sean A y B dos conjuntos. Sea la aplicación f: A → B. La aplicación entre A y B verifica ser una aplicación biyectiva si para cada imagen hay un elemento A asociado y que además debe ser único.
f:M→N⇔M equipo N
Dos conjuntos M y N son equipotente o coordinables si y sólo si existe una biyección de M en N. Si existe una biyección del conjunto M en N, M es equipotente con N.
Propiedades de la equipotencia
– Propiedad simétrica, si existe una biyección de M en N , por definición de función biyectina, existe otra biyección de N en M .
– Propiedad reflexiva, es la que aplica cada elemento en sí mismo.
– Propiedad transitiva