Reflexive Banach space (source code)

= Reflexive Banach space
{wiki=Reflexive_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].