DOCSLIB.ORG

True Infinitesimal Differential Geometry Mikhail G. Katz∗ Vladimir

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
True Infinitesimal Differential Geometry Mikhail G. Katz∗ Vladimir True infinitesimal differential geometry Mikhail G. Katz∗ Vladimir Kanovei Tahl Nowik M. Katz, Department of Mathematics, Bar Ilan Univer- sity, Ramat Gan 52900 Israel E-mail address: [email protected] V. Kanovei, IPPI, Moscow, and MIIT, Moscow, Russia E-mail address: [email protected] T. Nowik, Department of Mathematics, Bar Ilan Uni- versity, Ramat Gan 52900 Israel E-mail address: [email protected] ∗Supported by the Israel Science Foundation grant 1517/12. Abstract. This text is based on two courses taught at Bar Ilan University. One is the undergraduate course 89132 taught to a group of about 120 freshmen. This course used infinitesimals to introduce all the basic concepts of the calculus, mainly following Keisler’s textbook. The other is the graduate course 88826 taught to about 10 graduate students. The graduate course developed two viewpoints on infinitesimal generators of flows on manifolds. Much of what we say here is deeply affected by the pedagogical experience of teaching the two groups. The classical notion of an infinitesimal generator of a flow on a manifold is a (classical) vector field whose relation to the actual flow is expressed via integration. A true infinitesimal framework allows one to re-develop the foundations of differential geometry in this area. The True Infinitesimal Differential Geometry (TIDG) framework enables a more transparent relation between the infini- tesimal generator and the flow. Namely, we work with a combinatorial object called a hyper- real walk constructed by hyperfinite iteration. We then deduce the continuous flow as the real shadow of the said walk. Namely, a vector field is defined via an infinitesimal displace- ment in the manifold itself. Then the walk is obtained by iteration rather than integration. We introduce synthetic combinatorial con- ditions Dk for the regularity of a vector field, replacing the classical analytic conditions of Ck type, that guarantee the usual theorems such as uniqueness and existence of solution of ODE locally, Frobe- nius theorem, Lie bracket, small oscillations of the pendulum, and other concepts. Here we cover vector fields, infinitesimal generator of flow, Frobenius theorem, hyperreals, infinitesimals, transfer principle, ultrafilters, ultrapower construction, hyperfinite partitions, micro- continuity, internal sets, halo, prevector, prevector field, regularity conditions for prevector fields, flow of a prevector field, relation to classical flow. Contents Chapter 1. Preface 11 Part 1. True Infinitesimal Differential Geometry 13 Chapter 2. Introduction 15 2.1. Breakdown by chapters 16 2.2. Historical remarks 17 2.3. Preview of flows and infinitesimal generators 18 Chapter 3. A hyperreal view 19 3.1. Successive extensions N, Z, Q, R, ∗R 19 3.2. Motivating discussion for infinitesimals 20 3.3. Introduction to the transfer principle 21 3.4. Transfer principle 24 3.5. Orders of magnitude 25 3.6. Standard part principle 27 3.7. Differentiation 27 Chapter 4. Ultrapower construction and transfer principle 31 4.1. Introduction to filters 31 4.2. Examples of Filters 32 4.3. Properties of filters 33 4.4. Real number field as quotient of sequences of rationals 34 4.5. Extension of Q 34 4.6. Examples of infinitesimals 34 4.7. Ultrapower construction of the hyperreal field 35 Chapter 5. Microcontinuity, EVT, internal sets 37 5.1. Construction via equivalence relation 37 5.2. Extending the ordered field language 37 5.3. Existential and Universal Transfer 39 5.4. Examples of first order statements 39 5.5. Galaxies 41 5.6. Microcontinuity 43 5.7. Uniform continuity in terms of microcontinuity 45 3 4 CONTENTS 5.8. Hyperreal extreme value theorem 46 5.9. Intermediate value theorem 47 5.10. Ultrapower construction applied to (R); internal sets 48 5.11. The set of infinite hypernaturals is notP internal 49 5.12. Transfering the well-ordering of N; Henkin semantics 50 5.13. From hyperrationals to reals via ultrapower 51 5.14. Repeatingtheconstruction 53 Chapter 6. Application: small oscillations of a pendulum 55 6.1. Small oscillations of a pendulum 55 6.2. Vector fields, walks, and flows 56 6.3. The hyperreal walk and the real flow 57 6.4. Adequality pq 58 6.5. Infinitesimal oscillations 59 6.6. Linearisation 59 6.7. Adjusting linear prevector field 60 6.8. Conclusion 60 Chapter 7. Differentiable manifolds 63 7.1. Definition of differentiable manifold 63 7.2. Open submanifolds, Cartesian products 64 7.3. Tori 65 7.4. Projective spaces 66 7.5. Definition of a vector field 67 7.6. Zeros of vector fields 68 7.7. 1-parameter groups of transformations of a manifold 69 7.8. Invariance of infinitesimal generator under flow 70 7.9. Lie derivative and Lie bracket 71 Chapter 8. Theorem of Frobenius 73 8.1. Invariance under diffeomorphism 73 8.2. Frobenius thm, commutation of vector fields and flows 75 8.3. Proof of Frobenius 76 8.4. A-trackandB-trackapproaches 78 8.5. Relations of and 78 8.6. Smooth manifolds;≺ notion≺≺ nearstandardness 79 8.7. Results for general culture on topology 80 Chapter 9. Gradients, Taylor, prevectorfields 83 9.1. Propertiesofthenaturalextension 83 9.2. Remarks on gradient 83 9.3. Prevectors 85 9.4. Tangent space to a manifold via prevectors 86 CONTENTS 5 9.5. Action of a prevector on smooth functions 87 9.6. Maps acting on prevectors 88 Chapter 10. Prevector fields, classes D1 and D2 91 10.1. Prevector fields 91 10.2. Realizing classical vector fields 92 10.3. Regularity class D1 for prevectorfields 94 10.4. Second differences, class D2 94 10.5. Secord-order mean value theorem 95 10.6. The condition C2 implies D2 96 10.7. Bounds for D1 prevector fields 97 Chapter 11. Prevectorfield bounds via underspill, walks, flows 99 11.1. Operations on prevector fields 99 11.2. Sharpening the bounds via underspill 100 11.3. Further bounds via underspill 101 11.4. Global prevector fields, walks, and flows 102 11.5. Internal induction 104 11.6. Dependence on initial condition and prevector field 104 11.7. Dependence on initial conditions for local prevector field 106 11.8. Inducing a real flow 108 11.9. Geodesic flow 109 Chapter 12. Universes, transfer 111 12.1. Universes 111 12.2. Therealsasthebaseset 112 12.3. More sets in universes 113 12.4. Membership relation 114 12.5. Ultrapower construction of nonstandard universes 114 12.6. Los theorem 117 12.7. Elementary embedding 119 12.8. Definability 122 12.9. Conservativity 123 Chapter13. Moreregularity 127 13.1. D2 implies D1 127 13.2. Injectivity 128 13.3. Time reversal 129 Part 2. 500 yrs of infinitesimal math: Stevin to Nelson 131 Chapter 14. 16th century 133 14.1. Simon Stevin 133 14.2. Decimals from Stevin to Newton and Euler 135 6 CONTENTS 14.3. Stevin’s cubic and the IVT 136 Chapter 15. 17th century 139 15.1. Pierre de Fermat 139 15.2. James Gregory 139 15.3. Gottfried Wilhelm von Leibniz 139 Chapter 16. 18th century 141 16.1. Leonhard Euler 141 Chapter 17. 19th century 143 17.1. Augustin-Louis Cauchy 143 Chapter 18. 20th century 145 18.1. Thoralf Skolem 145 18.2. Edwin Hewitt 145 18.3. JerzyLo´s 145 18.4.AbrahamRobinson 145 18.5. Edward Nelson 145 Bibliography 147 Chapter 19. Theorema Egregium 153 19.1. Preliminaries to the Theorema Egregium of Gauss 153 19.2. The theorema egregium ofGauss 155 19.3. Intrinsic versus extrinsic 156 19.4. Gaussian curvature and Laplace-Beltrami operator 157 19.5. Duality in linear algebra 158 19.6. Polar, cylindrical, and spherical coordinates 159 19.7. Duality in calculus; derivations 161 Chapter20. Derivations,tori 163 20.1. Space of derivations 163 20.2. Constructing bilinear forms out of 1-forms 165 20.3. Firstfundamentalform 165 20.4. Expressing the metric in terms of 1-forms 166 20.5. Hyperbolic metric 167 20.6. Surface of revolution 167 20.7. Coordinate change 169 20.8. Conformal equivalence 170 20.9. Uniformisation theorem for tori 170 20.10. Isothermalcoordinates 171 20.11. Tori of revolution 172 Chapter 21. Conformal parameter 175 CONTENTS 7 21.1. Conformal parameter τ of standard tori of revolution 175 21.2. Comformal parameter ofstandard torus ofrev 176 21.3. Curvature expressed in terms of θ(s) 178 21.4. Total curvature of a convex Jordan curve 179 ˜ 21.5. Signed curvature kα of Jordan curves in the plane 180 21.6. Coordinate patch defined by family of normal vectors 183 21.7. Total Gaussian curvature and Gauss–Bonnet theorem 185 Chapter 22. Addendum on a Bernoullian framework 187 22.1. Ultrapower construction 187 22.2. Saturation and topology 187 Chapter 23. More on Gauss-Bonnet 189 23.1. Second proof of Gauss–Bonnet theorem 189 23.2. Euler characteristic 189 23.3. Exercise on index notation 190 Chapter 24. Bundles 191 24.1. Trivial bundle (E,B,π), function as a section (mikta) 191 24.2. Mobius band as a first example of a nontrivial bundle 192 24.3. Tangent bundle 192 24.4. Hairy ball theorem 193 24.5. Cotangent bundle 193 24.6. Exterior derivative of a function 194 24.7. Extending gradient and exterior derivative 194 24.8. Plan for building de Rham cohomology 195 24.9. Exterioralgebra,area,determinant,rank 196 24.10. Formal definition, alternating property 196 24.11. Example: rank 1 197 24.12. Areas in the plane 197 24.13. Vectorandtripleproducts 199 24.14. Anticommutativity of the wedge product 200 24.15. The k-exterior power; simple (decomposable) multivectors200 24.16. Basis and dimension of exterior algebra 201 24.17. Rank of a multivector 201 Chapter 25. Multilinear forms; exterior differential complex 203 25.1.
Load more

Recommended publications
  • Differential Calculus and by Era Integral Calculus, Which Are Related by in Early Cultures in Classical Antiquity the Fundamental Theorem of Calculus
    History of calculus - Wikipedia, the free encyclopedia 1/1/10 5:02 PM History of calculus From Wikipedia, the free encyclopedia History of science This is a sub-article to Calculus and History of mathematics. History of Calculus is part of the history of mathematics focused on limits, functions, derivatives, integrals, and infinite series. The subject, known Background historically as infinitesimal calculus, Theories/sociology constitutes a major part of modern Historiography mathematics education. It has two major Pseudoscience branches, differential calculus and By era integral calculus, which are related by In early cultures in Classical Antiquity the fundamental theorem of calculus. In the Middle Ages Calculus is the study of change, in the In the Renaissance same way that geometry is the study of Scientific Revolution shape and algebra is the study of By topic operations and their application to Natural sciences solving equations. A course in calculus Astronomy is a gateway to other, more advanced Biology courses in mathematics devoted to the Botany study of functions and limits, broadly Chemistry Ecology called mathematical analysis. Calculus Geography has widespread applications in science, Geology economics, and engineering and can Paleontology solve many problems for which algebra Physics alone is insufficient. Mathematics Algebra Calculus Combinatorics Contents Geometry Logic Statistics 1 Development of calculus Trigonometry 1.1 Integral calculus Social sciences 1.2 Differential calculus Anthropology 1.3 Mathematical analysis
    [Show full text]
  • Calculus? Can You Think of a Problem Calculus Could Be Used to Solve?
    Mathematics Before you read Discuss these questions with your partner. What do you know about calculus? Can you think of a problem calculus could be used to solve? В A Vocabulary Complete the definitions below with words from the box. slope approximation embrace acceleration diverse indispensable sphere cube rectangle 1 If something is a(n) it В Reading 1 isn't exact. 2 An increase in speed is called Calculus 3 If something is you can't Calculus is the branch of mathematics that deals manage without it. with the rates of change of quantities as well as the length, area and volume of objects. It grew 4 If you an idea, you accept it. out of geometry and algebra. There are two 5 A is a three-dimensional, divisions of calculus - differential calculus and square shape. integral calculus. Differential calculus is the form 6 Something which is is concerned with the rate of change of quantities. different or of many kinds. This can be illustrated by slopes of curves. Integral calculus is used to study length, area 7 If you place two squares side by side, you and volume. form a(n) The earliest examples of a form of calculus date 8 A is a three-dimensional back to the ancient Greeks, with Eudoxus surface, all the points of which are the same developing a mathematical method to work out distance from a fixed point. area and volume. Other important contributions 9 A is also known as a fall. were made by the famous scientist and mathematician, Archimedes. In India, over the 98 Macmillan Guide to Science Unit 21 Mathematics 4 course of many years - from 500 AD to the 14th Pronunciation guide century - calculus was studied by a number of mathematicians.
    [Show full text]
  • Cauchy, Infinitesimals and Ghosts of Departed Quantifiers 3
    CAUCHY, INFINITESIMALS AND GHOSTS OF DEPARTED QUANTIFIERS JACQUES BAIR, PIOTR BLASZCZYK, ROBERT ELY, VALERIE´ HENRY, VLADIMIR KANOVEI, KARIN U. KATZ, MIKHAIL G. KATZ, TARAS KUDRYK, SEMEN S. KUTATELADZE, THOMAS MCGAFFEY, THOMAS MORMANN, DAVID M. SCHAPS, AND DAVID SHERRY Abstract. Procedures relying on infinitesimals in Leibniz, Euler and Cauchy have been interpreted in both a Weierstrassian and Robinson’s frameworks. The latter provides closer proxies for the procedures of the classical masters. Thus, Leibniz’s distinction be- tween assignable and inassignable numbers finds a proxy in the distinction between standard and nonstandard numbers in Robin- son’s framework, while Leibniz’s law of homogeneity with the im- plied notion of equality up to negligible terms finds a mathematical formalisation in terms of standard part. It is hard to provide paral- lel formalisations in a Weierstrassian framework but scholars since Ishiguro have engaged in a quest for ghosts of departed quantifiers to provide a Weierstrassian account for Leibniz’s infinitesimals. Euler similarly had notions of equality up to negligible terms, of which he distinguished two types: geometric and arithmetic. Eu- ler routinely used product decompositions into a specific infinite number of factors, and used the binomial formula with an infi- nite exponent. Such procedures have immediate hyperfinite ana- logues in Robinson’s framework, while in a Weierstrassian frame- work they can only be reinterpreted by means of paraphrases de- parting significantly from Euler’s own presentation. Cauchy gives lucid definitions of continuity in terms of infinitesimals that find ready formalisations in Robinson’s framework but scholars working in a Weierstrassian framework bend over backwards either to claim that Cauchy was vague or to engage in a quest for ghosts of de- arXiv:1712.00226v1 [math.HO] 1 Dec 2017 parted quantifiers in his work.
    [Show full text]
  • Historical Notes on Calculus
    Historical notes on calculus Dr. Vladimir Dotsenko Dr. Vladimir Dotsenko Historical notes on calculus 1/9 Descartes: Describing geometric figures by algebraic formulas 1637: Ren´eDescartes publishes “La G´eom´etrie”, that is “Geometry”, a book which did not itself address calculus, but however changed once and forever the way we relate geometric shapes to algebraic equations. Later works of creators of calculus definitely relied on Descartes’ methodology and revolutionary system of notation in the most fundamental way. Ren´eDescartes (1596–1660), courtesy of Wikipedia Dr. Vladimir Dotsenko Historical notes on calculus 2/9 Fermat: “Pre-calculus” 1638: In a letter to Mersenne, Pierre de Fermat explains what later becomes the key point of his works “Methodus ad disquirendam maximam et minima” and “De tangentibus linearum curvarum”, that is “Method of discovery of maximums and minimums” and “Tangents of curved lines” (published posthumously in 1679). This is not differential calculus per se, but something equivalent. Pierre de Fermat (1601–1665), courtesy of Wikipedia Dr. Vladimir Dotsenko Historical notes on calculus 3/9 Pascal and Huygens: Implicit calculus In 1650s, slightly younger scientists like Blaise Pascal and Christiaan Huygens also used methods similar to those of Fermat to study maximal and minimal values of functions. They did not talk about anything like limits, but in fact were doing exactly the things we do in modern calculus for purposes of geometry and optics. Blaise Pascal (1623–1662), courtesy of Christiaan Huygens (1629–1695), Wikipedia courtesy of Wikipedia Dr. Vladimir Dotsenko Historical notes on calculus 4/9 Barrow: Tangents vs areas 1669-70: Isaac Barrow publishes “Lectiones Opticae” and “Lectiones Geometricae” (“Lectures on Optics” and “Lectures on Geometry”), based on his lectures in Cambridge.
    [Show full text]
  • Evolution of Mathematics: a Brief Sketch
    Open Access Journal of Mathematical and Theoretical Physics Mini Review Open Access Evolution of mathematics: a brief sketch Ancient beginnings: numbers and figures Volume 1 Issue 6 - 2018 It is no exaggeration that Mathematics is ubiquitously Sujit K Bose present in our everyday life, be it in our school, play ground, SN Bose National Center for Basic Sciences, Kolkata mobile number and so on. But was that the case in prehistoric times, before the dawn of civilization? Necessity is the mother Correspondence: Sujit K Bose, Professor of Mathematics (retired), SN Bose National Center for Basic Sciences, Kolkata, of invenp tion or discovery and evolution in this case. So India, Email mathematical concepts must have been seen through or created by those who could, and use that to derive benefit from the Received: October 12, 2018 | Published: December 18, 2018 discovery. The creative process of discovery and later putting that to use must have been arduous and slow. I try to look back from my limited Indian perspective, and reflect up on what might have been the course taken up by mathematics during 10, 11, 12, 13, etc., giving place value to each digit. The barrier the long journey, since ancient times. of writing very large numbers was thus broken. For instance, the numbers mentioned in Yajur Veda could easily be represented A very early method necessitated for counting of objects as Dasha 10, Shata (102), Sahsra (103), Ayuta (104), Niuta (enumeration) was the Tally Marks used in the late Stone Age. In (105), Prayuta (106), ArA bud (107), Nyarbud (108), Samudra some parts of Europe, Africa and Australia the system consisted (109), Madhya (1010), Anta (1011) and Parartha (1012).
    [Show full text]
  • Fermat, Leibniz, Euler, and the Gang: the True History of the Concepts Of
    FERMAT, LEIBNIZ, EULER, AND THE GANG: THE TRUE HISTORY OF THE CONCEPTS OF LIMIT AND SHADOW TIZIANA BASCELLI, EMANUELE BOTTAZZI, FREDERIK HERZBERG, VLADIMIR KANOVEI, KARIN U. KATZ, MIKHAIL G. KATZ, TAHL NOWIK, DAVID SHERRY, AND STEVEN SHNIDER Abstract. Fermat, Leibniz, Euler, and Cauchy all used one or another form of approximate equality, or the idea of discarding “negligible” terms, so as to obtain a correct analytic answer. Their inferential moves find suitable proxies in the context of modern the- ories of infinitesimals, and specifically the concept of shadow. We give an application to decreasing rearrangements of real functions. Contents 1. Introduction 2 2. Methodological remarks 4 2.1. A-track and B-track 5 2.2. Formal epistemology: Easwaran on hyperreals 6 2.3. Zermelo–Fraenkel axioms and the Feferman–Levy model 8 2.4. Skolem integers and Robinson integers 9 2.5. Williamson, complexity, and other arguments 10 2.6. Infinity and infinitesimal: let both pretty severely alone 13 3. Fermat’s adequality 13 3.1. Summary of Fermat’s algorithm 14 arXiv:1407.0233v1 [math.HO] 1 Jul 2014 3.2. Tangent line and convexity of parabola 15 3.3. Fermat, Galileo, and Wallis 17 4. Leibniz’s Transcendental law of homogeneity 18 4.1. When are quantities equal? 19 4.2. Product rule 20 5. Euler’s Principle of Cancellation 20 6. What did Cauchy mean by “limit”? 22 6.1. Cauchy on Leibniz 23 6.2. Cauchy on continuity 23 7. Modern formalisations: a case study 25 8. A combinatorial approach to decreasing rearrangements 26 9.
    [Show full text]
  • Pure Mathematics
    good mathematics—to be without applications, Hardy ab- solved mathematics, and thus the mathematical community, from being an accomplice of those who waged wars and thrived on social injustice. The problem with this view is simply that it is not true. Mathematicians live in the real world, and their mathematics interacts with the real world in one way or another. I don’t want to say that there is no difference between pure and ap- plied math. Someone who uses mathematics to maximize Why I Don’t Like “Pure the time an airline’s fleet is actually in the air (thus making money) and not on the ground (thus costing money) is doing Mathematics” applied math, whereas someone who proves theorems on the Hochschild cohomology of Banach algebras (I do that, for in- † stance) is doing pure math. In general, pure mathematics has AVolker Runde A no immediate impact on the real world (and most of it prob- ably never will), but once we omit the adjective immediate, I am a pure mathematician, and I enjoy being one. I just the distinction begins to blur. don’t like the adjective “pure” in “pure mathematics.” Is mathematics that has applications somehow “impure”? The English mathematician Godfrey Harold Hardy thought so. In his book A Mathematician’s Apology, he writes: A science is said to be useful of its development tends to accentuate the existing inequalities in the distri- bution of wealth, or more directly promotes the de- struction of human life. His criterion for good mathematics was an entirely aesthetic one: The mathematician’s patterns, like the painter’s or the poet’s must be beautiful; the ideas, like the colours or the words must fit together in a harmo- nious way.
    [Show full text]
  • Connes on the Role of Hyperreals in Mathematics
    Found Sci DOI 10.1007/s10699-012-9316-5 Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics Vladimir Kanovei · Mikhail G. Katz · Thomas Mormann © Springer Science+Business Media Dordrecht 2012 Abstract We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in func- tional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S, all definable sets of reals are Lebesgue measurable, suggesting that Connes views a theory as being “vir- tual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnera- ble to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace − (featured on the front cover of Connes’ magnum opus) V.
    [Show full text]
  • Lecture 25: Ultraproducts
    LECTURE 25: ULTRAPRODUCTS CALEB STANFORD First, recall that given a collection of sets and an ultrafilter on the index set, we formed an ultraproduct of those sets. It is important to think of the ultraproduct as a set-theoretic construction rather than a model- theoretic construction, in the sense that it is a product of sets rather than a product of structures. I.e., if Xi Q are sets for i = 1; 2; 3;:::, then Xi=U is another set. The set we use does not depend on what constant, function, and relation symbols may exist and have interpretations in Xi. (There are of course profound model-theoretic consequences of this, but the underlying construction is a way of turning a collection of sets into a new set, and doesn't make use of any notions from model theory!) We are interested in the particular case where the index set is N and where there is a set X such that Q Xi = X for all i. Then Xi=U is written XN=U, and is called the ultrapower of X by U. From now on, we will consider the ultrafilter to be a fixed nonprincipal ultrafilter, and will just consider the ultrapower of X to be the ultrapower by this fixed ultrafilter. It doesn't matter which one we pick, in the sense that none of our results will require anything from U beyond its nonprincipality. The ultrapower has two important properties. The first of these is the Transfer Principle. The second is @0-saturation. 1. The Transfer Principle Let L be a language, X a set, and XL an L-structure on X.
    [Show full text]
  • Communications Programming Concepts
    AIX Version 7.1 Communications Programming Concepts IBM Note Before using this information and the product it supports, read the information in “Notices” on page 323 . This edition applies to AIX Version 7.1 and to all subsequent releases and modifications until otherwise indicated in new editions. © Copyright International Business Machines Corporation 2010, 2014. US Government Users Restricted Rights – Use, duplication or disclosure restricted by GSA ADP Schedule Contract with IBM Corp. Contents About this document............................................................................................vii How to use this document..........................................................................................................................vii Highlighting.................................................................................................................................................vii Case-sensitivity in AIX................................................................................................................................vii ISO 9000.....................................................................................................................................................vii Communication Programming Concepts................................................................. 1 Data Link Control..........................................................................................................................................1 Generic Data Link Control Environment Overview...............................................................................
    [Show full text]
  • The Hyperreals
    THE HYPERREALS LARRY SUSANKA Abstract. In this article we define the hyperreal numbers, an ordered field containing the real numbers as well as infinitesimal numbers. These infinites- imals have magnitude smaller than that of any nonzero real number and have intuitively appealing properties, harkening back to the thoughts of the inven- tors of analysis. We use the ultrafilter construction of the hyperreal numbers which employs common properties of sets, rather than the original approach (see A. Robinson Non-Standard Analysis [5]) which used model theory. A few of the properties of the hyperreals are explored and proofs of some results from real topology and calculus are created using hyperreal arithmetic in place of the standard limit techniques. Contents The Hyperreal Numbers 1. Historical Remarks and Overview 2 2. The Construction 3 3. Vocabulary 6 4. A Collection of Exercises 7 5. Transfer 10 6. The Rearrangement and Hypertail Lemmas 14 Applications 7. Open, Closed and Boundary For Subsets of R 15 8. The Hyperreal Approach to Real Convergent Sequences 16 9. Series 18 10. More on Limits 20 11. Continuity and Uniform Continuity 22 12. Derivatives 26 13. Results Related to the Mean Value Theorem 28 14. Riemann Integral Preliminaries 32 15. The Infinitesimal Approach to Integration 36 16. An Example of Euler, Revisited 37 References 40 Index 41 Date: June 27, 2018. 1 2 LARRY SUSANKA 1. Historical Remarks and Overview The historical Euclid-derived conception of a line was as an object possessing \the quality of length without breadth" and which satisfies the various axioms of Euclid's geometric structure.
    [Show full text]
  • Fermat's Technique of Finding Areas Under Curves
    Fermat’s technique of finding areas under curves Ed Staples Erindale College, ACT <[email protected]> erhaps next time you head towards the fundamental theorem of calculus Pin your classroom, you may wish to consider Fermat’s technique of finding expressions for areas under curves, beautifully outlined in Boyer’s History of Mathematics. Pierre de Fermat (1601–1665) developed some impor- tant results in the journey toward the discovery of the calculus. One of these concerned finding areas under simple polynomial curves. It is an amazing fact that, despite deriving these results, he failed to document any connection between tangents and areas. The method is essentially an exercise in geometric series, and I think it is instructive and perhaps refreshing to introduce a little bit of variation from the standard introductions. The method is entirely accessible to senior students, and makes an interesting connection between the anti derivative result and the factorisation of (1 – rn+1). Fermat considered that the area between x = 0 and x = a below the curve y = xn and above the x-axis, to be approximated by circumscribed rectangles where the width of each rectangle formed a geometric sequence. The divi- sions into which the interval is divided, from the right hand side are made at x = a, x = ar, x = ar2, x = ar3 etc., where a and r are constants, with 0 < r < 1 as shown in the diagram. A u s t r a l i a n S e n i o r M a t h e m a t i c s J o u r n a l 1 8 ( 1 ) 53 s e 2 l p If we first consider the curve y = x , the area A contained within the rectan- a t S gles is given by: A = (a – ar)a2 + (ar – ar2)(ar)2 + (ar2 – ar3)(ar2)2 + … This is a geometric series with ratio r3 and first term (1 – r)a3.
    [Show full text]