Código: GCO-FR-03

VersiónGCO-FR-03
Código: 6
Versión 7
MATEMATICAS DISCRETAS
RELACIONES
 Relaciones - Generalidades
Definición: Las relaciones binarias son conjuntos de pares.

Representación:
- Métodos gráficos.
- Matrices (operaciones matemáticas).
- Métodos para representar conjuntos.

“El predicado” es el enlace de los componentes de una relación.

Definición formal: Sean A y B dos conjuntos. Una relación de A en B es cualquier

conjunto de pares (x, y), x ∈ A e y ∈ B. Si (x, y) ∈ R, diremos que x es
R-relacionado con y. Para expresar que R es una relación de A en B, escribimos R :
A ⇔ B.
 Relaciones - Generalidades

El producto cartesiano A x B, se define como el conjunto de todos los pares (x, y), x ∈
A, y ∈ B. Por consiguiente una relación R: A ⇔ B es siempre un subconjunto de A x
B. De hecho A x B es en si misma una relación, la relación universal. La relación
universal contiene todos los pares posibles. El opuesto de la relación universal es la
relación vacía, que no contiene ningún par.

Notación:
- Lista: enumera todos los elementos de la relación.
- Tabular: mediante tabla de filas y columnas
- Matriz: una tabla sin encabezados es una matriz, denotada como: MR.
- Gráfica: círculos correspondientes a nodos y rectas que los unen: arcos.
 Relaciones - Generalidades

Definición: Todo “predicado” define una relación. Recíprocamente, toda relación R define
un predicado. Específicamente, si (x, y) es un par, se puede definir un predicado PR para
cada relación R que es verdadera si (x, y) ∈ R y falsa en caso contrario. Este predicado
suele expresarse como xRy:
xRy ≡ (x, y) ∈ R

Definición: Sea R una relación de X a Y. El dominio de R, abreviado por dom R, es el

conjunto de todos los elementos x ∈ X que aparecen en, al menos, un par (x, y) ∈ R.
Esto puede expresarse como:
dom R = {x | ∃y((x, y) ∈ R)}
 Relaciones - Generalidades

Definición: El rango de R, que se abrevia como ran R, es el conjunto de todos los

elementos y ∈ Y que aparecen en, al menos, un par (x, y) ∈ R. Esto puede expresarse
como:
ran R = {y | ∃x((x, y) ∈ R)}

El dominio consta de todos los orígenes y el rango de todos los destinos, en una
representación de grafo de una relación.

Definición: Sea A un conjunto y sea R una relación de A en A. Entonces R se dice que es

una relación sobre A.
 Relaciones - Generalidades

Definición: Si R : X ⇔ Y es una relación, entonces la relación inversa R~: Y ⇔ X se

define como {(y, x) | ((x, y) ∈ R}. Por consiguiente xRy ≡ y R~x.

Todas las operaciones de conjuntos pueden aplicarse a las relaciones. Los conjuntos
resultantes contienen pares ordenados y son, por tanto, relaciones.

Cualquier incremento en el espacio de dominio o en el espacio de rango se denomina

una extensión.

Cualquier reducción del espacio de dominio y el espacio de rango se denomina una

restricción.
 Relaciones - Propiedades

Definición: Una relación binaria R sobre X es reflexiva si, para cada x ∈ X, el par (x, x)
está en la relación. Por consiguiente,
R es reflexiva ≡ ∀x (xRx)

Definición: Una relación R sobre X es no reflexiva si, para cada x ∈ X, el par (x, x) ∉ R.
En otras palabras, no existe x ∈ X, tal que xRx.

Definición: Una relación R sobre un conjunto X es simétrica si, para todo x e y

perteneciente a X, xRy implica yRx. Por consiguiente,
R es simétrica ≡ ∀x ∀y (xRy ⇒ yRx )
 Relaciones - Propiedades

Definición: Una relación R sobre X es antisimétrica si, para todo y ≠ x, xRy excluye a
yRx. En otras palabras, si se alcanzan xRy e yRx, entonces x = y. Por consiguiente,

R es antisimétrica ≡ ∀x ∀y (xRy ˄ yRx ⇒ x = y)

Definición: Una relación R sobre X es transitiva si, para todo x, y, z en X, siempre que
xRy e yRz, entonces xRz. Esto es,

R es transitiva ≡ ∀x ∀y ∀x (xRy ˄ yRz ⇒ xRz)

Definición: Una relación R es una relación de equivalencia si y solo si es reflexiva,

simétrica y transitiva.
IE Guillermo Carvajal Rincón Msc
Ingeniería Electrónica