2-Universally complete Riesz spaces and inverse-closed Riesz spaces

In this paper we show mainly two results about uniformly closed Riesz subspaces of ?^X containing the constant functions. First, for such a Riesz subspace E, we solve the problem of determining the properties that a real continuous functiondefined on a proper open interval of ?should have in order that the conditions “E is closed under composition with ” and “E is closed under inversion in X” become equivalent. The second result, reformulated in the more general frame of the Archimedean Riesz spaces with weak order unit e, establishes that E (e-uniformly complete and e-semisimple) is closed under inversion in C(Spec E) if and only if E is 2-universally e-complete.     

Riesz spaces of real continuous functions

An Archimedean Riesz space E is isomorphic to C(X) for some completely regular Hausdorff space X if and only if there exists a weak order unit e > 0 for which E is e-uniformly complete, e-semisimple, e-separating and 2-universally e-complete.     

Riesz product spaces and representation theory

Let {E _i:i∈I} be a family of Archimedean Riesz spaces. The Riesz product space is denoted by ∏ _i∈I E_i. The main result in this paper is the following conclusion: There exists a completely regular Hausdorff spaceX such that ∏ _i∈I E_i is Riesz isomorphic toC(X) if and only if for everyi∈I there exists a completely regular Hausdorff spaceX _i such thatE _i is Riesz isomorphic toC(X _i). Supported by the National Natural Science Foundation of China     

Convex vector lattices and l-algebras

For A an Archimedean Riesz space (=vector lattice) with distinguished positive weak unit e_A, we have the Yosida representation  as a Riesz space in D(X_A), the lattice of extended real valued functions on the space of e_A-maximal ideas. This note is about those A for which  is a convex subset of D(X_A); we call such A “convex”.Convex Riesz spaces arise from the general issue of embedding as a Riesz ideal, from consideration of uniform- and order-completeness, and from some problems involving comparison of maximal ideal spaces (which we won't discuss here; see [10]).The main results here are: (2.4) A is convex iff A is contained as a Riesz ideal in a uniformly complete Φ-algebra B with identity e_A. (3.1) Any A has a convex reflection (i.e., embeds into a convex B with a universal mapping property for Riesz homomorphisms; moreover, the embedding is epic and large).     

On operations in C(X) determined by continuous functions

Let C(X) be the space of all continuous real-valued functions on a compact topological space. Then every continuous function $\varphi: {\mathbb{R}^{2}\to \mathbb{R}}$ defines an operation Φ:C(X)×C(X)→C(X), Φ(f,g)(x)=φ(f(x),g(x)) for x∈X. We show some sufficient and some necessary conditions for the openness and the weak openness of Φ.     

The ideal center of the dual of a Banach lattice

Let E be a Banach lattice. Its ideal center Z(E) is embedded naturally in the ideal center Z(E′) of its dual. The embedding may be extended to a contractive algebra and lattice homomorphism of Z(E)ʺ into Z(E′). We show that the extension is onto Z(E′) if and only if E has a topologically full center. (That is, for each x ? E{x\in E}, the closure of Z(E)x is the closed ideal generated by x.) The result can be generalized to the ideal center of the order dual of an Archimedean Riesz space and in a modified form to the orthomorphisms on the order dual of an Archimedean Riesz space.     

Remotality of Closed Bounded Convex Sets in Reflexive Spaces

Let X be a Banach space and E be a closed bounded subset of X. For x ? X, we define D(x, E) = sup{‖ x ? e‖:e ? E}. The set E is said to be remotal (in X) if, for every x ? X, there exists e ? E such that D(x, E) = ‖x ? e‖. The object of this paper is to characterize those reflexive Banach spaces in which every closed bounded convex set is remotal. Such a result enabled us to produce a convex closed and bounded set in a uniformly convex Banach space that is not remotal. Further, we characterize Banach spaces in which every bounded closed set is remotal.     

Riesz* homomorphisms on pre-Riesz spaces consisting of continuous functions

In the theory of operators on a Riesz space (vector lattice), an important result states that the Riesz homomorphisms (lattice homomorphisms) on C(X) are exactly the weighted composition operators. We extend this result to Riesz* homomorphisms on order dense subspaces of C(X). On those subspace we consider and compare various classes of operators that extend the notion of a Riesz homomorphism. Furthermore, using the weighted composition structure of Riesz* homomorphisms we obtain several results concerning bijective Riesz* homomorphisms. In particular, we characterize the automorphism group for order dense subspaces of C(X). Lastly, we develop a similar theory for Riesz* homomorphisms on subspace of \(C_0(X)\), for a locally compact Hausdorff space X, and apply it to smooth manifolds and Sobolev spaces.     

Pointfree prime representation of real Riesz maps

In classical topology it is proved, nonconstructively, that for a topological space X, every bounded Riesz map ϕ in C(X) is of the form for a point x ∈ X. In this paper our main objective is to give the pointfree version of this result. In fact, we constructively represent each real Riesz map on a compact frame M by prime elements. Received March 23, 2004; accepted in final form May 14, 2005.     

On isomorphisms of some Köthe function <Emphasis Type="Italic">F</Emphasis>-spaces

We prove that if Köthe F-spaces X and Y on finite atomless measure spaces (Ω _X ; Σ _X , µ _X ) and (Ω _Y ; Σ _Y ; µ _Y ), respectively, with absolute continuous norms are isomorphic and have the property

$\mathop {\lim }\limits_{\mu (A) \to 0} \left\| {\mu (A)^{ - 1} 1_A } \right\| = 0$

(for µ = µ _X and µ = µ _Y , respectively) then the measure spaces (Ω _X ; Σ _X ; µ _X ) and (Ω _Y ; Σ _Y ; µ _Y ) are isomorphic, up to some positive multiples. This theorem extends a result of A. Plichko and M. Popov concerning isomorphic classification of L _p (µ)-spaces for 0 < p < 1. We also provide a new class of F-spaces having no nonzero separable quotient space.

     

Banach-Stone theorems and Riesz algebras

Let X, Y be compact Hausdorff spaces and let E, F be both Banach lattices and Riesz algebras. In this paper, the following main result shall be proved: If F has no zero-divisor and there exists a Riesz algebraic isomorphism such that Φ(f) has no zero if f has none, then X is homeomorphic to Y and E is Riesz algebraically isomorphic to F.     

Riesz basis of Coifman and Meyer's local sine and cosine type

A Riesz basis is the image of an orthonormal basis under an invertible continuous linear mapping. In many interesting applications, perturbing an orthonormal basis in a controlled manner yields a Riesz basis. In this paper we find Riesz basis for of the form {b_Ik(x)sinλ_kx}, with b_Ik(x) bell functions, by perturbing the local sine and cosine orthonormal bases of Coifman and Meyer.     

On discrete and continuous quotient Riesz spaces

Order properties of quotient Riesz spaces E/N(f) by null ideals N(f) are investigated. We show relationships between properties of a Riesz space E and its order dual E ^~ and properties of quotients E/N(f) where f runs over some subspaces of E ^~. A characterization of metrizable locally convex topological Riesz spaces whose all quotients (by proper closed ideals) are discrete is also given.     

Cardinality of the Ellis semigroup on compact metric countable spaces

Let E(X, f) be the Ellis semigroup of a dynamical system (X, f) where X is a compact metric space. We analyze the cardinality of E(X, f) for a compact countable metric space X. A characterization when E(X, f) and \(E(X,f)^* = E(X,f) \setminus \{ f^n : n \in \mathbb {N}\}\) are both finite is given. We show that if the collection of all periods of the periodic points of (X, f) is infinite, then E(X, f) has size \(2^{\aleph _0}\). It is also proved that if (X, f) has a point with a dense orbit and all elements of E(X, f) are continuous, then \(|E(X,f)| \le |X|\). For dynamical systems of the form \((\omega ^2 +1,f)\), we show that if there is a point with a dense orbit, then all elements of \(E(\omega ^2+1,f)\) are continuous functions. We present several examples of dynamical systems which have a point with a dense orbit. Such systems provide examples where \(E(\omega ^2+1,f)\) and \(\omega ^2+1\) are homeomorphic but not algebraically homeomorphic, where \(\omega ^2+1\) is taken with the usual ordinal addition as semigroup operation.     

Multiobjective programming and penalty functions

This paper generalizes the penalty function method of Zang-will for scalar problems to vector problems. The vector penalty function takes the form $$g(x,\lambda ) = f(x) + \lambda ^{ - 1} P(x)e,$$ wheree ?R ^m, with each component equal to unity;f:R ⁿ →R ^m, represents them objective functions {f ⁱ} defined onX \( \subseteq \) R ⁿ; λ ∈R ¹, λ>0;P:R ⁿ →R ¹ X \( \subseteq \) Z \( \subseteq \) R ⁿ,P(x)≦0, ∨x ∈R ⁿ,P(x) = 0 ?x ∈X. The paper studies properties of {E (Z, λ _r )} for a sequence of positive {λ _r } converging to 0 in relationship toE(X), whereE(Z, λ _r ) is the efficient set ofZ with respect tog(·, λ_r) andE(X) is the efficient set ofX with respect tof. It is seen that some of Zangwill's results do not hold for the vector problem. In addition, some new results are given.     

An extension of the Aumann-shapley value concept to functions on arbitrary banach spaces

LetX denote a linear space of real valued functions defined on a subset of a Banach space such thatX containsE′ the dual space ofE as a subspace. Given a distinguished vectorx ₀ inE anx ₀-value (onX) is defined to be a projectionP fromX ontoE′ which satisfies the following two hypotheses: (VA) (PF)(x₀)=Fx₀ for allF inX; (VB) IfT is a continuous isomorphism fromE intoE such thatTx ₀=x ₀ thenP(F?T) = (PF) ? T for allF inX. The existence and uniqueness of a value is established for two choices ofX, one of which is the space of polynomials in functional onE. The existence and partial uniqueness of a value is established on a third choice forX.     

The operator-valued Feynman-Kac formula with noncommutative operators

Let X(t) be a right-continuous Markov process with state space E whose expectation semigroup S(t), given by S(t) φ(x) = E_x[φ(X(t))] for functions φ mapping E into a Banach space L, has the infinitesimal generator A. For each x?E, let V(x) generate a strongly continuous semigroup T_x(t) on L. An operator-valued Feynman-Kac formula is developed and solutions of the initial value problem $\text{?u}\text{?t}\text{= Au + V(x)u, u(0) = φ}$ are obtained. Fewer conditions are assumed than in known results; in particular, the semigroups {T_x(t)} need not commute, nor must they be contractions. Evolution equation theory is used to develop a multiplicative operative functional and the corresponding expectation semigroup has the infinitesimal generator A + V(x) on a restriction of the domain of A.     

More on the generalized macaulay theorem — II

Let k₁ ? k₂? ? ? k_n be given positive integers and let S denote the set of vectors x = (x₁, x₂, … ,x_n) with integer components satisfying 0 ? x₁ ? k_ni = 1, 2, …, n. Let X be a subset of S (l)X denotes the subset of X consisting of vectors with component sum l; F(m, X) denotes the lexicographically first m vectors of X; ?X denotes the set of vectors in S obtainable by subtracting 1 from a component of a vector in X; |X| is the number of vectors in X. In this paper it is shown that |?F(e, (l)S)| is an increasing function of l for fixed e and is a subadditive function of e for fixed l.     

Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·)

We study the Riesz potentials I_αf on the generalized Lebesgue spaces L^p(·)(?^d), where 0 < α < d and I_αf(x) ? ∫equation/tex2gif-inf-3.gif |f(y)| |x – y|^{α – d} dy. Under the assumptions that p locally satisfies |p(x) – p(x)| ≤ C/(– ln |x – y|) and is constant outside some large ball, we prove that I_α : L^p(·)(?^d) → L^p?(·)(?^d), where . If p is given only on a bounded domain Ω with Lipschitz boundary we show how to extend p to on ?^d such that there exists a bounded linear extension operator ? : W^1,p(·)(Ω) ? (?^d), while the bounds and the continuity condition of p are preserved. As an application of Riesz potentials we prove the optimal Sobolev embeddings W^k,p(·)(?^d) ?L^p*(·)(R^d) with and W^1,p(·)(Ω) ? L^p*(·)(Ω) for k = 1. We show compactness of the embeddings W^1,p(·)(Ω) ? L^q(·)(Ω), whenever q(x) ≤ p*(x) – ε for some ε > 0. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)