Éclat a Mathematics Journal
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Mathematics 144 Set Theory Fall 2012 Version
MATHEMATICS 144 SET THEORY FALL 2012 VERSION Table of Contents I. General considerations.……………………………………………………………………………………………………….1 1. Overview of the course…………………………………………………………………………………………………1 2. Historical background and motivation………………………………………………………….………………4 3. Selected problems………………………………………………………………………………………………………13 I I. Basic concepts. ………………………………………………………………………………………………………………….15 1. Topics from logic…………………………………………………………………………………………………………16 2. Notation and first steps………………………………………………………………………………………………26 3. Simple examples…………………………………………………………………………………………………………30 I I I. Constructions in set theory.………………………………………………………………………………..……….34 1. Boolean algebra operations.……………………………………………………………………………………….34 2. Ordered pairs and Cartesian products……………………………………………………………………… ….40 3. Larger constructions………………………………………………………………………………………………..….42 4. A convenient assumption………………………………………………………………………………………… ….45 I V. Relations and functions ……………………………………………………………………………………………….49 1.Binary relations………………………………………………………………………………………………………… ….49 2. Partial and linear orderings……………………………..………………………………………………… ………… 56 3. Functions…………………………………………………………………………………………………………… ….…….. 61 4. Composite and inverse function.…………………………………………………………………………… …….. 70 5. Constructions involving functions ………………………………………………………………………… ……… 77 6. Order types……………………………………………………………………………………………………… …………… 80 i V. Number systems and set theory …………………………………………………………………………………. 84 1. The Natural Numbers and Integers…………………………………………………………………………….83 2. Finite induction -
Programme 2009 the Abel Prize Ceremony 19 May 2009 Procession Accompanied by the “Abel Fanfare” Music: Klaus Sandvik
Programme 2009 The Abel Prize Ceremony 19 May 2009 Procession accompanied by the “Abel Fanfare” Music: Klaus Sandvik. Performed by three musicians from the Staff Band of the Norwegian Defence Forces Their Majesties King Harald and Queen Sonja enter the hall Soroban Arve Henriksen (trumpet) (Music: Arve Henriksen) Opening by Øyvind Østerud President of the Norwegian Academy of Science and Letters Eg veit i himmerik ei borg Trio Mediæval, Arve Henriksen (Norwegian folk tune from Hallingdal, arr. Linn A. Fuglseth) The Abel Prize Award Ceremony Professor Kristian Seip Chairman of the Abel Committee The Committee’s citation His Majesty King Harald presents the Abel Prize to Mikhail Leonidovich Gromov Acceptance speech by Mikhail Leonidovich Gromov Closing remarks by Professor Øyvind Østerud President of the Norwegian Academy of Science and Letters Till, till Tove Trio Mediæval, Arve Henriksen, Birger Mistereggen (percussion) (Norwegian folk tune from Vestfold, arr. Tone Krohn) Their Majesties King Harald and Queen Sonja leave the hall Procession leaves the hall Other guests leave the hall when the procession has left to a skilled mathematics teacher in the upper secondary school is called after Abel’s own Professor Øyvind Østerud teacher, Bernt Michael Holmboe. There is every reason to remember Holmboe, who was President of the Norwegian Academy of Science and Letters Abel’s mathematics teacher at Christiania Cathedral School from when Abel was 16. Holmboe discovered Abel’s talent, inspired him, encouraged him, and took the young pupil considerably further than the curriculum demanded. He pointed him to the professional literature, helped Your Majesties, Excellencies, dear friends, him with overseas contacts and stipends and became a lifelong colleague and friend. -
Oslo 2004: the Abel Prize Celebrations
NEWS OsloOslo 2004:2004: TheThe AbelAbel PrizePrize celebrationscelebrations Nils Voje Johansen and Yngvar Reichelt (Oslo, Norway) On 25 March, the Norwegian Academy of Science and Letters announced that the Abel Prize for 2004 was to be awarded to Sir Michael F. Atiyah of the University of Edinburgh and Isadore M. Singer of MIT. This is the second Abel Prize awarded following the Norwegian Government’s decision in 2001 to allocate NOK 200 million to the creation of the Abel Foundation, with the intention of award- ing an international prize for outstanding research in mathematics. The prize, amounting to NOK 6 million, was insti- tuted to make up for the fact that there is no Nobel Prize for mathematics. In addi- tion to awarding the international prize, the Foundation shall contribute part of its earnings to measures for increasing inter- est in, and stimulating recruitment to, Nils Voje Johansen Yngvar Reichelt mathematical and scientific fields. The first Abel Prize was awarded in machine – the brain and the computer, break those rules creatively, just like an 2003 to the French mathematician Jean- with the subtitle “Will a computer ever be artist or a musical composer. Pierre Serre for playing a key role in shap- awarded the Abel Prize?” Quentin After a brief interval, Quentin Cooper ing the modern form of many parts of Cooper, one of the BBC’s most popular invited questions from the audience and a mathematics. In 2004, the Abel radio presenters, chaired the meeting, in number of points were brought up that Committee decided that Michael F. which Sir Michael spoke for an hour to an Atiyah addressed thoroughly and profes- Atiyah and Isadore M. -
The Axiom of Choice and Its Implications
THE AXIOM OF CHOICE AND ITS IMPLICATIONS KEVIN BARNUM Abstract. In this paper we will look at the Axiom of Choice and some of the various implications it has. These implications include a number of equivalent statements, and also some less accepted ideas. The proofs discussed will give us an idea of why the Axiom of Choice is so powerful, but also so controversial. Contents 1. Introduction 1 2. The Axiom of Choice and Its Equivalents 1 2.1. The Axiom of Choice and its Well-known Equivalents 1 2.2. Some Other Less Well-known Equivalents of the Axiom of Choice 3 3. Applications of the Axiom of Choice 5 3.1. Equivalence Between The Axiom of Choice and the Claim that Every Vector Space has a Basis 5 3.2. Some More Applications of the Axiom of Choice 6 4. Controversial Results 10 Acknowledgments 11 References 11 1. Introduction The Axiom of Choice states that for any family of nonempty disjoint sets, there exists a set that consists of exactly one element from each element of the family. It seems strange at first that such an innocuous sounding idea can be so powerful and controversial, but it certainly is both. To understand why, we will start by looking at some statements that are equivalent to the axiom of choice. Many of these equivalences are very useful, and we devote much time to one, namely, that every vector space has a basis. We go on from there to see a few more applications of the Axiom of Choice and its equivalents, and finish by looking at some of the reasons why the Axiom of Choice is so controversial. -
All About Abel Dayanara Serges Niels Henrik Abel (August 5, 1802-April 6,1829) Was a Norwegian Mathematician Known for Numerous Contributions to Mathematics
All About Abel Dayanara Serges Niels Henrik Abel (August 5, 1802-April 6,1829) was a Norwegian mathematician known for numerous contributions to mathematics. Abel was born in Finnoy, Norway, as the second child of a dirt poor family of eight. Abels father was a poor Lutheran minister who moved his family to the parish of Gjerstad, near the town of Risr in southeast Norway, soon after Niels Henrik was born. In 1815 Niels entered the cathedral school in Oslo, where his mathematical talent was recognized in 1817 by his math teacher, Bernt Michael Holmboe, who introduced him to the classics in mathematical literature and proposed original problems for him to solve. Abel studied the mathematical works of the 17th-century Englishman Sir Isaac Newton, the 18th-century German Leonhard Euler, and his contemporaries the Frenchman Joseph-Louis Lagrange and the German Carl Friedrich Gauss in preparation for his own research. At the age of 16, Abel gave a proof of the Binomial Theorem valid for all numbers not only Rationals, extending Euler's result. Abels father died in 1820, leaving the family in straitened circumstances, but Holmboe and other professors contributed and raised funds that enabled Abel to enter the University of Christiania (Oslo) in 1821. Abels first papers, published in 1823, were on functional equations and integrals; he was the first person to formulate and solve an integral equation. He had also created a proof of the impossibility of solving algebraically the general equation of the fifth degree at the age of 19, which he hoped would bring him recognition. -
17 Axiom of Choice
Math 361 Axiom of Choice 17 Axiom of Choice De¯nition 17.1. Let be a nonempty set of nonempty sets. Then a choice function for is a function f sucFh that f(S) S for all S . F 2 2 F Example 17.2. Let = (N)r . Then we can de¯ne a choice function f by F P f;g f(S) = the least element of S: Example 17.3. Let = (Z)r . Then we can de¯ne a choice function f by F P f;g f(S) = ²n where n = min z z S and, if n = 0, ² = min z= z z = n; z S . fj j j 2 g 6 f j j j j j 2 g Example 17.4. Let = (Q)r . Then we can de¯ne a choice function f as follows. F P f;g Let g : Q N be an injection. Then ! f(S) = q where g(q) = min g(r) r S . f j 2 g Example 17.5. Let = (R)r . Then it is impossible to explicitly de¯ne a choice function for . F P f;g F Axiom 17.6 (Axiom of Choice (AC)). For every set of nonempty sets, there exists a function f such that f(S) S for all S . F 2 2 F We say that f is a choice function for . F Theorem 17.7 (AC). If A; B are non-empty sets, then the following are equivalent: (a) A B ¹ (b) There exists a surjection g : B A. ! Proof. (a) (b) Suppose that A B. -
Equivalents to the Axiom of Choice and Their Uses A
EQUIVALENTS TO THE AXIOM OF CHOICE AND THEIR USES A Thesis Presented to The Faculty of the Department of Mathematics California State University, Los Angeles In Partial Fulfillment of the Requirements for the Degree Master of Science in Mathematics By James Szufu Yang c 2015 James Szufu Yang ALL RIGHTS RESERVED ii The thesis of James Szufu Yang is approved. Mike Krebs, Ph.D. Kristin Webster, Ph.D. Michael Hoffman, Ph.D., Committee Chair Grant Fraser, Ph.D., Department Chair California State University, Los Angeles June 2015 iii ABSTRACT Equivalents to the Axiom of Choice and Their Uses By James Szufu Yang In set theory, the Axiom of Choice (AC) was formulated in 1904 by Ernst Zermelo. It is an addition to the older Zermelo-Fraenkel (ZF) set theory. We call it Zermelo-Fraenkel set theory with the Axiom of Choice and abbreviate it as ZFC. This paper starts with an introduction to the foundations of ZFC set the- ory, which includes the Zermelo-Fraenkel axioms, partially ordered sets (posets), the Cartesian product, the Axiom of Choice, and their related proofs. It then intro- duces several equivalent forms of the Axiom of Choice and proves that they are all equivalent. In the end, equivalents to the Axiom of Choice are used to prove a few fundamental theorems in set theory, linear analysis, and abstract algebra. This paper is concluded by a brief review of the work in it, followed by a few points of interest for further study in mathematics and/or set theory. iv ACKNOWLEDGMENTS Between the two department requirements to complete a master's degree in mathematics − the comprehensive exams and a thesis, I really wanted to experience doing a research and writing a serious academic paper. -
Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Boise State University, [email protected]
Boise State University ScholarWorks Mathematics Undergraduate Theses Department of Mathematics 5-2014 Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Boise State University, [email protected] Follow this and additional works at: http://scholarworks.boisestate.edu/ math_undergraduate_theses Part of the Set Theory Commons Recommended Citation Rahim, Farighon Abdul, "Axioms of Set Theory and Equivalents of Axiom of Choice" (2014). Mathematics Undergraduate Theses. Paper 1. Axioms of Set Theory and Equivalents of Axiom of Choice Farighon Abdul Rahim Advisor: Samuel Coskey Boise State University May 2014 1 Introduction Sets are all around us. A bag of potato chips, for instance, is a set containing certain number of individual chip’s that are its elements. University is another example of a set with students as its elements. By elements, we mean members. But sets should not be confused as to what they really are. A daughter of a blacksmith is an element of a set that contains her mother, father, and her siblings. Then this set is an element of a set that contains all the other families that live in the nearby town. So a set itself can be an element of a bigger set. In mathematics, axiom is defined to be a rule or a statement that is accepted to be true regardless of having to prove it. In a sense, axioms are self evident. In set theory, we deal with sets. Each time we state an axiom, we will do so by considering sets. Example of the set containing the blacksmith family might make it seem as if sets are finite. -
Reposs #11: the Mathematics of Niels Henrik Abel: Continuation and New Approaches in Mathematics During the 1820S
RePoSS: Research Publications on Science Studies RePoSS #11: The Mathematics of Niels Henrik Abel: Continuation and New Approaches in Mathematics During the 1820s Henrik Kragh Sørensen October 2010 Centre for Science Studies, University of Aarhus, Denmark Research group: History and philosophy of science Please cite this work as: Henrik Kragh Sørensen (Oct. 2010). The Mathematics of Niels Henrik Abel: Continuation and New Approaches in Mathemat- ics During the 1820s. RePoSS: Research Publications on Science Studies 11. Aarhus: Centre for Science Studies, University of Aarhus. url: http://www.css.au.dk/reposs. Copyright c Henrik Kragh Sørensen, 2010 The Mathematics of NIELS HENRIK ABEL Continuation and New Approaches in Mathematics During the 1820s HENRIK KRAGH SØRENSEN For Mom and Dad who were always there for me when I abandoned all good manners, good friends, and common sense to pursue my dreams. The Mathematics of NIELS HENRIK ABEL Continuation and New Approaches in Mathematics During the 1820s HENRIK KRAGH SØRENSEN PhD dissertation March 2002 Electronic edition, October 2010 History of Science Department The Faculty of Science University of Aarhus, Denmark This dissertation was submitted to the Faculty of Science, University of Aarhus in March 2002 for the purpose of ob- taining the scientific PhD degree. It was defended in a public PhD defense on May 3, 2002. A second, only slightly revised edition was printed October, 2004. The PhD program was supervised by associate professor KIRSTI ANDERSEN, History of Science Department, Univer- sity of Aarhus. Professors UMBERTO BOTTAZZINI (University of Palermo, Italy), JEREMY J. GRAY (Open University, UK), and OLE KNUDSEN (History of Science Department, Aarhus) served on the committee for the defense. -
SET THEORY Andrea K. Dieterly a Thesis Submitted to the Graduate
SET THEORY Andrea K. Dieterly A Thesis Submitted to the Graduate College of Bowling Green State University in partial fulfillment of the requirements for the degree of MASTER OF ARTS August 2011 Committee: Warren Wm. McGovern, Advisor Juan Bes Rieuwert Blok i Abstract Warren Wm. McGovern, Advisor This manuscript was to show the equivalency of the Axiom of Choice, Zorn's Lemma and Zermelo's Well-Ordering Principle. Starting with a brief history of the development of set history, this work introduced the Axioms of Zermelo-Fraenkel, common applications of the axioms, and set theoretic descriptions of sets of numbers. The book, Introduction to Set Theory, by Karel Hrbacek and Thomas Jech was the primary resource with other sources providing additional background information. ii Acknowledgements I would like to thank Warren Wm. McGovern for his assistance and guidance while working and writing this thesis. I also want to thank Reiuwert Blok and Juan Bes for being on my committee. Thank you to Dan Shifflet and Nate Iverson for help with the typesetting program LATEX. A personal thank you to my husband, Don, for his love and support. iii Contents Contents . iii 1 Introduction 1 1.1 Naive Set Theory . 2 1.2 The Axiom of Choice . 4 1.3 Russell's Paradox . 5 2 Axioms of Zermelo-Fraenkel 7 2.1 First Order Logic . 7 2.2 The Axioms of Zermelo-Fraenkel . 8 2.3 The Recursive Theorem . 13 3 Development of Numbers 16 3.1 Natural Numbers and Integers . 16 3.2 Rational Numbers . 20 3.3 Real Numbers . -
1. the Zermelo Fraenkel Axioms of Set Theory
1. The Zermelo Fraenkel Axioms of Set Theory The naive definition of a set as a collection of objects is unsatisfactory: The objects within a set may themselves be sets, whose elements are also sets, etc. This leads to an infinite regression. Should this be allowed? If the answer is “yes”, then such a set certainly would not meet our intuitive expectations of a set. In particular, a set for which A A holds contradicts our intuition about a set. This could be formulated as a first∈ axiom towards a formal approach towards sets. It will be a later, and not very essential axiom. Not essential because A A will not lead to a logical contradiction. This is different from Russel’s paradox:∈ Let us assume that there is something like a universe of all sets. Given the property A/ A it should define a set R of all sets for which this property holds. Thus R = A∈ A/ A . Is R such a set A? Of course, we must be able to ask this { | ∈ } question. Notice, if R is one of the A0s it must satisfy the condition R/ R. But by the very definition of R, namely R = A A/ A we get R R iff R/∈ R. Of course, this is a logical contradiction. But{ how| can∈ } we resolve it?∈ The answer∈ will be given by an axiom that restricts the definition of sets by properties. The scope of a property P (A), like P (A) A/ A, must itself be a set, say B. Thus, instead of R = A A/ A we define≡ for any∈ set B the set R(B) = A A B, A / A . -
11: the Axiom of Choice and Zorn's Lemma
11. The Axiom of Choice Contents 1 Motivation 2 2 The Axiom of Choice2 3 Two powerful equivalents of AC5 4 Zorn's Lemma5 5 Using Zorn's Lemma7 6 More equivalences of AC 11 7 Consequences of the Axiom of Choice 12 8 A look at the world without choice 14 c 2018{ Ivan Khatchatourian 1 11. The Axiom of Choice 11.2. The Axiom of Choice 1 Motivation Most of the motivation for this topic, and some explanations of why you should find it interesting, are found in the sections below. At this point, we will just make a few short remarks. In this course specifically, we are going to use Zorn's Lemma in one important proof later, and in a few Big List problems. Since we just learned about partial orders, we will use this time to state and discuss Zorn's Lemma, while the intuition about partial orders is still fresh in the readers' minds. We also include two proofs using Zorn's Lemma, so you can get an idea of what these sorts of proofs look like before we do a more serious one later. We also implicitly use the Axiom of Choice throughout in this course, but this is ubiquitous in mathematics; most of the time we do not even realize we are using it, nor do we need to be concerned about when we are using it. That said, since we need to talk about Zorn's Lemma, it seems appropriate to expand a bit on the Axiom of Choice to demystify it a little bit, and just because it is a fascinating topic.