Рефлексивний простір

Нехай ${\displaystyle X^{*}}$ — простір, спряжений з ${\displaystyle X}$, тобто сукупність усіх неперервних лінійних функціоналів, визначених на ${\displaystyle X}$. Якщо ${\displaystyle \langle x,f\rangle }$ — значення функціоналу ${\displaystyle f\in X^{*}}$ на елементі ${\displaystyle x\in X}$, то при фіксованому ${\displaystyle x}$ і ${\displaystyle f}$, що пробігають ${\displaystyle X^{*}}$, вираз ${\displaystyle \langle x,f\rangle ={\mathcal {F}}_{x}(f)}$ буде лінійним функціоналом на ${\displaystyle X^{*}}$, то є елементом простору ${\displaystyle X^{**}}$. Нехай ${\displaystyle {\overline {X}}\subset X^{**}}$ — множина таких функціоналів. Відповідність ${\displaystyle x\to {\mathcal {F}}_{x}}$ є ізоморфізм, що не міняє норми ${\displaystyle |\!|x|\!|=|\!|{\mathcal {F}}_{x}|\!|}$.

Якщо ${\displaystyle {\overline {X}}=X^{**}}$, то простір ${\displaystyle X}$ називається рефлексивним.

• Простори ${\displaystyle \ell _{p}}$ і ${\displaystyle L_{p}(a,b)}$, ${\displaystyle 1<p<\infty }$, рефлексивні,
• Простори ${\displaystyle C[a,b]}$, ${\displaystyle L_{1}[a,b],L_{\infty }[a,b]}$ не рефлексивні.

• Простір ${\displaystyle X}$ рефлексивний тоді і тільки тоді, коли ${\displaystyle X^{*}}$ рефлексивно.
• Простір X рефлексивний тоді і тільки тоді, коли одинична куля цього простору слабо компактна.
• Рефлексивний простір слабко повний. Зворотне невірно, існують слабко повні нерефлексівним простору, наприклад ${\displaystyle L_{1}}$.
• Замкнутий підпростір рефлексивного простору рефлексивно.

• Поняття рефлексивності природним чином поширюється на локально опуклі простори.

• Данфорд Н., Шварц Дж., Линейные операторы, ч. 1 — Общая теория, пер. с англ., М., 1982;
• Иосида К., Функциональный анализ, пер. с англ., М., 1967;
• Канторович Л. В., Акилов Г. П., Функциональный анализ, I изд., М., 1977.
• Треногин В. А. Функциональный анализ.
• Функциональный анализ.