On c-realcompact spaces

Abstract

The c-realcompact spaces are fully studied and most of the important and well-known properties of realcompact spaces are extended to these spaces. For a zero-dimensional space X, the space υ₀X, which is the counterpart of υX, the Hewitt realcompactification of X, is introduced and studied. It is shown that υ₀X, which is the smallest c-realcompact space between X and β₀X, plays the same role (with respect to C_c(X)) as υX does in the context of C(X). It is proved for strongly zero-dimensional spaces, c-realcompact spaces, realcompact spaces and N-compact spaces coincide. In particular, if X is a strongly zero-dimensional space, then υX = υ₀X. It is obsesrved that a zero-dimensional space X is pseudocompact if and only if C_c(X) = C*_c(X), or equivalently if and only if υ₀X = β₀ X. In particular, a zero-dimensional pseudocompact space is compact if and only if it is c-realcompact. It is shown that Lindelöf spaces, subspaces of the one-point compactification (resp., Lindelöffication) of a discrete space with a nonmeasurable cardinal, are c-realcompact space. If X is a pseudocompact space, it is observed that C(X) = C_c(X) if and only if βX is scattered. Finally, the simplest possible proof (with reasoning) among the known proofs, of the well-known fact that discrete spaces of cardinality less than or equal to that of the continuum are realcompact, is given.     

Some new Triebel-Lizorkin spaces on spaces of homogeneous type and their frame characterizations

Let(X,p,μ)d,θ be a space of homogeneous type,(?) ∈(0,θ],|s|＜(?) andmax{d/(d＋(?)),d/(d＋s＋(?))}＜q≤∞.The author introduces the new Triebel-Lizorkin spaces (?)_∞q~s(X) and establishes the framecharacterizations of these spaces by first establishing a Plancherel-P(?)lya-type inequalityrelated to the norm of the spaces (?)_∞q~s(X).The frame characterizations of the Besovspace (?)_pq~s(X) with|s|＜(?),max{d/(d＋(?)),d/(d＋s＋(?))}＜p≤∞ and 0＜q≤∞and the Triebel-Lizorkin space (?)_pq~s(X)with|s|＜(?),max{d/(d＋(?)),d/(d＋s＋(?))}＜p＜∞ and max{d/(d＋(?)),d/(d＋s＋(?))}＜q≤∞ are also presented.Moreover,the au-thor introduces the new TriebeI-Lizorkin spaces b(?)_∞q~s(X) and H(?)_∞q~s(X) associated to agiven para-accretive function b.The relation between the space b(?)_∞q~s(X) and the spaceH(?)_∞q~s(X) is also presented.The author further proves that if s＝0 and q＝2,thenH(?)_∞q~s(X)＝(?)_∞q~s(X),which also gives a new characterization of the space BMO(X),since (?)_∞q~s(X)＝BMO(X).     

Completeness of hyperspaces of compact subsets of quasi-metric spaces

We study the hyperspace K ₀(X) of non-empty compact subsets of a Smyth-complete quasi-metric space (X, d). We show that K ₀(X), equipped with the Hausdorff quasi-pseudometric H _d forms a (sequentially) Yoneda-complete space. Moreover, if d is a T ₁ quasi-metric, then the hyperspace is algebraic, and the set of all finite subsets forms a base for it. Finally, we prove that K ₀(X), H _d ) is Smyth-complete if (X, d) is Smyth-complete and all compact subsets of X are d ⁻¹-precompact.     

The Choquet integral representation in the affine vector-valued case

LetX be any compact convex subset of a locally convex Hausdorff space andE be a complex Banach space. We denote byA(X, E) the space of all continuous and affineE-valued functions defined onX. In this paper we prove thatX is a Choquet simplex if and only if the dual ofA(X, E) is isometrically isomorphic by a selection map toM _m (X, E*), the space ofE*-valued,w*-regular boundary measures onX. This extends and strengthens a result of G. M. Ustinov. To do this we show that for any compact convex setX, each element of the dual ofA(X, E) can be represented by a measure inM _m (X, E*) with the same norm, and this representation is unique if and only ifX is a Choquet simplex. We also prove that ifX is metrizable andE is separable then there exists a selection map from the unit ball of the dual ofA(X, E) into the unit ball ofM _m (X, E*) which is weak* to weak*-Borel measurable.This work will constitute a portion of the author's Ph.D. Thesis at the University of Illinois.     

Weak selections and weak orderability of function spaces

It is proved that for a zero-dimensional space X, the function space C _p (X, 2) has a Vietoris continuous selection for its hyperspace of at most 2-point sets if and only if X is separable. This provides the complete affirmative solution to a question posed by Tamariz-Mascarúa. It is also obtained that for a strongly zero-dimensional metrizable space E, the function space C _p (X, E) is weakly orderable if and only if its hyperspace of at most 2-point sets has a Vietoris continuous selection. This provides a partial positive answer to a question posed by van Mill and Wattel.     

On resolvable primal spaces

A topological space is called resolvable if it is a union of two disjoint dense subsets, and is n-resolvable if it is a union of n mutually disjoint dense subsets. Clearly a resolvable space has no isolated points. If f is a selfmap on X, the sets A?X with f (A)?A are the closed sets of an Alexandroff topology called the primal topology 𝒫(f ) associated with f. We investigate resolvability for primal spaces (X, 𝒫(f)). Our main result is that an Alexandroff space is resolvable if and only if it has no isolated points. Moreover, n-resolvability and other related concepts are investigated for primal spaces.     

Low distortion euclidean embeddings of trees

We consider the problem of embedding a certain finite metric space to the Euclidean space, trying to keep the bi-Lipschitz constant as small as possible. We introduce the notationc ₂(X, d) for the least distortion with which the metric space (X, d) may be embedded in a Euclidean space. It is known that if (X, d) is a metric space withn points, thenc ₂(X, d)≤0(logn) and the bound is tight. LetT be a tree withn vertices, andd be the metric induced by it. We show thatc ₂(T, d)≤0(log logn), that is we provide an embeddingf of its vertices to the Euclidean space, such thatd(x, y)≤‖f(x)−f(y) ‖≤c log lognd(x, y) for some constantc. Supported in part by grants from the Israeli Academy of Sciences and the US-Israel Binational Science Foundation. Supported in part by NSF under grants CCR-9215293 and by DIMACS, which is supported by NSF grant STC-91-19999 and by the New Jersey Commission on Science and Technology.     

Entropy,Approximation Quantities and the Asymptotics of the Modulus of Continuity

The paper deals with the approximation of bounded real functions f on a compact metric space (X, d) by so-called controllable step functions in continuation of [Ri/Ste]. These step functions are connected with controllable coverings, that are finite coverings of compact metric spaces by subsets whose sizes fulfil a uniformity condition depending on the entropy numbers ε_n(X) of the space X. We show that a strong form of local finiteness holds for these coverings on compact metric subspaces of IR^m and S^m. This leads to a Bernstein type theorem if the space is of finite convex information. In this case the corresponding approximation numbers ε_n(f) have the same asymptotics its ω(f, ε_n(X)) for f ε C(X). Finally, the results concerning functions f ε M(X) and f ε C(X) are transferred to operators with values in M(X) and C(X), respectively.     

Fréchet Spaces of Holomorphic Functions without Copies of l1

Let X be a Banach space. Let H_w*(X*) the Fréchet space whose elements are the holomorphic functions defined on X* whose restrictions to each multiple mB(X*), m = 1,2, …, of the closed unit ball B(X*) of X* are continuous for the weak-star topology. A fundamental system of norms for this space is the supremum of the absolute value of each element of H_w*(X*) in mB(X*), m = 1,2,…. In this paper we construct the bidual of l₁ when this space contains no copy of l¹. We also show that if X is an Asplund space, then H_w*(X*) can be represented as the projective limit of a sequence of Banach spaces that are Asplund.     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

Functional analytic aspects of non-commutative harmonic analysis

Given a homogeneous space X = G/H with an invariant measure it is shown, using Grothendieck's inequality, that a G-invariant Hilbert subspace of the space of distributions of order zero on X is actually contained in L_loc²(X). Moreover, if θ is an automorphism on G appropriately related to H, it is shown that, under condition that H-orbits are smooth, an H-bi-invariant distribution of positive type on G satisfies the identity Ť^θ = T if the corresponding Hilbert space is contained in L_loc²(X). This shows that, under the smooth orbit condition, G-invariant Hilbert subspaces of L_loc² (X) have a unique decomposition into irreducible Hilbert spaces as in the case of generalized Gelfand pairs.     

Commuting Derivations and Automorphisms of Certain Nilpotent Lie Algebras Over Commutative Rings

Let L be a finite-dimensional complex simple Lie algebra, L _? be the ?-span of a Chevalley basis of L, and L _R  = R ?_? L _? be a Chevalley algebra of type L over a commutative ring R. Let 𝒩(R) be the nilpotent subalgebra of L _R spanned by the root vectors associated with positive roots. A map ? of 𝒩(R) is called commuting if [?(x), x] = 0 for all x ∈ 𝒩(R). In this article, we prove that under some conditions for R, if Φ is not of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a central derivation (resp., automorphism), and if Φ is of type A ₂, then a derivation (resp., an automorphism) of 𝒩(R) is commuting if and only if it is a sum (resp., a product) of a graded diagonal derivation (resp., automorphism) and a central derivation (resp., automorphism).     

Some Properties of the Functor O β

It is proved that the space O_β(X) of weakly additive order-preserving normed functionals with compact supports is a convex subset of the space C_p(C_b(X)). Bibliography: 4 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 313, 2004, pp. 131–134.     

SOME ASPECTS OF THE LIFTING PROPERTY OF THE SPACE £∞ (μ, X)

Abstract

Using a lifting of £_∞ (μ, X) ([5],[6]), we construct a lifting ρ x of the seminormed vector space £_∞ (μ, X) of measurable, essentially bounded X-valued functions. We show that in a certain sense such a lifting always exists. If μ is Lebesgue measure on (0, 1) we show that ρ x exists as map from £_∞ ((O, 1), X) → £_∞,((0, l), X) if and only if X is reflexive. In general the lifted function takes its values in X **. Therefore we investigate the question, when f ε £_∞ (μ, X) is strictly liftable in the sense that the lifted function is a map with values even in X.

As an application we introduce the space £_∞ ^strong (μ, L (X, Y**)), a subspace of the space of strongly measurable, essentially bounded L (X, Y, **)-valued functions, and the associated quotient space £_∞ ^strong (μ, L (X,Y**)). We show that this space is a Banach space because there is a kind of a Dunford-Pettis Theorem for a subspace of L (X, £_∞(μ Y**)). Finally we investigate the measurability property of functions in £_∞(μ Y**)) und see that there exists a connection to the Radon-Nikodym property of the space L (X, Y).     

On Sectional Genus of Quasi—Polarized Manifolds with Non-Negative Kodaira Dimension

Let X be a smooth projective variety over ? and L be a nef-big divisor on X. Then (X, L) is called a quasi - polarized manifold. Then we conjecture that g(L) ≥ q(X), where g(L) is the sectional genus of L and q(X) = dim H¹(O_x) is the irregularity of X. In general it is unknown that this conjecture is true or not even in the case of dim X = 2. For example, this conjecture is true if dim X = 2 and dim H≥(L) > 0. But it is unknown if dim X ≥ 3 and dim H⁰(L) > 0. In this paper, we consider a lower bound for g(L) if dim X = 2, dim H⁰(L) ≥ 2, and k(X) ≥ 0. We obtain a stronger result than the above conjecture if dim Bs|L| ≤ 0 by a new method which can be applied to higher dimensional cases. Next we apply this method to the case in which dim X = n ≥ 3 and we obtain a lower bound for g(L) if dim X = 3, dim H⁰(L) ≥ 2, and k(X) ≥ 0.     

Ternary codes of steiner triple systems

The code over a finite field F^q of a design ?? is the space spanned by the incidence vectors of the blocks. It is shown here that if ?? is a Steiner triple system on v points, and if the integer d is such that 3^d ≤ v < 3^d+1, then the ternary code C of ?? contains a subcode that can be shortened to the ternary generalized Reed-Muller code ?_F3(2(d ? 1),d) of length 3^d. If v = 3^d and d ≥ 2, then C_? ? ?_F3(1,d)? ? _F3(2(d ? 1),d) ? C. © 1994 John Wiley & Sons, Inc.     

The quasi-metric of complexity convergence

For any weightable quasi-metric space (X, d) having a maximum with respect to the associated order ≤ _d , the notion of the quasi-metric of complexity convergence on the the function space (equivalently, the space of sequences) X^ω , is introduced and studied. We observe that its induced quasi-uniformity is finer than the quasi-uniformity of pointwise convergence and weaker than the quasi-uniformity of uniform convergence. We show that it coincides with the quasi-uniformity of pointwise convergence if and only if the quasi-metric space (X, d) is bounded and it coincides with the quasi-uniformity of uniform convergence if and only if X is a singleton. We also investigate completeness of the quasi-metric of complexity convergence. Finally, we obtain versions of the celebrated Grothendieck theorem in this context.     

Application of bases to the study of measures and operators on measure spaces

Summary Under investigation are measures m defined on a σ-algebraA with range in a Banach space X having a Schauder basis {x_n}. Utilizing the corresponding coefficient functionals and coefficient measures, we study the interaction between properties for these measures and properties for the existing measure m. For the spaceCA(A, X) of all countably additive measures of finite variation fromA into X, we show that certain separable subspaces of it are isomorphic-isometric with certain separable subspaces of functions of bounded variation on the interval [0, 1]. For {v_n} inCA(A, X) such that {v_n(A)} converges to v(A) for all A εA a certain ? control measure ? is constructed. An integral for set functions relative to a measure is defined and necessary and sufficient conditions are given for weak convergence. Bounded operators on the space FAC(A,R) of finitelly additive scalar valued set functions onA which are absolutely continuous with respect to λ are considered. Necessary and sufficient conditions for continuity and for compactness are given for Banach space valued operators T defined on such spaces. Weak compactness of T is also studied. Finally, a different kind of representation is given for Banach space valued operators defined on the space FA_v(A, X) of finitely additive set functions fromA into X. Entrata in Redazione il 26 novembre 1976. The first author expresses his gratitude to the Italian Consiglio Nazionale delle Ricerche and the Università degli Studi di Param for the support of his work during his tenure as Visiting Professor of Mathematics. This work was supported by NATO Research Grant No. 835.     

Smooth automorphisms and path-connectedness in Borel dynamics

Let Aut(X, B) be the group of all Borel automorphisms of a standard Borel space (X, B). We study topological properties of Aut(X, B) with respect to the uniform and weak topologies, τ and p, defined in [Bezuglyi S., Dooley A.H., Kwiatkowski J., Topologies on the group of Borel automorphisms of a standard Borel space, Preprint 2003]. It is proved that the class of smooth automorphisms is dense in (Aut(X, B), p). Let Ctbl(X) denote the group of Borel automorphisms with countable support. It is shown that the topological group Aut₀(X, B) = Aut(X, B)/Ctbl(X) is path-connected with respect to the quotient topology τ₀. It is also proved that Aut₀(X, B) has the Rokhlin property in the quotient topology p₀, i.e., the action of Aut₀(X,B) on itself by conjugation is topologically transitive.     

Orthogonal Groups 𝒪(n) over GF(2) as Automorphisms

Let (V, Q) be a quadratic vector space over a fixed field. Orthogonal group 𝒪(V, Q) is defined as automorphisms on (V, Q). If Q = I, it is 𝒪(V, I) = 𝒪(n). There is a nice result that 𝒪(n) ? Aut(𝔬(n)) over ? or ?, where 𝔬(n) is the Lie algebra of n × n alternating matrices over the field. How about another field The answer is “Yes” if it is GF(2). We show it explicitly with the combinatorial basis ?. This is a verification of Steinberg's main result in 1961, that is, Aut(𝔬(n)) is simple over the square field, with a nonsimple exception Aut(𝔬(5)) ? 𝒪(5) ? 𝔖₆.