Some Problems from the Midterm Examinations
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
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) . -
Teaching Calculus with Infinitesimals
Journal of Humanistic Mathematics Volume 6 | Issue 1 January 2016 Teaching Calculus with Infinitesimals Rebecca Vinsonhaler University of Wisconsin - Madison Follow this and additional works at: https://scholarship.claremont.edu/jhm Recommended Citation Vinsonhaler, R. "Teaching Calculus with Infinitesimals," Journal of Humanistic Mathematics, Volume 6 Issue 1 (January 2016), pages 249-276. DOI: 10.5642/jhummath.201601.17 . Available at: https://scholarship.claremont.edu/jhm/vol6/iss1/17 ©2016 by the authors. This work is licensed under a Creative Commons License. JHM is an open access bi-annual journal sponsored by the Claremont Center for the Mathematical Sciences and published by the Claremont Colleges Library | ISSN 2159-8118 | http://scholarship.claremont.edu/jhm/ The editorial staff of JHM works hard to make sure the scholarship disseminated in JHM is accurate and upholds professional ethical guidelines. However the views and opinions expressed in each published manuscript belong exclusively to the individual contributor(s). The publisher and the editors do not endorse or accept responsibility for them. See https://scholarship.claremont.edu/jhm/policies.html for more information. Teaching Calculus with Infinitesimals Cover Page Footnote Special thanks to Terry Millar for all his support and guidance. This work is available in Journal of Humanistic Mathematics: https://scholarship.claremont.edu/jhm/vol6/iss1/17 Teaching Calculus with Infinitesimals Rebecca Vinsonhaler Department of Curriculum & Instruction, University of Wisconsin Madison, USA [email protected] Synopsis This article argues that first semester calculus courses for non-mathematics ma- jors should be taught using infinitesimals. This applies to both high school and undergraduate calculus courses. The use of infinitesimals in calculus, though more intuitive than the approach developed in the 19th century, has been contro- versial for over two millennia. -
Isabelle/HOL-NSA — Non-Standard Analysis
Isabelle/HOL-NSA | Non-Standard Analysis February 20, 2021 Contents 1 Filters and Ultrafilters 7 1.1 Definitions and basic properties ................. 7 1.1.1 Ultrafilters ........................ 7 1.2 Maximal filter = Ultrafilter ................... 7 1.3 Ultrafilter Theorem ........................ 8 1.3.1 Free Ultrafilters ...................... 9 2 Construction of Star Types Using Ultrafilters 10 2.1 A Free Ultrafilter over the Naturals ............... 11 2.2 Definition of star type constructor ............... 11 2.3 Transfer principle ......................... 12 2.4 Standard elements ........................ 14 2.5 Internal functions ......................... 14 2.6 Internal predicates ........................ 16 2.7 Internal sets ............................ 17 2.8 Syntactic classes ......................... 18 2.9 Ordering and lattice classes ................... 22 2.10 Ordered group classes ...................... 24 2.11 Ring and field classes ....................... 25 2.12 Power ............................... 27 2.13 Number classes .......................... 28 2.14 Finite class ............................ 29 3 Hypernatural numbers 29 3.1 Properties Transferred from Naturals .............. 30 3.2 Properties of the set of embedded natural numbers ...... 32 3.3 Infinite Hypernatural Numbers { HNatInfinite ........ 33 3.3.1 Closure Rules ....................... 33 3.4 Existence of an infinite hypernatural number ......... 34 3.4.1 Alternative characterization of the set of infinite hy- pernaturals ........................ 35 1 2 3.4.2 Alternative -
Alternatives to the Calculus: Nonstandard Analysis and Smooth Infinitesimal Analysis
Alternatives to the Calculus: Nonstandard Analysis and Smooth Infinitesimal Analysis A thesis presented to the faculty of the College of Arts and Sciences of Ohio University In partial fulfillment of the requirement for the degree Master of Arts Jesse P. Houchens May 2013 © 2013 Jesse P. Houchens. All Rights Reserved. 2 This thesis titled Alternatives to the Calculus: Nonstandard Analysis and Smooth Infinitesimal Analysis by JESSE P. HOUCHENS has been approved for the Department of Philosophy and the College of Arts and Sciences by Philip W. Ehrlich Professor of Philosophy Robert Frank Dean, College of Arts and Sciences 3 ABSTRACT HOUCHENS, JESSE P., M.A., May 2013, Philosophy Alternatives to the Calculus: Nonstandard Analysis and Smooth Infinitesimal Analysis Director of Thesis: Philip W. Ehrlich We attempt to clarify and evaluate what shall be called Mac Lane’s thesis—the thesis that nonstandard analysis (NSA) and smooth infinitesimal analysis (SIA) are alternatives to the standard approach to the calculus. In doing so, we outline the historical approaches to the calculus, the standard approach to the calculus, and two nonstandard approaches, namely NSA and SIA; we also attempt to clarify and evaluate a set of comparisons of NSA and SIA, namely Bell’s 5 mathematico-philosophical contentions and Bell’s historical contention. 4 For my parents who continually remind me “While it may not always be easy, it will always be worth it.” 5 ACKNOWLEDGMENTS First, I would like to thank the members of my thesis committee. Todd Eisworth provided insightful comments from the perspective of a working mathematician. In addition, his set theory course allowed me to clarify many of the ideas underlying this thesis. -
Nonstandard Analysis
NONSTANDARD ANALYSIS DR. J. PONSTEIN With love, love, love to those five women, who caressed me. J. Ponstein former professor at the University of Groningen A Naive Way to the Infinitesimals (an unorthodox treatment of Nonstandard Analysis) ISBN: 90-367-1672-1 Contents Prologue 11 Preface 15 1 Generalities 17 1.1 Infinitesimals and other nonstandard numbers: getting acquainted 17 1.2 Other ∗-transforms; generating new numbers . 19 1.3 Bound and free variables; prenex normal form . 20 1.4 The purpose of nonstandard analysis . 23 1.5 More about the ∗-transform; transfer . 25 1.6 Standard, internal, and external constants . 28 1.7 Infinitesimals in Greek geometry? . 29 1.8 Infinitesimals in the 17th to the 19th century . 31 1.9 Infinitesimals in the 20th century . 34 1.10 Introducing infinitesimals by plausible reasoning; filters . 37 1.11 Basic assumptions of formalism . 41 1.12 Basic assumptions of constructivism . 43 1.13 Selecting basic assumptions naively . 45 1.14 Basic definitions . 49 1.15 Filters . 51 1.16 About the nature of free ultrafilters . 53 2 Basic theory 55 2.1 Reviewing the introduction of ZZ, Q and IR . 55 2.2 Introducing internal constants; definition of equality . 57 2.3 Identification of internal constants . 58 2.4 Standard constants; basic results for internal constants . 63 2.5 External constants . 67 2.6 The ∗-transform of operations and expressions . 69 2.7 The ∗-transform of relations and statements;Loˇs’theorem; the internal definition principle . 71 2.8 Transfer; the standard definition principle . 78 2.9 The ∗-transform of attributes . -
Nonstandard Analysis Based Calculus
California State University, San Bernardino CSUSB ScholarWorks Theses Digitization Project John M. Pfau Library 1994 Nonstandard analysis based calculus Kathleen Renae Gibson Follow this and additional works at: https://scholarworks.lib.csusb.edu/etd-project Part of the Mathematics Commons Recommended Citation Gibson, Kathleen Renae, "Nonstandard analysis based calculus" (1994). Theses Digitization Project. 915. https://scholarworks.lib.csusb.edu/etd-project/915 This Project is brought to you for free and open access by the John M. Pfau Library at CSUSB ScholarWorks. It has been accepted for inclusion in Theses Digitization Project by an authorized administrator of CSUSB ScholarWorks. For more information, please contact [email protected]. NONSTANDARD ANALYSIS BASED CALCULUS A Project Presented to the Faculty of California State University, San Bernardino In Partial Fulfillment of the Requirements for the Degree Master of Arts in Mathematics by Kathleen Renae Gibson November 2, 1994 NONSTANDARD ANALYSIS BASED CALCULUS A Project Presented to the Faculty of California State University, San Bernardino by Kathleen Renae Gibson November 2, 1994 Approved by: H- Dr. P. Vicknair, Chair, Mathematics Date Dr. T. Hallett, Masters Coordinator Date Dr. S. Addington, Advisor Date Dr. D. Rinne, Committee Member Date Dr. C. Frieling, Committee Member Date ABSTRACT This project seeks to present the basic approach to teaching the Calculus using concepts from Nonstandard Analysis, as developed in the text, "Elementary Calculus, An Infinitesimal Approach", by Jerome Keisler. In this first part of the project the elementary development of an extended number system called the Hyperreals is discussed. The Hyperreals, which contain infinitesimal and infinite numbers, are developed and it is shown how these numbers are used to replace limits in Calculus computations. -
Mathematical-Analysis-Zorich1.Pdf
Universitext Springer Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Vladimir A. Zorich Mathematical Analysis I B@| Springer Vladimir A. Zorich Moscow State University Department of Mathematics (Mech-Math) Vorobievy Gory 119992 Moscow Russia Translator: Roger Cooke Burlington, Vermont USA e-mail: [email protected] Title of Russian edition: Matematicheskij Analiz (Part 1,4th corrected edition, Moscow, 2002) MCCME (Moscow Center for Continuous Mathematical Education Publ.) Cataloging-in-Publication Data applied for A catalog record for this book is available from the Library of Congress. Bibliographic information published by Die Deutsche Bibliothek Die Deutsche Bibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data is available in the Internet at http://dnb.ddb.de Mathematics Subject Classification (2000): Primary 00A05 Secondary: 26-01,40-01,42-01,54-01,58-01 ISBN 3-540-40386-8 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9,1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science* Business Media springeronline.com © Springer-Verlag Berlin Heidelberg 2004 Printed in Germany The use of general descriptive names, registered names, trademarks, etc.