Conjunto finito

El concepto de conjunto finito está ligado a la necesidad social de contar los elementos de un determinado conjunto. Esta necesidad surge en los albores de la humanidad, posiblemente en el periodo neolítico.

Sea p un número natural , definimos J_p como el conjunto

J_p = {y = n.n.| y ≤ p} = {1,...,p}

Definición

Diremos que el conjunto C es finito, si C es el conjunto vacío o si existe un n.n. p y una biyección de de J_p en C. Si C no es finto se dice que es infinito.

Proposiciones

teorema

Sean n y p dos n.n. si n>p entonces no existe ninguna función inyectiva de J;_n en J_p

Principio de Dirichlet

dados dos conjunto B y C con l y m elementos respectivamente, si l > m entonces no hay ninguna función inyectiva de de B en C. El principio de Dirichlet es llamado también el "principio de las gavetas", para el cual cabe el siguiente enunciado:

Dados l objetos para ser repartidos en m gavetas y si l > n, entonces una de las gavetas deberá alojar no menos de dos elementos.

proposición 1

Sean B y C dos l y m elementos respectivamente. Si l < m, entonces no hay ninguna función sobreyectiva de B en C.

proposición 2

Sean B y C dos conjuntos finitos con igualnúmero de elementos. Una función f: B → C es inyectiva si, y solamente si es sobreyectiva

proposición 3

Todo dominio de integridad es un cuerpo algebraico.

proposición 4

Sean B y C dos conjuntos con m elementos , entonces el conjunto de todas las biyecciones de B en C tiene m! elementos.

Proposición

El conjunto Z de los números enteros no es finito

Fuente

Abramo Hefez. Curso de álgebra vol. 1 Imca, Lima - 2001

Véase también

• Función inyectiva
• Función sobreyectiva
• Función biyectiva