Relaciones Binarias

Par Ordenado:

En matemáticas, un par ordenado es una pareja de objetos

matemáticos, en la que se distingue un primer elemento y un segundo
elemento. El par ordenado cuyo primer elemento es a y cuyo segundo
elemento es b se denota como (a, b).

Pares Ordenado Iguales:

Dos pares ordenados (a, b) y (c, d) son iguales si y sólo si coinciden

su primer y segundo elemento respectivamente:

Producto cartesiano:

Dados dos conjuntos X e Y, la colección de todos los pares ordenados

(x, y), formados con un primer elemento en X y un segundo elemento
en Y, se denomina el producto cartesiano de X e Y, y se denota X × Y.
El producto cartesiano de conjuntos permite definir relaciones y
funciones.
En matemáticas, una relación binaria es una relación matemática
definida entre los elementos de dos conjuntos A y B. Una relación R
de A en B se puede representar mediante pares ordenados (a; b) para
los cuales se cumple una propiedad P(a; b), de forma que (a; b) Є
AxB, y se denota:

R = {(a; b); a Є A y b Є B y P (a; b) = cierto}

Dominio y rango de una relación Binaria:

Consideremos una relación R de A en B; es decir que R c A x B,

entonces se define:

DR = {a Є A / Ǝ b Є B y (a; b) Є R};

RR = {b Є B / Ǝ a Є A y (a; b) Є R}

Determinación de una Relación Binaria:

Teniendo en cuenta que una relación es un conjunto de pares
ordenados, entonces a una relación determinaremos por extensión y
comprensión.

Relaciones binarias homogéneas

En una relación binaria homogénea, la transitividad, determina la

posible relación de un elemento con un segundo, la de este segundo
con un tercero y la del primero con el tercero, en todos los casos,
nunca o a veces.

Propiedades de la relación binaria:

a) Reflexiva: una relación R en A, diremos que es reflexiva si (a, a) Ꞓ

R, para todo a Ꞓ A, es decir:

R es reflexiva en A sss para todo a Ꞓ A, (a, a) Ꞓ R.

b) Simétrica: una relación R en A, diremos que es simétrica si (a, b) Ꞓ

R, implica que (b, a) Ꞓ A, es decir:
R es simétrica sss para todo (a, b) Ꞓ R, entonces (b, a) Ꞓ R .

c) Transitiva: una relación R en A, diremos que es transitiva si (a, b) Ꞓ

R, y (b, c) Ꞓ R, implica que (a, c) Ꞓ R, es decir:

R es transitiva sss para todo a, b y c Ꞓ A, [(a, b) Ꞓ R y (b, c) Ꞓ R

entonces (a, c) Ꞓ R]

d) Antisimétrica: una relación R en A, diremos que es antisimétrica si:

Para todo a, b Ꞓ A, (a, b) Ꞓ R y (b, a) Ꞓ R, implica que a = b, es

decir:

R es antisimétrica sss para todo a, b Ꞓ A, [(a, b) Ꞓ R y (b, a) Ꞓ R

entonces a = b]

e) Equivalencia: una relación R en A, diremos que es de

equivalencia, si es reflexiva, simétrica y transitiva.

Relación Inversa:
Si R c A x B es una relación de A en B; entonces a la relación inversa
de R lo denotaremos por R-1 y definida por:

R-1 = {(y; x) Є B x A / (x; y) Є R}

Grafica de una relación de R en R:

Es el conjunto de puntos P(x; y) cuyas coordenadas satisfagan a dicha
relación, teniendo en cuenta:

E (x, y) = 0; v E (x; y) < 0; v E (x; y) > 0, v E (x; y) ≤ 0; v E (x; y) ≥ 0

Discusión de la Gráfica de una relación:

Para: E (x, y) = 0

 ∩ con ejes coordenados:

 - ∩ eje X  y = 0, en E(x; y) = 0, luego E(x; 0) = 0
E (x; y) ∩ X = {(x; y) Є R2 / y = 0} = P

- ∩ eje Y  x = 0, en E(x; y) = 0, luego E(0; y) = 0

E (x; y) ∩ Y = {(x; y) Є R2 / x = 0} = Q

 Simetría con ejes coordenadas:

- Respecto X, si E (x; y) = E (x; -y)
- Respecto Y, si E (x; y) = E (-x; y)
- Respecto al origen, si E (x; y) = E (-x; -y) existe

 Extensión de la curva:
- Se halla el dominio y rango de la relación.

 Determinación de las ecuaciones asíntotas :

- A. Verticales:

Si x = a es A.V. de E (x; y) = 0, despejamos Y en E (x; y) = 0;

es decir
y = f(x)/g(x), luego g(x) = 0.

- A. Horizontales:

Si y = b es A.H. de E (x; y) = 0, despejamos X en E (x; y) = 0; es

decir
x = f(y)/g(y), luego g(y) = 0.

 Tabulación:

- Calcular un número determinado de pares ordenados a partir

de E (x, y) = 0.

 Trazado de la curva:

- Mapeo de los pares ordenados