|
本帖最后由 anyon 于 2024-2-26 11:30 编辑
\(X\)是满足以下条件的实或复Banach空间:存在实或复序列\(\left\{a_k\right\}_{k=1}^{n},\left\{b_k\right\}_{k=1}^{n}\),使得\(\forall f \in X^*,\exists y_f \in X, \ \text{s.t.} \ \forall x\in X,f(x)=[x,y_f]\),其中\([x,y_f]=\sum_{k=1}^{n}a_k(\|x+b_ky_f\|^2-\|x\|^2-\|b_k y_f\|^2)\),且实或复序列\(\{a_k\}_{k=1}^{n},\{b_k\}_{k=1}^{n}\)满足条件\(\begin{cases} a_k,b_k\in \mathbb{R}\ \forall k=1,\dots n,\ \sum_{k=1}^n a_k b_k =\frac{1}{2},& X\text{为实Banach空间}\\ a_k,b_k\in \mathbb{C}\ \forall k=1,\dots n,\ \sum_{k=1}^n a_k \overline{b_k} =1,\sum_{k=1}^n a_k b_k =0,& X\text{为复Banach空间} \end{cases}\)
(这保证了: ① \(f(y_f)=\|y_f\|^2\) ,② 若\(X\)是内积空间\((X,\langle \cdot,\cdot \rangle)\),则\([\cdot,\cdot]\)等于内积\(\langle \cdot,\cdot \rangle\)),那么这样的Banach空间\(X\)是Hilbert空间吗?
若\([x,y_f]\)是极化恒等式则已有肯定的结论(此帖意在推广该结论):(给出Riesz表示定理之逆定理的尝试)zhuanlan.zhihu.com/p/676306696,其证明的基本思路是:
1.先证明 \(X\)的一个子集\(M:=\{y_f:\forall f \in X^*\}\)是子空间.
2.再证明 \(M\) 是内积空间且 \(M\) 与 \(X^*\) 等距同构,从而 \(X^*\) 是一个Hilbert空间.
3.故 \(X^{**}\) 也是Hilbert空间且 \(X^*\)自反,从而 \(X\) 自反,等距同构于Hilbert空间\(X^{**}\).
但对于本帖提出的问题,我甚至难以证明\(M\)是\(X\)的子空间。
在此求助万能的网友,望各位不吝赐教! |
|