Seminario I 2015-1

Examen parcial
Nombre : Goyzueta Palomino, Neil Lizander

11130013

1) Defina el espacio funcional, su derivada y presente dos ejemplos de la

derivada funcional.
Funcional.-Se denomina funcional a una funcin que toma como argumento a
funciones (espacio de banach) es decir una funcin cuyo dominio es un
conjunto de funciones. En el caso delas funciones a cada nmero le
corresponde otro nmero en las funcionales a cada funcin le corresponde un
nmero.


    , ,   


Derivada funcional.- Se analiza como varia
 cuando  sufre un cambio

pequeo   .
Se define como:





Y tiene la relacin 
      donde  representa la



variacin de la funcional, que es equivalente a :


 
    
 .

Variacin funcional tambin se representa como la derivada funcional con

respecto a un parmetro alfa se representa con:



 

   |!"#


 

   |!"#  
       |!"# 
   


     
$
  





Ejemplos
i)

La longitud entre dos puntos que pasa una funcin, cual es la mnima
longitud y la funcin que la determina.


% &    '1  & )  ; & +  &+ , & )  &)



Para esto %  &  0

Esto se podr resolver fcilmente con elementos posteriores
ii)

Modelo de Tomas-Fermi energa cintica del gas de electrones

- 

-./    . 01 / /

 

-.  .|!"#    .  . 01 /3


!"#

5
  .  . 01 /3
  .  . )1 ./3

3
!"#
!"#
-  

Comparando

  



  
 

Tenemos la derivada funcional.

5
. )1 ./
3

-. 5
 . )1
.
3

2) Para la funcional de accin 678   8 = 98 :7; 8 , 7< ; 8 , 8 hallar el

8

>

extremo con las fronteras fijas y presentar las propiedades de

:7; 8 , 7< ; 8 , 8 .
Introducimos ?@ A,   ?@ A   B@ A de tal forma que

Se busca ?@ A, 0  ?@ A

?@ A+ ,   ?@ A+ ; B@ A+  0

?@ A) ,   ?@ A) ; B@ A)  0

E

C?    A D?@ A,  , ?< @ A,  , A

E

E

E

E
C? 
D ?@ D ?< @


A
?< @ 

E ?@ 

E
 D ?@
 D ?@ D ?< @
A  
F G

A  0
?< @ 
A ?< @ 
E A ?< @ 
?@
 B@ A

E
E
  D ?@ A  D B@ A 3  0
?< @
E A ?< @ 
E

E

E

 D ?@
D ?< @
F G

A
A ?< @ 
E ?< @ 
E

E
C? 
D ?@  D ?@
D
 D ?@

 F G
A   H
 F GI
A
A ?< @ 
A ?< @ 

E ?@ 
E ?@
?@
C
  C; F G
  ?@
F G
 !"#
 !"#
E
C? 
D
 D ?@
   H
 F GI
A

A ?< @ 
E ?@
E

D
 D
 F GI ?@ A  0
A ?< @
E ?@
D
 D
 F G0
?@ A ?< @
D
 D
 F G
?@ A ?< @
E

C   H

3) Para la funcional de accin en 2) hallar 6  7  J con la siguiente

6

condicin de contorno de fronteras no fijas.

?@ KL " N O ?@ L ; AL " O AL

?@ KP" N O ?@ P ; AP" O AP

Debe cumplir

QD

QRS

 TE U R< V  0 , ms otras condiciones

T

QD
S

678   8 = 98 : U7; 8 , 7< ; 8 , 7W ; 8

4) Hallar las ecuaciones de Euler-Lagrange para

8

>

9X 7; 8
98X

Introducimos ?@ A,   ?@ A   B@ A de tal forma que

?@ A+ ,   ?@ A+ ; B@ A+  0
?@ A) ,   ?@ A) ; B@ A)  0
?< @ A+ ,   ?< @ A+ ; B< @ A+  0
?< @ A) ,   ?< @ A) ; B< @ A)  0
?W @ A+ ,   ?W @ A+ ; BW @ A+  0
?W @ A) ,   ?W @ A) ; BW @ A)  0
En resumen se eliminan la derivadas de B@
Se busca ?@ A, 0  ?@ A
E

C?    A D Y?@ A,  , ?< @ A,  , ?W @ A, 

E

Z ?@ A, 
[
A Z

E
C? 
D ?@ D ?< @ D ?W @
D  ]



 \ T] R TE A
S 

?< @  ?W @ 
E ?@ 

TE ]

Desarrollando por partes para cada caso

T] RS

E
D ?< @
 D ?@
D ?@ E

^ 

A 
F G
A
?< @  E
E ?< @ 
E A ?< @ 
E

E
D ?< @
 D ?@

A   
F G
A
E ?< @ 
E A ?< @ 
E

E

E

?@
E
 B@ A ; B@ A |E  0


E
D ?W @
D ?< @ E
 D ?< @
^ 
A  
F G
A
?W @ 
?W @  E
E A ?W @ 


E )
D ?W @
D ?< @ E
D ?@ E
 D ?@


^ _
^ 

A 
F G
A`
) ?W 
?W @  E
?W @  E
E ?W @ 
E A
E

E )
D ?W @
D ?< @ E  D ?@ E
 D ?@

^ 
^ 

A 
F G
A
) ?W
?W @  E
?W @  E

E ?W @ 
E A
E

?@
E
 B@ A ; B@ A |E  0



E

E

D 
T ] RS
TE ]

?< @
E
 B< @ A ; B< @ A |E  0

E
E )
D ?W @
 D ?@

A  
F G
A
) ?<
@ 
E ?W @ 
E A
E

E

E

E

S
E Z
D  TE ]a
D ?@

D ?@

A  T] R
c T] R d
A
b  T] R
b  1 Z 
Z

E A
 TE ]S 
 TE ]S 
 TE ]S 

T ]RS
TE ]

T ]a R

Como las derivadas de B@ A son nulas

E

E

D 
T] RS
TE ]

T] RS
TE ]



E

A  1 Z 

E

Z
D ?@
c T] R d
A
Z
S
A 

TE ]

E
E Z
C? 
D ?@  D ?@
 ) D ?@

D ?@

 F G
 )F G
 \ 1 Z 
A
c T] R d
Z
S

A ?< @  A ?< @ 

E ?@ 
E A

TE ]

E
E Z
C
D
 D
) D

D
?@
   e
 F G  ) F G  \ 1 Z 
A
c T] R df
Z
S

A ?< @

A ?< @
E ?@
E A

TE ]

E
E Z
D
 D
 ) D

D
C   e
 F G  ) F G  \ 1 Z 
c T] R df ?A  0
Z
S
A ?< @
A ?< @
E ?@
E A

TE ]

E Z
D
 D
) D

D
 F G  ) F G  \ 1 Z 
c T] R d  0
Z
S
?@ A ?< @
A ?< @
E A


5) Hallar el mnimo de 67g  

Haciendo :  h7= g

g=
g h7= g 9g
>

con h  consti 0

Usando

D
 D

c
d
? j  TR
Tk
Obtenemos

TE ]

D
D
 2? j ; TR  0 $ =h7g  J
?
 Tk

6) Para una partcula masiva que se mueve en un campo de potencial

conservativo y un oscilador armnico simple, construya sus
lagrangianas, acciones y ecuaciones de campo.
Campo de potencial

1
D  -  m  n/< )  o/
2
E
1
C/A   
n/< )  o/ A
2
E
D
 D
 F G
/@ A /<@
D
o /

/@
/@
D
 D
 n/<@ ;
F G  n/W@
/<@
A /<@

Para el oscilador armnico

pqr
 srW ;
pr;

1
1
n < )  F t ) G
2
2
E
1
1
C/A   
n < )  t ) A
2
E 2
D
 D
 F G
 A  <
D
 t

D
 D
 n < ;
F G  n W
 <
A  <
D -m 

uv  svW

7) Para la Hamiltonianaw 

>

=s

Kx=v  x=y  x=z N  {v, y, z hallar los

corchetes de poisson sabiendo que |v  yxz  zxy

}|v , w~, |y , w, }|z , w~, |v , |y , }|v , |z ~

o 
o 
}o, ~  F

G
?   ?

Definimos corchete de poisson

"+

@  @ 
} , ~  }@ , ~  F

G
?   ?
"+

@
@

1


 @Z Z ;
 @Z ?Z ;
 ;

?

 n
? ?
}@ , ~  F@Z Z

} , ~ 

"+

1

 @Z ?Z
G
n
?

1
 1


  &
n
 n






&


 , 





} , ~ 
&
&

} , ~  &

@ ,  Y
"+

@  @ 
[

?   ?

@ ,  K@Z Z ?  @Z ?Z N
"+

}@ , @ ~  0

 ,    &  
} , ~      
 ,   &   

8) Construya : y w de un sistema continuo a partir de una cadena lineal

cerrada constituidos por masas puntuales iguales unidos por
resorte.
@+

@ 

2
 @ A

@+

#  ; #A  A ; 0

Rapidez de una de las masas <@  < @ A ; energa cintica -  n ) < @ )

Para la energa potencial m  t ) ; con @  @+  @ 
+
)

Para la lagrangiano
@ 

+
)

2
2
2
  1  @+ 
 @ 
 @+  @

1
1
m  t )  t ) @+  @ )
2
2

D -m 

1 )
Kn< @ )  t@+  @ ) N
2

1
D  -  m  ) Kn< @ )  t@+  @ ) N
2

Para todo el sistema

Llevando al lmite

n ) )
1
@+  @
[
< @  R t ) Y
D  -  m  R
R
2
R
@

@+  @   



R

 

 t@+  @  tR



@+  @
 tR  t
R

 t

p; =
>
p =
>
=
=
= =
G [   Yq <  F G [ 9
:  Yq <;  F
=
p
=
p
;

Para la hamiltoniano
D  D@ ; ?@  @
@

@ 

D
D@

< @
< @

 @ < @  D 
Llevando al lmite

D@
<  D@
< @ @

%
%
w  F
<  %G   <  %  ; 
 o ) <
<
<

 <  % ;

1
 )
) )
%  Yo <  F G [
2


%: densidad lagrangena,

: B n%ABB

1
 )
) )
 K <  %N   co <  Yo <  F G [d 
2

)

1
1  )
) )
  o <  F G 
2
2


 o ) <

=
p =
>
 F G 9
w  
p
=
q =

$ <

)
o)

9) Para : y w obtenido en 8) hallar sus ecuaciones de campo usando

principio variacional.
E

1
 )
)
)
C   A D, < ,
, , A    Yo <  F G [  A

2

E
E
E

1
 )
) )
C    %  A  0 ; %  Yo <  F G [
2

E
E

 %

%
%
 F G
c Qd  0
 A <
 
Q

%
0

%
 %
F G  o ) < ; F G  o ) W
<
A <

%

 
Q
Q



%
 )

c Qd   )

  
Q

p=
p=
=

q

J
p=
p8=

)
1
 )
 


F
G 
2
o )

1 )
 )
 Y ) F G [
2 o

< 




<  


 

   UQV
Q




;
0
)


o

  
)


;


Q
   UQV
 )
U V
Q

< 

p=
;

<



p=
q =

10) Muestre que una matriz cuadrada de n x n satisface los axiomas de

grupo.(determinante distinto de cero)
Axiomas de grupo
i) Clausura
ii) Asociacin
iii) Elemento de Identidad
iv) Elemento inverso

SeaP ,Ly matrices de n x n

++
)+
P
Z+

i)
ii)

iii)

+)
))

Z)

+Z
++
)Z
)+

;L 
ZZ
Z+

+)
))

Z)

++
+Z
)+
)Z
; 

Z+
ZZ

P  L  ; @  @  @

+)
))

Z)

P  L   P  L  ;
@  K@  @ N  @  @  @  @  @  @
P  0  P; @  @  @ ; @  0
0 0 0
 e0 0 0 f


0 0 0

+Z
)Z

ZZ

iv)
Por lo tanto

P  P  ; 0  @  @
; @
 @

P  P

11) Analizar , , = , y presente 2 ejemplos del grupo de

permutaciones.
Grupo .
Elementos }, , ) , 1  ~

 2

n
; n  0,1,2 & B  3
B
 #  0
2
 + 
3
4
) 
3

Elemento identidad  #
Inverso   1  ;  1
 B
Operacin  

B 

Tabla de multiplicacin

Grupo .
Elementos }, , , ) , 1 ,  ~

 2

n
; n  0,1,2,3 & B  4
B
 #  0

 + 
2
) 
3
1 
2

Elemento identidad  #
Inverso    ;  
 B
Operacin  

B 

Grupo = (lnea).
Elementos }, , )  , + ~ ; 
1 0
, 0  

0 1
1 0
,  

0 1
1 0
+ 

0 1
1 0 1 0
1 0

) 
0 1 0 1
0 1

Grupo (triangulo).
Elementos }, , ) , 1  , + , ) , 1 ~
1 0
, 0  

0 1
2
 12 32
`
F, G   _
3
 32  12

 12  32
`
U, V  )  _
3
32  12

1 0
+ 

0 1
12
 32
1 0  12 32
`_
`
) 
_
0 1  32  12
 32 0  12
12 32
1 0  12  32
`_
`
_
) 
0 1 32  12
32  12
Grupo de permutaciones.
Permutacin de 4 elementos.
1 2
+  U
1 2
1 2
1  U
1 3
1 2
0  U
1 4
1 2
 U
2 1
1 2
 U
2 3
1 2
++  U
2 4
1 2
+1  U
3 1

3
3
3
2
3
2
3
3
3
1
3
1
3
2

4
1
V )  U
4
1
4
1
V  U
4
1
4
1
V  U
3
1
4
1
V  U
4
2
4
1
V +#  U
4
2
4
1
V  U
3 +)
2
4
1
V +  U
4
3

2
2
2
3
2
4
2
1
2
3
2
4
2
1

3
4
3
4
3
3
3
4
3
4
3
3
3
4

4
V
3
4
V
2
4
V
2
4
V
3
4
V
1
4
V
1
4
V
2

1 2 3 4
1 2 3 4
+0  U
V  U
V
3 2 1 4 +
3 2 4 1
1 2 3 4
1 2 3 4
+  U
V  U
V
3 4 1 2 +
3 4 2 1
1 2 3 4
1 2 3 4
+  U
V  U
V
4 1 2 3 )#
4 1 3 2
1 2 3 4
1 2 3 4
)+  U
V  U
V
4 2 1 3 ))
4 2 3 1
1 2 3 4
1 2 3 4
)1  U
V  U
V
4 3 1 2 )
4 3 2 1
12) Muestre que X, forma grupo de Lie y presente explcitamente
=,
+  ++ +  +) ) +Z Z
)  )+ +  )) ) )Z Z
Z  Z+ +  Z) ) ZZ Z
++
)+
 
Z+

+)
))

Z)

Definimos la operacin binaria (producto matricial)

+Z
)Z

ZZ

    ; @  @

TambinA  O 0

Debe cumplir los 5 axiomas

i)
  

+Z ++ +) +Z
++ +) +Z
)Z )+ )) )Z
)+ )) )Z


ZZ Z+ Z) ZZ
Z+ Z) ZZ
@  @  @+ +  @) ) @ @Z Z
@  @ ; para  tenemos  1 y para O tenemos  0
 
++ +) +Z
1 0 0
)+ )) )Z

 e0 1 0 f

Z+ Z) ZZ
0 0 1
++
)+

Z+

ii)

+)
))

Z)

   ;   + 

++
)+

Z+

+)
))

Z)

+Z ++
)Z )+

ZZ Z+

+)
))

Z)

+Z
1 0
)Z
 e0 1

ZZ
0 0

0
0f

1

@  @  @+ +  @) ) @  @Z Z
++  + +  ++ ++  +) )+ + +  +Z Z+  1
+)  + )  ++ +)  +) )) + )  +Z Z)  0
)+  ) +  )+ ++  )) )+ ) +  )Z Z+  0
))  @  )+ +)  )) )) ) )  )Z Z)  1
ZZ  Z Z  Z+ +Z  Z) )Z Z Z  ZZ ZZ  1

En total hay B ) ecuaciones los cales se puede separar en n sistemas

de ecuaciones de n variables
Por ejemplo
@+  @ +  @+ ++  @) )+ @ +  @Z Z+
me genera un sistema de ecuaciones

de forma general

iii)

iv)

    ;
++ +)
)+ ))

Z+ Z)

1 + AK@+, N

A 

1 AK@, N
A 

 ,
+Z ++ +)
)Z )+ ))

ZZ Z+ Z)

++
+Z

)Z
)+


Z+
ZZ

    ; @  @

         

@  @  @ 

+)
))

Z)

+Z
)Z

ZZ

v)

 , funcin analtica en y y tambin en   + 

debe ser analtico.
@  @ ; @ &


1 AK@, N
A 

Para el caso particular =,

+  ++ +  +) )
)  )+ +  )) )
++
 
)+

Tambin A  O 0

+)
))

    ; @  @

i)

Elemento identidad

ii)

Elemento inverso

++ +)
+)

)+ ))
)+ ))
@  @  @+ +  @) )
++  ++ ++  +) )+ ; ++  1, )+  0
+)  ++ +)  +) )) ; +)  0, ))  1
)+  )+ ++  )) )+ ; ++  1, )+  0
))  )+ +)  )) )) ; +)  0, ))  1
 

1 0
 H ++ +) I 

)+ ))
0 1
++

   ;   + 

++

)+

+) ++
)) H)+

+)
1
I
))
0

@  @  @+ +  @) )
++  + +  ++ ++  +) )+  1
+)  + )  ++ +)  +) ))  0
)+  ) +  )+ ++  )) )+  0
))  @  )+ +)  )) ))  1

En total hay 4ecuaciones, de la forma general obtenida.

1 AK@, N

A 
AK@+,+ N
))
++ 

A 
A 
AK@),+ N
+)
+) 

A 
A 
AK@+,) N
)+
)+ 

A 
A 
AK@, N
++

)) 
A 
A 

Por lo tanto la inversa es:

1
))

+)
H ++
I

)+ ))
)+
A 

iii)

1
+)
))

++
++ ))  +) )+ )+

    ;  ,
++ +) ++

H
)+ )) )+

++
+)
I 
))
)+

+)
))

    ; @  @
++  ++ ++  +) )+
+)  ++ +)  +) ))
)+  )+ ++  )) )+
))  )+ +)  )) ))

         

iv)

@  @  @ 
13) Muestre que B, forma grupo de Lie y de ejemplos con 1
++
)+

Z+

+)
))

Z)

  1

+Z ++
)+

)Z +)
))

ZZ +Z
)Z

Z+

Z)
>

ZZ

+)
++


@  @ ;S , 
 @ ;S

   > ; @  @ ;  
; @  @ 

   > ; @  @  ; @  @
; @  @


@  @ 
 @


Debe cumplir los 5 axiomas

i)
  

++ +) +Z

+Z ++ +) +Z
)Z )+ )) )Z
)+ )) )Z


ZZ Z+ Z) ZZ
Z+ Z) ZZ
@  @  @+ +  @) ) @ @Z Z
@  @ ; para  tenemos  1 y para O tenemos  0
 
++ +) +Z
1 0 0
)+ )) )Z
 e0 1 0 f


Z+ Z) ZZ
0 0 1
ii)
   ;   + 
Por definicin
++
)+

Z+

++
)+

Z+

+)
))

Z)

+)
))

Z)

++
)+

Z+

+Z ++
)Z )+

ZZ Z+
+)
))

Z)

+)
))

Z)

+Z
1
)Z
 e0

ZZ
0

++
+Z
)Z

 +)

ZZ
+Z

)+

))

)Z

Z+

Z)

ZZ

    ;  ,
++ +) +Z ++ +) +Z
++
)+ )) )Z )+ )) )Z
)+



Z+ Z) ZZ Z+ Z) ZZ

Z+

iii)

0
1

+)
))

Z)

0
0f

1

+Z
)Z

ZZ

    ; @  @

iv)

          

@  @  @ 

v)

 , funcin analtica en  y y tambin  en  

+  debe ser analtico.
@  @ ; @ & oB An/ o%?o/ %/


AK@, N
A 

Para el caso particular {>

  1

++ ++
>

; @  @ 
   > ; @  @ ;  

   > ; @  @  ; @  @
; @  @


++  ++ ++

 ++
++

|++ |)  1 $ ++  @   B

Clausura @ @  @

Elemento identidad  0 , @#  1

Elemento inverso @ @  @#  1, @  @

14) Muestre que X, forma grupo de Lie y de ejemplos con = y 

+  ++ +  +) ) +Z Z
)  )+ +  )) ) )Z Z
Z  Z+ +  Z) ) ZZ Z

++
)+
 
Z+

+)
))

Z)

+Z
)Z

ZZ

Se definene como el subgrupo de ; ; significa que cumple las

condiciones de 12) pero con una condicin mas.
      >
++ +) +Z ++ )+ Z+
1 0 0
)+ )) )Z +) )) Z)
0 1 0f

 e

Z+ Z) ZZ +Z )Z ZZ
0 0 1



 > ; @  @ ;  ; @  @
   > ; @  @ ; @  @ ; @  @
@  @  @

)
)
)
)
)
)
++  + +  ++
 +)
+Z
 + +  ++
 )+
Z+
1
+)  + )  ++ )+  +Z )Z  + )  ++ +)  Z+ Z)  0
)+  ) +  )+ ++  )Z +Z  ) +  +) ++  Z) Z+  0
)
)
)
)
)
)
))  ) )  )+
 ))
)Z
 ) )  +)
 ))
Z)
1

ZZ  Z Z  1

Tomamos los resultados de 12

i)
  

1
   e0

0
1

0
0f

1

Probamos la condicin   
@  @  @   @  @ 
++  ++ ++  +) +)  +Z +Z  ++ ++  )+ )+  Z+ Z+  1
+)  ++ )+  +) ))  +Z )Z  +) ++  )) )+  Z) Z+  0
@  @   @ 

ii)

   ;   + 

++
)+

Z+

+)
))

Z)

+Z ++
)Z )+

ZZ Z+

+)
))

Z)

+Z
1
)Z
 e0

ZZ
0

0
1

0
0f

1

Dada por la condicin

++
)+

Z+

+)
))

Z)

   >; @  @
   > ; @  @

+Z ++
)Z +)

ZZ +Z

)+
))

)Z

Z+
1 0
Z)
0 1

 e
ZZ
0 0

  

    ;  ,
++
++ +) +Z ++ +) +Z
)+ )) )Z )+ )) )Z
)+


Z+ Z) ZZ Z+ Z) ZZ
Z+

iii)

0
0f

1

+)
))

Z)

+Z
)Z

ZZ

    ; @  @
 > ; @  @ ;    > ; @  @

   > ; @  @ ;    > ; @  @
   > ; @  @ ;    > ; @  @
@  @  @Z Z  @Z Z  @Z Z  @Z Z  @
@  @  @  @   @  @  @
iv)

         

@  @  @ 
   > ; @  @
   > ; @  @
   > ; @  @
@  @  @Z Z
@  @ Z Z   @ Z Z
 @ Z Z 
@  @  @

@   @ Z Z  @ Z Z
  @ Z Z

 , funcin analtica en y y tambin en  

+  debe ser analtico.
@  @ ; @ & oB An/ o%?o/ %/ o% ?o 12
    ; @  @
   > ; @  @
   > ; @  @
   > ; @  @

v)

AK@, N
A 

Ejemplos
Grupo ortogonal =
++ +) ++ )+
1 0

0 1
)+
))
+)
))
   > ; @  @ ;  ; @  @
   > ; @  @ ; @  @ ; @  @
@  @  @
+)
)+

)
)
)
)
++  + +  ++
 +)
 + +  ++
 )+
1
 + )  ++ )+  +) ))  + )  ++ +)  )+ ))  0
 ) +  )+ ++  )) +)  ) +  +) ++  )) )+  0
)
)
)
)
))  ) )  )+
 ))
 ) )  +)
 ))
1

Existen cuatro soluciones

++  , +)  B, )+  B, )) 
++  , +)  B, )+  B, )) 
++  , +)  B, )+  B, )) 
++  , +)  B, )+  B, ))  
 B B
B B

,
,
,

B B
B B 

Grupo ortogonal 

++ +) +1 ++ )+ 1+
1 0 0
)+ )) )1 +) )) 1)  0 1 0
1+ 1) 11 +1 )1 11
0 0 1
   > ; @  @ ;  ; @  @
   > ; @  @ ; @  @ ; @  @
@  @  @

)
)
)
)
)
)
++  ++
 +)
 +1
 ++
 )+
 1+
1
)+  +)  ++ )+  +) ))  +1 )1  ++ +)  )+ ))  1+ 1)  0
1+  +1  ++ 1+  +) 1)  +1 11  ++ +1  )+ )1  1+ 11  0
)
)
)
)
)
)
))  )+
 ))
 )1
 +)
 ))
 1)
1
1)  )1  )+ 1+  )) 1)  )1 11  +) +1  )) )1  1) 11
)
)
)
)
)
)
 1)
 11
 +1
 )1
 11
1
11  1+
Para simplificar hacemos que
1+  +1  )1  1)  0
Esto reduce al clculo anterior
 B 0
  B 0
0
0
1

Se puede alternar los otros resultados.

Variando las condiciones
+)  )+  )1  1)  0
 


0
B

0 B
1
0
0

1+  +1  +)  )+  0

1
0
   0 
0 B

0
B

15) Muestre que 2 es abeliano y 3 es no abeliano.

En general 2 no es abeliano igual que 3

Pero si consideramos que la determinante de cada caso sea uno.

Primero C2
De forma general

B

  H
 




H
 



I
 

I
 

Ambas multiplicaciones son iguales, entonces C2 es abeliano.

Luego6

0

0 
1 0
0
0   
0  0 1

0 0
0  1 0

 
0
0 0   0


0 1
0 0

No son abelianos
16) Muestre que 6{= y 6 son homomorfos
17) Calcule la forma explcita los parmetros independientes de los 9
grupos clsicos.
a) Grupo de transformaciones lineales generales B, B,
B,
++ +) +Z
)+ )) )Z
P

Z+ Z) ZZ
=
Existen X
B,
++  ++ +)  +) +Z  +Z
 )+ ))  )) )Z  )Z

P  )+

Z+  Z+ Z)  Z) ZZ  ZZ
Existen =X=

b) Grupo de transformaciones lineales generales especiales

C B, CB,
Es un subgrupo de B, B, con la condicin de A P  1
B,
++ +) +Z
)+ )) )Z
P

Z+ Z) ZZ
det P  ++ AP@++  +) AP@+)  1 Z+ +Z AP@+Z  1
Podemos expresar uno de ellos en funcin de los dems
1  +) AP@+)  1 Z+ +Z AP@+Z
++ 
AP@++

Si en antes haba B) parmetros, ahora hay B )  1 parametros

B,
++  ++ +)  +) +Z  +Z
)+  )+ ))  )) )Z  )Z

P

Z+  Z+ Z)  Z) ZZ  ZZ
det P  ++  ++ AP@++  \  1 Z+ +Z  +Z AP@+Z  1
Como en el caso anterior podemos expresar uno de los elementos en
funcin de los dems
1  \  1 Z+ +Z  +Z AP@+Z
++  ++ 
AP@++
++ y ++ son determinados por @  @ con O 1^ O 1
Si antes existan 2B ) parmetros,ahora existe 2B)  2
c) Grupo unitario B,
++  ++ +)  +) +Z  +Z
 )+ ))  )) )Z  )Z

P  )+

Z+  Z+ Z)  Z) ZZ  ZZ
++ +)
)+ ))

Z+ Z)

PP  P P  1

+Z ++
)+

)Z +)
))

ZZ +Z
)Z

Z+

Z)
1

ZZ


++ +) +Z
Z+

)Z

Z)
)+ ))

1

Z+ Z) ZZ
ZZ
@  @  @

@  @
 @

++  ++ ++
 +) +)
+Z +Z
 ++ ++
 )+ )+
Z+ Z+
1

+)  ++ )+  +) )) +Z )Z  ++ +)  )+ )) Z+ Z)  0

)+  )+ ++
 )) +)
)Z +Z
 +) ++
 )) )+
Z) Z+
0

))  )+ )+  )) )) )Z )Z  +) +)  )) )) Z) Z)  1

++

+)

+Z

)+

))

)Z

@  @
 @

1 AK@, N 1 AK,@ N



A 
A 

Grupo unitario especial CB,

Grupo ortogonal de rotaciones B, B,
Grupo ortogonal de rotaciones especiales C B, CB,
Grupo pseudo-ortogonal de rotaciones B, n, B, n,
Grupo pseudo-ortogonal de rotaciones especiales
C B, n, CB, n,
i) Grupo simplecticoC B, CB,
d)
e)
f)
g)
h)

18) Obtener matriz de Pauli a partir de 6{= y presentar sus principales

propiedades.
++ +)
 ++ +)  +)
I
    H ++
+)  +) ++  ++
+)
++
++ +)

+)
I
  
 H ++
+) ++
+) ++

 H ++
0

0
0
+)

0
0 +)
IH
I  H ++
IH
I
++
+) 0
0 ++
+) 0
1 0
0 1
1 0
0 1
 ++
 +)
 ++
 +)

0 1
1 0
0 1
1 0

+)

0 1
0 
 +)

1 0
0

 ++

1 0
0 
1 0
0 1
 +)
 ++
 +)

0 1
0
0 1
1 0

1
# 
0

0
1 0
0 
0 1
; 
; 
; 1 

1 +
0 1 )
0
1 0

19) para un campo vectorial sobre la variedad diferenciable de grupo | ,

defina el lgebra de lie y enumere sus propiedades.
El lgebra de lie es un espacio vectorial de dimensin finita G con el
operador , : $ que satisface.
   & ,     ,    & , 

i)

Bilinealidad:

ii)

Anti simetra:

iii)

Identidad de jacobi
, &,   &, ,   ,  , &  0

 , &   &, 

20) para el grupo de transformaciones @  @  + , ) Z , j+ , j) j @ v, g

defina los generadores del grupo, su conmutador y la identidad jacobi.
generadores del grupo
Z

h  @! v
Conmutador

@"+

Identidad de jacobi


@  + , ) Z , j+ , j) j
; @! v 
 @
j!
h,  h  h

h , ,  , , h  , h,  0

21) para el grupo X, : v  v  y; y  v  9y obtener los

operadores infinitesimales y la constante de estructura.
Ck  1  h j!

@  1  h j! @

    &   

&    &  &  &  &

 @  !@  j!

    &,

&    &,

  ,

 ,

h  !@
@"+


 @

  &

T  &





;  &
; 
; 9  &


&
&

 ,  

 

 

&
&
 &
 
 
 

 


 ,  

 
 





 &
& 
&

 , 9  

 ,   &

 
 
&
&
0
 &
& 

 
 



 &
&

 9 
 &
& 
&


 , 9   &

 
 

&
& &
 &
 
 &
& 


 , 9  

 
 

&
&


& &
& &
&

Para la constante de estructura tenemos

 ,  
s

@
T

 1;
 1; T
 0;
 1;
 1; T
 1; T
1

22) para el grupo 6{= obtener los operadores infinitesimales y la

constante de estructura.

 ++
Llevando a la forma

C2  H

++  ++
+)  +)

+)  +)
I
++  ++

1 0
0 
1 0
0 1
 +)
 ++
 +)

0 1
0
0 1
1 0

1 0
0 
1 0
0 1
 +)
 ++
 +)

0 1
0
0 1
1 0

1
F G  HU
&
0

++
0
VF
+) +)
1

+)  +)
GI U&V
++

 1  ++  +)  +) &

&  +)  +)  1  ++ &

pv; p
 Y [ ;
pg pv



 
& 


[
[
Y
Y

 &
++ 
++ &

&



 
& 


[ Y
[
Y
&

+) 
+) &

&



 ,   F

 
& 


[
[
Y
Y
 &

+) 
+) &

&









 & G F&
 G  F&
 G F
 & G

&

&

&

&

 ,   F

 ,   2 F&



 G  2

&









 & G F&
 G  F&
 G F
 & G

&

&

&

&

 ,   2 F&



 G  2

&

 ,   F&









 G F&
 G  F&
 G F&
 G

&

&

&

&
 ,   2 F



 & G  2

&

Para la constante de estructura tenemos

 ,  
s





  2 ;    2;    2