Let $X$ be a Banach space. Assume that there are a family of closed (with respect to $\left\|\cdot\right\|_X$) subspaces $Y_i$ of $X$ such $X=\cup Y_i $ and $Y_i$ is reflexive for every $i$. Can we say that $X$ is reflexive? (otherwise, under what condition, $X$ is reflexive).
2026-02-23 01:06:46.1771808806
On
Is $X$ reflexive if $X=\cup Y_i $ and $Y_i$ is reflexive for every $i$?
66 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
There are 2 best solutions below
3
On
To make sense out of this question you have to replace the condition $X=\cup_i Y_i$ by the condition that $X$ is the closed subspace generated by reflexive subspaces $Y_i$. But then $X$ need not be reflexive as seen by considering the collection of all one dimensional subspaces. Of course, there is the trivial case where there is only one $Y_i$ and $X$ is of course, reflexive in that case.
The answer is (somewhat surprisingly) yes. The reason it's yes is because the assumption $X=\bigcup\limits_{i}Y_i$ is a very strong assumption which greatly reduces which sets $Y_i$ we can consider. Assume that $X = Y_1\cup Y_2$ as a simple example. Then, without loss of generality, $Y_2\subset Y_1$ since otherwise we can take $y_2\in Y_2\backslash Y_1$ and $y_1\in Y_1\backslash Y_2$ to have that $y_1+y_2\in X$ but $y_1+y_2\not\in Y_1\cup Y_2$.
So if $X$ can be written in this way, there must be a "biggest" $Y_k$ which contains all the other $Y_i$. In this case, however, we have that $\bigcup\limits_{i} Y_i = Y_k$ which is reflexive by assumption and so $X=Y_k$ means that $X$ is also reflexive.