UNIVERSIDAD SURCOLOMBIANA

FACULTAD DE EDUCACIN
LICENCIATURA EN MATEMTICAS
SEMINARIO DE INVESTIGACIN
2013

ALGUNOS ASPECTOS A TENER EN CUENTA PARA UNA

BUENA DIDCTICA DE LA GEOMETRA

PRESENTADO: POR FRANCISCO JAVIER NARVEZ

CODIGO: 2010295515

23. Sea R = {(0, 0) , (0, 1) , (1, 2) , (2, 3)} una relacin de A = {(0) , (1) , (2)} a B = {(0) , (1) , (2) , (3)}.

1
Halle R1 . Compare dominio de R1 y conjunto de valores de R. Halle R1
Por definicin de relacin inversa tenemos:
R1 = {x A y B| (y, x)} Entonces la relacin inversa es:
R1 = {(0, 0) , (1, 0) , (2, 1) , (3, 2)}
Comparemos el Dominio de la relacin con el dominio de la relacin inversa:
DR = {0, 1, 2} y DR1 = {0, 1, 2, 3}
El dominio de R es el conjunto A y el dominio de R1 es el conjunto B.
De nuevo R1

1

= (0, 0) , (0, 1) , (1, 2) , (1, 3) :

25. Si E = {1, 2, 3, 4, 5} y R1 = {(x, y) E E : x = y + 1}, R2 = {(y, z) E E : x = y + z = 2k, k Z},

R3 = {(z, t) E E : z > t}
Partimos del conjunto E = {1, 2, 3, 4, 5} y vamos a hallar primero R1 , R2 y R3 :
R1 = {(2, 1) , (3, 2) (4, 3) , (5, 4)}.
R2 = {(1, 1) , (1, 3) (1, 5, ) , (3, 1) , (2, 2) , (2, 4) , (3, 3) , (3, 5) , (4, 2) , (4, 4) , (5, 1) , (5, 3) , (5, 5)}.
R3 = {(5, 4) , (5, 3) , (5, 2) , (5, 1) , (4, 3) , (4, 2) , (4, 1) , (3, 1) , (3, 1) , (2, 1)}.
Ahora hallemos R1 R2 R3 :
R1 R2 R3 = R1 (R2 R3 ).

R2 R3 = {(5, 2) , (5, 4) , (5, 3) , (5, 5) , (5, 1) , (4, 3) , (4, 5) , (4, 2) , (4, 4) , (4, 1) , (3, 2) , (3, 4) , (3, 1) , (3, 3) , (2, 1) , (2, 3) , (3, 5) , (
R1 R2 R3 = {(5, 1) , (5, 3) , (5, 4) , (5, 2) , (4, 2) , (4, 4) , (4, 1) , (4, 3) , (3, 1) , (3, 3) , (3, 2) , (2, 2) , (3, 4) , (2, 4)}
Ahora hallamos R11 , R21 y R31 :
R1 1 = {(1, 2) , (2, 3) , (3, 4) , (4, 5)}
R2 1 = {(1, 1) , (1, 3) (1, 5, ) , (3, 1) , (2, 2) , (2, 4) , (3, 3) , (3, 5) , (4, 2) , (4, 4) , (5, 1) , (5, 3) , (5, 5)}.
R3 1 = {(4, 5) , (3, 5) , (2, 5) , (1, 5) , (3, 4) , (2, 4) , (1, 4) , (1, 3) , (1, 2) , (2, 3)}
Y por ultimo R11 R21 R31 :


R1 1 R2 1 R3 1 = R1 1 R2 1 R3 1 .

R2 1 R3 1 = {(1, 2) , (1, 4) , (1, 5) , (1, 1) , (2, 1) , (2, 3) , (2, 5) , (2, 2) , (2, 4) , (3, 2) , (3, 4) , (3, 1) , (3, 3) , (3, 5) , (4, 1) , (4, 3) , (4
R11 R2 1 R3 1 = {(1, 3) , (1, 4) , (1, 5) , (1, 1) , (2, 1) , (2, 2) , (2, 5) , (2, 4) , (3, 3) , (3, 5) , (3, 2) , (3, 4) , (4, 2) , (4, 4)}
36. Sea A = {0, 1, 2, 3} y c una particin: C = {{0, 1} , {2} , {3}} una particin de A. Muestre que
esa particin C induce la relacin: R = {(0, 0) , (1, 1) , (0, 1) , (1, 0) , (2, 2) , (3, 3)} y que R es una relacin
de equivalencia.
Por definicin, si C es la coleccin de subconjuntos de A tal que {0, 1}{2}{3} = , y {0, 1}{2}{3} =
{0, 1, 2, 3} = A, entonces la relacin R definida:

a, b A|aRb D C|a, b D R = {(0, 1) , (1, 0) , (0, 0) , (2, 2) , (3, 3) ,}

Es una relacin de equivalencia. aun as probemos que es de equivalencia:
a) R es reflexiva: 0R0, 1R1, 2R2, 3R3.
b) R es simtrica: 0R1 y 1R0.
c) R es transitiva: si 0R1 y 1R0 0R0, si 1R0 y 0R1 1R1
8. La relacin R definida sobre C esta definida de la siguiente forma z1 Rz2 |z1 | = |z2 |
a) Demostrar que R es una relacin de equivalencia:
R es reflexiva: aRa |a| = |a|, como a = a |a| = |a|
R es simetrica: aaRb bRa, como |a| = |b| |b| R |a|