Hola Iván.
El hecho de que
![T(S) \subset S T(S) \subset S](https://eva.fing.edu.uy/filter/tex/pix.php/22ea0d06fc4dc44c1e5f32a8e03a5e61.png)
no implica que
![T(S)=S T(S)=S](https://eva.fing.edu.uy/filter/tex/pix.php/c961e8e339458e545f21bca465564548.png)
(puedes pensar en la TL nula, que es autoadjunta).
Cuando supones que existe
![s'/ T(s')=s s'/ T(s')=s](https://eva.fing.edu.uy/filter/tex/pix.php/b192fc55abe1c764d415c4440741e21a.png)
implícitamente estás suponiendo que
![T(S)=S T(S)=S](https://eva.fing.edu.uy/filter/tex/pix.php/c961e8e339458e545f21bca465564548.png)
lo cual no es cierto, por eso está mal esa demostración.
Dime si se entendió.
Saludos, Florencia.