Cálculu tensorial

En matemátiques y en física, un **tensor** ye cierta clase d'entidá alxebraica de dellos componentes, que xeneraliza los conceutos d'escalar, vector y matriz d'una manera que seya independiente de cualesquier sistema de coordenaes escoyíu. D'equí p'arriba vamos utilizar el conveniu de sumación d'Einstein.

Una vegada escoyida una base vectorial, les componentes d'un tensor nuna base van venir daes por una multimatriz. L'orde d'un tensor va ser el númberu d'índices necesariu pa especificar ensin ambigüedá una componente d'un tensor: un esguilar va ser consideráu como un tensor d'orde 0; un vector, un tensor d'orde 1; y dada una base vectorial, los tensores de segundu orde pueden ser representaos por una matriz.

## Historia
La pallabra "tensor" utilízase de cutiu como abreviatura de campu tensorial, que ye un valor tensorial definíu en cada puntu nuna variedá. El primeru n'utilizar esta pallabra foi William Rowan Hamilton en 1846, emplegándola para lo qu'anguaño se conoz como módulu y foi Woldemar Voigt en 1899 quien la emplegó na so acepción actual. La pallabra *tensor* provién del llatín *tensus*, participiu pasáu de *tendere* 'espurrir, estender'. El nome estendióse porque la teoría de la elasticidá foi una de les primeres aplicaciones físiques onde s'usaron tensores.

Gregorio Ricci-Curbastro en 1890 desenvolvió la notación actual col nome de xeometría diferencial absoluta, y popularizóse cola publicación de *Cálculu Diferencial Absolutu* de Tullio Levi-Civita en 1900. Cola introducción de la teoría de la relatividá xeneral per parte d'Albert Einstein alredor de 1915 atopóse la so aplicación más pragmática. La relatividá xeneral ye netamente tensorial. Einstein aprendiera del mesmu Levi-Civita l'usu de tensores con gran dificultá.

## Carauterístiques y usu
Les cantidaes xeométriques y físiques pueden ser categorizadas considerando los graos de llibertá inherentes a la so descripción. Les cantidaes esguilares son les que pueden representase por un solu númberu, por casu masa y temperatura. Hai tamién cantidaes tipo vector, por casu fuercia, que riquen una llista de númberos pa la so descripción. Finalmente, les cantidaes tales como formes cuadráticas riquen naturalmente una matriz con índices múltiples pa la so representación. Estes últimes cantidaes pueden concebise solamente como tensores. 

Realmente, la noción tensorial ye absolutamente xeneral. Esguilar y los vectores son casos particulares de tensores. La propiedá qu'estrema un esguilar d'un vector, y estrema dambos d'una cantidá tensorial más xeneral ye'l númberu d'índices na matriz de la representación. Esti númberu llámase **rangu** d'un tensor. Asina, esguilar son los tensores de rangu cero (ensin índices), y los vectores son los tensores de rangu unu.

### Usu de tensores
Non toles rellaciones na naturaleza son lliniales, pero la mayoría ye diferenciable y asina pueden averase llocalmente con sumes de funciones multilineales. Asina la mayoría de les magnitúes en física pueden espresase como tensores. 

Un exemplu simple ye la descripción d'una fuercia aplicao al movimientu d'una nave na agua. La fuercia ye un vector, y la nave va responder con una aceleración, que ye tamién un vector. L'aceleración polo xeneral nun va tar na mesma direición que la fuercia, por cuenta de la forma particular del cuerpu de la nave. Sicasí, resulta que la rellación ente la fuercia y l'aceleración ye llinial. Tal rellación ye descrita por un tensor del tipu (1, 1), esto ye, que tresforma un vector n'otru vector. El tensor puede representase como una matriz que cuando ye multiplicada por un vector, dea llugar a otru vector. Según los númberos que representen un vector van camudar si unu camuda'l conxuntu de coordenaes, los númberos na matriz que representa'l tensor tamién van camudar cuando se camude'l conxuntu de coordenaes. 

Na inxeniería, les tensiones nel interior d'un sólidu ríxidu o líquidu tamién son descrites por un tensor. Si un elementu superficial particular dientro del material escuéyese, el material nun llau de la superficie va aplicar una fuercia nel otru llau. Polo xeneral, esta fuercia nun va ser ortogonal a la superficie, sinón que va depender de la orientación de la superficie d'una manera llinial. Esto ye descritu por un tensor del tipu (2, 0), o más esautamente per un campu tensorial del tipu (2, 0) yá que les tensiones pueden camudar puntu a puntu. 

Dellos exemplos bien conocíos de tensores en xeometría son les formes cuadráticas, y el tensor de combadura. Dellos exemplos de tensores físicos son el tensor d'enerxía-momento, el tensor de polarización y el tensor dieléctricu.

### Conceutos básicos
Nun sentíu práuticu un tensor ye oxetu matemáticu representáu por un ciertu conxuntu de componentes. Pa definir un tensor ye necesariu partir d'un espaciu físicu o variedá diferenciable que define cuál ye l'espaciu vectorial base V sobre'l que se van construyir tensores de distintu tipu y orde. En mecánica clásica por casu l'espaciu ye \R^3, anque na teoría de la relatividá especial l'espaciu base ye isomorfu a \R^4 y na teoría xeneral de la relatividá ye l'espaciu tanxente a una variedá lorentziana de cuatro dimensiones. En matemátiques lo más avezáu ye construyir la teoría sobre una variedá riemanniana o variedá pseudoriemanniana n-dimensional.

### Tratamientu clásicu de los tensores
L'enfoque clásicu visualiza los tensores como "matrices" d'orde cimeru que son xeneralizaciones *n*-dimensionales d'esguilar, vectores de 1 dimensión y matrices de 2 dimensiones. Nesti enfoque los númberos reales qu'apaecen en diches "matrices" son les componentes del tensor nuna base concreta. Magar pa los casos práuticos esta manera de representación puede ser bien intuitivu enzanca la manipulación formal pa otros fines menos práuticos.

Les "componentes" tensoriales son los índices del arreglu. Esta idea puede ser xeneralizada entá más a los campos tensoriales, onde los elementos del tensor son funciones, o inclusive diferenciales. La teoría del campu tensorial puede vese, *grosso modo*, nesti enfoque, como otra estensión de la idea del jacobiano.

### Enfoque modernu
L'enfoque modernu visualiza los tensores primeramente como oxetos astractos, construyíos sobre espacios vectoriales astractos, nos que se define un productu tensorial que dexa construyir estructures típiques del álxebra multilineal. Les sos propiedaes bien conocíes pueden derivase de les sos definiciones, como funciones lliniales o inclusive más xenerales; y les regles pa les manipulaciones de tensores preséntense como estensión del álxebra llinial al álxebra multilineal. 

Esti tratamientu sustituyó en gran parte'l tratamientu basáu en componentes pal estudiu avanzáu, a la manera en que'l tratamientu llibre de componentes más modernu de vectores substituye el tratamientu basáu en componentes tradicional anque'l tratamientu basáu en componentes utilizárase p'apurrir una motivación elemental pal conceutu d'un vector. Podría dicise que'l lema ye 'tensores son elementos d'un ciertu espaciu tensorial'.

L'enfoque modernu ta más estrechamente acomuñáu al tratamientu que los matemáticos fixeron del cálculu tensorial nel que les notaciones xeneralmente representen l'oxetu tensorial y secundariamente les componentes. Esto oldea col tratamientu clásicu de los tensores nes ciencies físiques que suel representar los tensores por aciu los sos componentes y enfatiza enforma les propiedaes acomuñaes al tresformamientu de coordenaes al pasar d'un sistema de referencia a otru, o cuando se camuden les coordenaes.

## Definición de tensor
Hai delles maneres de definir un tensor, que resulten n'enfoques equivalentes:
* la manera clásica, forma avezada en física de definir los tensores, en términos d'oxetos que los sos componentes tresformar baxu cambeos de coordenaes según ciertes regles, introduciendo la idea de tresformamientos covariantes o contravariantes.
* la manera avezada de la matemática, qu'implica definir ciertos espacios vectoriales definíos a partir d'un espaciu vectorial dau, ensin afitar cualesquier conxuntos de coordenaes hasta que les bases introducir por necesidá. Esisten dos definiciones d'esti tipu:
** La de tensores como aplicaciones multilineales, que nos obliga a usar el dual d'un espaciu vectorial.
** La qu'usa una operación definida axiomáticamente llamada productu tensorial d'espacios vectoriales.

### Definición clásica
Los físicos especialmente en tratamientos informales de los tensores, consideren qu'un tensor ye a cencielles una magnitú física multi-índiz dada por un conxuntu de númberos reales o "componentes" del tensor que se tresformen de "manera fayadiza". Esto ye, si nun determináu sistema de referencia \scriptstyle S una magnitú tensorial ta dada por un conxuntu de componentes T_{\alpha'_{1},...\alpha'_{m}}^{\beta'_{1}...\beta'_{n}}\, al camudar a un sistema de referencia distinta \scriptstyle \bar{S} va tener componentes con valores numbéricos distintos \bar{T}_{\alpha_{1},...\alpha_{m}}^{\beta_{1}...\beta_{n}}\, siendo la rellación ente les componentes de la magnitú n'unu y otru sistema de referencia la siguiente:
^{\beta_{1}...\beta_{n}} = T_{\alpha'_{1},...\alpha'_{m}}^{\beta'_{1}...\beta'_{n}} \quad
{A^T}_{\beta'_{1}}^{\beta_{1}}...{A^T}_{\beta'_{n}}^{\beta_{n}}
A_{\alpha_{1}}^{\alpha'_{1}}...A_{\alpha_{m}}^{\alpha'_{m}}

||left}}
onde na última espresión usóse'l conveniu de sumación d'Einstein y amás:
:A_{\alpha_{n}}^{\alpha'_{n}} ye la matriz del cambéu de base de coordenaes
:{A^T}_{\alpha_{n}}^{\alpha'_{n}} ye la matriz del cambéu de base inversu, que ye la matriz trespuesta de l'anterior.
Les magnitúes esguilares de la física polo xeneral son tensores d'orde cero, y dellos de los tensores físicos importantes (tensor d'inercia, tensor de tensiones, etc.) son tensores de segundu orde.

### Como aplicación multilineal
Dau un espaciu vectorial  V  de dimensión  n  sobre un cuerpu  K , recordemos que'l so espaciu dual  V^*  ye'l conxuntu de toles aplicaciones lliniales  f:V \to K. \,\!. L'espaciu dual ye un espaciu vectorial de la mesma dimensión que  V .
vamos referinos de normal a los elementos de  V  y de  V^*  como *vectores* y *covectores*, respeutivamente.

Un **tensor** ye una aplicación multilineal, esto ye, una aplicación llinial en cada unu de los sos argumentos, de la forma:
:T:\underbrace{V^*\times\ldots\times V^*}_r\times\underbrace{V\times\ldots\times V}_s\to K 

D'esta miente, un tensor  T  acomuña cada  r  covectores  w_1,\ldots,w_r y  s  vectores  v_1,\ldots,v_s , un esguilar
:T(w_1,\ldots,w_r,v_1,\ldots,v_s).\,\!

Llamamos **tipu** del tensor al par (r,s) .

### Usando productu tensorial d'espacios vectoriales
Nel enfoque más matemáticu del cálculu tensorial considérase un espaciu vectorial *V* y considérase el so espaciu dual *V**. Si \scriptstyle \{\hat{y}_1,\dots,\hat{y}_n\} ye una base del espaciu vectorial *V* y \scriptstyle \{\hat{\omega}^1,\dots,\hat{\omega}^n\} la correspondiente base dual de V*, constrúyese l'espaciu vectorial productu de *r* copies de *V* y *s* copies de *V**, esto ye, \scriptstyle V = (\otimes^r V)\otimes (\otimes^s V^*) o productu tensorial d'espacios vectoriales. Un tensor ye un elementu de dichu espaciu vectorial:

Les propiedaes de tresformamientu de los tensores siguir de les propiedaes de tresformamientu de los vectores de la base de manera trivial.

## Exemplos de tensores de distintu orde
A los tensores puede clasificar pol so orde, ye dicir el númberu de componentes que rique pa ser descritu. Polo xeneral, si n ye la dimensión del tensor (dimensión del espaciu vectorial sobre'l que se constrúi) y r+s l'orde, un tensor rique de n^{r+s} \, componentes pa ser descritu.

### Tensores d'orde cero: esguilares
Como se dixo enantes, un esguilar ye una cantidá que rique solo un númberu real en cualquier sistema de coordenaes pa ser descritu. Ye dicir ye invariante ante cualquier cambéu de coordenaes en cualquier sistema. D'esta manera si  \phi \, ye un esguilar nun sistema de coordenaes y  \phi' \, ye'l mesmu esguilar n'otru sistema de coordenaes entós  
\phi = \phi' \, 
Un esguilar ye un tensor d'orde cero porque rique un solu númberu pa ser descritu:  n^0 = 1 \,.

### Tensores d'orde unu: vectores y covectores
Polo xeneral, un vector rique **n** componentes pa ser descritu. Nun espaciu tridimensional, un vector definir por aciu trés componentes. El tresformamientu de coordenaes d'un vector d'un espaciu a otru realízase por aciu una tresformamientu llinial. D'esta manera, un vector ye un tensor d'orde unu porque rique **n** númberos pa definilo.

Si tenemos un vector espresáu polos sos componentes  A_i \, nun sistema y  A'_i \, n'otru sistema, el tresformamientu de coordenaes por que'l vector calténgase invariante puede espresase:
: A'_i = \alpha_{i'k} A_k \,
onde  \alpha_{i'k} \, ye'l cosenu del ángulu ente l'i-ésimo exa de coordenaes y el k-ésimo.

### Tensores d'orde dos: matrices y formes cuadráticas
Siguiendo la mesma lóxica, el siguiente elementu ye'l que rique  n \, x n= \,  n^2 \,  componentes pa ser descritu. Denominar tensor d'orde dos al oxetu, de normal representáu por una matriz nxn, que representáu nun sistema de coordenaes como  A'_{ik} \, el so tresformamientu invariante n'otru sistema con componentes  A_{ik} \, ye:
: A'_{ik} = \alpha_{i'l} \alpha_{k'm} A_{lm} \, 
onde  \alpha_{i'l} \,  ye'l cosenu del ángulu ente l'i-ésimo exa d'un sistema col l-ésimo exa del otru sistema.

### Tensores d'orde m xeneralizaos

Finalmente, la xeneralización de los tipos anteriores vien dada por un elementu que precisa  n^m \,  coordenaes pa ser especificáu. Como xeneralización de los tresformamientos anteriores tenemos:
: A'_{i_1, i_2,... i_n} = \alpha_{i^'_1 k_1} \alpha_{i^'_2 k_2} ... \alpha_{i^'_n k_n} A_{k_1, k_2, ... k_n} \, 
onde  A_{k_1 k_2 ... k_n} \,  son les componentes del tensor nun sistema de coordenaes,  A_{i_1 i_2 ... i_n} \,  son les componentes del mesmu tensor n'otros coordenaes y los \alpha_{i^'_1 k_1}  son los cosenos de los ángulos ente los i_1-ésimos exes del un sistema y los k_1-ésimos nel otru sistema.

## Notación y nomenclatura

### Covarianza y contravarianza

El conceutu de covarianza y contravarianza ta enraigonáu na descripción d'un elementu en dos sistemes de coordenaes. Pa simplificar la so descripción puede tomase un vector nun espaciu tridimensional. La posición d'un puntu arbitrariu nesti espaciu puede ser espresáu en términos de trés coordenaes  o_1, o_2, o_3 \,  y si  r(o_1, o_2, o_3) ye'l vector posición d'esi puntu entós en P esisten dos conxuntos de vectores base:
: y_i = \frac{\partial r}{\partial o_i} \,  y  \epsilon_i = \nabla o_i \,  onde  i = 1,2,3 \, 

Polo xeneral, estos vectores nun son unitarios nin formen una base ortogonal. Sicasí los conxuntos  y_i \,  y  \epsilon_i \,  son sistemes recíprocos de vectores y por eso:
: y_i \cdot \epsilon_j = \delta_{ij} \, 

Nel cálculu tensorial ye avezáu denotar al conxuntu de vectores base  \epsilon_i \,  como  y^i \, , que estremar de la base  y_i \, . Con esta notación, la rellación de reciprocidá anterior sería:
: y_i \cdot y^j = \delta_i^j \, 
onde  \delta_i^j \,  ye la delta de Kronecker. 

Asina, daes dos bases  y_i \,  y  y^i \,  puede escribise un vector xeneral  a \,  en términos d'estes bases:
: a = a^1y_1 + a^2y_2 + a^3 y_3 = a^i y_i \, 
: a = a_1y^1 + a_2y^2 + a_3 y^3 = a_i y^i \, 

Los  a^i \,  se les llapada componentes contravariantes del vector  a \,  y los  a_i \,  llamar componentes covariantes. Otramiente,  y^i \,  llamar base contravariante y  y_i \,  llamar base covariante.

### Conveniu de sumación d'Einstein

Esiste una convención pa escribir tensores, conocida como conveniu de sumación d'Einstein. Nesta notación tou subíndice qu'apaez dos veces en cualquier términu d'una espresión indica qu'éstos tienen de ser sumaos sobre tolos valores qu'esi índiz toma. Por casu, nun casu tridimensional:
: a_i x_i \, implica que  a_1 x_1 + a_2 x_2 + a_3 x_3 \, 
: a_{ij} b_{jk} \, implica que  a_{i1} b_{1k} + a_{i2} b_{2k} + a_{i3} b_{3k} \, 

### Notación en cálculu en variedaes
Otra notación llargamente usada nel cálculu tensorial ye la forma usada pa los vectores de la base. Cuando se fai cálculu tensorial nuna variedá diferencial o superficie curva, l'espaciu básicu que sirve pa definir les magnitúes ye l'espacio tangente a dicha variedá en cada puntu. Cuando s'empleguen coordenaes curvillinies \scriptstyle (x^1,\dots,x^n), dada la rellación isomórfica qu'esiste ente derivaciones sobre la variedá y el conxuntu d'elementos del espaciu tanxente, puede construyise una base del espaciu vectorial tanxente formada poles derivaes direccionales según les direiciones daes poles coordenaes; asina una base vectorial del espaciu tanxente en cada puntu *p* vien dada por:

Per otra parte la base del espaciu cotanxente, que ye l'espaciu dual del espaciu tanxente, puede espresase por aciu la diferencial esterior de les coordenaes consideraes como funciones reales sobre la variedá:

## Álxebra de tensores
Por cuenta de que les operaciones de los tensores d'orde cero (esguilares), unu (vectores) y dos (matrices) son conocíes, pa los tensores espérase que solo se xeneralicen delles operaciones. El conxuntu de tolos tensores *p*-vegaes covariantes y *q*-vegaes contravariantes definíos sobre l'espaciu vectorial *V* se denota como \scriptstyle \mathcal{T}^p_q(V) (dellos autores usen la notación inversa \scriptstyle \mathcal{T}^q_p(V)) formen un espaciu vectorial \scriptstyle (\mathcal{T}^p_q(V),+,\R) cola suma y restar definíes como, una y bones la suma ta bien definida pa tensores de los mesmos órdenes  V_{ij...k} \,  y  W_{ij...k} \, ; asina la so suma y resta taría dada por:
: S_{ij..k} = V_{ij...k} + W_{ij...k} \; 
: D_{ij..k} = V_{ij...k} - W_{ij...k} \; 
Esti espaciu vectorial ye de dimensión \scriptstyle n^{q+p} onde \scriptstyle n ye la dimensión del espaciu vectorial *V*.

Otru conxuntu d'operaciones importantes tienen que ver col cambéu d'orde de los índices d'un tensor. Si  T_{ij..k} \;  son les componentes d'un tensor, de la mesma manera'l conxuntu formáu pol intercambiu de dos índices, ye dicir  T_{ji..k} \; , tamién lo ye. En términos d'esos intercambios d'índices pueden identificase subespacios vectoriales:
* Dizse que'l tensor ye *simétricu* si l'intercambiu de cualquier par d'índices nun alteria'l tensor:
: T_{ij..k} = T_{ji..k} \;  el conxuntu de tolos tensores simétricos del espaciu \scriptstyle (\mathcal{T}^p_q(V),+,\R) forma un subespacio del mesmu denotado como \scriptstyle (Sym(\mathcal{T}^p_q(V)),+,\R)
* Dizse que'l tensor ye *antisimétrico* si l'intercambiu de cualquier par d'índices alteria'l signu del tensor:
: T_{ij..k} = - T_{ji..k} \;  el conxuntu de tolos tensores antisimétricos d'orde *k* d'un espaciu tensorial tamién forma un subespacio denotado como \scriptstyle (Alt(\mathcal{T}^p_q(V)),+,\R) ye de dimensión \scriptstyle n!/(k!(n-k)!)
Per otra parte, un tensor arbitrariu nun ye simétricu nin antisimétrico. Un tensor d'orde 2 siempres puede espresase como la suma d'un tensor simétricu ( S_{ij} \, ) y unu antisimétrico ( A_{ij} \, ):
: T_{ij} = \frac{1}{2} (T_{ij} + T_{ji}) + \frac{1}{2} (T_{ij} - T_{ji}) = S_{ij} + A_{ij} \; . Esto nun ye posible pa tensores d'orde cimeru a 2.

## Operaciones con tensores

### Productu tensorial y productu esterior

Daos dos tensores puede definise ente ellos el llamáu productu tensorial que'l so resultáu ye un tensor de tipu más complexu que les sos componentes pueden llograse a partir de los tensores orixinales.

El productu de dos tensores ye un tensor que'l so rangu ye la suma de los rangos daos polos dos tensores. Esti productu implica la multiplicación ordinaria de los componentes d'un tensor y ye llamáu productu esterior. 

Por casu:
: A_i^{jk} B^l_m = C_{im}^{jkl} \, 

### Xubir y baxar índices

Nuna variedá riemanniana esiste la posibilidá de definir una operación sobre tensores, que polo xeneral nun puede realizase nuna variedá cualesquier. Esa operación dexa sustituyir nos cálculos un tensor de tipu T^k_l por otru de tipu T^{k'}_{l'} con tal k+l=k'+l'. Esta operación denominar usualmente llei de xubir o baxar índices. Esa operación basar na esistencia d'un isomorfismu ente espacios de tensores covariantes y contravariantes definíos sobre una variedá riemanniana o pseudoriemanniana (\mathcal{M},g_{ij}). Por tanto pa emplegar la xubida y baxada d'índices ye necesariu usar el tensor métricu g_{ij} \, (y el so inversu g^{ij} \,, llamáu co-tensor métricu). 

Estes operaciones resulten bien útiles na teoría xeneral de la relatividá onde cualesquier magnitú física pue ser representada por tensores covariantes o contravariantes indistintamente, y ensin alteriar el significáu físicu, según les necesidaes del problema plantegáu. Asina pa cualquier magnitú física representada por un tensor de tercer rangu, pue ser representáu por dellos conxuntos de magnitúes relacionables gracies a la operación de "xubir y baxar índices":

: T_{\alpha \beta \gamma}, \ T_{\alpha \beta} {}^\gamma, \ T_\alpha {}^\beta {}_\gamma, \ 
T_\alpha {}^{\beta \gamma}, \ T^\alpha {}_{\beta \gamma}, \ T^\alpha {}_\beta {}^\gamma, \ 
T^{\alpha \beta} {}_\gamma, \ T^{\alpha \beta \gamma} 

### Contraición

La contraición de tensores ye una operación qu'amenorga l'orde total d'un tensor. Esta operación amenorga un tensor tipu (n,m)\,  a otru tipu  (n-1, m-1) \, . En términos de componentes, esta operación llógrase sumando l'índiz d'un tensor contravariante y un covariante. Por casu, un tensor (1,1)  T^i_j \,  puede ser contraíu a un esguilar al traviés de T_i^i \, ; onde'l conveniu de sumación d'Einstein ye emplegáu. Cuando'l tensor (1,1) interprétase como un mapeo llinial, esta operación ye conocida como la traza.

La contraición utilízase usualmente col productu tensorial pa contraer l'índiz de cada tensor. La contraición puede tamién entendese en términos de la definición d'un tensor como un elementu d'un productu tensorial de copies del espaciu V \,  col espaciu V^* \, , descomponiendo primero'l tensor nuna combinación llinial de tensores más simples, y darréu aplicando un factor de V^* \,  a un factor de V \, . Por casu

puede ser escritu como la combinación llinial de 
La contraición de T \,  nel primeru y últimu espaciu ye entós el vector

### Productu Internu

El productu internu de dos tensores producir al contraer el productu esterior de los tensores. Por casu, daos dos tensores  A^{ij}_k \,  y B^l_m \,  el so productu esternu ye  A^{ij}_k B^l_m \, . Igualando índices,  k = l \, , llógrase'l productu internu:  A^{ij}_k B^k_m \, .

### Dual de Hodge

## Cálculu tensorial en variedaes Tanto la xeometría diferencial avanzada como la teoría xeneral de la relatividá riquen l'usu de tensores construyíos sobre espacios vectoriales distintos. Esto asocede porque tantu nes superficies curves como nel espaciu-tiempu curvu'l [[espacio tangente]] de distintos puntos nun coincide y ye necesariu "conectalos" o construyir aplicaciones ente ellos de dalguna manera. Una manera de faer cálculu tensorial neses situaciones ye definir una [[Conexón (matemática)|conexón matemática]] que dexe definir la [[derivada covariante|derivación covariante]]. Amás la estructura diferenciable dexa construyir l'[[Diferencial d'una función#Aplicaciones ente variedad|aplicación diferencial tanxente]] que dexa construyir isomorfismu ente los distintos espacios tanxentes. El cálculu tensorial neses situaciones construyir a partir de seiciones sobre [[fibrado tanxente|fibrados tanxentes]] acomuñaos a cada tipu de tensor.

### ''Pushforward'' y ''Pullback''

Daes dos variedaes diferenciables \scriptstyle \mathcal{M} de dimensión *m* y \scriptstyle \mathcal{N} de dimensión *n* y una aplicación ente elles \scriptstyle \phi:\mathcal{M}\to \mathcal{N} el conceutu d'aplicación diferencial tanxente (o *pushforward*) ye una aplicación llinial ente los fibrados tanxentes de dambes variedaes.

Una aplicación ente variedaes dizse diferenciable si dada una carta local \scriptstyle (O,\psi_O)\ (O \subset \mathcal{M}) que contenga al puntu \scriptstyle p y \scriptstyle (V,\psi_V)\ (V \subset \mathcal{N}) que contenga a \scriptstyle \phi(p), l'aplicación \scriptstyle F:\psi_O(O) \subset \R^m \to \psi_V(V) \subset \R^nye diferenciable como función de \scriptstyle \R^m a \scriptstyle \R^n. 

La **aplicación llinial tanxente** (llamada frecuentemente ***pushforward***) puede definise pa una aplicación diferenciable ente variedaes. Dau un vector del espaciu tanxente \scriptstyle \mathbf{v} nun puntu, queda definida una aplicación sobre'l conxuntu de funciones definíes na redolada de dichu puntu, qu'asigna a cada función (a valores reales) la derivada direccional de la función según el vector \scriptstyle \mathbf{v}:

Teniendo presente l'anterior operación de vectores sobre funciones y dada l'aplicación diferenciable \scriptstyle \phi:\mathcal{M}\to \mathcal{N} defínese l'aplicación llinial tanxente:

Tal qu'a un vector en *p* \scriptstyle (p,\mathbf{v}) asígna-y l'únicu vector \scriptstyle (\phi(p),\mathbf{w}) que fai que se cumpla que:

Onde:
:\tilde{f} :=f \circ \phi: \mathcal{M}\to \R \quad, \qquad \phi_*(\mathbf{v})= \mathbf{w}
Una vegada definda l'aplicación llinial tanxente puede definise la **aplicación (diferencial) cotanxente** (o ***pullback***) sobre 1-formes como:

### Tensor métricu
Si la variedá diferenciable tien estructura de variedá riemanniana o pseudoriemanniana entós pueden definise estructures más complexes y arriquecer el conxuntu de ferramientes del cálculu tensorial sobre esa variedá. Un tensor métricu *g* ye n'esencia un tensor 2-covariante y simétricu definíu sobre tou la variedá y non dexeneráu:
# g(X,Y) = g(Y,X), \qquad \forall X,Y\in T_p\mathcal{M}
# \det(g) \ne 0, \qquad \qquad \forall X\in T_p\mathcal{M}

### Derivada covariante

Puede probase qu'una variedá riemanniana o pseudoriemanniana \mathcal{M}\subset \R^nye llocalmente isométrica al espaciu euclídeo si y namái si'l so tensor de combadura de Riemann anúlase. Si la variedá tien combadura non nula puede demostrase que la particularización de les derivaes direccionales de \R^n nun tienen les propiedaes de invariancia esperaes, en concretu la derivada non covariante d'un vector tanxente polo xeneral nun resulta nun vector tanxente tamién a la variedá, y por tanto, nun da llugar a un oxetu tensorial definible sobre la variedá.

Pa resolver esos problemes define una conexón que dexe rellacionar l'espaciu tanxente en puntos distintos de la variedá (a diferencia del casu euclídeo si la variedá ye curva la orientación del espaciu tanxente, consideráu como subconxuntu de \R^n, va variar d'un puntu a otru.

### Derivada de Lie

### Derivación esterior
Dada una *n*-forma (tensor n-covariante totalmente antisimétrico):

La diferenciación esterior \scriptstyle d ye una aplicación nel álxebra graduada de n-formes qu'opera según:
{\partial x^\alpha}\ 
dx^\alpha\land dx^{i_1}\land \dots \land dx^{i_n} \in \Lambda^{n+1}(V)
||left}}
De forma que la diferenciación esterior ye una combinación llinial de *n*+1 derivaes parciales de les componentes de la *n*-forma orixinal. Ye interesante notar que la diferenciación esterior xeneraliza les operaciones de gradiente, rotacional o diverxencia, asina cuando se considera'l cálculu tensorial sobre \scriptstyle \R^3:

Onde *\, denota l'operador dual de Hodge.

## Ver tamién
* Conveniu de sumación d'Einstein
* Álxebra multilineal
* Tensor métricu 
* unu-forma 
* Productu tensorial
* Densidá tensorial
* Combadura 
* Xeometría de Riemann 
* Tensor de tensiones
* Elasticidá llinial
* Simetrización y antisimetrización

## Referencies

### Bibliografía
* 
* 
* 

## Enllaces esternos
* Introducción a tensores pa estudiantes de Física ya Inxeniería
* 
* 
* Tensores en PlanetMath