Cap2

Páginas: 41 (10099 palabras) Publicado: 29 de junio de 2015
Cap´ıtulo 2
Relaciones y Funciones
2.1.

Producto Cartesiano

Definici´
on
El producto cartesiano de A y B, se define por
A × B = {(a, b)/a ∈ A ∧ b ∈ B}
A y B conjuntos dados , A × B se lee A cruz B
(a, b) es un par ordenado, recuerde que a es el primer elemento del par y b es
el segundo, en consecuencia (a, b) = (b, a)

umero de elementos
Sea m el n´
umero de elementos de A (es decir sucardinalidad) y n el n´
umero
de elementos de B, entonces mn es el n´
umero de elementos de los productos
A×B y B×A
Gr´
afico
Como los elementos de A × B son pares ordenados se acostumbra graficar
dicho conjunto en un sistema de coordenadas rectangulares, es decir

32

Luis Zegarra

Relaciones y funciones

33

y
elementos
de b
(a,b)

b

elementos
de a
0

x

a

Figura 2.1: Sistema de coordenadasEjemplo1
Los gr´aficos siguientes representan a ciertos productos cartesianos dados.
Notemos que en el caso de la figura 2.2 el n´
umero de elementos de AxB es
finito (en este caso 7), en tanto que en los casos de las figuras 2.3 y 2.4 dicho

umero es infinito.
y

y

y

x
x
x

.

x
x

0

x

x
x

Figura 2.2

0

Figura 2.3

x

0

Figura 2.4

Propiedades 1
1. A × (B ∪ C) = (A × B) ∪ (A × C)
2. A × (B ∩C) = (A × B) ∩ (A × C)
3. A × (B − C) = (A × B) − (A × C)

2.2.

Relaciones

Definici´
on
R es una relaci´on de A en B si y solo si: R ⊆ A × B.
As´ı, notemos que los elementos de una relaci´on son pares ordenados.

x

Luis Zegarra

Relaciones y funciones

34

Notaci´
on
1. R es una relaci´on de A en B, tambi´en se denota por R : A → B
2. Si el par (x, y) pertenece a la relaci´on R, se acostumbra adenotar por
(x, y) ∈ R ∨ xRy ∨ y = R(x)
Dominio y Recorrido
Sea R ⊆ A × B una relaci´on, se definen:
Dominio de R por el conjunto
Dom R = {x ∈ A/∃y ∈ B : (x, y) ∈ R}
Recorrido de R por el conjunto
Rec R = {y ∈ B/∃x ∈ A : (x, y) ∈ R}
Es claro que Dom R ⊆ A y que Rec R ⊆ B
Ejemplo 2
Sea R : A → A una relaci´on, donde A={1, 2, 3..., 10} dada por
R = {(1, 1), (1, 2), (1, 3), (2, 4), (2, 5), (7, 6)}esta relaci´on tiene un n´
umero finito de elementos. Note que: Dom R={1,2,7}
y Rec R={1,2,3,4,5,6}
Ejemplo 3
Sea S : R → R , definida por
S = {(x, y)/x + 2y = 12}
esta es una relaci´on con infinitos elementos y que Dom S = Rec S = R
Ejemplo 4
Sea S : Z → Z , definida por
(x, y) ∈ S ⇔ x2 + y 2 = 1
N´otese que x e y son enteros por tanto esta relaci´on solo consta de 4 elementos,
que son: (1,0),(0,1), (-1,0) y (0,-1), donde Dom S = {−1, 0, 1} = Rec S
En este mismo ejemplo si en lugar de Z se toma R la relaci´on contiene infinitos
pares ordenados y
Dom S = {x ∈ R/ − 1 ≤ x ≤ 1}
Rec S = {y ∈ R/ − 1 ≤ y ≤ 1}

Luis Zegarra

Relaciones y funciones

35

Definici´
on
Sean R : A → B y S : B → C dos relaciones. Se define la composici´on de
R con S, que se denota por S ◦ R, como
S ◦ R = {(x, y)/∃z ∈B : (x, z) ∈ R ∧ (z, y) ∈ S}
Ejemplo 5
Sean A={1,2,3,4,5} , B={1,2,3} y C={1,4,5,8} y R={(1,2),(3,2),(4,1)} y
S={(2,1),(3,1),(2,4),(3,5)} Note que (1,2) ∈ R ∧ (2,1) ∈ S ⇒ (1,1) ∈ S ◦ R.
As´ı se obtiene que S ◦ R={(1,1),(1,4),(3,1),(3,4)}
Ejemplo 6
Sean R y S relaciones en R, definidas por
R = {(x, y)/y = 2x + 1}
S = {(x, y)/x2 = y}

as´ı, (x, y) ∈ SoR ⇔ ∃ z ∈ R : (x, z) ∈ R ∧(z, y) ∈ S ⇔ z = 2x +1 ∧ y = z 2
de donde y = (2x + 1)2 , luego
S ◦ R = {(x, y)/y = (2x + 1)2 }
Propiedades
Sea R : A → A una relaci´on, se define las siguientes propiedades
1. Refleja ∀x ∈ A : (x, x) ∈ R
2. Sim´etrica x, y ∈ A : (x, y) ∈ R ⇒ (y, x) ∈ R
3. Transitiva x, y, z ∈ A : (x, y) ∈ R ∧ (y, z) ∈ R ⇒ (x, z) ∈ R
4. Antisim´etrica x, y ∈ A : (x, y) ∈ R ∧ (y, x) ∈ R ⇒ x = y
5. Irrefleja ∀x ∈ A : (x, x) ∈
/RDefinici´
on
Sea R : A → A una relaci´on
1. Se dice que R es una relaci´on de equivalencia si y solo si, es: Refleja,
Sim´etrica y Transitiva.
2. Se dice que R es una relaci´on de orden parcial si y solo si, es: Refleja,
Antisim´etrica y Transitiva.
3. Se dice que R es una relaci´on de orden total (estricto) si y solo si, es
Irrefleja, Transitiva y Antisim´etrica.

Luis Zegarra

2.3.

Relaciones y...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Cap2
  • cap2
  • Cap2
  • CAP2
  • Cap2
  • cap2
  • CAP2
  • Nemiroski cap2

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS