Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Producto cartesiano:
o Definición: sean 𝐴 y 𝐵 conjuntos, se llama producto cartesiano (se denota 𝐴𝑋𝐵) al conjunto
{(𝑎, 𝑏)/𝑎 ∈ 𝐴, 𝑏 ∈ 𝐵}. Esta definición se generaliza para una cantidad finita de conjuntos
o Ejemplo:
ℝ2 = ℝ × ℝ = {(𝑥, 𝑦)/ 𝑥 ∈ ℝ, 𝑦 ∈ ℝ}
ℝ3 = ℝ × ℝ × ℝ = {(𝑥, 𝑦, 𝑧)/ 𝑥 ∈ ℝ, 𝑦 ∈ ℝ, 𝑧 ∈ ℝ}
ℝ𝑛 = ℝ × ℝ × … × ℝ = {(𝑥1 , 𝑥2 , … , 𝑥𝑛 )/ ∀𝑖 = 1, … , 𝑛 𝑥𝑖 ∈ ℝ}
[1,3][1,4] = {(𝑥, 𝑦) ∈ ℝ2 / 1 ≤ 𝑥 ≤ 3, 1 ≤ 𝑦 ≤ 4}
Gráfico 1
Relación:
o Definición: dados 𝐴 y 𝐵 conjuntos, una relación 𝑅 de 𝐴 en 𝐵 es un subconjunto de 𝐴𝑋𝐵. En
símbolos:
𝑅 es una relación de 𝐴 en 𝐵 ⇔ 𝑅 ⊂ 𝐴𝑋𝐵
o Dominio de 𝑅:
𝑑𝑜𝑚 𝑅 = {𝑥 ∈ 𝐴/ ∃𝑦 ∈ 𝐵 ∧ (𝑥, 𝑦) ∈ 𝑅}
o Imagen de 𝑅 o rango de 𝑅:
𝐼𝑚 𝑅 = {𝑦 ∈ 𝐵/ ∃𝑥 ∈ 𝐴 ∧ (𝑥, 𝑦) ∈ 𝑅}
Función:
o Definición: sean 𝐴 y 𝐵 conjuntos. Una función de 𝐴 en 𝐵 es una relación de 𝐴 en 𝐵 que
verifica:
∀𝑥 ∈ 𝐴 ∃! 𝑦 ∈ 𝐵: (𝑥, 𝑦) ∈ 𝑓
o Observaciones:
Si 𝑓 es una función de 𝐴 en 𝐵, entonces el dominio de 𝑓 es igual al conjunto 𝐴
(𝑥1 , 𝑦1 ) ∈ 𝑓 ∧ (𝑥1 , 𝑦2 ) ∈ 𝑓 ⇒ 𝑦1 = 𝑦2
Notación:
𝑓: 𝐴 ⟶ 𝐵
𝑎 ⟶ 𝑓(𝑎)
o Tipos de funciones:
𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ se llama campo escalar o función real de 𝑛 variables
𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ𝑛 se llama campo vectorial
𝑓: 𝐴 ⊂ ℝ → ℝ se llama función vectorial de variable real
𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ𝑚 se llama función vectorial de variable vectorial
Gráfico 2
𝑓: ℝ2 → ℝ 𝑓 ⊂ ℝ2 × ℝ = ℝ3
(𝑥, 𝑦) → 𝑥 2 + 𝑦 2 = 𝑧
𝑓 = {(𝑥, 𝑦, 𝑧) ∈ ℝ3 / (𝑥, 𝑦) ∈ ℝ2 , 𝑧 = 𝑥 2 + 𝑦 2 }
Gráfico 3
Nociones topológicas:
o Distancias en ℝ𝑛 : dados 𝑃, 𝑄 ∈ ℝ𝑛 se define la distancia entre 𝑃 y 𝑄 como el número real:
𝑛
𝑑(𝑃, 𝑄) = √∑(𝑥𝑖 − 𝑦𝑖 )2
𝑖=1
Gráfico 4
𝑦
𝑥 2𝑦2
Ejemplo: sea 𝑓(𝑥, 𝑦) = con 𝑑𝑜𝑚 𝑓 = ℝ2 − {(0,0)} Queremos averiguar a qué valores
𝑥 2 +𝑦 2
tienden las imágenes de 𝑓 cuando (𝑥, 𝑦) → (0,0). Podemos tomar rectas que pasen por el
punto de estudio 𝑃0 = (0,0).
𝑥 2𝑥2 𝑥4 𝑥2
Por ejemplo: 𝑦 = 𝑥, entonces quedaría: 𝑓(𝑥, 𝑥) = 𝑥 2 +𝑥2 = 2𝑥 2 = 2
y el límite:
𝑥2
lim 𝑓(𝑥, 𝑥) = lim =0
𝑥→0 𝑥→0 2
𝑥 2 𝑚2 𝑥 2 𝑚2 𝑥 2
Si considero 𝑦 = 𝑚𝑥, 𝑚 ∈ ℝ lim 𝑓(𝑥, 𝑚𝑥) = lim 𝑥 2 +𝑚2 𝑥 2 = lim 1+𝑚2 = 0
𝑥→0 𝑥→0 𝑥→0
o Definición de límite por un subconjunto de dominio: dada 𝑓: 𝐴 ⊂ ℝ2 → ℝ, 𝑃0 pac de 𝐴. Sea
𝑆 = {(𝑥, 𝑦) ∈ ℝ2 / 𝑦 = 𝑔(𝑥), 𝑥 ∈ (𝑥0 − 𝛿, 𝑥0 + 𝛿)} ⊂ 𝐴, 𝑃0 pac de 𝑆, 𝑦0 = 𝑔(𝑥0 ), 𝑔
continua
Se llama límite por el subconjunto 𝑆 al siguiente límite cuando existe:
lim 𝑓(𝑥, 𝑔(𝑥))
(𝑥,𝑦)→(𝑥0 ,𝑦0 )
(𝑥, 𝑦) ∈ 𝑆
o Definición de límites repetidos: dada 𝑓: 𝐴 ⊂ ℝ2 → ℝ, 𝑃0 pac de 𝐴. Llamamos límites
repetidos de 𝑃 cuando 𝑃 → 𝑃0 a los siguientes límites cuando existen:
lim ( lim 𝑓(𝑥, 𝑦)) y lim ( lim 𝑓(𝑥, 𝑦))
𝑥→𝑥0 𝑦→𝑦0 𝑦→𝑦0 𝑥→𝑥0
Ejemplo:
𝑥 2𝑦2 𝑥2𝑦2
lim (lim ) = lim 0 = 0 ; lim (lim 2 ) = lim 0 = 0
𝑥→0 𝑦→0 𝑥 2 + 𝑦 2 𝑥→0 𝑦→0 𝑥→0 𝑥 + 𝑦 2 𝑦→0
o Observación: cuando los límites radiales, repetidos y por un subconjunto del dominio
existen, no garantizan la existencia de un valor límite para la función pues son casos
particulares que consideramos para acercarnos al punto de estudio. La única prueba válida
de la existencia del límite es demostrar que dicho valor no depende del camino elegido, es
decir, probar que se cumple la definición de límite
Límite o límite doble:
o Definición: sea 𝑓: 𝐴 ⊂ ℝ2 → ℝ, 𝑃0 pac de 𝐴, 𝑙 ∈ ℝ
lim 𝑓(𝑃) = 𝑙 ⇔ ∀ 𝐵𝜀 (𝑙) ∃ 𝐵𝛿∗ (𝑃0 ): ∀𝑃 ∈ 𝐴 ∩ 𝐵𝛿∗ (𝑃0 ) se cumple 𝑓(𝑃) ∈ 𝐵𝜀 (𝑙)
𝑃→𝑃0
Curvas
o Definición: sea 𝐼 ⊂ ℝ un intervalo real. Sea 𝑓: 𝐼 → ℝ𝑛 , 𝑡 → (𝑓1 (𝑡), … , 𝑓𝑛 (𝑡)), 𝑓 función
continua en 𝐼. Llamamos curva a la imagen de 𝑓, es decir:
𝑓(𝐼) = {(𝑓1 (𝑡), … , 𝑓𝑛 (𝑡)) ∈ ℝ𝑛 /𝑡 ∈ 𝐼}
Decimos que la curva está “parametrizada por 𝑓” o que “𝑓 es una parametrización de la
curva” y la variable 𝑡 le llamamos parámetro
Derivada
o Definición derivada de función vectorial de variable real: sea 𝐼 ⊂ ℝ → ℝ𝑛 , 𝐼 intervalo real y
sea 𝑡0 ∈ 𝐼 0 . La derivada de 𝑓 en 𝑡0 , denotada por 𝑓′(𝑡0 ) es el siguiente límite cuando existe:
𝑓(𝑡) − 𝑓(𝑡0 )⁄ 𝑓(𝑡0 + ℎ)𝑓(𝑡0 )⁄
lim 𝑡 − 𝑡0 o lim ℎ
𝑡→𝑡0 ℎ→0
0 ′ (𝑡),
o Definición de función derivada: si ∀ 𝑡 ∈ 𝐼 ∃ 𝑓 llamamos función derivada a la función
𝑓 ′ : 𝐼 0 → ℝ𝑛
𝑡 ↦ 𝑓′(𝑡)
o Teorema: sea 𝑓: 𝐼 ⊂ ℝ → ℝ𝑛 , 𝐼 intervalo real y 𝑡0 ∈ 𝐼 0 . 𝑓 tiene derivada en 𝑡0 si y sólo si
∀𝑖 = 1, … , 𝑛 𝑓𝑖 tiene derivada en 𝑡0 y vale 𝑓 ′ (𝑡0 ) = (𝑓′1 (𝑡0 ), … , 𝑓′𝑛 (𝑡0 ))
o Interpretación geométrica: sea 𝑓: 𝐼 → ℝ2 o ℝ3 , 𝐼 intervalo real, 𝑓 continua en 𝐼.
Suponemos que ∃ 𝑓′(𝑡0 ) para algún 𝑡0 ∈ 𝐼 0 . Como 𝑓 es continua, su imagen es una curva
Gráfico 6
𝑓(𝑡0 + ℎ) − 𝑓(𝑡0 )⁄
El vector ℎ es un vector dirección de la recta secante a la curva que pasa
𝑓(𝑡0 + ℎ) − 𝑓(𝑡0 )⁄ 𝑃 − 𝑃0⁄ ⃗⃗⃗⃗⃗⃗⃗
𝑃𝑃0⁄
por 𝑃0 y 𝑃, pues ℎ= ℎ= ℎ
Como existe el límite para ℎ → 0, existe el vector posición límite, es decir, existe la recta
posición límite de las rectas secantes a la curva que pasan por 𝑃0 . Por lo tanto 𝑓′(𝑡0 ) es el
vector tangente a la curva en 𝑃0 = 𝑓(𝑡0 ) y la ecuación de la recta tangente a la curva en 𝑃0
será: 𝑃 = 𝑓(𝑡0 ) + 𝜆. 𝑓 ′ (𝑡0 ), 𝜆 ∈ ℝ
o Definición de derivadas parciales de función real de dos variables reales: sea 𝑓: 𝐴 ⊂ ℝ2 → ℝ,
𝑃0 ∈ 𝐴0 . Se llama derivada parcial de 𝑓 respecto de 𝑥 en 𝑃0 , y se denota 𝑓𝑥 (𝑃0 ), al siguiente
límite cuando existe:
𝑓(𝑥0 + ℎ, 𝑦0 ) − 𝑓(𝑥0 , 𝑦0 )
lim
ℎ→0 ℎ
Otras notaciones:
𝜕𝑓(𝑃0 ) 𝜕𝑓
| 𝐷1 𝑓(𝑃0 )
𝜕𝑥 𝜕𝑥 𝑃0
Me acerco a 𝑃0 por la recta 𝑦 = 𝑦0
De manera análoga se define la derivada parcial de 𝑓 respecto a 𝑦 en 𝑃0 . Se llama derivada
parcial de 𝑓 respecto a 𝑦 en 𝑃0 , y se denota 𝑓𝑦 (𝑃0 ), al siguiente límite cuando existe:
𝑓(𝑥0 , 𝑦0 + 𝑘) − 𝑓(𝑥0 , 𝑦0 )
lim
𝑘→0 𝑘
Otras notaciones:
𝜕𝑓(𝑃0 ) 𝜕𝑓
| 𝐷2 𝑓(𝑃0 )
𝜕𝑦 𝜕𝑦 𝑃0
Comentario: las derivadas parciales calculan la rapidez de cambio de una función cuando me
acerco al punto 𝑃0 por rectas horizontales (𝑓𝑥 ) y rectas verticales (𝑓𝑦 )
Observación: para calcular 𝑓𝑥 (𝑃0 ) tomamos 𝑦 = 𝑦0 mientras 𝑥 → 𝑥0 , esto nos dice que en la
ecuación de la función podemos reemplazar 𝑦 = 𝑦0 , e interpretarla como una función de
una sola variable, la variable "𝑥"
𝑧 = 𝑓(𝑥, 𝑦) quiero 𝑓𝑥 (𝑃0 ) entonces tomo 𝑦 = 𝑦0 y escribo 𝑧 = 𝑓(𝑥, 𝑦0 ) = 𝜑(𝑥). Si existe
𝜑(𝑥0 +ℎ)−𝜑(𝑥0 ) 𝑓(𝑥0 +ℎ,𝑦0 )−𝑓(𝑥0 ,𝑦0 )
𝜑′(𝑥) existe 𝑓(𝑥0 , 𝑦0 ) pues: 𝜑′ (𝑥) = lim ℎ
= lim ℎ
= 𝑓𝑥 (𝑃0 )
ℎ→0 ℎ→0
Por lo tanto puedo usar reglas de derivación conocidas para funciones de una variable real,
mirando a la otra variable como una constante
Interpretación geométrica: supongamos que existe 𝑓𝑥 (𝑃0 ). Sea 𝑆 la superficie
representación gráfica de 𝑓. Llamo 𝜏 al plano vertical 𝑦 = 𝑦0 . Llamo 𝒞 a la curva de
intersección del plano 𝜏 con la superficie 𝑆, es decir:
𝑦 = 𝑦0
𝒞 {𝑧 = 𝑓(𝑥, 𝑦)
Si introducimos un sistema de ejes coordenados en el plano vertical 𝜏, donde el eje vertical
será la recta intersección de 𝜏 con el plano 𝑥 = 0, el eje horizontal será la recta intersección
del plano 𝜏 con plano 𝑧 = 0, la ecuación de la curva 𝒞 en el plano 𝜏 será:
𝑧 = 𝑓(𝑥, 𝑦0 ) = 𝜑(𝑥) ⟶ función de única variable
Comentario: las derivadas parciales de estas funciones se calculan igual que antes, aplicando
reglas de derivación para función de una variable, mirando a las restantes variables como
constantes. Si la derivada parcial 𝑓𝑥𝑖 existe en más de un punto interno del dominio,
podemos definir la función derivada parcial 𝑓𝑥𝑖
Definición: sea 𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ, 𝑃0 ∈ 𝐴0 tal que ∀𝑖 = 1, … , 𝑛 ∃𝑓𝑥𝑖 (𝑃0 ). Llamamos vector
gradiente al siguiente vector:
⃗∇𝑓(𝑃0 ) = (𝑓𝑥1 (𝑃0 ), 𝑓𝑥2 (𝑃0 ), … , 𝑓𝑥𝑛 (𝑃0 ))
o Derivada parcial de una función vectorial de variable vectorial: sea 𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ𝑚 ,
𝑃0 = (𝑥10 , 𝑥20 , … , 𝑥𝑛0 ) ∈ 𝐴0 con funciones coordenadas 𝑓𝑗 : 𝐴 → ℝ , 𝑗 = 1, … , 𝑚. La derivada
parcial de 𝑓 respecto a 𝑥𝑖 en 𝑃0 es el siguiente límite cuando existe:
𝑓(𝑥10 , 𝑥20 , … , 𝑥𝑖0 + ℎ𝑖 , … , 𝑥𝑛0 ) − 𝑓(𝑥10 + ⋯ + 𝑥𝑛0 )
𝑓𝑥𝑖 (𝑃0 ) = lim
ℎ𝑖 →0 ℎ𝑖
𝜕
Teorema: sea 𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ𝑚 , 𝑃0 ∈ 𝐴0 tal que para algún 𝑖 existen 𝜕𝑥 𝑓𝑗 (𝑃0 ) ∀𝑗 = 1, … , 𝑚
𝑖
𝜕 𝜕 𝜕
entonces 𝑓𝑥𝑖 (𝑃0 ) = ( 𝑓 (𝑃 ), 𝑓 (𝑃 ), … , 𝑓𝑚 (𝑃0 ))
𝜕𝑥𝑖 1 0 𝜕𝑥𝑖 2 0 𝜕𝑥𝑖
o Derivada direccional: sea 𝑓: 𝐴 ⊂ ℝ2 → ℝ, 𝑃0 ∈ 𝐴0 . Sea 𝑆 la
semirrecta con origen en 𝑃0 y
⃗ = (𝑈1 , 𝑈2 ), es decir: 𝑠: 𝑃 = 𝑃0 + 𝑇. 𝑈
dirección 𝑈 ⃗, 𝑇≥0
⃗ ≠ Θ es:
Definición: la derivada direccional de 𝑓 en 𝑃0 ∈ 𝐴0 en cualquier dirección 𝑉
𝐷 𝑉⃗ 𝑓(𝑃0 )
‖𝑉‖
Interpretación geométrica: sea 𝑆 la superficie representación gráfica de 𝑓, de ecuación
⃗ vector unitario y supongamos que existe 𝐷𝑈⃗ 𝑓(𝑃0 ). Llamo 𝒞 a la
𝑧 = (𝑥, 𝑦). Sea 𝑃0 ∈ 𝐴0 , 𝑈
curva de intersección de la superficie 𝑆 con el semiplano vertical que contiene a la
semirrecta que pasa por 𝑃0 y tiene dirección 𝑈 ⃗ , es decir, la ecuación del semiplano es:
𝑃 = 𝑃0 + 𝑡. 𝑈⃗ , 𝑡 ≥ 0. Entonces las ecuaciones de la curva 𝒞 son:
𝑧 = 𝑓(𝑥, 𝑦)
𝒞{
⃗, 𝑡≥0
𝑃 = 𝑃0 + 𝑡. 𝑈
Si 𝑡 = 0 entonces 𝜑(0) = 𝑓(𝑃0 ) es decir en este sistema de ejes el punto (0, 𝜑(0)) le
corresponde el punto 𝜑0 . Como existe 𝐷𝑈⃗ 𝑓(𝑃0 ) existe 𝜑′ + (0) pues:
𝑓(𝑃0 + 𝑡. 𝑈⃗ ) − 𝑓(𝑃0 ) 𝜑(𝑡) − 𝜑(0)
lim+ = lim+ = 𝜑 ′ + (0)
𝑡→0 𝑡 𝑡→0 𝑡
De esta igualdad 𝐷𝑈⃗ 𝑓(𝑃0 ) = 𝜑′ + (0) se concluye que la derivada direccional es la pendiente
de la semitangente a la curva 𝒞 en el punto 𝑄0 , es decir, 𝐷𝑈⃗ 𝑓(𝑃0 ) es igual a la tan 𝛾
⃗,
𝑃 = 𝑃0 + 𝜆. 𝑁 𝜆∈ℝ
Gráfico 10
Diferencial
o Definición: sea 𝑓: 𝐴 ⊂ ℝ2 → ℝ, 𝑃0 ∈ 𝐴0 y 𝑓 diferenciable en 𝑃0 . Se llama diferencial de 𝑓 en
𝑃0 a la transformación lineal 𝜆: ℝ2 → ℝ , (ℎ, 𝑘) ↦ 𝑓𝑥 (𝑃0 ). ℎ + 𝑓𝑦 (𝑃0 ). 𝑘 donde ℎ = 𝑥 − 𝑥0 y
𝑘 = 𝑦 − 𝑦0 . Esta transformación 𝜆 se denota 𝑑𝑓𝑃0 , entonces:
𝜆(ℎ, 𝑘) = 𝑑𝑓𝑃0 (𝑥 − 𝑥0 , 𝑦 − 𝑦0 ) = 𝑓𝑥 (𝑃0 )(𝑥 − 𝑥0 ) + 𝑓𝑦 (𝑃0 )(𝑦 − 𝑦0 )
o Interpretación geométrica de la diferencial: si 𝑓 es diferenciable en 𝑃0 su gráfica tiene plano
tangente en 𝑄0 , 𝑄0 = (𝑥0 , 𝑦0 , 𝑧0 ), donde 𝑧0 = 𝑓(𝑥0 , 𝑦0 ) de ecuación:
𝑧 − 𝑧0 = 𝑓𝑥 (𝑃0 )(𝑥 − 𝑥0 ) + 𝑓𝑦 (𝑃0 )(𝑦 − 𝑦0 )
2
Si llamamos 𝑔: ℝ → ℝ, (𝑥, 𝑦) ↦ 𝑔(𝑥, 𝑦) = 𝑓(𝑃0 ) + 𝑓𝑥 (𝑃0 )(𝑥 − 𝑥0 ) + 𝑓𝑦 (𝑃0 )(𝑦 − 𝑦0 )
observamos que 𝑔(𝑥0 , 𝑦0 ) = 𝑓(𝑃0 ) y que la gráfica de la función 𝑔 es precisamente el plano
que es tangente a la superficie representación gráfica de 𝑓 en 𝑄0 . Entonces podemos decir
lo siguiente:
𝑔(𝑥, 𝑦) − 𝑧0 = 𝑓𝑥 (𝑃0 )(𝑥 − 𝑥0 ) + 𝑓𝑦 (𝑃0 )(𝑦 − 𝑦0 )
∆𝑔(𝑃0 ) = 𝑑𝑓𝑃0 (𝑥 − 𝑥0 , 𝑦 − 𝑦0 )
Es decir que la diferencial de 𝑓 en 𝑃0 mide la variación de la cota 𝑧 en el plano tangente
Gráfico 11
𝑤(ℎ,𝑘)
Como 𝑓 es diferenciable en 𝑃0 para puntos próximos a 𝑃0 ocurre que lim = 0,
(ℎ,𝑘)→(0,0) √ℎ2 +𝑘 2
pero este límite implica lim 𝑤(ℎ, 𝑘) = 0. Entonces cuando 𝑥 ≅ 𝑥0 y 𝑦 ≅ 𝑦0 :
(ℎ,𝑘)→(0,0)
𝑓(𝑥, 𝑦) ≅ 𝑓(𝑃0 ) + 𝑑𝑓𝑃0 (𝑥 − 𝑥0 , 𝑦 − 𝑦0 ) = 𝑔(𝑥, 𝑦)
Esto dice que los valores de la función 𝑓 en 𝑃 próximos a 𝑃0 se puede aproximar con los
valores de la función 𝑔 en el mismo punto 𝑃. Geométricamente esto significa que existe un
entorno de 𝑃0 en donde la gráfica de la función 𝑓 se puede aproximar con la gráfica de la
función 𝑔, es decir con el plano tangente
Teorema del valor medio del cálculo diferencial
o Definición: sea 𝑓: 𝐷 ⊂ ℝ2 → ℝ diferenciable en 𝐷 0 . Sean 𝐴, 𝐵 ∈ 𝐷 0 tal que el segmento
⃗⃗⃗⃗⃗ ⊂ 𝐷 0 . Entonces existe 𝐶 ∈ 𝐴𝐵
𝐴𝐵 ̅̅̅̅ tal que:
𝑓(𝐵) − 𝑓(𝐴) = ⃗∇𝑓(𝐶). (𝐵 − 𝐴)
o Interpretación geométrica: supongamos que 𝐴 ≠ 𝐵, siendo 𝐴 y 𝐵 puntos interiores de 𝐷.
Entonces ‖𝐵 − 𝐴‖ ≠ 0. Podemos dividir miembro a miembro la igualdad que plantea la tesis
por ‖𝐵 − 𝐴‖:
𝑓(𝐵) − 𝑓(𝐴) (𝐵 − 𝐴) Vector unitario
= ⃗∇𝑓(𝐶).
‖𝐵 − 𝐴‖ ‖𝐵 − 𝐴‖
𝑓(𝐵)−𝑓(𝐴)
Gráfico 11 ‖𝐵−𝐴‖
es la pendiente de la recta 𝑠
⃗ 𝑓(𝑐). 𝑈
∇ ⃗ = 𝐷𝑈⃗ 𝑓(𝑐) porque 𝑓
es diferenciable en 𝑐 y vale esa fórmula
o Observación: toda transformación lineal tiene asociada una matriz. En este caso la matriz
⃗ ) respecto de las bases canónicas de ℝ𝑛 y ℝ𝑚 , a la cual
asociada a la transformación 𝜆(ℎ
denotamos 𝑓′(𝑃0 ) y llamamos matriz jacobiana:
𝜕𝑓1 (𝑃0 ) 𝜕𝑓1 (𝑃0 ) 𝜕𝑓1 (𝑃0 )
⋯
𝜕𝑥1 𝜕𝑥2 𝜕𝑥𝑛
𝜕𝑓2 (𝑃0 ) 𝜕𝑓2 (𝑃0 ) 𝜕𝑓2 (𝑃0 )
𝑓′(𝑃0 )𝑚×𝑛 = ⋯
𝜕𝑥1 𝜕𝑥2 𝜕𝑥𝑛
⋮ ⋮ ⋱ ⋮
𝜕𝑓𝑚 (𝑃0 ) 𝜕𝑓𝑚 (𝑃0 ) 𝜕𝑓𝑚 (𝑃0 )
⋯
( 𝜕𝑥1 𝜕𝑥2 𝜕𝑥𝑛 )
ℎ1
ℎ
Entonces 𝑑𝑓𝑃0 : ℝ𝑛 → ℝ𝑚 , (ℎ1 , … , ℎ𝑛 ) ↦ [𝑓′(𝑃0 )]𝑚×𝑛 = ( 2)
⋮
ℎ𝑛
o Observaciones:
Si 𝑓 es diferenciable en 𝑃0 entonces 𝑓 es continua en 𝑃0
SI 𝑓 es diferenciable en 𝑃0 entonces existen todas las derivadas parciales de 𝑓 en 𝑃0
o Teorema: sea 𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ𝑚 , 𝑃0 ∈ 𝐴0 , 𝑓𝑗 : 𝐴 → ℝ sus funciones coordenadas 𝑓 es
diferenciable en 𝑃0 ⇔ ∀𝑗 = 1, … , 𝑚 𝑓𝑗 es diferenciable en 𝑃0 . En consecuencia:
𝑑𝑓𝑃 (ℎ⃗ ) = (𝑑𝑓1𝑃 (ℎ
⃗ ), 𝑑𝑓2𝑃 (ℎ
⃗ ), … , 𝑑𝑓𝑚𝑃 (ℎ
⃗ ))
0 0 0 0
Funciones compuestas
o Definición: sean 𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ𝑚 , 𝑔: 𝐵 ⊂ ℝ𝑚 → ℝ𝑃 tal que 𝑓(𝐴) ⊂ 𝐵. La función
𝑔 ∘ 𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ𝑃 , 𝑃 ↦ 𝑔(𝑓(𝑃)) se llama composición de 𝑓 y 𝑔 o también función
compuesta de 𝑓 con 𝑔
Gráfico 12
𝑔′ (𝑈, 𝑉) = (𝑔𝑈 (𝑈, 𝑉), 𝑔𝑉 (𝑈, 𝑉)) 𝑔′ (𝑓(𝑥, 𝑦)) = (𝑔𝑈 (𝑓(𝑥, 𝑦)), 𝑔𝑉 (𝑓(𝑥, 𝑦)))
𝑈𝑥 (𝑥, 𝑦) 𝑈𝑦 (𝑥, 𝑦)
𝑓′(𝑥, 𝑦) = ( )
𝑉𝑥 (𝑥, 𝑦) 𝑉𝑦 (𝑥, 𝑦)
𝑈𝑥 (𝑃0 ) 𝑈𝑦 (𝑃0 )
(𝑔 ∘ 𝑓)′ (𝑃0 ) = (𝑔𝑈 (𝑓(𝑃0 )), 𝑔𝑉 (𝑓(𝑃0 ))) . ( )
𝑉𝑥 (𝑃0 ) 𝑉𝑦 (𝑃0 )
(𝑔 ∘ 𝑓)′ (𝑃0 ) = (𝑔𝑈 (𝑓(𝑃0 )). 𝑈𝑥 (𝑥, 𝑦) + 𝑔𝑉 (𝑓(𝑃0 )). 𝑉𝑥 (𝑃0 ) , 𝑔𝑈 (𝑓(𝑃0 )). 𝑈𝑦 (𝑃0 )
+ 𝑔𝑉 (𝑓(𝑃0 )). 𝑉𝑦 (𝑃0 ))
𝜕(𝑔 ∘ 𝑓) 𝜕(𝑔 ∘ 𝑓)
(𝑔 ∘ 𝑓)′ (𝑃0 ) = ( 𝑃0 , 𝑃0 )
𝜕𝑥 𝜕𝑦
𝑓: 𝐴 ⊂ ℝ → ℝ2 𝑔: 𝐵 ⊂ ℝ2 → ℝ 𝑔 ∘ 𝑓: ℝ → ℝ
𝑡 ↦ (𝑈(𝑡), 𝑉(𝑡)) (𝑈, 𝑉) ↦ 𝑧 𝑡 ↦ 𝑔(𝑓(𝑡)) = 𝑔(𝑈(𝑡), 𝑉(𝑡))
𝑔′ (𝑈, 𝑉) = (𝑔𝑈 (𝑈, 𝑉), 𝑔𝑣 (𝑈, 𝑉)) 𝑔′ (𝑓(𝑡)) = (𝑔𝑈 (𝑓(𝑡)), 𝑔𝑉 (𝑓(𝑡)))
𝑈′(𝑡) 𝑈′(𝑡)
𝑓 ′ (𝑡) = ( ) (𝑔 ∘ 𝑓)′ (𝑡) = (𝑔𝑈 (𝑈(𝑡), 𝑉(𝑡)), 𝑔𝑣 (𝑈(𝑡), 𝑉(𝑡))). ( )
𝑉′(𝑡) 𝑉′(𝑡)
(𝑔 ∘ 𝑓)′ (𝑡) = 𝑔𝑈 (𝑈(𝑡), 𝑉(𝑡)). 𝑈 ′ (𝑡) + 𝑔𝑣 (𝑈(𝑡), 𝑉(𝑡)). 𝑉′(𝑡)
Funciones implícitas
1. Algunas funciones reales de variable real se definen por una ecuación de la forma 𝑦 = 𝑓(𝑥)
con 𝑥 ∈ 𝐴 ⊂ ℝ. Una función dada de esta forma se dice función explícita y su gráfica en
general es una curva en ℝ2
Definición: Sean 𝐹: ℝ × ℝ → ℝ, (𝑥, 𝑦) ↦ 𝐹(𝑥, 𝑦), 𝑓: 𝐴 ⊂ ℝ → ℝ, 𝑥 ↦ 𝑓(𝑥) = 𝑦
decimos que la ecuación 𝐹(𝑥, 𝑦) = 0 define implícitamente a 𝑓 en 𝐴 si y sólo si ∀𝑥 ∈ 𝐴
𝐹(𝑥, 𝑓(𝑥)) = 0
Teorema fundamental de las funciones implícitas:
Sean 𝐹: ℝ × ℝ → ℝ, (𝑥, 𝑦) ↦ 𝐹(𝑥, 𝑦), 𝑃0 = (𝑥0 , 𝑦0 ) ∈ ℝ2 tal que:
𝐹, 𝐹𝑥 , 𝐹𝑦 son continuas en 𝐵𝛿 (𝑃0 )
𝐹(𝑃0 ) = 0 verifica la ecuación 𝐼1 𝐼2
𝐹𝑦 (𝑃0 ) ≠ 0
Entonces existe un rectángulo abierto 𝑅 ⊂ 𝐵𝛿 (𝑃0 ), 𝑅 = (𝑥0 − 𝑎, 𝑥0 + 𝑎) × (𝑦0 − 𝑏, 𝑦0 + 𝑏)
con 𝑎, 𝑏 ∈ ℝ+ y existe una única función:
𝑓: 𝐼1 → ℝ 𝑥 ↦ 𝑦 = 𝑓(𝑥) tal que:
∀𝑥 ∈ 𝐼1 𝐹(𝑥, 𝑓(𝑥)) = 0 ⋀ 𝑓(𝑥) ∈ 𝐼2
𝑓(𝑥0 ) = 𝑦0 el punto pertenece al rectángulo
𝑓 es continua y derivable en 𝐼1 y su derivada es continua en 𝐼1 y es igual a
𝐹𝑥 (𝑥, 𝑓(𝑥))
𝑓 ′ (𝑥) = − ∀𝑥 ∈ 𝐼1
𝐹𝑦 (𝑥, 𝑓(𝑥))
Gráfico 13
2. Cuando una función real de dos variables reales está dada por una ecuación de la forma
𝑧 = 𝑓(𝑥, 𝑦), (𝑥, 𝑦) ∈ 𝐴 ⊂ ℝ2 decimos que la ecuación define explícitamente a la función,
porque nos permite obtener los valores de 𝑧 en función de los valores de 𝑥 e 𝑦
Definición: Sean 𝐹: ℝ2 × ℝ → ℝ, (𝑥, 𝑦, 𝑧) ↦ 𝐹(𝑥, 𝑦, 𝑧), 𝑓: 𝐴 ⊂ ℝ2 → ℝ, (𝑥, 𝑦) ↦ 𝑓(𝑥, 𝑦) = 𝑧
decimos que la ecuación 𝐹(𝑥, 𝑦, 𝑧) = 0 define implícitamente a 𝑓 en 𝐴 si y sólo si ∀𝑥 ∈ 𝐴
𝐹(𝑥, 𝑦, 𝑓(𝑥, 𝑦)) = 0
3. Definición: sean 𝐹: ℝ𝑛 × ℝ𝑚 → ℝ𝑚 ,
(𝑥1 , … , 𝑥𝑛 , 𝑦1 , … , 𝑦𝑚 ) ↦ (𝐹1 (𝑥1 , … , 𝑥𝑛 , 𝑦1 , … , 𝑦𝑚 ), … , 𝐹𝑚 (𝑥1 , … , 𝑥𝑛 , 𝑦1 , … , 𝑦𝑚 ) y sea:
𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ𝑚 , (𝑥1 , … , 𝑥𝑛 ) ↦ (𝑓1 (𝑥1 , … , 𝑥𝑛 ), … , 𝑓𝑚 (𝑥1 , … , 𝑥𝑛 ))
La ecuación vectorial 𝐹(𝑥1 , … , 𝑥𝑛 , 𝑦1 , … , 𝑦𝑚 ) = 𝜃 define implícitamente a 𝑓 en 𝐴 si y sólo si
∀(𝑥1 , … , 𝑥𝑛 ) ∈ 𝐴 𝐹( 𝑥1 , … , 𝑥𝑛 , 𝑓1 ( ), … , 𝑓𝑚 ( )) = 𝜃
Observación:
Podemos identificar o llamar 𝑥 = (𝑥1 , … , 𝑥𝑛 ), 𝑦 = (𝑦1 , … , 𝑦𝑚 ), luego con esta
identificación podemos escribir 𝐹(𝑥, 𝑦) = ⃗θ, 𝑦 = 𝑓(𝑥) por lo tanto la ecuación
quedaría 𝐹(𝑥, 𝑓(𝑥)) = ⃗θ
Decir que la ecuación vectorial 𝐹(𝑥, 𝑦) = θ ⃗ define implícitamente a 𝑦 = 𝑓(𝑥) es
equivalente a decir que el sistema de ecuaciones escalares define implícitamente a
las variables 𝑦𝑗 con 𝑗 = 1, … , 𝑚 en términos de variables 𝑥𝑖 con 𝑖 = 1, … , 𝑛
𝐹1 (𝑥1 , … , 𝑥𝑛 , 𝑦1 , … , 𝑦𝑚 ) = 0
𝐹 (𝑥 , … , 𝑥𝑛 , 𝑦1 , … , 𝑦𝑚 ) = 0
{ 2 1
⋮
𝐹𝑚 (𝑥1 , … , 𝑥𝑛 , 𝑦1 , … , 𝑦𝑚 ) = 0
Integrales paramétricas
o Definición: sea 𝑓: 𝐷 → ℝ continua en 𝐷, 𝐷 = {(𝑥, 𝑦) ∈ ℝ2 : 𝑎 ≤ 𝑥 ≤ 𝑏, 𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥)}
con 𝑎, 𝑏 ∈ ℝ y 𝛼: [𝑎, 𝑏] → ℝ, 𝛽: [𝑎, 𝑏] → ℝ funciones continuas. Se llama integral
paramétrica a la siguiente función:
𝐹: [𝑎, 𝑏] → ℝ
𝛽(𝑥)
𝑥 ↦ 𝐹(𝑥) = ∫ 𝑓(𝑥, 𝑦)𝑑𝑦
𝛼(𝑥)
Gráfico 14
𝛽(𝑥)
o Interpretación geométrica: consideremos la integral paramétrica 𝐹(𝑥) = ∫𝛼(𝑥) 𝑓(𝑥, 𝑦)𝑑𝑦
donde 𝛼 y 𝛽 son continuas en [𝑎, 𝑏] y 𝑓 es continua en 𝐷 con 𝐷 = {(𝑥, 𝑦) ∈ ℝ2 : 𝑎 ≤ 𝑥 ≤ 𝑏,
𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥)} y 𝑓(𝑥, 𝑦) ≥ 0 ∀(𝑥, 𝑦) ∈ 𝐷
Consideremos:
La gráfica de 𝑓, es decir la superficie 𝑆 de ecuación 𝑧 = 𝑓(𝑥, 𝑦)
El plano vertical 𝑥 = 𝑥0
𝑧 = 𝑓(𝑥, 𝑦)
La curva 𝒞 = { intersección de la superficie 𝑆 con el plano vertical 𝑥 = 𝑥0
𝑥 = 𝑥0
𝑧 = 𝑓(𝑥0 , 𝑦) = 𝜑(𝑦)
Gráfico 15
Entonces:
𝛽(𝑥0 )
𝐹(𝑥0 ) = ∫ 𝑓(𝑥0 , 𝑦)𝑑𝑦
𝛼(𝑥0 )
𝛽(𝑥0 )
=∫ 𝜑(𝑦)𝑑𝑦 = 𝐴(𝑅 ′ )
𝛼(𝑥0 )
Pero 𝐴(𝑅 ′ ) es igual al área de la porción del plano vertical 𝑥 = 𝑥0 limitada superiormente
por la curva 𝐶 y lo segmentos que unen los puntos 𝑅 y 𝑃, 𝑃 con 𝑄, 𝑇 con 𝑄. Afirmamos esto
porque 𝑅′ es la proyección de esta porción del plano, llamamos 𝑅
o Propiedades geométricas:
Continuidad(c/demo)
Teorema: sea 𝑓: 𝐷 → ℝ continua en 𝐷, donde 𝐷 = {(𝑥, 𝑦) ∈ ℝ2 : 𝑎 ≤ 𝑥 ≤ 𝑏,
𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥)} con 𝑎, 𝑏 ∈ ℝ y 𝑦 = 𝛼(𝑥), 𝑦 = 𝛽(𝑥) continuas en [𝑎, 𝑏]
𝛽(𝑥)
entonces: 𝐹(𝑥) = ∫𝛼(𝑥) 𝑓(𝑥, 𝑦)𝑑𝑦 es continua en [𝑎, 𝑏]
La integral paramétrica es derivable
𝛽(𝑥)
Teorema: regla de Leibniz: sea 𝐹: [𝑎, 𝑏] → ℝ, 𝑥 ↦ ∫𝛼(𝑥) 𝑓(𝑥, 𝑦)𝑑𝑦 donde 𝛼 y 𝛽 son continuas en
[𝑎, 𝑏] y derivables en (𝑎, 𝑏), 𝑓 continua en 𝐷 = {(𝑥, 𝑦) ∈ ℝ2 : 𝑎 ≤ 𝑥 ≤ 𝑏, 𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥)} y
𝑓𝑥 (𝑥, 𝑦) es continua en 𝐷. Entonces:
𝛽(𝑥)
∀𝑥 ∈ (𝑎, 𝑏) 𝐹(𝑥) = ∫ 𝑓𝑥 (𝑥, 𝑦)𝑑𝑦 + 𝛽 ′ (𝑥). 𝑓(𝑥, 𝛽(𝑥)) − 𝛼 ′ (𝑥). 𝑓(𝑥, 𝛼(𝑥))
𝛼(𝑥)
Integral doble
o Definición de poligonal: sean 𝑃, 𝑄 ∈ ℝ𝑛 , llamamos poligonal que une 𝑃 y 𝑄 a la unión finita
de segmentos ̅̅̅̅̅ 𝑍1 𝑍2 , … , ̅̅̅̅̅̅
𝑃𝑍1 , ̅̅̅̅̅̅ 𝑍𝑛 𝑄 con 𝑍𝑖 ∈ ℝ𝑛
o Definición de conjunto conexo: sea 𝐴 ⊂ ℝ𝑛 , 𝐴 se dice conexo si y sólo si ∀𝑃, 𝑄 ∈ 𝐴 existe un
poligonal que une 𝑃 y 𝑄, contenido 𝐴
o Definición de región: sea 𝑓: 𝐴 ⊂ ℝ𝑛 , 𝐴 se llama región si y sólo si 𝐴 es un conjunto abierto,
conexo y contiene a toda su frontera o parte de ella
o Definición de función acotada: la función 𝑓: 𝐴 ⊂ ℝ𝑛 → ℝ se dice acotada si y sólo si
∃𝑘 ∈ ℝ+ : ∀𝑃 ∈ 𝐴 |𝑓(𝑃)| ≤ 𝑘
o Definición de partición de un rectángulo y norma de la partición: sea 𝑅 = [𝑎, 𝑏] × [𝛼, 𝛽]
consideremos los siguientes puntos de división del intervalo [𝑎, 𝑏]:
𝑎 = 𝑥0 < 𝑥1 < 𝑥2 < ⋯ < 𝑥𝑝−1 < 𝑥𝑝 = 𝑏
Consideremos los siguientes puntos de división del intervalo [𝛼, 𝛽]:
𝛼 = 𝑦0 < 𝑦1 < 𝑦2 < ⋯ < 𝑦𝑞−1 < 𝑦𝑞 = 𝛽
Por cada 𝑥𝑖 trazamos una recta vertical, y por cada 𝑦𝑗 trazamos una recta horizontal. El
rectángulo queda dividido en 𝑝. 𝑞 = 𝑛 rectángulos parciales a los que llamamos 𝑅𝑘 :
𝑅𝑘 = [𝑥𝑖−1 , 𝑥𝑖 ] × [𝑦𝑗−1 , 𝑦𝑗 ] con 1 ≤ 𝑖 ≤ 𝑝, 1 ≤ 𝑗 ≤ 𝑞
El conjunto de todos los rectángulos parciales 𝑅𝑘 se llama partición de 𝑅 y se denota como 𝜋
𝜋 = {𝑅1 , 𝑅2 , … , 𝑅𝑛 }
Llamo 𝐴(𝑅𝑘 ) al área del rectángulo 𝑅𝑘 . El diámetro de 𝑅𝑘 es el número real 𝑑𝑘
𝑑𝑘 = max{𝑑(𝑃, 𝑄): 𝑃, 𝑄 ∈ 𝑅𝑘 }
Se llama norma de la partición 𝜋 al número real 𝜂(𝜋) = max{𝑑𝑘 : 1 ≤ 𝑘 ≤ 𝑛}
o Definición de integral doble sobre un rectángulo: sea 𝑅 = [𝑎, 𝑏] × [𝛼, 𝛽] rectángulo,
𝑓: 𝑅 → ℝ función acotada en 𝑅, 𝜋 partición de 𝑅 en 𝑛 = 𝑝. 𝑞 rectángulos parciales 𝑅𝑘 de
área 𝐴(𝑅𝑘 ), 𝜂(𝜋) la norma de la partición. Sea 𝑃𝑘 un punto arbitrario de 𝑅𝑘 ∀𝑘. La suma
∑𝑛𝑘=1 𝑓(𝑃𝑘 ). 𝐴(𝑅𝑘 ) se llama suma de Riemann. Si existe el número real 𝐼 donde:
𝑛
Observación:
Todo conjunto finito en ℝ2 tiene área nula
La gráfica de 𝑓: ℝ → ℝ continua, es decir, una curva, tiene área nula
La unión finita de conjuntos de área nula tiene área nula
Teorema: toda función 𝑓: 𝑅 ⊂ ℝ2 → ℝ acotada en 𝑅 y continua 𝑅 excepto en un conjunto
de puntos de área nula es integrable en 𝑅
o Generalización de la integral doble a una región cerrada y acotada: sea 𝐷 ⊂ ℝ2 región
cerrada y acotada, 𝑓: 𝐷 → ℝ función acotada en 𝐷. Sea 𝑅 un rectángulo que contiene a 𝐷, 𝜋
una partición de 𝑅 con norma 𝜂(𝜋) y 𝑛 rectángulos parciales 𝑅𝑘 de área 𝐴(𝑅𝑘 ). Sea 𝑃𝑖 ∈
𝑅𝑖 ∀𝑖
Definimos la función 𝑔: 𝑅 → ℝ
Gráfico 16
𝑓(𝑥, 𝑦) 𝑠𝑖 (𝑥, 𝑦) ∈ 𝐷
(𝑥, 𝑦) ↦ 𝑔(𝑥, 𝑦) = {
0 𝑠𝑖 (𝑥, 𝑦) ∈ 𝑅 − 𝐷
∬ 𝑎. 𝑓𝑑𝐴 = 𝑎 ∬ 𝑓𝑑𝐴
𝐷 𝐷
Positividad: si 𝑓(𝑃) ≥ 0 ∀𝑃 ∈ 𝐷 entonces
∬ 𝑓(𝑃)𝑑𝐴 ≥ 0
𝐷
Monotonía: si 𝑓(𝑃) ≤ 𝑔(𝑃) ∀𝑃 ∈ 𝐷 entonces
∬ 𝑓𝑑𝐴 ≥ ∬ 𝑔𝑑𝐴
𝐷 𝐷
Aditividad respecto de la región de integración: si 𝐷 = 𝐷1 ∪ 𝐷2 donde 𝐷10 ∩ 𝐷20 = ∅
∬ 𝑓𝑑𝐴 = ∬ 𝑓𝑑𝐴 + ∬ 𝑓𝑑𝐴
𝐷 𝐷1 𝐷2
o Integral iterada o sucesiva: es una integral definida cuyo integrando es también una integral
definida. Tiene dos formas:
𝑏 𝛽(𝑥)
∫ (∫ 𝑓(𝑥, 𝑦)𝑑𝑦) 𝑑𝑥 , 𝑎, 𝑏 ∈ ℝ, 𝑦 = 𝛼(𝑥), 𝑦 = 𝛽(𝑥) continuas en [𝑎, 𝑏]
𝑎 𝛼(𝑥)
Y la otra forma:
𝑑 𝛾(𝑥)
∫ (∫ 𝑓(𝑥, 𝑦)𝑑𝑥 ) 𝑑𝑦 , 𝑐, 𝑑 ∈ ℝ, 𝑦 = 𝛿(𝑥), 𝑦 = 𝛾(𝑥) continuas en [𝑐, 𝑑]
𝑐 𝛿(𝑥)
o Definición de región simple: una región 𝐷 ⊂ ℝ2 se dice simple respecto al eje 𝑂𝑦 ⃗⃗⃗⃗⃗ si
2
𝐷 = {(𝑥, 𝑦) ∈ ℝ : 𝑎 ≤ 𝑥 ≤ 𝑏, 𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥)} es decir, si toda paralela al eje 𝑂𝑦 ⃗⃗⃗⃗⃗ corta a
la frontera en a lo sumo dos puntos o en puntos de un segmento rectilíneo de su frontera. 𝐷
se dice simple respecto al eje ⃗⃗⃗⃗⃗
𝑂𝑥 si toda recta paralela al eje ⃗⃗⃗⃗⃗
𝑂𝑥 intersecta a la frontera en a
lo sumo dos puntos o en los puntos de un segmento rectilíneo de su frontera. 𝐷 se dice
simple si es simple respecto al eje ⃗⃗⃗⃗⃗
𝑂𝑦 y al eje ⃗⃗⃗⃗⃗
𝑂𝑥
o Teorema: sea 𝑓: 𝐷 → ℝ continua en 𝐷 = {(𝑥, 𝑦) ∈ ℝ2 : 𝑎 ≤ 𝑥 ≤ 𝑏, 𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥)}
donde 𝑎, 𝑏 ∈ ℝ, las funciones 𝛼 y 𝛽 son continuas en [𝑎, 𝑏], entonces 𝑓 es integrable en 𝐷 y
vale la igualdad:
𝑏 𝛽(𝑥)
∬ 𝑓𝑑𝐴 = ∫ (∫ 𝑓(𝑥, 𝑦)𝑑𝑦) 𝑑𝑥
𝐷 𝑎 𝛼(𝑥)
Si 𝐷 = {(𝑐, 𝑑) ∈ ℝ2 : 𝑐 ≤ 𝑥 ≤ 𝑑, 𝛿(𝑥) ≤ 𝑦 ≤ 𝛾(𝑥)}
𝑑 𝛾(𝑥)
∬ 𝑓𝑑𝐴 = ∫ (∫ 𝑓(𝑥, 𝑦)𝑑𝑥 ) 𝑑𝑦
𝐷 𝑐 𝛿(𝑥)
o Interpretación geométrica de la integral doble: supongamos 𝑓(𝑃) ≥ 0 ∀𝑃 ∈ 𝐷,
𝐷 = {(𝑥, 𝑦) ∈ ℝ2 : 𝑎 ≤ 𝑥 ≤ 𝑏, 𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥)} 𝑓 continua en 𝐷 entonces por teorema:
𝑏 𝛽(𝑥)
∬ 𝑓𝑑𝐴 = ∫ (∫ 𝑓(𝑥, 𝑦)𝑑𝑦) 𝑑𝑥
𝐷 𝑎 𝛼(𝑥)
𝛽(𝑥)
Sabemos que 𝑔(𝑥) = ∫𝛼(𝑥) 𝑓(𝑥, 𝑦)𝑑𝑦, ésta integral paramétrica definida ∀𝑥 ∈ [𝑎, 𝑏] nos da
el área de una porción del plano vertical 𝑥 = 𝑥0 , cuando 𝑥0 ∈ [𝑎, 𝑏]
Gráfico 18
Por el teorema del valor intermedio sabemos que existe 𝑃∗ ∈ 𝐷 tal que 𝑓(𝑃∗ ) = 𝜇. El primer
miembro de la igualdad representa el volumen de un sólido 𝑇 limitado superiormente por la
gráfica de 𝑓, e inferiormente por la región plana 𝐷. El segundo miembro de la igualdad es el
volumen de un sólido 𝑇′ de altura 𝜇 = 𝑓(𝑃∗ ). Esto se deduce por:
∬ 𝑑𝐴 = 𝐴(𝐷)
𝐷
𝑉(𝑇 ′ ) = 𝑓(𝑃∗ )
Gráfico 19
o Teorema cambio de variables: sea 𝑔: 𝑈 ⊂ ℝ2 → ℝ2 , (𝑈, 𝑉) ↦ (𝑥(𝑈, 𝑉), 𝑦(𝑈, 𝑉)) con 𝑉
abierto de ℝ2 tal que:
𝑔 es continuamente diferenciable en 𝑉
𝑔 es inyectiva en 𝑈
𝑥𝑈 𝑥𝑉
∀𝑃 ∈ 𝑉, el determinante 𝑔′ (𝑃) = |𝑦 |≠0
𝑈 𝑦𝑉
Si 𝐷′ ⊂ 𝑈 es un conjunto cerrado y acotado cuya frontera tiene área nula, 𝑔′ (𝐷) = 𝐷 y
𝑓: 𝐷 ⊂ ℝ2 → ℝ continua en 𝐷. Entonces:
∬ 𝑓(𝑥, 𝑦)𝑑𝑥𝑑𝑦 = ∬ 𝑓(𝑔(𝑈, 𝑉)). |det 𝑔′|. 𝑑𝑈𝑑𝑉
𝐷 𝐷′
Observación: el teorema admite una generalización, la cual nos dice que la tesis sigue siendo
válida aun cuando la función 𝑔 no es inyectiva en un conjunto de puntos de área nula
contenido en 𝐷′ o cuando det 𝑔′ = 0 en un conjunto de puntos de área nula contenido en 𝐷′
o Coordenadas polares: dado un punto 𝑃 = (𝑥, 𝑦) se puede identificar con un par de números
reales 𝜌, 𝜑 donde:
𝜌 = 𝑑(𝑃, 𝜃) = ‖𝑂𝑃 ⃗⃗⃗⃗⃗ ‖
𝜑 ángulo que se mide en sentido anti horario, formado por el vector 𝑂𝑃 ⃗⃗⃗⃗⃗ y el semieje
⃗⃗⃗⃗⃗
positivo 𝑂𝑋
𝑥 = 𝜌 cos 𝜑 0 ≤ 𝜑 ≤ 2𝜋
Se deduce que {
𝑦 = 𝜌 sin 𝜑 0≤𝜌≤∞
Defino la siguiente función 𝑔: [0, ∞) × [0,2𝜋] → ℝ2, (𝜌, 𝜑) ↦ (𝜌 cos 𝜑, 𝜌 sin 𝜑)
𝑔 es continuamente diferenciable en (0, ∞) × (0,2𝜋)
𝑔 es inyectiva excepto en 𝜌 = 0, 𝜑 = 0 y 𝜑 = 2𝜋
det 𝑔′ = 𝜌
Como det 𝑔′ ≠ 0 si 𝜌 ≠ 0, entonces estamos bajo la hipótesis de la generalización del
teorema, por lo tanto podemos decir que si 𝐷 = 𝑔(𝐷 ′ ) con 𝐷 ′ ⊂ [0, ∞) × [0,2𝜋]
∬ 𝑓(𝑥, 𝑦)𝑑𝑥𝑑𝑦 = ∬ 𝑓( 𝜌 cos 𝜑 , 𝜌 sin 𝜑)| 𝜌|. 𝑑𝜌. 𝜑𝑑
𝐷 𝐷′
Integral triple
o Definición de integral triple sobre un rectángulo de ℝ3 : sea 𝑅 = [𝑎1 , 𝑏1 ] × [𝑎2 , 𝑏2 ] × [𝑎3 , 𝑏3 ]
un rectángulo de ℝ3 , sea 𝜋1 una partición del intervalo [𝑎1 , 𝑏1 ] con 𝑝 + 1 puntos de división:
𝑎1 = 𝑥0 < 𝑥1 < 𝑥2 < ⋯ < 𝑥𝑝 = 𝑏1
Sea 𝜋2 una partición del intervalo [𝑎2 , 𝑏2 ] con 𝑞 + 1 puntos de división:
𝑎2 = 𝑦0 < 𝑦1 < 𝑦2 < ⋯ < 𝑦𝑞 = 𝑏2
Sea 𝜋3 una partición del intervalo [𝑎3 , 𝑏3 ] con 𝑟 + 1 puntos de división:
𝑎3 = 𝑧0 < 𝑧1 < 𝑧2 < ⋯ < 𝑧𝑟 = 𝑏3
Trazamos por los puntos de 𝜋1 planos paralelos al plano 𝑦𝑂𝑧, por los puntos de 𝜋2 planos
paralelos al plano 𝑥𝑂𝑧 y por los puntos de 𝜋3 planos paralelos al plano 𝑥𝑂𝑦
El rectángulo 𝑅 queda dividido en 𝑛 = 𝑝. 𝑞. 𝑟 rectángulos parciales 𝑅𝑘 donde
𝑅𝑘 = [𝑥𝑖−1 , 𝑥1 ] × [𝑦𝑗−1 , 𝑦𝑗 ] × [𝑧𝑙−1 , 𝑧𝑙 ] con 𝑖 = 1, … , 𝑝 ; 𝑗 = 1, … , 𝑞 ; 𝑙 = 1, … , 𝑟
𝑉(𝑅𝑘 ) = (𝑥𝑖−1 , 𝑥1 ). (𝑦𝑗−1 , 𝑦𝑗 ). (𝑧𝑙−1 , 𝑧𝑙 ) es el volumen del rectángulo parcial 𝑅𝑘 , llamamos
partición 𝜋 del rectángulo 𝑅 al conjunto de los rectángulos parciales 𝑅𝑘
El diámetro de 𝑅𝑘 es:
𝑑𝑘 = max{𝑑(𝑃, 𝑄)/ 𝑃, 𝑄 ∈ 𝑅𝑘 }
Gráfico 20
Norma de la partición 𝜋 es:
𝜂(𝜋) = max{𝑑𝑘 : 1 ≤ 𝑘 ≤ 𝑛}
Sea 𝑓: 𝑅 → ℝ función acotada en 𝑅 rectángulo de ℝ3 . Sean 𝑃𝑘 puntos arbitrarios de los
rectángulos parciales 𝑅𝑘 , consideramos la siguiente suma de Riemann:
𝑛
∑ 𝑓(𝑃𝑘 ). 𝑉(𝑅𝑘 )
𝑘=1
lim ∑1𝑘=1 𝑓(𝑃𝑘 ). 𝑉(𝑅𝑘 ) independiente de la partición 𝜋 y de la
Si existe el número real 𝑛→∞
𝜂(𝜋)→0
elección de los puntos 𝑃𝑘 decimos que 𝑓 es integrable sobre 𝑅 y el valor del límite se llama
integral triple de Riemann de 𝑓 sobre 𝑅
o Teorema: sea 𝑓: 𝑅 → ℝ, 𝑅 rectángulo de ℝ3 y 𝑓 continua en 𝑅, entonces 𝑓 es integrable
sobre 𝑅
o Definición de conjunto de volumen nulo: sea 𝑅 un rectángulo de ℝ3 que contiene a 𝐵. Sea 𝜋
una partición de 𝑅 en 𝑛 rectángulos parciales 𝑅𝑘 . Sea 𝑏𝑚 la suma de los volúmenes de los
rectángulos parciales que contienen al menos un punto de 𝐵. Decimos que 𝐵 es un conjunto
de volumen nulo si y sólo si lim 𝑏𝑚 = 0. Se puede probar que los siguientes conjuntos
𝑚→∞
tienen volumen nulo
{𝑃} con 𝑃 ∈ ℝ3
Todo conjunto finito en ℝ3
La gráfica de una función continua definida en una región cerrada y acotada
𝑓: 𝐴 ⊂ ℝ2 → ℝ, 𝑓 continua en 𝐴
La unión finita de conjuntos de volumen nulo
𝑔: 𝑅 → ℝ
Gráfico 21
𝑓(𝑃) 𝑠𝑖 𝑃 ∈ 𝐷
𝑃↦{
0 𝑠𝑖 𝑃 ∈ 𝑅 − 𝐷
o Definición de región simple: una región 𝐷 ⊂ ℝ3 se dice simple si toda paralela a los ejes
cartesianos intersecta a la frontera de 𝐷 en a lo sumo dos puntos o en los puntos de un
segmento de recta contenido en la frontera
o Teorema: sea 𝑓: 𝐷 → ℝ continua en 𝐷 donde:
𝐷 = {(𝑥, 𝑦, 𝑧) ∈ ℝ3 / 𝑎 ≤ 𝑥 ≤ 𝑏 , 𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥) , ℎ(𝑥, 𝑦) ≤ 𝑧 ≤ 𝑔(𝑥, 𝑦)} donde
𝛼: [𝑎, 𝑏] → ℝ continua, 𝛽: [𝑎, 𝑏] → ℝ continua, ℎ: 𝐷′ ⊂ ℝ2 → ℝ continua, 𝑔: 𝐷′ → ℝ
continua, 𝐷 ′ = {(𝑥, 𝑦) ∈ ℝ2 / 𝑎 ≤ 𝑥 ≤ 𝑏, 𝛼(𝑥) ≤ 𝑦 ≤ 𝛽(𝑥)}, entonces 𝑓 es integrable
sobre 𝐷 y vale:
𝑏 𝛽(𝑥) 𝑔(𝑥,𝑦)
∭ 𝑓(𝑥, 𝑦, 𝑧)𝑑𝑥. 𝑑𝑦. 𝑑𝑧 = ∫ 𝑑𝑥 ∫ 𝑑𝑦 ∫ 𝑓(𝑥, 𝑦, 𝑧) 𝑑𝑧
𝐷 𝑎 𝛼(𝑥) ℎ(𝑥,𝑦)
𝑏 𝛽(𝑥) 𝑔(𝑥,𝑦)
= ∫ (∫ (∫ 𝑓(𝑥, 𝑦, 𝑧) 𝑑𝑧)𝑑𝑦)𝑑𝑥
𝑎 𝛼(𝑥) ℎ(𝑥,𝑦)
Gráfico 22
𝑧 es la distancia del punto 𝑃
al plano 𝑧 = 0
Planteamos la siguiente función que cumplirá con las hipótesis de la generalización del
teorema:
𝑔: [0, ∞) × [0,2𝜋] × (−∞, ∞) → ℝ3
(𝜌, 𝜑, 𝑧) ↦ (𝜌 cos 𝜑 , 𝜌 sin 𝜑 , 𝑧)
det 𝑔′ (𝜌, 𝜑, 𝑧) = 𝜌
Como 𝜌 ≥ 0, |det 𝑔′ | = 𝜌, luego:
∭ 𝑓(𝑥, 𝑦, 𝑧)𝑑𝑥. 𝑑𝑦. 𝑑𝑧 = ∭ 𝑓(𝜌 cos 𝜑 , 𝜌 sin 𝜑 , 𝑧). 𝜌. 𝑑𝑧. 𝑑𝜌. 𝑑𝜑
𝐷 𝐷′
o Coordenadas esféricas: dado un punto 𝑃 = (𝑥, 𝑦, 𝑧) se puede ubicar con tres números reales
𝜑, 𝜃, 𝑟 conocidos como coordenadas esféricas
𝑟 = 𝑑(𝑂, 𝑃) = ‖𝑂𝑃 ⃗⃗⃗⃗⃗ ‖ = √𝑥 2 + 𝑦 2 + 𝑧 2
⃗⃗⃗⃗⃗ positivo con el vector 𝑂𝑃
𝜃 es el ángulo que forma el semieje 𝑂𝑍 ⃗⃗⃗⃗⃗ 𝜃 ∈ [0, 𝜋]
𝑂𝑋 y el vector ⃗⃗⃗⃗⃗⃗⃗
𝜑 es el ángulo entre el semieje positivo ⃗⃗⃗⃗⃗ 𝑂𝑃′, medido en sentido anti
horario 𝜑 ∈ [0,2𝜋]
Gráfico 24
𝑥 = 𝑟. sin 𝜃 . cos 𝜑
Se deduce { 𝑦 = 𝑟. sin 𝜃 . sin 𝜃
𝑧 = 𝑟. cos 𝜃
Proponemos la siguiente función que cumple con las hipótesis de la generalización del
teorema:
𝑔: [0, ∞) × [0,2𝜋] × [0, 𝜋] → ℝ3
(𝑟, 𝜑, 𝜃) ↦ (𝑟. sin 𝜃 . cos 𝜑 , 𝑟. sin 𝜃. sin 𝜑 , 𝑟. cos 𝜃)
det 𝑔′(𝑟, 𝜑, 𝜃) = −𝑟 2 . sin 𝜃
2
Luego |det 𝑔′| = 𝑟 . sin 𝜃, entonces:
∭ 𝑓(𝑥, 𝑦, 𝑧)𝑑𝑥. 𝑑𝑦. 𝑑𝑧 = ∭ 𝑓(𝑔(𝑟, 𝜑, 𝜃)). 𝑟 2 . sin 𝜃 . 𝑑𝑟. 𝑑𝜑. 𝑑𝜃
𝐷 𝐷′
Integrales curvilíneas
o Definición de curva cerrada: decimos que 𝛾 = 𝑓([𝑎, 𝑏]) es cerrado si 𝑓(𝑎) = 𝑓(𝑏), es decir,
si el punto inicial coincide con el punto final
o Definición de curva simple: decimos que 𝛾 = 𝑓([𝑎, 𝑏]) es simple si 𝑓 es inyectiva en [𝑎, 𝑏) o
en (𝑎, 𝑏]
o Definición de curva regular: 𝛾 es una curva regular si y sólo si:
𝑓 es continua en [𝑎, 𝑏]
𝑓′ es continua en (𝑎, 𝑏)
∀𝑡 ∈ (𝑎, 𝑏) 𝑓 ′ (𝑡) ≠ 𝜃
o Definición de curva regular a trazos: 𝛾 es regular a trazos si se puede descomponer en un
número finito de áreas regulares
o Definición: si 𝛾 = 𝑓([𝑎, 𝑏]) con 𝑓(𝑎) punto inicial y 𝑓(𝑏) punto final, −𝛾 es la misma curva 𝛾
recorrida en sentido contrario, es decir 𝑓(𝑏) punto inicial y 𝑓(𝑎) punto final. La ecuación de
– 𝛾 es: 𝑔(𝑡) = 𝑓(𝑎 + 𝑏 − 𝑡), 𝑡 ∈ [𝑎, 𝑏]
o Longitud de arco de curva: sea 𝛾 = 𝑓([𝑎, 𝑏]) curva en ℝ3 , simple. Sea 𝜋 una partición de
[𝑎, 𝑏] con 𝑛 + 1 puntos de división:
𝑎 = 𝑡0 < 𝑡1 < ⋯ < 𝑡𝑘−1 < 𝑡𝑘 < ⋯ < 𝑡𝑛 = 𝑏
La norma de la partición 𝜋 es:
𝜂(𝜋) = max{|𝑡𝑘 − 𝑡𝑘−1 |: 𝑘 = 1, … , 𝑛}
En 𝛾 quedan determinados los siguientes puntos:
𝑃𝑘 = 𝑓(𝑇𝑘 ) con 𝑘 = 0, … , 𝑛
Llamo 𝑃 a la poligonal que une los puntos 𝑃𝑘 . La longitud de la poligonal 𝑃 es:
𝑛 𝑛
⃗⃗⃗⃗⃗⃗⃗⃗⃗⃗⃗⃗⃗⃗
𝐿(𝑃) = ∑‖𝑃 𝑘−1 𝑃𝑘 ‖ = ∑‖𝑓(𝑇𝑘 ) − 𝑓(𝑇𝑘−1 )‖
𝑘=1 𝑘=1
lim ∑𝑛𝑘=1‖𝑓(𝑇𝑘 ) − 𝑓(𝑇𝑘−1 )‖ y es independiente de la poligonal 𝑃, este límite se
Si existe n→∞
𝜂(𝜋)→0
llama longitud de la curva 𝛾 y se denota 𝐿(𝛾) = ∫𝛾 𝑑𝑆. Cuando existe el límite decimos que
𝛾 es rectificable
o Teorema: sea 𝛾 = 𝑓([𝑎, 𝑏]) una curva regular y simple, entones 𝛾 es rectificable y su
longitud es:
𝑏
𝐿(𝛾) = ∫ ‖𝑓′(𝑡)‖ 𝑑𝑡
𝑎
o Integral curvilínea de un campo escalar: sea 𝐹: 𝐷 ⊂ ℝ3 → ℝ campo acotado en 𝐷 conjunto
abierto, sea 𝛾 = 𝑓([𝑎, 𝑏]) curva simple contenida en 𝐷. Sea 𝜋 una partición del intervalo
cerrado [𝑎, 𝑏] con 𝑛 + 1 puntos de división:
𝑎 = 𝑡0 < ⋯ < 𝑡𝑘−1 < 𝑡𝑘 < ⋯ < 𝑡𝑛 = 𝑏
Sea 𝜂(𝜋) norma de la partición 𝜋, 𝜂(𝜋) = max{|𝑡𝑘 − 𝑡𝑘−1 |: 𝑘 = 1, … , 𝑛}. Sean
𝑃𝑘 = 𝑓(𝑇𝑘 ) ∀𝑘 = 0, … , 𝑛 y 𝛾𝑘 = ̅̅̅̅̅̅̅̅̅
𝑃𝑘−1 𝑃𝑘 el arco parcial de 𝛾 que une los puntos 𝑃𝑘−1 y 𝑃𝑘 ,
lim ∑𝑛𝑘=1 𝐹(𝑄𝑘 ). ∆𝑆𝑘 , donde
arcos de longitudes ∆𝑆𝑘 , es decir ∆𝑆𝑘 = 𝐿(𝛾𝑘 ). Si existe n→∞
𝜂(𝜋)→0
𝑄𝑘 ∈ 𝛾𝑘 arbitrario, y es independiente de la partición 𝜋 y de la elección de los puntos 𝑄𝑘 ,
este límite se llama integral curvilínea del campo 𝐹 a lo largo de 𝛾, y se denota:
∫ 𝐹(𝑥, 𝑦, 𝑧)𝑑𝑆
𝛾
Divergencia
o Definición: sea 𝑓: 𝑈 ⊂ ℝ3 → ℝ3 , (𝑥, 𝑦, 𝑧) ↦ (𝐹1 (𝑥, 𝑦, 𝑧), 𝐹2 (𝑥, 𝑦, 𝑧), 𝐹3 (𝑥, 𝑦, 𝑧)). 𝑈 es un
conjunto abierto de ℝ3 , 𝐹 es un campo vectorial con derivadas parciales en 𝑈. Se llama
divergencia a la siguiente función escalar:
𝜕𝐹1 𝜕𝐹2 𝜕𝐹3
𝑑𝑖𝑣 𝐹 : 𝑈 → 𝑅 (𝑥, 𝑦, 𝑧) ↦ + +
𝜕𝑥 𝜕𝑦 𝜕𝑧
o Teorema de la divergencia (Gauss-Ostrogradski): sea 𝑅 ⊂ ℝ3 región cerrada, acotada y
simple. Sea 𝑆 frontera de 𝑅 (es decir, superficie cerrada) superficie regular a trazos y
orientable, orientada según la normal exterior a 𝑆 que designamos 𝑛⃗𝑒 . Sea 𝐹: 𝑈 ⊂ ℝ3 → ℝ3
(𝑥, 𝑦, 𝑧) ↦ (𝐹1 (𝑥, 𝑦, 𝑧), 𝐹2 (𝑥, 𝑦, 𝑧), 𝐹3 (𝑥, 𝑦, 𝑧)) continuamente diferenciable en 𝑈 abierto.
Entonces:
∬ 𝐹 . 𝑛⃗𝑒 𝑑𝑤 = ∭ 𝑑𝑖𝑣 𝐹 𝑑𝑥. 𝑑𝑦. 𝑑𝑧
𝑆 𝑅