Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 476287, 4 pages http://dx.doi.org/10.1155/2013/476287

Research Article The Theorem and the Space of Henstock-Kurzweil Integrable Functions with the Alexiewicz

Luis Ángel Gutiérrez Méndez, Juan Alberto Escamilla Reyna, Maria Guadalupe Raggi Cárdenas, and Juan Francisco Estrada García Facultad de Ciencias F´ısico Matematicas,´ Benemerita´ Universidad Autonoma´ de Puebla, Avenida San Claudio y 18 Sur, ColoniaSanManuel,72570Puebla,PUE,Mexico

Correspondence should be addressed to Luis Angel´ Gutierrez´ Mendez;´ [email protected]

Received 5 June 2012; Accepted 25 December 2012

Academic Editor: Martin Schechter

Copyright © 2013 Luis Angel´ Gutierrez´ Mendez´ et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

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

1. Introduction Afterwards, using the same technique used byHoning,¨ Merino improves Honing’s¨ results in the sense that those [𝑎, 𝑏] R Let be a compact interval in .Inthevectorspaceof results arise as corollaries of the following theorem. Henstock-Kurzweil integrable functions on [𝑎, 𝑏] with values in R the Alexiewicz is defined as Theorem 1 (see [2]). There exists no ultrabornological, infra- 󵄨 󵄨 (𝑢), natural, and complete topology on HK([𝑎, 𝑏]). 󵄩 󵄩 󵄨 𝑟 󵄨 󵄩𝑓󵄩 = 󵄨∫ 𝑓󵄨 . 󵄩 󵄩𝐴 sup 󵄨 󵄨 (1) 𝑎≤𝑟≤𝑏 󵄨 𝑎 󵄨 On the basis of Corollary 7 we prove the following result: there exists a norm on HK([𝑎, 𝑏]) under which it is a The corresponding normed space is built using the Banach space; see Proposition 9.Then,basedonthisfactand quotient space determined by the relation 𝑓∼𝑔if and only if using the same techniques employed by Honing¨ and Merino, 𝑓=𝑔, except in a set of Lebesgue measure zero or, equivalently, we prove that the space (HK([𝑎, 𝑏]), ‖⋅𝐴) does not have if they have the same indefinite . This normed space certain properties and we give an answer to two problems will be denoted by (HK([𝑎, 𝑏]),𝐴 ‖⋅ ) and its elements as 𝑓 posedbyMerinoin[2, page 111]; namely, we will prove, in instead of [𝑓]. particular, that the space HK([𝑎, 𝑏]) with the Alexiewicz 𝑢 It is a known fact that the space (HK([𝑎, 𝑏]),𝐴 ‖⋅ ) is not topology is neither infra-( )norawebbedspace. complete nor of the second category [1]. However, the space (HK([𝑎, 𝑏]), ‖⋅ ) 𝐴 has “nice” properties, from the point of 2. Notation and Preliminaries view of , since it is an [2]. For the reader’s convenience, we restate some concepts about Honing¨ [3], using a version of the , topological vector spaces that will be used later in this paper proved that there is no natural Banach norm on the space which can be found particularly in [4–6]. HK([𝑎, 𝑏]); even, for functions with values in a Banach space.Also,heobservedthatthesameproofappliesto Definition 2. Let 𝑋 and 𝑌 be topological spaces and let prove that there is no natural Frechet´ topology on the space 𝑓:𝑋be →𝑌 a function. The graph of 𝑓 is defined by HK([𝑎, 𝑏]). {(𝑥, 𝑓(𝑥)) .| 𝑥∈𝑋} 2 Abstract and Applied Analysis

It is said that 𝑓 has closed graph if its graph is a closed Now, we establish the notations that we will use through- subset of 𝑋×𝑌with the product topology. out this paper.

It is a known fact that if 𝑓:𝑋is →𝑌 a continuous (i) Let 𝑋 be a . function between topological spaces, where 𝑌 is a Hausdorff space, then 𝑓 hasclosedgraph;however,theconverseisnot (a)Allvectorspacesthatappearthroughoutthis true in general. Precisely, the versions of the Closed Graph paper are considered over the field of the real or Theorem establish under what conditions the converse is complex numbers. fulfilled. Moreover, the importance of these theorems is that (b) The cardinality of 𝑋 will be denoted by card(𝑋). in certain contexts it is easier to prove that a function has (c) The cardinality of a Hamel base or algebraic base closed graph than to prove that it is continuous; Propositions is denoted by dim(𝑋). It is a known fact that 10, 12,and14 are examples of this fact. every Hamel base in a vector space has the same Definition 3. A 𝑋 is locally convex if cardinality. 𝑋 has a local base of convex neighborhoods of 0. ℵ0 (ii) The symbols ℵ0,𝑐 and 𝑐 will denote the cardinality Definition 4. Let 𝑋 be a locally convex space. Then 𝑋 is of the natural numbers, N,oftherealnumbers,R,and of the set {𝑓 : N → R |𝑓is a function},respec- (i) barrelled if every linear mapping with closed graph tively. 𝑋 𝑌 from into a Banach space is continuous; (iii) We will denote the set of continuous functions with (ii) infra-(𝑢) if every linear mapping with closed graph real values whose domain is the compact interval [𝑎, 𝑏] (C[𝑎, 𝑏], R) from a Banach space 𝑌 into 𝑋 is continuous; by . 𝐿1[𝑎, 𝑏] (iii) infra-(𝑠) if every linear mapping with closed graph (iv) will denote the space of equivalence classes of 𝑌 𝑋 theLebesgueintegrablefunctionswithitsusualnorm. from a into is continuous. 1 It is a known fact that 𝐿 [𝑎, 𝑏] ⊂ HK([𝑎, 𝑏]) and ‖𝑓‖ ≤‖𝑓‖ 𝑓∈𝐿1[𝑎, 𝑏] The above concepts have other equivalent characteri- 𝐴 1,forall . zations. However, the characterizations that appear in the preceding definition are the best for the goals of this paper. The following result establishes necessary and sufficient conditions to determine when a vector space has a norm Definition 5. Let 𝑋 be a locally convex space. It is said that 𝑋 under which it is a Banach space. This result is the foundation is a of the goals of this paper. Corollary 7 𝑋 𝑋 (i) webbed space or De Wilde space if it admits a C-web; (see [7]). Let be a vector space. Then, is a Banach space under some norm if and only if dim(𝑋) < ℵ0 or ℵ (ii) convex-Suslin space if it admits a compacting web. dim (𝑋) 0 = dim(𝑋). Note. The definitions of C-web and compacting web are a bit too involved to be here. To see these definitions we refer the 3. Principal Results reader to [5]. Lemma 8. The cardinality of the space HK([𝑎, 𝑏]) is equal to Although webbed spaces are a subclass of infra-(𝑢) the cardinality of real numbers. spaces, the webbed spaces have more stability properties than 𝑢 infra-( ) spaces in the sense that every sequentially closed Proof. Since the application 𝐺:HK([𝑎, 𝑏]) →(C[𝑎, 𝑏], R) subspace and every quotient of a webbed space are webbed defined by 𝐺(𝑓),where =𝐹 𝐹 is the indefinite integral spaces. Also the inductive and projective limits and the direct associated to 𝑓,isinjective,itholdsthatcard(HK([𝑎, 𝑏])) ≤ sums and direct products of a countable number of webbed ((C[𝑎, 𝑏], R)) = 𝑐 𝑋 card . spaces are webbed spaces. Furthermore, if is a webbed On the other hand, as the constant functions are space, then it also will be with a weaker topology. In the other Henstock-Kurzweil integrables, it follows that direction, if 𝑋 isawebbedspace,italsowillbewiththe associated ultrabornological topology. 𝑐=card ({𝑔 : [𝑎,] 𝑏 󳨀→ R |𝑔is a constant function}) Some stability properties that enjoy the convex-Suslin (2) spaces are the following: the countable product of convex- ≤ card (HK ([𝑎,] 𝑏 )) . Suslin spaces is convex-Suslin and every closed subspace of a convex-Suslin space is a convex-Suslin space. Moreover, these Therefore, card(HK([𝑎, 𝑏])). =𝑐 spaces play a version of Closed Graph Theorem as set forth below. Proposition 9. There exists a norm on HK([𝑎, 𝑏]) under which it is a Banach space. Theorem 6 𝑌 (see [6]). Let be a locally convex and 1 let 𝑋 be a convex-Suslin space. If 𝑓 is a linear mapping from 𝑌 Proof. It is a known fact that 𝐿 [𝑎, 𝑏] is a Banach space of 1 into 𝑋 with closed graph, then 𝑓 is continuous. infinite dimension, which implies that 𝑐≤dim(𝐿 [𝑎, 𝑏]). Abstract and Applied Analysis 3

1 1 Then, as 𝐿 [𝑎, 𝑏] ⊂ HK([𝑎, 𝑏]) it holds that dim(𝐿 [𝑎, 𝑏]) ≤ On the basis of Corollary 13 we see that (HK([𝑎, 𝑏]),𝐴 𝜏 ) dim(HK([𝑎, 𝑏])) ≤ card(HK([𝑎, 𝑏])). Therefore, by is not a webbed space. Moreover, the same result implies that ℵ Lemma 8, Corollary 7 and the known fact that 𝑐 0 =𝑐,we (HK([𝑎, 𝑏]),𝐴 𝜏 ) is not an infra-(𝑠)space,afactthatMerino obtain the desired conclusion. has already proved in [2]. On the other hand, employing the same technique that we Hereafter, the Alexiewicz topology and the topology have been using entails the following result. induced by the norm of Proposition 9 will be denoted as 𝜏𝐴 Proposition 14. (HK([𝑎, 𝑏]), 𝜏 ) and 𝜏‖⋅‖,respectively. The space 𝐴 is not a convex- Suslin space. Proposition 10. The topology 𝜏‖⋅‖ on HK([𝑎, 𝑏]) is smaller (HK([𝑎, 𝑏]), 𝜏 ) than 𝜏𝐴. Proof. Suppose that 𝐴 is a convex- Suslin space. On the basis of Proposition 9 we see that Proof. Let ‖⋅‖be the norm ensured by Proposition 9.By (HK([𝑎, 𝑏]),‖⋅‖ 𝜏 ) is a locally convex Baire space; therefore, [3], (HK([𝑎, 𝑏]),𝐴 𝜏 ) is barrelled and, therefore, the identity according to Theorem 6 the identity function function I : (HK ([𝑎,] 𝑏 ) ,𝜏‖⋅‖) 󳨀→ (HK ([𝑎,] 𝑏 ) ,𝜏𝐴) , (6) I :(HK ([𝑎,] 𝑏 ) ,𝜏𝐴)󳨀→(HK ([𝑎,] 𝑏 ) ,𝜏‖⋅‖), (3) which has a closed graph, is continuous, contradicting which has a closed graph, is continuous; hence 𝜏‖⋅‖ ⊆𝜏𝐴.In Proposition 10. addition, since that 𝜏𝐴 is not complete [3], it holds that 𝜏‖⋅‖ ⊂ SinceK-Suslinspacesareasubclassfromconvex-Suslin 𝜏𝐴. spaces, [6], we can see, on the basis of Proposition 14,that (HK([𝑎, 𝑏]),𝐴 𝜏 ) is not a K-Suslin space. Although (HK([𝑎, 𝑏]),‖⋅‖ 𝜏 ) is a Banach space, according Although apparently the topology 𝜏‖⋅‖ is not directly to [3]thetopology𝜏‖⋅‖ is not natural in the sense of the following definition. related with the Henstock-Kurzweil integral, this topology allowed us to demonstrate some properties that the Alex- Definition 11. Avectortopology𝜏 on HK([𝑎, 𝑏]) is natural iewicz topology does not have, which is a topology related to 𝜏 the Henstock-Kurzweil integral since it is a natural topology. if every sequence 𝑓𝑛 in HK([𝑎, 𝑏]) such that 𝑓𝑛 →0󳨀 implies 𝑥 that ∫ 𝑓𝑛 →0,forevery𝑥∈[𝑎,𝑏]. 𝑎 Comments

Now, we shall prove that the space (HK([𝑎, 𝑏]),𝐴 𝜏 ) is not (i) There are other types of spaces which enjoy certain infra-(𝑢) which follows from the following general result. versions of Closed Graph Theorem, for example, Proposition 12. Let (𝑋, 𝜏) beabarrelledspacethatisnot the spaces: Suslin, quasi-Suslin, [8], and A-complete, complete. If there exists a norm on 𝑋 under which it is a Banach [9]; Ptak and infra-Ptak´ [10]; strongly first-countable space, then 𝑋 isnotaninfra-(𝑢)space. convergence vector space [11]; and so forth. Then, applyingthesametechniquethatwehaveusedinthis (HK([𝑎, 𝑏]), 𝜏 ) Proof. Let ‖⋅‖be a norm in 𝑋 such that (𝑋, ‖ ⋅ ‖) is a Banach paperitcanbeshownthatthespace 𝐴 space and suppose that (𝑋, 𝜏) is an infra-(𝑢) space. Since does not belong to any class of the spaces above. (𝑋, 𝜏) is a barrelled space, it holds that the identity function (ii) As another application of the technique which has been used in this paper and reiterating the known I : (𝑋, 𝜏) 󳨀→ (𝑋, ‖⋅‖) , 1 (4) fact that 𝐿 [𝑎, 𝑏] ⊂ HK([𝑎, 𝑏]) and ‖𝑓‖𝐴 ≤ 1 ‖𝑓‖1,forall𝑓∈𝐿[𝑎, 𝑏],itcanbeshownthat which has a closed graph, is continuous; hence 𝜏‖⋅‖ ⊆𝜏.Then, 1 (𝐿 [𝑎, 𝑏], ‖𝐴 ⋅‖ ) is not a barrelled space and therefore as (𝑋, 𝜏) is infra-(𝑢)and(𝑋, ‖ ⋅ ‖) is a Banach space, it follows not an ultrabornological space. that

−1 I : (𝑋, ‖⋅‖) 󳨀→ (𝑋, 𝜏) (5) Acknowledgment is continuous; hence 𝜏⊆𝜏‖⋅‖. This paper is supported by the Committee of Differential Therefore 𝜏=𝜏‖⋅‖ is a contradiction because 𝜏 is not Equations and Mathematical Modeling from FCFM-BUAP complete. through Dr. Jose´ Jacobo Oliveros Oliveros. Corollary 13. (HK([𝑎, 𝑏]), 𝜏 ) 𝑢 The space 𝐴 is not infra-( ). References

Proof. On the basis of Proposition 9 there exists a norm on [1] C. Swartz, Introduction to Gauge , World Scientific, HK([𝑎, 𝑏]) under which it is a Banach space. Furthermore, Singapore, 2001. according to [3] the space (HK([𝑎, 𝑏]),𝐴 𝜏 ) is barrelled but [2]J.L.G.Merino,IntegracionesdeDenjoydefuncionesconvalores not complete. Therefore, it follows from Proposition 12 that en espacios de Banach [Ph.D. thesis], Universidad Complutense (HK([𝑎, 𝑏]),𝐴 𝜏 ) is not infra-(𝑢). de Madrid, 1997. 4 Abstract and Applied Analysis

[3] C. S. Honing,¨ “There is no natural Banach space norm on the space of Kurzweil-Henstock-Denjoy-Perron integrable func- tions,”in Proceedings of the 30th Seminario Brasileiro de Analise´ , October 1989. [4] P. Perez´ Carreras and J. Bonet, Barrelled Locally Convex Spaces, vol. 131 of North-Holland Mathematics Studies,North-Holland, Amsterdam, The Netherlands, 1987. [5] G. Kothe,¨ Topological Vector Spaces. II,vol.237ofGrundlehren der Mathematischen Wissenschaften, Springer, New York, NY, USA, 1979. [6] J. C. Ferrando, “On convex-Suslin spaces,” Acta Mathematica Hungarica,vol.55,no.3-4,pp.201–206,1990. [7] A. H. Kruse, “Badly incomplete normed linear spaces,” Mathe- matische Zeitschrift,vol.83,pp.314–320,1964. [8] M. Nakamura, “On quasi-Souslin space and closed graph theorem,” Proceedings of the Japan Academy,vol.46,pp.514– 517, 1970. [9] Q. D. Zhu and Z. X. Zhao, “A-complete spaces and the closed graph theorem,” Acta Mathematica Sinica,vol.24,no.6,pp.833– 836, 1981. [10] E. Pap and C. Swartz, “On the closed graph theorems,” in Generalized Functions and Convergence, pp. 355–359, World Scientific, Teaneck, NJ, USA, 1990. [11] R. Beattie and H.-P. Butzmann, “Countability, completeness andtheclosedgraphtheorem,”inGeneralized Functions, Convergence Structures, and Their Applications,pp.375–381, Plenum Press, New York, NY, USA, 1988. Copyright of Abstract & Applied Analysis is the property of Hindawi Publishing Corporation and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.