Problema: Sea XX sea un espacio vectorial sobre R y Y⊂X un subespacio lineal. Sea p:X→R sea una función sublineal y f:Y→R lineal con f≤p en Y (por Hahn-Banach esto se puede ampliar, por supuesto)
Considerar ahora G⊂L(X) un subconjunto de operadores lineales acotados T:X→X con las propiedades que id X∈G y para todos A,B∈G,AB∈G y además AB=BA .
Supongamos que para todo A∈G tenemos p(Ax)≤p(x) para todos x∈X,Ay∈Y y f(Ay)=f(y) para todos y∈YReclamación: Existe F:X→R lineal con F∣Y=f,F≤p en X y F(Ax)=F(x) para todos x∈X y A∈G
Mi enfoque: Me dan la pista para considerar q(x):=infA1,…,An1np(A1x+⋯+Anx) donde el mínimo se toma sobre un número finito de Ai∈G demuestre que q es sublineal y f(y)≤q(y) para todos y∈Y para aplicar Hahn-Banach.
Demostrando que q es sublineal se deduce del hecho de que todas las Ai son lineales y p es sublineal por definición. Además para y∈Y y A1,…,An∈G tenemos f(A1y+⋯+Any)=f(A1y)+⋯+f(Any)=nf(y) Pero también f(A1y+⋯+Any)≤p(A1y+⋯+Any) por lo que tenemos f(y)≤1np(A1y+⋯+Any) tomando el ínfimo obtenemos que f(y)≤q(y) en Y .
Por Hahn-Banach existe F:X→R lineal con F∣Y=f y F(x)≤q(x) para todos x∈X . Sin embargo p(A1x+⋯+Anx)≤p(A1x)+⋯+p(Anx)≤np(x) también se deduce que q≤p en X que se encarga de la primera reclamación.
Necesito demostrar que F(Ax)=F(x) para todos x∈X y A∈G retiene. Sería bueno si pudiera demostrar que F(Ax)≤F(x) entonces la otra desigualdad se seguiría por linealidad de F . F(Ax)≤q(Ax)=infA1,…,An1np(A1Ax+⋯+AnAx)=infA1,…,An1np(AA1x+⋯+AAnx) Aquí me atasco. Mi(s) pregunta(s) sería(n) si mi planteamiento anterior es correcto hasta ahora y cómo seguiría(n) para concluir que F(Ax)=F(x) en X .