Relaciones de equivalencia

Slides:



Advertisements
Presentaciones similares
Teoría de Conjuntos Dr. Rogelio Dávila Pérez
Advertisements

Diseño y análisis de algoritmos
Diseño y análisis de algoritmos
MATEMATICAS DISCRETAS
Relaciones y Funciones
Teoría de Conjuntos Dr. Rogelio Dávila Pérez ITESM, Campus Guadalajara
CONCEPTOS Y PROPIEDADES
MATEMÁTICAS I MEDIO PROGRAMA EMPRENDER PREUNIVERSITARIO ALUMNOS UC
RELACIONES Y FUNCIONES
Repaso de Conjuntos Conjuntos y subconjuntos
DEPARTAMENTO DE MATEMÁTICAS
TEORÍA DE CONJUNTOS.
Unidad II: Teoría de Conjuntos.
TEÓRIA DE CONJUNTOS Profesor: Rubén Alva Cabrera.
UNIDAD 3 RELACIONES Y FUNCIONES
PRODUCTO CARTESIANO RELACIONES BINARIAS
Taller matemático (Cálculo)
10. LIMITES DE FUNCIONES Definición de límite
8. EXPONENCIAL Y LOGARITMICA
La transformada de Fourier.
¿Qué es un conjunto? Un conjunto es una colección de objetos considerada como un todo. Los objetos de un conjunto son llamados elementos o miembros del.
NÚMEROS REALES ( IR ) Profesor José Mardones Cuevas
Teoría de conjuntos Un conjunto es una colección o clase de objetos bien definidos y diferenciables entre sí. Los conjuntos pueden ser finitos o infinitos.
   Conjuntos.
Funciones.
Tomado de UNIMET Prof. Antonio Syers
MATEMATICAS DISCRETAS
UNIVERSIDAD DE PANAMÁ FACULTAD DE CIENCIAS NATURALES Y EXACTAS DEPARTAMENTO DE MATEMATICA COLOQUIOS MATEMÁTICOS OPERADORES EN ESPACIOS DE HILBERT. REPRESENTACION.
PERPENDICULARIDAD.
Conjunto Potencia.
CLASE 26 CONJUNTO Y ELEMENTO.
Operaciones con conjuntos
Teoría de Conjuntos Prof. Carlos Coronel R..
CONTENIDO CONJUNTOS RELACIONES FUNCIONES CONJUNTOS.
Unidad 1. Números reales Algebra superior.
Ecuaciones diferenciales 1. Ecuaciones diferenciales de primer orden
Recurrencia Programación II de enero de 2009.
La integral definida VBV.
M.C. Jesús Antonio Jashimoto B.
TEÓRIA DE CONJUNTOS.
Programa de Asignatura.
Curso de Teoría del Autómata
TEÓRIA DE CONJUNTOS.
Ayudantía Nº 4 Algebra I fmm010 Carola Muñoz R. 1.
TEÓRIA DE CONJUNTOS Docente: Jesús Huaynalaya García.
Número complejo, ..
Producto Cartesiano.
MATEMÁTICA II Gonzales Caicedo Walter Orlando
RELACIÓN BINARIA.
Universidad César Vallejo
TEÓRIA DE CONJUNTOS Profesor: Ing. Oscar Guaypatin Pico.
II Unidad: Relaciones y Funciones
MATEMÁTICA BÁSICA CERO
UNIVERSIDAD DE GUADALAJARA Centro Universitario de Ciencias Económico Administrativas Departamento de Métodos Cuantitativos Ciclo 2012-A Curso Propedéutico.
RELACION Y OPERACIÓN ENTRE CONJUNTOS
Relaciones Binarias de equivalencia y de orden y Aplicaciones
Matemáticas Discretas
Propiedades de las Desigualdades y los Intervalos
Relaciones y Funciones Dr. Rogelio Dávila Pérez Universidad Autónoma de Guadalajara Web:
Relaciones de Equivalencia y Relaciones de Orden
6. Sistemas de ecuaciones diferenciales lineales
TEÓRIA DE CONJUNTOS.
UNSa Sede Regional Oran TEU - TUP. Un espacio vectorial (o espacio lineal) es el objeto básico de estudio del álgebra lineal.álgebra lineal A los elementos.
Mini-video 2 de 5 Materia: Límites de funciones Continuidad de funciones Prácticas con Introducción a Funciones de una variable.
Teoría de Conjuntos Dr. Rogelio Dávila Pérez
Relaciones de equivalencia y de orden Definición (p. 46) Una relación  se llama relación de equivalencia sii es reflexiva, simétrica y transitiva.
MAXIMO COMUN DIVISOR Y MAXIMO COMUN MULTIPLO
U NIDAD 3 R ETÍCULOS, PARTICIONES Y CONGRUENCIAS M.C. Meliza Contreras González.
Relaciones Binarias Definición (Duarte & Cambronero, 2007, p. 39) Definición (Trejos, 2013, p. 49)
Transcripción de la presentación:

Relaciones de equivalencia

Relaciones de equivalencia Definición Relaciones de equivalencia Sea A un conjunto no vacío en el conjunto Universal U. Una relación binaria R sobre A, es una relación de equivalencia si R satisface las tres propiedades: R es reflexiva R es simétrica R es transitiva

Relaciones de equivalencia Ejemplos Relaciones de equivalencia La relación R sobre Z definida por: a R b  a – b es múltiplo de 3. Sea k, la relación R sobre Z: a R b  a – b es múltiplo de k. Dado un conjunto D  U, la relación: A R B  A  D = B  D Sobre los números reales , la relación R: x R y  x – y  Z La relación R sobre 2 definida por: (x,y) R (a,b)  x.y = a.b La relación R sobre Z2 definida por: (m,n) R (p,q)  m+q = n+p Una relación de equivalencia identifica los elementos de un conjunto que satisfacen una misma propiedad y los llama elementos equivalentes.

Partición de un conjunto Definición: Sea A un conjunto no vacío. Sean Diremos que P es una partición de A y escribimos si: y Cada subconjunto Aj es una celda de la partición Ejemplos: Sea A = {1, 2, 3, 4, 5} una partición P de A, con 3 celdas, es P = { {1,3}, {4}, {2,5} }, donde A1={1,3}, A2={4}, A3={2,5}. En efecto {1,3} {4}=  {1,3}  {2,5}=   {4}  {2,5}=. Además {1,3}  {4} {2,5} = {1, 2, 3, 4, 5} = A

Partición de un conjunto Ejemplos: 2) Sea A = {1, 2, 3, 4} una partición P de A con 2 celdas es P = { {1}, {2,3,4} }, donde A1={1}, A2={2,3,4}. En efecto {2,3.4}  {1} =   {1}  {2,3,4} = {1, 2, 3, 4} = A

Determine todas las particiones posibles para el conjunto Ejercicios Ejercicio 1: Determine todas las particiones posibles para el conjunto A = {1, 2, 3} Ejercicio 2: Determine el número de particiones distintas para el conjunto A = {1, 2, 3, 4} con exactamente dos celdas. Para pensar: Cuente todas las particiones distintas del conjunto A = {1, 2, 3, 4, 5}.

Sea R una relación de equivalencia en un conjunto A no vacío. Clase de equivalencia Definición: Sea R una relación de equivalencia en un conjunto A no vacío. Sea a  A, llamaremos clase de equivalencia de a y la escribiremos por [a] al conjunto de todos los elementos que están relacionados con a, es decir [a] = { x  A / x R a } Ejemplo: La relación R sobre Z : a R b  a – b es múltiplo de 2. Hay dos clases de equivalencia distintas, la del 0 y la del 1: [0] = { 0, ±2, ±4, ±4,… } y [1] = { ±1, ±3, ±5,… }

En el conjunto A = {1, 2, 3, 4} se define la siguiente relación Ejercicios Ejercicio 3: En el conjunto A = {1, 2, 3, 4} se define la siguiente relación R = {(1,1), (2,2), (3,3), (4,4), (1,2), (2,1)} Determine [1], [2] y [4]

El conjunto cociente es una partición de A Clase de equivalencia Definición: Sea R una relación de equivalencia en A. El conjunto de las clases de equivalencia se llama conjunto cociente de A por R. El conjunto cociente es una partición de A En efecto, Las clases de equivalencia son disjuntas dos a dos. La unión de todas las celdas coincide con el conjunto A.

1) Sean x, y  A  [x]= [y]  [x]  [y] =  i) Si x R y  [x]= [y]; Clase de equivalencia Demostración: 1) Sean x, y  A  [x]= [y]  [x]  [y] =  i) Si x R y  [x]= [y]; sea z  [x]  z R x  x R y  z R y (transitividad)  z  [y], de donde [x]  [y]. Razonando de manera similar se prueba que [y]  [x]. Por lo tanto, [x] = [y]. ii) Si (x,y)  R entonces [x]  [y] = . En efecto, si existiera z  [x]  [y] entonces z R x  z R y por lo tanto, x R y, lo cual es un absurdo.

En efecto, si x  A, como R es reflexiva, x R x  x  [x] Clase de equivalencia Demostración: 2) Veamos que En efecto, si x  A, como R es reflexiva, x R x  x  [x] Por otro lado, sea z tal que

Toda relación de equivalencia sobre A genera una partición en A. Clase de equivalencia Toda relación de equivalencia sobre A genera una partición en A. Toda partición sobre el conjunto A, genera una relación de equivalencia

En 2, la relación R definida por: (x,y) R (a,b)  x.y = a.b Ejercicios Ejercicio 5: En 2, la relación R definida por: (x,y) R (a,b)  x.y = a.b Determine las clases de equivalencia y dibújelas en el plano Ejercicio 6: Definimos en Z, la relación R: x R y  x2 – y2 = x – y Encuentre las clases de equivalencia de algunos números, por ejemplo 0, 5 y 8

3 = 3 (partición con una celda de 3 elementos). Hay 1 Soluciones Solución 1: Como A tiene 3 elementos solo podemos tener particiones con 3 celdas, 2 celdas y 1 celda, es decir, como A=3, el número 3 puede escribirse como 3 = 3 (partición con una celda de 3 elementos). Hay 1 3=2+1 (partición con dos celdas de 1 y 2 elementos). Hay 3=1+1+1 (partición con tres celdas de 1 elemento). Hay 1 Hay 5 particiones de distintas de A P1 ={ {1, 2, 3}} P2 = {{1, 2}, {3}}, P3 = {{1, 3}, {2}}, P4 = {{2, 3}, {1}} P5 = {{1}, {2}, {3}}