Ahoj ↑ strixie29:,
tvůj funkcionál je vlastně mínus norma na L2. Norma je slabě zdola polospojitá a tak, pokud by byl i funkcionál J, znamenalo by to, že norma je slabě spojitá. To je ale spor, protože L2 je nekonečně dimenzionální, a tak normová topologie je v něm silnější než slabá topologie.
Pokud chceš přímočařejší argument, vezmi tedy nějakou posloupnost, která konverguje slabě, ale ne silně. Např. ortonormální bázi v L2. Ta jde slabě k nule, protože to jsou Fourierovy koeficienty konvergentní řady (viz Besselova nerovnost).
Offline