Documentos de Académico
Documentos de Profesional
Documentos de Cultura
El concepto de k k (norma) nos da una noción de distancia, el tener una noción de distancia en
R o más generalmente en Rn , es lo que nos permite hablar de limite o de convergencia.
Consideremos la noción común de distancia entre dos puntos en R3 .
Si x̄ = (x1 , x2 , x3 ) ȳ = (y1 , y2 , y3 )
p
kx̄ − ȳk = (x1 − y1 )2 + (x2 − y2 )2 + (x3 − y3 )2
i. d(x̄, ȳ) ≥ 0
Demostración :
2. d(x̄, ȳ) = kx̄ − ȳk = kx̄ − ȳk = kȳ − x̄k = d(ȳ, x̄)
1
3. d(x̄, ȳ) = kx̄ − ȳk = kx̄ − z̄ + z̄ − ȳk ≤ kx̄ − z̄k + kz̄ − ȳk = d(x̄, z̄) + d(z̄, ȳ)
0 a=b
Métrica discreta.- Demostrar que la metrica definida por d(a, b) = satisface los
1 a 6= b
axiomas de métrica
Demostración :
Métrica C[a, b].- Sea C[a, b] el conjunto de las funciones reales contunias en el intervalo cerrado
[a, b]. Sean f, g C[a, b] definimos
Demostración :
1. Como |f (x) − g(x)| ≥ 0 para todo x [a, b] entonces máx{|f (x) − g(x)|} ≥ 0
por lo tanto d(f, g) ≥ 0
2. d(f, g) = 0
⇒ máx {|f (x) − g(x)|} = 0
x [a,b]
⇒ |f (x) − g(x)| = 0
⇒ f (x) = g(x) ∀ x [a, b]
2
3. d(f, g) = máx {|f (x) − g(x)|} = máx {|g(x) − g(x)|} = d(g, f )
x [a,b] ∗ x [a,b]
* |f (x) − g(x)| = |g(x) − f (x)| ∀x
máx {|f (x) − g(x)|} = máx {|f (x) − h(x) + h(x) − g(x)|}
x [a,b] x [a,b]
2. d(xn , yn ) = 0
X∞
⇒ |xn − yn | = 0
1
⇒ |xn − yn | = 0 ∀nN
⇒ xn − yn = 0 ∀nN
⇒ xn = yn
∞
X
3. d(xn , yn ) = |xn − zn |
1
∞
X ∞
X
|xn − zn | ≤ |xn − yn | + |yn − zn |
1 1
∞
X ∞
X
= |xn − yn | + |yn − zn |
1 1
= d(xn , yn ) + d(yn , zn )
3
Ejercicio: Sea d una métrica de un conjunto no vacio X. Demostrar que la función e definida
por e(a, b) = mı́n(1, d(a, b)) donde a, b X tambien es una métrica de X.
Solución :
0 0≤x≤1
Solución: No, ya que si consideramos f (x) = 0 ∀ x, g(x) = entonces
1 x=1
kf (x) − g(x)k = 0 pero f 6= g
∴ d no es una métrica.
4
CALCULO DIFERENCIAL E INTEGRAL III
TAREA 5
Profa. Ana Belem Zavaleta Ramos, Profa. Pamela Villamil Sapién, Prof. Esteban Rubén Hurtado Cruz
1.- Demostrar la fórmula para calcular la torsión de una funcion vectorial f (t)
[f 0 (t)xf 00 (t)] · f 000 (t)
τ=
kf 0 (t)xf 00 (t)k2
2.- Si f (s) es la reparametrización por longitud de arco de una función f (t), demostar que
[f 0 (t)xf 00 (t)] · f 000 (t)
τ=
kf 0 (t)xf 00 (t)k2
1
3.- Calcular la torsión de la hélice f (t) = √ (cos(t) sin(t), t)
2
4.- Mostar que si una trayectoria está en un plano, entonces su torsión es cero.
6.- Demostar la desigualdad de Minkowski para sumas infinitas: Si {an }, {bn } sonv sucesiones
∞
X ∞
X
u∞
uX
tales que |an | < ∞, |bn | < ∞, entonces kan +bn k ≤ kan k+kbn k es decir t |an + bn |2 ≤
1 1 1
v v
u∞ u∞
uX uX
t 2
|an | + t |bn |2
1 1
7.- Sea d una métrica de un conjunto no vacio X. Demostrar que la función e definida por
d(a, b)
e(a, b) = , donde a, b ∈ X, es una métrica de X.
1 + d(a, b)