Modulo 1 - Concepto General de Funcion

Proyecto CLAVEMAT EPN
Curso en lnea:
Nmeros y funciones
Mdulo 1: Concepto general de funcin
Contenidos: Juan Carlos Trujillo

Estructura pedaggica: Victoria Novillo
Dibujos: Juan Carlos Trujillo y Victoria Novillo
1 de julio 31 de julio de 2016
ltima actualizacin: 4 de juliode 2016
Captulo 1
El concepto de funcin
En este mdulo estudiars la nocin general de funcin y una breve introduccin a la
familia de funciones lineales (o afines). Adems tendrs un acercamiento a la definicin
de funcin como un subconjunto del producto cartesiano de dos conjuntos.
En los siguientes mdulos aprenders con mayor profundidad las clases de funciones
elementales como cuadrticas, potencias, racionales, trigonomtricas, exponenciales y
logartmicas.
Empecemos con la importante pregutna: qu es una funcin? Es frecuente encontrar
la siguiente definicin en los textos de enseanza de la Matemtica:
Definicin: Funcin
Si A y B son dos conjuntos, una funcin del conjunto A en el conjunto B es una
relacin entre A y B en la cual a cada elemento de A le corresponde un y solo un
elemento de B .
La idea que da origen a esta definicin es la siguiente:
si y representan dos variables, es una funcin de si y solo si a cada

valor de le corresponde un solo valor de .
Antes de explicar la conexin entre la definicin y la idea, estudia los siguientes ejemplos
que ilustran a esta ltima.
Ejemplos
1. La variable
impuesto a la renta anual percibida por una persona
es funcin de la variable
renta o ingresos netos percibidos por una persona en un ao

pues por cada valor que asignes a esta segunda variable, le corresponde un
solo valor a la primera.
En efecto, imagina el contexto impositivo ecuatoriano del ao 2014 resumido
parcialmente en la siguiente tabla de tarifas:
A partir de esta informacin, puedes ver que a cada valor de la variable

renta le corresponde un solo valor a la variable impuesto a la renta. Para
ello, nmbralas con las letras r (renta ) e i (impuesto ), respectivamente. As:
Si una persona ha percibido un ingreso neto de 10 000 dlares durante el
ao 2014, el impuesto que est obligado a pagar (en este caso, a declarar)
es de 0 dlares. Es decir,
para el valor 10 000 de la variable r , a la variable i le corresponde
el valor 0 y ningn otro.
De hecho, la tabla de tarifas impositivas indica que:
a cualquier valor entre 0 y 10 410 dlares que tome la variable r , a
la variable i le corresponde el valor 0 y ningn otro.
Si el ingreso neto de una persona fue, por ejemplo, de 12 521 dlares,
entonces el impuesto causado por esta renta es igual al 5 por ciento de la
diferencia entre 12 521 y 10 410:
Excedente de la fraccin bsica
z
}|
{
(12 521 10 410)
5
100
|{z}
Impuesto fraccin excedente
= 2 111
5
100
= 105.55.
Es decir,
Proyecto CLAVEMAT-EPN
ltima actualizacin: 04-07-2016

el valor 105.55 y ningn otro.
Si una persona tuvo un ingreso neto de 15 000 dlares, el impuesto que
deber pagar es la suma de la fraccin bsica, que es igual a 143 dlares,
y el 10 por ciento de la diferencia entre 15 000 y 13 270:
Excedente de la fraccin bsica
143
|{z}
z
}|
{
(15 000 13 270)
Fraccin bsica
10
100
|{z}
Impuesto fraccin excedente
= 143 + 1 730
10
= 143 + 173 = 316.
100
Es decir,
el valor 316 y ningn otro.
2. La variable
costo de una carrera de taxi

nmero de kilmetros recorridos.

ya que por cada valor que la segunda tome a la primera le corresponde uno
y solo uno.
En efecto, considera la situacin en la ciudad de Quito. En el siguiente cuadro
se indica la tarifa de una carrera de taxi en el ao 2015:
Arranque
0.50
Tarifa de taxis Quito - 2015

Costo por kilmetro recorrido
0.40
Carrera mnima
1.45
A partir de esta informacin, podrs ver que, por cada valor de la variable
nmero de kilmetros recorridos, a la variable costo de la carrera le
corresponde nicamente un valor. Para ello, primero nombra a cada variable
con las letras k y c, respectivamente.
Si una carrera de taxi tuviera un recorrido de dos kilmetros y medio (es
decir, 2.5 kilmetros), entonces el costo sera la suma del arranque, 0.5
de dlar, ms el costo debido al nmero de kilmetros recorridos (cada
kilmetro tiene un costo de 0.40):

arranque
z}|{
0.5 +
costo por km
z}|{
0.4
2.5
|{z}
= 0.5 + 1.0 = 1.5.
kilometraje
Esto quiere decir que,
para el valor 2.5 de la variable k, a la variable c le corresponde el

valor 1.5 y solo ese.
Si una carrera hiciera un recorrido de 12 kilmetros, su costo sera:
arranque
z}|{
0.5 +
costo por km
12
|{z}
z}|{
0.4
= 0.5 + 4.8 = 5.3.
kilometraje
Es decir,
para el valor 12 de la variable k, a la variable c le corresponde un

solo valor: 5.3.
Si el taxi recorriera kilmetro y medio (es decir, 1.5 kilmetros), entonces
el costo sera igual a 1.45 dlares, la carrera mnima, porque en este caso
tienes que
0.5 + 1.5 0.4 = 0.5 + 0.6 = 1.1,
que es menor que 1.45. Una vez ms:
para el valor 1.5 de la variable k, a la variable c le corresponde un

solo valor: 1.45.
3. En muchos lugares de estacionamiento pagado, el costo por dejar un
automvil es de un dlar por cada hora o fraccin (de hora). En este
contexto, la variable
costo por estacionar un automvil

tiempo en horas o fraccin de horas de estacionamiento.

Nombra estas variables con las letras e y t , respectivamente. Por ejemplo:
Si un automvil ha estado estacionado durante 15 minutos (0.25 de hora),
el costo de estacionamiento ser igual a 1 dlar. Es decir,
para el valor 0.25 de la variable t, a la variable e le corresponde el

valor 1 y no otro.
Si el tiempo de estacionamiento de un automvil es de 1 hora y media (1.5

horas), el costo a pagarse ser de 2 dlares: 1 dlar por la primera hora y
otro por la fraccin de la segunda hora. Es decir,
para el valor 1.5 de la variable t, a la variable e le corresponde el

valor 2 y solo ese.
4. La variable
rea de un crculo
est en funcin de la variable
longitud del radio del crculo.

Nmbralas con las letras A y r , respectivamente. Estas dos variables estn
relacionadas a travs de la siguiente igualdad:
A = 2 r 2 .
Esto significa que si r toma un valor, a la variable A le corresponde un y solo
un valor determinado por la frmula. Por ejemplo, si la longitud del radio del
crculo es 2 centmetros, el rea del crculo es
2 22 = 2 4 25.13
centmetros cuadrados. Es decir,
si la variable r toma el valor 2, el valor que le corresponde a la

variable A es 25.13 y ningn otro.
O si el valor de r es 5, el nico valor que le corresponde a A es:
A = 2 52 157.01.
La idea ilustrada con los ejemplos anteriores es captada por la definicin de funcin de
la siguiente manera. Si
la variable es una funcin de la variable ,

entonces
los valores que toman las variables pueden ser vistos como elementos de dos
conjuntos:
el conjunto A, cuyos elementos corresponden a los valores que puede tomar
la variable ;
el conjunto B , cuyos elementos corresponden a los valores que puede tomar
la variable .
El hecho de que
para cada valor que toma la variable haya uno correspondiente a la

variable
establece que
hay una relacin entre los conjuntos A y B.

Finalmente, la condicin de que
a cada valor que toma la variable le corresponde un y solo un valor

de
expresa que
la relacin entre A y B es tal que a cada elemento de A le corresponde

un y solo un elemento de B.
En otras palabras, la idea de funcin no es ms que un caso particular de la definicin

de funcin dada al inicio de este libro.
Es importante comprender tanto la idea como la definicin de funcin. La primera te
ayudar a identificar situaciones que pueden ser descritas con funciones. La segunda,
en cambio, te permitir desarrollar el concepto de funcin a partir del conjunto y
precisar las nociones de relacin y correspondencia. Esto lo hars en los siguientes
libros de esta seccin.
Para finalizar, te presentamos algunos ejemplos adicionales.
Ejemplos
1. En la elaboracin de un cierto tipo de pan, la variable
cantidad de panes
nmero de kilos de harina utilizada

ya que por cada valor que toma esta segunda variable le corresponde un
valor nico a la primera.
En efecto, nombra a cada variable con las letras p y h, respectivamente, e
imagina que en una panadera, para elaborar 12 unidades de pan (de igual
peso y composicin), se utiliza medio kilogramo de harina (0.5 kilogramos).
Esto quiere decir que
12, y no otro, es el valor que le corresponde a la variable p cuando
h toma el valor 0.5.
Tambin significa que, si se utilizan 3 kilogramos de harina (6 medio
kilogramos), se obtendrn
Medio kilogramos
z}|{
6
Panes por kilogramo de harina
z}|{
12
= 72
panes. Es decir,
72 (y ningn otro) es el valor que le corresponde a la variable p
cuando h toma el valor 6.
2. La variable
el precio de una cierta cantidad de camisas de un mismo tipo (tela,

modelo y talla)
el nmero de camisas de un mismo tipo.

3. La variable
estatura de una persona

no es una funcin de la variable
edad de la persona.
En efecto, aunque hay una relacin entre la estatura y la edad de una
persona, esta relacin no es una funcin porque no cumple con la condicin:
por cada valor que toma la variable edad, la variable estatura
puede tomar ms de un valor.
Por ejemplo, hay personas que tienen la misma edad pero estaturas
diferentes: dos amigas tienen 35 aos, pero una de ellas mide un metro
sesenta, mientras que la otra, un metro sesenta y cinco. Es decir,
para el valor 35 de la variable edad, a la variable estatura le
corresponden al menos dos valores, 1.60 y 1.65, y no uno solo.
Captulo 2
La definicin de funcin
En este captulo te presentamos la definicin de funcin, varios conceptos relacionados,
su notacin y el lenguaje adecuado para su referencia.
Para empezar, recuerda la definicin de funcin:
Definicin: Funcin
Si A y B son dos conjuntos, una funcin del conjunto A en el conjunto B es una
relacin entre A y B en la cual a cada elemento de A le corresponde un y solo un
elemento de B .
Para indicar que la letra f representa una funcin de A en B , escribirs as:
f : A B .
El conjunto A se denomina conjunto de salida de f y el conjunto B , conjunto de
llegada de f .
Para simbolizar funciones, utilizars frecuentemente las letras minsculas del
alfabeto espaol (f , g y h) y del alfabeto griego (, y ).
A menudo utilizars un diagrama como el que se muestra a continuacin para explicar,

de una manera sencilla y breve, la variedad de trminos y conceptos en torno a las
funciones:
En este dibujo se resaltan las caractersticas de la definicin de funcin de la siguiente

manera:
1. La direccin de las flechas, desde A hacia B , indican que la funcin es de A en B
(y no de B en A); es decir, el orden en que se enuncian los conjuntos es relevante,
como lo vers ms adelante.
2. El elemento de B que recibe la flecha es el que corresponde al elemento de A, de
donde sale la flecha.
3. En el enunciado a cada elemento de A le corresponde un y solo un elemento de
B de la definicin de funcin hay dos condiciones:
a cada elemento de A le corresponde un elemento en B ; por ello, las
flechas salen de todos los elementos de A: no hay ningn elemento en A
desde donde no salga una flecha.
a cada elemento de A le corresponde solo un elemento en B ; por ello, no
hay ningn elemento de A desde donde salga ms de una flecha.
4. Hay elementos de B que reciben ms de una flecha. Este comportamiento no
contradice las condiciones que definen una funcin: lo importante es que a un
elemento de A le corresponda uno y no ms elementos de B .
5. Hay elementos de B que no reciben flechas. Esta situacin tampoco contradice
las condiciones que definen una funcin; de hecho, este ser un comportamiento
frecuente en las funciones que estudies.
Los siguientes diagramas muestran ejemplos de relaciones entre los conjuntos A y B
que s son funciones:
10
En el caso de g :
a cada elemento de A le corresponde uno en B y solo uno; no importa que el
mismo elemento de B sea el correspondiente de todos los elementos de A
pues la relacin g de A en B igualmente satisface las condiciones que exige la definicin
de funcin.
Para la funcin h, adems de satisfacer las condiciones impuestas por la definicin de
funcin, ocurre que
todos los elementos de B se corresponden con algn elemento de A; hay uno,
adems, que es el correspondiente de dos elementos.
Esta situacin tampoco contradice en modo alguno la definicin de funcin.
Por otro lado, los diagramas siguientes no representan funciones de A en B :
La relacin no es una funcin porque

existe un elemento de A, x , al que no le corresponde elemento alguno en B .
De igual manera, la relacin no es una funcin ya que
a un elemento de A, a, le corresponden dos elementos de B y no solo uno.
11
A continuacin te presentamos las definiciones de los componentes de una funcin y

notacin utilizadas frecuentemente para su representacin.
Definicin: Imagen y preimagen respecto de una funcin
Supn que A y B son conjuntos, y que f : A B .
1. Si f asigna y B a x A, escribirs
y = f (x )
y leers as:
ye es igual a efe de equis.

El elemento y se denomina la imagen de x respecto de f .
2. Una manera alternativa de representar que y es la imagen de x respecto de
la funcin f es la siguiente:
x 7 y .
3. Otra denominacin frecuente para f (x ) es
el valor que toma la funcin f en x .
4. El elemento x de A se denomina la preimagen de f (x ) respecto de f .
Ejemplos
1. Supn que:
(a) A y B son dos conjuntos;
(b) f es una funcin de A en B ;
(c) 3 A y 6 B ; y
(d) f asigna 6 al nmero 3.

Entonces
6 es la imagen de 3 respecto de f .
Por tanto, la proposicin
6 = f (3)
es verdadera, lo mismo que el enunciado
el valor que toma la funcin f en 3 es 6.
12
2. Supn que A y B son dos conjuntos, y : A B . Supn adems que

2 7 8,
2 7 81
y 0 7 1.
Es verdad que (2) = 81 ?

Pues no: puesto que
2 7 8,
entonces la imagen de 2 es el nmero 8. Por tanto, tienes que
(2) = 8.
Y dado que es una funcin, a 2 no le puede corresponder otro elemento que
no sea 8; luego, no le puede corresponder 81 , ya que
81 , 8.
Cul es la imagen de 0 respecto de ? Sabes que
0 7 1;
entonces la imagen de 0 respecto de es igual 1 y puedes escribir:
1 = (0).
Qu valor toma en 2? 81 , ya que
2 7 81 ;
es decir:
81 = (2).
3. Los elementos del conjunto A son los dgitos pares del sistema decimal y los
de B son todos los dgitos del mismo sistema. Entonces
A = {0, 2, 4, 6, 8} y
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}.
Representa con f la siguiente relacin entre A y B :
a un elemento de A f le asigna su mitad.

Es f una funcin de A en B ?
Para responder esta pregunta, debes determinar si la relacin f satisface las
condiciones impuestas en la definicin de funcin; esto es, debes verificar si:
(a) a cada uno de los elementos de A le corresponde un elemento de B ; y
13
(b) a cada uno de los elementos de A le corresponde solo un elemento de

B.
Para ello, inspecciona cada elemento de A. Empieza con 0 A. Puedes ver
que a este s le corresponde un elemento en B : el nmero 0 pues
f hace corresponder a un elemento de A su mitad

y
0
= 0.
2
Al elemento 2 de A le corresponde el elemento 1 de B , pues

2
= 1.
2
A los elementos 4, 6 y 8 de A les corresponden los elementos 2, 3 y 4 de B ,
respectivamente, ya que
4
= 2,
2
6
=3
2
8
= 4.
2
Por tanto, se verifica la primera condicin:
a cada elemento de A le corresponde un elemento de B.

Por otro lado, a cada elemento de A le corresponde nicamente un elemento
de B , porque solo hay un nmero que es la mitad de otro. Esto significa que
tambin se verifica la segunda condicin:
a cada elemento de A le corresponde solo un elemento de B.

Por tanto,
la relacin f s es una funcin de A en B.

Esta afirmacin se expresa tambin en la representacin de f mediante el
diagrama grfico siguiente:
Cul es la imagen de 2 A respecto de f ? Es el nmero que le corresponde

14
a 2: el nmero 1. Luego se verifica la igualdad siguiente:

1 = f (2).
A qu es igual f (8)? Recuerda que f (8) es la imagen de 8 respecto de f ; es
decir, el elemento de B que le corresponde a 8. Ese elemento es el nmero 4.
Por tanto
f (8) = 4.
4. Nombra con D el conjunto de dgitos del sistema decimal. Entonces
D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}.
Si g es la relacin de D consigo mismo que
asigna a un elemento de D su tercera parte,

es g una funcin de D en D ?
Para responder esta pregunta, primero determina si a cada elemento de D le
corresponde un elemento en D . Por ejemplo, al nmero 0 D le corresponde
el 0 D porque
0
= 0.
3
Sin embargo, al nmero 1 D no le corresponde ningn elemento en D pues
1
< D.
3
Puedes, entonces, concluir que g no es una funcin de D en D , ya que hay
al menos un elemento de D al que g no le asigna ningn elemento de D . De
hecho, g tampoco asigna elemento alguno de D a 2, 4, 5, 7 y 8, pues la tercera
parte de estos nmeros no son elementos de D .
El siguiente diagrama de g ilustra tambin que g no es una funcin de D en
D:
5. Los elementos del conjunto D son todos los dgitos del sistema decimal y los
15
del conjunto E , son los nmeros naturales mltiplos de 3 y menores que 20.
Entonces:
D = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y
E = {0, 3, 6, 9, 12, 15, 18}.
Nombra con h la relacin de E en D que
asigna a un elemento de E su tercera parte.

Es h una funcin de E en D ?
Para responder la pregunta, haz el diagrama de h. Para ello realiza los
siguientes clculos:
0
= 0,
3
3
= 1,
3
6
= 2,
3
9
= 3,
3
12
= 4,
3
15
=5
3
18
= 6.
3
Luego, el diagrama es el siguiente:
Como puedes ver, a cada elemento de E le corresponde un y solo un elemento

de D . Por tanto,
h s es una funcin de E en D.
Cul es la imagen de 9 respecto de h? El nmero 3, elemento de D , pues
este es el nmero que h asigna a 9 E . En este caso, puedes escribir
h(9) = 3.
Qu valor toma h en 18? Esta pregunta es equivalente a cul es la
imagen de 18 respecto de h? La respuesta es 6 porque
18
= 6.
3
16
A qu es igual h(15)? Es igual a 5. En efecto, como

15
= 5,
3
tienes que
h(15) = 5.
A qu es igual h(10)? En este caso h(10) no tiene ningn significado porque
10 no es un elemento de E ; es decir, 10 no es un elemento del conjunto de
salida de h.
6. Los elementos del conjunto F son los nmeros naturales menores o iguales
que 5 y los del conjunto E son, los nmeros naturales menores que 20 y
mltiplos de 3. Entonces:
F = {0, 1, 2, 3, 4, 5} y
E = {0, 3, 6, 9, 12, 15, 18}.
Nombra con la relacin de E en F que
a un elemento de E asigna su tercera parte.

Es una funcin de E en F ?
Para responder la pregunta, haz el diagrama de . Obtendrs el siguiente
dibujo:
Como puedes ver, no asigna a 18 E ningn elemento en F pues

18
= 6 < F.
3
Luego,
la relacin de E en F no es una funcin de E en F.

7. Representa el siguiente diagrama una funcin de A en P ?
17
Pues s, ya que a cada elemento del conjunto
A = {delfn, loro, perro, gata, vaca, gallina, halcn}

le corresponde uno y solo un elemento en el conjunto
P = {0, 1, 2, 3, 4, 5}.
Si nombras con esta funcin, es vlido escribir
: A P .
Cul es la imagen de gata respecto de ? El nmero 5. Puedes entonces
escribir
(gata) = 5.
Cul es la preimagen de 2? Son dos: loro y halcn, porque
(loro) = 2
y (halcn) = 2.
Cul es la preimagen de 1? Este elemento de P no tiene preimagen, ya que

a ningn elemento de A le corresponde el nmero 1.
Algunos de los ejemplos anteriores te permiten resaltar tres aspectos importantes en la
definicin de funcin. En efecto, mira los tres siguientes diagramas:
18
Como podrs observar, lo comn de las tres relaciones es que
a cada elemento del conjunto de salida asignan su tercera parte en el

conjunto de llegada.
Sin embargo, solo en el caso de h, la relacin es una funcin. En los otros no, porque hay
elementos del conjunto de salida que no tienen una imagen en el conjunto de llegada:
aquellos elementos de D o E cuya tercera parte no es un elemento del

conjunto de llegada D o F, respectivamente.
Ahora bien, en el primer caso, si eliminaras del conjunto D aquellos elementos cuya
tercera parte no son elementos de D , obtendras una funcin. En efecto, mira el
diagrama que resultara:
En el caso de podras proceder de manera similar; esto es: quitar el elemento 18 de E y

as obtendras una funcin; no obstante, hay otra manera: aade al conjunto de llegada
F el nmero que sera la imagen de 18. Cul? El nmero 6, que es la tercera parte de
18. El diagrama que obtendrs mostrara ya una funcin:
19
Estos tres ejemplos muestran que en la definicin de funcin intervienen tres

componentes :
1. el conjunto de salida,
2. el conjunto de llegada, y
3. cmo se corresponden los elementos del conjunto de llegada con los elementos
del conjunto salida.
A este tercer componente se le conoce con el nombre de ley de asignacin de la
funcin. De manera ms precisa, tienes la siguiente definicin.
Definicin: Ley de asignacin
Si es una funcin de A en B , la ley de asignacin de es la manera cmo
asigna los elementos de B a los elementos de A. Se usa la notacin
x 7 (x )
para su simbolizacin.
Para los tres ejemplos anteriores, la ley de asignacin es:
a cada elemento del conjunto de salida le corresponde su tercera parte.

Nombra con la letra f la funcin de D en D , y con g la funcin de E en F . Entonces la ley
de asignacin para f , g y h es la misma:
x 7
20
x
.
3
Ahora bien, recuerda que f (x ) representa el elemento que f asigna a x . Esto significa,
entonces, que
x
f (x ) = .
3
Lo mismo ocurre para las otras dos funciones:
g (x ) =
x
3
h( x ) =
x
.
3
Sin embargo, los conjuntos de salida y llegada difieren entre las tres. Por ello, para
enfatizar esta diferencia, utilizars la siguiente notacin:
f : D D
x,
x 7
3
g : E F
x,
x 7
3
h : E D
x.
x 7
3
Es decir, de modo general, si es una funcin de A en B , la notacin

: A B
x 7 (x )
indica, adems de que es una funcin de A en B , la ley de asignacin: la manera cmo
asignan los elementos de B a los de A.
Ejemplos
1. Si
entonces
f : N N
x 7 2x ,
f es una funcin que tiene al conjunto de los nmeros naturales N

como conjuntos de salida y de llegada, respectivamente.
Adems, la ley de asignacin de f establece que:
a cada elemento de N le corresponde su doble;

es decir, se verifica la igualdad
f (x ) = 2x
para todos los x N.
Por ejemplo, a 5, que es un elemento de N, le corresponde 10 pues
2 5 = 10.
21
Por tanto, puedes escribir
f (5) = 10;
es decir, la imagen de 5 respecto de f es 10.
Cul es la imagen de 1 respecto de f ? Este nmero no tiene una imagen
respecto de la funcin f , porque 1 no es un elemento del conjunto de salida.
Cul es la preimagen de 100 respecto de f ? En otras palabras, cul es el
elemento del conjunto de salida de f cuya imagen es 100? Es el nmero 50,
pues
f (50) = 2 50 = 100.
Cul es la preimagen de 3 respecto de f ? No existe, ya que el doble de
ningn elemento de N puede ser igual a 3. Si fuera as, es decir, si hubiera un
elemento x N tal que
2x = 3,
entonces, al despejar x , obtendras que
x=
3
,
2
pero, en este caso, x ya no sera un elemento de N. Esto quiere decir que no

hay ningn nmero natural cuyo doble sea igual a 3. En resumen, el nmero
3 no es preimagen de ningn elemento del conjunto de salida de la funcin f .
2. Si
entonces
g : R R
x 7 2x ,
la funcin g tiene al conjunto de los nmeros reales como

conjuntos de salida y de llegada, respectivamente.
Su ley de asignacin establece que
a cada elemento de R le corresponde su doble;

es decir, es verdadera la igualdad
g (x ) = 2x
para todo x R.
Por ejemplo, a 5 le corresponde 10 pues
g (5) = 2 (5) = 10.

Cul es la imagen de 1.9? La ley de asignacin dice que a 1.9 le
22
corresponde
2 1.9,
o sea, 3.8. Por tanto,
g (1.9) = 3.8.
Cul es la preimagen de 3 respecto de g ? Es el elemento del conjunto de
salida cuya imagen es 3; es decir, es el nmero x R tal que
g (x ) = 3.
Pero recuerda que g (x ) = 2x ; por tanto, el nmero buscado x satisface la
igualdad
2x = 3,
de donde
x=
3
.
2
3
Y como s est en el conjunto de salida de g , este nmero es la preimagen
2
de 3 respecto de g .
3. Si
entonces
h : R+ R
x 7 x 2 ,
la funcin h tiene al conjunto de los nmeros reales positivos como

conjunto de salida y al de los nmeros reales como conjunto de
llegada.
La ley de asignacin de h establece que
a cada elemento del conjunto de salida le asigna su cuadrado;

es decir,
h( x ) = x 2
para todo x R+ .
Cul es la imagen de 7 respecto de h? La ley de asignacin dice que, como
7 R+ , entonces
h(7) = 72 = 49.
La imagen de 7 respecto de h es 49.
Cul es la imagen de 17 respecto de h? Como el nmero 17 R+ ,

entonces
2
h( 17) = 17 = 17.
23
Si z R+ , cul es su imagen respecto de h? Pues, como z est en el

conjunto de salida de h, la ley de asignacin de esta funcin dice que le
corresponde su cuadrado: z 2 . Es decir,
h( z ) = z 2 .
Luego, la imagen de z respecto de h es z 2 .
Si u R y u , 0, cul es la imagen de u 2 respecto de h? Recuerda que el
cuadrado de todo nmero real distinto de 0 es mayor que 0; es decir, como
u , 0, entonces
u 2 > 0.
Esto quiere decir que u 2 R+ . Por tanto, la ley de asignacin de h dice que a
2
u 2 le corresponde su cuadrado: u 2 = u 4 . Luego,
h( u 2 ) = u 4 .
Por tanto, la imagen de u 2 respecto de h es u 4 .
Si v R tal que v > 1, cul es la imagen de v + 1 respecto de h? Puesto
que
v > 1,
por la ley aditiva de la relacin mayor que, tienes que
v + 1 > 1 + 1 = 0.
Por tanto,
v + 1 > 0;
es decir, v + 1 R+ . Luego, la ley de asignacin de h dice que a este nmero
le corresponde su cuadrado; as:
h(v + 1) = (v + 1)2 .
Cul es la imagen de 4 respecto de h? Ningn nmero del conjunto de
llegada, porque 4 no pertenece al conjunto de nmeros positivos (es menor
que 0): no est en el conjunto de salida. Por tanto, h no asigna ningn nmero
a 4.
Como puedes apreciar en los ejemplos anteriores,
para definir una funcin, es necesario precisar sus tres componentes:

conjunto de salida, conjunto de llegada y ley de asignacin.
Hay una metfora muy til a la hora de trabajar con funciones y con el clculo de
imgenes de los elementos del conjunto de salida. Es la siguiente:
24
Si
f : A B
x 7 f (x ),
la funcin f puede ser vista como
un procesador de los elementos de A que produce elementos de B segn lo

indica la ley de asignacin de f .
El dibujo siguiente representa claramente esta metfora:
Es decir, la entrada del procesador es alimentada con elementos del conjunto de salida
de la funcin f . Por supuesto, en esta entrada hay un censor que identifica si el elemento
que se quiere introducir est o no en el conjunto de salida de la funcin.
As, si lo que entra es x , que est en el conjunto de salida de la funcin f , lo que f entrega
como resultado del procesamiento es la imagen de x respecto de f : f (x ).
Por ejemplo, si f es la funcin
f : R R
x 7
1
,
1 + x2
entonces la ley de asignacin de f es
f (x ) =
1
1 + x2
para todo x R, y el procesador se vera as:
25
Luego, si alimentas al procesador con el nmero 0, este verificar que dicho nmero
est en el conjunto de salida y luego lo procesar para devolverte el nmero real 1, pues
f (0) =
1
1
1
=
= = 1.
2
1
+
0
1
1+0
Si ahora alimentas a f con , y este smbolo no representa un nmero real, entonces el

procesador no aceptar como entrada a y no procesar nada.
Si ahora alimentas al procesador f con u R, el censor dir que u s est en el conjunto
de salida de f y, por tanto, lo dejar pasar y lo procesar. Qu devolver? El nmero
1
.
1 + u2
Si x R, entonces x 2 R. Por tanto, el censor de f dejar que ingrese x 2 y lo procesar.
Qu devolver? Lo que la ley de asignacin indica:
uno sobre la suma de uno ms el cuadrado del nmero que entra;

es decir, en este caso, como entra x 2 , el procesador devolver
uno sobre la suma de uno ms el cuadrado del cuadrado de x 2 .

As, lo que la mquina devolver ser:
f (x 2 ) =
1
=
.

2
1 + x4
1 + x2
Por tanto, la imagen de x 2 respecto de f ser

1
.
1 + x4
26
Ejemplo
Si
: R+ R
x 7 x + 1,
la ley de asignacin de establece que
a cada nmero real positivo le corresponde la suma de este nmero y

1.
Entonces cul es la imagen de v si v R+ ? Como v s est en el conjunto de salida
de , entonces a v le corresponde la suma de v y 1:
(v ) = v + 1
Si x R+ , cul es la imagen de x + 1? La ley de asignacin de establece que a lo
que entre a f se le deber sumar 1; luego, lo que salga ser
(x + 1) + 1;
por tanto,
(x + 1) = (x + 1) + 1 = x + 2
y la imagen de x + 1 es x + 2.
Si x < 0, entonces x > 0. Esto quiere decir que x est en el conjunto de salida de
. Luego x s puede ser procesado por . Qu es lo que entregara? Lo siguiente:
(x ) = x + 1.
En otras palabras, la imagen de x es x + 1 si x < 0.
Debes tener claro que si x > 0, entonces x < 0; en ese caso, x no est en el
conjunto de salida de y por tanto no le corresponde imagen alguna.
27
Captulo 3
Dominio y recorrido de una funcin

Para empezar, te presentamos el nombre alternativo para el conjunto de salida de una
funcin: dominio de la funcin. De hecho, este es el nombre que utilizars de aqu en
adelante. Por tanto, si
f : A B ,
el conjunto A es el dominio de f y lo simbolizars con Dom(f ). Al final de este libro
revisars un aspecto importante sobre el dominio de una funcin en relacin a la
enseanza de este concepto.
Ahora bien, recuerda que la definicin de funcin exige que
cada elemento del dominio se corresponda con un solo elemento del

conjunto de llegada,
pero no
que todo elemento del conjunto de llegada sea la imagen de algn elemento
del dominio.
Es decir, en algunos casos no todos los elementos del conjunto de llegada son imagen
de algn elemento del dominio; en otros, s, como se ilustra a continuacin:
28
Por tanto, en el conjunto de llegada puedes identificar
un subconjunto cuyos elementos son nicamente aquellos que son imagen

de algn elemento del dominio.
Por ejemplo, en el caso de la funcin , este subconjunto est contenido propiamente
en B (hay elementos de B que no estn en dicho subconjunto):
En el caso de la funcin , este subconjunto coincide con el conjunto de llegada:
En general, este conjunto que a veces es igual al conjunto de llegada se denomina

recorrido de la funcin y es un componente de la funcin que la describe con mayor
precisin.
Definicin: Recorrido de una funcin
Si f : A B , el recorrido de f es el conjunto de todos los elementos de B que son
imagen de algn elemento de A respecto de f . Representars este conjunto con
Rec(f ).
29
El recorrido tambin suele denominarse imagen de la funcin. Sin embargo, no

utilizars este trmino en este curso para evitar confundirlo con imagen de un
elemento del dominio respecto de una funcin.
Ejemplos
1. Supn que f es la funcin descrita en el siguiente diagrama:
Entonces los elementos 0, 1, 2, 3 y 4 son la imagen de algn elemento del

dominio de la funcin f . En efecto:
f (0) = 0,
f (1) = 1,
f (4) = 2,
f (9) = 3 y
f (16) = 4.
Adems, ningn otro elemento de B es imagen de algn elemento del

dominio. Por tanto, el recorrido de f es
Rec(f ) = {0, 1, 2, 3, 4}
y es un subconjunto propio de B , como se ilustra en el siguiente diagrama:
30
2. La funcin g est descrita en el siguiente dibujo:
El conjunto de llegada es
B = {1, 0, 1}.
Y los tres elementos de B son la imagen de algn elemento del dominio de la
funcin g . Por ejemplo:
1 = g (2),
0 = g (0) y 1 = g (3).
Por tanto el recorrido de g es:

Rec(g ) = {1, 0, 1};
es decir, es igual al conjunto de llegada:
Como te habrs dado cuenta, el recorrido describe la funcin de manera precisa a travs
de los elementos que asigna a cada elemento del dominio.
La razn estriba en la manera cmo se utilizan las funciones en la aplicacin de la
matemtica: surgen simultneamente la ley de asignacin y dominio. En principio, a
partir de estos dos componentes se podra obtener el recorrido de la funcin. Pero este
es un problema generalmente difcil de la matemtica, pues involucra siempre la
resolucin de una ecuacin. Y como sabes, hay numerosas ecuaciones cuyas
soluciones son difciles de encontrar y, en algunos casos, es simplemente imposible. En
31
el libro sobre la ecuacin lineal de la subseccin 3, te mostraremos cmo estn

vinculados el problema de encontrar el recorrido de una funcin con el de resolver una
ecuacin.
Sin embargo, no resulta difcil saber que los elementos del recorrido pertenecen a un
conjunto ms grande. Ese conjunto es, justamente, el que suele tomarse como el
conjunto de llegada.
Por lo dicho, el estudio del recorrido de una funcin suele realizarse para cada tipo o
clase de funcin. Por ello, en este libro no resolvers ms problemas sobre el recorrido
de una funcin; volvers a este tema en la subseccin tres, cuando estudies la funcin
lineal.
Para terminar, como se anunci al principio, vas a abordar un tema sobre la enseanza
del dominio de una funcin.
Es comn encontrar que en los cursos sobre funciones se plantee a las y los estudiantes
el siguiente ejercicio:
Encuentre el dominio de la funcin
f (x ) =
1
.
1x
Como se dijo, cuando se define una funcin, la ley de asignacin y el dominio surgen
simultneamente. Por ello, en un sentido estricto, el ejercicio en cuestin no est
correctamente planteado. En su lugar, es mejor proponer el estudio de las
caractersticas de la funcin
f : R {1} R
1
x
7
.
1x
Por ejemplo, calcular su recorrido.
Ahora bien, en concordancia con la definicin de funcin, el dominio de f ha sido
precisado. Debes estar claro que no es la nica opcin; por ejemplo, tambin cabe
definir f as:
f : R+ {1} R
1
x
7
.
1x
De hecho, hay infinitas posibilidades para elegir un conjunto como dominio de una
funcin que tenga como regla de asignacin
x 7
1
.
1x
La nica restriccin que debe imponerse a ese conjunto es que contenga el nmero 1,
porque si x = 1, entonces debera existir
1
1
= ;
11 0
32
es decir, la divisin por 0. Pero esto no es as.

En resumen, dar nicamente la ley de asignacin de una funcin abre la posibilidad de
definir infinitas funciones para la misma ley de asignacin.
33
Captulo 4
Producto cartesiano y relaciones

Conceptos bsicos
Los conceptos de producto cartesiano y relacin aportan significativamente en la
construccin de una definicin precisa del trmino funcin. En este captulo te
presentamos dichas nociones.
Definicin: Par desordenado
El par desordenado de a y de b es el conjunto
{a, b }.
El apelativo de desordenado se debe al hecho de que la proposicin

{ a, b } = { b , a}
(4.1)
es verdadera.
En contraste con este concepto est el de par ordenado.
Definicin: Par ordenado
El par ordenado de a y de b es el par desordenado de {a} y de {a, b }, y se representa
con (a, b ); es decir,
(a, b ) = {{a}, {a, b }}.
El elemento a se denomina primer componente y el elemento b , segundo
componente del par ordenado (a, b ).
34
El nombre de ordenado se debe a que la proposicin

( a, b ) = ( c , d ) a = c b = d
(4.2)
es verdadera. Esto quiere decir que
para que dos pares ordenados sean iguales, necesariamente:

los primeros componentes de cada par deben ser iguales; y
los segundos componentes de cada par deben ser iguales.
En general, se verificar la siguiente proposicin:
(a, b ) , (b , a).
La nica posibilidad de que la igualdad entre (a, b ) y (b , a) sea verdadera es si a y b son
iguales, lo que se deduce de la doble implicacin (4.2) si tomas c = b y d = a:
( a, b ) = ( b , a) a = b .
Definicin: Producto cartesiano
Si A y B son conjuntos, el producto cartesiano de A y B , representado por A B ,
es
el conjunto de todos los pares ordenados cuyo primer componente es

un elemento de A y cuyo segundo componente es un elemento de B.
Es decir,
A B = {(a, b ) : a A b B }.
De esta definicin se deduce que si la proposicin
u AB
es verdadera, necesariamente
u es un par ordenado cuyo primer componente es un elemento de A y cuyo

segundo componente es un elemento de B ;
es decir,
u = (a, b ),
donde a A y b B .
35
Recprocamente, si x A y y B , la proposicin
(x , y ) A B
es verdadera.
Del hecho de que
(a, b ) , (b , a),
se deduce que la proposicin
AB , B A
es verdadera y que la nica posibilidad para que
AB = B A
sea verdadera es cuando la proposicin
A=B
tambin lo sea.
El producto cartesiano de A consigo mismo (A A) suele representarse con A2 ; en otras
palabras, tienes que
A2 = A A = {(x , y ) : x A y A}.
Ejemplos
1. Si
A = {2, 4, 6} y
B = {3, 5, 7},
entonces
A B = {(2, 3), (2, 5), (2, 7), (4, 3), (4, 5), (4, 7), (6, 3), (6, 5), (6, 7)}
y
B A = {(3, 2), (3, 4), (3, 6), (5, 2), (5, 4), (5, 6), (7, 2), (7, 4), (7, 6)} .
Como puedes ver, tienes que
A B , B A.
2. Si
C = {, } y
D = {, },
entonces
C D = {(, ), (, ), (, ), (, )}
36
D C = {(, ), (, ), (, ), (, )}.
Es (, ) un elemento de D C ? No, porque
< D.
3. Si
C = {1, 0, 1},
entonces
4. El par ordenado
(1, 1), (1, 0), (1, 1),
2
C =CC =
(0, 1),
(0, 0),
(0, 1),
(1, 1),
(1, 0),
(1, 1)

1 1
,
2 2
no es un elemento del producto cartesiano N R porque el primer

componente, el nmero
1
,
2
no es un nmero natural; luego no es elemento de N.
5. La proposicin

0, 2 < N Q
es verdadera ya que, aunque el primer componente est en N, el segundo no
est en Q porque 2 es un nmero irracional.

6. La proposicin
(0, ) Z R
es verdadera.
7. El par ordenado
(3, 3)
s es un elemento de N Z pero no el par
(3, 3)
porque 3 < N.
Antes de estudiar otros ejemplos y ofrecerte una interpretacin grfica del producto
cartesiano, estudia la siguiente definicin.
37
Definicin: Intervalo cerrado

Si a y b son nmeros reales y a b , se utiliza la notacin
[ a, b ]
para simbolizar el conjunto
de todos los nmeros reales que son mayores o iguales que a y
menores o iguales que b .
Es decir,
[a, b ] = {x R : a x b }.
El conjunto [a, b ] se denomina intervalo cerrado de extremos a y b .
Por ejemplo, el nmero 1 es un elemento del intervalo cerrado de extremos 0 y 2; es

decir, es verdadera la proposicin
1 [0, 2]
porque
0 < 1 < 2.
En cambio,
3 < [0, 2]
pues
2 < 3.
Con ayuda de la interpretacin geomtrica de los nmeros reales puedes expresar
grficamente los intervalos. Para ello, dibuja una recta L. Recuerda que cada nmero
real se identifica con un y solo un punto de la recta. En esta identificacin supn que el
punto I , que corresponde al nmero 1, est a la derecha del punto O , que corresponde
al nmero 0:
Entonces, si a R, b R y a < b , y A y B son los puntos que se identifican con a y b ,

respectivamente, el punto B estar a la derecha de A:
38
Luego, si
x [a, b ];
es decir, si
a x b,
entonces el punto que corresponde a x , que representars con X , ser uno que est a la
derecha de A y a la izquierda de B ; es decir, entre A y B :
Por tanto, el intervalo cerrado de extremos a y b ([a, b ]) se representa grficamente por

la porcin de recta entre A y B denominada segmento de extremos A y B :
As, la representacin grfica del intervalo [2, 3] es
Ejemplos
1. El producto cartesiano de los conjuntos [1, 2] y [0, 3] es

[1, 2] [0, 3] = {(x , y ) : x [1, 2] y [0, 3]}.
Por la definicin de intervalo cerrado, las proposiciones
x [1, 2] y
y [0, 3]
son equivalentes a
1 x 2 y 0 y 3,
respectivamente. Por tanto, puedes expresar el producto cartesiano de los
dos intervalos de la siguiente manera:
[1, 2] [0, 3] = {(x , y ) : 1 x 2 0 y 3}.
39
2. Si
u [1, 1] [2, 2],

entonces u es una par ordenado:
u = (x , y )
donde
x [1, 1] y
y [2, 2].
1 x 1 y
2 y 2.
Luego, tienes que
3. Supn que es un nmero real tal que
1
<<2
2
y que es un nmero positivo menor que

0<<
1
. Entonces,
2
1
2
y y son elementos de los intervalos cerrados

1
,2
2

1
0,
,
2
respectivamente. Luego, tienes que el par ordenado

1
1
.
(, ) = , 2 0,
2
2
4. El producto cartesiano del intervalo cerrado [1, 1] y el conjunto unitario {0}
es
[1, 1] {0} = {(x , y ) : x [1, 1] y {0}}.
Por la definicin de intervalo cerrado y de conjunto unitario, tienes que las
proposiciones
x [1, 1] y y {0}
son equivalentes a
1 x 1
y = 0,
respectivamente. Por tanto, se verifica que

[1, 1] {0} = {(x , y ) : 1 x 1 y = 0}
= {(x , 0) : 1 x 1}.
Luego, los elementos del producto cartesiano de estos dos conjuntos
40
son todos los pares ordenados cuyo primer componente es un

nmero entre 1 y 1 y cuyo segundo componente es el nmero 0.
As, las proposiciones
(0, 0) [1, 1] {0},
(0, 1) < [1, 1] {0} y (2, 0) < [1, 1] {0}
son verdaderas.
Interpretacin grfica del producto cartesiano

La interpretacin geomtrica de los nmeros reales tambin te permite representar
grficamente el producto cartesiano de los conjuntos de nmeros. Los siguientes
ejemplos ilustran claramente el procedimiento a seguir.
Supn que
A = {1, 3, 7, 9} y
B = {0, 1, 2, 3}.
Dibuja en una recta horizontal los puntos que corresponden a los elementos del
conjunto A:
Ahora dibuja una recta perpendicular a la primera. El punto de interseccin es el que

corresponde al nmero 0 en cada una:
En la recta perpendicular, identifica los puntos que corresponden a los elementos del
conjunto B de manera que todos los positivos queden arriba:
41
Ahora traza rectas paralelas a la vertical que pasen por cada uno de los elementos del
conjunto A:
Traza rectas paralelas a la horizontal que pasen por cada uno de los elementos del
conjunto B :
Los puntos de interseccin de las rectas representan los pares ordenados que son los
elementos del producto cartesiano A B :
42
Este dibujo representa el producto cartesiano de A y B :
(1, 0)
(3, 0)
AB =
(7, 0)
(9, 0)
(1, 1)
(3, 1)
(7, 1)
(9, 1)
(1, 2)
(3, 2)
(7, 2)
(9, 2)
(1, 3)
(3, 3)
(7, 3)
(9, 3)
Puedes aplicar el mismo procedimiento si ahora los conjuntos son dos intervalos; por
ejemplo, si
A = [2, 2] y B = [1 3].
Para este caso, dibuja dos rectas perpendiculares entre s que crucen en el punto que
corresponde a 0 en cada una de ellas:
En la recta horizontal, representa el conjunto A; en la vertical, el conjunto B :
43
Traza dos rectas paralelas a la vertical que pasen por los puntos de las coordenadas 2
y 2, y dos rectas paralelas a la horizontal que pasen por los puntos de las coordenadas
1 y 3:
La regin rectangular que resulta de las cuatro rectas dibujadas es el producto

cartesiano de A B . As, si
(, ) A B
y
2 < < 2 y
1 < < 3,
entonces a este par ordenado le corresponder un punto en la regin rectangular:

44
Por otra parte, si P , Q y R son los puntos que se indican en la figura, estos pertenecen al
producto cartesiano. En cambio, el punto S no pertenece al producto cartesiano, pues
no est en la regin rectangular que representa a A B :
Adems, si los pares ordenados que P , Q y R representan son

(a, b ),
(c, d ) y (e , f ),
respectivamente, entonces:
45
2 < a < 2 y 1 < b < 3;

2 < c < d y d = 1; y
e = 2 y 1 < f < 3.
Ejemplos
1. Los elementos del producto cartesiano

[1, 4] {2}
son todos los pares ordenados de la forma
(x , 2),
donde
1 x 4.
En efecto, por la definicin de producto cartesiano, tienes que
[1, 4] {2} = {(x , y ) : x [1, 4] y {2}}.
Ahora bien, por las definiciones de conjunto unitario e intervalo cerrado, las
proposiciones
x [1, 4] y y {2}
46
son equivalentes a las proposiciones

1x4
y = 2,
respectivamente. Por tanto, tienes que

[1, 4] {2} = {(x , y ) : 1 x 4 y = 2},
de donde:
[1, 4] {2} = {(x , 2) : 1 x 4}.
La interpretacin grfica de este producto es la siguiente:
2. Los elementos del producto cartesiano

{1} [3, 0]
son todos los pares ordenados de la forma
(1, y ),
donde
3 y 0.
En efecto, por la definicin de producto cartesiano, tienes que
{1} [3, 0] = {(x , y ) : x {1} y [3, 0]}.
De las definiciones de conjunto unitario e intervalo cerrado deduces que las
proposiciones
x {1} y y [3, 0]
47
son equivalentes a las proposiciones
y = 1 y
3 x 0,
respectivamente. Luego, obtienes que

{1} [3, 0] = {(x , y ) : x = 1 3 y 0},
de donde:
{1} [3, 0] = {(1, y ) : 3 y 0}.
Este producto cartesiano puede representarse grficamente de la siguiente
manera:
Relaciones
Para precisar la nocin de correspondencia puedes emplear el concepto de relacin
entre dos conjuntos.
Considera los siguientes conjuntos:
A = {2, 3 5} y
B = {4, 6, 7, 9, 10, 13, 15}
y la relacin
un elemento de A es un divisor de un elemento de B.

En el siguiente diagrama, similar a los que utilizas para representar funciones, puedes
mostrar cmo estn relacionados los elementos de A con los de B :
48
Del nmero 2 parten tres flechas que se dirigen a 4, 6 y 10, porque 2 es un divisor
de cada uno de esos nmeros.
Del nmero 3 parten tambin tres flechas: a 6, 9 y 15.
Del nmero 5 salen dos flechas: a 10 y 15.
Del nmero 7 no sale ninguna flecha, porque 7 no es divisor de ninguno de los
elementos de B .
El nmero 13 no recibe flecha alguna, pues ninguno de los elementos de A lo divide
(recuerda que 13 es un nmero primo).
Ahora bien,
se dice que un elemento de B que recibe una flecha es el que corresponde

al elemento de A desde donde sale la flecha.
La manera de expresar esta correspondencia consiste en utilizar pares ordenados de la
siguiente manera:
Como 4, 6 y 10 (elementos de B ) corresponden al nmero 2 (elemento de A), los
pares ordenados
(2, 4), (2, 6) y (2, 10)
expresan tal correspondencia: el segundo componente es elemento de B que
corresponde al elemento de A, que es el primer componente del par ordenado.
As, los pares ordenados
(3, 6),
(3, 9) y (3, 15)
representan la correspondencia entre 3 (elemento de A) y los elementos 6, 9 y 15

(elementos de B ).
El hecho de que
49
a 5 le corresponden 10 y 15
se expresa a travs de los pares ordenados
(5, 10) y (5, 15),
respectivamente.
Ahora considera el conjunto de todos estos pares ordenados, nmbralo con la letra R y
compralo con el diagrama:
(2, 4), (2, 6), (2, 10),
R=
(3, 6), (3, 9), (3, 15),
(5, 10), (5, 15)
Como puedes ver, el conjunto contiene la siguiente informacin:

Cada par ordenado de R indica el elemento de B que corresponde a un elemento
de A.
La ausencia de un par ordenado cuyo primer componente sea el elemento 7 del
conjunto A expresa el hecho de que
al elemento 7 de A no le corresponde ningn elemento de B en esta

relacin.
La ausencia de un par ordenado cuyo segundo componente sea el elemento 13
del conjunto B significa que
el elemento 13 de B no corresponde a ningn elemento de A en esta

relacin.
Es decir, en el conjunto R :
estn todos los pares ordenados que indican qu elementos de B

corresponden a elementos de A, y
no est ningn otro par ordenado cuyo primer componente sea un
elemento de A y cuyo segundo componente sea elemento de B.
50
En resumen, el conjunto R no es ms que un subconjunto del producto cartesiano A B :
(2, 4),
(3, 4),
AB =
(5, 4),
(7, 4),
(2, 6),
(3, 6),
(5, 6),
(7, 6),
(2, 9),
(3, 9),
(5, 9),
(7, 9),
(2, 10),
(3, 10),
(5, 10),
(7, 10),
Este producto satisface las siguiente condiciones:
(2, 13), (2, 15),
(3, 13), (3, 15),
(5, 13), (5, 15),
(7, 13), (7, 15)
Si el par ordenado (x , y ) R , necesariamente
x es un divisor de y ;
es decir, y es un elemento de B que corresponde a x , elemento de A.
Si el par ordenado (x , y ) < R , entonces
x no es un divisor de y ;
es decir, y es un elemento de B que no corresponde a x , elemento de A.
Por lo dicho, entre otras, las siguientes proposiciones son verdaderas:
(2, 6) R , (3, 15) R , (5, 10) R ,
(2, 9) < R , (3, 10) < R , (4, 5) < R ,
(7, 9) < R , (2, 13) < r , (7, 13) < R .
La generalizacin de este ejemplo conduce a la definicin de relacin entre dos
conjuntos.
Definicin: Relacin
Si A y B son dos conjuntos, R es una relacin de A en B si y solo si
R A B.
Si
(x , y ) R ,
se dice que
x y y estn relacionados
y que
y es un elemento de B que corresponde a x (que es elemento de A).
51
Si
(x , y ) < R ,
se dice que
x y y no estn relacionados.
Ejemplos
1. Supn que
C = {1, 2, 4, 5, 9, 10} y
D = {x Z : 3 z 3},
y que S es la relacin de C en D :
un elemento de C es el cuadrado de un elemento de D.

En primer lugar, tienes que
D = {3, 2, 1, 0, 1, 2, 3}.
Entonces, la relacin S , que es un subconjunto del producto cartesiano C D ,
tiene como elementos pares ordenados
cuyo primer componente debe ser un elemento del conjunto C y el

cuadrado del segundo componente, un elemento del conjunto D.
Por tanto, tienes que
En efecto, la proposicin
(1, 1), (1, 1)
.
(4,
2),
(4,
2)
(9, 3), (9, 3)

(1, 1) S
es verdadera pues
1 = (1)2 .
Tambin lo es la proposicin
(1, 1) S
porque
1 = 12 .
De manera similar, puedes verificar que los pares ordenados
(4, 2),
(4, 2),
52
(9, 3) y (9, 3)
tambin son elementos de S .

Por otro lado, la proposicin
(2, 0) < S
es verdadera pues 2 no es el cuadrado de 0.
En general, puedes expresar la pertenencia del par ordenado (x , y ) a la
relacin S de la siguiente manera:
(x , y ) S si y solo si x = y 2 ,
es decir,
el primer componente es igual al cuadrado del segundo
componente
de (x , y ). Por ello, S puede expresarse de la siguiente manera:
S = {(x , y ) C D : x = y 2 }.
Para terminar, el siguiente es el diagrama que representa S :
2. Supn que
T = {(x , y ) N N : y = 2x }.
Entonces
T es una relacin cuyos elementos son pares ordenados con el

segundo componente igual al doble del primero.
Es decir, T es una relacin de N en s mismo que
asigna a cada nmero natural su doble.

As, la proposicin
(23, 46) T
53
es verdadera, pero
(24, 50)
no lo es.
En el siguiente captulo utilizars el concepto de relacin para dar una definicin precisa
de funcin.
54
Captulo 5
Definicin conjuntista de funcin

La definicin de funcin de un conjunto A en B como
una relacin de A en B en la cual a cada elemento de A le corresponde un

y solo un elemento de B
utiliza los trminos relacin y corresponde que han sido ya definidos en el libro
anterior. A continuacin te presentamos cmo se formula este concepto utilizando
dichas definiciones.
Supn que A y B son conjuntos f es una funcin de A en B . Entonces f satisface tres
condiciones:
1. f es una relacin de A en B ;
2. a cada elemento x de A, la funcin f le asigna un elemento y en B ; este elemento
y es el que corresponde al elemento x ;
3. hay un solo elemento y de B que corresponde al elemento x de A.
Estas condiciones se pueden expresar en trminos de los conceptos de par ordenado,
producto cartesiano y relacin de la siguiente manera:
Recuerda que
una relacin del conjunto A en el conjunto B es subconjunto del producto

cartesiano A B.
Por tanto, la primera condicin significa que f es un subconjunto del producto cartesiano
de A y B :
f A B.
Tambin recuerda que si f es una relacin de A en B y si el par ordenado (, ) es un
elemento de la relacin f ; es decir, si
(, ) f ,
55
entonces es elemento de B que corresponde a , elemento de A. Luego, la proposicin

(x , y ) f
significa que y es el elemento de B que corresponde a x , o que f asigna a x el elemento
y . Por tanto, la segunda condicin se expresa de la siguiente manera:
Para cada x A, existe un y B tal que (x , y ) f .

Finalmente, como f es una funcin, si y B corresponde a x A, entonces
ningn otro elemento en B puede ser el que corresponda a x.

Luego, si la proposicin
z B corresponde a x
fuera verdadera, entonces z debera tener otro nombre para y ; es decir, z y y deberan
ser iguales:
z = y;
en otras palabras:
si y corresponde a x y z corresponde a x , entonces y = z .
Si expresas esta ltima proposicin utilizando pares ordenados, la tercera condicin se
ve as:
si (x , y ) f y (x , z ) f , entonces y = z .
Si ahora renes las tres proposiciones, obtienes la definicin del concepto funcin en
trminos exclusivamente conjuntistas:
Definicin: Funcin en trminos conjuntistas
Si A y B son conjuntos, f es una funcin de A en B si y solo si:
1. f A B ;
2. si x A, existe y B tal que (x , y ) f ; y
3. si (x , y ) f y (x , z ) f , entonces y = z .
Si (x , y ) f , se escribe
y = f (x ).
56
Esta definicin, adems de evidenciar la importancia que tiene el concepto de conjunto

a la hora de definir el trmino funcin, te ayudar a entender lo que se denomina
grfica de una funcin", tema del siguiente acpite1 .
Ejemplos
1. Supn que
A = {7.3, 1.9, 1, 0, 1, 1.9, 7.3},

B = {9, 8, 3, 2, 1, 0, 1, 2, 7, 8},
y que
(7.3, 8), (1.9, 2), (1, 1), (0, 0)
f =
.
(1, 1),
(1.9, 1),
(7.3, 7)
Entonces f es una funcin de A en B . En efecto, f debe satisfacer las tres

condiciones siguientes:
(a) f A B ;
(b) para cada x A, existe y B tal que (x , y ) f ; y

(c) si (x , y ) f y (x , z ) f , entonces y = z .
La validez de la primera condicin se debe a que cada elemento de f es un

par ordenado cuyo primer componente es un elemento de A y cuyo segundo
componente es un elemento de B .
La veracidad de la segunda condicin consiste en que hay un par ordenado
por cada elemento de A; esto quiere decir que a cada elemento de A le
corresponde un elemento de B . Por ejemplo, que el par
(7.3, 8) f
quiere decir que a 7.3 (que es elemento de A) f le asigna el elemento 8
(que es elemento de B ).
Finalmente, el cumplimiento de la tercera condicin se refleja en el hecho de
que no hay dos pares ordenados cuyo primer componente sea el mismo y
cuyo segundo componente sea diferente; es decir, no existen dos pares
1 Sin embargo, no recomendamos el empleo de la definicin conjuntista de funcin en los niveles
de educacin bsica y de bachillerato pues, en general, las y los estudiantes muestran dificultades de
aprendizaje cuando se les presenta este enfoque, requiriendo un nivel de abstraccin muy alto.
57
ordenados de la forma
( a, b ) y ( a, c )
y que b , c.
Por tanto, f s es una funcin de A en B . Por ello, las proposiciones
f (1.9) = 1,
f (7.3) = 8 y 0 = f (0)
son verdaderas pues tambin lo son las siguientes:

(1.9, 1) f ,
(7.3, 8) f
y (0, 0) f .
El diagrama siguiente que representa a f ilustra tambin el hecho de que f es

una funcin:
Como puedes ver, de cada elemento de A sale una flecha (segunda

condicin), pero no salen dos o ms flechas (tercera condicin).
2. Supn que
A = {2, 4, 6, 8} y
B = {2, 3, 4}.
Entonces el conjunto
(2,
2),
(4,
2),
(4,
4)
(6,
2)
g=
(6, 3), (8, 2), (8, 4)
no es un funcin de A en B .
En efecto, g satisface las dos primeras condiciones:

es un subconjunto del producto cartesiano A B ; y
cada x A tiene un y B tal que (x , y ) g porque
(2, 2) g ,
(4, 2) g ,
58
(6, 3) g
y (8, 4) g .
Sin embargo, g no satisface la tercera condicin, pues se verifica que

(8, 2) g (8, 4) g ,
pero
2 , 4;
es decir, a 8 no le corresponde nicamente un elemento en B , sino dos: 2 y 4.
El diagrama de g ilustra que no se trata de funcin:
Puedes apreciar que, aunque salen flechas de todos los elementos de A, de 4

salen dos flechas.
3. Supn que
A = {2, 3, 5, 7} y
B = {9, 10, 13}.
La relacin h de A en B no es un funcin, donde
h = {(2, 10), (3, 9), (5, 10)}.

En efecto, h satisface la segunda y tercera condiciones, pero no la primera,
pues no hay un elemento de B que corresponda a 7, ya que ningn par
ordenado de h tiene el primer componente igual a 7.
En el diagrama que ilustra h puedes ver que desde 7 no sale flecha alguna:
59
La grfica de una funcin

Una funcin f de un conjunto A en un conjunto B es un subconjunto del producto
cartesiano A B ; por tanto, la representacin grfica de f como un producto cartesiano
(que aprendiste a realizar en el libro Producto cartesiano y relaciones ) es la grfica de
la funcin f . Mira los siguientes ejemplos:
Ejemplos
1. Si
A = {7.3, 1.9, 0, 1, 1.9, 7.3},

B = {9, 8, 3, 2, 1, 0, 1, 2, 7, 8},
y
(7.3,
8),
(1.9,
2),
(0,
0),
f =
,
(1, 1),
(1.9, 1),
(7.3, 7)
entonces f es una funcin de A en B . Su grfica se realiza siguiendo el mismo

procedimiento que utilizaste para dibujar un producto cartesiano:
(a) En una recta horizontal representas los elementos del dominio A.
(b) En una recta perpendicular a la anterior (vertical) y que interseque a
esta en el punto cuya coordenada es el nmero 0, representas los
elementos de B .
(c) Trazas rectas paralelas a la recta vertical que pasen por los elementos
del dominio.
(d) Trazas rectas paralelas a la horizontal que pasen por los elementos del
recorrido.
Los puntos que resultan de la interseccin de las rectas paralelas
representan la grfica de la funcin f :
60
2. Si
(3, 1), (2, 1), (1, 1), (0, 0)
g=
,
(1, 1),
(2, 1),
(3, 1),
(4, 1)
entonces g es una funcin de A en B donde
A = {x Z : 3 x 4} y
B = {1, 0, 1}.
La grfica de g son todos los puntos de color rojo:
61
3. Supn que h es la funcin
h : [3, 4] {1, 0, 1}
1 si 3 x < 0,
x
7
0
si x = 0,
1
si 0 < x 4.
Entonces, h toma el valor
1 para todos los valores de x entre 3 y 0;
0 si x = 0; y
1 si x est entre 0 y 4.
Para realizar el grfico de h, procede de manera similar que en los ejemplos
anteriores:
Dibujas en una recta horizontal el dominio que en este caso es el
intervalo cerrado [3, 4].
Dibujas el recorrido en la correspondiente vertical: el conjunto {1, 0, 1}.
Finalmente, trazas las paralelas horizontales y verticales.

Obtienes la grfica de h:
62
Debe estar claro que si el dominio de la funcin es un conjunto finito, su grfica es un

conjunto de puntos finitos, como en el caso de las funciones f y g de los ejemplos
anteriores. En cambio, cuando el dominio es un conjunto infinito como el intervalo
[3, 4], la grfica de la funcin es un conjunto infinito.
La obtencin de la grfica de una funcin requiere de procedimientos especiales segn
su tipo que se aplican bajo ciertas directrices generales. En este curso aprenders a
obtener las grficas nicamente de las funciones lineales.
63
Captulo 6
La funcin lineal
Las funciones lineales son las funciones ms simples a travs de las cuales se pueden
estudiar situaciones reales; en particular, la nocin de proporcionalidad.
Definicin: Funcin lineal
Si A R, cualquier funcin f del tipo
f : A R
x 7 x
donde R y , 0 se denomina lineal.
En otras palabras, la ley de asignacin de f es
x 7 x .
Por lo tanto, para todo x A se verifica la igualdad
f (x ) = x .
Por ejemplo, las funciones
f : R R
x 7 x
g : R+ R
x 7 x
h : [1, 1] R
1
x
7 x
2
son lineales, donde
A = R y = 1,
A = R+
y = 1,
respectivamente.
64
A = [1, 1] y =
1
,
2
Ejemplos
1. Si
f : R R
x 7 x ,
entonces para todo x R tienes que
f (x ) = x .
El valor que f toma en 0 es 0 pues
f (0) = 0.
La imagen de 2 respecto de f es 2 ya que
f (2) = 2.
Finalmente, si u R, entonces
f (u ) = u .
2. Si
g : R+ R
x 7 x ,
entonces para todo x R+ , tienes que
g (x ) = x .
La funcin g toma en 2 el valor 2 pues 2 R+ y
g (2) = 2.
La imagen de
1
1
1
respecto de g es ya que R+ y
3
3
3

1
1
g
= .
3
3
Los nmeros 1 y 0 no tienen imagen respecto de g porque no

pertenecen al dominio de g : el conjunto R+ .
Si z R+ , entonces
g (z ) = z .
65
3. Si
h : [1, 1] R
1
x
7 x ,
2
tienes que para todo x [1, 1] se verifica la igualdad
h( x ) =
1
x.
2
h toma el valor 0 en 0 pues 0 [1, 1] y
h(0) =
1
0 = 0.
2
La imagen de 1 respecto de h es
h(1) =
1
ya que 1 [1, 1] y
2
1
1
(1) = .
2
2
h toma ningn valor en 2 porque este nmero no est en el domino de h:

2 < [1, 1].
Si w [1, 1], entonces
h( w ) =
1
w.
2
El nombre de lineal obedece a que la grfica de estas funciones siempre es una lnea
recta. Demostrars esta afirmacin en la seccin de Geometra de este curso, como
parte del estudio de la proporcionalidad. Por ahora, aplica el siguiente procedimiento
para dibujar la grfica de una funcin lineal:
Procedimiento: La grfica de una funcin lineal
Supn que
f : A R
x 7 x ,
donde R y , 0. Para dibujar la grfica de f , realiza lo siguiente:
1. Dibuja dos rectas perpendiculares que se intersequen en el punto de
coordenada 0.
2. Elige dos elementos cualesquiera, pero distintos, del dominio de f . Nmbralos
con x1 y x2 , respectivamente. Entonces,
x1 A,
x2 A
66
x1 , x2 .
3. Calcula las imgenes de x1 y x2 respecto de f . Denomnalas y1 y y2 ,

respectivamente. Luego,
y1 = x1
y2 = x2 .
4. Representa los pares ordenados

(x1 , x1 ) y (x2 , x2 )
como dos puntos en el sistema de rectas perpendiculares. Llama a esos
puntos P y Q , respectivamente.
5. La recta o segmento de recta que pasa por los puntos P y Q es la grfica de
la funcin f .
Ejemplos
1. Para realizar la grfica de
f : R R
x 7 x
elige, por ejemplo,
x1 = 1 y
x2 = 1.
Entonces, las imgenes respectivas de estos dos elementos del dominio de f

son
y1 = f (x1 ) = x1 = 1 y y2 = f (x2 ) = x2 = 1.
Por tanto, los puntos P y Q representan los pares ordenados
(1, 1) y (1, 1),
respectivamente.
Ahora dibuja las rectas perpendiculares y localiza los puntos P y Q ; la grfica
de f que obtienes es la siguiente:
67
2. Para obtener la grfica de la funcin lineal
g : R+ R
x 7 x
elige, por ejemplo,
x1 = 1 y
x2 = 2.
Entonces,
y1 = g (x1 ) = x1 = 1 y
y2 = g (x2 ) = x2 = 2.
Por tanto, los pares ordenados representados por P y Q son

(1, 1) y (2, 2),
respectivamente.
Localiza estos puntos en el sistema de recta perpendiculares y obtendrs el
siguiente dibujo de la grfica de la funcin g :
68
3. Para realizar la grfica de la funcin
h : [1, 1] R
1
x
7 x
2
escoge, por ejemplo,
x1 = 1 y
Entonces,
y1 = h(x1 ) =
1
2
x2 = 1.
y2 = h(x2 ) =
1
.
2
Por tanto, los puntos P y Q representan los pares ordenados

1
1,
2

1
1,
,
2
respectivamente. Entonces, la grfica de h es la siguiente:
69
Una funcin del tipo
f : A R
x 7 x + ,
donde A R, R, R y , 0, no es lineal, excepto si = 0. Sin embargo, su grfica
tambin es una recta, razn por la que tambin suele denominarse lineal, aunque su
nombre propio es funcin afn.
70

Modulo 1 - Concepto General de Funcion

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Modulo 1 - Concepto General de Funcion

Cargado por

Copyright:

Formatos disponibles

Proyecto CLAVEMAT EPN

Contenidos: Juan Carlos Trujillo

1 de julio 31 de julio de 2016

ltima actualizacin: 4 de juliode 2016

La idea que da origen a esta definicin es la siguiente:

si y representan dos variables, es una funcin de si y solo si a cada

impuesto a la renta anual percibida por una persona

renta o ingresos netos percibidos por una persona en un ao

A partir de esta informacin, puedes ver que a cada valor de la variable

Impuesto fraccin excedente

ltima actualizacin: 04-07-2016

para el valor 12 521 de la variable r , a la variable i le corresponde

Impuesto fraccin excedente

costo de una carrera de taxi

nmero de kilmetros recorridos.

Tarifa de taxis Quito - 2015

ltima actualizacin: 04-07-2016

kilmetro tiene un costo de 0.40):

= 0.5 + 1.0 = 1.5.

Esto quiere decir que,

para el valor 2.5 de la variable k, a la variable c le corresponde el

= 0.5 + 4.8 = 5.3.

para el valor 12 de la variable k, a la variable c le corresponde un

para el valor 1.5 de la variable k, a la variable c le corresponde un

costo por estacionar un automvil

tiempo en horas o fraccin de horas de estacionamiento.

para el valor 0.25 de la variable t, a la variable e le corresponde el

ltima actualizacin: 04-07-2016

Si el tiempo de estacionamiento de un automvil es de 1 hora y media (1.5

para el valor 1.5 de la variable t, a la variable e le corresponde el

longitud del radio del crculo.

si la variable r toma el valor 2, el valor que le corresponde a la

la variable es una funcin de la variable ,

ltima actualizacin: 04-07-2016

para cada valor que toma la variable haya uno correspondiente a la

hay una relacin entre los conjuntos A y B.

a cada valor que toma la variable le corresponde un y solo un valor

la relacin entre A y B es tal que a cada elemento de A le corresponde

En otras palabras, la idea de funcin no es ms que un caso particular de la definicin

1. En la elaboracin de un cierto tipo de pan, la variable

ltima actualizacin: 04-07-2016

nmero de kilos de harina utilizada

Panes por kilogramo de harina

el precio de una cierta cantidad de camisas de un mismo tipo (tela,

el nmero de camisas de un mismo tipo.

estatura de una persona

ltima actualizacin: 04-07-2016

ltima actualizacin: 04-07-2016

A menudo utilizars un diagrama como el que se muestra a continuacin para explicar,

En este dibujo se resaltan las caractersticas de la definicin de funcin de la siguiente

ltima actualizacin: 04-07-2016

La relacin no es una funcin porque

ltima actualizacin: 04-07-2016

A continuacin te presentamos las definiciones de los componentes de una funcin y

ye es igual a efe de equis.

(d) f asigna 6 al nmero 3.

el valor que toma la funcin f en 3 es 6.

ltima actualizacin: 04-07-2016

2. Supn que A y B son dos conjuntos, y : A B . Supn adems que

Es verdad que (2) = 81 ?

Representa con f la siguiente relacin entre A y B :

a un elemento de A f le asigna su mitad.

ltima actualizacin: 04-07-2016

(b) a cada uno de los elementos de A le corresponde solo un elemento de