DOCSLIB.ORG

An Introduction to Ordinals

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
An Introduction to Ordinals An Introduction to Ordinals D. Salgado, N. Singer #blairlogicmath November 2017 D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 1 / 39 Introduction D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 2 / 39 History Bolzano defined a set as \an aggregate so conceived that it is indifferent to the arrangement of its members" (1883) Cantor defined set membership, subsets, powersets, unions, intersections, complements, etc. Given two sets A and B, Cantor says they have the same cardinality iff there exists a bijection between them Denoted jAj = jBj More generally, jAj ≤ jBj iff there is an injection from A to B Every set has a cardinal number, which represents its cardinality @0 Infinite sets have cardinalities @0; 2 ;::: Arithmetic can be defined, e.g. jAj + jBj = j(A × f0g) [ (B × f1g)j D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 3 / 39 That structure is derived from the order of the set The notions of cardinality only apply to unstructured sets and are determined by bijections Every set also has an order type determined by order-preserving bijections: f : A ! B is a bijection and 8x; y 2 A [(x < y) ! (f (x) < f (y))] Intuition Cantor viewed sets as fundamentally structured When we view the natural numbers, why does it make sense to think of them as just an “infinite bag of numbers"? The natural numbers is constructed in an inherently structured way: through successors D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 4 / 39 The notions of cardinality only apply to unstructured sets and are determined by bijections Every set also has an order type determined by order-preserving bijections: f : A ! B is a bijection and 8x; y 2 A [(x < y) ! (f (x) < f (y))] Intuition Cantor viewed sets as fundamentally structured When we view the natural numbers, why does it make sense to think of them as just an “infinite bag of numbers"? The natural numbers is constructed in an inherently structured way: through successors That structure is derived from the order of the set D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 4 / 39 Intuition Cantor viewed sets as fundamentally structured When we view the natural numbers, why does it make sense to think of them as just an “infinite bag of numbers"? The natural numbers is constructed in an inherently structured way: through successors That structure is derived from the order of the set The notions of cardinality only apply to unstructured sets and are determined by bijections Every set also has an order type determined by order-preserving bijections: f : A ! B is a bijection and 8x; y 2 A [(x < y) ! (f (x) < f (y))] D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 4 / 39 Cardinals and ordinals The cardinality of a set corresponds to its cardinal number; the order type of a set corresponds to its ordinal number Two sets can have the same cardinality but different order types The cardinality of N, jNj, is @0 The order type of N, Ord N, is ! Under order-preserving bijections, ordered sets are equivalent up to the labeling of the elements D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 5 / 39 Can they be placed in an order-preserving bijection? Naturals 0 1 2 3 ::: Primes 2 3 5 7 ::: Naturals and primes Consider the naturals 0; 1; 2; 3;::: and the primes 2; 3; 5; 7; 11;:::. Can they be placed in a bijection? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 6 / 39 Naturals 0 1 2 3 ::: Primes 2 3 5 7 ::: Naturals and primes Consider the naturals 0; 1; 2; 3;::: and the primes 2; 3; 5; 7; 11;:::. Can they be placed in a bijection? Can they be placed in an order-preserving bijection? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 6 / 39 Naturals and primes Consider the naturals 0; 1; 2; 3;::: and the primes 2; 3; 5; 7; 11;:::. Can they be placed in a bijection? Can they be placed in an order-preserving bijection? Naturals 0 1 2 3 ::: Primes 2 3 5 7 ::: D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 6 / 39 Naturals 0 1 2 3 4 ::: Integers 0 1 -1 2 -2 ::: Can they be placed in an order-preserving bijection? Why not? Naturals and integers What about the naturals 0; 1; 2; 3;::: and the integers :::; −2; −1; 0; 1; 2;:::? Can they be placed in a bijection? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 7 / 39 Can they be placed in an order-preserving bijection? Why not? Naturals and integers What about the naturals 0; 1; 2; 3;::: and the integers :::; −2; −1; 0; 1; 2;:::? Can they be placed in a bijection? Naturals 0 1 2 3 4 ::: Integers 0 1 -1 2 -2 ::: D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 7 / 39 Why not? Naturals and integers What about the naturals 0; 1; 2; 3;::: and the integers :::; −2; −1; 0; 1; 2;:::? Can they be placed in a bijection? Naturals 0 1 2 3 4 ::: Integers 0 1 -1 2 -2 ::: Can they be placed in an order-preserving bijection? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 7 / 39 Naturals and integers What about the naturals 0; 1; 2; 3;::: and the integers :::; −2; −1; 0; 1; 2;:::? Can they be placed in a bijection? Naturals 0 1 2 3 4 ::: Integers 0 1 -1 2 -2 ::: Can they be placed in an order-preserving bijection? Why not? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 7 / 39 What is !? ! is a mathematical object that we can explicitly define (we'll do it later) It represents the structure of any set when it's ordered like 0 < 1 < 2 < 3 < ··· An ordered set has order type ! when the set has a first element, a second element, and so on forever x N has order type !, but so does fx : x is primeg, f2 : x 2 Ng, and {−4; −3; −2; −1; 0; 1; 2; 3; :::g D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 8 / 39 Do they have the same order type? Define the order type of the new set to be ! + 1 What about f0; 1; 2; 3;:::; a; b; cg? Order types Let's look at some structured sets and figure out their order types! Consider the sets N = f0; 1; 2; 3;:::g and f0; 1; 2; 3;:::; ag. Do they have the same cardinality? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 9 / 39 Define the order type of the new set to be ! + 1 What about f0; 1; 2; 3;:::; a; b; cg? Order types Let's look at some structured sets and figure out their order types! Consider the sets N = f0; 1; 2; 3;:::g and f0; 1; 2; 3;:::; ag. Do they have the same cardinality? Do they have the same order type? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 9 / 39 Order types Let's look at some structured sets and figure out their order types! Consider the sets N = f0; 1; 2; 3;:::g and f0; 1; 2; 3;:::; ag. Do they have the same cardinality? Do they have the same order type? Define the order type of the new set to be ! + 1 What about f0; 1; 2; 3;:::; a; b; cg? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 9 / 39 Ordinals and hyperjumps There are only two kinds of ordinals: successor ordinals and limit ordinals Successor ordinals come \after" any given ordinal Limit ordinals come after you take a jump into \hyperspace" Also the supremum of an infinitely increasing set of ordinals Figure: The original USS Enterprise (NCC-1701) making the jump into \warp". D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 10 / 39 What do you think its order type is? The answer is ! · 2 = ! + ! Two sequential copies of ! What's the order type of f0; 00; 1; 10; 2; 20; 3; 30;:::g? What's the order type of f0; 1; 2; 3;:::; 00; 10; 20; 30;:::; 000; 100; 200; 300; 400g? Order types Consider the set f0; 1; 2; 3;:::; 00; 10; 20; 30;:::g. Does this have the same cardinality as N? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 11 / 39 The answer is ! · 2 = ! + ! Two sequential copies of ! What's the order type of f0; 00; 1; 10; 2; 20; 3; 30;:::g? What's the order type of f0; 1; 2; 3;:::; 00; 10; 20; 30;:::; 000; 100; 200; 300; 400g? Order types Consider the set f0; 1; 2; 3;:::; 00; 10; 20; 30;:::g. Does this have the same cardinality as N? What do you think its order type is? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 11 / 39 What's the order type of f0; 1; 2; 3;:::; 00; 10; 20; 30;:::; 000; 100; 200; 300; 400g? Order types Consider the set f0; 1; 2; 3;:::; 00; 10; 20; 30;:::g. Does this have the same cardinality as N? What do you think its order type is? The answer is ! · 2 = ! + ! Two sequential copies of ! What's the order type of f0; 00; 1; 10; 2; 20; 3; 30;:::g? D. Salgado, N. Singer (#blairlogicmath) An Introduction to Ordinals November 2017 11 / 39 Order types Consider the set f0; 1; 2; 3;:::; 00; 10; 20; 30;:::g.
Load more

Recommended publications
  • Biography Paper – Georg Cantor
    Mike Garkie Math 4010 – History of Math UCD Denver 4/1/08 Biography Paper – Georg Cantor Few mathematicians are house-hold names; perhaps only Newton and Euclid would qualify. But there is a second tier of mathematicians, those whose names might not be familiar, but whose discoveries are part of everyday math. Examples here are Napier with logarithms, Cauchy with limits and Georg Cantor (1845 – 1918) with sets. In fact, those who superficially familier with Georg Cantor probably have two impressions of the man: First, as a consequence of thinking about sets, Cantor developed a theory of the actual infinite. And second, that Cantor was a troubled genius, crippled by Freudian conflict and mental illness. The first impression is fundamentally true. Cantor almost single-handedly overturned the Aristotle’s concept of the potential infinite by developing the concept of transfinite numbers. And, even though Bolzano and Frege made significant contributions, “Set theory … is the creation of one person, Georg Cantor.” [4] The second impression is mostly false. Cantor certainly did suffer from mental illness later in his life, but the other emotional baggage assigned to him is mostly due his early biographers, particularly the infamous E.T. Bell in Men Of Mathematics [7]. In the racially charged atmosphere of 1930’s Europe, the sensational story mathematician who turned the idea of infinity on its head and went crazy in the process, probably make for good reading. The drama of the controversy over Cantor’s ideas only added spice. 1 Fortunately, modern scholars have corrected the errors and biases in older biographies.
    [Show full text]
  • Even Ordinals and the Kunen Inconsistency∗
    Even ordinals and the Kunen inconsistency∗ Gabriel Goldberg Evans Hall University Drive Berkeley, CA 94720 July 23, 2021 Abstract This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity phenomenon: assuming choiceless large cardinal axioms, the properties of the cumulative hierarchy turn out to alternate between even and odd ranks. The second part of the paper explores the structure of ultrafilters under choiceless large cardinal axioms, exploiting the fact that these axioms imply a weak form of the author's Ultrapower Axiom [1]. The third and final part of the paper examines the consistency strength of choiceless large cardinals, including a proof that assuming DC, the existence of an elementary embedding j : Vλ+3 ! Vλ+3 implies the consistency of ZFC + I0. embedding j : Vλ+3 ! Vλ+3 implies that every subset of Vλ+1 has a sharp. We show that the existence of an elementary embedding from Vλ+2 to Vλ+2 is equiconsistent with the existence of an elementary embedding from L(Vλ+2) to L(Vλ+2) with critical point below λ. We show that assuming DC, the existence of an elementary embedding j : Vλ+3 ! Vλ+3 implies the consistency of ZFC + I0. By a recent result of Schlutzenberg [2], an elementary embedding from Vλ+2 to Vλ+2 does not suffice. 1 Introduction Assuming the Axiom of Choice, the large cardinal hierarchy comes to an abrupt halt in the vicinity of an !-huge cardinal.
    [Show full text]
  • Order Types and Structure of Orders
    ORDER TYPES AND STRUCTURE OF ORDERS BY ANDRE GLEYZALp) 1. Introduction. This paper is concerned with operations on order types or order properties a and the construction of order types related to a. The reference throughout is to simply or linearly ordered sets, and we shall speak of a as either property or type. Let a and ß be any two order types. An order A will be said to be of type aß if it is the sum of /3-orders (orders of type ß) over an a-order; i.e., if A permits of decomposition into nonoverlapping seg- ments each of order type ß, the segments themselves forming an order of type a. We have thus associated with every pair of order types a and ß the product order type aß. The definition of product for order types automatically associates with every order type a the order types aa = a2, aa2 = a3, ■ ■ ■ . We may further- more define, for all ordinals X, a Xth power of a, a\ and finally a limit order type a1. This order type has certain interesting properties. It has closure with respect to the product operation, for the sum of ar-orders over an a7-order is an a'-order, i.e., a'al = aI. For this reason we call a1 iterative. In general, we term an order type ß having the property that ßß = ß iterative, a1 has the following postulational identification: 1. a7 is a supertype of a; that is to say, all a-orders are a7-orders. 2. a1 is iterative.
    [Show full text]
  • Handout from Today's Lecture
    MA532 Lecture Timothy Kohl Boston University April 23, 2020 Timothy Kohl (Boston University) MA532 Lecture April 23, 2020 1 / 26 Cardinal Arithmetic Recall that one may define addition and multiplication of ordinals α = ot(A, A) β = ot(B, B ) α + β and α · β by constructing order relations on A ∪ B and B × A. For cardinal numbers the foundations are somewhat similar, but also somewhat simpler since one need not refer to orderings. Definition For sets A, B where |A| = α and |B| = β then α + β = |(A × {0}) ∪ (B × {1})|. Timothy Kohl (Boston University) MA532 Lecture April 23, 2020 2 / 26 The curious part of the definition is the two sets A × {0} and B × {1} which can be viewed as subsets of the direct product (A ∪ B) × {0, 1} which basically allows us to add |A| and |B|, in particular since, in the usual formula for the size of the union of two sets |A ∪ B| = |A| + |B| − |A ∩ B| which in this case is bypassed since, by construction, (A × {0}) ∩ (B × {1})= ∅ regardless of the nature of A ∩ B. Timothy Kohl (Boston University) MA532 Lecture April 23, 2020 3 / 26 Definition For sets A, B where |A| = α and |B| = β then α · β = |A × B|. One immediate consequence of these definitions is the following. Proposition If m, n are finite ordinals, then as cardinals one has |m| + |n| = |m + n|, (where the addition on the right is ordinal addition in ω) meaning that ordinal addition and cardinal addition agree. Proof. The simplest proof of this is to define a bijection f : (m × {0}) ∪ (n × {1}) → m + n by f (hr, 0i)= r for r ∈ m and f (hs, 1i)= m + s for s ∈ n.
    [Show full text]
  • 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.
    [Show full text]
  • Elements of Set Theory
    Elements of set theory April 1, 2014 ii Contents 1 Zermelo{Fraenkel axiomatization 1 1.1 Historical context . 1 1.2 The language of the theory . 3 1.3 The most basic axioms . 4 1.4 Axiom of Infinity . 4 1.5 Axiom schema of Comprehension . 5 1.6 Functions . 6 1.7 Axiom of Choice . 7 1.8 Axiom schema of Replacement . 9 1.9 Axiom of Regularity . 9 2 Basic notions 11 2.1 Transitive sets . 11 2.2 Von Neumann's natural numbers . 11 2.3 Finite and infinite sets . 15 2.4 Cardinality . 17 2.5 Countable and uncountable sets . 19 3 Ordinals 21 3.1 Basic definitions . 21 3.2 Transfinite induction and recursion . 25 3.3 Applications with choice . 26 3.4 Applications without choice . 29 3.5 Cardinal numbers . 31 4 Descriptive set theory 35 4.1 Rational and real numbers . 35 4.2 Topological spaces . 37 4.3 Polish spaces . 39 4.4 Borel sets . 43 4.5 Analytic sets . 46 4.6 Lebesgue's mistake . 48 iii iv CONTENTS 5 Formal logic 51 5.1 Propositional logic . 51 5.1.1 Propositional logic: syntax . 51 5.1.2 Propositional logic: semantics . 52 5.1.3 Propositional logic: completeness . 53 5.2 First order logic . 56 5.2.1 First order logic: syntax . 56 5.2.2 First order logic: semantics . 59 5.2.3 Completeness theorem . 60 6 Model theory 67 6.1 Basic notions . 67 6.2 Ultraproducts and nonstandard analysis . 68 6.3 Quantifier elimination and the real closed fields .
    [Show full text]
  • CLASS II MATHEMATICS CHAPTER-2: ORDINAL NUMBERS Cardinal Numbers - the Numbers One, Two, Three
    CLASS II MATHEMATICS CHAPTER-2: ORDINAL NUMBERS Cardinal Numbers - The numbers one, two, three,..... which tell us the number of objects or items are called Cardinal Numbers. Ordinal Numbers - The numbers such as first, second, third ...... which tell us the position of an object in a collection are called Ordinal Numbers. CARDINAL NUMBERS READ THE CONVERSATION That was great Ria… I stood first Hi Mic! How in my class. was your result? In the conversation the word ’first’ is an ordinal number. LOOK AT THE PICTURE CAREFULLY FIRST THIRD FIFTH SECOND FOURTH ORDINAL NUMBERS Cardinal Numbers Ordinal Numbers 1 1st / first 2 2nd / second 3 3rd / third 4 4th / fourth 5 5th / fifth 6 6th / sixth 7 7th / seventh 8 8th / eighth 9 9th / ninth 10 10th / tenth Cardinal Numbers Ordinal Numbers 11 11th / eleventh 12 12th / twelfth 13 13th / thirteenth 14 14th / fourteenth 15 15th / fifteenth 16 16th / sixteenth 17 17th / seventeenth 18 18th / eighteenth 19 19th / nineteenth 20 20th / twentieth Q1. Observe the given sequence of pictures and fill in the blanks with correct ordinal numbers. 1. Circle is at __ place. 2. Bat and ball is at __ place. 3. Cross is at __ place. 4. Kite is at __ place. 5. Flower is at __ place. 6. Flag is at __ place. HOME ASSIGNMENT 1. MATCH THE CORRECT PAIRS OF ORDINAL NUMBERS: 1. seventh 4th 2. fourth 7th 3. ninth 20th 4. twentieth 9th 5. tenth 6th 6. sixth 10th 7. twelfth 13th 8. fourteenth 12th 9. thirteenth 14th Let’s Solve 2. FILL IN THE BLANKS WITH CORRECT ORDINAL NUMBER 1.
    [Show full text]
  • Types for Describing Coordinated Data Structures
    Types for Describing Coordinated Data Structures Michael F. Ringenburg∗ Dan Grossman [email protected] [email protected] Dept. of Computer Science & Engineering University of Washington, Seattle, WA 98195 ABSTRACT the n-th function). This section motivates why such invari- Coordinated data structures are sets of (perhaps unbounded) ants are important, explores why the scope of type variables data structures where the nodes of each structure may share makes the problem appear daunting, and previews the rest abstract types with the corresponding nodes of the other of the paper. structures. For example, consider a list of arguments, and 1.1 Low-Level Type Systems a separate list of functions, where the n-th function of the Recent years have witnessed substantial work on powerful second list should be applied only to the n-th argument of type systems for safe, low-level languages. Standard moti- the first list. We can guarantee that this invariant is obeyed vation for such systems includes compiler debugging (gener- by coordinating the two lists, such that the type of the n-th ated code that does not type check implies a compiler error), argument is existentially quantified and identical to the ar- proof-carrying code (the type system encodes a safety prop- gument type of the n-th function. In this paper, we describe erty that the type-checker verifies), automated optimization a minimal set of features sufficient for a type system to sup- (an optimizer can exploit the type information), and manual port coordinated data structures. We also demonstrate that optimization (humans can use idioms unavailable in higher- two known type systems (Crary and Weirich’s LX [6] and level languages without sacrificing safety).
    [Show full text]
  • Some Set Theory We Should Know Cardinality and Cardinal Numbers
    SOME SET THEORY WE SHOULD KNOW CARDINALITY AND CARDINAL NUMBERS De¯nition. Two sets A and B are said to have the same cardinality, and we write jAj = jBj, if there exists a one-to-one onto function f : A ! B. We also say jAj · jBj if there exists a one-to-one (but not necessarily onto) function f : A ! B. Then the SchrÄoder-BernsteinTheorem says: jAj · jBj and jBj · jAj implies jAj = jBj: SchrÄoder-BernsteinTheorem. If there are one-to-one maps f : A ! B and g : B ! A, then jAj = jBj. A set is called countable if it is either ¯nite or has the same cardinality as the set N of positive integers. Theorem ST1. (a) A countable union of countable sets is countable; (b) If A1;A2; :::; An are countable, so is ¦i·nAi; (c) If A is countable, so is the set of all ¯nite subsets of A, as well as the set of all ¯nite sequences of elements of A; (d) The set Q of all rational numbers is countable. Theorem ST2. The following sets have the same cardinality as the set R of real numbers: (a) The set P(N) of all subsets of the natural numbers N; (b) The set of all functions f : N ! f0; 1g; (c) The set of all in¯nite sequences of 0's and 1's; (d) The set of all in¯nite sequences of real numbers. The cardinality of N (and any countable in¯nite set) is denoted by @0. @1 denotes the next in¯nite cardinal, @2 the next, etc.
    [Show full text]
  • 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.
    [Show full text]
  • Dimensional Functions Over Partially Ordered Sets
    Intro Dimensional functions over posets Application I Application II Dimensional functions over partially ordered sets V.N.Remeslennikov, E. Frenkel May 30, 2013 1 / 38 Intro Dimensional functions over posets Application I Application II Plan The notion of a dimensional function over a partially ordered set was introduced by V. N. Remeslennikov in 2012. Outline of the talk: Part I. Definition and fundamental results on dimensional functions, (based on the paper of V. N. Remeslennikov and A. N. Rybalov “Dimensional functions over posets”); Part II. 1st application: Definition of dimension for arbitrary algebraic systems; Part III. 2nd application: Definition of dimension for regular subsets of free groups (L. Frenkel and V. N. Remeslennikov “Dimensional functions for regular subsets of free groups”, work in progress). 2 / 38 Intro Dimensional functions over posets Application I Application II Partially ordered sets Definition A partial order is a binary relation ≤ over a set M such that ∀a ∈ M a ≤ a (reflexivity); ∀a, b ∈ M a ≤ b and b ≤ a implies a = b (antisymmetry); ∀a, b, c ∈ M a ≤ b and b ≤ c implies a ≤ c (transitivity). Definition A set M with a partial order is called a partially ordered set (poset). 3 / 38 Intro Dimensional functions over posets Application I Application II Linearly ordered abelian groups Definition A set A equipped with addition + and a linear order ≤ is called linearly ordered abelian group if 1. A, + is an abelian group; 2. A, ≤ is a linearly ordered set; 3. ∀a, b, c ∈ A a ≤ b implies a + c ≤ b + c. Definition The semigroup A+ of all nonnegative elements of A is defined by A+ = {a ∈ A | 0 ≤ a}.
    [Show full text]
  • Generic Haskell: Applications
    Generic Haskell: applications Ralf Hinze1 and Johan Jeuring2,3 1 Institut f¨urInformatik III, Universit¨atBonn R¨omerstraße 164, 53117 Bonn, Germany [email protected] http://www.informatik.uni-bonn.de/~ralf/ 2 Institute of Information and Computing Sciences, Utrecht University P.O.Box 80.089, 3508 TB Utrecht, The Netherlands [email protected] http://www.cs.uu.nl/~johanj/ 3 Open University, Heerlen, The Netherlands Abstract. 1 Generic Haskell is an extension of Haskell that supports the construc- tion of generic programs. This article describes generic programming in practice. It discusses three advanced generic programming applications: generic dictionaries, compressing XML documents, and the zipper. When describing and implementing these examples, we will encounter some advanced features of Generic Haskell, such as type-indexed data types, dependencies between and generic abstractions of generic functions, ad- justing a generic function using a default case, and generic functions with a special case for a particular constructor. 1 Introduction A polytypic (or generic, type-indexed) function is a function that can be instan- tiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in Haskell [50], such as show, read, and ‘ ’. In [23] we have introduced type-indexed functions, and we have shown how to implement them in Generic Haskell [7]. For an older introduction to generic programming, see Backhouse et al [4]. Why is generic programming important? Generic programming makes pro- grams easier to write: – Programs that could only be written in an untyped style can now be written in a language with types.
    [Show full text]