Espaço cociente, imagem fechada, decomposição canónica, somas directas com projecções associadas contínuas

9 Outubro 2018, 15:30 • Luís Fernando Sanchez Rodrigues

Espaço cociente X/M em que M é subespaço fechado. Decomposição canónica de um operador linear contínuo. Critério de imagem fechada:  existe m>0 tal que ||T(x)|| >=  m dist(x, N(T)), para todo o x.

Num Hilbert, para um operador de imagem fechada tem-se R(T)=ortogonal de N(T).

Um funcional linear f é contínuo num normado X sse tem núcleo fechado. E tem-se X= soma directa de N(f) com um espaço unidimensional, sendo as projecções associadas contínuas. 

Exemplo: C[a,b]=U+V (directa) sendo U o subespaço das funções de integral nulo e V=|R. A projecção de h sobre V é a média de h.

Uma aplicação do teorema de Baire: as funções contínuas sem derivada em qualquer ponto formam um conjunto denso em C[0,1].