Está en la página 1de 35

TEMA IV

Conjuntos y
Relaciones
Desarrollo de competencia:
Identifica las propiedades que posee una relación expresada
como conjunto de pares ordenados, como una expresión
algebraica, de una forma verbal o simbólica.

Unidades de competencia:

elementos.

reales.
tos de: producto cartesiano, relación y
relación binaria, utilizando diferentes fuentes de información.

ejemplos de relaciones. Investigar otros tipos de representación


y discutirlas en grupos de trabajo.

relaciones: unión, intersección, complemento, inversa y


composición, resolver ejercicios en grupos de trabajo.

equivalencia, adquiera esta propiedad aplicando las cerraduras


reflexiva, simétrica y transitiva.

determinar el diagrama de Hasse de dicha relación.

equivalencia y un orden parcial, identificando sus coincidencias


y diferencias.

así como para determinar las características de estas


relaciones.

equivalencia y orden parcial en las ciencias computacionales.

respecto al concepto de relación.

1 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Especificación de Conjuntos
Un conjunto es una colección BIEN DEFINIDA de OBJETOS
llamados elementos o miembros del conjunto.

NOTA: la frase bien definida es de gran importancia, ya que nos determina si un


grupo de personas o una colección de objetos ES o NO un conjunto. Es decir, para
considerar a este, como un conjunto, no debe haber ambigüedad ni subjetividad.

Ejemplo 1:
a) La colección de pizarrones azules.
b) El grupo de alemanes entre 20 y 30 años
c) El grupo de los mejores maestros de la especialidad de
sistemas computacionales.
d) El grupo de alumnas más guapas de informática

Los conjuntos se indican por medio de letras MAYUSCULAS

Los elementos de un conjunto por medio de las letras


MINUSCULAS, NUMEROS o COMBINACION DE AMBOS

Los elementos se colocan entre { }, separados por comas.

2 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Ejemplo 2: El conjunto B tiene como elementos a las
letras de la palabra “mandarina” y éste se representa como:
La letra
B={m,a,n,d,a,r,i,n,a} minúscula
La letra
representa
B={m,a,n,d,r,i,}
mayúscula
representa el elemento
el conjunto de conjunto
B={n,r,a,i,m,d)
Como se observa:

1) En un conjunto se pueden eliminar los elementos repetidos,


2) El orden de los elementos no es importante.

Para determinar que un elemento x pertenece a un conjunto

C, se utiliza el símbolo Є
x ЄC x ЄC
Significa que x es elemento del Significa que x no es elemento
conjunto C del conjunto C

Ejemplo 3:
Sea el conjunto
A= {1,2,3,5,7,9}
Por lo tanto se tiene que
3ЄA y 6 ЄA

3 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
En ocasiones es imposible listar todos los elementos
que pertenecen a un conjunto entre llaves, entonces se
utiliza la NOTACION ABSTRACTA

A = {x | P(X)}
Se lee como A es el conjunto de las x, tal que
cumple con la condición (o condiciones) P(x)

Ejemplo 4:
Sea el conjunto B que tiene como elementos a todas las palabras
del idioma español que comienzan con la letra “e”. En este caso es
conveniente utilizar la notación ABSTRACTA

B= {x | x es una palabra del idioma español que comienza con “e”}

Por otro lado, sea el conjunto C que tiene como elementos a todos
los números reales comprendido entre el 2 y 3.En este caso
también es conveniente usar la notación ABSTRACTA ya que los
números reales daría un listado infinito de ellos.

C= {x | x es un número real entre 2 y 3}

C={x | x Є R; 2< x <3}

4 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
C={x | x Є R; 2< x <3}

Para este caso se observa que son dos las condiciones que tiene
que cumplir x para pertenecer al conjunto C:

1) x Є R Que x sea un número real.


2) 2< x <3 Que x esté entre 2 y 3.

Se utiliza el punto y coma (;) para separar cada una de las


condiciones que se deben satisfacer para que un elemento x
pertenezca a un conjunto dado.

En ocasiones en los textos aparecen a menudo algunos conjuntos,


para los que se usan símbolos especiales algunos de estos son:

Símbolos especiales
N= Conjunto de números naturales o enteros positivos:1,2,3,….

Z= conjunto de todos los enteros:….., -2, -1, 0, 1, 2,…..

Q= conjunto de números racionales….. a/b

R= conjunto de números reales….. todos los números que utilizamos, se divide en


racionales e irracionales

C= conjunto de números complejos….. 3i = 3 √-1


U= conjunto universo
Ø= conjunto vacío

5 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Elabora mostrando el procedimiento que llevó a cabo para lograr el
resultado de lo que se te pide:

Ejercicio #1
1) ¿Cuáles de los siguientes conjuntos son iguales {x,y,z}, {z,y,z,x},
{y,x,y,z}, {y,z,x,y,}?
2) Enumere los elementos de cada conjunto, considere según el
caso de que N= {1,2,3,…}.
a) A={x | x es una letra de la palabra hola}
b) B={x | x es un digito del número 103836}
c) C={x | x es una letra de la palabra “América”
diferente de vocal}
d) A={x Є N | 3 < x < 9}
e) B={x Є N | x es par, x < 12}
f) C={ x Є N | 4 + x = 3}
3) Escriba el conjunto en la forma notación abstracta {x|P(x)},
donde P(x) es una o varias propiedades comunes de los
elementos del conjunto.
a) A={suma, resta, multiplicación, división}
b) B={3,6,9,12,15,18}
c) D={América, áfrica, Europa, Asia, Oceanía}
d) E={do,re,mi,fa,sol,la,si}
e) G={1,4,7,10,13,16,19}
f) H={c,o,n,j,u,n,t}
g) K={6,12,18,24,30}

6 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Subconjuntos
Supongamos que todo elemento de un conjunto A también es un
elemento de un conjunto B.
Si todos los elementos de A también son elementos de B,
entonces se dice que A es subconjunto de B o A esta contenido
en B

se denota, si a Є A implica que también a Є B . Entonces se


dice que
A es un subconjunto de B.

También se dice que:


A B B A
A esta contenido en B B contiene a A
ó A es subconjunto de B

Dos conjuntos son iguales


si ambos tienen los mismos elementos o, equivalentemente, si
cada uno está contenido en el otro. Es decir:

A=B si y sólo si A By B A

Si A no es un subconjunto de B (porque al menos un elemento


de A no pertenece a B) se escribe: A B

7 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Ejemplo 5:
Sea el conjunto A= {rojo, azul, amarillo}
B= {azul, amarillo, rojo}
Entonces se tiene que A=B
Ya que A es subconjunto de B y B contiene a A

Conjunto UNIVERSO y conjunto VACIO.

TODOS LOS CONJUNTOS que se estudian en


cualquier aplicación de la teoría de conjuntos
pertenecen a un gran conjunto fijo llamado

UNIVERSO, que se denota por U


Dado un conjunto universo U y una propiedad P, en U puede no
haber elementos que tengan la propiedad P. Por lo tanto, a un
conjunto que NO TIENE ELEMENTOS se denomina

CONJUNTO VACIO, y se representa Ø

Un conjunto vacío Ø también se considera como un


subconjunto de cualquier otro conjunto. Por lo tanto, puede ser
representado de la siguiente forma:
Para cualquier conjunto A, se tiene
Ø A U

8 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Conjuntos Ajenos o disjuntos
Dos conjuntos A y B son ajenos o disjuntos, SI NO TIENEN
ELEMENTOS EN COMÚN.
Por ejemplo, supongamos:

A = {1, 2}, B= {4, 5, 6} y C= {5, 6, 7, 8}

Se observa que:

1) A y B son ajenos, No tienen elementos en


común
A y C también son ajenos.

Porque contienen
2) B y C no son ajenos elementos en común 5 y 6

3) Que si A y B son ajenos, entonces ninguno es un subconjunto


del otro (a menos que uno sea el conjunto vacío).

9 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Elabora mostrando el procedimiento que llevó a cabo para lograr el
resultado de lo que se te pide:

Ejercicio #2
1) Sea A={2,3,4,5}.
a) Demuestre que A no es un subconjunto de B={x | x Є N;x es par}.
b) Demuestre que A es un subconjunto propio de C={1,2,3,…..8,9}.

2) Sea C={12,15,45}

c) Demuestre que C es un subconjunto de B={2,3,5,11,12,15,21,30,45,82}


d) Demuestre que C es un subconjunto de A={x | x Є Z; 10 ≤ x ≤ 100}
e) Demuestre que A no es un subconjunto de C

10 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Diagramas de VENN
Un DIAGRAMA DE VENN es un gráfico donde los conjuntos se
representan con regiones encerradas en un plano.

El conjunto Universo (U) es el interior de un rectángulo y los


otros conjuntos se representan por círculos dentro del
rectángulo.

Ejemplo 6:
1) A es subconjunto de B; Si A B, entonces el circulo
que representa A esta dentro del circulo que representa a
B; porque el conjunto A es subconjunto de B (todos los
elementos de A están incluidos en el conjunto B)

B A

A B

11 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
2) Si A y B son ajenos, entonces el círculo que representa
A esta separado del círculo que representa a B.

B A

A y B son ajenos

3) Si A y B son dos conjuntos arbitrarios, es posible que


algunos elementos estén en A pero no en B; que otros estén
en B pero no en A; que algunos estén tanto en A como en B
y que otros no estén ni en A ni en B; por lo tanto en general
se representa como sigue:

A B

A y B son arbitrarios

12 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Ejemplo 7:

A C B

Algunas afirmaciones de este Diagrama de VENN son:

A B C U U A
B C B U U C
A C B A U B
C B C A

13 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Operaciones Y LEYES DE
CONJUNTOS
Así como se realizan operaciones entre números, también es
posible realizar entre conjuntos y estos se aplican en los temas
de las ciencias de la computación.

Las operaciones entre conjuntos se pueden representar por


medio de los diagramas de VENN, con la finalidad de observar
con claridad la relación entre conjuntos.

Unión (A B)

La unión del conjunto A y el conjunto B, es el conjunto que


contiene a todos los elementos del conjunto A del conjunto B.

A B ={x|x Є A ó x Є B}

La palabra “o” se usa en el sentido incluyente de y/o.

A B

AUB

14 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Intersección (A B)
La intersección de dos conjuntos A y B, es el conjunto de
los elementos que pertenecen tanto a A como a B; es decir.

A B ={x|x Є A y x Є B}

A B

A B

Recordar que los conjuntos A y B son disjuntos o ajenos si no


tienen elementos en común o, al aplicar la de definición de
intersección, si A B = Ø, el conjunto vacio.

Entonces S se denomina UNION DISJUNTA, o ajena, de A y B.

15 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Elabora mostrando el procedimiento que llevó a cabo para lograr el
resultado de lo que se te pide:

Ejercicio #3
a) Sea A= {1,2,3,4}, B={3,4,5,6,7}, C={2,3,8,9}; Representar por
medio de los diagramas de Venn lo siguiente:

1) A U B = 4) A B=
2) A U C = 5) A C=
3) B U C = 6) B C=

b) Sea U= {1,2,…..9} el conjunto universo y sea los siguientes


conjuntos donde A={1,2,3,4,5}, C={5,6,7,8,9}, E={2,4,6,8},
B={4,5,6,7}, D={1,3,5,7,9}, F={1,5,9}; Representar por medio de
los diagramas de Venn lo siguiente:

7) A U B y A B
8) A U C y A C
9) D U F y D F

c) Sea U el conjunto de estudiantes de una universidad, M el


conjunto de estudiantes varones y F el conjunto de estudiantes
mujeres. U es la unión disjunta de M y F. Representarlo por
medio de un diagrama de Venn.

16 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Complementos, diferencias y
diferencias simétricas
Recuerde que los conjuntos a considerar en un momento en
particular son subconjuntos de un conjunto universo fijo (U).

El complemento ABSOLUTO o, simplemente, el

complemento de un conjunto A, denotado por AC, es el


conjunto de elementos que pertenecen a U, pero que no
pertenecen a A . Es decir,

AC={x| x Є U, x Є A}
En algunos textos el complemento de A se denota por A’ o Ā. Su
representación en diagrama de Venn queda de la siguiente
manera:

Ac Está sombreado

17 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
El complemento RELATIVO de un conjunto B respecto de
un conjunto A o, simplemente, la diferencia de A y B, denotada
por A\B, es el conjunto de elementos que pertenecen a A pero
que no pertenecen a B; es decir,

A\B={x| x Є A, x Є B}
El conjunto de A\B se lee “A menos B”. En muchos textos el
complemento relativo A\B aparece como A – B o como A˜B. Su
representación en diagrama de Venn queda de la siguiente
manera:

A B

A\B Está sombreada

18 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
La Diferencia SIMETRICA de los conjuntos A y B,
denotada por A B, consta de los elementos que pertenecen a
A o a B pero no ambos; es decir,

A B=(A U B)\(A B) o A B=(A\B U B\A)


Su representación en diagrama de Venn queda de la siguiente
manera:

19 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Elabora mostrando el procedimiento que llevó a cabo para lograr el
resultado de lo que se te pide:

Ejercicio #4

Suponga que U=N={1,2,3….} es el conjunto universo. Sea los


conjuntos A={1,2,3,4}, B={3,4,5,6,7}, C={2,3,8,9}, E={2,4,6….10}
donde E es el conjunto de enteros pares. Entonces resolver lo
siguiente, representando el resultado por medio de diagramas de
Venn:

1) Ac= 9) E\C=

2) Bc= 10) C\B=

3) Ec= 11) A\E=

4) A\B= 12) E\A=

5) B\A= 13) A B=

6) A\C= 14) A C=

7) C\A= 15) B C=

8) B\C= 16) A E=

20 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Relaciones
Una relación puede las
considerarse como
correspondencias de unos elementos con respecto a
otros y se expresa de diferentes maneras una de las más
comunes es a través de una tabla, ejemplo:

X Y
0 0
2 4
4 16
6 36
8 64

Una RELACION es un conjunto de pares ordenados.

Se denota con R y se puede representar como:

R ={(0,0), (2,4), (4,16),(6,36),(8,64)}

21 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
RELACIÓN BINARIA.

Una relación binaria R de un conjunto X a un conjunto Y es un


subconjunto del producto cartesiano X y Y.

Por ejemplo un producto cartesiano:

Si tenemos dos conjuntos A y B, y tratamos de armar todos los pares posibles


formados por un elemento del conjunto A y un elemento del conjunto B,
obtendremos el producto cartesiano de los dos conjuntos. Se

escribe:

Podemos representarlo de diferentes


formas: diagramas de flechas,
diagramas arbolados, tablas y gráficos
cartesianos. Cada par que formemos con
un elemento de A y uno de B, en ese
orden, recibe el nombre de par
ordenado.

Relación de X,Y que PERTENECE a R

Si los pares XY pertenecen a R (X,Y) Є R, se escribe X R Y


(X relación Y) y se dice que X esta relacionado con Y.

22 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
¿Quién es el Dominio y contradominio de
una Relación de x,y ?

Dominio de R={0,2,4,6,8}
Contradominio R={0,4,16,36,64}

X Y
DOMINIO 0 0
2 4 CONTRADOMINIO

4 16
6 36
8 64

Para cada elemento del dominio debe haber su correspondiente


en el contradominio.

Una expresión puede expresarse también con una ley que la


defina ejemplo:

Sean los conjuntos:

X={2,3,4}
Y={3,4,5,6,7}

23 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Se define una relación R de X a Y por los pares (x,y) Є R. Si X
divide exactamente a Y, encuentre los pares de la relación
para todo elemento “x” perteneciente al conjunto X, y todo
elemento “y” perteneciente al conjunto Y. x Є X y y Є Y.

(2,3) (3,3) (4,3)


(2,4) (3,4) (4,4)
(2,5) (3,5) (4,5)
(2,6) (3,6) (4,6)
(2,7) (3,7) (4,7)

R= {(2,4), (2,6), (3,3), (3,6), (4,4)}

Ejemplo 8:
Sea R la relación en:

X={1,2,3,4} definida por pares (x,y) Є R. Si x ≤ y, y “x” y “y”


pertenecen al conjunto X. Encuentre los pares de la relación para
todo valor x ≤ y. X,Y Є X

X={1,2,3,4}
Y={1,2,3,4}

(1,1) (2,1) (3,1) (4,1)


(1,2) (2,2) (3,2) (4,2)
(1,3) (2,3) (3,3) (4,3)
(1,4) (2,4) (3,4) (4,4)

R= {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)}

24 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
En ocasiones se encontrara el símbolo xRy indica que (x,y) Є R.
se puede leer xRy en voz alta “ x se relaciona con y
mediante (la relación) R”, o si ya se sabe cuál es la relación
que se considera en el momento, se dice tan sólo “x se relaciona
con y”.

Representación gráfica
Una manera útil de representar una relación sobre un conjunto es
trazar su dígrafo (grafo).

Para trazar el dígrafo relación en un conjunto “x”, se marcan


primero puntos o vértices que representan los elementos de “x”,
a continuación, si el elemento (x,y) está en la relación, se traza
una flecha de x a y.

Ejemplo 9:
Trazar el dígrafo de la relación definida en el ejemplo anterior:

1 2

3 4

Lazo (Arcos dirigidos)

25 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Ejercicio clase:
X= {1,2,3,4}
Si R={(1,2),(2,2),(2,4),(3,2),(3,4),(4,1),(4,3)}

Trazar el dígrafo o grafo dirigido de la relación (R).

1 2

3 4

Si R={(2,2),(2,4),(3,4),(4,4),(4,1),(4,3)}

A=B={1,2,3,4,5}
Si R={(1,1),(1,3),(1,4),(2,1),(2,4),(2,5),(3,3),(3,4),(3,5),
(4,2),(4,4),(5,1),(5,3),(5,5)}

26 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
PROPIEDADES DE LAS
RELACIONES

RELACION Simétrica

Una relación R sobre un conjunto A se conoce como simétrica si


(x,y) Є R se tiene (y,x) Є R.

Si para toda (x,y) Є R se cumple x R y y R x, se dice


que R es simétrica. (si x=y, entonces y=x)

Por lo tanto, hay flechas de ida y vuelta en los


vértices en el dígrafo de la relación.

Ejemplo 10:
X={a,b,c,d}
R= {(a,a),(b,c),(c,b),(d,d)}

c
a

d
b

27 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
RELACIÓN Reflexiva.

Una relación R sobre un conjunto X recibe el nombre de


reflexiva.

Si para toda (x) Є R se cumple x R x, se dice que R es


reflexiva. (Cualquier entero es igual en si mismo)

Por lo tanto en un dígrafo hay flechas de tipo arco


dirigido en un vértice.

Ejemplo 11:

R= {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)}

1 2

4 3

28 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
RELACION Antisimétrica.

Una relación R sobre un conjunto A se llama antisimétrica.

Si para toda (x,y) Є A se cumple (x R y ^ y R x) x=y, se


dice que R es antisimétrica. (los elementos de x se
relacionan con todos los elementos de y)

Ejemplo 12:
(x,y) Є R, x≠(y,x)
R= {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)}

1 2

3 4

29 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
RELACION Transitiva.

Una relación R sobre un conjunto X se denomina transitiva si


para todo por (x,y), (y,z) Є R se tiene que el par (x,z) Є R.

Si para toda x,y,z Є X se cumple (x R y ^ y R z) xRz,


se dice que R es transitiva. (Forma un triangulo)

Ejemplo 13:
(x,y)(y,z) Є R, (x,z) Є R.

R= {(x,y),(y,z),(x,z)}
1,2 2,3 1,3

1 2

30 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
RELACION de Orden Parcial.
Una relación R en un conjunto x recibe el nombre de relación de
orden parcial, si R es Reflexiva, Antisimétrica y
Transitiva.

Ejemplo 14:

1 2

3 4

31 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Elabora mostrando el procedimiento que llevó a cabo para lograr el
resultado de lo que se te pide:

Ejercicio #5
1. Determine si cada relación definida sobre el conjunto de los
enteros positivos correspondientes e los ejercicios
siguientes, es reflexiva, simétrica, antisimétrica, transitiva o
de orden parcial:
a. (x,y) Є R, si x > y. R={1,2,3,4,5…n}
b. (x,y) Є R, si x ≥ y. R={1,2,3,4…n}

2. Para cada una de las siguientes relaciones definidas en el


conjunto {1,2,3,4,5}, determine si es reflexiva, simétrica,
antisimétrica y/o transitiva.
a. R={(1,1), (2,2), (3,3),(4,4),(5,5)}
b. R={(1,2), (2,3), (3,4),(4,5)}
c. R={(1,1), (1,2), (1,3),(1,4),(1,5)}
d. R={(1,1), (1,2), (2,1),(3,4),(4,3)}

32 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
RELACION de Equivalencia.

A manera de introducción, al avanzar en el estudio de


matemáticas discretas nos encontramos con diversas relaciones.

Algunas de ellas se parecen mucho a la relación de igualdad. Un


buen ejemplo, (tomado de la geometría) es una relación cuando
usamos es congruente con (≅) en el conjunto de los
triángulos. Hablando en general, los triángulos son congruentes
si tienen exactamente la misma forma. Los triángulos
congruentes no son iguales; podrían estar en distintas partes
del plano, pero en cierto sentido, funcionan como triángulos
iguales.

De las propiedades que se vieron con anterioridad, (es


congruente con) ≅ es reflexiva, simétrica y transitiva,
pero no antisimétrica. Las relaciones de esas tres propiedades
se parecen a la igualdad, y se les da un nombre especial.

Sea R una relación en un conjunto. Se dice que R es una relación


de equivalencia, siempre y cuando sea reflexiva, simétrica y
transitiva.

Reflexiva: xRx ó aRa (Cualquier entero es igual en si mismo)


Simétrica: Si x R y y R x, (si x=y entonces y=x)
Transitiva: Si (x R y ^ y R z) x R z, (Forma un triangulo)

33 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Una relación que es reflexiva, simétrica y transitiva en un
conjunto X, se conoce con el nombre de relación de
equivalencia sobre X.

1 2

SIMETRICA
REFLEXIVA

3 TRANSITIVA

34 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales
Elabora mostrando el procedimiento que llevó a cabo para lograr el
resultado de lo que se te pide:

Ejercicio #6
1.- ¿Cuáles de las siguientes son relaciones de equivalencia?

(a) R={(1,1), (1,2),(2,1),(2,2),(3,3)} en el conjunto {1,2,3}.


(b) R={(1,2), (2,3),(3,1)} en el conjunto {1,2,3}.
(c ) {(1,2,3) X (1,2,3)} en el conjunto {1,2,3}.
(d) {(1,2,3) X (1,2,3,4)} en el conjunto {1,2,3,4}.
(e) {(a,b,c,d) X (a,b,c)} en el conjunto {a,b,c,d}.
(f) a={1,2,3,4,5,6,7,8}, b={1,2,3,4,5}, donde (a,b) Є R,
si (a,b) =”numero par” .
(g) a={1,2,3,4,5}, b={1,2,3,4,5}, donde (a,b) Є R,
si (a,b) =”número impar” .

35 Matemáticas Discretas I Ingeniería en TIC’s


Elaborado por: M.C. Elizabeth Santiago Morales

También podría gustarte