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!