Reflexive space (source code)

= Reflexive space
{wiki}

A locally convex <topological vector space> is reflexive when its canonical evaluation map to its continuous bidual is an isomorphism with the specified strong dual topologies. For a <Banach space>, this reduces to surjectivity of the canonical map and gives a <reflexive Banach space>.