A Constructive Study of Landau's Summability Theorem

A variation on the uniform boundedness theorem [2, p. 105] of functional analysis is obtained by replacing pointwise boundedness by a slightly stronger type of boundedness. This makes it possible to remove the category requirements from the set over which it is desired to have a collection of functions uniformly bounded. The concept of boundedness to be utilized is called boundedness on Cauchy sequences (see Definition 1). When a Cauchy sequence converges in the domain of a family of continuous functions, boundedness on a Cauchy sequence is equivalent to pointwise boundedness of the family at the limit point of the point of the sequence. When the domain of the continuous functions is a metric space, boundedness on the collection on all Cauchy sequences is equivalent to pointwise boundedness of the continuous extensions on the completion of the domain. The interesting case is when the domain is not metrizable because boundedness on Cauchy sequences does not necessarily imply pointwise boundedness of the extended functions on the completion or even on the sequential completion of the domain. The main result of the paper is given in Theorem 1 which is followed by six corollaries. The sixth corollary is especially interesting in stating that the closure of an infrabarrelled space in its second adjoint space is a barreled space. The theorem on uniform boundedness immediately suggests an absorption theorem which is Theorem 2 of the paper. Theorem 1 does not follow as a corollary of Theorem 2 as is the case of the classical uniform boundedness theorem [2, p. 105]. DEFINITION 1. A family H of continuous linear transformations with common domain a linear topological space E and ranges in a locally convex space F is bounded on a Cauchy sequence {Xn } in E if for every neighborhood V of the origin in F there exists a positive real number r with the property that for each f in H there is an Nf such that f (xn) is in r V for all n > Nf. The following theorem is stated in the context of the definition.

A classical result due to M. Eidelheit and B. Yood states that the standard algebra norm on the algebra of bounded linear operators on a Banach space is minimal, in the sense that the norm must be less than a multiple of any other submultiplicative norm on the same algebra. This definition does not assume that the arbitrary algebra norm is complete. In cases when the standard algebra norm is, in addition, maximal, it is therefore unique up to equivalence. More recently, M. Meyer showed that the Calkin algebras of a very restricted class of Banach spaces also have unique algebra norms. We generalise the Eidelheit-Yood method of proof, to show that the conventional quotient norm on a larger class of Calkin algebras is minimal. Since maximality of the norm is a presumed property for the class, the norm is also unique. We thus extend the result of Meyer. In particular, we establish that the Calkin algebras of canonical Banach spaces such as James’ space and Tsirelson’s space have unique algebra norms, without assuming completeness. We also prove uniqueness of norm for quotients of the algebras of operators on classical non-separable spaces, the closed ideals of which were previously studied by M. Daws. One aspect of the Eidelheit-Yood method is a dependence on the uniform boundedness principle. As a component of our generalisation, we prove an analogue of that principle which applies to Calkin algebra elements rather than bounded linear operators. In order to translate the uniform boundedness principle into this new setting, we take the perspective that non-compact operators map certain wellseparated sequences to other well-separated sequences. We analyse the limiting separation of such sequences, using these values to measure the non-compactness of operators and define the requisite notion of a bounded set of non-compact operators. In the cases when the underlying Banach space has a Schauder basis, we are able to restrict attention to seminormalised block basic sequences. As a consequence, our main uniqueness of norm result for Calkin algebras relies on the existence of bounded mappings between, and projections onto, the spans of block basic sequences in the relevant Banach spaces.

In this central chapter, the fundamental elements of functional analysis are presented. Although topological vector spaces are considered, essentially for the use of weak topologies, the focus is on normed spaces. Normed spaces in duality or metric duality form a convenient framework. The main pillars of functional analysis are presented: separation properties, the uniform boundedness theorem, the open mapping theorem, the closed graph theorem…Some special properties such as reflexivity, separability, and uniform convexity are given some attention. An account of spectral theory for linear operators is presented and the case of compact operators is considered. The chapter ends with a presentation of regulated functions and functions of bounded variation. This enables us to dispose of an elementary integration theory that is often sufficient for simple purposes.

This chapter develops the beginnings of abstract functional analysis, a subject designed to study properties of functions by treating the functions as the members of a space and formulating the properties as properties of the space. Section 1 defines Banach spaces as complete normed linear spaces and gives a number of examples of these. The space of bounded linear operators from one normed linear space to another is a normed linear space, and it is a Banach space if the range is a Banach space. Sections 2–3 concern Hilbert spaces. These are Banach spaces whose norms are induced by inner products. Section 2 shows that closed vector subspaces of such a space have orthogonal complements, and it shows the role of orthonormal bases for such a space. Section 3 concentrates on bounded linear operators from a Hilbert space to itself and constructs the adjoint of each such operator. Sections 4–6 prove the three main abstract theorems about the norm topology of general normed linear spaces—the Hahn–Banach Theorem, the Uniform Boundedness or Banach–Steinhaus Theorem, and the Interior Mapping Principle. A number of consequences of these theorems are given. The second and third of the theorems require some hypothesis of completeness. The topic of Hilbert and Banach spaces continues in Chapter IV of the companion volume, Advanced Real Analysis.

In this chapter, we continue our study of Banach and Hilbert spaces. Here, we mainly consider linear functionals, i.e., additive, homogeneous, and continuous number functions given on such spaces. The problems under consideration are mostly grouped around two fundamental facts, namely, the Hahn-Banach theorem on extensions of linear functionals and the Banach-Steinhaus theorem (the principle of uniform boundedness). The general form of linear continuous functionals in many important spaces and some geometric problems in the theory of Hilbert spaces are also investigated.

The completeness of metric linear spaces has important consequences for linear maps between such spaces. These are obtained as deductions from Baire’s theorem. They divide themselves into two groups, namely, the open mapping theorem and the closed graph theorem on one side and the principle of uniform boundedness and the Banach—Steinhaus theorem on the other. We begin with the first of the above groups.

There are excellent books on both functional analysis and summability. Most of them are very terse. In Functional Analysis and Summability, the author makes a sincere attempt for a gentle introduction of these topics to students. In the functional analysis component of the book, the Hahn–Banach theorem, Banach–Steinhaus theorem (or uniform boundedness principle), the open mapping theorem, the closed graph theorem, and the Riesz representation theorem are highlighted. In the summability component of the book, the Silverman–Toeplitz theorem, Schur’s theorem, the Steinhaus theorem, and the Steinhaus-type theorems are proved. The utility of functional analytic tools like the uniform boundedness principle to prove some results in summability theory is also pointed out. Features A gentle introduction of the topics to the students is attempted. Basic results of functional analysis and summability theory and their applications are highlighted. Many examples are provided in the text. Each chapter ends with useful exercises. This book will be useful to postgraduate students, pre-research level students, and research scholars in mathematics. Students of physics and engineering will also find this book useful since topics in the book also have applications in related areas.

CHAPTER 23 - Banach Spaces and Topology

We construct a locally convex topology which is stronger than the Mackey topology but still has the same bounded sets as the Mackey topology. We use this topology to give a locally convex version of the Uniform Bouudedness Principle which is valid without any completeness or barrelledness assumptions.

The first four sections of this chapter form its core and include classical topics such as bounded linear transformations, the open mapping theorem, the closed graph theorem, the uniform boundedness principle, and the Hahn-Banach theorem. The chapter includes a good number of applications of the four fundamental theorems of functional analysis. Sections 6.5 and 6.6 provide a good account of the properties of the spectrum and adjoint operators on Banach spaces. They may be largely bypassed, since the treatment of the corresponding topics for operators on Hilbert spaces in chapter 7 is self-contained. The section on weak topologies is more advanced and may be omitted if a brief introduction is the goal. The chapter is enriched by such topics as the best polynomial approximation, the Hilbert cube, Gelfand’s theorem, Schauder bases, complemented subspaces, and the Banach-Alaoglu theorem.

For vector lattices E and F, where F is Dedekind complete and supplied with a locally solid topology, we introduce the corresponding locally solid absolute strong operator topology on the order bounded operators {mathscr{L}}_{mathrm{ob}}(E,F) from E into F. Using this, it follows that {mathscr{L}}_{mathrm{ob}}(E,F) admits a Hausdorff uo-Lebesgue topology whenever F does. For each of order convergence, unbounded order convergence, and—when applicable—convergence in the Hausdorff uo-Lebesgue topology, there are both a uniform and a strong convergence structure on {mathscr{L}}_{mathrm{ob}}(E,F). Of the six conceivable inclusions within these three pairs, only one is generally valid. On the orthomorphisms of a Dedekind complete vector lattice, however, five are generally valid, and the sixth is valid for order bounded nets. The latter condition is redundant in the case of sequences of orthomorphisms, as a consequence of a uniform order boundedness principle for orthomorphisms that we establish. We furthermore show that, in contrast to general order bounded operators, orthomorphisms preserve not only order convergence of nets, but unbounded order convergence and—when applicable—convergence in the Hausdorff uo-Lebesgue topology as well.

Continuing our previous investigations on quantitative uniform boundedness and condensation principles, the present paper is concerned with some negative results in connection with Marchaud — type inequalities. The existence of the relevant counterexamples follows by means of a general theorem, given in terms of bounded, sublinear functionals on Banach spaces. The method of proof essentially consists in a quantitative version of the familiar gliding hump method. Emphasis is laid upon the treatment of some significant applications, illustrating the usefulness of the abstract approach.

This paper provides a uniform boundedness theorem for a class of convex operators, such as Banach–Steinhaus theorem for families of continuous linear operators. The case of continuous symmetric sublinear operators is outlined. Second, a general theorem characterizing the existence of the solution of the Markov moment problem is reviewed, and a related minimization problem is solved. Convexity is the common point of the two aims of the paper mentioned above.

Computable versions of the uniform boundedness theorem

In this paper we prove a uniform boundedness theorem and use it to show that if $fg$ is non-absolutely integrable on an interval in Euclidean space for each non-absolute integrable function $f$, then $g$ is almost everywhere a function of strongly bounded variation on $E$.