1.2) Sean In e Im dos cadenas de operadores que contienen n y m operadores elementales (creacin o aniquilacin), respectivamente.

Demuestre por induccin que, para n y m dados, el conmutador [In, Im] puede reducirse a una suma de cadenas, cada una de las cuales contiene como mximo n + m 2 operadores elementales. Solucin: Siendo un conmutador una diferencia de productos de operadores, est claro que cada trmino de la diferencia debe contener al menos 2 elementos (ej: [A, B] = AB BA contiene dos elementos, A y B). Por ello, si es vlida la hiptesis (se descompone en cadenas de n + m 2 elementos como mximo), debe ser n + m 2 2, o sea: n + m 4. A su vez, por ser In e Im cadenas, cada una debe contener al menos 2 eslabones (elementos), por lo que n 2 y m 2. Entonces, la primera parte del principio de induccin (comprobar que se cumple para el primer elemento), arranca con n = m = 2 (y no con n = m = 1). Si lo hacemos con un caso en que todos los operadores sean de creacin o todos de aniquilacin (ej: In = P+Q+ e Im = R+S+) la cosa es trivial, ya que: (a) operadores de creacin anticonmutan entre ellos (igualmente los de aniquilacin entre s) (b) esa anticonmutacin es vlida inclusive para los mismos ndices (ej. Q = P, etc) Entonces, dado que el segundo trmino del conmutador tiene los elementos en orden inverso al primero (ej.: [PQ, RS] = (PQ)(RS) (RS)(PQ)), simplemente hacemos en el segundo trmino dos transposiciones para P y dos transposiciones para Q (primero P y S, luego P y R, luego Q y S y luego Q y R), lo cual mantiene el signo (por ser nmero para de transposiciones). Luego, el resultado es 0, lo cual est de acuerdo con la hiptesis (se descompone en cadenas de n + m 2 = 2 + 2 2 = 2 como mximo), ya que 0 < 2. Entonces, conviene comprobar con mezclas de operadores de creacin y aniquilacin. Tomemos por ejemplo In = P+Q e Im = R+S. Entonces: [In, Im] = [P+Q, R+S] = P+QR+S R+SP+Q = P+QR+S R+(PS - P+S)Q = P+QR+S PS(R+Q) + R+P+SQ = P+QR+S - PS(R+Q) - P+R+SQ = P+QR+S - PS(R+Q) + P+R+QS = P+QR+S - PS(R+Q) + P+(QR - QR+)S = P+QR+S - PS(R+Q) + QR(P+S) - P+QR+S, y al cancelarse los trminos de los extremos: [In, Im] = [P+Q, R+S] = - PS(R+Q) + QR(P+S) (el conmutador de n + m = 4 elementos se convirti en suma de cadenas de 2 elementos como mximo). Ahora la segunda parte del principio de induccin: si de la validez de la ecuacin para el trmino N se deduce la validez para el trmino siguiente (N + 1), entonces queda asegurada la validez de lo que se quiere demostrar. Asumo, entonces, que es vlida la siguiente ecuacin: [Ii, Ik] = (Ii)(Ik) (Ik)(Ii) = Iik, donde Iik es una cadena que tiene, como mximo, i + k 2 operadores elementales. El conmutador [Ii, Ik] tiene (al ser un producto de cadenas) trminos de i + k elementos. Por ello, si un conmutador de i + k elementos se descompone en suma de trminos de

(como mximo) i + k 2 elementos, entonces un conmutador de i + k + 2 elementos se descompondr en una suma de trminos de (como mximo) i + k elementos. ( i + 2 ) + k Los casos pueden ser dos (*): i + k + 2 = ^ i + (k + 2) Como los subndices son mudos, los dos casos simtricos, con lo que bastan entonces probar uno. [Ii+2, Ik] es una suma de trminos de i + k + 2 elementos en total. Aplicamos el siguiente truco: Ii+2 = Ii.a.b, donde a y b son elementos simples. De esta manera el producto sigue teniendo i + 2 elementos, asi que no cambia nada. Entonces: [Ii+2, Ik] = [Ii.a.b, Ik] = Ii [ab, Ik] + [Ii, Ik] ab El primer conmutador de la derecha tiene 2 + k elementos, por lo que (por hiptesis) puede descomponerse en suma de trminos de 2 + k 2 = k elementos como mximo. Al premultiplicar por la cadena Ii, el nmero de elementos (como mximo) que tendr ese trmino ser i + k. El segundo conmutador (de i + k elementos) se descompone (por hiptesis) en suma de trminos de i + k 2 elementos como mximo. Al postmultiplicar por ab, el trmino resultante tendr i + k 2 + 2 = i + k trminos. Con esto, queda demostrado el ejercicio. (*) Nota: el tercer caso i + k + 2 = (i + 1) + (k + 1) se descarta porque en la descomposicin de [Ii+1, Ik+1] aparecen los conmutadores [a, b] de 2 elementos, y al aplicar la hiptesis deberan descomponerse en trminos de 2 2 = 0 elementos, lo cual carece de sentido.