I.E.

M MARIA GORETTI
MARIA ALEJANDRA MAFLA SEPULVEDA
GRADO 11-2
PC 18

RELACIONES

MARIA ALEJANDRA MAFLA SEPÚLVEDA

SAN JUAN DE PASTO

INSTITUCIÓN EDUCATIVA MUNICIPAL MARIA GORETTI

JUNIO, 21 DE 2010

AULA DE TECNOLOGÍA E IFORMATICA

I.E.M MARIA GORETTI
MARIA ALEJANDRA MAFLA SEPULVEDA
GRADO 11-2
PC 18

RELACIONES

MARIA ALEJANDRA MAFLA SEPÚLVEDA

CURSO 11-2

TRABAJO PRESENTADO A LA PROFESORA:

ROCIO PAREDES

SAN JUAN DE PASTO

INSTITUCIÓN EDICATIVA MUNICIPAL MARIA GORETTI

JUNIO 21 DE 2010

AULA DE TECNOLOGÍA E IFORMATICA

I.E.M MARIA GORETTI
MARIA ALEJANDRA MAFLA SEPULVEDA
GRADO 11-2
PC 18

RELACIONES

Definición. Una relación es un conjunto de parejas ordenadas.

Si A y B son dos conjuntos cualesquiera, R es una relación de A en B
sí y sólo sí R es subconjunto de A x B.
Si R ⊂ A x A se dice que R es una relación de A en A o simplemente
una relación en A.
0 y A x B son relaciones de A en B, puesto que 0 ⊂ A x B y A x B ⊂ A
x B. Si (x,y) ∈ R se escribe x R y y se lee "x está en relación con y".

Dominio de una Relación.

Definición. Sea R una relación. Se llama Dominio de R y se denota

por D(R) al conjunto formado por todas las primeras componentes de
las parejas ordenadas que pertenecen a R. Por lo tanto:
D(R) = { x / (∃ y) (x, y) ∈ R}

En consecuencia,

x ∈ D(R) ⇔ (∃ y)((x, y) ∈ R).

x ∉ D(R) ⇔ (∀ y)((x, y) ∉ R).

Rango de una Relación.

Definición. Sea R una relación. Se llama Rango de R y se denota por

γ (R) al conjunto formado por todas las segundas componentes de las
parejas ordenadas que pertenecen a R. Por lo tanto:

γ (R) = { y / (∃ x) (x, y) ∈ R}

En consecuencia,

AULA DE TECNOLOGÍA E IFORMATICA

I.E.M MARIA GORETTI
MARIA ALEJANDRA MAFLA SEPULVEDA
GRADO 11-2
PC 18

y ∈ γ (R) ⇔ (∃ x)((x, y) ∈ R).

y ∉ γ (R) ⇔ (∀ x)((x, y) ∉ R).

Relación inversa. Definición. Sea R una relación. Entonces la

relación {(y, x) / (x, y) ∈ R} se denomina relación inversa y se
−
denota R 1. En consecuencia,

−
• (y, x) ∈ R 1 ⇔ (x, y) ∈ R.
−
• (y, x) ∉ R 1 ⇔ (x, y) ∉ R.
−
• Si R es una relación de A en B, entonces R 1 es una relación de
B en A.

Relación Idéntica.

Definición. Sea A un conjunto. La relación dada por: {(x, y) / x ∈ A ∧

y = x} se denomina relación idéntica en A y se designa Ι A:
En consecuencia:
(x, y) ∈ Ι A ⇔ x ∈ A ∧ y = x.
(x, y) ∉ Ι A ⇔ x ∉ A ∨ y ≠ x.

Relación reflexiva en un conjunto.

Definición. R es una relación reflexiva en un conjunto A sí y sólo sí R
es una relación en A y todo elemento de A está relacionado con sigo
mismo. Es decir R es reflexiva en A si y sólo sí,

R ⊂ A x A ∧(∀ x ∈ A) ((x, x) ∈ R).

R no es reflexiva en A si y sólo si,

R ⊄ A x B ∨(∃ x ∈ A) ((x, x) ∉ R).

Relación simétrica en un conjunto.

AULA DE TECNOLOGÍA E IFORMATICA

I.E.M MARIA GORETTI
MARIA ALEJANDRA MAFLA SEPULVEDA
GRADO 11-2
PC 18

Definición. R es una relación simétrica en A sí y sólo sí R es relación

en A y cualesquiera sean los elementos x,y de A se verifica que si x R
y entonces y R x. En consecuencia:

• R es simétrica en A ⇔ R ⊂ A x A ∧ (∀ x)(∀ y) ( x R y ⇒ y R x).

• R no es simétrica en A ⇔ R ⊄ A x A ∨ (∃ x)(∃ y) (x R y ∧ y x).

Relación antisimétrica en un conjunto.

Definición. R es una relación antisimétrica en A sí y sólo sí R es una

relación en A y cualesquiera que sean x,y de A se verifica que:

Sí x R y ∧ y R x entonces x = y.

En consecuencia:

• R es antisimétrica en A equivale a decir:

R ⊂ A x A ∧ (∀ x)(∀ y) ( x R y ∧ y R x ⇒ x = y)

• R no es antisimétrica en A equivale a decir:

R ⊄ A x A ∨ (∃ x)(∃ y) ( x R y ∧ y R x ∧ x ≠ y)

Relación transitiva. R es una relación transitiva en A sí y sólo sí R

es una relación en A y cualquiera sean x, y, z pertenecientes a A se
verifica que:

Sí x R y ∧ y R z, entonces x R z.

AULA DE TECNOLOGÍA E IFORMATICA

I.E.M MARIA GORETTI
MARIA ALEJANDRA MAFLA SEPULVEDA
GRADO 11-2
PC 18

WEBGRAFIA

http://docencia.udea.edu.co/SistemasDiscretos/contenido/relaciones.
html

AULA DE TECNOLOGÍA E IFORMATICA