Strict Topologies as Topological Algebras

Let X be a completely regular Hausdorff space, C_b(X) the space of all scalar-valued bounded continuous functions on X with strict topologies. We prove that these are locally convex topological algebras with jointly continuous multiplication. Also we find the necessary and sufficient conditions for these algebras to be locally m-convex.     

Multilinear Operators on C(K, X) Spaces

Given Banach spaces X, Yand a compact Hausdorff space K, we use polymeasures to give necessary conditions for a multilinear operator from C(K, X) into Yto be completely continuous (resp. unconditionally converging). We deduce necessary and sufficient conditions for Xto have the Schur property (resp. to contain no copy of c ₀), and for Kto be scattered. This extends results concerning linear operators.     

Spectral synthesis and other results in some topological algebras of vector-valued functions

Using results from theory of bundles of topological vector spaces, we prove some spectral synthesis and other results in certain topological algebras of vector-valued functions. In particular, we extend and generalize results of J.W. Kitchen and the second-named author (1996). We obtain as a corollary a recent (2008) result of Arizmendi-Peimbert/Carillo-Hoyo/García on the spectral synthesis property in (C _b (X),β), the space of bounded continuous functions on the completely regular Hausdorff space X under the strict topology β which arises from weighting by the non-negative upper semicontinuous functions on X which disappear at infinity.     

Global dimension of rings of functions

This article deals with the global dimension of rings of functions. An improved lower bound for global dimension is proved for von Neumann regular rings. If Xis a compact, Hausdorff and zero-dimensional space, and its weight and independence character coincide, then the global dimension of (X), its Stone dual, can be calculated. The spaces for which these invariants agree are studied. Finally, it is shown that, except for P-spaces, the global dimension of C(X) is at least 3.     

On the existence of continuous (approximate) roots of algebraic equations

The present paper considers the existence of continuous roots of algebraic equations with coefficients being continuous functions defined on compact Hausdorff spaces. For a compact Hausdorff space X, C(X) denotes the Banach algebra of all continuous complex-valued functions on X with the sup norm ∥⋅_∥∞. The algebra C(X) is said to be algebraically closed if each monic algebraic equation with C(X) coefficients has a root in C(X). First we study a topological characterization of a first-countable compact (connected) Hausdorff space X such that C(X) is algebraically closed. The result has been obtained by Countryman Jr, Hatori-Miura and Miura-Niijima and we provide a simple proof for metrizable spaces.Also we consider continuous approximate roots of the equation zn−f=0 with respect to z, where f∈C(X), and provide a topological characterization of compact Hausdorff space X with dimX?1 such that the above equation has an approximate root in C(X) for each f∈C(X), in terms of the first ?ech cohomology of X.     

Inverse closedness of approximation algebras

We prove the inverse closedness of certain approximation algebras based on a quasi-Banach algebra X using two general theorems on the inverse closedness of subspaces of quasi-Banach algebras. In the first theorem commutative algebras are considered while the second theorem can be applied to arbitrary X and to subspaces of X which can be obtained by a general K-method of interpolation between X and an inversely closed subspace Y of X having certain properties. As application we present some inversely closed subalgebras of C(T) and C[−1,1]. In particular, we generalize Wiener's theorem, i.e., we show that for many subalgebras S of l¹(Z), the property {ck(f)}∈S (ck(f) being the Fourier coefficients of f) implies the same property for 1/f if f∈C(T) vanishes nowhere on T.     

Hausdorff continuous interval-valued functions and quasicontinuous functions

In the paper it is shown that every Hausdorff continuous interval-valued function corresponds uniquely to an equivalence class of quasicontinuous functions. This one-to-one correspondence is used to construct the Dedekind order completion of C(X), the set of all real-valued continuous functions, when X is a compact Hausdorff topological space or a complete metric space.     

Unbounded Disjointness Preserving Linear Functionals

Let X be a locally compact Hausdorff space and C ₀(X) the Banach space of continuous functions on X vanishing at infinity. In this paper, we shall study unbounded disjointness preserving linear functionals on C ₀(X). They arise from prime ideals of C ₀(X), and we translate it into the cozero set ideal setting. In particular, every unbounded disjointness preserving linear functional of c ₀ can be constructed explicitly through an ultrafilter on complementary to a cozero set ideal. This ultrafilter method can be extended to produce many, but in general not all, such functionals on C ₀(X) for arbitrary X. We also make some remarks where C ₀(X) is replaced by a non-commutative C*-algebra.     

On spaces of p-adic vector measures

LetX be a Hausdorff zero-dimensional topological space,K(X) the algebra of all clopen subsets of X, E a Hausdorff locally convex space over a non-Archimedean valued field and C _b (X) the space of all bounded continuous -valued functions on X. The space M(K(X),E), of all bounded finitely-additive measures m: K(X) → E, is investigated. If we equip C _b (X) with the topologies β _o , β, β _u , τ _b or β _ob , it is shown that, for E (compete, the corresponding spaces of continuous linear operators from C _b (X) to E (are algebraically isomorphic to certain subspaces of M(K(X),E). The text was submitted by the author in English.     

Transfinite Hausdorff dimension

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or −1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X)?ω₀, then HD(X)=+∞. We prove that tHD(X)?ω₁ for every separable metric space X, and, as our main theorem, we show that for every ordinal number α<ω₁ there exists a compact metric space Xα (a subspace of the Hilbert space l₂) with tHD(Xα)=α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.     

A theorem of Riesz type with Pettis integrals in topological vector spaces

Let X be a locally convex Hausdorff space and let C₀(S,X) be the space of all continuous functions f:S→X, with compact support on the locally compact space S. In this paper we prove a Riesz representation theorem for a class of bounded operators T:C₀(S,X)→X, where the representing integrals are X-valued Pettis integrals with respect to bounded signed measures on S. Under the additional assumption that X is a locally convex space, having the convex compactness property, or either, X is a locally convex space whose dual X^′ is a barrelled space for an appropriate topology, we obtain a complete identification between all X-valued Pettis integrals on S and the bounded operators T:C₀(S,X)→X they represent. Finally we give two illustrations of the representation theorem proved, in the particular case when X is the topological dual of a locally convex space.     

Separation properties in algebraic categories of topological spaces

Full subcategories C ? Top of the category of topological spaces, which are algebraic over Set in the sense of Herrlich [2], have pleasant separation properties, mostly subject to additional closedness assumptions. For instance, every C-object is a T₁-space, if the two-element discrete space belongs to C. Moreover, if C is closed under the formation of finite powers in Top and even varietal [2], then every C-object is Hausdorff. Hence, the T₂-axiom turns out to be (nearly) superfluous in Herrlich's and Strecker's characterization of the category of compact Hausdorff spaces [1], although it is essential for the proof.If we think of C-objects X as universal algebras (with possibly infinite operations), then the subalgebras of X form the closed sets of a compact topology on X, provided that the ordinal spaces [0, β] belong to C. This generalizes a result in [3]. The subalgebra topology is used to prove criterions for the Hausdorffness of every space in C, if C is only algebraic.     

Special uniform approximations of continuous vector-valued functions. Part II: special approximations in CX(T)CY(S)

In this paper, which is a continuation of Timofte (J. Approx. Theory 119 (2002) 291–299, we give special uniform approximations of functions from C_XY(T×S) and C_∞(T×S,XY) by elements of the tensor products C_X(T)C_Y(S), respectively C₀(T,X)C₀(S,Y), for topological spaces T,S and Γ-locally convex spaces X,Y (all four being Hausdorff).     

A stability property for locally uniformly rotund renorming

It is proved that C(K,E) (the space of all continuous functions on a Hausdorff compact space K taking values in a Banach space E) admits an equivalent locally uniformly rotund norm if C(K) and E do so. Moreover, if the equivalent LUR norms on C(K) and E are lower semicontinuous with respect to some weak topologies, the LUR norm on C(K,E) can be chosen to be lower semicontinuous with respect to an appropriate weak topology. As a consequence we prove that if X and Y are two Hausdorff compacta and C(X), C(Y) admit equivalent (pointwise lower semicontinuous) LUR norms, then so does C(X×Y).     

The range of a vector measure

Let X be a completely regular Hausdorff space and E be a locally convex Hausdorff space. Then C_b(X) ? E is dense in (C_b(X, E), β₀), (C_b(X), β) ?_?E = (C_b(X) ? E, β) and (C_b(X), β₁) ?_?E = (C_b(X) ? E, β₁). For a separable space E, (C_b(X, E), β₀) is separable if and only if X is separably submetrizable. As a corollary, for a locally compact paracompact space X, if (C_b(X, E), β₀) is separable, then X is metrizable.     

The Ramsey property for C p (X)

For a Tychonoff space X, we denote by C _p (X) the space of real-valued continuous functions with the topology of pointwise convergence. We show that (a) Arhangel℉skii℉s property (α ₂) and the Ramsey property introduced by Nogura and Shakhmatov are equivalent for C _p (X), (b) the Ramsey property and Nyikos’ property (α _3/2) are not equivalent for C _p (X). These results answer questions posed by Shakhmatov. Concerning properties (α _i ) for C _p (X), some results on Scheepers’ conjecture are also given.     

Zero-separating algebras of continuous functions

Let A be a lattice-ordered algebra endowed with a topology compatible with the structure of algebra. We provide internal conditions for A to be isomorphic as lattice-ordered algebras and homeomorphic to Ck(X), the lattice-ordered algebra C(X) of real continuous functions on a completely regular and Hausdorff topological space X, endowed with the topology of uniform convergence on compact sets. As a previous step, we determine this topology among the locally m-convex topologies on C(X) with the property that each order closed interval is bounded.     

There do not exist minimal algebras between C*(X) and C(X) with prescribed real maximal ideal spaces

Let C(X) be the algebra of all real-valued continuous functions on a completely regular Hausdorff space X, and C*(X) the subalgebra of bounded functions. We prove that for any intermediate algebra A between C*(X) and C(X), other than C*(X), there exists a smaller intermediate algebra with the same real maximal ideals as in A. The space X is called A-compact if any real maximal ideal in A corresponds to a point in X. It follows that, for a noncompact space X, there does not exist any minimal intermediate algebra A for which A is A-compact. This completes the answer to a question raised by Redlin and Watson in 1987.