Académique Documents
Professionnel Documents
Culture Documents
3.1.1Definición: Una función f es una regla que asigna a cada uno de los números x de
un subconjunto D de ℜ un único número real f(x) . A D = dom f se le llama dominio de
f. y = f(x) es el valor de f en x . Imagen o recorrido de f es f(D) Im f = {f(x): x Î D}.
Observaciones.
En ocasiones f admite una expresión algebraica (por ejemplo f(x) = | x | , f(x) = sin x
,…), pero en otras no será expresable ni por una serie de palabras. Una f estará
determinada si conocemos todos los x de D y los valores y correspondientes. Esto nos
lleva a una definición más teórica, aunque más precisa.
Una función f es un conjunto de pares ordenados que no contiene dos distintos con el
mismo primer elemento.
Para la "función | x |" sería {( x,| x | ):x Î ℜ } (si no se precisa más, dom f es el conjunto
de x para los que f tiene sentido).
Geométricamente, f se puede representar con un sistema de coordenadas como un
conjunto de puntos (gráfica de f ) en el plano x y .
Así, la gráfica de f (x) = m x + b es un conjunto de puntos que constituyen una recta ( m
es su pendiente y b su corte con el eje y ).
A partir de dos funciones f y g se pueden definir otras funciones f +g , f – g , f . g , f / g
y fog:
(f + g)(x) = f(x) + g(x) , (f – g)(x) = f(x)–g(x) , (f . g)(x) = f(x).g(x) para x ∈ domf ∩ dom
g
(f /g) (x) = f (x) g(x) para x ∈ dom f ∩ dom g ∩{x : g(x) ≠ 0}
(f o g)(x) = f [g(x)] (composición de f y g) para x tales que x ∈ domg y g(x) ∈ domf
[suma y producto de funciones, como es inmediato ver, son conmutativas, asociativas y
hay distributiva; la composición es asociativa, pero no conmutativa: si f(x) = x2 y g(x) =
2x se tiene que (f o g)(x) = 4x2 no es igual a 2x2 = (g o f)(x) ]
3.1.1 Teorema: f estrictamente monótona f inyectiva. [si x ≠ x* o bien es f(x) < f(x*)
o bien f (x) > f (x*) ] posee por tanto función inversa.
Nota: Para la demostración de éste teorema acudiremos en el futuro a las derivadas.
3.1.4 Definición: Una función y = f (x) se dice función par si para todo x del dominio se
verifica f(-x) = f(x).
Una función y = f(x) se dice función impar si para todo x del dominio se
verifica f (-x) = - f (x).
⇔ ∃ M ∈ ℜ / ∀x ∈ dom ( f ) se tiene f ( x) ≤ M .
⇔ ∃ m ∈ ℜ / ∀x ∈ dom ( f ) se tiene f ( x) ≥ m.
Digresión histórica.
Uno de los lugares centrales del análisis lo ocupa el concepto de límite. Sobre él se
apoya todo el aparato de las demostraciones infinitesimales. Los matemáticos del siglo
XVIII probaron un conjunto de procedimientos para fundamentar el análisis
infinitesimal, pero lo insatisfactorio de casi todos estos métodos se hizo rápidamente
evidente. A finales del siglo XVIII y principios del XIX era más que evidente la
necesidad de construcción de la teoría de límites como base del análisis matemático y
una reconstrucción radical de este último. Este proceso de reconstrucción se reveló
claramente en los años veinte del siglo XIX, sobre todo en los trabajos de Agustín - Luis
Cauchy y en sus famosas conferencias, las cuales fueron publicadas en tres libros:
"Curso de análisis" (1821); "Resumen de conferencias sobre el cálculo de
infinitesimales" (1823) y "Conferencias sobre aplicaciones del análisis a la geometría"
(dos tomos 1826,1828). Estos libros tienen una importancia especial, porque en ellos
por primera vez, el análisis matemático se construye sucesivamente sobre la teoría de
límites.
El primero de los libros está dedicado al estudio de las funciones elementales, tanto de
variable real como compleja, incluyendo el estudio de las series infinitas. Asimismo se
introduce por primera vez, una magnitud infinitesimal como una variable cuyo límite es
igual a cero. Expuso también la cuestión de la convergencia de las series, así como sus
criterios de convergencia.
En el segundo de los libros se expone el cálculo diferencial e integral de función de
variable real, destacando la aparición de una demostración analítica de existencia de
integral definida de una función continua.
3.2.1 definición: Límite finito: Se dice que la función y = f(x) tiene por límite l cuando
x tiende hacia a, y se representa por:
si para cada ε > 0, ∃δ > 0 tal que si 0 < x − a < δ entonces f ( x) − l < ε
Se dice que x lim a f ( x) = +∞ si para cada k real ∃δ > 0 / 0 < x − a < δ f ( x) > k
Se dice que x lim a f ( x) = −∞ si para cada k real ∃δ > 0 / 0 < x − a < δ f ( x) < k
x
lim a ( f ( x) ± g ( x)) = x lim a f ( x) ± x lim a g ( x)
b) Siempre que λ ≠ 0
x
lim a (λ f ( x)) = λ x lim a f ( x)
x
lim a ( f ( x) ⋅ g ( x)) = x lim a f ( x) ⋅ x lim a g ( x)
f ( x) lim a f ( x)
x
lim a = x
g ( x) x
lim a g ( x)
Límites laterales
3.2.1 Teorema: Existe el límite si y solo si existen los limites laterales (por la derecha y
por la izquierda) y ambos coinciden.
3.2.2 Teorema: Si existe el límite, éste es único.
Todo lo dicho anteriormente es también válido si consideramos que el límite vale
+ ∞ o − ∞ en lugar de l.
Todo lo referente a las propiedades de los límites vistas en la pregunta anterior es válido
si escribimos + ∞ o − ∞ en lugar de a. Hay casos que parecen indeterminaciones y no
lo son realmente.
x
lim a f ( x) = ±∞
o alguno (o ambos) de los límites laterales vale ± ∞ . Es decir, puede haber asíntota
vertical por la derecha, por la izquierda o por ambos lados. La posición de la curva
respecto a la asíntota dependerá del signo de los límites laterales.
3.3.4 Definición: Asíntotas horizontales.
Se dice que y = f(x) tiene una asíntota horizontal en y = b si:
x
lim ±∞ f ( x) = b
f ( x)
a ) x lim ± ∞ f ( x) = ±∞ b) x
lim ± ∞ = m ≠ 0 c) x
lim ± ∞ ( f ( x ) − mx) = h (h ∈ R)
x
entonces se dice que y = m x + h es una asíntota oblicua de dicha función para x → ±∞ .
La asíntota puede aparecer cuando x → +∞ , x → −∞ o en ambos casos.
Para estudiar la posición de la gráfica de la función con respecto a la asíntota basta
estudiar el signo de f (x) - (m x + h).
b) Indeterminación 0 ⋅ ∞
En la mayoría de los casos basta con efectuar las operaciones indicadas.
c) Indeterminación 0 / 0
x
lim a + f ( x) = f (a)
x
lim a − f ( x) = f (a)
x
lima f ( x)
3.5.2 Teorema de conservación del signo: Sea y = f(x) una función continua en x = a
siendo f(a) distinto de 0, entonces existe un entorno de x = a en el que los valores de f(x)
tienen el mismo signo que f(a).
Demostración:
Supongamos que f(a) > 0 (si fuese negativo, se razonaría de modo similar).
Tomemos.
f (a )
ε=
2
Por la continuidad de y = f (x) en x = a se tiene que:
de modo que;
( f (a) − l , f ( a) + l )
es un intervalo acotado, por lo tanto y = f(x) está acotada en el entorno (a − δ , a + δ )
de x = a.
a. f ( x) ± g ( x) es continua en x = a.
b. f ( x) ⋅ g ( x) es continua en x = a.
f ( x)
c. es continua en x = a si g (a ) ≠ 0.
g ( x)
Tipos de discontinuidades
a) Evitable: Cuando existe el x lima f ( x) pero no coincide con el valor de f(a) por una de
la función en continua.
3.6.5 Definición: Si y = f(x) tiene una discontinuidad de salto en x = a, llamaremos salto
de la función en x = a al valor,
x
lim a + f ( x)− x lim a − f ( x)
a1 + b1
f
2
el teorema está demostrado.
En caso contrario, repetimos el proceso anterior, obteniéndose una sucesión
I1 ⊃ I 2 ⊃ I 3 ⊃ ⊃ In ⊃
de intervalos encajados tales que cada uno es la mitad del anterior y la función toma
valores opuestos en los extremos de cada intervalo. Dicha sucesión define un número
real c ∈ ( a, b) .
Demostremos que f (c) = 0.
Supongamos que:
f (c ) ≠ 0
∃ c ∈ (a, b ) / f (c) = k
a+b
x0 = y los subintervalos (a, x0 ) y ( x 0 , b )
2
Entonces f(x) no está acotada en uno de ellos, al menos, que llamaremos I 1 . Dividamos
I 1 en dos mitades y llamemos I 2 a aquella parte de las dos (al menos) en la que f(x) no
está acotada. Repitamos el proceso indefinidamente, obteniendo una sucesión
I1 ⊃ I 2 ⊃ I 3 ⊃ ⊃ In ⊃
de intervalos encajados, cada uno la mitad del anterior, donde f(x) no está acotada.
Sea c el número real que define esta sucesión. Como f es continua en [a, b] entonces, f
es continua en c, entonces por el teorema de acotación de la función, existirá un entorno
de c en el que la función está acotada. Pero en dicho entorno y por construcción estarán
incluidos a partir de uno todos los I i , donde la función no estaba acotada. Llegamos a
una
contradicción, luego f(x) está acotada en [a, b].
b) Veamos, a continuación, que f(x) alcanza el máximo en [a, b]. Análogamente
se
demuestra que alcanza el mínimo.
Si f(x) está acotada en [a, b] entonces
m ≤ f ( x) ≤ M ∀x ∈ [a, b ]