complemented subalgebras of the baire- functions defined on the interval补充贝利-子代数函数定义在区间.pdfVIP

COMPLEMENTED SUBALGEBRAS OF THE BAIRE-1 FUNCTIONS DEFINED ON THE INTERVAL [0,1] H. R. SHATERY Received 27 April 2004 and in revised form 26 September 2004 We prove that if the Banach algebra of bounded real Baire-1 functions (resp., small Baire class ξ ), defined on [0,1], is the direct sum of two subalgebras, then one of its components contains a copy of it as a complemented subalgebra. An important problem in topology is to determine the effects on the function space of imposing some natural topological condition on the space X [5]. In this way, it is practical to characterize the complemented subalgebras of Banach algebras. In our investigation, we relate the second category property of [0,1] with certain properties of the complemented subalgebras of bounded real Baire-1 functions, β ◦ ([0,1]) 1 (bounded functions of finite Baire index, ([0,1])). 1 We begin by recalling some definitions. Let A be a Banach algebra (resp., Banach space). Two subalgebras (resp., subspaces) M and N of A are complementary if A = M ⊕ N . A projection on A is a continuous linear operator P : A → A satisfying P2 = P . If M and N are complementary subalgebras (resp., subspaces) of A, then there exists a projection P on A such that the range of P is M (N ). The norm (sup-norm) of the pro- jection P is always equal to or greater than 1. Norm 1 projections play a crucial role in the study of complemented subalgebras (resp., subspaces) of Banach algebras (resp., Banach spaces) (see, e.g., [4]). If A is a finite-dimensional Banach space, then every nontrivial subspace of A is closed and complemented in A and does not contain a copy of A. This of course is more complicated for infinite-dimensional Banach spaces. Pelczynski has proved that every infinite-dimensiona