Reflexive Banach space (source code)

= Reflexive Banach space

A Banach space $X$ is reflexive when its canonical embedding $J_X:X\to X^{**}$ is surjective. Equivalently, its closed unit ball is <weakly compact set>[weakly compact].