Tensor: Diferenzas entre revisións

Contido eliminado Contido engadido
JAnDbot (conversa | contribucións)
Servando2 (conversa | contribucións)
Sen resumo de edición
Liña 1:
En [[matemáticas]], un '''tensor''' é (nun senso informal) unha 'cantidade' ou 'entidade xeométrica' [[linearity|linear]] xeralizadaxeneralizada que se pode expresar coma un [[vector|vector multidimensional]] relativo á escolla dunha [[base (álxebra linear)|base]]; non obstante,
coma obxecto de seu, un tensor é ''independente de calquera [[sistema de referencia]] escollido''.
 
Liña 13:
A palabra ''tensor'' introduciuna en [[1846]] [[William Rowan Hamilton]]<ref>[[William Rowan Hamilton]], ''On some Extensions of Quaternions''[http://www.emis.de/classics/Hamilton/ExtQuat.pdf]</ref> para describir a [[norma (matemáticas)|operación norma]] nunha clase determinada de sistema alxébrico ([[álxebra de Clifford]]). A palabra empregouse no seu senso actual por primeira vez no [[1899]] por [[Woldemar Voigt]].
 
A notación foi desenvolvida polo [[1890]] por [[Gregorio Ricci-Curbastro]] no seu traballo ''cálculo diferencial absoluto'', e fíxose accesible a moitos matemáticos grazas á publicación do clásico texto italiano do mesmo título escrito por [[Tullio Levi-Civita]] no [[1900]]. No século XX a materia comezouse a coñecer como ''análise tensorial'' e tomou grande importancia coa introducciónintrodución da teoría da [[relatividade xeral]] de [[Albert Einstein|Einstein]] polo [[1915]]. Na relatividade xeral emprégase a linguaxe de tensores para o desenvolvemento da teoría, e dise que o mesmo Einstein aprendeu a teoría, con grande dificultade, de Levi-Civita.
 
==A escolla do enfoque==
Hai dous xeitos de introducir a definición do que é un tensor:
 
* O xeito que se emprega xeralmente en física é o de definir os tensores en termos de obxectos cuxas compoñentes se transforman dacordode acordo cunhas regras determinadas, introducindo así as ideas de covarianza e contravarianza.
 
* O xeito matemático de introducir os tensores implica a definición de certo [[espazo vectorial]] sen fixar sistema de coordeadascoordenadas ningún até que se precisen as bases.
 
Os físicos e enxeñeiros foron os primeiros en decatarse de que vectores e tensores teñen un gran significado físico por si mesmos, alén do sistema coordeadocoordenado (xeralmente arbitrariamente escollido) no que se expresen esas cantidades. Do mesmo xeito, os matemáticos decatáronse que certas relacións tensoriais son máis doadas de obter nun sistema de coordeadascoordenadas concreto.
 
==Exemplos==
Non tódastodas as relacións da natureza son lineais, pero a meirande parte son [[diferenciable]]s e, polo tanto, póndensepódense aproximar como sumas de [[función]]s multilineais. Deste xeito, o máis das magnitudes físicas pódense expresar como tensores.
 
Coma exemplo sinxelo pódese pensar nun barco na auga e tentar describir a resposta do mesmo a unha forza externa que se lle aplique. A forza é un vector e o barco respostará cunha aceleración, que tamén é un vector. Esa aceleración non ten por que ir na mesma dirección que a forza, pero a relación entre a forza aplicada e a aceleración sufrida polo barco é [[operador linear|linear]] en mecánica clásica. Dita relación é un tensor de tipo (1,1) (o que quere dicir, máis ou menos, que transforma un vector noutro). O tensor deste exemplo pódese representar como unha [[matriz]] que, ó multiplicar un vector, dá como resultado outro. Do mesmo xeito que os números que representan un vector (as [[compoñente]]s do mesmo) cambian se trocamos o sistema de coordeadascoordenadas, os números da matriz que representan o tensor tamén cambiarán ó trocarmos o sistema.
 
Na enxeñaría, as tensións nun [[sólido ríxido]] ou nun [[fluído]] tamén son magnitudes tensoriais. A propia palabra ''tensor'' vén do latín e significa algo que causa tensión. Se seleccionamos un elemento de superficie particular dentro do material, o material nun lado da superficie aplicará unha forza no outro lado. En xeral, esta forza non será perpendicular á superficie, senón que dependerá da orientación da superficie dun xeito linear. Isto descríbese cun tensor de tipo (2,0), ou dun xeito máis preciso, cun ''campo'' tensorial de tipo (2,0) xa que as tensións poden mudar dun punto a outro.
 
PóndensePódense clasificar as magnitudes xeométricas e físicas considerando os [[grao de liberdade (física e química)|graos de liberdade]] inherentes á suasúa descrición. As magnitudes escalares son aquelas que se poden representar cun só número, como a [[presión]], a [[masa]] ou a [[temperatura]]. Tamén hai magnitudes vectoriais, como a [[forza]], que requiren unha ringleira de números para describilas. Por último, magnitudes tales como as formas cadráticas requiren unha matriz para a súa representación.
 
En realidade, a notación tensorial é moi xeral e pódese aplicar á maioría dos casos mencionados no parágrafo anterior, é dicir, tanto escalares coma vectores son casos especiais dos tensores. A caracterísitica que fai distinguir un escalar dun vector (ou doutros tensores, en xeral) é o número de índices que o representa. Este número é o que se chama '''rango''' (ou '''orde''') do tensor. Deste xeito, os escalares son tensores de rango cero (sen índice ningún) e os vectores tensores de rango un.
 
Outro exemplo dun tensor é o [[tensor de curvatura de Riemann]] que aparece na teoría da [[relatividade xeral]], que é un tensor de rango 4, tendo cada índice 4 dimensións (tres espaciais e unha temporal). Esta magnitude ten 256 compoñentes, aínda que por razóns das simetrías físicas só 20 delas son independentes das demáisdemais, simplificando así o traballo con esta magnitude.
 
==IntroducciónIntrodución aos distintos enfoques==
 
==Introducción aos distintos enfoques==
Hai distintos enfoques '''''equivalentes''''' para estudar os tensores, aínda que a equivalencia entre eles non é evidente se non se traballa máis a fondo con eles.
*O ''' enfoque clásico'''
 
:O enfoque clásico ve os tensores como matrices multidimensionais que xeralizanxeneralizan tanto os escalares coma os vectores ou as matrices. As compoñentes do tensor serían así os valores de cada cela desa matriz xeralizadaxeneralizada. Esta idea pódese xeralizarxeneralizar a campos tensoriais cando os elementos do tensor son funcións ou diferenciais no canto de números.
 
Así, un tensor xeral de orde (n,m) exprésase como
Liña 47 ⟶ 48:
:<math>T^{\left[i_1,i_2,i_3,...i_n\right]}_{\left[j_1,j_2,j_3,...j_m\right]}</math>
 
Se pasamos a un novo sistema de coordeadascoordenadas (<math>\bar{x}^i</math>), dende o sistema orixinal (<math>x^i</math>), tense que o tensor transforma segundo
 
:<math>\bar{T}^{\left[i_1,i_2,...i_p\right]}_{\left[j_1,j_2,...j_q\right]} =
Liña 65 ⟶ 66:
*O '''enfoque moderno'''
 
:O enfoque moderno (libre de compoñentes) ve os tensores comscomo obxectos abstractos representando un tipo definido de concepto multilinear. As súas propiedades pódense derivar da súa definición como funcións lineares ou incluso de xeito máis xeral e as reglas para manipular tensores xorden como unha extensión da [[álxebra linear]] á [[álxebra multilinear]]. Este tratamento tentou reemprazarsubstituír o anterior para un estudo máis avanzado, o que carrexa maiores complicacións cando se tentan dar interpretacións xeométricas.
 
* O '''enfoque intermedio para os tensores''' é unha mestura de ambos os dous enfoques explicados anteriormente, creando unha ponte entre eles e amosando a equivalencia.
 
==Densidades tensoriais==
 
Tamén se pode ter unha "densidade" para un campo tensorial. Un tensor con densidade ''r'' transfórmase coma un tensor ordinario baixo cambios de coordeadascoordenadas agás polo feito de que tamén hai que facer o produto polo [[jacobiano]] á ''r''-ésima potencia.
 
==Covarianza e Contravarianza==
 
Para achegarmonosachegármonos ao concepto de covarianza e contravarianza primeiro temos que dar algunhas definicións.
 
Aceptemos inicialmente as seguintes definicións.
Liña 86 ⟶ 88:
<math>C^{\prime}_{ij} = \frac{ \partial x_k}{\partial x^{\prime}_i} \frac{ \partial x_l}{\partial x^{\prime}_{j}} C_{kl}</math> (2)
 
Por un momento, iñoremosignoremos a posición dos índices. Sexa <math>{x_k}</math> unha base calquera do espazo e apliquemos unha transformación de coordeadascoordenadas que nos leve á nova base <math>{x^\prime_k}</math>. Supoñamos que o queremos facer mediante unha [[transformación ortogonal]] para simplificar o cálculo.
 
Por tratarse dunha transformación ortogonal a lonxitude non se ve afectada. É dicir, a cantidade <math>A_i x_i \equiv A^{\prime}_j x^{\prime}_j</math> é un invariante.
 
Debe existir unha certa relación entre a base antiga e la nova, que virá dada por unha matriz de cambio 'O' que nos permitirá recuperar as coordeadascoordenadas da base anterior dende as coordenadas da nova base
 
<math>x_i = O_{ij} x^{\prime}_j</math>
Liña 114 ⟶ 116:
<math>C^{\prime}_{j_1 j_2} = O_{i_1 j_1} O_{i_2 j_2} C_{i_1 i_2}</math>
 
É dicir, un n-tensor compórtase coma o vector A pero de xeito xeralizadoxeneralizado a n dimensións, agora a matriz de cambio é un produto de n matrices que nos din, de xeito exacto, como se transforma o noso n-tensor.
 
Un exemplo sinxelo de n-tensor é o produto de n vectores distintos, <math>T_{i_1,...,i_n} = A_{i_1} B_{i_2} ... X_{i_n}</math> xa que, baseándonos no escrito anteriormente para o vector A, isto cumple o descrito para o n-tensor.
 
O primeiro dos dous 2-tensores (A) transfórmase coma o segundo (C) pero empregando a [[matriz trasposta]] no canto da matriz orixinal 'O' (se non estiveramos en coordeaascoordenadas ortogonais, a matriz sería a inversa e non a trasposta). Logo atopamos un problema de notación ao estar a chamar igual a dúas cousas distintas. Para solventar este problema ós tensores de tipo
 
<math>A'^{j_1 j_2} = O_{j_1 i_1} O_{j_2 i_2} A^{i_1 i_2}</math>
Liña 132 ⟶ 134:
Para maior información sobre os distintos enfoques para o tratamento de tensores pódense consultar as entradas relacionadas na wikipedia en inglés:
 
*[[:en:Classical treatment of tensors]].
 
*[[:en:Tensor (intrinsic definition)]].
 
*[[:en:Intermediate treatment of tensors]].
 
Se o que se queren son ligazóns externas a libros e páxinas da internet sobre o tema, tamén se poden seguir as referencias dadas no [[:en:Tensor#External links|artigo inglés]].