Y para comprobar que
para
?
¡Cuidado! debemos tener en cuenta como están definido los conjuntos. En este caso
es el conjunto
el cual es un grupo con la
suma. Nota que esta vez no hay restricción para el coeficiente que acompaña a
(como era el caso de
que te exigen que
, es decir,
), así que tu pregunta no sé a qué viene. Si tu intención es probar que
es cerrado bajo la suma, nota que, para cada
(repito, no hay restricciones para
) se tiene que
, pues
es un grupo con la suma y por tanto
(que es lo único que se debía tener en cuenta)
Saludos
PD: Para poner L0, debes poner L[sub]0[/sub], en vez de [tex]L[sub]0[/sub][/tex], pero mejor aún, te recomiendo poner simplemente [tex]L_0[/tex] , lo cual produce
. Todas estas indicaciones las encontrarás con más presición en el tutorial de
LaTeX
