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.
Relaciones de equivalencia y clases de equivalencia - [Detalles]
En esta entrada revisamos las relaciones de equivalencia, clases de equivalencia y particiones de 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.
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 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.
JAVA, Clases de uso - [Detalles]
• Clases de uso – Organización por convención. ¿Qué son las clases en JAVA? El método main. Java, poo, programación orientada a objetos, clases de uso, clases, método main, main
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.
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.
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.
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.
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.
Equivalencia homotópica implica equivalencia homotópica debil - [Detalles]
Un mapeo entre espacios se dice que es una equivalencia homotópica débil si induce isomorfismos en todos los grupos de homotopía. En este video probamos que todas las equivalencias homotópicas son equivalencias homotópicas débiles.
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.
Cuando dos clases laterales son iguales - [Detalles]
Se presenta un criterio para determinar cuándo dos clases laterales son iguales, también se demuestra que clases laterales son iguales o disjuntas.
JAVA, Poniendo las clases en paquetes - [Detalles]
• Poniendo las clases en paquetes – Ejemplo de cómo crear clases y paquetes.
Programación orientada a objetos con Java, Clases y atributos - [Detalles]
Clases y atributos - Cómo se define todo en JAVA; clases, atributos y métodos. Conceptos generales y sintaxis.
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.
Hay tantas clases laterales izquierdas como derechas - [Detalles]
Se demuestra que hay el mismo número de clases laterales derechas que izquierdas.
Centralizadores y clases de conjugación - [Detalles]
Se definen los centralizadores y se exploran propiedades de las clases de conjugación.
Distintas clases de números - [Detalles]
En este video platicamos acerca de distintas clases de números y motivamos de donde surgen.
Entrada y Salida estructurada, Jerarquía de clases para entrada, salida - [Detalles]
Jerarquía de clases para entrada, salida - Tipos de flujo en Java
Tipos genéricos, Introducción, uso y declaración de clases genéricas - [Detalles]
Introducción, uso y declaración de clases genéricas - Qué son, cómo se pueden utilizar y para qué nos pueden servir. Cómo se declaran. Incluye ejemplo de uso y declaración así como las convenciones generales.
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).
El número de hojas de un cubriente y su grupo fundamental - [Detalles]
En este video demostramos que el número de hojas de un cubriente (con espacio base y espacio cubriente arco-conexos) está en correspondencia con el número de clases laterales de la imagen del grupo fundamental del espacio cubriente, en el grupo fundamental del espacio base.
El cubriente universal - parte 2 - [Detalles]
En este video definimos el cubriente universal (de un espacio que satisface ciertas condiciones) en términos de clases de homotopía de caminos en el espacio base que comienzan en un punto base fijo. En videos posteriores mostraremos que el espacio que definimos en este video es, en efecto, el cubriente universal del espacio con el que comenzamos.
El teorema de clasificación de cubrientes - parte 3 - [Detalles]
En este video demostramos finalmente el teorema de clasificación de cubrientes. Es decir, establecemos una biyección entre el conjunto de subgrupos del grupo fundamental y clases de isomorfismo de cubrientes.
Clases laterales - definición y ejemplos - [Detalles]
Se da la definición de clase lateral y se presentan ejemplos.
Álgebra Moderna I: Producto de subconjuntos y Clases Laterales - [Detalles]
En la primera sección, se establece una definición clara de nuestro producto y se ejemplifica mediante casos específicos. En la segunda parte, se busca abordar la cuestión de cuándo el producto de dos subconjuntos constituye un subgrupo. En la tercera sección, se explora un escenario particular: ¿Qué ocurre cuando uno de los subconjuntos es un conjunto unitario? Es decir, se analiza la multiplicación de un subgrupo de G con un único elemento de G.
Álgebra Moderna I: Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial - [Detalles]
En esta entrada definiremos un producto entre dos clases izquierdas usando el producto en G. Para lo cual necesitamos dar formalmente que es un conjugado y un subgrupo N normal de G.
Álgebra Moderna I: Una modificación al Teorema de Cayley - [Detalles]
Ya observamos la importancia del Teorema de Cayley, ya que nos permite visualizar a un grupo G como un subgrupo del grupo de permutaciones. En esta entrada relacionaremos al grupo G con un grupo simétrico mas pequeño que Sn . Utilizaremos los elementos de G no para mover sus propios elementos, si no, para mover clases laterales.
Álgebra Moderna I: Acciones - [Detalles]
Para esta sección, necesitamos tomar el concepto de acción. Hemos estado usando el verbo actuar para referirnos a esta transformación que sucede al operar un a en G y otro elemento, sea del mismo G o de las clases laterales. La realidad es que ya usar actuar da una idea de lo que estamos queriendo decir. Estamos usando un elemento de un grupo para transformar un elemento de otro.
Diseño y programación orientada a objetos; Modelo - [Detalles]
1.2 Modelo orientado a objetos - ¿Qué es el modelo orientado a objetos? Presentación de las características de este modelo y su composición además de la definición de objeto que usaremos, cómo funciona, su rutina y mensaje además los tipos que existen. De igual forma se nos explica la definición de estado de objeto. y los tipos de métodos. También se nos habla de la programación orientada a objetos con clases, su definición y composición. Por último se presenta la definición de interfaz.
Diseño y programación orientada a objetos; Diseño - [Detalles]
1.3 Diseño: tarjetas de responsabilidad y UML - Diseño de una solución orientada a objetos. Cómo se hace una tarjeta de responsabilidad. ¿Qué es la notación UML? y cómo hacer un diagrama de clases. Se da el primer acercamiento al concepto de herencia o generalización, implementación o realización y contención (agregación y composición). Por último se habla de dependencia y asociación.
Matrices y transformaciones nilpotentes - [Detalles]
Hemos estudiado varias clases importantes de matrices y transformaciones lineales: diagonales, triangulares superiores, simétricas, ortogonales, normales, etc. Es momento de aprender sobre otro tipo fundamental de matrices y transformaciones lineales: las transformaciones nilpotentes.
COMAL: Introducción a Ciencias de la Computación - [Detalles]
Comenzamos con aspectos históricos y la arquitectura básica de una computadora. Luego, nos centramos en aprender a programar con el paradigma orientado a objetos, usando Java como lenguaje ilustrativo. Explicamos el funcionamiento de compiladores e intérpretes. Hablamos del diseño y programación de algoritmos en un lenguaje imperativo, para lo que se estudian variables, estructuras de control, clases y otros temas avanzados. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE102723.
Funciones de orden superior, Pasar una función como parámetro - [Detalles]
Pasar una función como parámetro - Implementar una interfaz funcional para pasar la función a parámetro. Introducción a las clases anónimas internas y a las LAMBDA
Programación orientada a objetos con Java, Métodos - [Detalles]
Métodos - Cómo se define todo en JAVA; clases, atributos y métodos. Conceptos generales y sintaxis.
Programación orientada a objetos con Java, Tipos de métodos - [Detalles]
Tipos de métodos - Cómo se define todo en JAVA; clases, atributos y métodos, tipos de métodos. Conceptos generales y sintaxis.
Hilos. Implementación, Crear hilos en JAVA - [Detalles]
Crear hilos en JAVA - Clases de hilos y cómo crearlos
Clases de homotopía de funciones con domino la n-esfera - [Detalles]
Vemos una manera equivalente de definir los grupos de homotopía