Deconstrucción de una “demostración elemental”: el caso de L^*_p = L_q

Resumen

El Capítulo 11 del libro de N. L. Carothers, A Short Course on Banach Space Theory, incluye una sección titulada “An elementary proof that L^*_p = L_q”. Sostenemos que dicho argumento, aunque elegante, no es elemental en un sentido pedagógico estándar: depende de hechos no triviales como la convexidad uniforme (desigualdades de Clarkson), el alcance de la norma por funcionales y su unicidad en la esfera unitaria, así como de afirmaciones de diferenciabilidad que requieren una justificación cuidadosa. En este trabajo explicitamos tales dependencias, señalamos varias imprecisiones técnicas y ofrecemos versiones depuradas y plenamente justificadas de dos pasos clave: el lema de McShane y la identidad límite del Lema 11.19. Nuestro objetivo es doble: (i) aclarar el andamiaje lógico detrás de la identidad L^*_p = L_q y (ii) proponer una guía didáctica para docentes, destacando tropiezos frecuentes y presentando correcciones.