Pares ordenados y producto cartesiano - [Detalles]
En esta nueva entrada definiremos a un par ordenado y probaremos cuando dos parejas ordenadas son iguales. Así mismo dados dos conjuntos definiremos su producto cartesiano y daremos algunos ejemplos sobre este concepto.
Propiedades del producto cartesiano - [Detalles]
En esta entrada demostraremos algunas de las propiedades del producto cartesiano. Hablaremos acerca de la conmutatividad y asociatividad de esta operación. A partir de esta entrada haremos uso de los números naturales aunque formalmente no los hemos definido, por el momento los utilizaremos simplemente como números y no como conjuntos.
Propiedades del producto cartesiano (parte II) - [Detalles]
En esta sección vamos a ver otras de las propiedades del producto cartesiano. Estas propiedades hacen referencia al comportamiento del producto cartesiano con respecto a las operaciones que definimos antes: unión, intersección, diferencia y diferencia simétrica.
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.
Funciones inyectivas - [Detalles]
En esta sección abordaremos el concepto de función inyectiva, notaremos que la función inyectiva será aquella que mande elementos distintos a elementos distintos bajo una función. Veremos varios ejemplos así como equivalencias a ser inyectiva, por ultimo veremos que pasa con la composición de funciones y la inyectividad.
Funciones suprayectivas y biyectivas - [Detalles]
En esta entrada hablaremos acerca de funciones sobreyectivas, este tipo de funciones serán aquellas cuya imagen sea todo el codominio, veremos ejemplos y que pasa con la composición de funciones. Tras definir este concepto podremos definir el concepto de función biyectiva, este último será de gran utilidad pues haremos uso de él cuando queramos estudiar un conjunto a través de otros conjuntos que tengan la misma cantidad de elementos.
Funciones inversas - [Detalles]
En esta sección hablaremos acerca de las funciones inversas, para ello introduciremos conceptos como el de inversa derecha y el de inversa izquierda, veremos como se relacionan con los conceptos anteriores de función inyectiva, sobreyectiva y biyectiva.
Órdenes parciales y órdenes estrictos - [Detalles]
En esta sección comenzaremos definiendo a los órdenes parciales y a los órdenes parciales estrictos, que no son mas que un tipo especial de relación que cumplen ciertas propiedades.
En esta sección hablaremos acerca de ordenes totales, retomaremos el concepto de orden parcial y orden parcial estricto y añadiremos el concepto de ser comparable. Además hablaremos acerca del orden lexicográfico vertical y horizontal.
Mínimos, máximos, minimales y maximales - [Detalles]
En esta sección hablaremos de los elementos de un conjunto ordenado que tienen caracteristicas especiales, según sean éstas los llamaremos mínimos, máximos, minimales o maximales.
Cotas inferiores e ínfimos - [Detalles]
En esta entrada hablaremos acerca de cotas inferiores e ínfimos. Estos nuevos conceptos también nos permitirán acotar conjuntos ordenados. También veremos como se relacionan estos conceptos con el minimo.
Cotas superiores y supremos - [Detalles]
En esta entrada hablaremos acerca de cotas superiores y supremos. Estos nuevos conceptos también nos permitirán acotar conjuntos ordenados. También veremos como se relaciona este concepto con el máximo de un conjunto.
En esta entrada veremos el concepto de conjunto bien ordenado, en dicho conjunto toma mucha importancia el concepto de minimo. También veremos como se relaciona este nuevo concepto con los conceptos de orden que se han visto anteriormente
Isomorfismos de orden - [Detalles]
En esta entrada hablaremos acerca de funciones biyectivas entre conjuntos ordenados, algunas con propiedades particulares a las que llamaremos isomorfismos, tabién veremos algunos resultados sobre isomorfismos.
El complemento de un conjunto - [Detalles]
En esta entrada hablaremos acerca del complemento de un conjunto y algunos resultados que se dan a partir de esta definición. A su vez, veremos las leyes de De Morgan, las cuales nos dirán cuál es el complemento de la intersección y de la unión de dos o más conjuntos.
Álgebra de conjuntos - [Detalles]
En esta nueva entrada abordaremos a las operaciones entre conjuntos desde una perspectiva diferente: el álgebra. A traves de varios ejemplos veremos que existe otra forma de probar la igualdad entre conjuntos sin necesidad de usar la demostración por doble contención.
Diferencia simétrica - [Detalles]
En esta sección hablaremos de una nueva operación entre conjuntos: la diferencia simétrica. Abordaremos este tema demostrando algunos resultados con ayuda del álgebra de conjuntos, algunos otros los probaremos con el método de demostración habitual.