Оператор продолжения отображений для подпространств векторных пространств над полем $\mathbb{F}_2$

В работе доказано, что свободное топологическое векторное пространство $B(X)$ над полем $\mathbb{F}_2=\{0,1\}$, порожденное кружевным пространством $X$, является кружевным и, следовательно, для всякого замкнутого подпространства $F\subset B(X)$ (в частности, для $F=X$) и любого локально выпуклого пространства $E$ существует линейный оператор $C(F,E)\to C(B(X),E)$ продолжения непрерывных отображений.