Composition Operators on Small Spaces

We show that if a small holomorphic Sobolev space on the unit disk is not just small but very small, then a trivial necessary condition is also sufficient for a composition operator to be bounded. A similar result for holomorphic Lipschitz spaces is also obtained. These results may be viewed as boundedness analogues of Shapiro’s theorem concerning compact composition operators on small spaces. We also prove the converse of Shapiro’s theorem if the symbol function is already contained in the space under consideration. In the course of the proofs we characterize the bounded composition operators on the Zygmund class. Also, as a by-product of our arguments, we show that small holomorphic Sobolev spaces are algebras.     

A strong open mapping theorem for surjections from cones onto Banach spaces

We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Mapping Theorem for Banach spaces is then combined with Michael's Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of such a surjective map; a strong version of the usual Open Mapping Theorem is then a special case. As another consequence, an improved version of the analogue of Andô's Theorem for an ordered Banach space is obtained for a Banach space that is, more generally than in Andô's Theorem, a sum of possibly uncountably many closed not necessarily proper cones. Applications are given for a (pre)-ordered Banach space and for various spaces of continuous functions taking values in such a Banach space or, more generally, taking values in an arbitrary Banach space that is a finite sum of closed not necessarily proper cones.     

A desarguesian theorem for algebraic combinatorial geometries

The points of an algebraic combinatorial geometry are equivalence classes of transcendentals over a fieldk; two transcendentals represent the same point when they are algebraically dependent overk. The points of an algebraically closed field of transcendence degree two (three) overk are the lines (resp. planes) of the geometry. We give a necessary and sufficient condition for two coplanar lines to meet in a point (Theorem 1) and prove the converse of Desargues’ theorem for these geometries (Theorem 2). A corollary: the “non-Desargues” matroid is non-algebraic. The proofs depend on five properties (or postulates). The fifth of these is a deep property first proved by Ingleton and Main [3] in their paper showing that the Vámos matroid is non-algebraic.     

ON THE VITALI-HAHN-SAKS-NIKODYM THEOREM

Abstract

The classical Vitali-Hahn-Saks-Nikodym Theorem [5, Thm. I.4.8] gives a limit criterion for when a sequence of strongly additive vector measures on a σ-field of sets having their range in a Banach space can be expected to be uniformly strongly additive. In [16, Cor. 8], Saeki proved that the limit condition on the sequence of vector measures could be substantially weakened as long as the Banach space in play is “good enough”. Saeki's result was based upon his work on a class of set functions too large to have Rosenthal's Lemma at his disposal. In Section 2, we prove Saeki's result with Rosenthal's Lemma at the basis of our work and then augment our characterization of Banach spaces enjoying Saeki's result in [1] with another natural equivalent condition. In Section 3 we extend Saeki's result to Boolean algebras having the Subsequential Interpolation property.     

Maximal multihomogeneity of algebraic hypersurface singularities

From the degree zero part of the logarithmic vector fields along analgebraic hypersurface singularity we identify the maximal multihomogeneity of a defining equation in form of a maximal algebraic torus in the embedded automorphism group. We show that all such maximal tori are conjugate and in one–to–one correspondence to maximal tori in the linear jet of the embedded automorphism group. These results are motivated by Kyoji Saito’s characterization of quasihomogeneity for isolated hypersurface singularities [Saito in Invent. Math. 14, 123–142 (1971)] and extend previous work with Granger and Schulze [Compos. Math. 142(3), 765–778 (2006), Theorem 5.4] and of Hauser and Müller [Nagoya Math. J. 113, 181–186 (1989), Theorem 4].     

An Isomorphic Version of Nakano’s Characterisation of <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(Σ)

In 1941 Nakano gave a characterisation of real spaces C₀(Σ) as M-spaces satisfying an additional restriction on their norm. We give an isomorphic version of Nakano’s result which involves showing that for any Banach lattice (a suitably modified version of) Nakano’s condition is equivalent to the norm on the Dedekind completion being Fatou.     

Random trees under CH

We extend Jensen’s Theorem that Souslin’s Hypothesis is consistent with CH, by showing that the statement Souslin’s Hypothesis holds in any forcing extension by a measure algebra is consistent with CH. We also formulate a variation of the principle (*) (see [AT97], [Tod00]) for closed sets of ordinals, and show its consistency relative to the appropriate large cardinal hypothesis. Its consistency with CH would extend Silver’s Theorem that, assuming the existence of an inaccessible cardinal, the failure of Kurepa’s Hypothesis is consistent with CH, by its implication that the statement Kurepa’s Hypothesis fails in any forcing extension by a measure algebra is consistent with CH.     

Banach-stone theorems and separating maps

LetC(X,E) andC(Y,F) denote the spaces of continuous functions on the Tihonov spacesX andY, taking values in the Banach spacesE andF, respectively. A linear mapH:C(X,E)→C(Y,F) isseparating iff(x)g(x)=0 for allx inX impliesHf(y)Hg(y)=0 for ally inY. Some automatic continuity properties and Banach-Stone type theorems (i.e., asserting that isometries must be of a certain form) for separating mapsH between spaces of real- and complex-valued functions have already been developed. The extension of such results to spaces of vector-valued functions is the general subject of this paper. We prove in Theorem 4.1, for example, for compactX andY, that a linear isometryH betweenC(X,E) andC(Y,F) is a “Banach-Stone” map if and only ifH is “biseparating (i.e,H andH ⁻¹ are separating). The Banach-Stone theorems of Jerison and Lau for vector-valued functions are then deduced in Corollaries 4.3 and 4.4 for the cases whenE andF or their topological duals, respectively, are strictly convex. Research supported by the Fundació Caixa Castelló, MI/25.043/92     

Point-Free Version of Kakutani Duality

There are many results proved using the Axiom of Choice. Using point-free topology, we can prove some of these results without using this axiom. B. Banaschewski in [Pointfree Topology and the Spectra of f-rings, Ordered algebraic structures (Curacoa, 1995), Kluwer, Dordrecht, 123–148], studying the spectra of f-rings, describes the point-free version of the classical Gelfand duality without using the Axiom of Choice In this paper, referring to [Ebrahimi, M. M., Karimi Feizabadi, A. and Mahmoudi, M.: Pointfree Spectra of Riesz Space, Appl. Categ. Struct. 12 (2004), 397–409; Ebrahimi, M. M. and Karimi Feizabadi, A.: Pointfree Spectra of ℓ-Modules, To appear in J. Pure Appl. Algebra], we describe a point-free version of the classical Kakutani duality. For this, using one of the spectra given in [Ebrahimi, M. M., Karimi Feizabadi, A. and Mahmoudi, M.: Pointfree Spectra of Riesz Space, Appl. Categ. Struct. 12 (2004), 397–409; Ebrahimi, M. M. and Karimi Feizabadi, A.: Pointfree Spectra of l-Modules, To appear in J. Pure Appl. Algebra], we find an adjunction between the category of compact completely regular frames with frame maps and the category of Archimedean bounded Riesz spaces with continuous Riesz maps.     

Centralisers of spaces of symmetric tensor products and applications

We show that the centraliser of the space of n-fold symmetric injective tensors, n≥2, on a real Banach space is trivial. With a geometric condition on the set of extreme points of its dual, the space of integral polynomials we obtain the same result for complex Banach spaces. We give some applications of this results to centralisers of spaces of homogeneous polynomials and complex Banach spaces. In addition, we derive a Banach-Stone Theorem for spaces of vector-valued approximable polynomials. This project was supported in part by Enterprise Ireland, International Collaboration Grant – 2004 (IC/2004/009). The second author was also partially supported by PIP 5272,UBACYTX108 and PICT 03-15033     

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.     

Tauberian conditions for w-almost convergent double sequences

In this paper, we introduce the concept of w-almost convergent sequences. Such a definition is a weak form of almost convergent sequences given by G. G. Lorentz in [Acta Math. 80(1948),167-190]. We give a detailed study on w-almost convergent double sequences and prove that w-almost convergence and almost convergence are equivalent under the boundedness of the given sequence. The Tauberian results for w-almost convergence are established. Our Tauberian results generalize a result of Lorentz and Tauber’s second theorem. Moreover, we prove that w-almost convergence and norm convergence are equivalent for the sequence of the rectangular partial sums of the Fourier series of f ∈ L^p(T²), where 1 < p < ∞.      

Kolmogorov’s 1954 paper on nearly-integrable Hamiltonian systems

Following closely Kolmogorov’s original paper [1], we give a complete proof of his celebrated Theorem on perturbations of integrable Hamiltonian systems by including few “straightforward” estimates.      

Weyl’s Theorem and Perturbations

In the present paper we examine the stability of Weyl’s theorem under perturbations. We show that if T is an isoloid operator on a Banach space, that satisfies Weyl’s theorem, and F is a bounded operator that commutes with T and for which there exists a positive integer n such that Fⁿ is finite rank, then T + F obeys Weyl’s theorem. Further, we establish that if T is finite-isoloid, then Weyl’s theorem is transmitted from T to T + R, for every Riesz operator R commuting with T. Also, we consider an important class of operators that satisfy Weyl’s theorem, and we give a more general perturbation results for this class.     

Compactness in Vector-valued Banach Function Spaces

We give a new proof of a recent characterization by Diaz and Mayoral of compactness in the Lebesgue-Bochner spaces L_X^p, where X is a Banach space and 1≤ p<∞, and extend the result to vector-valued Banach function spaces E_X, where E is a Banach function space with order continuous norm. The author is supported by the ‘VIDI subsidie’ 639.032.201 in the ‘Vernieuwingsimpuls’ programme of the Netherlands Organization for Scientific Research (NWO) and by the Research Training Network HPRN-CT-2002-00281.     

Addenda to “The entropy formula for linear heat equation”

We add two sections to [8] and answer some questions asked there. In the first section we give another derivation of Theorem 1.1 of [8], which reveals the relation between the entropy formula, (1.4) of [8], and the well-known Li-Yau ’s gradient estimate. As a by-product we obtain the sharp estimates on ‘Nash’s entropy’ for manifolds with nonnegative Ricci curvature. We also show that the equality holds in Li-Yau’s gradient estimate, for some positive solution to the heat equation, at some positive time, implies that the complete Riemannian manifold with nonnegative Ricci curvature is isometric to ℝ ⁿ .In the second section we derive a dual entropy formula which, to some degree, connects Hamilton’s entropy with Perelman ’s entropy in the case of Riemann surfaces.     

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.     

Krivine's theorem and the indices of a Banach lattice

In this paper we shall present an exposition of a fundamental result due to J.L. Krivine about the local structure of a Banach lattice. In [3] Krivine proved that _p (1p) is finitely lattice representable in any infinite dimensional Banach lattice. At the end of the introduction of [3] it is then stated that a value of p for which this holds is given by, what we will call below, the upper index of the Banach lattice. He states that this follows from the methods of his paper and of the paper [5] of Maurey and Pisier. One can ask whether the theorem also holds for p equal to the lower index of the Banach lattice. At first glance this is not obvious from [3], since many theorems in [3] have as a hypothesis that the upper index of the Banach lattice is finite. This can e.g. also be seen from the book [6] of H.U. Schwarz, where only the result for the upper index is stated, while both indices are discussed. One purpose of this paper is clarify this point and to present an exposition of all the ingredients of a proof of Krivine's theorem for both the upper and lower index of a Banach lattice. We first gather some definitions and state some properties of the indices of a Banach lattice. For a discussion of these indices we refer to the book of Zaanen[7].     

Graph factors

This exposition is concerned with the main theorems of graph-factor theory, Hall’s and Ore’s Theorems in the bipartite case, and in the general case Petersen’s Theorem, the 1-Factor Theorem and thef-Factor Theorem. Some published extensions of these theorems are discussed and are shown to be consequences rather than generalizations of thef-Factor Theorem. The bipartite case is dealt with in Section 2. For the proper presentation of the general case a preliminary theory of “G-triples” and “f-barriers” is needed, and this is set out in the next three Sections. Thef-Factor Theorem is then proved by an argument of T. Gallai in a generalized form. Gallai’s original proof derives the 1-Factor Theorem from Hall’s Theorem. The generalization proceeds analogously from Ore’s Theorem to thef-Factor Theorem.