LENGUAJE MATEMTICO

RELACIONES Y FUNCIONES
Eduardo Cabrera De Arrizabalaga
UPLA - 2003

Lgica proposicional - Teora de Conjuntos - Relaciones y Funciones

Relaciones y Funciones Objetivos Especficos ............................................................................................................ Desarrollo Temtico A. Relaciones 1.- Relacin binaria. .................................................................................................. 2.- Relacin inversa. ................................................................................................. 3.- Composicin de relaciones. ................................................................................ 4.- Propiedades de las relaciones. ............................................................................ 5.- Relacin de Equivalencia. .................................................................................. 6.- Conjunto cociente. .............................................................................................. 7.- Relacin de orden. ............................................................................................... 8.- Conjuntos ordenados. Elementos caractersticos: cotas, supremo, nfimo, maximal y minimal. ............................................................................................ B. Funciones 9.- Concepto de funcin. ......................................................................................... 10.- Tipo de funciones. .............................................................................................. 11.- Algunas proposiciones importantes funciones. ...................................................

Autoevaluacin .......................................................................................................................

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

OBJETIVOS ESPECFICOS.

Al trmino de sta Unidad, el estudiante deber ser capaz de:

1. Conocer y aplicar el vocabulario bsico referente a las Relaciones y Funciones.

2. Comprender los tpicos de Relaciones y Funciones segn el marco terico.

3. Aplicar los tpicos de Relaciones y Funciones a situaciones terico prctico preestablecida

4. Demostrar o probar si un aserto dado sobre los tpicos de Relaciones y Funciones es o no tautologa.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

DESARROLLO TEMTICO
A. RELACIONES

Introduccin Frecuentemente deseamos comparar o contrastar varios elementos de un conjunto, tal vez para acomodarlos en un orden apropiado o para agrupar aquellos con propiedad similar. La estructura matemtica para describir este tipo de organizacin de conjuntos es la teora de relaciones. Entre ellas las ms importante son las relaciones de orden, las relaciones equivalencia y muy especialmente las funciones que abordaremos en la parte B de esta unidad. 1. Relacin Binaria Al establecer una correspondencia entre dos conjuntos, sus elementos deben satisfacer cierta propiedad, formando de esta manera un conjunto de pares ordenados que satisfacen la propiedad dada. Las muchas maneras mediante las cuales se pueden establecer los pares ordenados, constituye una relacin. Si designamos por R al conjunto de todos los pares ordenados de A B que verifican una determinada propiedad (proposicin abierta), entonces de que un elemento dado cualquiera (x, y) en A B la verifique o no, se expresar escribiendo: (x, y) R o (x, y) R, lo que diremos x est relacionado con y o x no est relacionado con y respectivamente. Notamos que la propiedad define sobre los conjuntos A y B, una relacin binaria R que es verificada por los pares (x, y) que poseen la propiedad dada. As diremos (x, y) R xRy. Por ejemplo: Consideremos los conjuntos A ={1, 2, 3} y B ={1, 2}, entonces el conjunto R ={(x, y) AB / x + y 4 }constituye una relacin binaria de A en B. Notamos que R ={(2, 2), (3, 1), (3, 2)} AB. Definicin Dados dos conjuntos A y B no vacos, llamaremos relacin binaria (o simplemente relacin) de A a B, o relacin en AB a cualquier subconjunto R de AB. R es relacin binaria en AB R AB
Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

Nota: Si A = B, en vez de decir R es una relacin en AA diremos, sin mediar confusin, que R es una relacin en A. Ejercicios 1.- Sean A ={ Chile, Argentina, Francia, Per, Espaa} y B={Lima, Buenos Aires, Pars, La Paz, Caracas, Santiago}. Defnase los pares de la relacin R "ser capital de". En este caso de quin es subconjunto la relacin R?. 2.- Defina los pares de las siguientes relaciones: (a).- R1= {(x, y) N N / x + y= 9} (b).- R2= {(x, y) N N/ 2x + y=10} (c).- R3= {(x, y) M x N / x< y} donde M={5, 8} y N ={4, 6, 9, 10} (d).- R4= {(x, y) A A / x divide a y } donde A ={2, 4, 6, 8, 12} Definicin Sea R A B, se llama Dominio de R, denotado D(R) o Dom(R), al conjunto de todos los elementos de A que estn relacionados por R con algn elemento de B. Dom(R) ={x A/ y, y B tal que (x, y) R} Definicin Sea R A B, se llama imagen de R, denotado Im(R), al conjunto de todos los elementos de B, con los que se han relacionado elementos de A, es decir: Im(R) ={y B/ x A tal que (x, y) R} Ejercicio Determnese dominio y recorrido de cada una de las relaciones anteriores.

2. Relacin recproca o inversa Sea R AB , diremos que la relacin inversa de R es aquella relacin que es subconjunto de BA y est formada por todos los pares ordenados (y, x) tal que (x, y) AB. Lo anotaremos por R-1. R-1 ={(y, x) / (x, y) R}

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

Ejercicio Defnase R-1 para cada una de las relaciones definidas en los ejercicios anteriores. Proposicin: Sea R AB, entonces 1.- (R-1)-1 = R , 2.- (R S)-1 = R-1 S-1 , y 3.- (R S)-1 = R-1 S-1. Dem. (1).- (R-1)-1 ={(x, y) / (y, x) R-1} = {(x, y) / (x, y) R}= R. Tambin puede demostrarse como sigue: Sea (x, y) (R-1)-1 (y, x) R-1 (x, y) R. Por lo tanto, (R-1)-1 = R. Las demostraciones de (2) y (3) se dejan de ejercicio.

3. Composicin de relaciones Sean R una relacin de A a B y S una relacin de B a C. Llamaremos relacin compuesta de las relaciones R y S, en este orden, a una relacin binaria de A a C denotada por S R y se define: S R = { (x, z) A C / yB tal que (x, y)R (y, z)S } Nota: Cuando escribimos la relacin S compuesto con R (S R) convenimos en operar dicha relacin de derecha a izquierda, es decir que la primera relacin que opera es R luego S.

R A x B

S C

S R

Podemos decir, del esquema, que la imagen de x segn R es y, la imagen de y segn S es z. En consecuencia la imagen de x segn la compuesta S R es z.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

Ejemplos. 1.- Sean S = { (1, 5), (3, 4), (6,2), (3,0), (2, 7)} y R = { (4, 8), (5, 3), (0,9), (2, 2), (7, 4), (5, 10)}. luego S R = {(2, 3), (2, 10), (3, 8), (6, 2), (3, 9), (2, 4)}. qu es R S?.

2.- Sean las relaciones R = { (x, y) R2 / y = 2x } y Entonces S R = { (x, z) R2 / y tal que (x, y) R , (y, z) S } = { (x, z) R2 / y tal que y = 2x , z = y3 } = { (x, z) R2 / z = 8x3 }. qu es R S?. Observacin: La composicin de relaciones es no conmutativa, R S S R. Proposicin El producto o composicin de relaciones verifica: 1.- ( R S )-1 = S-1 R-1 S = { (y, z) R2 / z = y3 }.

2.- ( T S ) R = T ( S R ). Ejercicio: Con las relaciones anteriores verifquese la proposicin dada. 4. Propiedades de las Relaciones Las siguientes propiedades se definen sobre un conjunto A. Definicin: Sea R A A . R es refleja o reflexiva en A, si x A, (x, x) R ; R es irreflexiva o irrefleja en A , si x A, (x, x) R ; y R es no refleja en A, si para algn x A, (x, x) R. .

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

Ejemplos: Las relaciones siguientes estn definidas en A = {a, b, c} R1={(a, b), (c, b), (b, b), (b, c)} R2={(a, b), (b, c), (a, c)} R3={(a, a), (b, b), (b, c), (c, b), (c, c)} R4={(c, b)} R5 = A x A Definicin Sea R A A. R es una relacin simtrica en A ssi (a, b) ((a, b)R (b, a) R). R es una relacin asimtrica en A ssi (x, y) ((x, y) R (y, x) R). R es una relacin antisimtrica en A ssi (x, y)(xRy yRx x = y ). no es reflexiva. es irreflexiva. no es reflexiva. irreflexiva. es reflexiva.

Ejercicio: Qu puede decir de las relaciones anteriores respecto de estas definiciones?. Definicin R A x A es una relacin transitiva en A, si (x, y) R (y, z)R (x, z)R.

Ejercicios: Estudie las siguientes relaciones, segn las definiciones dadas: R1={(x, y)/ x y}. R2={(x, y)/ x|y} , x|y simboliza x divide a y.

R3={(x, y)/ x + y = 8}. R4={(x, y)/ mcd (x, y) = 1}. R5={(x, y)/ x + 2y = 10}. Proposiciones (Caracterizaciones de las relaciones) 1) R refleja A R , A={(x, y) AA / x = y} se llama diagonal de A2. 2) R simtrica R=R-1. 3) R asimtrica R R-1 = . 4) R antisimtrica R R-1 A. 5) R transitiva R R R.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

Dem. (2). ] Sea (x, y) R, como R es simtrica (por hiptesis), entonces (y, x)R lo que implica por definicin de relacin inversa que (x, y) R-1, luego por generalizacin se tiene R R-1. Se sigue de esta inclusin que R-1 (R-1)-1. En consecuencia , R = R-1.

] Asumiendo R = R-1, tenemos que (x, y)R (y, x)R. Luego si (x, y)R
entonces (y, x)R. Por lo tanto, R es simtrica. (4). ] Sea (x, y) R R-1 (x, y)R (x, y)R-1. Si (x, y)R-1, entonces (y, x) R. Luego (x, y)R (y, x)R; como R es antisimtrica (hiptesis) entonces x = y .Luego (x, y) A , esto es R R-1 A. ] Sean (x, y)R (y, x) R, entonces (x, y) R-1. Luego (x, y) R R-1 y por hiptesis R R-1 A, en consecuencia (x, y) A, lo que implica x = y, esto demuestra que R es antisimtrica.

Se deja como ejercicio la demostracin de 1), 3) y 5).

5. Relacin de equivalencia R A x A es relacin de equivalencia si R es a la vez reflexiva, simtrica y transitiva.

(ver ejemplo pg. 53)

Clases de equivalencia Sea A un conjunto y R una relacin de equivalencia en A. Para cada elemento x A se llamar clase de equivalencia de x al conjunto Cx formado por todos los elementos de A que sean equivalentes con x, es decir, Cx = {y A / y R x}. Recibe el nombre de clase de equivalencia de x mdulo R.

Observaciones: 1.- Si a, b Cx aRb. En efecto, aRx bRx., pero R es de equivalencia, en particular simtrica y transitiva, luego se tiene que aRb. Podemos decir que todos los elementos de una misma clase son equivalentes entre si. 2.- Un elemento de una clase de equivalencia es un representante de la clase.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

3.- Toda relacin de equivalencia definida en un conjunto A, particiona al conjunto en clases de equivalencia a saber: i) xCx , xA ii) Cx=Cy si y slo si xRy iii) Si CxCy , entonces Cx Cy = iv) C x = A
xA

Ejemplo: Sea A={a, b, c} y R={(a, a), (b, b), (c, c), (b, c), (c, b)} relacin de equivalencia
en A. Luego las clases de equivalencias de los elementos de A son: Ca={a}, Cb={b, c}, Cc={c, b}. En este caso Ca = Cb . A queda particionado en dos clases de equivalencia Ca y Cb .

6. Conjunto Cuociente Sea A un conjunto y R una relacin de equivalencia en A, se llama conjunto cuociente de A por R al conjunto de las clases de equivalencia mdulo R de los elementos de A, lo anotamos

A = {C x / x A} . R

Del ejemplo anterior tenemos que A/R={{a}, {b, c}}. A/R est asociado con un conjunto S llamado conjunto de representantes de A/R que est formado por los elementos de A de modo que en S haya un solo elemento de cada clase de mdulo R. En nuestro ejemplo anterior un conjunto de representantes S de A/R, sera S={a, b}
Ejercicios: 1.- Sea A={1, 2, 3, 4, 5} y sea R una relacin definida en A,

R={(2, 2), (2, 5), (3, 3), (3, 4), (4, 3), (4, 4), (5, 2), (5, 5)} a) b) c) d) Es R una relacin de equivalencia?. En caso de no serlo, completa R para que lo sea. Determinar las clase de equivalencia de cada elemento. Determinar el conjunto cuociente. 2.- Sobre el conjunto Z de los enteros, se define la relacin R como: aRb a2 + a = b2 + b (a).- Pruebe que R es de equivalencia (b).- Determine las clases de equivalencia de los elementos de Z.
Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

10

7. Relacin de orden ( orden parcial ).

R A A es relacin de orden si R lo es a la vez reflexiva, antisimtrica y transitiva. Ejemplos: Las siguientes relaciones son de orden parcial o simplemente, de orden: ={(x, y) N2 / x y}, | ={(x, y)N2 / x|y}, y definida en P(A).
8. Conjuntos Ordenados Definicin: Diremos que el par (A,R) es un conjunto ordenado si A es un conjunto y

R una relacin de orden definida en A.

Por ejemplo: (P(X), ) , (N, | ) y (N, ) son conjuntos ordenados. Def.: Una relacin R en A se dice conexa en A cuando se verifica que (a, b)AA,

si a b (a, b)R (b, a)R .

Def.: Un conjunto (A, R) es un conjunto totalmente ordenado si A es un conjunto y R

una relacin de orden y conexa en A. De los ejemplos anteriores, (N, ) es totalmente ordenado.
Representacin en diagrama de Hasse de una relacin de orden.

Un diagrama de Hasse considera: (1) Cada elemento del conjunto A se representa como un punto del plano, con el convenio de representar a por debajo de b siempre que aRb. (2) Los puntos relacionados, descritos en (1), se unen con un segmento sin indicar direccin. (3) Como la relacin es refleja, los puntos se suponen relacionados consigo mismo. Ejemplo: Sea A = {1, 2, 3, 4, 12} y la relacin R de divisibilidad definida en A.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

11

diagrama de Hasse de R
Elementos caractersticos

Sea (A,R) un conjunto ordenado y S A. Definimos: 1.- Un elemento u de A se dice que es cota superior de S si y slo si xS se verifica que xRu. 2.- Un elemento v de A se dice que es cota inferior de S si y slo si xS se verifica que vRx. 3.- Un elemento m de S se dice que es maximal en S si y slo si no existe ningn elemento x en S, distinto de m, tal que mRx. 4.- Un elemento n de S se dice que es minimal en S si y slo si no existe ningn elemento x en S, distinto de n, tal que xRn. 5.- Un elemento s de A se dice que es supremo de S si y slo si es la menor de las cotas superiores de S. Es decir: (a). s es cota superior, y (b) Si existe c de A tal que xS, xRc entonces sRc. 6.- Un elemento i de A se dice que es nfimo de S si y slo si es la mayor de las cotas inferiores de S. Es decir: (a). i es cota inferior, y (b) Si existe c de A tal que xS, cRx , entonces cRi.
Ejemplo: En el conjunto A ={a, b, c, d, e, f, g} se define la relacin R como lo muestra su

diagrama de Hasse. Determine los elementos caractersticos para S ={c, d, e, f}, si existen.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

12

Los elementos c y d son elementos maximales de S, e y f son elementos minimales, a y b son cotas superiores de S, no posee cotas inferiores, b es supremo de S y no posee nfimo.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

13

B. FUNCIONES

Introduccin:

El concepto de funcin o aplicacin es, probablemente, la nocin ms importante y universal presente siempre a travs de la matemtica moderna. En este captulo la analizaremos de manera sistemtica. El concepto de funcin aparece en cuanto se relacionan cantidades mediante una relacin determinada. El volumen de un gas encerrado en un cilindro de un motor es funcin de la temperatura y de la presin que ejerce el pistn. La presin atmosfrica es funcin de la altitud con respecto al nivel del mar. Todo el espectro de los fenmenos peridicos - las mareas, las vibraciones de una cuerda, la emisin de luz por una ampolleta esta regularizada por las llamadas funciones trigonomtricas elementales. La puesta en rbita de los satlites convencionales o de otra ndole esta regida por funciones llamadas cnicas. Fue Leibniz (1646- 1716) el primero que utiliz la palabra "funcin", y para los matemticos del siglo XVIII, el concepto de "funcin" estaba ms o menos identificado con la existencia de una frmula matemtica sencilla que expresara la matemtica exacta de esa relacin. (R. Courant, Qu es la Matemtica?, Pag. 284).

9. Concepto de funcin

Motivemos un poco la definicin que vamos a dar. Se definen las siguientes relaciones (de A en B): a)

f1 = {(a,1), (b,1), (d ,4)} ; A = {a, b, c, d}; B = {1, 2, 3, 4}

b) f2 = {(a,1),(a,2),(b,3)}; A = {a, b}; B = {1, 2, 3} c) f3 = {(a,5),(b,5),(c,5),(d,5)}; A = {a, b, c, d}; B = {4, 5, 8} d)

f 4 = {(a, a ), (b, c), (c, b), (d , e), (e, e)}; A = B = {a, b, c, d , e}

Cul o cuales de las relaciones f1, f2, f3 y f4 satisfacen la proposicin "cada elemento de A posee a lo ms una imagen en B segn fi", donde i = 1, 2, 3, 4?

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

14

Definicin 1: si A y B son conjuntos no vacos, entonces una funcin de A

en B es un subconjunto M de A B , tal que para todo elemento "a" en A existe un nico elemento "b" en B tal que el par ordenado (a, b) pertenece a M. Al elemento "a" lo llamaremos preimagen, a "b" imagen y anotaremos b = M(a).

Ejemplos:

1) De las relaciones dadas anteriormente, cules son funciones? 2) Sean A = {Pedro, Marta, Juan, Rosa} y B = {3, 7, 11, 16, 18}. Se define M, tal que M={(Pedro, 3), (Marta, 7), (Juan, 18), (Rosa, 16)}. Decida si M es (o no) funcin de A en B. 3) Suponga que usted debe dar un ejemplo de funcin de tal manera que pueda ser entendido por sus ocasionales alumnos, podra hacerlo? 4) Realice una lista de 10 ejemplos de relaciones con la condicin que 5 sean funciones y 5 no lo sean. 5) Sea f: Z Z tal que f ( x) = x + 1 . Demustrese que f es funcin y grafique. 6) Sea A = {x / x es capital de algn pas de Sudamrica}, B = {y / y es pas de Sudamrica} y f : A B tal que f(x) = y la relacin que origina a cada capital x de Sudamrica algn pas y de Sudamrica. Es f funcin? 7) Un concepto esencial en teora de funciones es el concepto de " igualdad entre funciones". Defina este concepto, recordando lo que es el dominio y el recorrido de una relacin.

10. Tipo de Funciones

Funcin Sobreyectiva o Epiyectiva: Sean A = {Juana, Mara, Sonia}; B = {Pedro, Juan, Diego} y f = {(Juana, Pedro), (Mara, Juan), (Sonia, Diego)}. Obsrvese que f es funcin y que el recorrido (o imagen de f), Im(f), es exactamente el conjunto B.
Definicin 2: Toda funcin f : A B tal que Im(f) = B, diremos que es sobreyectiva (o epiyectiva).
Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

15

Ejemplos:

1) f: Z Z definida por f(x) =x3, para todo x, es funcin Sobreyectiva? 2) La funcin que asigna a cada alumno de un curso una nota en alguna prueba, es Sobreyectiva? 3) Construya 5 funciones sobreyectivas, con sus grficos respectivos y 5 funciones que no sean sobreyectivas. 4) Sea S un conjunto cualquiera no vaco, definamos i : S S por i ( x) = x para todo x en S. Muestre que i es Epiyectiva ( a la funcin i se le conoce por funcin identidad).
Funcin "Inyectiva" o "uno a uno":

Un ejemplo simple que permite ilustrar el concepto siguiente es el que encontramos en un baile, en l los participantes se agrupan en parejas, de un hombre y una mujer cada uno. Al seleccionar una pareja especfica del baile, se puede identificar al hombre que le corresponde una mujer y viceversa.

Definicin 3: La funcin f de A en B se dice que es una aplicacin inyectiva

s y slo s x, y A : f ( x) = f ( y ) x = y .

Ejemplos:

1) Demuestre que las siguientes funciones son inyectivas y despus grafique: (a) f : A B tal que f ( x) =
1 x 5; x A = {x / 3 x < 8} 2

x (b) g : A B tal que g ( x) = 3 ; x A = {x / 2 < x 6} 2 2) Decida cul(es) de las siguientes funciones son inyectivas: (a) La funcin que asigna el nmero entero 3 a cada nmero real positivo y el nmero entero 2 a cada nmero real negativo. (b) La funcin que asigna a cada nmero real, el tercio de su doble ms 5 unidades.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

16

Funciones Biyectivas: Sea f : una funcin x 2x 3 (a).- Determnese el Dom(f) y Rec(f). (b).- Es f Inyectiva?. (c).- Es f Sobreyectiva?
Definicin 4: Una funcin f : A B se dir biyectiva si lo es inyectiva y

sobreyectiva.

Ejemplos:

1) La funcin de identidad iA: A A

xx
2) La funcin f :N N tal que n n + 1 . Es biyectiva? 3) Una funcin constante f: A B tal que f(x) = c, xA , donde c es un nmero real fijo es biyectiva slo si A= B ={c} bien A y B tienen un solo elemento. 4) De algunos ejemplos de funciones biyectivas. 5) De un ejemplo de funcin: a) Inyectiva, pero no biyectiva. b) Sobreyectiva pero no biyectiva. 6) Determine el dominio mximo en cada una de las siguientes relaciones para quedar bien definidas como funcin, luego determine recorrido ( o imagen) de cada uno de las funciones definidas. En todos los casos x es un nmero real arbitrario. a) f1 ( x) = x 2 + 2 b) c)

f 2 ( x) = f3 ( x) =

x +1 x2

( x)

d)

f 4 ( x) = x 3

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

17

7) Cul o cuales de las funciones fi, i = 1, 2, 3, 4, del ejercicio anterior son biyectivas? Cules son slo inyectivas? Uno de los mtodos para crear nuevas funciones, partiendo de dos o ms previamente dadas, consiste en formar funciones compuestas, por ejemplo, si uno viaja en bus de Valparaso a Santiago y luego de Santiago a Londres en avin, entonces el viaje de Valparaso a Londres es un viaje compuesto de bus y avin. En general se tiene:
Definicin 5: Sean g : A B y f : B C funciones. Se dice que la funcin compuesta de f y g, anotamos f o g, es la funcin de A en C definida

por: x A : ( fog )( x) = f ( g ( x)) . Note que Re c( g ) Dom( f ) .

Ejemplos:

1) Sean A = {1, 2, 3, 4}, B = {a, b, c}, C = {a, e, i, b, o, u, c} y D= {x / x N 1 < x < 10

g = {(1, a), (2, a ), (3, a ), (4, c)} A B f = {(a,3), (e,4), (i,5), (b,7), (o,8), (u ,8), (c,9)}
(a) Encontrar (f o g)(1), (f o g)(3) y (f o g)(4) (si es posible). (b) g o f es funcin? 2) Sean f, g y h funciones en R definidas por f(x) = 2x; g(x) = x2; h(x) =x + 1. Encontrar, si es posible, f o g, g o f, (f o g) o h y f o (g o h).

El concepto de funcin compuesta permite encontrar la funcin inversa de una funcin biyectiva dada. Adems, permite comprobar que para toda funcin biyectiva f
existe una nica funcin biyectiva g tal que g es la funcin inversa de f. Por ser f
1

biyectiva su inversa, anotada f

, es biyectiva.

11. Algunas Proposiciones Importantes

1.- La compuesta de funciones sobreyectivas es tambin sobreyectiva. 2.- La compuesta de funciones inyectivas es tambin inyectiva. 3.- La compuesta de funciones biyectivas es biyectiva. 4.- Sean f : A B y g : B C funciones tales que g f es biyectiva, entonces f es inyectiva y g es sobreyectiva.
Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

18

5.- Sea f : A B funcin. Si existe g : B A tal que g f = IA entonces f y g son biyectivas y cada una de ellas es la inversa de la otra. Del hecho que: g f = IA f es inyectiva y g es sobreyectiva.

f g = IB ,

f g = IB g es inyectiva y f es sobreyectiva.

Ejemplos:

1) Sea f : R R, tal que x x 1 . a) Demustrese que f es biyectiva. b) Hllese f 1 y comprubese que f o f 1 = f 1 o f = iR. 2) Sea g = {( x, y ) / x ; y = x + 7}
a) Determnese el Dom(f) y el Rec(f). b) Discrimine la posibilidad de hallar una funcin h tal que h o g = g o h = iR. 3) Sea A = {x / x es la letra de la frase "volar en avioneta"} y sea g : A A definida por g = {(x, x) / x no es vocal} {(a, o), (o, a), (e, i), (i, e)}. a) Es g funcin? Es biyectiva? b) De ser g biyectiva, determine g 1 .

(iii)

Escribamos g de la manera siguiente: vo la r g = va lo r in avea ni to en avio ne ta

(iv) Si g-1 existe escrbela como en (iii) y tambin g o g-1 y g-1 o g

4) De manera anloga al ejemplo 3) anterior defina nuevas frases y si fuera factible idee algn mensaje cifrado.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

19

Autoevaluacin A. Relaciones
1.Dar una frmula para cada relacin y expresar los elementos del dominio y del

conjunto imagen en cada caso: (a) T 1 2 D 3 6 3 9 4 12 5 15 6 18 v u 4 2 (b) 8 12 16 4 6 8

(c) H 1 S 35 2 70 3 4 s t 4 3

(d) 6 5 8 7

105 140

(e) X 2 Y 6 3 7 4 8 5 9 x y 3 8

(f) 4 10 5 12

2.- Trazar la grfica para cada relacin definida en el dominio A={-2, -1, 0, 2}. a) G ={(x,y) / y = x}. b) G ={(x,y) / y = x2 x}. c) G ={(x,y) / y = x }. d) G ={(x,y) / y = x2 - x }.

3.- Determine dominio e imagen en cada uno de las siguientes relaciones. a) {(0, 2), (1, 3), (2, 4)}. b) {(1, -1), (2, 0), (3, 1)}. c) {(5, 0), (-2, 3), (5, 1), (3, 6)}. d) {(-5, 4), (4, -4), (6, 4), (-7, -4)}. e) {(-6, -1), (-8, -2), (-9, -1), (-10, -2)}.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

20

4.- Para cada tabulacin dar una frmula y con ella completar la tabla. a) Costo de la bencina. Litros Pesos 2 ? 4 5 10 7 13 ?

144 216 ? 360 720 866

b) Paralelgramo. Altura Area 4 5 ? 9 ? 10 ? 20 ?

28 35 49

70 105

c) Metros 1 Pie ? 2 6,56 3 9,64 4 ? ? 19,68

d) x y 1 0 ? 0 3 ? 4 0 ? 0

e) p q -2 2 -1 1 1 1 3 3 7 ?

f) x y 1 5 3 9 5 ? 7 17

5.- Qu propiedades tiene la siguiente relacin: a) "a divide a b". b) "Padre a hijo". c) "Ser amigo de".
Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

21

6.- Es el paralelismo una relacin de equivalencia? y la perpendicularidad?.

7.- Determnese las propiedades que satisfacen las siguientes relaciones definidas en el conjunto A = {1, 2, 3}. a) R1 = {(1, 2), (3, 2), (2, 2), ( 2, 3)}. b) R2 = {(1, 2), (2, 3), (1, 3)}. c) R3 = {(1, 1), (2, 2), (2, 3), (3, 2), (3, 3)}. d) R4 = {(2, 3)}. e) R5 = {(2, 2)}. f) R6 = {(1, 1), (2, 1), (2, 2), (3, 2), (2, 3)}. g) R7 = A A. 8.- Las relaciones siguientes son definidas en N. Qu propiedades satisfacen? a) R1 = {(x, y) : x y }. b) R2 = {(x, y) : x + y = 8 }. c) R3 = {(x, y) : mcd{x, y} = 1}. 9.- Sea A = {1, 2, 3, 4, 5}. Determnese y estudie sus propiedades en cada una de las siguientes relaciones definidas en A: a) R1 tal que a R1 b si y slo si a + b es un nmero par. b) R2 tal que a R2 b si y slo si ab es un nmero par. c) R3 tal que a R3 b si y slo si a es divisible por b. d) R4 tal que a R4 b si y slo si a = b. e) R5 tal que a R5 b si y slo si a + 2 = b. f) R1 R2
g) R2 R 1 1

h) R5 R4 i) R2 (R1 R3)-1. 10.- Demustrese que las relaciones definidas en cada caso es una relacin de equivalencia. a) R definida en Z por: (x, y) R x - y es un entero. b) R definida en N Npor: (x, y) R (u, v) x + v = y + u. c) R definida en N N por: (x, y) R (u, v) x v = y u. d) R definida en R R por: (x, y) R (u, v) x = u.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

22

e) R definida en R R por: (x, y)R(u, v) kZ tal que x-u=ka , y-v=kb ; donde a, b son nmeros reales.

Autoevaluacin B. Funciones
1.- Para cada una de las relaciones de A en B siguientes, examinar si son funciones de A a B.
i) A B ii) A B

iii)

iv)

v)

vi)

2.- Los siguientes diagramas cartesianos representan relaciones de R en R i) Hallar la(s) imagen(es) de 0, de 1, de 1.

ii) Hallar la(s) pre-imagen(es) de 0, de 1, de 1.

iii) Determinar el dominio y el recorrido.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

23

iv) Determinar si son funciones de R a R

a) 1

b)

-1

c)

d)

1 -1

-1 -1

e) 1

f) 1

-1

-1

-1

-1

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

24

g)

h)

-1 - 1 -1

i) 1

j)

-1 -1

k)

l)

-1

-1

3.- Determinar si la relacin R de R a R es funcional. En caso de que lo sea, determine su dominio y su recorrido. R est definida por x R y ssi i) iv)

y = x xy = 1

ii) v)

x+y =1 xy =0

iii) vi)

x=y x + y =1

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

25

vii) x + y = 0

viii) xy +3y =2

ix) xy 3x = y

4.- Es la relacin R definida por: x R y si x + y = 8 una relacin funcin de: i)

Na N

ii) R a R

iii) Z a N vi) R+ a R-

iv) R+ a R

v) R a R-

5.- f designa a la funcin de E a F, qu significa las afirmaciones siguientes: i) x E , y F , y = f ( x) ii) y F , x E , y = f ( x) iii) y F , x E , y = f ( x) Se puede tener x E , y F , y = f ( x) ?

6.- Sea f la aplicacin de E={a, b, c, d } a F={r, s, t, u } cuya representacin grfica es: E F

a b c d

r s t u

Sean A = {a, b} B = {r, s} A ={c, d} A B ={s, t, u}

Determinar los siguientes conjuntos: i) {x F / f(x) B} {x E / f(x) B} ii) {y F / {y F /

x A , y = f(x)} x A , y = f(x)}

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

26

{x E / f(x) B B}

{y F /

x A A , y = f(x)}

7.- Sea X = { 1, 2, 3, 4 }. Cuales de las siguientes relaciones es una funcin de X en X. a) f = {(2, 3), (1, 4), (2, 1), (3, 2), (4, 4)}. b) g = {(3, 1), (4, 2), (1, 1)}. c) h = {(2, 1), (3, 4), (1, 4), (4, 4)}. 8.- Cuales de las siguientes relaciones definidas de A en B son funciones inyectivas , cuales son funciones sobreyectivas?. Donde A = {1, 2, 3, 4, 5} y B = {a, b, c, d, e}. a) f = {(1, a), (2, b), (3, c), (4, d), (5, a)}. b) g = {(1, a), (2, c), (3, d), (4, b), (5, e)}. c) h = {(1, b), (2, a), (3, e), (4, a), (5, b)} d) p = {(1, a), (2, a), (3, a), (4, a), (5, a)}. e) q = {(1, c), (2, d), (3, a), (4, d), (5, b)} 9.- Cuntas funciones se pueden definir sobre un conjunto de 1, 2, 3, ..., n elementos? Cuntas se pueden definir inyectivas? Cuntas se pueden definir sobreyectivas?. 10.- Sean f RR y g RR tales que f(x) = 2x + 1 y g(x) = x2 2. Defnanse las funciones compuestas g o f y f o g. 11.- Es la funcin f del ejercicio 10. biyectiva?. Si no lo es, hacer las restricciones para que lo sea. 12.- Es la funcin g del ejercicio 10. biyectiva?. Si no lo es, hacer las restricciones para que lo sea. 13.- Sean f y g funciones en R tales que f(x)=2x2 3 y g(x)= 3x 1. Determine: a) g(g(5)) e) ((g o f) o f)(35) b) g(f(a-1)) f) f(x-1) g(2x). c) f(g-1(3))

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

27

Respuesta de algunos de los problemas planteados en las autoevaluaciones Relaciones

1.- (a) R = {(x, y) / xT y = 3x} = {(x, 3x) / xT }. 3.- (a) Dom R = {0, 1 , 2} , Im R = {2, 3, 4}. 5.- (a) Es de orden total.

Funciones
1.- (i ) No. 2.- (i. a.) de 0 es 1 y 1 ; de 1 es 0 ; de 1 es 0. 3.- (i ) Si. Dominio e imagen es R. (v ) Dominio e imagen es R. (recuerde que si xy = 0 x=0 y=0). 6.- (i. a) {a, b, c} 7.- c 11.- Si. 12.- No, no es inyectiva. 13.- (a) 41 ; (c) 5 9 ; (ii. a) {r, s}.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

28

BIBLIOGRAFA

Abellanas, M. y Lodares, D., 1991, Matemtica Discreta. Editorial Macrobit, Mxico. Courant, R., 1971, Introduccin al Clculo y al Anlisis Matemtico. Tomo I. Editorial Limusa-Wiley, Mexico. De Lorenzo, Javier.,1972, Iniciacin a la Teora intuitiva de conjuntos. Editorial Tecnos, Espaa. Fraleigh, J., 1984, Clculo con Geometra Analtica. Ed. Panamericana, Mxico. Grimaldi, Ralph P., 1998, Matemticas discreta y combinatoria. Addison-Wesley Iberoamericana, Mxico. Lang, Serge., 1981, lgebra Lineal. Ed. Fondo Educativo Interamericano, Mxico. Leithold, Louis., El Clculo con Geometra Analtica. Editorial HARLA (Harper and Row Latinoamericana), Mxico. Liu, C. L.,1995, Elementos de Matemticas Discretas. Ed. Mc Graw-Hill, Mxico. Oubia, Lia, 1967, Introduccin a la teora de conjuntos, E. Universitaria de Bnos. Aires. Robledo, Alamiro., 1973, Lecciones de Algebra Elemental Moderna, Tomo I. Editorial Universitaria, Chile. Ross, K. & Wright, 1993, Matemticas Discreta. Ed. Prentice-Hall H., Mxico. Suppes, P. & Hill, S., Introduccin a la lgica matemtica. Editorial Revert S. Suppes, Patrick, 1968, Teora axiomtica de conjuntos, Editorial Norma.

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.

29

Eduardo Cabrera De A., 2003, TDM Lenguaje Matemtico, UPLA.