Es sei K {\displaystyle {}K} ein Körper, sei I {\displaystyle {}I} eine Indexmenge, und K I = Abb ( I , K ) {\displaystyle {}K^{I}=\operatorname {Abb} \,{\left(I,K\right)}} der zugehörige Vektorraum.
ein Untervektorraum von K I {\displaystyle {}K^{I}} ist.
gegeben. Man zeige, dass sich jedes Element f ∈ E {\displaystyle {}f\in E} eindeutig als Linearkombination der Familie e i {\displaystyle {}e_{i}} , i ∈ I {\displaystyle {}i\in I} , darstellen lässt.