TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

RESUMEN CAPITULO 1 PRASUN KUMAR

1E) (Página 55) Tensor antisimétrico /// Tensor asimétrico /// (Pág.
56) Tensor completamente antisimétrico /// (Pág. 60) Vector axial
/// (Pág.61) Pseudotensor /// Tensor reciproco del tensor aij ///
Tensor conjugado del tensor aij /// (Pág. 62) Tensores mutuamente
recíprocos /// (Pág.63) Tensor relativo de peso 𝜔 /// Tensor
absoluto /// (Pág.64) Escalares relativos de peso 𝜔 /// Escalar
relativo de peso cero /// Escalar absoluto /// Tensor absoluto ///
Densidad escalar /// Densidad tensorial /// (Pág.66)
Transformación ortogonal de los ejes de coordenadas /// Tensor
cartesiano ///(Pág.67) Tensores afines /// (Pág.67) Tensor
isotrópico ///

2E) (Página 56) El tensor Cijpq es simétrico siempre que al momento

de intercambiar i y j también, a la vez se intercambien p y q. Tal como
se hizo en Eq: 56.1 (a) Kumar.
3E) (Página 56) El tensor de primer orden puede entenderse como
un vector, el tensor de segundo orden puede entenderse como una
matriz, el tensor de tercer orden puede entenderse como un cubo.

Así, los componentes del tensor Aijk se pueden ordenar en un arreglo

en forma de cubo. En la figura siguiente, cada pequeño cubo
representa un componente del tensor Aijk. Las Cn representan las

21 de agosto de 2021 1
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

``rebanadas´´ que conforman al cubo. Por ejemplo, C1 es la cara frontal

del cubo, C2 la cara detrás de la cara frontal y así sucesivamente.

En la primera cara C1, el índice k del tensor Aijk siempre tiene el valor
k = 1. Mientras que i, j van tomando valores según se va llenando la
cara C1 con los componentes del tensor. Podemos pues considerar
que, la cara C1 es la matriz Aij pero en la forma Aij1. De estas
observaciones y la propiedad 1.16.2 Kumar vemos que si Aijk fuera un
tensor solamente antisimétrico en i, j entonces en su cara C1 tendría

𝑁(𝑁 − 1)
2

Componentes independientes. Si consideramos todas las Cn entonces

se tendrían
𝑁(𝑁 − 1)
∙𝑁
2
Componentes diferentes.
4E) (Página 57) Para entender mejor el origen de la ecuación Eq:
57.1.1 Kumar, vamos a considerar un ejemplo particular de un tensor

21 de agosto de 2021 2
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

Aijk cuando N = 5. En este caso Aijk representaría un cubo como el de

la figura siguiente.

Tenemos pues Nk = 53= 125 componentes del tensor Aijk en nuestro

caso concreto. En un caso general se tendrían N3 componentes. Dado
que el tensor es totalmente antisimétrico muchas de sus
componentes son en realidad cero y muchas de ellas no son
independientes. Podemos encontrar todas las componentes nulas con
ayuda de la Eq: 56.2 Kumar. Es decir, de Eq: 56.2 a) Kumar cuando
i = j se tiene que

𝐴𝑖𝑖𝑘 = 0 (1)

De Eq: 56.2 b) Kumar cuando i = k se tiene que

𝐴𝑖𝑗𝑖 = 0 (2)

De Eq: 56.2 c) Kumar cuando j = k se tiene que

𝐴𝑖𝑗𝑗 = 0 (3)

Además cuando se tiene que i = j = k se tiene que

21 de agosto de 2021 3
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

𝐴𝑖𝑖𝑖 = 0 (4)

Todas estas componentes del tensor Aijk son nulas tanto en nuestro
caso concreto como en el caso general. Para ubicar estas
componentes de manera directa en nuestro caso concreto, se
presenta a continuación cada cara Cn del cubo que representa nuestro
tensor Aijk y además, cada conjunto descrito por (1), (2), (3), (4) se
presentan con un color particular sobre las caras Cn, es decir:

𝐴𝑖𝑖𝑘 = 0 𝑙𝑎𝑠 𝑐𝑜𝑚𝑝𝑜𝑛𝑒𝑛𝑡𝑒𝑠 𝑠𝑜𝑛 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜

𝐴𝑖𝑗𝑖 = 0 𝑙𝑎𝑠 𝑐𝑜𝑚𝑝𝑜𝑛𝑒𝑛𝑡𝑒𝑠 𝑠𝑜𝑛 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜

𝐴𝑖𝑗𝑗 = 0 𝑙𝑎𝑠 𝑐𝑜𝑚𝑝𝑜𝑛𝑒𝑛𝑡𝑒𝑠 𝑠𝑜𝑛 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜

𝐴𝑖𝑖𝑖 = 0 𝑙𝑎𝑠 𝑐𝑜𝑚𝑝𝑜𝑛𝑒𝑛𝑡𝑒𝑠 𝑠𝑜𝑛 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜

Aquí se considera que cada conjunto en (5) tiene como intersección

el conjunto vacío, es decir, los conjuntos no comparten elementos
comunes. Con esto en mente observemos las caras Cn.

21 de agosto de 2021 4
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

111 121 131 141 151 112 122 132 142 152
211 221 231 241 251 212 222 232 242 252
311 321 331 341 351 312 322 332 342 352
411 421 431 441 451 412 422 432 442 452
511 521 531 541 551 512 522 532 542 552

113 123 133 143 153 114 124 134 144 154
213 223 233 243 253 214 224 234 244 254
313 323 333 343 353 314 324 334 344 354
413 423 433 443 453 414 424 434 444 454
513 523 533 543 553 514 524 534 544 554

115 125 135 145 155

215 225 235 245 255
315 325 335 345 355
415 425 435 445 455
515 525 535 545 555

21 de agosto de 2021 5
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

De la observación cuidadosa de estas caras Cn vemos que se tiene

(Tanto en el caso particular como en el caso general) que

𝐴𝑖𝑖𝑖 = 0 𝑡𝑖𝑒𝑛𝑒 𝑁 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠

𝐴𝑖𝑖𝑘 = 0 𝑡𝑖𝑒𝑛𝑒 𝑁(𝑁 − 1) 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠

𝐴𝑖𝑗𝑗 = 0 𝑡𝑖𝑒𝑛𝑒 𝑁(𝑁 − 1) 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠

𝐴𝑖𝑗𝑗 = 0 𝑡𝑖𝑒𝑛𝑒 𝑁(𝑁 − 1) 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠

De este modo, (En términos generales) a nuestras N3 componentes

habrá que restarle todos estos elementos nulos considerados en (6),
es decir:

𝑁 3 − 𝑁 − 3𝑁(𝑁 − 1)

𝑁(𝑁 2 − 1) − 3𝑁(𝑁 − 1)

𝑁(𝑁 − 1)(𝑁 + 1) − 3𝑁(𝑁 − 1)

𝑁(𝑁 − 1)[𝑁 + 1 − 3]

𝑁(𝑁 − 1)(𝑁 − 2) (7)

Ahora bien, estos sobrantes elementos en (7) aún deben verificar que

𝐴𝑖𝑗𝑘 = −𝐴𝑗𝑖𝑘 (8)

21 de agosto de 2021 6
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

Siendo i ≠ j ≠ k. Poniendo atención solo a estos elementos

representados por (7) en las caras Cn vemos que al considerar (8)
esto hace que todas las componentes que sobran deban dividirse en
dos partes, dicho de otro modo, (7) debe ser dividido entre dos. Es
decir, solo tomaremos en cuenta los elementos tales que

𝑁(𝑁 − 1)(𝑁 − 2)
(9)
2

Las caras Cn presentadas a continuación, muestran este efecto, por

tanto solo consideramos ahora el conjunto de cuadriculas grises.

21 de agosto de 2021 7
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

El conjunto (9) representa los elementos grises de esta última figura.

La mitad blanca sale sobrando pues son elementos no independientes
iguales al negativo de la mitad gris.
Finalmente consideramos (Con i ≠ j ≠ k)

𝐴𝑖𝑗𝑘 = −𝐴𝑘𝑗𝑖

𝐴𝑖𝑗𝑘 = −𝐴𝑖𝑘𝑗

O bien, en una sola ecuación

𝐴𝑖𝑗𝑘 = −𝐴𝑘𝑗𝑖 = −𝐴𝑖𝑘𝑗

Considerado esto, las componentes restantes se dividirán por tres.

Por lo que

𝑁(𝑁 − 1)(𝑁 − 2)
(10)
(2)(3)

Las caras Cn presentadas a continuación, muestran este efecto, solo

consideramos ahora las tripletas del mismo color como
independientes respecto las otras tripletas
Para nuestro caso concreto, tenemos 10 colores independientes, es
decir, 10 componentes independientes. Esto es justo lo que nos da en
(10) al considerar N = 5. Nótese que (10) es justo Eq: 57.1.1 Kumar.
Así, estudiando un caso particular, también se ha comprendido el
caso general.

21 de agosto de 2021 8
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

5E) (Página 57) Observemos que para escribir (i) Kumar pág. 57 se
derivó respecto x̄ j la expresión

𝜕𝑥 𝑘
𝐴̅𝑖 = 𝐴
𝜕𝑥̅ 𝑖 𝑘

Mientras que, se puede entender que para obtener la Eq: 57.1 Kumar
se derivó respecto x̄ i la expresión

𝜕𝑥 𝑘
𝐴𝑗̅ = 𝐴
𝜕𝑥̅ 𝑗 𝑘

6E) (Página 57) Observación

21 de agosto de 2021 9
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

7E) (Página 58) [Σ1: En el ejemplo 1.16.3 Kumar, primero se

demuestra la ecuación Eq: 58.1 Kumar, posteriormente se debe
mostrar la unicidad de tal representación y para ello, primero se
supone que el tensor aij de hecho se puede representar por medio de
otra representación, a saber la Eq: 58.2 Kumar. Esta suposición nos
lleva directamente a las igualdades de que Aij = Cij y además Bij = Dij,
con lo cual se deduce que la representación Eq: 58.1 Kumar es única]
8E) (Página 58) [∑1: El método para resolver este problema utilizado
por Kumar es distinto y contiene inconsistencias. Obsérvese que en la
Eq: 58.4 Kumar se debe tener

𝑏𝑎𝑗𝑖 = −𝑐𝑎𝑖𝑗 (1)

Para así poder llegar a la parte final de Eq: 58.4 Kumar. Ahora bien
(1) implica que

𝑏𝑎𝑗𝑖 + 𝑐𝑎𝑖𝑗 = 0 (2)

Esta última ecuación se puede obtener de la ecuación original que no

da Kumar. Es decir de

𝑏𝑎𝑖𝑗 + 𝑐𝑎𝑗𝑖 = 0 (3)

Solamente remplazamos en (3) i por j y j por i y así obtenemos (2).]

9E) (Página 60) Los tensores conocidos hasta este punto.

Tensores absolutos (Véase la pág. 29 Mirjana 2ED)

Ejemplos: [(1.48), (1.49), (1.39), (1.43)] Kumar.

21 de agosto de 2021 10
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

Tensores relativos de peso M (Pseudotensores) (Véase la pág. 29

Mirjana 2ED)

Ejemplos: (1.58) Kumar

Escalares absolutos y tensores invariantes (Invariantes o tensores

de orden cero) (Véase la pág. 33 Mirjana 2ED)

Ejemplos: (4.10) Mirjana 2ED. Eq: 39.1 Kumar

Invariantes relativos de peso M (Escalares relativos de peso M)

Ejemplos: Eq: 42.1 Kumar. (5.35) Mirjana 2ED

10E) (Página 61) Al combinar [(1.55) y (1.56)] Kumar obtenemos

𝑐𝑜𝑓𝑎𝑐𝑡𝑜𝑟 𝑎𝑖𝑘 𝑒𝑛 |𝑎𝑖𝑗 |

𝑎𝑖𝑗 = 𝛿𝑗𝑘 (1)
|𝑎𝑖𝑗 |

Si consideramos en (1) que k = j = valor particular, entonces (1) nos

queda como

𝑐𝑜𝑓𝑎𝑐𝑡𝑜𝑟 𝑎𝑖𝑗 𝑒𝑛 |𝑎𝑖𝑗 |

𝑎𝑖𝑗 =1 (2)
|𝑎𝑖𝑗 |

O bien

𝑎𝑖𝑗 𝑏𝑖𝑗 = 1 (3)

21 de agosto de 2021 11
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

Luego (2) (O también (3)) es justo (6) pág. 265 David Poole 2ED. Si
consideramos en (1) que k ≠ j (valores concretos), entonces (1) nos
queda como

𝑐𝑜𝑓𝑎𝑐𝑡𝑜𝑟 𝑎𝑖𝑘 𝑒𝑛 |𝑎𝑖𝑗 |

𝑎𝑖𝑗 =0 (4)
|𝑎𝑖𝑗 |

Lo cual podemos escribir como

𝑎𝑖𝑗 𝑏𝑖𝑘 = 0 (5)

O bien

𝑎𝑖𝑗 (𝑐𝑜𝑓𝑎𝑐𝑡𝑜𝑟 𝑎𝑖𝑘 𝑒𝑛 |𝑎𝑖𝑗 |) = 0 (6)

De (6) ya vimos un ejemplo en (4) de física cuántica 1099. Estos

argumentos solo son para observar el funcionamiento de (1.56)
Kumar.
11E) (Página 65) Sabemos que en general los determinantes
terminan siendo algún número real. Así entonces podemos escribir
que
𝜔 𝜔 𝜔
𝜕𝑥̅ 𝑘 𝜕𝑥 𝑖 𝜕𝑥̅ 𝑘 𝜕𝑥 𝑖
| 𝑗 | | 𝑘 | = (| 𝑗 | | 𝑘 |) (1)
𝜕𝑥̅̅ 𝜕𝑥̅ 𝜕𝑥̅̅ 𝜕𝑥̅

Al segundo miembro en (1) le podemos aplicar el teorema 4.8 Poole

2ED pág. 272 para así obtener

21 de agosto de 2021 12
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

𝜔 𝜔 𝜔
𝜕𝑥̅ 𝑘 𝜕𝑥 𝑖 𝜕𝑥̅ 𝑘 𝜕𝑥 𝑖
| 𝑗 | | 𝑘| = | 𝑗 𝑘|
𝜕𝑥̅̅ 𝜕𝑥̅ 𝜕𝑥̅̅ 𝜕𝑥̅

Como se requiere en este caso.

12E) (Página 65) Esta propiedad de grupo corresponde a la primera
propiedad que se mostró en el ejemplo 1.7.3 pág. 33 de este libro.
13E) (Página 66) En los ejemplos 1.19.2 Kumar, 1.19.3 Kumar y
1.19.4 Kumar observemos bien como se tomaron los | J |𝜔 en los
segundos miembros de las leyes de transformación. Por ejemplo

En el numerador se colocan las coordenadas

que son las variables independientes para las
funciones componente Ā𝛼𝛽

14E) (Página 66) Observación

15E) (Página 66) En realidad, yo escribiría.

Un tensor cartesiano de rango 2r, tipo (r, r), en un espacio euclidiano

tridimensional es un conjunto de 32r componentes que se
transforman según la regla

21 de agosto de 2021 13
TENSOR CALCULUS AND DIFFERENTIAL GEOMETRY PRASUN KUMAR NAYAK

Sólo bajo transformaciones de coordenadas ortogonales

Esto también implica que para este tipo de tensores cartesianos se

cumpla que

Y por tanto (Como ya vimos en el ejemplo 1.7.2 Kumar)

Con estas consideraciones, la ley de transformación para un tensor

cartesiano de rango r en un espacio tridimensional se reduce a

Esto tiene la forma de (2.45) Hess pág. 23 en Tensor for physics. En

este tipo de tensores los componentes de covarianza respecto los
componentes de contravarianza no tienen diferencias.
16E) (Página 67) Para los tensores afines, contravarianza y
covarianza si tienen distinción. Ver la figura 2.3 Hess pág. 16 en
Tensor for physics.
17E) (Página 67) Esto solo se cumple cuando los tensores son
cartesianos

21 de agosto de 2021 14