Rearrangement Invariant Continuous Linear Functionals on Weak <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>

We show that in the dual of Weak L¹ the subspace of all rearrangement invariant continuous linear functionals is lattice isometric to a space L¹(μ) and is the linear hull of the maximal elements of the dual unit ball. We also show that the dual of Weak L¹ contains a norm closed weak* dense ideal which is lattice isometric to an ℓ¹-sum of spaces of type C(K). Helmut H. Schaefer in memoriam     

WEAK and NORM COMPACTNESS ON KÖTHE-BOCHNER FUNCTION SPACES

Abstract

We present some characterizations of weak, weak conditional and norm compactness in spaces of vector valued order continuous Köthe function spaces. These characterizations use oscillation conditions over functions and regular methods of summability.     

DIEUDONNÉ—KÖTHE DUALITY FOR VECTOR—VALUED FUNCTION SPACES: LOCALIZATION OF BOUNDED SETS AND BARRELLEDNESS

Abstract

We study Dieudonné-Köthe spaces of Lusin-measurable functions with values in a locally convex space. Let Λ be a solid locally convex lattice of scalar-valued measurable functions defined on a measure space Ω. If E is a locally convex space, define Λ {E} as the space of all Lusinmeasurable functions f: Ω → E such that q(f(·)) is a function in Λ for every continuous seminorm q on E. The space Λ {E} is topologized in a natural way and we study some aspects of the locally convex structure of A {E}; namely, bounded sets, completeness, duality and barrelledness. In particular, we focus on the important case when Λ and E are both either metrizable or (DF)-spaces and derive good permanence results for reflexivity when the density condition holds.     

Boundary Behavior of Functions in the de Branges–Rovnyak Spaces

This paper deals with the boundary behavior of functions in the de Branges–Rovnyak spaces. First, we give a criterion for the existence of radial limits for the derivatives of functions in the de Branges–Rovnyak spaces. This criterion generalizes a result of Ahern–Clark. Then we prove that the continuity of all functions in a de Branges–Rovnyak space on an open arc I of the boundary is enough to ensure the analyticity of these functions on I. We use this property in a question related to Bernstein’s inequality. Received: May 10, 2007. Revised: August 8, 2007. Accepted: August 8, 2007.     

Representation of a class of locally convex (M)-lattices

We prove a representation theorem for Hausdorff locally convex (M)-lattices which are Dedekind σ-complete, and whose topologies are order σ-continuous and monotonically complete. These turn out to be the weighted spaces c₀(T, H), defined in the paper for T ≠ and H ^T₊. We also characterize the dual of c₀(T, H), as the space l¹ (T, H) defined in the last section. The known representation (on c₀(T)) of Banach (M)-lattices with order continuous norm follows as a particular case. We obtain these results by first proving a new general isomorphism theorem, which seems to be of independent interest. Our notion of “monotonic topological completeness” is weaker than the usual completeness and seems to be very convenient in the framework of topological ordered vector spaces.     

Various Slicing Indices on Banach Spaces

We give a short and direct proof for the computation of the Szlenk index of the C(K) spaces, when K is a countable compact space and determine their Lavrientiev indices. We also compute the Szlenk index of certain C(α) spaces, where α is an uncountable ordinal. Finally, we show that if the Szlenk index of a Banach space is ω (first infinite ordinal), then its weak*-dentability index is at most ω² and that this estimate is optimal. The first author was supported by the grants: Institutional Research Plan AV0Z10190503, A100190502, GA ČR 201/04/0090.     

Composition Operators and Vector-valued BMOA

Analytic composition operators are studied on X-valued versions of BMOA, the space of analytic functions on the unit disk that have bounded mean oscillation on the unit circle, where X is a complex Banach space. It is shown that if X is reflexive and C _φ is compact on BMOA, then C _φ is weakly compact on the X-valued space BMOA _C (X) defined in terms of Carleson measures. A related function-theoretic characterization is given of the compact composition operators on BMOA.     

Generalization of the Newman-Shapiro isometry theorem and Toeplitz operators

We give a generalization of the Newman-Shapiro Isometry Theorem to the case of Hilbert space-valued entire functions, which are square-summable with respect to the Gaussian measure on ⁿ , together with some applications in the theory of Toeplitz operators with operator-valued symbols. The study of various properties (such as density of domains, cores, closedness and boundedness from below) of these operators in illustrated with many relevant examples.Research supported by KBN under grant no. 2 P03A 041 10.     

A characterization for isometries and conformal mappings of pseudo-Riemannian manifolds

Generalizing theorems of Myers-Steenrod and of Hawking, we obtain characterizations for isometries and conformal mappings of pseudo-Riemannian spaces (M, g): Define a local distance function on convex normal neighbourhoods by (p, q) =g(exp _p ^–1 q, exp _p ^–1 q). Then every homeomorphismf locally preserving these functions is an isometry. If (M, g) has indefinite signature andf locally preserves distance zero, it is a conformal diffeomorphism.     

Characterizing filters by convergence (with respect to filters) in Banach spaces

Let X be a topological space and let F be a filter on N, recall that a sequence (xn)_n∈N in X is said to be F-convergent to the point x∈X, if for each neighborhood U of x, {n∈N:xn∈U}∈F. By using F-convergence in ?₁ and in Banach spaces, we characterize the P-filters, the P-filters⁺, the weak P-filters, the Q-filters, the Q-filters⁺, the weak Q-filters, the selective filters and the selective⁺ filters.     

Ranges of positive contractive projections in Nakano spaces

We show that in any nontrivial Nakano space X=L_p(·) (Ω, Σ, μ) with essentially bounded random exponent function p(·), the range Y = R(P) of a positive contractive projection P is itself representable as a Nakano space L_pY(·) (Ω_Y Σ_Y, ν_Y), for a certain measurable set Y_Ω⊆Ω (the support of the range), a certain sub-sigma ring Y_Σ⊆Σ (with maximal element Ω_Y) naturally determined by the lattice structure of Y, and a semi-finite measure ν_Y, namely the restriction of some measure Ω on E which is equivalent to μ. Furthermore, we show that the random exponent p_Y(·) associated with such a range can be taken to be the restriction to Ω_Y of the random exponent p(·) (this restriction turns out to be Σ_Y-measurable). As an application of this result, we find Banach lattice isometric characterizations of suitable classes of Nakano spaces. These classes are defined in terms of an important lattice-isometric invariant of Nakano spaces, the essential range of the variable exponent.     

Generalized perfect spaces

Given two Banach function spaces X and Y related to a measure μ, the Y-dual space X^Y of X is defined as the space of the multipliers from X to Y. The space X^Y is a generalization of the classical Köthe dual space of X, which is obtained by taking Y = L^t(μ). Under minimal conditions, we can consider the Y-bidual space X^YY of X (i.e. the Y-dual of X^Y). As in the classical case, the containment X ⊂ X^YY always holds. We give conditions guaranteeing that X coincides with X^YY, in which case X is said to be Y-perfect. We also study when X is isometrically embedded in X^YY. Properties involving p-convexity, p-concavity and the order of X and Y, will have a special relevance.     

Subspaces of L p , p > 2, with unconditional bases have equivalent partition and weight norms

In this note we give a simple proof that every subspace of L_p, 2 < p < ∞, with an unconditional basis has an equivalent norm determined by partitions and weights. Consequently L_p has a norm determined by partitions and weights. Received: 31 January 2005     

On stability of the Cauchy equation on semigroups

Summary We say that Hyers's theorem holds for the class of all complex-valued functions defined on a semigroup (S, +) (not necessarily commutative) if for anyf:S such that the set {f(x + y) – f(x) – f(y): x, y S} is bounded, there exists an additive functiona:S for which the functionf – a is bounded.Recently L. Székelyhidi (C. R. Math. Rep. Acad. Sci. Canada8 (1986) has proved that the validity of Hyers's theorem for the class of complex-valued functions onS implies its validity for functions mappingS into a semi-reflexive locally convex linear topological spaceX. We improve this result by assuming sequential completeness of the spaceX instead of its semi-reflexiveness. Our assumption onX is essentially weaker than that of Székelyhidi. Theorem.Suppose that Hyers's theorem holds for the class of all complex-valued functions on a semigroup (S, +) and let X be a sequentially complete locally convex linear topological (Hausdorff) space. If F: S X is a function for which the mapping (x, y) F(x + y) – F(x) – F(y) is bounded, then there exists an additive function A : S X such that F — A is bounded.     

Sacks forcing and the total failure of Martin's Axiom

Using side-by-side Sacks forcing, it is proved relatively consistent that the continuum is large and Martin's Axiom fails totally, that is, every c.c.c. space is the union of ?₁ nowhere dense sets (equivelently, if P is a nontrivial partial ordering with the countable chain condition, then there are ?₁ dense sets in P such that no filter in P meets them all).     

Analysis of a problem of Raikov with applications to barreled and bornological spaces

Raikov’s conjecture states that semi-abelian categories are quasi-abelian. A first counterexample is contained in a paper of Bonet and Dierolf who considered the category of bornological locally convex spaces. We prove that every semi-abelian category I admits a left essential embedding into a quasi-abelian category K_l(I) such that I can be recovered from K_l(I) by localization. Conversely, it is shown that left essential full subcategories I of a quasi-abelian category are semi-abelian, and a criterion for I to be quasi-abelian is given. Applied to categories of locally convex spaces, the criterion shows that barreled or bornological spaces are natural counterexamples to Raikov’s conjecture. Using a dual argument, the criterion leads to a simplification of Bonet and Dierolf’s example.     

The Structure of the Closure of the Rational Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>(μ)

Let K be a compact subset in the complex plane and let A(K) be the uniform closure of the functions continuous on K and analytic on K°. Let μ be a positive finite measure with its support contained in K. For 1 ≤ q < ∞, let A^q(K, μ) denote the closure of A(K) in L^q(μ). The aim of this work is to study the structure of the space A^q(K, μ). We seek a necessary and sufficient condition on K so that a Thomson-type structure theorem for A^q(K, μ) can be established. Our theorem deduces J. Thomson’s structure theorem for P^q(μ), the closure of polynomials in L^q(μ), as the special case when K is a closed disk containing the support of μ.     

Abstract Logics, Logic Maps, and Logic Homomorphisms

What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in what way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. This research was supported by the grant CNPq/FAPESB 350092/2006-0.