Lambda-injective normed space

ID: lambda-injective-normed-space

For , a normed vector space is lambda-injective when every bounded linear operator from a subspace of any normed space into extends to with the displayed norm bound. The space of bounded scalar functions on an index set is 1-injective: extend each coordinate functional by the Hahn-Banach theorem and reassemble it using the coordinate functional representation of an operator into bounded indexed functions.

New to topics? Read the docs here!