Documentos de Académico
Documentos de Profesional
Documentos de Cultura
El concepto de función es uno de los más importantes de la Matemática, que pasó por un extenso
proceso de ajuste y debate. Algunas de las primeras funciones introducidas en el Siglo XVII se refe-
rı́an a las gráficas de ciertas curvas conocidas en el plano, las cuales se elaboraban utilizando tablas
de valores obtenidos con aproximación precisa, pero sin dar claridad al concepto. En un primer
intento de definición cercana se consideró a una función como “una cantidad obtenida de otras
mediante una combinación de operaciones algebraicas o por cualquier otro tipo de asignación válida
posible”. La palabra “función” fue utilizada por primera vez por el filósofo y matemático alemán
Gottfried Wilhelm Leibniz (1646-1716), a quien también se le atribuyen los términos “variable”,
“constante” y “parámetro”. De hecho, se puede observar directamente revisando un poco la historia
que la definición de función pasó por un largo proceso de depuración hasta llegar al término pulido
que se conoce actualmente.
1.1 Variables
Antes de establecer la definición formal de función, es importante considerar los conceptos de
variable, parámetro y constante, y distinguir entre cada uno de estos.
Definición 1.1.1 Una variable es un ente o carácter (atributo o propiedad) que puede tomar
valores sobre un conjunto determinado, a la que se le asigna un nombre o sı́mbolo para describirla.
i) “Estado Civil de una Persona” : EC ∈ {solter@, casad@, divorciad@, unión libre, etc.}
ii) “Nacionalidad” : N ac ∈ {mexicana, canadiense, holandesa, rusa, etc., etc.}
iii) “Interruptor” : E/A ∈ {encendido, apagado} ≡ {0, 1}
iv) “Tiempo Transcurrido” : t ∈ [t0 , tf ), con t0 inicio del proceso y tiempo final tf < ∞
Observación. Cuando el conjunto de posibles valores que toma una variable es un subcon-
junto de los números reales (por lo regular un intervalo o una combinación de intervalos),
a la variable se le denomina variable real. A tal conjunto de valores se le llama dominio de
la variable.
Comúnmente las variables reales se denotan por letras minúsculas x, y, z, w, t, s, · · · , carácteres
griegos α, β, θ, φ, ψ, σ, · · · o de cualquier otro alfabeto, combinados de forma más extensa.
Por otra parte, un parámetro es un tipo especial de variable adicional presente en una relación dada
o proceso considerado, que al cambiar de valor modifica completamente los resultados, por ejemplo,
en la ecuación x2 + y 2 = a2 , x y y se consideran variables, pero a como parámetro. ¿Qué papel
juega en esta ecuación?
Por otro lado, una constante es una cantidad con valor fijo. Por ejemplo, π ≈ 3.141592653589793...,
g = 9.81 m/s2 , e ≈ 2.7182818284590452353..., γ ≈ 0.577215664901532860606..., son constantes
tı́picas conocidas. También, se considera constante cuando a una variable se le asigna un valor
único, por ejemplo, a = 10, t0 = 0, etc.
Ejercicio 1.1 Describa tres ejemplos diferentes a los dados anteriormente de variables, parámetros
::::::::::::::
y constantes presentes en procesos fı́sicos o de ingenierı́a.
Definición 1.1.2 (Relación y Función). Se dice que una variable y está relacionada con otra
variable x si es posible establecer una regla de asignación de valores entre ambas. Si se cumple
que a cada valor de x le corresponde un único valor de y, la relación establecida se llama función.
En este caso, a la variable y se le llama variable dependiente y la variable x se le refiere como variable
independiente.
Un ejemplo de relación, entre los muchos que existen, que no es función es el color de los autos
producidos por una ensambladora en cada mes del año:
Ejercicio 1.2 Describa un ejemplo de relación que no sea función de algún caso cotidiano (no utilice
::::::::::::::
todavı́a relaciones en el plano cartesiano).
Definición 1.1.3 (Formal de Función). Una función es una relación ordenada entre los elementos
de dos conjuntos
X − Conjunto de salida (dominio)
Y − Conjunto de llegada (contradominio o imagen)
de forma tal que a cada elemento de x ∈ X le corresponde uno y sólo un elemento y ∈ Y.
Esquemáticamente:
Simbólicamente:
f
X→Y o x 7→ f (x) o y = f (x) (se lee y depende de x o y es una función de x)
Definición 1.2.1 Una función real de variable real, f : I ⊆ R → R, es una relación funcional
en el sentido de la Definición 1.1.3, y = f (x), notación debida al fı́sico, matemático y astrónomo
italiano Joseph Louis Lagrange (1736-1813).
Alguno conceptos directamente relacionados con f son los siguientes:
√
Dominio de f ,
I ⊆ Dom{f } = {x ∈ R | x es un valor para el que tiene sentido o está bien definida
def
y = f (x)
f (x∗ ) . . . . . . . . . . . . . . . . . . . .•.
..
...
..
..
-R
..
..
[ . ]
a x∗ b x (eje de las abscisas)
√
Tabla: arreglo bidimensional ordenado, asociado a f como herramienta auxiliar o apoyo para
localizar ciertos puntos de interés elegidos de la Graf {f } que permite bosquejar la curva que
representa.
x y = f (x)
x∗ ∈ Dom{f } valor imagen f (x∗ )
.. ..
. .
A una función se le puede asignar un nombre y a veces apellido, pero frecuentemente se le identifica
con una sola letra o combinación de otro tipo de carácteres. Por ejemplo, la función valor absoluto
(aquella que todo lo hace positivo, introducida al establecer el Sistema de los Números Reales R)
es denotada y definida por
y
√ def
x si x ≥ 0
6
abs(x) ≡ |x| = x2 = @
−x si x < 0 @
R. 1
@
cuyo dominio es @
@
@ -
−2 −1 1 2 x
Otro ejemplo tı́pico conocido es la Función de Heaviside, llamada también función caracterı́stica
o función escalón unitario, denotada y definida por y
0 si x < 0
6
def
H(x) = 1•
1 si x ≥ 0
también con dominio R. −2 −1
◦
1 2
-
x
¿Cuál es la imagen de H?
−1
En principio, estas dos funciones aparentemente son muy simples, pero pronto adquieren una gran
importancia. Se incluyen aquı́ sólo para ejemplificar el nombre dado a la función respectiva.
Otros ejemplos, entre una gran variedad de posibles combinaciones, que de una u otra forma apare-
cerán más adelante son
√
SC(x) = a2 − x2 , Dom{SC} = [−a, a]
√
SH(x) = x2 − a2 , Dom{SH} = (−∞, −a] ∪ [a, +∞)
1
SCR(x) = √ , Dom{SCR} = (−a, a)
a2 − x2
1
SHR(x) = √ , Dom{SHR} = (−∞, −a) ∪ (a, +∞)
x2 − a2
para un parámetro real a > 0.
Nota: Estos ejemplos, cuando a = 2, son incluidos en este punto sólo para determinar el dominio
en cada caso para el que se eligió un nombre especı́fico, cuyas gráficas para ilustrarlo se elaboraron
con Ge Gebra (ver nota de pie).
Observación (Regla de la Lı́nea Vertical): La gráfica de una función es intersectada en un único
punto por cualquier recta vertical en su dominio de definición.
Nota: Como se observa, la gráfica de una función constante es una lı́nea recta horizontal
¿Qué hay acerca de cualquier recta vertical? ¿Se puede expresar/representar por una función?
2
Ejercicio 1.3
:::::::::::::::
Exprese como función
::::::::::::::
la recta que pasa por los puntos P = 3, 3
y Q = (−1, 7).
Recuerde, de la Geometrı́a Analı́tica, que dos puntos determinan de forma única una lı́nea recta
en el plano.
Antes de introducir los siguientes casos de funciones polinomiales, vamos a establecer las siguientes
operaciones entre funciones:
Producto o Multiplicación:
def
P (x) = (f · g)(x) = f (x)g(x), x∈I (1.3)
Conciente o División:
f def f (x)
C(x) = (x) = , x ∈ I, siempre y cuando g(x) 6= 0 (1.4)
g g(x)
f
En este caso, Dom = Dom{f } ∩ Dom{g} \ {x ∈ Dom{g} | g(x) = 0}
g
Composición de Funciones, para f : I ⊆ R → R, y = f (x) y g : J ⊆ R → R, z = g(y),
con Im{f } ⊆ J = Dom{g}, se denota por g ◦ f : Ie → R y se define como
def
(g ◦ f )(x) = g(f (x)), x ∈ I,
e (1.5)
Esquemáticamente,
R R R
f
*
*
g
@
@ q A
•
@
@
y j
x∗
◦z
@ J
A
*
@
@I Ie
@
g◦f
Figura 1.3 Composición de Funciones
2
Se le refiere como “función lineal”, pero en realidad sólo cuando b = 0 (rectas que pasan por el origen) la función
es lineal como transformación. En otro caso, es una traslación vertical de ésta.
iii) Función Potencia Entera: f (x) = xn , para n = 2, 3, 4, . . . , cuyo dominio es el con-
junto R y su gráfica varı́a de acuerdo a si la potencia (el grado) es par o impar, a) y b),
respectivamente, en la ilustración siguiente.
Observación: Entre mayor es n, la gráfica cada vez se ajusta más al intervalo (−1, 1).
iv) Función Cuadrática: Tipo de función polinomial un poco más compleja que las fun-
ciones polinomiales de primer grado (lineales), la cual es una combinación en suma y
producto de funciones potencia hasta grado 2. Esto es, f (x) = ax2 + bx + c , a, b, c ∈ R
con a 6= 0, la cual es equivalente a
2
" 2 #
b2 2
b c b c + 4ac − b
b
2
f (x) = a x + x + =a x+ − 2+ = a x +
a a 2a 4a a 2a
|{z} | 4a{z }
| {z }
−α β
completar trinomio
cuadrado perfecto
A continuación se ilustra el aspecto genérico que tienen las funciones cúbicas (izquierda)
y cuárticas (derecha), respectivamente, utilizando en particular alguna combinación espe-
cı́fica de los coeficientes.
Nota: Para grados mayores o iguales a 5, se deja como ejercicio opcional visualizar
la gráfica de la función polinomial que desee considerar. 2
Ejercicio 1.4 Analice el comportamiento (esto es, determine el dominio, la imagen y
:::::::::::::::
bosqueje la gráfica) para cada una de las siguientes funciones polinomiales
1 1 242
a) f (x) = − x2 + x +
4 7 147
1 3 1 2 34 77
b) g(x) = − x − x + x +
6 3 9 81
1 25
c) h(x) = x4 − 6x3 + 24x2 − 36x +
2 2
ii) Una función racional puede ser propia, cuando el grado del polinomio del numerador
es menor que el grado del polinomio del denominador o impropia en caso contrario. Pero,
en el segundo caso, es posible dividir Pm (x) por Qn (x), obteniendo
Pm (x)
RI (x) = = Pm−n (x) + r(x),
Qn (x)
con r(x) una función racional propia, por lo que las funciones racionales propias son las que
clasifican a esta importante clase de funciones.
iii) Analizar el comportamiento de una función racional es una tarea ardua desde los casos
más simples, ya que además de obtener el dominio y el rango, para visualizar la gráfica de
la función es necesario manejar el concepto de ası́ntotas (puntos en los que la función racional
no está definida), las cuales pueden ser rectas verticales o lugares geométricos más generales.
En el Ejemplo 1.4 se ilustra este concepto para algunos casos especı́ficos. El caso especial de
funciones racionales más simple posible es el grupo de funciones de la forma
ax + b a ad − bc 1
µ(x) = ≡ − · , (1.7)
cx + d c c cx + d
para a, b, c, d ∈ R, con c 6= 0, ∆ = ad−bc 6= 0 y x 6= −d/c, conocidas con el nombre funciones
tipo Möbius.
Nota: El conjunto de las funciones racionales está contenido en el conjunto de las funciones
algebraicas.
En general, una función algebraica es toda función y = f (x) que satisface una ecuación
polinomial de la forma
an (x)y n + an−1 (x)y n−1 + · · · + a2 (x)y 2 + a1 (x)y + a0 (x) = 0, (1.8)
donde an (x) 6= 0, an−1 (x), · · · , a2 (x), a1 (x), a0 (x) son funciones polinomiales (1.1).
Por lo tanto, hay funciones algebraicas explı́citas (cuando de (1.8) se puede despejar y = f (x)
en términos radicales) y funciones algebraicas implı́citas (cuando no es posible hacerlo3 ).
Queda como ejercicio para realizar en clase bosquejar la gráfica de la función algebraica
del inciso i) d) y comentar acerca de esta.
ii) Implı́citas: por ejemplo 4x3 y 5 − (x2 − 2x + 1)y 4 + (1 − x3 )y 3 + (6x + 7)y 2 − 8y − 5 = 0
(observe la gráfica).
Nota: En general, aun cuando las funciones algebraicas son complicadas, no son las
más complejas que se manejan en Cálculo, muchas de las cuales poseen caracterı́sticas y
aspectos tan complejos como podamos imaginar, algunas de estas funciones se denominan
funciones trascendentes, que van desde las funciones exponenciales, logarı́timicas,
trigonométricas, hiperbólicas, entre otras. Después aparecen las funciones especiales,
pero frecuentemente fuera del alcance de los cursos ordinarios de Cálculo.
2
Antes de continuar con el estudio de las funciones elementales, consideremos los siguientes
conceptos relacionados.
Definición 1.3.2 Una función es creciente en un intervalo J = (a, b) de su dominio si al
aumentar el valor de la variable independiente x a lo largo de J, también aumenta el valor de
la función. Esto es, si x2 > x1 entonces f (x2 ) > f (x1 ) (ver Figura 1.4 a)). Por otro lado, una
función es decreciente en J si al aumentar el valor de x a lo largo de J el valor de la función
disminuye. Es decir, x2 > x1 implica f (x2 ) < f (x1 ) (ver Figura 1.4 b))
y y
6 6
y = f (x)
Nota: Las funciones crecientes preservan el orden de los valores de la variable independiente,
mientras que las funciones decrecientes invierten el orden de los valores en sus imágenes.
Estos tipos de funciones se denominan monótonas, las cuales satisfacen la propiedad de ser
uno-a-uno o inyectivas.
Por otra parte, una función es sobreyectiva (es posible abreviar simplemente “sobre”)
cuando a cada elemento del contradominio le corresponde un elemento del dominio. Esto es,
∀ (para todo) y ∈ Y = Im{f } ∃ (existe) x ∈ X = Dom{f } 3 (tal que) f (x) = y.
Una biyección mapea o aplica el dominio completamente en el contradominio sin ningún tipo
de repetición.
Para bosquejar las gráficas de ambas funciones siempre se realiza considerando a x como
variable independiente. Esto es, en la función inversa x = f −1 (y), sin pérdida de generalidad,
se cambia y por x, lo cual denotaremos por y x.
Ejemplo 1.6 Biyecciones
a) Toda función lineal, y = l(x) = mx + b, 0 6= m, b ∈ R es una biyección. Además, de
una forma muy fácil es posible obtener su función inversa.
Justificación: Sea x1 6= x2 , y realicemos la operación
l(x1 ) − l(x2 ) = mx1 + Ab − (mx2 − Ab) = m(x1 − x2 ) 6= 0 ⇒ l(x1 ) 6= l(x2 ) ∀ x1 6= x2
1 b
x = l−1 (y) = y− = my
e + eb
m m
renombrando las constantes-coeficientes,
la cual es también una función lineal
(de la misma naturaleza).
En el bosquejo de la gráfica de ambas
funciones, ¿qué podemos observar?
Verificación: En efecto, f (x1 ) − f (x2 ) = x31 − x32 = (x1 − x2 )[x21 + x1 x2 + x22 ] 6= 0 para x1 6= x2 ,
lo cual implica que valores diferentes de la variable independiente produce imágenes diferentes
(inyectabilidad). La función inversa se obtiene tomando el proceso contrario a la potencia entera
(tomar una potencia racional o radical). Las gráficas de ambas funciones están ilustradas en
el inciso a) de la figura siguiente
c) Trabajando con la función cuadrática, f (x) = ax2 + c, 0 6= a, c ∈ R, parábola trasladada
verticalmente, cuyo dominio Dom{f } = R e imagen Im{f } = [c, +∞), si a > 0 o
(−∞, c] si a < 0, tenemos que si se considera todo el dominio de la función, ésta no
es inyectiva sobre este. Pero, si el dominio se restringe adecuadamente si lo puede ser...
Por ejemplo, en particular si Dom{f
g } = [0, ∞) y a > 0, entonces f es sobreyectiva sobre
ese subdominio y su función inversa es
r
y−c
f −1 (x) =
a
Nota: Aun cuando alebraicamente se utiliza la misma notación para el recı́proco de una can-
tidad, en este caso el contexto es diferente y no deben confundirse.
Para una función inversa una de la otra, f y f −1 , el dominio de una es la imagen de la otra
y viceversa.
No todas las funciones poseen una inversa. El requisito para que dada una función f exista
su inversa es que f sea inyectiva en su dominio de definición, lo cual frecuentemente es posible
tenerlo restringiendo adecuadamente el dominio de definición. Este requerimiento se traduce
más adelante en un criterio práctico para verificar la existencia de inversa de una función
dada, conocido como Teorema de la Función Inversa.
Definición 1.3.4 Dada una relación S, una nueva relación S̆ definida por
def
S̆ = {(b, a) | (a, b) ∈ S} (1.9)
se llama relación contraria, opuesta o inversa de S.
Cuando S̆ es una relación en el plano Rxy , significa que
la gráfica de S̆ es la reflexión de la gráfica de S respecto a
la recta y = x (sobre la gráfica de la función identidad).
Por ejemplo, en la relación definida por y > x, la relación
contraria está dada por y < x. En la Figura 1.5 se ilustra
este hecho, y además también se muestra el reflejo de
un punto, de una curva y de una región en el plano.
Para el caso de una función f (inyectiva), f˘ ≡ f −1 .
Demostración. Para mostrar que f˘ es una función, debemos mostrar que si (x, y), (x, z) ∈ Graf{f˘},
entonces y = z. Pero, (x, y) ∈ Graf{f˘} significa que (y, x) ∈ Graf{f }, esto es x = f (y). Similar-
mente, (x, z) ∈ Graf{f˘} significa que (z, x) ∈ Graf{f }, esto es x = f (z). Ası́, f (y) = f (z), y como
f es 1-1, esto implica que y = z. Por lo tanto, f˘ es una función.
Nota: El mismo argumento muestra que si f es 1-1 sobre un subconjunto S ⊂ Dom{f }, entonces
la restricción de f a S, denotada por f |S tiene una inversa.
Definición 1.3.5 Una función es par si f (−x) = f (x) para todo x ∈ Dom{f }, y es impar
si f (−x) = −f (x) para todo x ∈ Dom{f }.
El ejemplo tı́pico de función par e impar es, respectivamente, la función cuadrática, f (x) = x2 ,
y la función cúbica, f (x) = x3 (ver gráficas en Ejemplo 1.3 iii) ).
Observación: La gráfica de una función par es simétrica respecto al eje de las ordenadas
(simetrı́a axial), mientras que la gráfica de una función impar es simétrica respecto al origen
de coordenadas (simetrı́a puntual).
¿Qué podrı́amos decir acerca de las inversas en cada uno de los casos?
Definición 1.3.6 Se dice que una función es periódica si existe ω ∈ R tal que f (x+ω) = f (x).
En tal caso, ω es llamado periodo de la función f .
f (x∗ )
-
a x∗ b x∗ + ω x
z }| {
a+ω
Figura 1.6 Periodicidad
Sea ls (x) = ms x + bs la expresión de la recta secante que pasa por los puntos A = (α, f (α)) y
f (β) − f (α)
B = (β, f (β)), con ms = , la cual tiene la expresión
β−α
ls (x) − f (α) = ms (x − α) (ó ls (x) − f (β) =ms (x − β))
f (β) − f (α)
= tα + (1 − t)β −α
β−α | {z }
x
f (β) − f (α)
= [β(1 − t) − α(1 − t)]
β−α
f (β) − f (α)
= [(1 − t)(
β−
α)]
β−
α
= ls (x)
mente ±M ?
La función signo, entre las aplicaciones que tiene, se utiliza para reflejar partes
determinadas de una función respecto al eje de las abscisas. Por ejemplo, consi-
deremos la función fcr (x) = 12 x2 sgn(x − 1), cuya gráfica es la siguiente
b) Función Piso o Escalera Natural Infinita es la que asigna “el mayor entero”
(máximo entero menor o igual a x), la cual se denota por
fpiso(x) ≡ floor(x) = bxc
Podrı́amos seguir dando ejemplo tras ejemplo, pero ni el tiempo ni el espacio lo permiten
en este momento. Más adelante surgirán más combinaciones junto con otro tipo de fun-
ciones que faltan por analizar: funciones trigonométricas y sus inversas, exponenciales y
logarı́timicas, hiperbólicas, entre otras, que se clasifican como funciones trascendentes
(“tempranas”), las cuales abordaremos en la Sección 1.5
, donde b·c : R → Z es la
1
iv) Grafique las funciones P3 (x) = x3 y Pr (x) =
x
Función Piso (mayor entero menor o igual que el valor del argumento).
v) Sea f cualquier función definida en un intervalo simétrico (−a, a). Verifique que
f (x) + f (−x) f (x) − f (−x)
fp (x) = es una función par y que fi (x) = es una
2 2
función impar. Pruebe que toda función definida en un intervalo simétrico (−a, a),
que bien puede ser R, puede escribirse como la suma de una función
√ par y una impar.
2 3
Ejemplifique con las funciones f (x) = x + 3x − 1 y f (x) = x − x2 + 1.
3
√
r r
1 1
f1 (x) = 1 + x2 , f10 (x) = + x2 , · · · , f1,000,000 (x) = + x2
10 1, 000, 000
y comente qué fenómeno gráfico ocurre.