{\displaystyle F\colon {\boldsymbol {K}}\to {\boldsymbol {E}}^{\ast }}