Some new results on functions in C(X) having their support on ideals of closed sets

Abstract

For any ideal of closed sets in X, let be the family of those functions in C(X) whose support lie on . Further let contain precisely those functions f in C(X) for which for each ? > 0, {x ∈ X: |f (x)| ≥ ?} is a member of . Let stand for the set of all those points p in βX at which the stone extension f^? for each f in is real valued. We show that each realcompact space lying between X and βX is of the form if and only if X is pseudocompact. We find out conditions under which an arbitrary product of spaces of the form locally- or almost locally-, becomes a space of the same form. We further show that is a free ideal (essential ideal) of C(X) if and only if is a free ideal (essential ideal) of when and only when X is locally- (almost locally-). We address the problem, when does or become identical to the socle of the ring C(X). The results obtained turn out to imply a special version of the fact obtained by Azarpanah corresponding to the choice ≡ the ideal of compact sets in X. Finally we observe that the ideals of the form of C(X) are no other than the z^?-ideals of C(X).     

Remarks on intermediate C-rings of C(X)

Let X be a Tychono? space and A(X) be a subring of C(X) containing C^?(X). We introduce the notion of -ideal in A(X). It is observed that the class of -ideals contains the class of z_A-ideals and is contained in the class of z-ideals of A(X). These containments may be proper. It turns out that coincidence of z-ideals of A(X) with -ideals characterizes intermediate C-rings of C(X).     

Primitive elements in rings of continuous functions

Let be a surjective continuous map between compact Hausdorff spaces. The map π induces, by composition, an injective morphism C(Y)→C(X) between the corresponding rings of real-valued continuous functions, and this morphism allows us to consider C(Y) as a subring of C(X). This paper deals with algebraic properties of the ring extension C(Y)⊆C(X) in relation to topological properties of the map . We prove that if the extension C(Y)⊆C(X) has a primitive element, i.e., C(X)=C(Y)[f], then it is a finite extension and, consequently, the map π is locally injective. Moreover, for each primitive element f we consider the ideal and prove that, for a connected space Y, If is a principal ideal if and only if is a trivial covering.     

On countably uniform closed-spaces

Abstract

Let X be a topological space and C_c(X) be the functionally countable subalgbera of C(X). We call X to be a countably uniform closed-space, briefly, a CU C-space, if C_c(X) is closed under uniform convergence. We investigate that countably uniform closedness need not closed under finite intersection and infinite product. It is shown that if X is a countable union of quasi-components, then X is a CU C-space. We characterize C_c-embedding and also -embedding in CU C-spaces. A subset S of X is called Z_c-embedded, if each Z ∈ Z_c(S) is the restriction of a zero-set of Z_c(X). It is observed that in a zero-dimensional CU C-space, each Lindelöf subspae is Z_c-embedded. Moreover, it is shown that in CU C-spaces, each Lindelöf subspace is C_c-embedded if and only if it is c-completely separated from each zero-set, which is disjoint from it. Also in latter spaces, it is observed that for each S ? X, C_c-embedding, -embedding and Z_c-embedding coincide, when S belongs to Z_c(X) or it is a c-pseudocompact space. Finally, when X is both a CU C-space and a CP-space, then each Z_c-embedded subspace is C_c-embedded (-embedded) in X.     

Ideal convergent subseries in Banach spaces

Abstract

Assume that is an ideal on ?, and ∑_n x_n is a divergent series in a Banach space X. We study the Baire category, and the measure of the set A() := {t ∈ {0, 1}^?: ∑_n t(n)x_n is -convergent}. In the category case, we assume that has the Baire property and ∑_n x_n is not unconditionally convergent, and we deduce that A() is meager. We also study the smallness of A() in the measure case when the Haar probability measure λ on {0, 1}^? is considered. If is analytic or coanalytic, and ∑_n x_n is -divergent, then λ(A()) = 0 which extends the theorem of Dindo?, ?alát and Toma. Generalizing one of their examples, we show that, for every ideal on ?, with the property of long intervals, there is a divergent series of reals such that λ(A(Fin)) = 0 and λ(A()) = 1.     

Multiplicative ∗-lie triple higher derivations of standard operator algebras

Abstract

Let be a standard operator algebra on an infinite dimensional complex Hilbert space containing identity operator I. In this paper it is shown that if is closed under the adjoint operation, then every multiplicative ?-Lie triple derivation is a linear ?-derivation. Moreover, if there exists an operator S ∈ such that S + S^? = 0 then d(U) = U S ? SU for all U ∈ , that is, d is inner. Furthermore, it is also shown that any multiplicative ?-Lie triple higher derivation D = {δ_n}_n∈? of is automatically a linear inner higher derivation on with d(U)^? = d(U^?).     

Two point-picking games derived from a property of function spaces

We present a study of two versions of the point-picking game defined by Berner and Juhasz. Given a space X there are two rivals O and P who take turns playing on X. In the n-th round Player O takes a non-empty open subset U_n of the space X and P responds by choosing a point x_n ∈ U_n. After ω-many moves are completed, the family is called the play of the game. In the CD-game CD(X) Player P wins if the set is closed and discrete. Otherwise O is the winner. In the CL-game CL(X, p), where the point p ∈ X is fixed, Player O wins if contains p in its closure. If , then P is declared to be the winner. We show that in spaces C_p(X) both CD-game and CL-game are equivalent to Gruenhage’s W-game for Player O. If , then Player O has a winning strategy in CL(X, p). The converse is not always true. However, if X is separable or compact of π-weight ≤ ω₁, then existence of a winning strategy for O in CL(X, p) is equivalent to .     

Characterizations of new Cohen summing bilinear operators

We prove two characterizations of new Cohen summing bilinear operators. The first one is: Let X, Y and Z be Banach spaces, 1 < p < ∞, V : X × Y → Z a bounded linear operator and n ≥ 2 a natural number. Then V is new Cohen p-summing if and only if for all Banach spaces X₁,?…?, X_n and all p-summing operators U : X₁ × · · · × X_n → X, the operator V ? (U, I_Y) : X₁ × · · · × X_n × Y → Z is -summing. The second result is: Let H be a Hilbert space,, Y, Z Banach spaces and V : H × Y → Z a bounded bilinear operator and 1 < p < ∞. Then V is new Cohen p-summing if and only if for all Banach spaces E and all p-summing operators U : E → H, the operator V ? (U, I_Y) is (p, p*)-dominated.     

On non-surjective coarse isometries between Banach spaces

Assume that X, Y are real Banach spaces, Y has uniform convexity of type p (≥ 1), and f: X → Y is a standard coarse isometry. In this paper, we show that if

then there is a linear isometry U : X → Y so that

where is defined by

Representation properties of coarse isometries in free ultrafilter limits on are also discussed.     

Mappings on Spaces of Continuous Functions

Let X and Y be locally compact Hausdorff spaces and T : C₀(X) C₀(Y) a ring homomorphism. We completely characterize such homomorphisms and show that if T is R-linear, then T is either C-linear or C-antilinear. In any case T is continuous and there is a continuous map : Y X such that Tf = f o , f C₀(X) (if T is C-linear) or (if T is C-antilinear). Thus, extending a result of Mólnar, we also derive the general form of an isometry T.AMS Subject Classification (2000): primary 46J05, 46E25(deceased) Passed away on 24 May 1999.     

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.     

Equivalent conditions for n-equivalences modulo a classc of groups

In this work we define the notion of a mapf:XY to be ann-equivalence modulo a classC of groups. Then we show an equivalent condition, which is more close to a homological condition, in order to a mapf:XY to be ann-equivalence modulo a classC of groups. Finally, at least for a complexK which is finite and is a suspension of a connected space, the notion above is also given in terms of the mapf _#: [K, X][K, Y].     

Strict and Mackey topologies and tight vector measures

Let B() denote the Banach algebra of all bounded Borel measurable complex functions defined on a topological Hausdor? space X, and B_o() stand for the ideal of B() consisting of all functions vanishing at infinity. Then B() is a faithful Banach left B_o()-module and the strict topology β on B() induced by B_o() is a mixed topology. For a sequentially complete locally convex Hausdor? space (E, ξ), we study the relationship between vector measures m : → E and the corresponding continuous integration operators T_m : B() → E. It is shown that a measure m : → E is countably additive tight if and only if the corresponding integration operator T_m is (η, ξ)-continuous, where η denotes the infimum of the strict topology β and the Mackey topology τ (B(), ca()). If, in particular, E is a Banach space, it is shown that m is countably additive tight if and only if Tm(absconv(U ∪ W)) is relatively weakly compact in E for some τ (B(), ca())-neighborhood U of 0 and some β-neighborhood W of 0 in B(). As an application, we prove a Nikodym type convergence theorem for countably additive tight vector measures.     

Preservation of quasi-isomorphisms of complexes

We consider the preservation property of the homomorphism and tensor product functors for quasi-isomorphisms and equivalences of complexes.Let X and Y be two classes of R-modules with Ext ≥1(X,Y) = 0 for each object X ∈X and each object Y ∈Y.We show that if A,B ∈C■(R) are X-complexes and U,V ∈ C■(R) are Y-complexes,then U■V■Hom(A,U)■Hom(A,V);A■B■Hom(B,U)■Hom(A,U).As an application,we give a sufficient condition for the Hom evaluation morphism being invertible.     

Remarks on ω-domination of discrete subspaces

Abstract

Given a space X, we will say that a class of subsets of X is dominated by a class ? if for any A ∈ , there exists a B ∈ ? such that A ? . In particular, all (closed) discrete subsets of X are countably dominated (which we frequently abbreviate as ω-dominated) if, for any (closed) discrete set D ? X, there exists a countable set B ? X such that D ? . In this paper, we investigate the topological properties of spaces in which (closed) discrete subspaces are dominated either by countable subsets or by Lindelöf subspaces.     

On the uniform density of C(X) ⊗ C(Y) in C(X × Y)

We prove that if X and Y are compact Hausdorff spaces, then every f ∈ C(X × Y)₊, i.e. f(x, y) ≥ 0 for all (x, y) ∈ X × Y, can be approximated uniformly from below and above by elements of the form , where f_i ∈ C(X)₊ and g_i ∈ C(Y)₊ for i = 1, 2, …, n. The proof uses only elementary topology. We use this result, in conjuction with Kakutani's M-spaces representation theorem, to obtain an alternative proof for a known property of Fremlin's Riesz space tensor product of Archimedean Riesz spaces.     

Exact constants of approximation for differentiable periodic functions

For all odd r we construct a linear operator B_r,r(f) which maps the set of 2-periodic functionsf(t) X^(r) (X^(r)=C^(r) or L₁ ^(r)) into a set of trigonometric polynomials of order not higher than n-1 such that where X is the C or L₁ metric, E_n(f)_X and (f, )_X are the best approximation by means of trigonometric polynomials of order not higher than n-1 and the modulus of continuity of the functionf in the X metric, respectively; K_r are the known Favard constants.Translated from Matematicheskie Zametki, Vol. 14, No. 1, pp. 21–30, July, 1973.In conclusion, the author wishes to express his deep gratitude to N. P. Korneichuk under whose guidance this paper was written.