3 votos

¿No es $E\cong E^{**}\iff \dim(E)<\infty $ ¿Mal?

Sea $E$ a $K$ -y denotemos $E^{**}$ su bidual. Sea $$\Phi: E\longrightarrow E^{**}$$ definido por $$\Phi(x)=\left<f,x\right>,\quad f\in E^*.$$ Un teorema de mi curso dice

$$\Phi\text{ is an isomorphism}\iff E\text{ has finite dimension}.$$

La implicación (es decir $\Rightarrow$ ) no es correcto, ¿no? Por ejemplo, si $p\in (1,\infty )$ tenemos que $L^p(\mathbb R)$ es reflexivo, lo que significa exactamente que $\Phi$ es biyectiva, ¿verdad? Así que tengo un problema con este teorema. Por otra parte, la prueba parece correcta :

El hecho de que $\Phi$ es inyectiva está bien. Demostramos el contrapositivo, es decir, suponemos que $E$ tiene dimensión infinita y demostramos que $\Phi$ no es suryectiva. Fo la subjetividad, dejemos que $F=\text{Span}(e_1^*,...,e_n^*)\neq E$ . Sé que existe una forma lineal no nula $f:E^*\to K$ s.t. $F\subset \ker(f)$ . Para todos $x=(x_i)_{i\in I}\in E$ , $$\Phi(x)(e_{i}^*)=x_i.$$ Por lo tanto, si $\Phi (x)(F)=0$ entonces $x=0$ y así $\Phi (x)=0$ . Por lo tanto, $f$ no está en el rango de $\Phi$ y por tanto no es suryectiva.

¿Qué le parece? Por cierto, no entiendo por qué $\Phi(x)(F)=0$ implica que $\Phi(x)=0$ ... De hecho, podemos tener $g\notin F$ s.t. $\Phi(x)(g)\neq 0$ ¿No?

4voto

Dachi Imedadze Puntos 6

Tampoco entiendo por qué $\Phi(x)(F)=0$ implica $\Phi(x)=0$ .

Consideremos este argumento: dejemos que $(e_i)_{i\in I}$ sea una base para $E$ y que $(e_i^*)_{i\in I}$ sean los funcionales duales en $E^*$ (definido por $e_i^*(e_j) = \delta_{ij}$ ).

Sea $f$ sea una función lineal en $E^{**}$ tal que $f(e_i^*) = 1, \forall i \in I$ . Convencerse de que tal $f$ existe, tenga en cuenta que $(e_i^*)_{i\in I}$ es linealmente independiente en $E^*$ por lo que puede extenderse a una base $B$ para $E^*$ . Ahora defina $f$ en $B$ como $f(e_i^*) = 1, \forall i \in I$ y algo arbitrario en el resto de $B$ .

Supongamos que existe $x = \sum_{i\in I}x_ie_i \in E$ con sólo un número finito de $x_i \ne 0$ tal que $\Phi(x) = f$ . Entonces, en particular $$1 = f(e_i^*) = \Phi(x)(e_i^*) = e_i^*(x) = x_i$$ lo cual es una contradicción porque ahora $x_i \ne 0, \forall i\in I$ y $I$ es infinita.

Por lo tanto $f$ no está en el rango de $\Phi$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X