Derivacin (matemtica)

f|p es equivalente a f (p) , es decir, f evaluado en el

punto p.

2 Ejemplos de derivacin
2.1 La derivada parcial
Sea M = Rn y p M , veamos que la aplicacin siguiente es derivacin:

xi |p

: F(M )
f

R.
f
xi |p

La derivacin, matemticamente, es un concepto esencial para determinar los espacios tangentes sobre Demostracin
variedades diferenciables, sus cualidades, sus propiedaVeamos primero que es R lineal, es decir, que f, g
des y sus consecuencias.
F(M ) y R vemos que:
Es una pieza fundamental, clave en el desarrollo de la teora para la geometra diferencial tal y como est estructuf
g
(fx+g)
= x
+ x
,
i
i |p
i |p
|p
rada actualmente.

Denicin de derivacin

(g)
xi |p

g
= x
.
i |p

Veamos nalmente que es una derivacin:

Sea M una variedad diferenciable y p M , llamaremos

derivacin en el punto p a
p : F(M ) R aplicacin R lineal, es
decir:

(f g)
f
g
=
g|p + f|p
.
xi |p
xi |p
xi |p
Queda, as, demostrado que la derivada parcial
es una derivacin.

f, g F (M ), R,
p (g + f ) = p (g) +
p (f ),

2.2 La derivada direccional

p (f ) = p (f ).

Sea M = Rn , p M y v M : ||v|| = 1 , de
igual modo que el ejemplo anterior se puede ver que la
aplicacin siguiente es derivacin:

y tal que p (f g) = p (f )g|p + f|p p (g),

f, g F (M ) , es decir, que cumple la regla
de Leibniz.
Observacin F(M ) es el conjunto de funciones diferenciables en M , y es un R lgebra conmutativa,
(es un R espacio vectorial).

v |p

: F(M )
f

f .
v |p

REFERENCIAS

4.2 Propiedad de la derivacin del producto con la funcin meseta

Sea M una variedad diferenciable, p M, p Tp M
, f F (M ) y una funcin meseta asociada a (p, V ) ,
tenemos que:

p ( f ) = p (f ).
Demostracin

Derivacin en variedades

Aplicando la regla de Leibniz tenemos que p ( f ) =

p ()f (p) + (p)p (f ) , por la propiedad anterior
tenemos que deltap ( f ) = 0 f (p) + 1 p (f ) =
p (f ).

Sea M una variedad diferenciable y p M , llamaremos

espacio tangente a M en p al R espacio vectorial de 4.3 Propiedad
las derivaciones de M en p , notado por Tp M , y sus
elementos se llamaran vectores tangentes a M en p.
Sea M una variedad diferenciable, p M, p Tp M
y f, g F(M ) tal que V entorno abierto en p donde
f|V = g|V , entonces tenemos que p (f ) = p (g) .

Consecuencias

Demostracin

4.1

Propiedad de la derivacin de una funcin localmente constante

Sea M una variedad diferenciable, p M , p Tp M

y f F (M ) tal que U entorno abierto en p donde
f (x) = , x M , entonces tenemos que p f = 0.

Sea una funcin meseta asociada a (p, V ) , tenemos

as que f = g en todo M tambin f,
g F(M ) por tanto p ( f ) = p ( g) y por la
propiedad anterior tenemos que p (f ) = p (g).

5 Tipos de derivaciones

Demostracin
Por linealidad de p tenemos
p (f ) = p () = p ( 1) =
p (1),

Derivada de una aplicacin entre variedades

Derivada exterior

p (1)

Derivada de Lie
p (1) = p (1 1) = p (1)1 +
1p (1) = p (1) + p (1),

de simplicar, este ltimo, resulta p (1) = 0

aplicadolo al anterior resulta que p (f ) = 0.
4.1.1

En geometra diferencial y clculo elemental se han denido muchos tipos de operadores que de hecho son derivaciones, entre ellas:

Derivada covariante
Diferencial de una funcin
Derivada parcial
Derivada funcional

Ejemplo

6 Referencias

Nos interesa que la funcin localmente constante sea innitamente diferenciable en todas partes, es decir, de clase
6.1
C :
la funcin meseta asociada a (p, V ) , donde
(x) = 1, x k V, k compacto cuyo interior contiene a p.

Bibliografa

Carlos Currs Bosch, Geometria diferencial: varietats diferencialbles i varietats de Riemann, Ed:UB.
2003.

Origen del texto y las imgenes, colaboradores y licencias

7.1

Texto

Derivacin (matemtica) Fuente: https://es.wikipedia.org/wiki/Derivaci%C3%B3n_(matem%C3%A1tica)?oldid=93204174 Colaboradores: Alfredobi, Marianov, Davius, Juan Mayordomo, Raulshc, Diegusjaimes, WLoku, Euclides, ChuispastonBot, Invadibot, Addbot,
Josep Vilches Campillo y Annimos: 4

7.2

Imgenes

Archivo:Derivacin.gif Fuente: https://upload.wikimedia.org/wikipedia/commons/2/21/Derivaci%C3%B3n.gif Licencia: Public domain

Colaboradores: Trabajo propio Artista original: Marianov
Archivo:PlanoTangente.png Fuente: https://upload.wikimedia.org/wikipedia/commons/a/a8/PlanoTangente.png Licencia: Public domain Colaboradores: Trabajo propio Artista original: Marianov

7.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0