66 2.

BREVE INTRODUCCIÓN AL ÁLGEBRA TENSORIAL

Problemas
1. Demostrar que el tensor T ⊗ T � definido por la ecuación (103), transforma
ante cambios de base como un tensor de tipo (r1 + r2 , s1 + s2 ).
2. Probar que si la representación coordenada de un tensor (1, 1) es en una base
Tjk = δjk , (157)
tiene la misma representación en cualquier otra base.
3. Probar que la propiedad anterior no se cumple para tensores de tipo (0, 2).
4. Probar que la propiedad anterior no se cumple para tensores de tipo (2, 0).
5. Sea V = C2 y consideremos las bases
�� � � �� �� � � ��
1 0 � 1 1
B= , ; B = , (158)
0 1 1 −1
Consideremos también la representación matricial en base canónica
� �
0 1
(159)
1 0
Determinar la expresión coordenada en la base B � si se trata
a) de la representación matricial de un tensor (1, 1)
b) de la representación matricial de un tensor (2, 0)
c) de la representación matricial de un tensor (0, 2)
6. Verificar que la transformación bajo cambio de coordenadas de los objetos
�k1 ⊗ �k2 , |ej1 � ⊗ |ej2 � y �k1 ⊗ |ej1 � son los que corresponden a tensores de tipo
(2, 0), (0, 2) y (1, 1).
7. Escribir la expresión del tensor de tipo (2, 1) más general sobre V = C 2 ,
respecto a la base canónica.
8. Sea g ∈ T (0,2) un tensor dos veces covariante, de componentes gij en una
base dada, y T ∈ T (2,0) un tensor dos veces contravariante, de componentes
T ij en la base dual a la anterior. Probar, estudiando las reglas de transforma-
ción por cambio de base, que la contracción del producto tensorial Φ = g ⊗ T
sobre el segundo índice de ambos tensores, define un tensor de tipo (1, 1).
9. Probar el Ejercicio 2.1
10. Probar el Ejercicio 2.2
11. Probar el Ejercicio 2.3
12. Sea el espacio vectorial C4 = C2 ⊗ C2 . Considere la base en C2 definida por
los vectores |e1 � y |e2 � y la base de C4 obtenida como producto tensorial de
ellas:
{|e11 �|e12 �, |e11 �|e22 �, |e21 �|e12 �, |e21 �|e22 �}
Probar que si un estado
|ψ� = a|e11 �|e12 � + b|e11 �|e22 � + c|e21 �|e12 � + d|e21 �|e22 �
es separable la función C : C4 → R
C(|ψ�) := C(a, b, c, d) = 2|ad − bc|
se anula. Esta función se denomina concurrencia (concurrence en inglés, y
se usa en la práctica para medir el grado de entrelazamiento en Computación
Cuántica).
13. Probar el Lema 2.3.
 5. DETERMINANTES 67

14. Calcular
� : �
�3 −1 1 ��
�
a) �� 1 −i −2 + i ��
�−2 2e iπ/3 1 �
� �
�1 0 1 0 ��
�
�i 1 −i 1 + i ��
b) ��
�0 2 2e
iπ/3
1 ��
�0 1 −1 i �
�� � � ��
� 1 2 2 − i 0 ��
c) �� ⊗
0 3 2 i �
15. Sea f : V → V un endomorfismo definido sobre un espacio vectorial V de
dimensión n. Probar que det(λf ) = λn det f .
16. Probar que, para λ ∈ K y aij ∈ K, b1j ∈ K
� � � � � �
�a11 + λb11 a12 + λb12 . . . a1n + λb1n � �a11 a12 . . . a1n �� �b11 b12 ... b1n ��
� � � �
� a21 a22 ... a2n � �a21 a22 . . . a2n �� �a21 a22 ... a2n ��
� � � �
� .. .. .. .. � = � .. .. .. .. �+λ � .. .. .. .. �
� . . . . � � . . . . �� � . . . . ��
� � � �
� an1 an2 ... ann � �an1 an2 . . . ann � �an1 an2 ... ann �

17. Probar las siguientes relaciones y justificar el significado intrínseco

a) Sean
   
a11 . . . a1n a11 . . . a1n
 .. .. ..   .. .. .. 
 . . .   . . . 
   
 ..   .. 
 aj1 . ajn  ak1 . akn 
   
 . .. ..   . .. .. 
A1 =  .. . .  A2 =  .. . . 
   

ak1 ..   .. 
 . akn  
 aj1
 . ajn  
 . .. ..   . .. .. 
 .. . .   .. . . 
an1 ... ann an1 ... ann

Probar que
det A1 = − det A2

b) Sean
   
a11 ... a1n a11 . . . a1n
 .. .. ..   .. .. .. 
 . . .   . . . 
   
 ..   .. 
A1 =  aj1 . ajn  A2 = λaj1 . λajn 
   
 . .. ..   . .. .. 
 .. . .   .. . . 
an1 ... ann an1 . . . ann

donde λ ∈ K. Probar que

det A2 = λ det A1
68 2. BREVE INTRODUCCIÓN AL ÁLGEBRA TENSORIAL

c) Sean
   
a11 . . . a1n a11 ... a1n
 .. .. ..   .. .. .. 
 . . .   . . . 
   
 ..   .. 
 aj1 . ajn  aj1 + λak1 . ajn + λakn 
   
 . .. ..   .. .. .. 
A1 =  .. . .  A2 =  . . . 
   

ak1 ..   .. 
 . akn  

 ak1 . akn 

 . .. ..   .. .. .. 
 .. . .   . . . 
an1 . . . ann an1 ... ann

Probar que
det A1 = det A2
18. Probar que el determinante de un endomorfismo nilpotente, es decir, aquel
que satisface que existe N ∈ N tal que

f N = 0,

cumple que
det f = 0
19. Ejercicio 2.4.
20. Probar el Teorema 2.5.
21. Determinar,
 caso de
 que exista, la inversa de las siguientes matrices:
0 x y
a) −x 0 z , donde x, y , z ∈ K
−y −z 0
 
1 x y
b) 0 1 z  donde x, y , z ∈ K
0 0 1
 
1 1 i
c) 0 1 3i 
0 1 2
 
1 −3i i
d) 0 2 −i 
i 1 2
22. Ejercicio 2.5.
23. Ejercicio 3.2.
24. Determinar la solución de los sistemas de ecuaciones siguientes:
a)

x + 3y + t = 5
3x − 6i y + 2t = 0
x − y − z − t = −2
x − 2y = −2i
 5. DETERMINANTES 69

b)
3x + 4y + z = 2 + 5i
x − i y + 2z = −4 + i
4x + 2y = 8
c)
ay + bz = 0
−ax + cz = 0
−bx − cy = 0