Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tutor:
LUIS GERARDO ARGOTY
1
1. Con el conjuntos de la tabla:
G = {2,3,4,5,6}
Lo mismo para H:
H = {1,2,3,4,5,6}
G x H = {2,3,4,5,6} x {1,2,3,4,5,6}
G x H = {(2,1), (2,2), (2,3), (2,4), (2,5), (2,6), {(3,1), (3,2), (3,3),
(3,4), (3,5), (3,6), (4,1), (4,2), (4,3), (4,4), (4,5), (4,6), (5,1), (5,2),
(5,3), (5,4), (5,5), (5,6), {(6,1), (6,2), (6,3), (6,4), (6,5), (6,6),}
H x G = {1,2,3,4,5,6} x {2,3,4,5,6}
H x G = {(1,2), (1,3), (1,4), (1,5), (1,6), (2,2), (2,3), (2,4), (2,5),
(2,6) (3,2), (3,3), (4,4), (4,5), (4,6), (5,2), (5,3), (5,4), (5,5), (5,6),
(6,2), (6,3), (6,4), (6,5), (6,6)}
2
d. Realice la representación gráfica mediante un diagrama sagital.
R = G x G, a ≥ b entonces:
R = {(2,2), (3,2), (5,1), (5,2), (5,3), (5,5), (5,5), (7,1), (7,2), (7,3), (7,5), (7,7), (9,1), (9,2), (9,3),
(9,5), (9,7), (9,9)}
DIAGRAMA SAGITAL
3
R2 = {(1, 1), (1, 2), (2,1), (3,3), (4,4)}
R3 = {(1, 1), (1,2), (1, 4), (2,1), (2,2), (3,3), (4,1), (4,4), (5,5)}
R4 = {(2,1), (3,1), (3,2), (4,1), (4,2), (4,3)}
R5 = {(1,1), (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,3), (3,4), (4,4)}
R6 = {(1,1), (2,2), (2,3), (3,4), (4,5), (5,5), (6,6)}
4
De acuerdo a los valores obtenidos en la diagonal podemos concluir que es antisimétrica,
ya que posee ceros y unos, también que se cumple que en algunos casos, en las coordenadas
de la relación existe (a,b) pero no existe (b,a).
R3 = {(1, 1), (1,2), (1, 4), (2,1), (2,2), (3,3), (4,1), (4,4), (5,5)}
La relación en este caso no es asimétrica, ya que para que se cumpla este caso ningún
elemento puede estar relacionado consigo mismo, tampoco antisimétrica, ya que en la
diagonal no hay unos ni ceros.
R5 = {(1,1), (1,2), (1,3), (1,4), (2,2), (2,3), (2,4), (3,3), (3,4), (4,4)}
La relación en este caso no es asimétrica, ya que para que se cumpla este caso ningún
elemento puede estar relacionado consigo mismo, tampoco antisimétrica, ya que en la
diagonal no hay unos ni ceros.
6
R6 = {(1,1), (2,2), (2,3), (3,4), (4,5), (5,5), (6,6)}
7
4. Determine si R es o no relación de equivalencia sobre el conjunto dado.
De acuerdo con la información del literal D, la relación es reflexiva, ya que todos los
elementos del conjunto se relacionan con ellos mismos: (1,1), (2,2), (3,3), (4,4), (5,5),
(6,6).
la relación es simétrica, ya que se cumple aRb y bRa.
Ahora evaluamos si D = {1,2,3,4,5,6} es transitiva para R = {(1,1), (1,5), (2,2), (2,3), (2,6),
(3,2), (3,3), (3,6), (4,4), (5,5), (6,2), (6,3), (6,6)}
(1,1) y (1,5) se concluye que (1,5)
(1,5) y (5,5) se concluye que (1,5)
(2,2) y (2,3) se concluye que (2,3)
(2,3) y (3,2) se concluye que (2,2)
(2,6) y (6,2) se concluye que (2,2)
(3,2) y (2,2) se concluye que (3,2)
(3,3) y (3,2) se concluye que (3,2)
(3,6) y (6,2) se concluye que (3,2)
(4,4) y (4,4) se concluye que (4,4)
(5,5) y (5,5) se concluye que (5,5)
(6,2) y (2,2) se concluye que (6,2)
(6,3) y (3,2) se concluye que (6,2)
(6,6) y (6,2) se concluye que (6,2)
Al cumplirse todas estas condiciones, obtenemos que es transitiva, por lo tanto, se cumplen
que R es reflexiva, simétrica y transitiva, por lo que hay una relación de equivalencia
sobre el conjunto dado.
8
REFERENCIAS BIBLIOGRÁFICAS
- Ferrando, J., & Gregori, V. (2012). Teoría de conjuntos. Matemática discreta (2a.
ed.). (pp. 33-39).
https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/46722
- Ferrando, J., & Gregori, V. (2012). Relación binaria de orden. Matemática discreta
(2a. ed.). (pp. 45-48).
https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/46722 -
- Ferrando, J., & Gregori, V. (2012). Aplicaciones. Matemática discreta (2a. ed.). (pp.
48-53). https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/46722