Capı́tulo 2

Relaciones binarias

Dados dos elementos a y b el par ordenado (a, b) es el elemento que tiene como primera
coordenada a y como segunda coordenada b.

Definición 2.1 Se llama producto cartesiano de los conjuntos A y B al conjunto A × B formado

por todos los pares ordenados (a, b) donde a ∈ A y b ∈ B. Es decir,

A × B = {(a, b) : a ∈ A y b ∈ B}.

Si A = B se escribe A2 = A × A.

Definición 2.2 Una relación binaria R en un conjunto A es cualquier subconjunto del producto
cartesiano A × A, esto es, R ⊂ A × A.

Si un elemento (a, b) ∈ R escribiremos aRb. A continuación, enumeramos algunos ejemplos

sencillos de relaciones binarias.

1. (N, ≤)

2. En N, aRb si a divide a b.

3. En Z, aRb si existe n ∈ Z tal que a − b = 5n (relación de congruencia módulo 5).

4. Dado un conjunto A, en P(A) la inclusión ⊂ es una relación binaria.

Definición 2.3 Sea R una relación binaria en un conjunto A. Diremos que R es:

1. Reflexiva si xRx, ∀x ∈ A.

2. Simétrica si dados x, y ∈ A, xRy implica yRx.

3. Antisimétrica si dados x, y ∈ A tales que xRy e yRx entonces x = y.

4. Transitiva si dados x, y, z ∈ A tales que xRy e yRz entonces xRz.

5. Completa o total si ∀x, y ∈ A o bien xRy o bien yRx. En caso contrario la relación se
llama parcial.
14 Capı́tulo 2. Relaciones binarias

Definición 2.4 Una relación binaria R en un conjunto A es una relación de equivalencia si veri-
fica las propiedades reflexiva, simétrica y transitiva.
Una relación binaria R en un conjunto A es una relación de orden si verifica las propiedades
reflexiva, antisimétrica y transitiva.
Una relación binaria R en un conjunto A es una relación de preferencias si verifica las pro-
piedades reflexiva y transitiva y, además, es completa.

1. (N, ≤) es una relación de orden total.

2. En N, aRb si a divide a b, es una relación de orden parcial.

3. En Z, aRb si existe n ∈ Z tal que a − b = 5n (relación de congruencia módulo 5), es una

relación de equivalencia.

4. Dado un conjunto A, en P(A) la inclusión ⊂ es una relación de orden parcial.

2.1 Relaciones de equivalencia

Una relación de equivalencia R en un conjunto A da lugar a una partición de A, o sea, una
división de A en subconjuntos disjuntos llamados clases de equivalencia. En concreto, dado a ∈
A, el conjunto [a] = {b ∈ A : bRa} se denomina la clase de equivalencia de a. Se verifica que:

1. A = [a], todos los elementos de A pertenecen a alguna clase de equivalencia.
a∈A

2. Si b
∈ [a] entonces [b] ∩ [a] = ∅, esto es, las clases de equivalencia son disjuntas.

El conjunto formado por todas las clases de equivalencia se denomina el conjunto cociente y
se denota por A/R.

2.2 Relaciones de orden

Una relación de orden como su nombre indica ordena los elementos de un conjunto, en una
sola cadena si es total o en varias si es parcial. Sean (X, ≤) un conjunto ordenado y A ⊂ X.

Definición 2.5 Un elemento s ∈ X es una cota superior del conjunto A si a ≤ s, ∀a ∈ A. Un

elemento i ∈ X es una cota inferior del conjunto A si i ≤ a, ∀a ∈ A. Diremos que A está
acotado superiormente (inferiormente) si existe una cota superior (inferior) de A. El conjunto A
está acotado si lo está superior e inferiormente, es decir, si existen i, s ∈ X tales que i ≤ a ≤ s,
∀a ∈ A.

Definición 2.6 Sea A ⊂ X un conjunto acotado superiormente. La más pequeña de las cotas
superiores, si existe, se denomina el supremo del conjunto A. Sea A ⊂ X un conjunto acotado
inferiormente. La más grande de las cotas inferiores, si existe, se denomina el ı́nfimo del conjunto
A.
Un elemento m ∈ A es el máximo de A si a ≤ m, ∀a ∈ A. Un elemento n ∈ A es el mı́nimo
de A si n ≤ a, ∀a ∈ A.
2.3 Relaciones de preferencias. Elección social 15

Naturalmente, el máximo y el mı́nimo, si existen son únicos. Además, si existe el máximo

(mı́nimo) del conjunto A entonces coincide con el supremo (ı́nfimo) de A. Recı́procamente,
si existe el supremo (ı́nfimo) de A y además pertenece al conjunto A entonces es el máximo
(mı́nimo).

Definición 2.7 Un elemento f ∈ A es un elemento maximal de A si dado a ∈ A tal que f ≤ a

entonces f = a. Un elemento h ∈ A es un elemento minimal de A si dado a ∈ A tal que a ≤ h
entonces h = a.

Si existe el mı́nimo (máximo) del conjunto A entonces será el único elemento minimal (maxi-
mal) de A. Todo conjunto finito tiene algún elemento maximal y algún elemento minimal.

2.3 Relaciones de preferencias. Elección social

Una relación de preferencias representa los gustos de un consumidor acerca de los elementos
de un conjunto de alternativas. La teorı́a de la elección social trata sobre la toma de decisiones
colectivas a partir de las preferencias de los individuos que conforman una sociedad. Denotemos
por X el conjunto de alternativas sociales y sea N = {1, . . . , n} el conjunto de agentes con
preferencias R1 , . . . , Rn . La teorı́a de la elección social estudia el proceso de agregación de las
preferencias individuales en una preferencia social. Un proceso de agregación social asigna a cada
estado de opinión (R1 , . . . , Rn ) una relación binaria social R en X. Citemos algunas propiedades
deseables de estos procesos:

1. Función de bienestar social: Si Rj es una relación de preferencias ∀j ∈ N entonces R es

una relación de preferencias.

2. Dominio universal: Cualquier preferencia individual es legı́tima.

3. Principio de Pareto: Si hay unanimidad en preferir una alternativa A a otra B entonces la

relación social R debe preferir A a B.

4. Independencia entre alternativas irrelevantes: La ordenación social entre dos alternativas

sólo depende de las ordenaciones individuales de estas y no de la forma en que los individuos
ordenen otras.

Teorema 2.8 (de imposibilidad de Arrow) Las únicas funciones de bienestar social que verifi-
can las propiedades de dominio universal, Pareto e independencia entre alternativas irrelevantes
son las dictatoriales.

En muchos casos, la dificultad en el proceso de agregación radica en determinar qué alternati-

vas sitúa la preferencia social en, por ejemplo, tercer y cuarto lugar. Un objetivo natural, entonces,
no es plantearse obtener como resultado del proceso de agregación una ordenación completa de
las alternativas sino determinar directamente cuál de ellas será la elegida.

Definición 2.9 Dado un conjunto de alternativas sociales, una función de decisión social asigna
a cada estado de opinión una y sólo una de las alternativas sociales.
16 Capı́tulo 2. Relaciones binarias

La mayorı́a de los métodos de votación constituyen ejemplos de funciones de decisión social.

Naturalmente, cada individuo, al darse cuenta de que las decisiones colectivas se basan en parte
en sus opiniones particulares, podrı́a intentar deformar su opinión si con ello obtuviera decisiones
sociales más favorables a su verdadero punto de vista. Supongamos que, conociendo la función de
decisión social e independientemente de las preferencias de los demás, cada individuo se cerciora
de que declarar preferencias falsas sólo puede perjudicarle; o sea, decir la verdad es una estrategia
dominante para todos los individuos. Una función de decisión social con esta propiedad se llama
no manipulable.

Teorema 2.10 (de Gibbard y Satterthwaite) Una función de decisión social cuyo rango tenga
al menos tres alternativas es no manipulable si y sólo si es dictatorial (elige la mejor alternativa
de un individuo predeterminado).