¿Qué significa [matemáticas] L ^ 2 (\ mathbb {R} ^ 2) [/ matemáticas] en matemáticas?

[matemáticas] L ^ 2 (\ mathbb {R} ^ 2) = \ {f: \ mathbb {R} ^ 2 \ to \ mathbb {C} \ text {mensurable}: \ int _ {\ mathbb {R} ^ 2 } | f | ^ 2 \, dx <\ infty \} / \ text {“igualdad ae ''} [/ math]

Tenga en cuenta que estamos modificando por “equaltiy ae”. Los espacios [matemáticos] L ^ p [/ matemáticos] son ​​realmente clases de funciones de equivalencia ya que se identifican funciones que son iguales ae. (De lo contrario, la norma [matemática] L ^ p [/ matemática] no sería una norma). Pero, por lo general, todavía pensamos en ellas como funciones, a pesar de que sus elementos son realmente clases de funciones de equivalencia. Las funciones generalmente pueden tomar valores complejos, aunque supongo que puede restringirlos a valores reales si realmente lo desea.

En general, para [math] p \ in (0, \ infty) [/ math]
[matemáticas] L ^ p (X, \ Sigma, \ mu) = \ {f: X \ to \ mathbb {C} \ text {meas.}: \ int_X | f | ^ p <\ infty \} / \ text {"Igualdad} \ mu- \ text {ae ''} [/ math].
Cuando está claro por el contexto, abreviamos [matemática] L ^ p (X, \ mu) [/ matemática] o [matemática] L ^ p (X) [/ matemática] o simplemente [matemática] L ^ p [/ matemática ]

Es el espacio de funciones de valor real integrables al cuadrado en [math] \ mathbb {R} ^ 2 [/ math]. En otras palabras, es el espacio de funciones [math] f: \ mathbb {R} ^ 2 \ to \ mathbb {R} [/ math] tal que [math] \ int _ {\ mathbb {R} ^ 2} | f | ^ 2 <\ infty [/ math]. Ver wikipedia para más detalles: espacio Lp

[matemáticas] L ^ 2 (\ mathbb {R} ^ 2) = \ {f: \ mathbb {R} ^ 2 \ rightarrow \ mathbb {R} \ mid \ int _ {\ mathbb {R} ^ 2} f (x ) ^ 2 ds <\ infty \} [/ math]

Entonces, el conjunto de funciones del plano en 2Dim que tienen una integral cuadrada que es finita.

Kevin dio un buen enlace a una generalización de este concepto. También lo proporcionaré:

Espacio lp