ABSTRACT. Generalizing the result of A. L. Garkavi (the case X = R) and his own previous result concerning X = C), the author characterizes the existence subspaces of finite codimension in the space C(Q, X) of continuous functions on a bicompact space Q with values in a Banach space X, under some assumptions concerning X. Under the same assumptions, it is proved that in the space of uniform limits of simple functions, each subspace of the form where /Jl E C(Q, X)* are vector measures of regular bounded variation, is an existence subspace (the integral is understood in the sense of Gavurin).We characterize the existence subspaces of finite codimension in the space of continuous functions on a bicompact space Q with values in a Banach space X. For X = IR, this was done by A. L. Gaxkavi [1], and for X = C, by the author [2]. G. M. Ustinov [3] announced, for real C(Q, X), assertions similar to the results of the present paper; however, he used a different terminology, different assumptions concerning the space X, and no vector measures. Our exposition is directly based on the methods of [2], which turn out to be appropriate in the abstract case as well.In the present paper we use the following notation: Q is an infinite bicompact space, X is a Banach
space, E is the a-algebra of Borel subsets of Q, C = C(Q,X) is the space of continuous mappings g: Q --* X equipped with the norm Ilgll = sup, QIIg(*)ll, =d B = B(Q, X) is the space of uniform limits of simple functions g(t) = Ez~xe~(t) ( t E Q, zi E X, ei E E, X, is the characteristic function ofa set e, and the sum is finite) equipped with the same norm; thus, C is a subspace of B. We consider C and B as real (complex) spaces if X is real (complex)) The dual space C* is the space of vector measures /~ on E with values in X* equipped with the norm I1 11 = I.IQ = var(~, Q) = sup II~e~ll x" : ei e ~, e~ n ej = e (i # j), n e N ;here the measure I~1 is assumed to be finite and regular and (g,/~) = fQ (g(t), d/~) is the Gavurin integral defined for simple functions by the formula (9, #) = E(xi, I~ei) and extended by continuity to the entire B [4]. Let us note the inequalities Angle brackets axe usually omitted in the sequel. The function /J E L 1 (Q, E, U,I, x*) defined by the relation V e E E ~e=~dl~l= f ~(t)l~l (dt) (the Bochner integral) is called the Radon-Nikodym demvative of the vector measure # with respect to its variation I~,1 and is denoted by d~t/dlg I [5]. We also need art analog of the Radon-Nikodym derivative I The symbol ( ) is used for brevity to express a parMlel assertion.