RELACIONES BINARIAS

1.1 PAR ORDENADO Y PRODUCTO CARTESIANO

1.1.1 PAR ORDENADO: Dados dos elementos a y b interesa formar un conjunto que depende de dichos elementos y
del orden en que se consideran.
Un par ordenado (a, b) es el conjunto cuyos elementos son: {a} y {a, b}; es decir:
(a, b) = { {a}, {a, b} }
a y b son el primero y segundo componente del par ordenado. En particular se tiene:
(a, a) = { {a}, {a, a} } = { {a} }
Si a ≠ b, entonces (a, b) ≠ (b, a)

TEOREMA: Dos pares ordenados son iguales si y solo si tienen sus componentes respectivamente iguales. Es decir:
(a, b) = (c, d)  a = c  b = d
Ejemplo:
Hallar m2 + n2 si: (m – n, -2) = (4, m + n)
m–n=4
Aplicando el Teorema anterior se tiene que:
m + n = -2
Sumando estas dos expresiones, miembro a miembro se obtiene que m = 1. Luego reemplazamos en la primera
ecuación da lugar a que n = -3

Por lo tanto: m2 + n2 = (1)2 + (-3)2 = 1 + 9 = 10

1.1.2 PRODUCTO CARTESIANO: El producto cartesiano de dos conjuntos no vacíos A y B como aquel conjunto cuyos
elementos son todos los pares ordenados cuyas primeras componentes pertenecen a A y la segunda a B.
Esto es: A x B = {(a, b)/a ϵ A  b ϵ B}
En particular: A x A = A2 = {(a, b)/a ϵ A  b ϵ A}

1.2 DOMINIO, RANGO Y GRÁFICA DE UNA RELACIÓN