Let K be a (commutative) field, and U and V be finite-dimensional vector
spaces over K. Let S be a linear subspace of the space L(U,V) of all linear
operators from U to V. A map F from S to V is called range-compatible when F(s)
belongs to the range of s for all s in S. Obvious examples of such maps are the
evaluation maps s -> s(x), with x in U.
In this article, we classify all the range-compatible group homomorphisms on
S provided that the codimension of S in L(U,V) is less than or equal to 2
dim(V)-3, unless this codimension equals 2 dim(V)-3 and K has only two
elements. Under those assumptions, it is shown that the linear range-compatible
maps are the evaluation maps, and the above upper-bound on the codimension of S
is optimal for this result to hold.
As an application, we obtain new sufficient conditions for the algebraic
reflexivity of an operator space and, with the above conditions on the
codimension of S, we give an explicit description of the range-restricting and
range-preserving homomorphisms on S.Comment: 60 page