Anar al contingut

Notació d'índexs abstracta

De L'Enciclopèdia, la wikipedia en valencià


La notació d'índexs abstracta (també coneguda com a notació d'índexs de nomenat de recalats)[1] és un tipo de notació matemàtica utilisada en els camps dels tensorés i dels espinorés, que utilisa índexs per a indicar els seus tipos, en lloc dels seus components en una base particular.[2] Els índexs són mers marcadors de posició, no estan relacionats en cap base i, en particular, no són numèrics. Per tant, no deuen confondre's en els índexs utilisats en el càlcul de Ricci. La notació va ser introduïda per Roger Penrose com una forma d'utilisar els aspectes formals del conveni de suma d'Einstein per a compensar la dificultat de descriure contracció d'índexs i la diferenciació covariant en la notació tensorial abstracta moderna, preservant al mateix temps la covarianza explícita de les expressions involucrades.[3]

Definició

[editar | editar còdic]

Siga V un espai vectorial i V* el seu espai dual. Considere's, per eixemple, un tensor covariant d'orde 2 hV*V*. Llavors, h es pot identificar en una forma bilineal en V. En atres paraules, és una funció de dos arguments en V que es poden representar com un parell de recalats:

h=h(,).

La notació d'índex abstracta és simplement un etiquetage dels recalats en lletres llatines, que no tenen cap significat a banda de la seua designació com a etiquetes dels recalats (és dir, no són numèriques):

h=hab.

Una contracció tensorial (o traça) entre dos tensors es representa per mig de la repetició d'una etiqueta d'índex, a on una etiqueta és contravariante (un "superíndex" corresponent al factor V) i una etiqueta és covariant (un "subíndex" corresponent al factor V*). Aixina, per eixemple,

tabb

és la traça d'un tensor t=tabc sobre els seus dos últims recalats. Esta forma de representar les contracció tensoriales per mig d'índexs repetits és formalment similar al conveni de suma d'Einstein. No obstant, com els índexs no són numèrics, no impliquen una suma. Més be corresponen a l'operació de seguiment abstracta independent de la base (o emparejamiento natural) entre factors tensoriales de tipo V i els de tipo V*.

Índexs abstractes i espais tensoriales

[editar | editar còdic]

Un tensor homogéneu general és un element d'un producte tensorial de còpies de V i de V*, com

VV*V*VV*.

Ara, s'etiqueta cada factor en este producte tensorial en una lletra llatina en una posició elevada (superíndex) per a cada factor V contravariante i en una posició baixa (subíndex) per a cada posició V* covariant. D'esta manera, s'escriu el producte com

VaVbVcVdVe

o simplement

Vabcde.

Les dos últimes expressions denoten el mateix objecte que la primera. Els tensors d'este tipo es denoten per mig d'una notació similar, com per eixemple:

habcdeVabcde=VV*V*VV*.

Vore també

[editar | editar còdic]

Referències

[editar | editar còdic]
  1. Kip S. Thorne and Roger D. Blandford (2017). Modern Classical Physics: Optics, Fluids, Plasmes, Elasticity, Relativity, and Statistical Physics, Princeton University Press. ISBN 978-0-69115902-7.
  2. Roger Penrose (2007). The Road to Reality: A Complete Guide to the Laws of the Universe, Vintage. ISBN 978-0-67977631-4.
  3. Roger Penrose and Wolfgang Rindler (1984). Spinors and Space-Clave, Volume 1: Two-Spinor Calculus and Relativistic Fields, Cambridge University Press. ISBN 978-0-52133707-6.


Referències

[editar | editar còdic]