En análisis funcional , una base de Markushevich (a veces base M [1] ) es un sistema biortogonal que es a la vez completo y total . [2]
Definición
Sea el espacio de Banach . Un sistema biortogonal es una base de Markushevich si![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{x_{\alpha };f_{\alpha }\}_{x\in \alpha }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\text{span}}}\{x_{\alpha }\}=X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{f_{\alpha }\}_{x\in \alpha }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
separa los puntos![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En un espacio separable, la biortogonalidad no es una obstrucción sustancial para una base de Markushevich; cualquier conjunto generador y funcional de separación puede hacerse biortogonal. Pero es un problema abierto si cada espacio de Banach separable admite una base de Markushevich con para todos . [3]![{\displaystyle \|x_{\alpha }\|=\|f_{\alpha }\|=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \alpha }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos
Cada base de Schauder de un espacio de Banach es también una base de Markushevich; lo contrario no es cierto en general. Un ejemplo de una base de Markushevich que no es una base de Schauder es la secuencia
![{\displaystyle \{e^{2i\pi nt}\}_{n\in \mathbb {Z} }\quad \quad \quad ({\text{ordenado }}n=0,\pm 1,\pm 2,\puntos )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
funciones continuasnúmeros complejos![{\displaystyle {\tilde {C}}[0,1]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [0,1]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\tilde {C}}[0,1]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f\in {\tilde {C}}[0,1]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{|n|<N}{\alpha _{N,n}e^{2\pi int}}\to f{\text{.}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[3] [4]![{\displaystyle f=\sum _ {n\in \mathbb {Z} }{\alpha _ {n}e^{2\pi nit}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{\alpha _{N,n}\}_{N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El espacio de secuencia no admite base de Markushevich, porque es a la vez Grothendieck e irreflexivo . Pero cualquier espacio separable (como ) tiene complemento dual (resp. ) en un espacio que admite una base de Markushevich. [3]![{\displaystyle l^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle l^{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle l^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Referencias
- ^ Hušek, Miroslav; Mill, J. van (2002). Progresos recientes en topología general II. Elsevier. pag. 182.ISBN 9780444509802. Consultado el 28 de junio de 2014 .
- ^ Bierstedt, KD; Bonet, J.; Maestre, M.; J. Schmets (20 de septiembre de 2001). Avances recientes en el análisis funcional. Elsevier. pag. 4.ISBN 9780080515922. Consultado el 28 de junio de 2014 .
- ^ abc Fabián, Marián J.; Habala, Petr; Hájek, Petr; Montesinos Santalucía, Vicente; Zizler, Václav (2011). Teoría del espacio de Banach: la base del análisis lineal y no lineal (PDF) . Nueva York: Springer. págs. 216-218. doi :10.1007/978-1-4419-7515-7. ISBN 978-1-4419-7515-7.
- ^ Albiac, Fernando; Kalton, Nigel J. (2006). Temas de la teoría espacial de Banach. GTM 233 (2ª ed.). Suiza: Springer (publicado en 2016). págs. 9-10. doi :10.1007/978-3-319-31557-7. ISBN 978-3-319-31557-7.