A remark on a theorem of B. T. Batikyan and E. A. Gorin (Q802115)

Let E be a Banach space contained in \(C_ R(X)\) such that the inequality \(\| u\|_{\infty}\leq \| u\|_ E\) holds for every u in E, where we denote \(\|.\|_{\infty}\) the supremum norm and \(\|.\|_ E\) the Banach norm with respect to E. We also assume that E separates the points of x and E contains constant functions and \(\| 1\|_ E=1\). The real part of a Banach function algebra is an above type Banach space with the quotient norm. \textit{B. T. Batikyan} and \textit{E. A. Gorin} [Vestnik Moskow. Univ., Ser. I 31, No.2, 15-20 (1976; Zbl 0342.46039)] characterized the ultra-separability for Banach function algebras. We characterized the ultraseparability for the above type Banach space in the same way as the characterization of Batikyan and Gorin: Theorem. Let E be an above type Banach space and let h be a real valued continuous function on [-1,1] which is not the restriction of a polynomial. Then E is ultraseparating on X if and only if the following condition is satisfied: ''There are a natural number m and a \(\delta >0\) such that if \(Y_ 1\) and \(Y_ 2\) are disjoint compact subsets of X, then we can choose \(f_ 1,...,f_ m\) in the unit ball of E and real numbers \(\alpha_ 1,...,\alpha_ m\) with \(| \alpha_ i| \leq 1\) for \(i=1,...,m\) satisfying \(\sum \alpha_ ih\circ f_ i\geq \delta\) on \(Y_ 1\), \(\sum \alpha_ ih\circ f_ i\leq -\delta\) on \(Y_ 2.''\) The proof is almost same way as the Batikyan and Gorin case. But in this case we need the following lemma. Lemma. Let E and h be as above. Let \([h\circ E]\) be the uniform closure of the space of all linear combinations of \(h\circ u\) for u in the unit ball of E. Then we see \([h\circ E]\neq C_ R(X).\) If h is the restriction of a polynomial, then \([h\circ E]\neq C_ R(X)\) in general.