General Riemann Integrals and Their Computation Via Domain
Total Page:16
File Type:pdf, Size:1020Kb
Louisiana State University LSU Digital Commons LSU Historical Dissertations and Theses Graduate School 1999 General Riemann Integrals and Their omputC ation via Domain. Bin Lu Louisiana State University and Agricultural & Mechanical College Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_disstheses Recommended Citation Lu, Bin, "General Riemann Integrals and Their omputC ation via Domain." (1999). LSU Historical Dissertations and Theses. 7001. https://digitalcommons.lsu.edu/gradschool_disstheses/7001 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Historical Dissertations and Theses by an authorized administrator of LSU Digital Commons. For more information, please contact [email protected]. INFORMATION TO USERS This manuscript has been reproduced from the microfilm master. UMI films the text directly from the original or copy submitted. Thus, some thesis and dissertation copies are in typewriter face, while others may be from any type of computer printer. The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, phnt bleedthrough, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send UMI a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion. Oversize materials (e.g., maps, drawings, charts) are reproduced by sectioning the original, beginning at the upper left-hand comer and continuing from left to right in equal sections with small overlaps. Each original is also photographed in one exposure and is included in reduced form at the back of the book. Photographs included in the original manuscript have been reproduced xerographically in this copy. Higher quality 6” x 9” black and white photographic prints are available for any photographs or illustrations appearing in this copy for an additional charge. Contact UMI directly to order. UMI* Bell & Howell Information and Learning 300 North Zeeb Road, Ann Artx)r, Ml 48106-1346 USA 800-521-0600 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. GENERAL RIEMANN INTEGRALS AND THEIR COMPUTATION VIA DOMAIN A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfilment of the requirements for the degree of Doctor of Philosophy in The Department of Mathematics by Bin Lu B.S., Shaanxi Mechanical Engineering Institute, 1982 M.S., Tennessee Teclmological University, 1994 M.S., Louisiana State University, 1996 August 1999 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. UMI Number: 9945728 UMI Microform 9945728 Copyright 1999, by UMI Company. All rights reserved. This microform edition is protected against unauthorized copying under Title 17, United States Code. UMI 300 North Zeeh Road Ann Arbor, MI 48103 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. ACKNOWLEDGMENTS It would be impossible for me to finish this dissertation without the guidance, advice, and encouragement from my doctoral advisor, Professor Jimmie Lawson. I am very grateful for his dedications and efforts that introduced me into this research project and some other research areas, I thank him. Thanks also to my committee members. Professor Delzell, Professor Dorroh, Professor Hildebrant, Professor Rau, and Professor Sundar for their comments, especially thanks to Professor Delzell for his T^pCnical help. I would like to thank Mathematics Depaurtment at LSU for the financial support during the years of graduate studies. Finally I thank all prayers and supports from my family and friends here in this country and in China through many years of graduate studies. u Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. TABLE OF CONTENTS A C K N O W L E D G M E N T S ..................................................................................................ii ABSTRACT ..........................................................................................................................iv CHAPTER 1. INTRODUCTION ..................................................................................... I CHAPTER 2. RIEMANN-LIKE INTEGRATION ........................................................8 2.1. Algebras of Sets and Measures .........................................................................8 2.2. Definitions and Basic R esults .............................................................................9 2.3. Integrability of ^-measurable Functions ......................................................17 2.4. Integration on S u b s e ts ....................................................................................... 22 CHAPTER 3. EXTENSIONS OF THE INTEGRATION .....................................26 3.1. Integration of ^-measurable Functions ..........................................................26 3.2. Integration of ^-measurable Functions ..........................................................31 3.3. Integration of the Crescent Continuous Functions .....................................32 CHAPTER 4. ORDER-PRESERVING FUNCTIONS ............................................. 36 4.1. Integrals with Respect to Simple Valuations ..................................................36 4.1.1. Integrability with Respect to Simple V aluations ............................ 36 4.1.2. Integrals with Respect to Simple Valuations .................................38 4.2. Integrals of Order-Preserving Functions ......................................................39 4.2.1. Basics of the Domain T heory .............................................................. 39 4.2.2. Integrals of the Order-Preserving Functions .....................................42 CHAPTER 5. ON MAXIMAL POINT SPA CES ......................................................52 5.1. Maximal Point Space ....................................................................................... 52 5.2. Probabilistic Power Domain on the Upper Space .........................................55 5.3. The Generalized Riemann Integral .................................................................. 57 5.4. Integration on Maximal Point S pace .............................................................. 60 CHAPTER 6. HECKMANN’S APPROACH .............................................................. 69 6.1. Some Basics ................................................................................... 69 6.2. Heckmann’s A pproacli ....................................................................................... 72 6.3. Equivalence of Integrations ...............................................................................73 REFERENCES .................................................................................................................77 VITA ...................................................................................................................................... 79 111 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. ABSTRACT In this work we extend the domain-theoretic approach of the generalized Riemann integral introduced by A. Edalat in 1995. We begin by laying down a related theory of general Riemann integration for bounded real-valued functions on an arbitrary set X with a finitely additive measure on an algebra of subsets of X. Based on the theory developed we obtain a formula to calculate integral of a bounded function in terms of the regular Riemann integral. By the classical extension theorems on set functions we can further extend this generalized Riemann integral to more general set functions such as valuations on lattices of subsets. For the setting of bounded functions defined on a continuous domain D with a Borel measure for the Scott topology, we can compute the Riemann integral of a function effectively and so the value of the integral can be obtained up to a given accuracy. By invoking the results of J. Lawson we can extend this type of Riemann integral to maximal point spaces, as a special case of the Polish spaces. Furthermore we show that whenX is a compact metric space, our approach of Riemann integration is equivalent to the generalized Riemami integration introduced by A. Edalat in the sense that the two integrals yield the same value. Finally we prove that the approach of integration taken by R. Heckinann is equivalent to our approach, and the values of the integrals are the same. IV Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. CHAPTER 1. INTRODUCTION The theory of Riemann integration of real-valued functions was developed by Fourier, Cauchy, Dirichlet, Riemann and Darboux, along with other mathematicians of the last century. With its simple and constructive features it became as it is today a foundation of calculus with applications in all fields of sciences. Even shortly after this theory was introduced, mathematicians of the era realized that the integral had serious shortcomings.