5 votos

Versión del teorema de Hahn-Banach

Problema: Sea XX sea un espacio vectorial sobre R y YX un subespacio lineal. Sea p:XR sea una función sublineal y f:YR lineal con fp en Y (por Hahn-Banach esto se puede ampliar, por supuesto)

Considerar ahora GL(X) un subconjunto de operadores lineales acotados T:XX con las propiedades que id XG y para todos A,BG,ABG y además AB=BA .
Supongamos que para todo AG tenemos p(Ax)p(x) para todos xX,AyY y f(Ay)=f(y) para todos yY

Reclamación: Existe F:XR lineal con FY=f,Fp en X y F(Ax)=F(x) para todos xX y AG


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 AiG demuestre que q es sublineal y f(y)q(y) para todos yY 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 yY y A1,,AnG 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:XR lineal con FY=f y F(x)q(x) para todos xX . Sin embargo p(A1x++Anx)p(A1x)++p(Anx)np(x) también se deduce que qp en X que se encarga de la primera reclamación.

Necesito demostrar que F(Ax)=F(x) para todos xX y AG 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 .

1voto

Vogel Puntos 186

Su planteamiento es correcto. Utilice una suma telescópica para demostrar que q(Axx)=0.

0 votos

Lo intenté y llegué a q(Axx)=inf(1/n)p(A1(Axx)++An(Axx))=inf(1/n)p(A1AxA1x++AnAxAnx))=inf(1/n)p(AA1xA1x++AAnxAnx)=inf(1/n)p(A(A1x++Anx)(A1x++Anx)) Pero dudo que sea eso lo que querías que hiciera.

0 votos

@Spaced: Trate de conectar Ai=Ai1

0 votos

Gracias, lo conseguiré q(Axx)=inf(1/n)p(Anxx) pero ahora el infimum está ocupado idx,A,A2,,An1 así que puedo dejarlo, el lado LHS no depende de n y para el RHS pasar al límite?

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