GUSTAVO A.

DUFFOUR
58





Joseph Louis
Lagrange

(Italia, 1736-1813)





Habitualmente se considera que Joseph
Louis Lagrange era un matemtico francs,
pero la Enciclopedia italiana se refiere a l
como un matemtico Italiano, lo cual es muy
razonable, pues Lagrange naci en Turn y fue
bautizado con el nombre de Giuseppe Lodovico
Lagrangia.

Una especulacin insensata, llevada a
cabo por su padre, abandon a Lagrange a sus
propios recursos a una edad temprana. Pero este
cambio de fortuna no result ser una gran
calamidad, pues de otro modo dijo l tal vez
nunca hubiera descubierto mi vocacin.

Pas sus primeros aos en Turn, su
activa madurez en Berln y sus ltimos aos en
Pars, donde logr su mayor fama. A los
diecisis aos de edad fue nombrado profesor
de matemticas en la Escuela Real de Artillera
de Turn, donde el tmido muchacho que no
posea recursos de oratoria y era de muy pocas
palabras mantena la atencin de hombres
bastante mayores que l.

Lagrange estaba dispuesto a apreciar el
trabajo sutil de los dems, pero estaba
igualmente capacitado para descubrir errores.
En una temprana memoria sobre las
matemticas del sonido seal defectos, incluso
en la obra de Newton. Otros matemticos lo
reconocan, sin envidia, primero como su
compaero y, ms tarde, como el mayor
matemtico viviente.
Desde la antigedad, el hombre ha observado que distintos objetos y
fenmenos que aparecen en la naturaleza estn relacionados entre s, lo que posibilita
establecer una correspondencia de causa-efecto entre ellos.

Imagnese una funcin como
una mquina que le hace
corresponder a un elemento de un
primer conjunto, un elemento bien
definido de un segundo conjunto.
As tambin, es posible usar dos o
ms mquinas (funciones), de
forma tal que el resultado de la
primera mquina alimente a la
segunda mquina (funcin de
funcin).

Por lo tanto, una funcin es
una regla de correspondencia que
asocia a cada objeto x, de un
conjunto llamado dominio, un nico
objeto f(x) de un segundo conjunto.
Esta definicin no impone
restricciones a los conjuntos
citados, pero no permite que a una
entrada le corresponda ms de una
salida.

La teora de funciones se
convirti en el problema preliminar
del anlisis infinitesimal. El
concepto de funcin tena dos
aspectos: la funcin como
correspondencia y la funcin como
expresin analtica. En el
transcurso de los aos treinta y
cuarenta del siglo XVIII, en lo
fundamental gracias a Euler, fue
cuando se elabor, sistematiz y
clasific la teora de las funciones
elementales analticas.

Pero el trabajo ms serio fue:
Teora de las funciones analticas, de
Lagrange.

En la actualidad, el concepto
de funcin es una nocin
matemtica fundamental en todas
las ciencias. Ya sea en Fsica,
Qumica, Mecnica, Medicina,... el
estudio de numerosos problemas
conduce a establecer frmulas
(funciones) que permiten relacionar
dos (o ms) cantidades variables.

MATEMTICA DE QUINTO
59
Comnmente se habla de
cuplas, por ser pares
ordenados: (a, b) o (x, y).

Pueden ser ternas, con
tres elementos: (a, b, c).

En general se hablar de
n-uplas con n elementos.

4


RELACIONES
Y FUNCIONES




1 PAR ORDENADO

En este captulo se va utilizar un nuevo
concepto, el de par ordenado o cupla, o sea,
dos elementos tomados en un orden.

Con el par ordenado (a, b) se indicar
que el elemento a se considera en el primer
lugar y el b en segundo lugar.

Recurdese que el par ordenado se
escribe entre parntesis curvos.

Dos cuplas son iguales si y solo si el primer componente de una es igual al primer
componente de la otra, y el segundo componente de una es igual al segundo componente de
la otra.
(a, b) = (c, d) si y solo si a = c y b = d

Es necesario no confundir el conjunto C = {a, b}, formado por dos elementos, con la
cupla (a, b), pues se cumple:
{a, b} = {b, a} pero (a, b) (b, a) si a b

2 PRODUCTO CARTESIANO

2.1. DEFINICIN

A partir de dos conjuntos (no vacos) A y B, es posible definir un nuevo conjunto
formado por todas las cuplas que se puedan formar, donde el primer elemento pertenece a
A y el segundo a B.
Se llamar producto cartesiano de dos conjuntos A y B, al conjunto de todas las
cuplas (a, b) tales que aA y bB.


A B = {(a, b) / aA bB}


Si el conjunto A es de m elementos y el conjunto B es de n elementos, el
conjunto producto A B es de m n cuplas.
GUSTAVO A. DUFFOUR
60


EJEMPLO: Dado A = {2, 4, 6} B = {m, n, q} hallar A B


Una manera segura de hallar el producto cartesiano entre dos conjuntos es disponer
sus elementos en forma de tabla o cuadro de doble entrada, formando una columna con los
elementos del primer conjunto y una fila con los del segundo conjunto.

m n q
2 (2, m) (2, n) (2, q)
4 (4, m) (4, n) (4, q)
6 (6, m) (6, n) (6, q)

La extensin de: A * B = {(2, m), (4, m), (6, m), (2, n), (4, n), (6, n), (2, q), (4, q), (6, q)}



EJEMPLO: Dado A = {a, b, c} hallar A * A

El producto cartesiano puede efectuarse entre los elementos de un solo conjunto,
formando todos los pares ordenados posibles con los elementos de ese conjunto.

a b c
a (a, a) (a, b) (a, c)
b (b, a) (b, b) (b, c)
c (c, a) (c, b) (c, c)

La extensin de: A * A = A
2
= {(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)}

Antes de continuar, es conveniente hacer
el ejercicio 46, de la pgina 72.
























Examen 5 Humanstico
Diciembre 1987, Liceo de Solymar

Nos proponemos fabricar distintos tipos de zapatos (pares), pudiendo
elegir sus especificaciones entre los elementos de los siguientes conjuntos:

Conjunto de cueros: A = {cabrito, antlope, potro, sinttico}
Conjunto de suelas: B = {cuero, goma}
Conjunto de estilos: C = {balmoral, derby, mocasn}
Conjunto de colores: D = {negro, marrn, blanco}

a) Dar tres ejemplos en forma de n-uplas ordenadas, de tipos de
zapatos posibles con dichas especificaciones.
b) Hallar el nmero total de tipos diferentes que se pueden fabricar con
dichas especificaciones.
c) Cuntos zapatos con suela de goma hay una vez fabricados todos?
Vanse los resultados en la pgina 472.
MATEMTICA DE QUINTO
61
2.2. PROPIEDADES DEL PRODUCTO CARTESIANO

1) En el caso de tener en cuenta al conjunto vaco.
El producto cartesiano entre dos conjuntos tiene como resultado el conjunto vaco, si
por lo menos uno de los conjuntos es vaco.

Sean los conjuntos E y F; E * F = si y solo si E = y/o F =


2) El producto cartesiano es distributivo con respecto a la unin y con respecto a la
interseccin de conjuntos.

A * (B C) = (A * B) (A * C) A * (B C) = (A * B) (A * C)


3) El producto cartesiano no es conmutativo.

Si A $ , B $ , A $ B, A * B $ B * A


4) Si #(A) y #(B) son finitos: #(A * B) = #(A) * #(B)

El nmero de cuplas del producto cartesiano es igual al producto del nmero de
elementos de los conjuntos que forman el producto cartesiano.

Entre varios conjuntos finitos se cumple: #(A * B * C) = #(A) * #(B) * #(C)



3 RELACIN BINARIA




Dados dos conjuntos A y B, se llama
relacin binaria R de A en B, a una ley o
criterio que hace corresponder a elementos de
A, elementos de B.


Toda relacin binaria de un conjunto A en un conjunto B es un subconjunto del
producto cartesiano A*B.

O sea que: R es una relacin de A en B % R C A * B

De modo que una relacin binaria es un conjunto de cuplas, tal que sus elementos
cumplen una determinada propiedad.


La relacin binaria R de A en B se anota: R = {(a, b) / (a, b) A * B, a R b}



Una relacin binaria R se puede establecer entre los elementos de un solo conjunto.

Se anota: R = {(a, b) / (a, b) e A * A, a R b}
B A
R
GUSTAVO A. DUFFOUR
62
Los conjuntos A y B donde se define la relacin binaria, se denominan:

A: conjunto de partida. B: conjunto de llegada.

Cada uno de los elementos aeA, que tiene su correspondiente en B, se denomina
preimagen de beB. El conjunto de todas las preimgenes se denomina dominio de la
relacin, y se anota D(R). El dominio de una relacin no necesariamente es igual al conjunto
de partida.

Los elementos beB que tienen por lo menos una preimagen se llaman imagen de
aeA. El conjunto de todas las imgenes se denomina recorrido de la relacin, y se anota
R(R). El recorrido de una relacin no necesariamente es igual al conjunto de llegada.








Si (1, 3) f se dice que 3 es la imagen de 1, y se escribe f(1) = 3

Si ( 4, 7) f se dice que 4 es la preimagen de 7, y se escribe f( 4) = 7






EJEMPLO: Dados los conjuntos: A = {2, 3, 5, 8, 9} B = {3, 4, 6, 7, 9}
y la relacin R = {(x, y) / (x, y)eA * B, y = x + 1}
1) Hacer un diagrama de la relacin.
2) Expresarla por extensin.
3) Determinar el dominio y el recorrido.

La relacin definida por comprensin es: R = {(x, y) / (x, y)eA * B, y = x + 1}

1) Diagrama









2) La relacin definida por extensin es: R = {(2, 3), (3, 4), (5, 6), (8, 9)}

3) Dominio de R. Recorrido de R.
D(R) = {2, 3, 5, 8} R(R) = {3, 4, 6, 9}


Son las preimgenes. Son las imgenes.
B
2
A
3
5
9
8
3
4
6
9
7
MATEMTICA DE QUINTO
63
En la prctica de trabajo con
funciones se toleran ciertas
simplificaciones, tales como
hacer coincidir el conjunto
de partida con el dominio.

Cuando no se especifica el
dominio de una funcin real,
siempre se supondr que es
el mayor conjunto de
nmeros reales para los
cuales la funcin tenga
sentido.

4 FUNCIONES

4.1. INTRODUCCIN

Existencia. Se dice que una relacin cumple
existencia si todos los elementos del primer
conjunto tienen, por lo menos, un
correspondiente en el segundo. O sea, si su
dominio es igual al conjunto de partida.

Unicidad. Se dice que una relacin cumple
unicidad si cada elemento del dominio tiene
una y una sola imagen.

Una relacin que cumpla unicidad y
existencia se dice que es una relacin
funcional o, simplemente, una funcin.




4.2. DEFINICIN


Una relacin f entre elementos de un conjunto A y elementos de un conjunto B es
una funcin de A en B, si y solo si se cumplen las dos condiciones siguientes:


t xeA E yeB / (x, y)e f (existencia)

(x, y) e f y (x, z) e f 6 y = z (unicidad)


4.3. NOTACIN

Las funciones se nombran con una
letra generalmente la f. Cuando es necesario
hablar de varias funciones, se usan: g, h ...
Es posible usar cualquier letra, salvo la x y
la y, para evitar confusiones, pues estas
generalmente indican nmeros reales. En
este caso, la letra x que representa a los
elementos del conjunto preimagen (dominio),
se llama variable independiente.


Si f es la funcin, entonces el nmero
que f asocia con x, se designa f(x). El
conjunto de valores de f(x) se llama
recorrido de la funcin. Recurdese que el
smbolo f(x) solamente tiene sentido cuando
x pertenece al dominio de f; para otros x
el smbolo f(x) no est definido.

Pues f representa la funcin,
o sea, el conjunto de pares
ordenados.

Y f(x) es solo el segundo
componente de cada par.
GUSTAVO A. DUFFOUR
64
A R1 B
A R2 B
No es funcin la relacin R3 dibujada,
porque a un elemento de A le
corresponden varios en B.
A R3 B
No es funcin la relacin R4 dibujada,
porque hay elementos en A que no tienen
un correspondiente en B.
A R4 B
Es costumbre escribir y = f(x)

Ello significa: y es el valor que la funcin f asigna al elemento x. La letra y que
representa los elementos del conjunto imagen (recorrido) se llama variable dependiente.


f A B
O sea, f: A B es una funcin
xA existe un nico yB / (x, y)f



NOTA

En la prctica de trabajo se toleran algunas abreviaciones,
tales como hablar de la funcin y = f(x) la cual confunde
en rigor un nmero y una funcin, pero a pesar de todo
resulta muy cmodo su uso.
En este libro, en la mayora de los casos se usar la forma
abreviada, dada por el siguiente ejemplo:

f: f(x) = x
2
+ 3x

Se sobreentiende que est definida: D(f) D(f)




Los siguientes diagramas R1 y R2 son relaciones funcionales:























MATEMTICA DE QUINTO
65
x

f(x)
O
b
a



















Es el sistema formado por dos
ejes perpendiculares x y cuyos
orgenes coinciden en el punto O.

Comnmente se considera al eje
x el horizontal, graduado
positivamente hacia la derecha, y el
eje y el vertical, graduado
positivamente hacia arriba.

A cada punto P del plano le
corresponde uno y solo un par de
valores (a, b) llamados
coordenadas cartesianas o
rectangulares del punto P.

Cuando se representa un punto
en el plano, con un par de
nmeros reales (a, b), se conviene
que la abscisa a se escribe en
primer lugar, y la ordenada b, en
segundo lugar.

Por esa razn se considera a
(a, b) como un par ordenado.

El origen O tiene como
coordenadas (0, 0).

Los puntos sobre el eje x tienen
por coordenadas (x, 0).

Los puntos sobre el eje y tienen
por coordenadas (0, y).
P
5 REPRESENTACIN
GRFICA DE FUNCIONES


Se llama representacin grfica de una
funcin f al conjunto de puntos del plano
cuyas coordenadas (x, f(x)) pertenecen a f.
Es una muy buena manera de poder visualizar
a todas las parejas (x, f(x)) f.

Cada vez que se haga referencia a la
representacin grfica de una funcin en un
sistema de coordenadas cartesianas, se
anotar por Gra(f).

No son funciones las representaciones
grficas siguientes, porque existen valores de
la variable x a los cuales les corresponden
dos valores funcionales.

























Estas representaciones grficas
sugieren una regla:


Para que un dibujo sea la representacin
grfica de una funcin f, cada recta vertical
debe cortar al dibujo en un solo punto.


x

O
x

O
GUSTAVO A. DUFFOUR
66




















6 CLASIFICACIN
DE LAS FUNCIONES

El estudio del conjunto imagen
permite distinguir diferentes tipos de
funciones.



Sobreyectiva










Una funcin f del conjunto A en el
conjunto B se llama sobreyectiva si todo
elemento de B es imagen de, por lo menos, un
elemento de A.

Esto significa que todo elemento beB
tiene, por lo menos, una preimagen en A.
Puede darse el caso de que haya dos o ms
elementos diferentes por preimagen.

Otra manera de indicar que una funcin
es sobreyectiva, es afirmar que el recorrido
coincide con el conjunto de llegada.

B
A



Responder verdadero
o falso, y justificar
la respuesta.

Sea f: / f(x) = x
2


1) f es una funcin.

2) La nica preimagen de 9 es 3.

3) f es una funcin inyectiva.

4) f es una funcin sobreyectiva.

5) Existe un elemento del
dominio cuya imagen es 5.

6) Hay nmeros naturales que no
tienen preimagen.

7) f no es biyectiva.


Vanse los resultados en la pgina 472.
La palabra funcin fue introducida por Leibniz,
que utilizaba este trmino para designar cierto
tipo de frmulas matemticas.
Para los matemticos del siglo XVIII, el
concepto de relacin funcional estaba ms o
menos identificado con la existencia de una
frmula matemtica sencilla que expresara la
naturaleza exacta de esa relacin.
Este concepto result demasiado restrictivo
para las necesidades de la fsica matemtica, por
lo que la idea de funcin debi pasar por un largo
proceso de generalizacin y clarificacin. Gottfried Leibniz
Alemania, 16461716
MATEMTICA DE QUINTO
67



Examen 5 Humanstico
Febrero 1990, Liceo de Solymar

Sean los siguientes conjuntos definidos por comprensin.

A = {x / xe, 1 < 3x + 2 < 5} B = {x / xe, 5 < 2x + 3 < 9}
C = {x / xe, 5 < 5x + 10 < 5}

a) Expresar A, B y C como intervalos de reales.
b) Expresar por comprensin o como intervalo de reales:
1) A B C 2) A B
c) Sean las funciones: f
1
: A ? f
2
: B ? f
3
: C ?
definidas por la regla: a cada nmero se le asigna su cuadrado.
Clasificar en inyectivas o no, y justificar la respuesta.
d) Hallar el o los intervalos mximos de reales (dominio), donde la
frmula f(x) = x
2
define una funcin inyectiva.
Vanse los resultados en la pgina 472.
Inyectiva

Una funcin f es inyectiva si, dados los
elementos a y b del conjunto A, distintos
entre s, sus imgenes f(a) y f(b) son
distintas.

Pero pueden existir elementos b e B que
no tengan ninguna preimagen en A.



Biyectiva

Una funcin f del conjunto A en el
conjunto B, que sea simultneamente
sobreyectiva e inyectiva, se llama biyectiva.

Todo elemento beB es la imagen de un
nico elemento aeA y, adems, si:

a b f(a) f(b)

En este caso, se expresa que dos elementos cualesquiera de B tienen como
preimagen dos elementos distintos de A.

Una funcin puede ser ajena a esta clasificacin.

Antes de continuar, es conveniente hacer
los ejercicios 47 al 53, de la pgina 72.


























B
A
B
A
GUSTAVO A. DUFFOUR
68
f


1

f
A
B
Dominio de f
Recorrido de f
7 FUNCIN INVERSA


Dada una funcin f biyectiva, del
conjunto A en el conjunto B, se llamar inversa
de f y se designar por f
1
al conjunto de todos
los pares (f(x), x) para los cuales el par (x, f(x))
pertenece a f.


Se anota: f
1
(x)

















EJEMPLO: Dada la funcin:
{ } { }
x
y
x
f : /
2 1
2
=

+
, hallar f
1





Para hallar la inversa, se despeja la x.

x
y
x 2
=
+
y(x + 2) = x yx + 2y = x

yx x= 2y x(y 1) = 2y
y
x
y
2
1

y
y
y
1 2
f ( )
1

=

x
x
x
1 1 2
f : f ( )
1

=

En la funcin inversa se
usa el ndice superior ( 1) en
una forma nueva.
El smbolo f
1
no
significa
1
f
, como podra
esperarse, sino que se usa
para indicar la funcin
inversa.

Por ello es necesario
distinguir entre la funcin
inversa f
1
y la recproca de
una funcin:

( )

1
1
f ( ) f( ) x x

( )
1 1
f( ) =
f( )
x
x

Cmo encontrar la
frmula funcional de f
1
a
partir de f?

1) Resolver la ecuacin
y = f(x) despejando x
en funcin de y.

2) Usar f
1
(y) para
denominar la expresin
resultante en y.

3) Sustituir la variable y
por x para obtener la
frmula funcional de
f
1
(x).
1
2
3
MATEMTICA DE QUINTO
69

Responder verdadero
o falso, y justificar
la respuesta.

a) Si f: tiene inversa,
entonces la ordenada de la
interseccin de la
representacin grfica de f
con el eje y, es igual a la
abscisa de la interseccin
de la representacin grfica
de la funcin inversa de f
con el eje x.


b) No hay funcin real inversa
de s misma.


c) Toda grfica en un sistema
de ejes coordenados
rectangulares es una
funcin.


Vanse los resultados en la pgina 472.

Propiedades

1) Solo las funciones biyectivas tienen
inversa.
Sin embargo, existen otros casos en que
es posible definir la inversa restringiendo
adecuadamente el dominio de la funcin f.


2) Es usual al hallar la inversa, intercambiar
las letras x e y, de tal modo que x
represente la variable independiente.

En este caso, las representaciones
grficas de una funcin y su inversa son
simtricas respecto a la funcin lineal
g: g(x) = x.

Vase el ejemplo de la pgina 308.


3) Si se efecta dos veces la simetra
respecto a la diagonal del primer
cuadrante, se vuelve al punto de partida.
Eso significa que:
( )
1
1

= f f

Esta igualdad tiene una consecuencia
importante. Si f es una funcin uno a
uno, entonces tambin la funcin f
1
es
uno a uno, puesto que (f
1
)
1
es una
funcin.





















DESAFO OLMPICO



XVII OLIMPADA MATEMTICA DEL URUGUAY
Segunda instancia 2002. Nivel 5

Se define f: tal que: f(0) = k
f(n) = f(n 1) + 20n si n > 0

Hallar k sabiendo que f(13) = 1996

Vase el resultado en la pgina 472.
GUSTAVO A. DUFFOUR
70
8 FUNCIN COMPUESTA

Dadas dos funciones f y g tales que:
g: A B f: C D, sea E = {x / xA y g(x)C}
Se llama funcin compuesta a la funcin fog: E D / fog(x) = f(g(x))


Para cada valor xE se tiene
un valor de g(x)C y para cada
valor g(x)C se tiene un valor
f(g(x))D.

Es de fundamental importancia
para la existencia de la funcin
compuesta que: Im(g) D(f)







PROPIEDADES

1) La composicin de una funcin invertible con su inversa resulta la funcin
identidad.
f(f
1
(x)) = x

2) La funcin compuesta de dos funciones biyectivas tambin es biyectiva.

3) La composicin de funciones es asociativa: ( ) ( ) f g h f g h

=

4) Ntese que la composicin de funciones no es conmutativa.

g(f(x)) generalmente es diferente de f(g(x)) e incluso puede no existir.




EJEMPLO: Sean las funciones: g: ? / g(x) = x
2
f: ? / f(x) = 2x + 1

Hallar: g(f(x)) f(g(x)) g(g(x)) f(f(x))


Para encontrar la frmula de la funcin compuesta g con f, o sea g(f(x)), se
sustituye la variable de g por la funcin f g(f(x)) = (2x + 1)
2
y se hacen las cuentas
indicadas: g(f(x)) = 4x
2
+ 4x + 1. Del mismo modo resulta:

f(g(x)) = 2x
2
+ 1 g(g(x)) = x
4
f(f(x)) = 4x + 3



Es conveniente hacer los ejercicios 54 al 56, de la pgina 73,
y contestar las preguntas 1 a 8, de la pgina 71.


Notacin:

f(g(x))

(fog)(x)
A
B
D C
f
g
x g(x) f(g(x))
E
MATEMTICA DE QUINTO
71
9 ALGUNAS PREGUNTAS SOBRE EL TERICO


1) a) Definir producto cartesiano de dos conjuntos A y B.
b) Dados A = {4, 6, 7} B = {a, b, c} hallar A * B.

2) a) Definir el concepto de funcin.
b) Dados los conjuntos A = {1, 2, 3} y B = {a, b, c, d} y las relaciones:
R
1
= {(1, a), (2, c), (3, b)} R
2
= {(1, a), (2, b), (1, c), (3, d)}
R
3
= {(1, d), (2, d), (3, d)}
Indicar si son o no funciones, clasificarlas y justificar.

3) Sean A = {a, b, c} B = {1, 2, 3} f: A ? B / f = {(a, 1), (b, 1), (c, 2)}
g: A ? B / g = {(a, 2), (c, 1), (c, 3)}
h: A ? B / h = {(a, 3), (b, 2), (c, 1)}
i) Graficar las relaciones dadas e indicar si alguna de ellas es una funcin.
ii) Definir el concepto de funcin.
iii) Definir funcin biyectiva e indicar si alguna de las funciones dadas cumple
con la definicin.

4) Sea A = {1, 2, 3, 4} B = { 3, 1, 0, 4, 5}
Determinar por extensin, en caso de ser posible, una relacin de A en B:
i) que no sea una funcin. ii) que sea una funcin inyectiva.
iii) que sea una funcin sobreyectiva.

5) a) Definir funcin inyectiva, sobreyectiva y biyectiva.
b) Dado el conjunto A = {1, 2, 3, 4}
y las funciones f: A B, discutir segn el cardinal de B para que:
i) f sea inyectiva pero no sobreyectiva.
ii) f sea sobreyectiva pero no inyectiva.
iii) f sea biyectiva.

6) Siendo A B = {4, 5} A B = {1, 2, 3, 4, 5, 6, 7} A B = {1, 6}
1) Determinar A y B por extensin.
2) Hallar (A B)'
A B
(A B) * (B A)
3) Determinar las relaciones: R
1
: (A B) ? (B A) / x < y
R
2
: (A B) ? (B A) / x + y = 8
Indicar si R
1
y R
2
son o no funciones.
En caso afirmativo, clasificarla y justificar la respuesta.

7) Dados A = {1, 3, 5, 7, 9, 11} y B = {a, x, i, b, n}
i) Definir una relacin de A en B que no sea funcin.
ii) Definir una funcin de A en B que no sea inyectiva ni sobreyectiva.
iii) Se puede definir una funcin inyectiva de A en B? Justificar.


8) Sea A = {5, 6} B = {1, 2, 3}
Determinar por extensin, en caso de ser posible, una relacin de A en B:
i) que sea una funcin; clasificarla.
ii) que sea una funcin no sobreyectiva.
iii) es posible definir una funcin de A en B biyectiva?
GUSTAVO A. DUFFOUR
72
10 EJERCICIOS PROPUESTOS Vanse los resultados en la pgina 473.


46) Dados los conjuntos A = {3, 5, 8} y B = {m, p}
Determinar por extensin los conjuntos A*B y B*A

47) Dados los conjuntos A = {a, b, c} y B = {x, y, z, w}
Indicar cules de las siguientes relaciones son funciones de A en B y, en caso
afirmativo, investigar si es sobreyectiva, inyectiva, biyectiva.

R
1
= {(a, x), (b, y), (c, w)} R
2
= {(a, w), (b, z), (c, y), (a, x)}

R
3
= {(a, z), (b, y), (c, y)} R
4
= {(a, z), (b, z), (c, z)}

R
5
= {(a, z), (a, y)} R
6
= {(a, x), (b, x), (c, x)}


48) Dado el conjunto A = {0, 1, 3, 5, 7} y f: A B / f(x) = 2x
2
4, hallar el conjunto B
si se sabe que f es una funcin biyectiva.


49) Dado el conjunto E = { 1, 1, 2, 3, 4, 5}
a) Expresar por extensin las siguientes R: E ? E dadas por comprensin.
b) Indicar cules de las siguientes relaciones son funciones de E en E y, en caso
afirmativo, investigar si son sobreyectivas, inyectivas, biyectivas.

R
1
= {(x, y) / (x, y)eE
2
, x = y}
R
2
= {(x, y) / (x, y)eE
2
, y = x + 1}
R
3
= {(x, y) / (x, y)eE
2
, y = x
2
}
R
4
= {(x, y) / (x, y)eE
2
, y < x}


50) Sabiendo que f = {(2, 5), ( 1, 1), (0, 1), (3, 7), ( 2, 3)}
i) Dominio de f. ii) Recorrido de f.
iii) Completar: f(3) = f() = 5 f(0) =


51) Investigar cules de las siguientes relaciones son funciones. En caso afirmativo,
clasificarlas. En caso de no ser funciones, hacer las restricciones necesarias para
que sean funciones biyectivas.
a) h: ? / h = {(x, y) e
2
/ y = 2x}
b) g: ? / g = {(x, y) e
2
/ y =
x
1
}
c) m: ? / m = {(x, y) e
2
/ y = x
2
+ x}
d) j: ? / j = {(x, y) e
2
/ y =
x
x
2
1
}

MATEMTICA DE QUINTO
73
52) Las siguientes representaciones grficas son relaciones de ? . Cules son
funciones? Si son funciones, clasificarlas e indicar su dominio y recorrido.


















53) i) Sea f: ? / f(x) = 3x + 1 g: ? / g(x) = 2x
2
+ x + 1
Hallar: f(g(x)) g(f(x)) g(g(x)) f(f(x))

ii) Sea f: ? / f(x) = 2x 3 g: ? / g(x) = x
3

Hallar: f(g(x)) g(f(x)) g(g(x)) f(f(x))


54) Sea f: {2} ? / f(x) =
x
x
2 6
2
+

a) Hallar: f(f(x))
b) Hallar: f
1
(x)


55) Dadas las funciones f y g de: {1} ? / f(x) = 2x a
x
x
x
g( )
1
+
=

b

i) Hallar a y b sabiendo que f(2) = g(2) y que f( 1) = g( 1) 3
ii) Para los a y b hallados determinar: f
1
(x), g
1
(x)
iii) Hallar: g(f(x)) f(g(x)) g(g(x))



56) Dadas: f(g(x)) = x
2
+ 6x + 8 g(f(x)) = x
2
+ 2
Calcular (f(2))
2







f
6
f
1
f
2
f
3
f
4
f
5