DOCSLIB.ORG

Stml045-Endmatter.Pdf

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Stml045-Endmatter.Pdf http://dx.doi.org/10.1090/stml/045 This page intentionally left blank Higher Arithmeti c An Algorithmic Introduction to Number Theory STUDENT MATHEMATICAL LIBRARY Volume 45 Higher Arithmetic An Algorithmic Introduction to Number Theory Harold M . Edwards ilAMS AMERICAN MATHEMATICA L SOCIET Y Providence, Rhode Islan d Editorial Boar d Gerald B . Follan d Bra d G . Osgoo d (Chair ) Robin Forma n Michae l Starbir d 2000 Mathematics Subject Classification. Primar y 11-01 . For additiona l informatio n an d update s o n thi s book , visi t www.ams.org/bookpages/stml-45 Library o f Congres s Cataloging-in-Publicatio n Dat a Edwards, Harol d M . Higher arithmetic : an algorithmic introduction t o number theory / Harol d M . Edwards. p. cm . — (Studen t mathematica l library , ISS N 1520-912 1 ; v. 45 ) Includes bibliographica l reference s an d index . ISBN 978-0-8218-4439- 7 (alk . paper ) 1. Number theory . I . Title . QA241 .E39 200 8 512.7—dc22 200706057 8 Copying an d reprinting . Individua l reader s o f thi s publication , an d nonprofi t libraries actin g fo r them , ar e permitte d t o mak e fai r us e o f th e material , suc h a s t o copy a chapte r fo r us e i n teachin g o r research . Permissio n i s grante d t o quot e brie f passages fro m thi s publicatio n i n reviews , provide d th e customar y acknowledgmen t o f the sourc e i s given . Republication, systemati c copying , o r multiple reproduction o f any materia l i n this publication i s permitted onl y unde r licens e fro m th e America n Mathematica l Society . Requests fo r suc h permissio n shoul d b e addresse d t o th e Acquisition s Department , American Mathematica l Society , 20 1 Charles Street , Providence , Rhod e Islan d 02904 - 2294, USA . Request s ca n als o b e mad e b y e-mail t o [email protected] . © 200 8 by the America n Mathematica l Society . Al l rights reserved . The America n Mathematica l Societ y retain s al l right s except thos e grante d t o th e Unite d State s Government . Printed i n the Unite d State s o f America . @ Th e pape r use d i n this boo k i s acid-free an d fall s withi n th e guideline s established t o ensur e permanenc e an d durability . Visit th e AM S hom e pag e a t http://www.ams.org / 10 9 8 7 6 5 4 3 2 1 1 3 1 2 1 1 1 0 09 0 8 Contents Preface i x Chapter 1 . Number s 1 Chapter 2 . Th e Proble m AD + B = • 7 Chapter 3 . Congruence s 1 1 Chapter 4 . Doubl e Congruences and the Euclidean Algorithm 1 7 Chapter 5 . Th e Augmente d Euclidea n Algorith m 2 3 Chapter 6 . Simultaneou s Congruence s 2 9 Chapter 7 . Th e Fundamental Theore m o f Arithmetic 3 3 Chapter 8 . Exponentiatio n an d Order s 3 7 Chapter 9 . Euler' s </>-Functio n 4 3 Chapter 10 . Findin g the Orde r o f a mod c 4 5 Chapter 11 . Primalit y Testin g 5 1 VI Higher Arithmeti c Chapter 12 . The RS A Ciphe r Syste m 57 Chapter 13 . Primitive Root s mo d p 61 Chapter 14 . Polynomials 67 Chapter 15 . Tables o f Indices mo d p 71 Chapter 16 . Brahmagupta's Formul a an d Hypernumber s 77 Chapter 17 . Modules o f Hypernumber s 81 Chapter 18 . A Canonical Form fo r Modules o f Hypernumbers 87 Chapter 19 . Solution o f AD + B = • 93 Chapter 20 . Proof o f the Theore m o f Chapter 1 9 99 Chapter 21. Euler's Remarkabl e Discover y 113 Chapter 22 . Stable Module s 119 Chapter 23 . Equivalence o f Module s 123 Chapter 24 . Signatures o f Equivalence Classe s 129 Chapter 25 . The Mai n Theore m 135 Chapter 26 . Modules That Becom e Principal Whe n Square d 137 Chapter 27 . The Possibl e Signature s fo r Certai n Value s o f A 143 Chapter 28 . The La w o f Quadratic Reciprocit y 149 Chapter 29 . Proof o f the Mai n Theore m 153 Chapter 30 . The Theor y o f Binary Quadrati c Form s 155 Chapter 31. Composition o f Binary Quadrati c Form s 163 Contents vn Appendix. Cycle s o f Stable Module s 16 9 Answers to Exercise s 17 9 Bibliography 20 7 Index 20 9 This page intentionally left blank Preface It i s widel y agree d tha t Car l Friedric h Gauss' s 180 1 book Disquisi- tiones Arithmeticae [G ] was the beginning o f modern number theory , the firs t wor k o n th e subjec t tha t wa s systemati c an d comprehen - sive rather than a collection o f special problems an d techniques . Th e name "numbe r theory " b y whic h the subjec t i s known toda y wa s i n use at th e time—Gauss himsel f use d i t (theoria numerorum) i n Arti- cle 5 6 o f the book—bu t h e chos e t o cal l i t "arithmetic " i n hi s title . He explaine d i n th e first paragrap h o f hi s Prefac e tha t h e di d no t mean arithmeti c i n th e sens e o f everyda y computation s wit h whol e numbers bu t a "highe r arithmetic " tha t comprise d "genera l studie s of specifi c relation s amon g whole numbers. " I too prefer "arithmetic " to "numbe r theory." T o me, number the- ory sounds passive, theoretical, and disconnected fro m reality . Highe r arithmetic sound s active , challenging, an d relate d to everyday realit y while aspirin g to transcend it . Although Gauss's explanation o f what h e means by "highe r arith - metic" i n his Preface i s unclear, a strong indication o f what h e had i n mind come s at th e end o f his Preface whe n h e mentions the materia l in hi s Sectio n 7 on th e constructio n o f regula r polygons . (I n mod - ern terms , Sectio n 7 i s th e Galoi s theor y o f th e algebrai c equatio n xn — 1 = 0. ) H e admit s tha t thi s materia l doe s no t trul y belon g t o arithmetic bu t tha t "it s principle s mus t b e draw n fro m arithmetic. " IX X Higher Arithmeti c What h e mean s b y arithmetic , I believe , i s exact computation, clos e to what Leopol d Kronecke r late r calle d "genera l arithmetic." 1 In 21s t centur y terms , Gauss' s subjec t i s "algorithmi c mathe - matics," mathematic s i n whic h th e emphasi s i s o n algorithm s an d computations. Instea d o f set-theoretic abstraction s an d unrealizabl e constructions, suc h mathematic s deal s wit h specifi c operation s tha t arrive a t concret e answers . Regardles s o f wha t Gaus s migh t hav e meant b y hi s titl e Disquisitiones Arithmeticae, wha t I mea n b y m y title Higher Arithmetic i s a n algorithmi c approac h t o th e number - theoretic topic s i n the book , mos t o f whic h ar e draw n fro m Gauss' s great work . Mathematics i s abou t reasoning , bot h inductiv e an d deductive . Computations ar e simpl y ver y articulat e deductiv e arguments . Th e best theoretica l mathematic s i s a n inductiv e proces s b y whic h suc h arguments ar e found , organized , motivated , an d explained . Tha t i s why I think ample computational experience is indispensable to math- ematical education . In teachin g th e numbe r theor y cours e a t Ne w Yor k Universit y several time s i n recen t years , I hav e foun d tha t student s enjo y an d feel the y profi t fro m doin g computationa l assignments . M y ow n ex - perience i n readin g Gaus s ha s usuall y bee n tha t I don't understan d what h e i s doin g unti l h e give s a n example , s o I tr y t o ski p t o th e example righ t away . Moreover , o n anothe r level , i n writing thi s an d previous books , I have ofte n foun d tha t creatin g exercise s lead s to a clearer understandin g o f the materia l an d a muc h improve d versio n of th e tex t tha t th e exercise s ha d bee n mean t t o illustrate .
Load more

Recommended publications
  • 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]
  • 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]
  • 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]
  • Arxiv:0811.0164V8 [Math.HO] 24 Feb 2009 N H S Gat2006393)
    A STRICT NON-STANDARD INEQUALITY .999 ...< 1 KARIN USADI KATZ AND MIKHAIL G. KATZ∗ Abstract. Is .999 ... equal to 1? A. Lightstone’s decimal expan- sions yield an infinity of numbers in [0, 1] whose expansion starts with an unbounded number of repeated digits “9”. We present some non-standard thoughts on the ambiguity of the ellipsis, mod- eling the cognitive concept of generic limit of B. Cornu and D. Tall. A choice of a non-standard hyperinteger H specifies an H-infinite extended decimal string of 9s, corresponding to an infinitesimally diminished hyperreal value (11.5). In our model, the student re- sistance to the unital evaluation of .999 ... is directed against an unspoken and unacknowledged application of the standard part function, namely the stripping away of a ghost of an infinitesimal, to echo George Berkeley. So long as the number system has not been specified, the students’ hunch that .999 ... can fall infinites- imally short of 1, can be justified in a mathematically rigorous fashion. Contents 1. The problem of unital evaluation 2 2. A geometric sum 3 3.Arguingby“Itoldyouso” 4 4. Coming clean 4 5. Squaring .999 ...< 1 with reality 5 6. Hyperreals under magnifying glass 7 7. Zooming in on slope of tangent line 8 arXiv:0811.0164v8 [math.HO] 24 Feb 2009 8. Hypercalculator returns .999 ... 8 9. Generic limit and precise meaning of infinity 10 10. Limits, generic limits, and Flatland 11 11. Anon-standardglossary 12 Date: October 22, 2018. 2000 Mathematics Subject Classification. Primary 26E35; Secondary 97A20, 97C30 . Key words and phrases.
    [Show full text]
  • H. Jerome Keisler : Foundations of Infinitesimal Calculus
    FOUNDATIONS OF INFINITESIMAL CALCULUS H. JEROME KEISLER Department of Mathematics University of Wisconsin, Madison, Wisconsin, USA [email protected] June 4, 2011 ii This work is licensed under the Creative Commons Attribution-Noncommercial- Share Alike 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-sa/3.0/ Copyright c 2007 by H. Jerome Keisler CONTENTS Preface................................................................ vii Chapter 1. The Hyperreal Numbers.............................. 1 1A. Structure of the Hyperreal Numbers (x1.4, x1.5) . 1 1B. Standard Parts (x1.6)........................................ 5 1C. Axioms for the Hyperreal Numbers (xEpilogue) . 7 1D. Consequences of the Transfer Axiom . 9 1E. Natural Extensions of Sets . 14 1F. Appendix. Algebra of the Real Numbers . 19 1G. Building the Hyperreal Numbers . 23 Chapter 2. Differentiation........................................ 33 2A. Derivatives (x2.1, x2.2) . 33 2B. Infinitesimal Microscopes and Infinite Telescopes . 35 2C. Properties of Derivatives (x2.3, x2.4) . 38 2D. Chain Rule (x2.6, x2.7). 41 Chapter 3. Continuous Functions ................................ 43 3A. Limits and Continuity (x3.3, x3.4) . 43 3B. Hyperintegers (x3.8) . 47 3C. Properties of Continuous Functions (x3.5{x3.8) . 49 Chapter 4. Integration ............................................ 59 4A. The Definite Integral (x4.1) . 59 4B. Fundamental Theorem of Calculus (x4.2) . 64 4C. Second Fundamental Theorem of Calculus (x4.2) . 67 Chapter 5. Limits ................................................... 71 5A. "; δ Conditions for Limits (x5.8, x5.1) . 71 5B. L'Hospital's Rule (x5.2) . 74 Chapter 6. Applications of the Integral........................ 77 6A. Infinite Sum Theorem (x6.1, x6.2, x6.6) . 77 6B. Lengths of Curves (x6.3, x6.4) .
    [Show full text]
  • Mathematical Background: Foundations of Infinitesimal Calculus
    Mathematical Background: Foundations of Infinitesimal Calculus second edition by K. D. Stroyan y dy dy ε dx x dx δx y=f(x) Figure 0.1: A Microscopic View of the Tangent Copyright c 1997 by Academic Press, Inc. - All rights reserved. Typeset with -TEX AMS i Preface to the Mathematical Background We want you to reason with mathematics. We are not trying to get everyone to give formalized proofs in the sense of contemporary mathematics; ‘proof’ in this course means ‘convincing argument.’ We expect you to use correct reasoning and to give careful expla- nations. The projects bring out these issues in the way we find best for most students, but the pure mathematical questions also interest some students. This book of mathemat- ical “background” shows how to fill in the mathematical details of the main topics from the course. These proofs are completely rigorous in the sense of modern mathematics – technically bulletproof. We wrote this book of foundations in part to provide a convenient reference for a student who might like to see the “theorem - proof” approach to calculus. We also wrote it for the interested instructor. In re-thinking the presentation of beginning calculus, we found that a simpler basis for the theory was both possible and desirable. The pointwise approach most books give to the theory of derivatives spoils the subject. Clear simple arguments like the proof of the Fundamental Theorem at the start of Chapter 5 below are not possible in that approach. The result of the pointwise approach is that instructors feel they have to either be dishonest with students or disclaim good intuitive approximations.
    [Show full text]
  • Elementary Hyperreal Analysis
    The University of Akron IdeaExchange@UAkron Williams Honors College, Honors Research The Dr. Gary B. and Pamela S. Williams Honors Projects College Fall 2020 Elementary Hyperreal Analysis Logan Cebula [email protected] Follow this and additional works at: https://ideaexchange.uakron.edu/honors_research_projects Part of the Analysis Commons Please take a moment to share how this work helps you through this survey. Your feedback will be important as we plan further development of our repository. Recommended Citation Cebula, Logan, "Elementary Hyperreal Analysis" (2020). Williams Honors College, Honors Research Projects. 1005. https://ideaexchange.uakron.edu/honors_research_projects/1005 This Dissertation/Thesis is brought to you for free and open access by The Dr. Gary B. and Pamela S. Williams Honors College at IdeaExchange@UAkron, the institutional repository of The University of Akron in Akron, Ohio, USA. It has been accepted for inclusion in Williams Honors College, Honors Research Projects by an authorized administrator of IdeaExchange@UAkron. For more information, please contact [email protected], [email protected]. Elementary Hyperreal Analysis Logan Bleys Cebula October 2019 Abstract This text explores elementary analysis through the lens of non-standard anal- ysis. The hyperreals will be proven to be implied by the existence of the reals via the axiom of choice. The notion of a hyperextension will be defined, and the so-called Transfer Principle will be proved. This principle establishes equiv- alence between results in real and hyperreal analysis. Sequences, subsequences, and limit suprema/infima will then be explored. Finally, integration will be considered. 1 Introduction In the middle of the last century, Abraham Robinson showed that one could extend the real numbers to the hyperreal numbers, and that the methods, def- initions, and theorems of the so-called non-standard analysis performed on the hyperreals are equivalent to the methods, definitions, and theorems of standard analysis.
    [Show 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.
    [Show full text]
  • Set Theoretic Properties of Loeb Measure 2
    1 Arnold W Miller University of Wisconsin Madison WI millermathwiscedu 2 Set theoretic prop erties of Lo eb measure Abstract In this pap er we ask the question to what extent do basic set theoretic prop erties of Lo eb measure dep end on the nonstandard universe and on prop erties of the mo del of set theory in which it lies We show that assuming Martins axiom and saturation the smallest cover by Lo eb measure zero sets must have cardinal ity less than In contrast to this we show that the additivity of Lo eb measure cannot b e greater than Dene cof H as 1 the smallest cardinality of a family of Lo eb measure zero sets which cover every other Lo eb measure zero set We show that H car dblog H c cof H car d where car d is the external 2 cardinality We answer a question of Paris and Mills concerning cuts in nonstandard mo dels of number theory We also present a pair of nonstandard universes M and N and hypernite integer H H M such that H is not enlarged by N contains new el ements but every new subset of H has Lo eb measure zero We show that it is consistent that there exists a Sierpi nskiset in the reals but no Lo ebSierpi nskiset in any nonstandard universe We also show that is consistent with the failure of the continuum hy p othesis that Lo ebSierpi nskisets can exist in some nonstandard universes and even in an ultrap ower of a standard universe Let H b e a hypernite set in an saturated nonstandard universe Let 1 b e the counting measure on H ie for any internal subset A of H let A jAj b e the nonstandard rational where
    [Show full text]