Particiones, relaciones y clases de equivalencia - [Detalles]
Definimos un tipo especial de relación entre conjuntos, la Relación de equivalencia, y cuáles son las 3 propiedades que debe cumplir, también hablamos de la clase de equivalencia y la partición de una relación de equivalencia
Ejemplo de partición, clases y relación de equivalencia - [Detalles]
Continuamos con la discusión sobre las relaciones de equivalencia, damos un ejemplo y demostramos que es una relación de equivalencia, usamos el ejemplo para ilustrar sus clases de equivalencia y la partición.
Ejemplo de clase de equivalencia y partición - [Detalles]
Continuamos con el ejemplo anterior sobre las relaciones de equivalencia, damos las clases de equivalencia y la particione de la relación de equivalencia con elementos del plano cartesiano.
Congruencias como relación de equivalencia - [Detalles]
En este video vemos que la relación de congruencia es, justo como podríamos sospechar, una relación de equivalencia en los enteros. Mostramos que la congruencia cumple las tres propiedades para ser una relación de equivalencia: Reflexividad, Simetría, Transitividad. Hablamos sobre la partición que genera en los enteros y cuáles son las clases de equivalencia para cada entero.
Nota 15. Relaciones de equivalencia y particiones. - [Detalles]
En esta nota veremos cómo las relaciones de equivalencia generan particiones, y concluiremos que toda relación de equivalencia tiene asociada una partición y viceversa, toda partición tiene asociada una única relación de equivalencia. Con esta nota concluimos la primera unidad del curso.
Relaciones de equivalencia y clases de equivalencia - [Detalles]
En esta entrada revisamos las relaciones de equivalencia, clases de equivalencia y particiones de conjuntos.
Ejemplo de demostración de relación de equivalencia - [Detalles]
Damos un ejemplo de relación de equivalencia con elementos del plano cartesiano y demostramos que es una relación de equivalencia, es decir, cumple las 3 propiedades
Diapostivas sobre relaciones de equivalencia - [Detalles]
Partimos de una definición de las diapositivas anteriores y de las definiicones de relaciones reflexivas, simétricas y transitivas, la relación que cumpla con estas 3 se llama una relación de equivalencia y de esta nueva definición se desprende las definiciones de clase de equivalencia y particiones, estas ideas se ilustran con más ejemplos.
Nota 13. Relación de equivalencia. - [Detalles]
En esta nota introducimos el concepto de relación de equivalencia, un tipo de relación muy útil que cumple tres propiedades: reflexividad, simetría y transitividad. También vemos el concepto de clase de equivalencia el cual deriva de este tipo de relación.
Álgebra Moderna I: Relación de equivalencia dada por un subgrupo e índice de H en G - [Detalles]
En esta entrada definiremos una relación de equivalencia en un grupo. Nos referimos al grupo de los enteros con la suma (Z,+) en el cual es posible establecer una relación de equivalencia que induce a una partición con exactamente n conjuntos.
Álgebra Moderna I: Grupo Cociente - [Detalles]
La definición de subgrupos normales surgió de la necesidad de extender las propiedades de los enteros a grupos más generales. En los enteros, definimos una relación de equivalencia (módulo n) que nos permite obtener clases de equivalencia. Estas clases no solo generan una partición, sino que también constituyen un subgrupo de Z. La idea central es generalizar este concepto: buscamos definir una operación en ciertas clases de equivalencia para que también formen un grupo.
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.
Los enteros módulo $m$ - [Detalles]
Definimos los enteros modulo "m". Este conjunto consiste de las clases de equivalencia de la congruencia modulo "m". Definimos la operación suma y multiplicación en el conjunto de los enteros modulo "m" (recordemos que sus elementos son clases de equivalencia). Mostramos que las operaciones cumplen las propiedades necesarias para que los enteros modulo "m" sean un anillo.
La homotopía de caminos rel 0,1 es una relación de equivalencia - [Detalles]
En este video se continua preparando el camino para definir el grupo fundamental de un espacio topológico. El objetivo del video es mostrar que la relación de homotopía de caminos rel 0,1 es una relación de equivalencia.
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.
Tipos de relaciones entre conjuntos - [Detalles]
Hablamos de relaciones de conjuntos muy especiales, la relación identidad, la inversa de una relación, relación reflexiva, relación simétrica, relación transitiva y relación de equivalencia y damos un ejemplo de cada una.
Equivalencia entre funciones biyectivas e invertibles - [Detalles]
Definimos la inversa de una función, demostramos principalmente que: Una función tiene inversa si y sólo si, es biyectiva. Además de esto demostramos otro par de Teoremas relacionados a la inversa de una función.
Sistemas de residuos módulo $m$ - [Detalles]
Damos la definición de un sistema completo de residuos modulo "m". El cual es un conjunto donde cada elemento sirve como un representante de una clase de equivalencia de la relación de congruencia. También definimos un sistema reducido de residuos modulo "m". Damos la definición de la función de Euler, y vemos un teorema que nos ayuda a conocer el valor de la función de Euler.
Cuestionario sobre ángulos notables - [Detalles]
Ponemos en práctica el tema de ángulos notables y la equivalencia de éstos, al resolver el cuestionario lanza la calificación para que el alumno pueda ver que áreas necesita repasar.
Homología celular - definición y equivalencia con homología singular - [Detalles]
En este video definimos la homología celular y vemos que es isomorfa a los grupos de homología singular.
El principio del buen orden - [Detalles]
Probamos la equivalencia entre el principio del buen orden y el principio de indicción así como el conjunto de los naturales satisface ser un conjunto bien ordenado.
Construcción de los enteros y su suma - [Detalles]
Construimos el conjunto de los números enteros a partir de los números naturales, definimos a un número entero como una clase de equivalencia, definimos su operación suma y su inverso; también demostramos algunas propiedades básicas de la operación suma en los enteros.
Conjugación como relación de equivalencia - [Detalles]
Se explica la relación de conjugación y se demuestran algunas propiedades, se define el centro de un grupo.
Ejercicio de Tablas de verdad - [Detalles]
En este video justificamos la equivalencia de proposiciones utilizando las tablas de verdad y como operan con conectores lógicos.
Nota 14. Familia de Conjuntos y particiones. - [Detalles]
En esta nota vemos lo que es una familia de conjuntos, una familia indexada de conjuntos y usaremos esos conceptos para establecer lo que es una partición de un conjunto dado. También estableceremos la relación que hay entre las particiones y las relaciones de equivalencia.
Matrices positivas y congruencia de matrices - [Detalles]
En esta entrada veremos como se relacionan las ideas de matrices asociadas a formas bilineales con el producto interior y espacio euclideano, así como sus análogos complejos. Extenderemos nuestras nociones de positivo y positivo definido al mundo de las matrices. Además, veremos que estas nociones son invariantes bajo una relación de equivalencia que surge muy naturalmente de los cambios de matriz para formas bilineales (y sesquilineales).