# The Closed Graph Theorem and the Space of Henstock-Kurzweil Integrable Functions with the Alexiewicz Norm

Authors: Luis Ángel Gutiérrez Méndez; Juan Alberto Escamilla Reyna; Maria Guadalupe Raggi Cárdenas; Juan Francisco Estrada García
Journal: Abstract and Applied Analysis
 (2013)

---

## Abstract

We prove that the cardinality of the spaceℋ𝒦([a,b]) is equal to the cardinality of real numbers. Based on this fact we show that there exists a norm on ℋ𝒦([a,b]) under which it is a Banach space. Therefore if we equip ℋ𝒦([a,b]) with the Alexiewicz topology then ℋ𝒦([a,b]) is not K-Suslin, neither infra-(u) nor a webbed space.


---

## Body

## 1. Introduction

Let[a,b] be a compact interval in ℝ. In the vector space of Henstock-Kurzweil integrable functions on [a,b] with values in ℝ the Alexiewicz seminorm is defined as
(1)∥f∥A=supa≤r≤b|∫ar‍f|.The corresponding normed space is built using the quotient space determined by the relationf~g  if and only iff=g, except in a set of Lebesgue measure zero or, equivalently, if they have the same indefinite integral. This normed space will be denoted by (ℋ𝒦([a,b]),∥·∥A) and its elements as f instead of [f].It is a known fact that the space(ℋ𝒦([a,b]),∥·∥A) is not complete nor of the second category [1]. However, the space (ℋ𝒦([a,b]),∥·∥A) has “nice” properties, from the point of view of functional analysis, since it is an ultrabornological space [2].Höning [3], using a version of the Closed Graph Theorem, proved that there is no natural Banach norm on the space ℋ𝒦([a,b]); even, for functions with values in a Banach space. Also, he observed that the same proof applies to prove that there is no natural Fréchet topology on the space ℋ𝒦([a,b]).Afterwards, using the same technique used by Höning, Merino improves Höning’s results in the sense that those results arise as corollaries of the following theorem.Theorem 1 (see [2]).
There exists no ultrabornological, infra-(u), natural, and complete topology on ℋ𝒦([a,b]).On the basis of Corollary7 we prove the following result: there exists a norm onℋ𝒦([a,b])under which it is a Banach space; see Proposition 9. Then, based on this fact and using the same techniques employed by Höning and Merino, we prove that the space (ℋ𝒦([a,b]),∥·∥A) does not have certain properties and we give an answer to two problems posed by Merino in [2, page 111]; namely, we will prove, in particular, that the space ℋ𝒦([a,b]) with the Alexiewicz topology is neither infra-(u) nor a webbed space.


## 2. Notation and Preliminaries

For the reader’s convenience, we restate some concepts about topological vector spaces that will be used later in this paper which can be found particularly in [4–6].Definition 2.
LetX and Y be topological spaces and let f:X→Y be a function. The graph of f is defined by {(x,f(x))∣x∈X}. It is said thatf has closed graph if its graph is a closed subset of X×Y with the product topology.It is a known fact that iff:X→Y is a continuous function between topological spaces, where Y is a Hausdorff space, then f has closed graph; however, the converse is not true in general. Precisely, the versions of the Closed Graph Theorem establish under what conditions the converse is fulfilled. Moreover, the importance of these theorems is that in certain contexts it is easier to prove that a function has closed graph than to prove that it is continuous; Propositions 10, 12, and 14 are examples of this fact.Definition 3.
A topological vector spaceX is locally convex if X has a local base of convex neighborhoods of 0.Definition 4.
LetX be a locally convex space. Then X is(i)
barrelled if every linear mapping with closed graph from X into a Banach space Y is continuous;(ii)
infra-(u) if every linear mapping with closed graph from a Banach space Y into X is continuous;(iii)
infra-(s) if every linear mapping with closed graph from a barrelled space Y into X is continuous.The above concepts have other equivalent characterizations. However, the characterizations that appear in the preceding definition are the best for the goals of this paper.Definition 5.
LetX be a locally convex space. It is said that X is a(i)
webbed space or De Wilde space if it admits a 𝒞-web;(ii)
convex-Suslin space if it admits a compacting web.Note.
The definitions of𝒞-web and compacting web are a bit too involved to be here. To see these definitions we refer the reader to [5].
Although webbed spaces are a subclass of infra-(u) spaces, the webbed spaces have more stability properties than infra-(u) spaces in the sense that every sequentially closed subspace and every quotient of a webbed space are webbed spaces. Also the inductive and projective limits and the direct sums and direct products of a countable number of webbed spaces are webbed spaces. Furthermore, if X is a webbed space, then it also will be with a weaker topology. In the other direction, if X is a webbed space, it also will be with the associated ultrabornological topology.
Some stability properties that enjoy the convex-Suslin spaces are the following: the countable product of convex-Suslin spaces is convex-Suslin and every closed subspace of a convex-Suslin space is a convex-Suslin space. Moreover, these spaces play a version of Closed Graph Theorem as set forth below.Theorem 6 (see [6]).
LetY be a locally convex Baire space and let X be a convex-Suslin space. If f is a linear mapping from Y into X with closed graph, then f is continuous.Now, we establish the notations that we will use throughout this paper.(i)
LetX be a vector space.
(a)
All vector spaces that appear throughout this paper are considered over the field of the real or complex numbers.(b)
The cardinality ofX will be denoted by card(X).(c)
The cardinality of a Hamel base or algebraic base is denoted bydim(X). It is a known fact that every Hamel base in a vector space has the same cardinality.(ii)
The symbolsℵ0,c and cℵ0 will denote the cardinality of the natural numbers, ℕ, of the real numbers, ℝ, and of the set {f:ℕ→ℝ∣fisafunction}, respectively.(iii)
We will denote the set of continuous functions with real values whose domain is the compact interval[a,b] by (𝒞[a,b],ℝ).(iv)
L1[a,b] will denote the space of equivalence classes of the Lebesgue integrable functions with its usual norm. It is a known fact that L1[a,b]⊂ℋ𝒦([a,b]) and ∥f∥A≤∥f∥1, for all f∈L1[a,b].The following result establishes necessary and sufficient conditions to determine when a vector space has a norm under which it is a Banach space. This result is the foundation of the goals of this paper.Corollary 7 (see [7]).
LetX be a vector space. Then, X is a Banach space under some norm if and only if dim(X)<ℵ0 or dim(X)ℵ0=dim(X).


## 3. Principal Results

Lemma 8.
The cardinality of the spaceℋ𝒦([a,b]) is equal to the cardinality of real numbers.Proof.
Since the applicationG:ℋ𝒦([a,b])→(𝒞[a,b],ℝ) defined by G(f)=F, where F is the indefinite integral associated to f, is injective, it holds that card(ℋ𝒦([a,b]))≤card((𝒞[a,b],ℝ))=c.
On the other hand, as the constant functions are Henstock-Kurzweil integrables, it follows that(2)c=card({g:[a,b]→ℝ∣gisaconstantfunction})card(ℋ𝒦([a,b])).
Therefore, card(ℋ𝒦([a,b]))=c.Proposition 9.
There exists a norm onℋ𝒦([a,b]) under which it is a Banach space.Proof.
It is a known fact thatL1[a,b] is a Banach space of infinite dimension, which implies that c≤dim(L1[a,b]). Then, as L1[a,b]⊂ℋ𝒦([a,b]) it holds that dim(L1[a,b])≤dim(ℋ𝒦([a,b]))≤card(ℋ𝒦([a,b])). Therefore, by Lemma 8, Corollary 7 and the known fact that cℵ0=c, we obtain the desired conclusion.Hereafter, the Alexiewicz topology and the topology induced by the norm of Proposition9 will be denoted as τA and τ∥·∥, respectively.Proposition 10.
The topologyτ∥·∥ on ℋ𝒦([a,b]) is smaller than τA.Proof.
Let∥·∥ be the norm ensured by Proposition 9. By [3], (ℋ𝒦([a,b]),τA) is barrelled and, therefore, the identity function
(3)ℐ:(ℋ𝒦([a,b]),τA)→(ℋ𝒦([a,b]),τ∥·∥),
which has a closed graph, is continuous; hence τ∥·∥⊆τA. In addition, since that τA is not complete [3], it holds that τ∥·∥⊂τA.Although(ℋ𝒦([a,b]),τ∥·∥) is a Banach space, according to [3] the topology τ∥·∥ is not natural in the sense of the following definition.Definition 11.
A vector topologyτ on ℋ𝒦([a,b]) is natural if every sequence fn in ℋ𝒦([a,b]) such that fn→τ0 implies that ∫ax‍fn→0, for every x∈[a,b].Now, we shall prove that the space(ℋ𝒦([a,b]),τA) is not infra-(u) which follows from the following general result.Proposition 12.
Let(X,τ) be a barrelled space that is not complete. If there exists a norm on X under which it is a Banach space, then X is not an infra-(u) space.Proof.
Let∥·∥ be a norm in X such that (X,∥·∥) is a Banach space and suppose that (X,τ) is an infra-(u) space. Since (X,τ) is a barrelled space, it holds that the identity function
(4)ℐ:(X,τ)→(X,∥·∥),
which has a closed graph, is continuous; hence τ∥·∥⊆τ. Then, as (X,τ) is infra-(u) and (X,∥·∥) is a Banach space, it follows that
(5)ℐ-1:(X,∥·∥)→(X,τ)
is continuous; hence τ⊆τ∥·∥.
Thereforeτ=τ∥·∥ is a contradiction because τ is not complete.Corollary 13.
The space(ℋ𝒦([a,b]),τA) is not infra-(u).Proof.
On the basis of Proposition9 there exists a norm on ℋ𝒦([a,b]) under which it is a Banach space. Furthermore, according to [3] the space (ℋ𝒦([a,b]),τA) is barrelled but not complete. Therefore, it follows from Proposition 12 that (ℋ𝒦([a,b]),τA) is not infra-(u).On the basis of Corollary13 we see that (ℋ𝒦([a,b]),τA) is not a webbed space. Moreover, the same result implies that (ℋ𝒦([a,b]),τA) is not an infra-(s) space, a fact that Merino has already proved in [2].On the other hand, employing the same technique that we have been using entails the following result.Proposition 14.
The space(ℋ𝒦([a,b]),τA) is not a convex-Suslin space.Proof.
Suppose that(ℋ𝒦([a,b]),τA) is a convex-Suslin space. On the basis of Proposition 9 we see that (ℋ𝒦([a,b]),τ∥·∥) is a locally convex Baire space; therefore, according to Theorem 6 the identity function
(6)ℐ:(ℋ𝒦([a,b]),τ∥·∥)→(ℋ𝒦([a,b]),τA),
which has a closed graph, is continuous, contradicting Proposition 10.Since K-Suslin spaces are a subclass from convex-Suslin spaces, [6], we can see, on the basis of Proposition 14, that (ℋ𝒦([a,b]),τA) is not a K-Suslin space.Although apparently the topologyτ∥·∥ is not directly related with the Henstock-Kurzweil integral, this topology allowed us to demonstrate some properties that the Alexiewicz topology does not have, which is a topology related to the Henstock-Kurzweil integral since it is a natural topology.


## Comments

(i)
There are other types of spaces which enjoy certain versions of Closed Graph Theorem, for example, the spaces: Suslin, quasi-Suslin, [8], and A-complete, [9]; Ptak and infra-Pták [10]; strongly first-countable convergence vector space [11]; and so forth. Then, applying the same technique that we have used in this paper it can be shown that the space (ℋ𝒦([a,b]),τA) does not belong to any class of the spaces above.
(ii)
As another application of the technique which has been used in this paper and reiterating the known fact thatL1[a,b]⊂ℋ𝒦([a,b]) and ∥f∥A≤∥f∥1, for all f∈L1[a,b], it can be shown that (L1[a,b],∥·∥A) is not a barrelled space and therefore not an ultrabornological space.



---

*Source: 476287-2013-02-21.xml*