UNIVERSIDAD CSAR VALLEJO

OFICINA DE FORMACIN GENERAL

SESIN 9:

RELACIONES Y FUNCIONES

Temtica

Relaciones
Funcin
Dominio y rango de una funcin.
Representaciones grficas de una funcin.
RELACIONES BINARIAS

Introduccin:
Descartes nos daba, en sus trabajos, una idea de lo que era una funcin;
pero fue Leibniz quien introdujo este trmino en matemticas, para
designar cierto tipo de frmulas; y posteriormente Euler nos brindara la
notacin y=f(x). Actualmente existe un concepto mucho ms general en el
que se incluye a la funcin: la correspondencia.
Previamente veamos algunos conceptos:
PAR ORDENADO
Un par ordenado est formado por dos elementos a y b y se representara as: (a;
b).Donde a se llama primera componente y b segunda componente. Segn
la definicin estricta, un par ordenado se define as:
(a ; b) = {{a}; {a ; b}}
Propiedades
1) (a ; b) (b ; a)
2) (a ; b) = (c ; d) a = c b = d
Ejemplos:
El par ordenado (1 ; 2) no es igual al par (2 ; 1)
(3 ; b) = (a ; 8) 3 = a b = 8
PRODUCTO CARTESIANO
Sean A y B dos conjuntos cualesquiera. El producto cartesiano de A y B,
denotado por A x B, se define como el conjunto de pares ordenados (a; b),
donde a A y b B; as:
A x B = {(a; b) / a A b B}
Ejemplo:
Dados los conjuntos: A = {0; 1; 2} y B = {m; n}, entonces:

PENSAMIENTO LGICO
1
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

* A x B = {(x; y) / x A y B}
A x B = {(0 ; m) , (0 ; n) , (1 ; m) , (1 ; n) , (2 ; m) , (2 ; n)}
B x A = {(m ; 0) , (n ; 0) , (m ; 1) , (n ; 1) , (m ; 2) , (n ; 2)}
Podemos observar que el conjunto A x B es diferente al conjunto B x A, es decir:
A x B B x A, el producto cartesiano no es CONMUTATIVO
PROPIEDADES:
1. Siendo A y B dos conjuntos diferentes. Entonces: Ax
BBxA

2. Sean A y B dos conjuntos finitos, tales que el cardinal

de A (nmero de elementos del conjunto A) es n(A) y el cardinal de B es
n(B), entonces: n(A x B) = n(A) . n(B)

3. El producto cartesiano A x B es un conjunto infinito, si

al menos uno de los conjuntos A B e un conjunto infinito.

4. El producto cartesiano A x B es un conjunto vaco, si al

menos uno de los conjuntos A B es un conjunto vaci; as: Ax
=;xB=

5. Si A es subconjunto de C y B es subconjunto de D,
entonces A x B ser subconjunto de C x D, es decir:
ABBDAxBCxD

6. A x (B C) = (A x B) (A x C)
A x (B C) = (A x B) (A x C)
A x (B C) = (A x B) (A x C)

7. Siendo: A = B C, se cumple que:

A x A = (B x B) (C x C)
A x A = (B x C) (C x B)

8. Siendo: A = B C, se cumple:
A x A = (B x B) (C x C)
A x A = (B x C) (C x B)

PENSAMIENTO LGICO
2
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

NOTA: El conjunto producto se puede extender para ms conjuntos; por

ejemplo, para el caso de tres conjuntos A , B y C, el conjunto producto de
estas se denota por A x B x C y se define as:

A x B x C = {(a;b; c) / a A b B c C}
Este conjunto est formado por ternas ordenadas.
Ejemplo:
Sean los conjuntos:
1. A = {0; 1}, B = {m; n}, C = {p; q}

AxBxC = {(0 ; m ; p) , (0 ; m ; q) , (0 ; n ; p) , (0 ; n ; q) , (1 ; m ;
p) , (1 ; m ; q) , (1 ; n ; p) , (1 ; n ; q)}
2. Sea: A = {1, 2, 5}

B = {p, q}

Hallar:

a) A x B b) B x A

Solucin:

a) A x B = {1, 2, 5} x {p , q}
= {(1, p); (1, q); (2, p); (2, q);

(5, p); (5, q); }

b) B x A = {(p,1); (p,2); (p,5); (q,1); (q,2);

(q,5); }

Luego: A x B B x A

REPRESENTACION GRAFICA DE UN PRODUCTO CARTESIANO

Para poder observar alguna caracterstica para los pares ordenados que
conforman un producto cartesiano (o tambin para ternas ordenadas), es
conveniente realizar una representacin grfica de este.
Existen muchas formas de realizar dicha representacin, y dependen
principalmente del nmero de elementos que tiene cada conjunto con los que
se quiere efectuar el producto cartesiano. A continuacin veremos uno de ellos.
Diagrama Cartesiano o Grfica Cartesiana

PENSAMIENTO LGICO
3
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Sean los conjuntos:

A = {x ; y ; z ; w} y B = {a ; b ; c}
Para representar el producto cartesiano A x B, tomemos dos lneas
coincidentes de un punto 0, una horizontal y otra vertical, a las cuales
denominamos eje horizontal X y eje vertical Y respectivamente. Sobre
la primera ubiquemos a los elementos de A y sobre la segunda a los de B.
luego de trazar lneas paralelas a los ejes por estos elementos, se
determinan puntos de interseccin entre ellas, siendo cada uno de estos
puntos la representacin de un par ordenado de A x B.
Por ejemplo, P representa el par ordenado (z; b)

B
c

b P

DEFINICIN: Dados dos conjuntos A y B distintos

A del vaco una relacin
x y z w
de A en B es una regla de correspondencia que asocia un elemento del
conjunto A con un elemento del conjunto B.
REPRESENTACION GRFICA DE UNA REALACIN
Diagrama Sagital o de Venn Euler
En este diagrama se utilizan flechas que salen del conjunto de partida
hacia el conjunto de llegada.
Ejemplo:
Sean: A = {x; y ; z ; w} y B = {5 ; 6 ; 7 ; 8 ; 9}
Definimos: R: A B as:
R= {(x ; 5) , (x ; 9) , (y ; 6) , (y ; 7) , (w ; 7) , (w ; 9)}
Entonces, su representacin mediante el diagrama sagital ser:

Donde: Dom(R) = {x ; y ; w} y Ran(R) = {5 ; 6 ; 7 ; 9}

En el grafico podemos comprobar que:
Dom(R) A y Ran(R) B

PENSAMIENTO LGICO
4
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

DIAGRAMA CARTESIANO
Veamos este tipo de diagrama mediante un ejemplo:
Ejemplo:
Dados los conjuntos: A = {Liz; Jos; Hans; John}; B = {300; 350;
400; 450; 500}
Se define la correspondencia: R : A B, as:
R = {(Liz; 350), (Jos; 450), (Hans; 400)}
Cuya grafica cartesiana ser: B

500
450
400
350
De donde: 300
A
Dom(R) = {Liz; Jos; Hans} y L iz Jos H ans John

Ran(R) = {350; 450; 500}

RELACIONES DE A EN A
Definicin.- Dado conjunto A no vaci, una RELACIN R de A en A es
aquella correspondencia definida como:
R : A A, tal que:R = {(x ; y) A x A / P(x ; y)}
Donde: P(x ; y) es la REGLA DE CORRESPONDENCIA de la relacin.
Ejemplo:
Sea el conjunto A = {2;3;4; 5}, con el cual:
A2 = A x A ={(2 ; 2) , (2 ; 3) , (2 ; 4) , (2 ; 5) , (3 ; 2) , (3 ; 3) , (3 ; 4) , (3 ; 5),
(4 ; 2) , (4 ; 3) , (4 ; 4) , (4 ; 5) , (5 ; 2) , (5 ; 3) , (5 ; 4) , (5 ; 5)}

Son las relaciones definidas en A las siguientes:

R1 = {(2 ; 2) , (2 ; 3) , (3 ; 2) , (3 ; 3) , (4 ; 2) , (4 ; 3) , (5 ; 2) , (5 ; 3)}
R2 = {(2 ; 3) , (2 ; 4) , (2 ; 5) , (3 ; 4) ; (3 ; 5) , (4 ; 5)}
R3 = {(x; y) A2 / y = x + 1}

Para R3, de su regla de correspondencia: P (x; y) : y = x + 1. Luego del

conjunto A2, vemos los pares ordenados que cumplen con esta regla de
correspondencia. Dichos pares son:
(2; 3), (3; 4), (4; 5)

Por lo tanto, tambin podemos expresar la relacin R 3 de la siguiente

forma:

PENSAMIENTO LGICO
5
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

R3 = {(2 ; 3) , (3 ; 4) , (4 ; 5)}

DOMINIO Y RANGO DE UNA RELACIN

Dada la relacin: R : A B, el dominio de R (Dom(R)) se define como el
conjunto de las primeras componente de los pares ordenados que
conforman la relacin ; y el rango de R (Ran (R)) como el conjunto de las
segundas componente; es decir:
Dom(R) = {x A / (x ; y) R}Ran(R) = {y B / (x ; y) R}
Tambin:
Dom(R) A Ran(R) A
Ejemplo:
Hallar el dominio y rango de las siguientes relaciones:
R1 = {(2 ; 2) , (2 ; 3) , (2 ; 4) , (2 ; 5) , (3 ; 2) , (3 ; 3)}
Dom (R1) = {2; 3} , Ran (R2) = {2;3 ; 4 ; 5}

R2 = {(0; 1, (0; 2, (0; 3, (1; 2), (2; 3)}

Dom (R1) = {0;1; 2} , Ran (R2) = {1;2; 3}
RELACIONES DE R EN R
En el lgebra, las relaciones de mayor importancia son las que se definen en el
conjunto de los nmeros reales (R), es decir; aquellas relaciones de la forma:
R : R R R R x R

Ejemplos:
Encontrar el dominio y rango de la relacin:
S = {(x ; y) R2 / x2 +y2 16}

De la regla de correspondencia; x2 + y2 16

y2
2
16x
Tenemos: 1er . miembro 2 do . miembro

Vemos que el 1er trmino de la desigualdad no es negativa entonces el 2do

miembro tampoco debe serlo, por lo tanto:
16 x2 0 x2 16 -4 x 4

Luego: Dom(S) = -4 ; 4

PENSAMIENTO LGICO
6
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Tambin tenemos: x2 16 y2; anlogamente a la parte anterior obtenemos:

16 y2 0 y2 16 -4 y 4

Entonces: Ran(S) = -4 ; 4
REPRESENTACION GRAFICA DE UNA RELACIN
A partir de su grfica, podemos hallar algunas propiedades y para ciertas
relaciones incluso hallar su dominio y rango. Usamos las representaciones
grficas (vistas anteriormente) de una correspondencia.

Ejemplo:

Sea el conjunto: B = {3, 4; 5; 6; 7}, se define la relacin:

R = {(x; y) B2 / xy 20}

Utilizando el diagrama sagital para relacionar un elemento del conjunto de

partida con otro del conjunto de llegada, tal que su producto sea menor o
igual a 20.

3 3
4 4
5 5
R a n ()
6 6
D om ()
7 7

De donde:
R = {(3 ; 3) , (3 ; 4) , (3 ; 5) , (3 ; 6) , (4 ; 3) (4 ; 4) , (4 ; 5) , (5 ; 3) , (5
; 4) , (6 ; 3)}

Adems: Dom(R) = {3; 4; 5; 6} = Ran(R)

TIPOS DE RELACIONES
Consideremos una relacin R en A, es decir, R: A A; donde A es un
conjunto no vaci. Entonces se tiene:

1. Relacin Reflexiva

PENSAMIENTO LGICO
7
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Una relacin R es reflexiva, si cumple la siguiente condicin:

R es REFLEXIVA { a A : (a ; a) R}

Ejemplo:
1.- Sea el conjunto A = {2 ; 3 ; 4 ; 5} en el cual definimos la siguiente relacin.
R = {(2 ; 2) , (2 ; 3) , (3 ; 4) , (3 ; 3) , (4 ; 2) , (4 ; 4) ; (5 ; 3) , (5 ; 4) , (5 ; 5)}
De la cual observamos que:
Para 2 A: (2; 2) R Para 3 A: (3; 3) R
Para 4 A: (4; 4) R Para 5 A: (5; 5) R
Por lo tanto, R es reflexiva.
2.- Dado: A = {1, 2, 3}

es una relacin reflexiva

R = {(a,b) / A x A /a divide a b}

Ya que

R = {(1,1) ; (1,2); (1,3); (2,2); (3,3)}

2. Relacin Simtrica
Una relacin R es simtrica cuando para todos los pares (a ; b) R; existe
el par (b ; a) que tambin pertenece a R, es decir:

R es SIMTRICA { (a ; b) R : (b ; a) R}

Ejemplo:

1.- Sea: A = {2;3;4; 5}, definimos la relacin:

R = {(2 ; 3) , (2 ; 4), (3 ; 5) , (3 ; 2) , (4 ; 2) , (5 ; 3) , (2 ; 2) , (4 ; 4)}

Notacin lo siguiente:
Para (2; 3) R: (3; 2) R
Para (2; 4) R: (4; 2) R
Para (3; 5) R: (5; 3) R
Para (3; 2) R: (2; 3) R
Para (4; 2) R: (2; 4) R

PENSAMIENTO LGICO
8
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

Para (5; 3) R: (3; 5) R

Para (2; 2) R: (2; 2) R
Para (4; 4) R: (4; 4) R

Luego la relacin R es SIMTRICA

2.- Sea el conjunto:

A = {4, 7, 9} y la relacin

R: A A / R = {(x,y) / x+y es par}

R = {(4,4); (7,7); (9,9); (7,9); (9,7)}

3. Relacin Transitiva
La relacin R se denomina TRANSITIVA cuando los pares (a ; b) (b ; c)
R, el par (a ; c) tambin pertenece a R, as:

R es TRANSITIVA { (a; b) (b; c) R: (a; c) R}

Ejemplo:

1.- Sea: A = {2;3;4; 5}, se define la relacin:

R = {(2 ; 3) , (3 ; 4) , (4 ; 5) , (2 ; 4) , (3 ; 5) , (2 ; 5)}
Tomando todos los pares posibles de la forma (a ; b) y (b ; c),
observamos:

Para (2; 3) (3; 4) R: (2; 4) R

Para (2; 3) (3; 5) R: (2; 5) R
Para (3; 4) (4; 5) R: (3; 5) R
Luego, R es una relacin TRANSITIVA

2.- Si: (a, b) R y (b, c) R (a, c) R

Ejemplo:

Dado: A = {1; 2; 3; 4} y la relacin:

R1 = {(1,1); (1,2); (4,3); (2,2); (3,1);(4,1)}

Establecer si es transitiva: Entonces con R1:

PENSAMIENTO LGICO
9
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

(1,1) R1 (1,2) R1 (1,2) R1

(1,2) R1 (2,2) R1 (1,2) R1

(4,3) R1 (3,1) R1 (4,1) R1

(3,1) R1 (1,1) R1 (3,1) R1

R1 es transitiva

4. Relacin de Equivalencia
La relacin R se dice que es de EQUIVALENCIA si y solo si R es reflexiva,
simtrica y transitiva a la vez.
Ejemplo:
1.- Sea el conjunto: A = {1 ; 2 ; 3 ; 4}, en el cual se define la relacin:
R = {(1 ; 1) , (1 ; 2) , (2 ; 1) , (2 ; 2) , (3 ; 3) , (4 ; 4)}
De esta relacin observamos:
R es reflexiva, pues siendo I = {(1 ; 1) , (2 ; 2) , (3 ; 3) , (4 ; 4)} ; I R
R es simtrica, porque (a ; b) R : (b ; a) R
R es transitiva, ya que:
Para (1 ; 1) (1 ; 2) R : (1 ; 2) R
Para (1 ; 2) (2 ; 1) R : (1 ; 1) R
Para (1 ; 2) (2 ; 2) R : (1 ; 2) R
Para (2 ; 1) (1 ; 1) R : (2 ; 1) R
Para (2 ; 1) (1 ; 2) R : (2 ; 2) R
Para (2 ; 2) (2 ; 1) R : (2 ; 1) R

Por lo tanto, R es EQUIVALENCIA

2.- Dado: A = {2; 3; 4; 5}

R = {(x, y) A x A / (x+y) es par}

Indicar si es de equivalencia

Solucin:

R = {(2,2); (2,4) (3,3); (3,5); (4,2);(4;4); (5,5); (5,3)}

1) R es reflexiva:

(2,2) R, (3,3) R; (4,4) R (5,5) R

PENSAMIENTO LGICO
10
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

x A (x; x) R

2) R es simtrica:

(2,4) R (4,2) R

(3,5) R (5,3) R

(x,y) R (y, x) R

3) R es transitiva

(2,2) R (2,4) R (2,4) R

(2,4) R (4,2) R (2,2) R

(3,5) R (5,3) R (3,3) R

(x,y) R (y, z) R (x, z) R

RELACION INVERSA
Sea un conjunto no vaco A y la relacin R: A A, tal que:
R = {(x ; y) A2 / P(x ; y)} Se define la relacin inversa de A como:
R* = {(y ; x) A2 / P(x ; y)}

Donde: Dom(R*) = Ran(R) Ran(R*) = Dom(R)

Ejemplo:
1.- Sea A = {2 ; 3 ; 4 ; 5} ; se define la relacin:
R = {(2 ; 3) , (4 ; 3) , (5 ; 3) , (5 ; 2) , (4 ; 2) , (5 ; 4)}
Donde:
Dom(R*) = {3 ; 4 ; 5} = Ran(R)
Ran(R*) = {2 ; 3 ; 4} = Dom(R)
2.- Dados los conjuntos

A = {1; 2; 3; 4}

B = {m; n; p}

Y la relacin R de A en B

R = {(1,m); (1,p); (2,n); (3,m); (3,n)}

Su relacin inversa ser:

PENSAMIENTO LGICO
11
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

R -1= {(a,1); (c,1); (b,2); (a,3); (b,3)}

TALLER DE RELACIONES
1. Dados los conjuntos:

A = {1 ; 2 ; 3 ; 4 ; 5} ; B = {3 ; 4 ; 5 ; 6 ; 7 ; 8} y R=
{(x ; y)A x B/y x 2 = 0} Entonces n(R) es:

2. Sean: M = {2 ; 3 ; 4 ; 5 ; 6} ; N = {1 ; 4 ; 6 ; 9 ; 25 ; 17} y R = {(x ;

y) M x N / y = x2}.Entonces, n(R) es:

3.Sean: A = {2 ; 3 ; 4 ; 5} ; B = {3 ; 4 ; 5 ; 6 ; 7} Se define la
correspondencia: P = {(x ; y) A x B/x + y es par}. Calcular n (P)

4. Sean: A = {16 ; 18 ; 20 ; 22} B = {20 ; 22 ; 23 ; 26} Se define la

correspondencia:
Q = {(x; y) A x B / y = x + 4} .Calcular n (Q)

5. Sean: A = {2 ; 4 ; 6 ; 8} B = {5 ; 7 ; 10 , 12} Se define la

correspondencia:

M = {(x; y) A x B / y x es impar}. Hallar n (M)

6. Sean: A = {1;2;3 ; 4} ; B = {1 ; 3 ; 6 ; 8} y la relacin) definida por

a es menor que b, donde (a ; b) A x B Cuntos pares ordenados
tiene la correspondencia ?

7. En A = {1 ; 2 ; 3 ; 4} se considera la relacin: R = {(x ; y) A2 /x

=yv x + y = 3} podemos afirmar que R es:

8. Se puede afirmar que: R = {(x; y) R2 / x2 4y2 = 16} es

reflexiva?

9. Dada la relacin: R = {(x; y) N2 / y = 6 x} Se puede afirmar

que Dom(R) = Ran(R)

PENSAMIENTO LGICO
12
UNIVERSIDAD CSAR VALLEJO
OFICINA DE FORMACIN GENERAL

10. Del problema anterior, hallar la suma de los elementos del

Dom(R)

11. Sea la relacin: R = {(x ; y) R2 / y x2 9 y -x + 3}

Cuyo: Dom(R) = {a; b} y Ran (R) = {c; d}, el valor de:

a+b+c+d es:

12. Sea: S = {2 ; 3 ; 4} un conjunto cuyo nmero de elementos se

expresa as: n(S) = 3

Si: R1 = {(x ; y) S2 / y = x2} .Hallar n(R1)

13. Sea: R2 = {(x ; y) S2 / y x = 1} .Hallar n(R2)

14. Sea la siguiente relacin: R 1 ={(2;3), (4;6), (7;9), (8;11),

(3;7) , (4;8)} Hallar el dominio de R1*

15. Dada la siguiente relacin:

S = {(1 ; 2) , (3 ; 7) , (4 ; 3) , (2 ; 1) , (3 ; 4) , (7 ; 3) , (1 ; 1) , (4 ; 7) ,
(2 ; 2) , (4 ; 4) , (7 , 7) , (3 ; 3)}

S es de equivalencia?

16. Dada la siguiente relacin: P = {(1 ; 3),(4 ; 2),(7; 9),(6 ; 3)} .Hallar
P*

17. Sea: R = {(1;2) , (3;4) , (5;7)} y R* = {(m;1) , (4;n) , (p;5)} hallar:

m +n + p

18. De la siguiente relacin: S = {(3;4) , (7;2) , (4;3) , (2;7)} S es

reflexiva, simtrica, o transitiva?

PENSAMIENTO LGICO
13
19. Dados los conjuntos: A = {5 ; 7 ; 8 ; 11 , 15} B = {9 ; 11 ; 12 ;
19} R = {(x;y) A x B/y x 4 = 0}
Entonces n(R) es:

20. Dados los conjuntos: P = {1 ; 2 ; 3 ; 4 ; 5} Q = {2 ; 9 ; 65 ; 120 ,

84} y R = {(x;y) P x Q/yx3 1 = 0}

Entonces n(R) es:

21. Sean: M = {58 ; 63 ; 72 ; 85} N = {35 ; 26 , 49 ; 58} R = {(x ; y)

M x N / x + y es impar}.Hallar n(R)

22. Sean: A = [1 ; 2 ; 3 ; 4] ; B = {3 ; 4 ; 5 ; 6} y R = {(x ; y) A x B / x =

y} .Hallar n(R)

23. Si: A = {-1 ; 0 ; 1} R = {(x ; y) A2 /y2 = x2} .Hallar n(R)

24. Si: R1 = {(x ; y) R2 / y x = 6} ; R 2 = {(x ; y) R2 / x +y = 8}

calcular el producto de las componentes de los elementos de R 1 R2

25. En: A = {-4 ; -3 ; -2 ; -1 ; 0 ; 1 ; 2} .se define la relacin: R = {(x;y)

A2 / x2 + x = y2 + y}
R es reflexiva o simtrica?

26. Sean: R1 = {(x ; y) / x y} R2 = {(x ; y) / x +1 = y} R 3 = {(x ; y) /

x y}
Definidas en el conjunto A = {2 ; 4 ; 5 ; 6}
Se puede afirmar que: R1 R2 R3?

27. En el problema anterior, R1 R3 es una relacin de equivalencia?

28. Sea el conjunto: A = {(2;3) , (6;8) , (9;11) , (3;7)}. Hallar la suma de

los elementos del Dom (A*)
 29. Sea la relacin: R = {(5;9) , (3;7) , (4;6) , (11;2)} R* = {(7;a) , (2;b) ,
(c;5) , (6;d)}
Hallar a + b +c +d

30. Sea R una relacin definida en A = {2 ; 3 ; 9} mediante: R = {(x ; y) /

y + 1 x2 }
Entonces, el nmero de elementos de R
FUNCIN

Conceptos Previos:

PAR ORDENADO:

Se define as: (a ; b)={ {a} ; {a ; b} }

(3 ; 5) = { {3} ; {3 ; 5} }
(5 ; 3) = { {5} ; {5 ; 3} }
(3 ; 5) (5 ; 3)

Adems:

(a ;b )=( c;d ) a=cb=d

Ejemplo: (3 ; a) = (b ; 4) b=3a=4

Observacin: (a ; a) = { {a} }

OBSERVACIONES

a) (x, y) (y, x)
b) {x, y} conjunto de dos elementos
{x, y}={y, x}

c) (a, a), tiene 2 componentes

d) {a, a} = {a}, tiene 1 elemento.
e) Si: (x, y) = (a, b) x = a y =b
PRODUCTO CARTESIANO

AB={(a ; b )/a AbB }

Ejemplo: A = {1 ; 2} B = {a ; b ; c}

A x B = { (1 ; a) ; (1 ; b) ; (1 ; c) ; (2 ; a) ; (2 ; b) ; (2 ; c) }

B x A = { (a ; 1) ; (a ; 2) ; (b ; 1) ; (b ; 2) ; (c ; 1) ; (c ; 2) }

AxBBxA
DIAGRAMA DE VENN:
A xB
A B
a
1
b
2
c

PROPIEDADES:

1) AxB=BxAA=B
2) A x B = A B
3) n(A x B) = n(A) x n(B)

Donde: n(A) = cardinal de A (# de elementos)

Ejemplo: n(A) = 2 n(B) = 3 n (A x B) = 6

RELACIONES
Una relacin de A en B es cualquier subconjunto de A x B.
Si A x B = { (1 ; 2) , (1 ; 3) , (2 ; 2) , (2 ; 3) }
Entonces:
R1 = { (1 ; 2) }
R2 = { (x ; y) / x y ; x A , y B } = { (2 ; 2) }
R3 =
DEFINICIN DE FUNCIN
Sean A y B dos conjuntos no vacos.
Una funcin F de A en B (f = A B) es un conjunto de pares ordenados tal
que todos los elementos de A debe tener un nico elemento en B.
Ejemplo: f
A B

S i e s fu n c i n

f
A B

S i e s fu n c i n

A f B

N o e s fu n c i n

Definicin Formal
Sea f : A B una funcin, entonces se cumple:

xA , ! yB/( x ; y )f
Condicin de existencia

Si :( x ; y)f ( x ; Z )f y=Z
Ejemplo:
Sea f = { (2 ; x y) ; (3 ; x + y) ; (2 ; 3) ; (3 ; 4) } una funcin. Halle: 2x y
Solucin:
xy=3x+y=4
2x = 7
7 1 13
x= y= 2 x y=
2 2 2

f
x y

2 3

3 x y
4

Entonces se cumple: f R AB
NOTA:
. Toda funcin es una relacin
. No toda relacin es una funcin

NOTACIN:
f: A B
DOIMINIO

P R E IM A G E N IM A G E N

A B

RANG O

D O M IN IO O C O N JU N TO
C O N JU N TO D E D E LLEG AD A
P A R T ID A O RANG O

Observacin: Algunos matemticos consideran:

E s f u n c i n

E s a p lic a c i n

E l d o m in io
e s ta fo rm a d o
p o r to d o s lo s
e le m e n to s d e l
c o n ju n t o d e p a r t id a

FUNCIN REAL DE VARIABLE REAL

Son aquellas funciones cuyo dominio y rango es un subconjunto de R.
Ejemplo:
f = 0 ; 1 R
 f: R R
DOMINIO:
Dom(f) = { x / (x ; y) f }

RANGO:
Ran(f) = { y / (x ; y) f }

REGLA DE CORRESPONDENCIA
Es aquella ecuacin que nos permite relacionar los elementos del dominio con
los elementos del rango.
Ejemplo:
f
A B
1 2
2 9
3 28
4 65

y f( x )

V a r ia b le in d e p e n d ie n te
V a r ia b le d e p e n d ie n t e
y = x3 + 1
f = { (x ; y) / x A y B }

Ejemplo:
1.- Sea: f = { (1 ; 2) , (3 ; 5) , (7 ; 6) , (4 ; 9) }
Dom f = {1 ; 3 ; 7 ; 4}
Ran f = {2 ; 5 ; 6 ; 9}

Ejemplo: f
A B
5 4
2
f(5) = 5
4 16
2 25
f(4) = 42

f(2) = 22
Entonces f(x)= x2 ; x {2 ; 4 ; 5}
2.- Dados: A = {1; 3; 5; 7}

B = {2; 4; 6; 9; 10; 12}

Hallar:

a) F: A B; tal que;: y = x + 1
b) D(F) y R (F)

c) Diagrama sagital
Solucin:

a)

X y = F(x) = x +1
1 y = F(1) = 1 +1 = 2
3 y = F(3) = 3 +1 = 4
5 y = F(5) = 5 +1 = 6
7 y = F(7) = 7 +1 = 8
8

Luego: F = {(1,2); (3,4); (5,6)}

b) D(F) = {1, 3, 5}

R(F) = {2, 4, 6}

F: A B
A B

c) 1 2
3 4
5 6
9
7
10
12