En esta entrada vamos a ver el concepto de relación, definiremos nuevos conjuntos a partir de este concepto, como lo son el dominio, la imagen de una relación, la imagen de un conjunto bajo una relación. Concluiremos esta sección definiendo a la relación inversa.
Composición de relaciones - [Detalles]
En esta sección definiremos una nueva relación a partir de dos relaciones con ciertas características y una operación a la que llamaremos composición. Veremos si la operación composición tiene propiedades como la conmutatividad o la asociatividad.
Esta sección estará dedicada a un tipo de relaciones a las que llamaremos funciones. Este tema será de gran importancia pues utilizaremos funciones con mucha frecuencia a partir de ahora. En esta entrada abordaremos la definición de función, algunas de sus propiedades y ejemplos.
Funciones (parte II) - [Detalles]
En esta sección hablaremos acerca de algunas propiedades de la imagen y la imagen inversa de un conjunto bajo una función, dichas propiedades hablan de como se comportan estos conjuntos con respecto a la unión, la intersección y la diferencia.
Relaciones de equivalencia - [Detalles]
En esta entrada hablaremos acerca de un tipo de relaciones a las que llamaremos relaciones de equivalencia. Trataremos ejemplos que son relaciones de equivalencia así como ejemplos que no lo son.
Clases de equivalencia y particiones - [Detalles]
Esta entrada estará dedicada a dos conjuntos nuevos a los que llamaremos clases de equivalencia y particiones. Dichos conjuntos nos permitirán por un lado agrupar a los elementos de un conjunto conforme estén relacionados con otros y así estudiar a un conjunto no solo como un total si no por partes.
Conjunto cociente - [Detalles]
En esta entrada definiremos al conjunto cociente, dicho conjunto tendrá como elementos a las clases de equivalencia de una relación. Además probaremos que toda relación de equivalencia induce una partición y viceversa.