axiomatic vs naïve set theory


 Shanon Turner
 2 years ago
 Views:
Transcription
1 ED40 Discrete Structures in Computer Science 1: Sets Jörn W. Janneck, Dept. of Computer Science, Lund University axiomatic vs naïve set theory s ZermeloFraenkel Set Theory w/choice (ZFC) extensionality i regularity d specification union e replacement b infinity power set a choice r This course will be about naïve set theory. However, at its end, you should be able to read and understand most of the above. 2 sets: collections of stuff, empty set sets are collections of stuff any kind of stuff some sets are pretty large (we'll talk more about just how large later) this is the empty set there is but one of those 3
2 element of Given a set, any given thing x either is, or is not, an element of. elementhood depends on a concept of equality 4 extensionality set is defined by the elements it contains (its extension). order, repetition do not matter equal sets must contain exactly the same elements 1element sets are singleton sets 5 cardinality The number of elements in a set is called its cardinality. alternative syntax For now, we will only consider the cardinality of finite sets. We will discuss infinite sets, including their cardinality, in more detail later. (lso, we haven't yet precisely defined these terms.) 6
3 inclusion subset superset this means that and might be the same, in fact iff is jargon for if and only if, meaning both sides are logically equivalent For any set, it's always the case that We use to denote proper (or strict) inclusion : and are proper (or strict) subset and superset, respectively. Sometimes, is used to mean. Here, we always use it to mean proper inclusion. 7 properties of inclusion inclusion is transitive:* therefore inclusion is partial:* There are sets and for which neither or is true. Example? * We will discuss transitivity and partiality more generally later 8 specifying sets enumeration of its elements set builder notation / set comprehensions flavor 1 flavor 2 recursive definition bad flavor (we will discuss this later) enumeration w/ suspension points/ellipsis (informal standin for a recursive definition) 9
4 building sets, examples 10 not everything that looks like a set... s Is R an element of R? i Let's assume it is, i.e. b ut, oy veh, that means R would satisfy the property defining it, and that implies, dangnabbit: e Okay, obviously that can't be right. Clearly that means R cannot be an element of R, i.e. d This means that R satisfies the property defining R, in other words: a r This contradiction is known as Russel's paradox. 11 set building done right So isn't a welldefined set. What went wrong? The trouble is with the variable, x. It can literally stand for anything. (nd anything appears to include things that aren't sets.) When using set builder notation, make sure the variables are limited to elements of a set you already know to be welldefined. N: This form also automatically implies a superset! 12
5 drawing sets: Euler diagrams, can be ambiguous regions of overlap are assumed to be nonempty C D 13 drawing sets: Venn diagrams special case of Euler diagrams showing all combinations of overlap between sets (even if empty) gets very messy very quickly for anything more than three sets C empty / nonempty regions need to be explicitly marked: 14 operations on sets union all elements that are in or or both intersection all elements that are both in and difference all elements that are in and not in 15
6 difference and complement set difference There is in general no inverse set  for a given set. However, often we work in a local universe, i.e. a set of everything we are potentially interested in. Let's call it U. U Examples of U? Number theory? Programming languages? Then we can give the complement of a set a meaning: alternative syntaxes: 16 disjointness Two sets and are disjoint if they do not have any common elements, i.e. their intersection is empty: Note that every set is disjoint from the empty set Even the empty set!. For multiple sets 1,, n, we say they are pairwise disjoint iff for any i, j, such that i j, i and j are disjoint, i.e. 17 set algebra some properties of intersection and union: idempotence commutativity commutativity associativity associativity distributivity distributivity (more in the exercises of 1.4.1, 1.4.2, and in SLM) 18
7 family matters family of sets is a way of referring to a set of sets, usually indexed by an index set.* index index set alternative syntax sets Examples: What is (a) What is the extension? (b) What does it mean? * We will come back to this notion in the lecture on functions. 19 large families Often, the index set is something like the natural numbers: natural numbers starting at i multiples of i (excluding i) divisors of i (excl. 1 and i) What are these sets? What is the prime numbers 20 generalized union & intersection Let S be a set of sets. Often, S is a family of sets. Then we write... When the index set is infinite, strange things can happen: (a) What is the biggest number in each i? (b) What is the biggest number in their union? 21
8 power sets The power set of a set is the set of all its subsets. alternative syntax Some properties: Why is that? 22 structure of power sets Power sets have a peculiar structure with respect to inclusion: This is a Hasse diagram of the inclusion relation on a power set. We will come back to this when we talk about relations. connection means that the upper set properly includes the lower one. Implied connections are omitted. 23 how stuff is represented: numbers e b The set representing n contains all the sets representing all smaller numbers as elements. d n+: hoitytoity way of writing n + 1 i They are encoded as sets. common encoding is the von Neumann construction: s In axiomatic set theory, everything is a set. (Except, occasionally, collections that aren't, such as all sets etc.) What about numbers? a r Some properties: 24
Sections 2.1, 2.2 and 2.4
SETS Sections 2.1, 2.2 and 2.4 Chapter Summary Sets The Language of Sets Set Operations Set Identities Introduction Sets are one of the basic building blocks for the types of objects considered in discrete
More information(Refer Slide Time: 1:41)
Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture # 10 Sets Today we shall learn about sets. You must
More informationIntroduction Russell s Paradox Basic Set Theory Operations on Sets. 6. Sets. Terence Sim
6. Sets Terence Sim 6.1. Introduction A set is a Many that allows itself to be thought of as a One. Georg Cantor Reading Section 6.1 6.3 of Epp. Section 3.1 3.4 of Campbell. Familiar concepts Sets can
More informationSets and set operations
CS 441 Discrete Mathematics for CS Lecture 7 Sets and set operations Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square asic discrete structures Discrete math = study of the discrete structures used
More informationCmSc 175 Discrete Mathematics Lesson 10: SETS A B, A B
CmSc 175 Discrete Mathematics Lesson 10: SETS Sets: finite, infinite, : empty set, U : universal set Describing a set: Enumeration = {a, b, c} Predicates = {x P(x)} Recursive definition, e.g. sequences
More informationA set is a Many that allows itself to be thought of as a One. (Georg Cantor)
Chapter 4 Set Theory A set is a Many that allows itself to be thought of as a One. (Georg Cantor) In the previous chapters, we have often encountered sets, for example, prime numbers form a set, domains
More informationSome Definitions about Sets
Some Definitions about Sets Definition: Two sets are equal if they contain the same elements. I.e., sets A and B are equal if x[x A x B]. Notation: A = B. Recall: Sets are unordered and we do not distinguish
More informationLecture 1. Basic Concepts of Set Theory, Functions and Relations
September 7, 2005 p. 1 Lecture 1. Basic Concepts of Set Theory, Functions and Relations 0. Preliminaries...1 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2
More informationIn mathematics you don t understand things. You just get used to them. (Attributed to John von Neumann)
Chapter 1 Sets and Functions We understand a set to be any collection M of certain distinct objects of our thought or intuition (called the elements of M) into a whole. (Georg Cantor, 1895) In mathematics
More informationSets, Relations and Functions
Sets, Relations and Functions Eric Pacuit Department of Philosophy University of Maryland, College Park pacuit.org epacuit@umd.edu ugust 26, 2014 These notes provide a very brief background in discrete
More information4.1. Definitions. A set may be viewed as any well defined collection of objects, called elements or members of the set.
Section 4. Set Theory 4.1. Definitions A set may be viewed as any well defined collection of objects, called elements or members of the set. Sets are usually denoted with upper case letters, A, B, X, Y,
More informationSets and Subsets. Countable and Uncountable
Sets and Subsets Countable and Uncountable Reading Appendix A Section A.6.8 Pages 788792 BIG IDEAS Themes 1. There exist functions that cannot be computed in Java or any other computer language. 2. There
More informationThe Language of Mathematics
CHPTER 2 The Language of Mathematics 2.1. Set Theory 2.1.1. Sets. set is a collection of objects, called elements of the set. set can be represented by listing its elements between braces: = {1, 2, 3,
More informationWhat is a set? Sets. Specifying a Set. Notes. The Universal Set. Specifying a Set 10/29/13
What is a set? Sets CS 231 Dianna Xu set is a group of objects People: {lice, ob, Clara} Colors of a rainbow: {red, orange, yellow, green, blue, purple} States in the S: {labama, laska, Virginia, } ll
More informationNotes. Sets. Notes. Introduction II. Notes. Definition. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry.
Sets Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 1.6 1.7 of Rosen cse235@cse.unl.edu Introduction
More informationAnnouncements. CompSci 230 Discrete Math for Computer Science Sets. Introduction to Sets. Sets
CompSci 230 Discrete Math for Computer Science Sets September 12, 2013 Prof. Rodger Slides modified from Rosen 1 nnouncements Read for next time Chap. 2.32.6 Homework 2 due Tuesday Recitation 3 on Friday
More informationSets. A set is a collection of (mathematical) objects, with the collection treated as a single mathematical object.
Sets 1 Sets Informally: A set is a collection of (mathematical) objects, with the collection treated as a single mathematical object. Examples: real numbers, complex numbers, C integers, All students in
More informationSets and Cardinality Notes for C. F. Miller
Sets and Cardinality Notes for 620111 C. F. Miller Semester 1, 2000 Abstract These lecture notes were compiled in the Department of Mathematics and Statistics in the University of Melbourne for the use
More informationMath 117 Chapter 7 Sets and Probability
Math 117 Chapter 7 and Probability Flathead Valley Community College Page 1 of 15 1. A set is a welldefined collection of specific objects. Each item in the set is called an element or a member. Curly
More informationLogic, Sets, and Proofs
Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Statements. A logical statement is a mathematical statement that is either true or false. Here we denote logical
More informationThe Mathematics Driving License for Computer Science CS10410
The Mathematics Driving License for Computer Science CS10410 Venn Diagram, Union, Intersection, Difference, Complement, Disjoint, Subset and Power Set Nitin Naik Department of Computer Science VennEuler
More informationf(x) is a singleton set for all x A. If f is a function and f(x) = {y}, we normally write
Math 525 Chapter 1 Stuff If A and B are sets, then A B = {(x,y) x A, y B} denotes the product set. If S A B, then S is called a relation from A to B or a relation between A and B. If B = A, S A A is called
More information2.1 Sets, power sets. Cartesian Products.
Lecture 8 2.1 Sets, power sets. Cartesian Products. Set is an unordered collection of objects.  used to group objects together,  often the objects with similar properties This description of a set (without
More informationClicker Question. Theorems/Proofs and Computational Problems/Algorithms MC215: MATHEMATICAL REASONING AND DISCRETE STRUCTURES
MC215: MATHEMATICAL REASONING AND DISCRETE STRUCTURES Tuesday, 1/21/14 General course Information Sets Reading: [J] 1.1 Optional: [H] 1.11.7 Exercises: Do before next class; not to hand in [J] pp. 1214:
More informationCHAPTER 1. Basic Ideas
CHPTER 1 asic Ideas In the end, all mathematics can be boiled down to logic and set theory. ecause of this, any careful presentation of fundamental mathematical ideas is inevitably couched in the language
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More information2.3. Relations. Arrow diagrams. Venn diagrams and arrows can be used for representing
2.3. RELATIONS 32 2.3. Relations 2.3.1. Relations. Assume that we have a set of men M and a set of women W, some of whom are married. We want to express which men in M are married to which women in W.
More informationBasic Category Theory for Models of Syntax (Preliminary Version)
Basic Category Theory for Models of Syntax (Preliminary Version) R. L. Crole ( ) Department of Mathematics and Computer Science, University of Leicester, Leicester, LE1 7RH, U.K. Abstract. These notes
More informationSet (mathematics) From Wikipedia, the free encyclopedia
Set (mathematics) From Wikipedia, the free encyclopedia A set in mathematics is a collection of well defined and distinct objects, considered as an object in its own right. Sets are one of the most fundamental
More informationDescriptive Set Theory
Martin Goldstern Institute of Discrete Mathematics and Geometry Vienna University of Technology Ljubljana, August 2011 Polish spaces Polish space = complete metric separable. Examples N = ω = {0, 1, 2,...}.
More informationApplications of Methods of Proof
CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The settheoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are
More informationA brief history of type theory (or, more honestly, implementing mathematical objects as sets)
A brief history of type theory (or, more honestly, implementing mathematical objects as sets) Randall Holmes, Boise State University November 8, 2012 [notes revised later; this is the day the talk was
More informationSet Theory Basic Concepts and Definitions
Set Theory Basic Concepts and Definitions The Importance of Set Theory One striking feature of humans is their inherent need and ability to group objects according to specific criteria. Our prehistoric
More informationSets and set operations: cont. Functions.
CS 441 Discrete Mathematics for CS Lecture 8 Sets and set operations: cont. Functions. Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Set Definition: set is a (unordered) collection of objects.
More informationWe give a basic overview of the mathematical background required for this course.
1 Background We give a basic overview of the mathematical background required for this course. 1.1 Set Theory We introduce some concepts from naive set theory (as opposed to axiomatic set theory). The
More informationnot to be republishe NCERT SETS Chapter Introduction 1.2 Sets and their Representations
SETS Chapter 1 In these days of conflict between ancient and modern studies; there must surely be something to be said for a study which did not begin with Pythagoras and will not end with Einstein; but
More informationTHE LANGUAGE OF SETS AND SET NOTATION
THE LNGGE OF SETS ND SET NOTTION Mathematics is often referred to as a language with its own vocabulary and rules of grammar; one of the basic building blocks of the language of mathematics is the language
More informationDiscrete Mathematics
Discrete Mathematics ChihWei Yi Dept. of Computer Science National Chiao Tung University March 16, 2009 2.1 Sets 2.1 Sets 2.1 Sets Basic Notations for Sets For sets, we ll use variables S, T, U,. We can
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationSETS, RELATIONS, AND FUNCTIONS
September 27, 2009 and notations Common Universal Subset and Power Set Cardinality Operations A set is a collection or group of objects or elements or members (Cantor 1895). the collection of the four
More informationProblems on Discrete Mathematics 1
Problems on Discrete Mathematics 1 ChungChih Li 2 Kishan Mehrotra 3 Syracuse University, New York L A TEX at January 11, 2007 (Part I) 1 No part of this book can be reproduced without permission from
More informationLESSON SUMMARY. Set Operations and Venn Diagrams
LESSON SUMMARY CXC CSEC MATHEMATICS UNIT Three: Set Theory Lesson 4 Set Operations and Venn Diagrams Textbook: Mathematics, A Complete Course by Raymond Toolsie, Volumes 1 and 2. (Some helpful exercises
More informationChapter 1. Logic and Proof
Chapter 1. Logic and Proof 1.1 Remark: A little over 100 years ago, it was found that some mathematical proofs contained paradoxes, and these paradoxes could be used to prove statements that were known
More informationSection 2.6 Cantor s Theorem and the ZFC Axioms
1 Section 2.6 and the ZFC Axioms Purpose of Section: To state and prove Cantor theorem, which guarantees the existence of infinities larger than the cardinality of the continuum. We also state and discuss
More informationThis asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.
3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but
More informationDefinition 14 A set is an unordered collection of elements or objects.
Chapter 4 Set Theory Definition 14 A set is an unordered collection of elements or objects. Primitive Notation EXAMPLE {1, 2, 3} is a set containing 3 elements: 1, 2, and 3. EXAMPLE {1, 2, 3} = {3, 2,
More informationMAT2400 Analysis I. A brief introduction to proofs, sets, and functions
MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H1088 Budapest, Múzeum krt. 68. CONTENTS 1. SETS Set, equal sets, subset,
More informationMath/CSE 1019: Discrete Mathematics for Computer Science Fall Suprakash Datta
Math/CSE 1019: Discrete Mathematics for Computer Science Fall 2011 Suprakash Datta datta@cse.yorku.ca Office: CSEB 3043 Phone: 4167362100 ext 77875 Course page: http://www.cse.yorku.ca/course/1019 1
More informationA set is an unordered collection of objects.
Section 2.1 Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the elements, or members of the set. A set is said to contain
More information2.1 The Algebra of Sets
Chapter 2 Abstract Algebra 83 part of abstract algebra, sets are fundamental to all areas of mathematics and we need to establish a precise language for sets. We also explore operations on sets and relations
More informationALGEBRA HANDOUT 2: IDEALS AND QUOTIENTS. 1. Ideals in Commutative Rings In this section all groups and rings will be commutative.
ALGEBRA HANDOUT 2: IDEALS AND QUOTIENTS PETE L. CLARK 1. Ideals in Commutative Rings In this section all groups and rings will be commutative. 1.1. Basic definitions and examples. Let R be a (commutative!)
More informationSets and functions. {x R : x > 0}.
Sets and functions 1 Sets The language of sets and functions pervades mathematics, and most of the important operations in mathematics turn out to be functions or to be expressible in terms of functions.
More informationMathematics Review for MS Finance Students
Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,
More information4.1. Sets. Introduction. Prerequisites. Learning Outcomes. Learning Style
ets 4.1 Introduction If we can identify a property which is common to several objects, it is often useful to group them together. uch a grouping is called a set. Engineers for example, may wish to study
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationFinite Sets. Theorem 5.1. Two nonempty finite sets have the same cardinality if and only if they are equivalent.
MATH 337 Cardinality Dr. Neal, WKU We now shall prove that the rational numbers are a countable set while R is uncountable. This result shows that there are two different magnitudes of infinity. But we
More informationBarbers, Painters, and Berry. Melody Molander. Famous Paradoxes and their Relation to Mathematics. October
Famous Paradoxes and their Relation to Mathematics October Motivation 1.1 Locate a discussion of Russell s paradox, and understand it. What is a Paradox? paradox par a dox [paruhdoks] noun 1. a statement
More informationDiscrete Mathematics Lecture 5. Harper Langston New York University
Discrete Mathematics Lecture 5 Harper Langston New York University Empty Set S = {x R, x 2 = 1} X = {1, 3}, Y = {2, 4}, C = X Y (X and Y are disjoint) Empty set has no elements Empty set is a subset of
More informationDiscrete Mathematics, Chapter 5: Induction and Recursion
Discrete Mathematics, Chapter 5: Induction and Recursion Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 5 1 / 20 Outline 1 Wellfounded
More informationSet theory as a foundation for mathematics
Set theory as a foundation for mathematics Waffle Mathcamp 2011 In school we are taught about numbers, but we never learn what numbers really are. We learn rules of arithmetic, but we never learn why these
More informationMath 582 Introduction to Set Theory
Math 582 Introduction to Set Theory Kenneth Harris kaharri@umich.edu Department of Mathematics University of Michigan January 7, 2009 Kenneth Harris (Math 582) Math 582 Introduction to Set Theory January
More informationBasic Concepts of Set Theory, Functions and Relations
March 1, 2006 p. 1 Basic Concepts of Set Theory, Functions and Relations 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2 1.3. Identity and cardinality...3
More informationSets and Logic. Chapter Sets
Chapter 2 Sets and Logic This chapter introduces sets. In it we study the structure on subsets of a set, operations on subsets, the relations of inclusion and equality on sets, and the close connection
More informationLogic & Discrete Math in Software Engineering (CAS 701) Dr. Borzoo Bonakdarpour
Logic & Discrete Math in Software Engineering (CAS 701) Background Dr. Borzoo Bonakdarpour Department of Computing and Software McMaster University Dr. Borzoo Bonakdarpour Logic & Discrete Math in SE (CAS
More informationLecture Note 1 Set and Probability Theory. MIT 14.30 Spring 2006 Herman Bennett
Lecture Note 1 Set and Probability Theory MIT 14.30 Spring 2006 Herman Bennett 1 Set Theory 1.1 Definitions and Theorems 1. Experiment: any action or process whose outcome is subject to uncertainty. 2.
More informationFree groups. Contents. 1 Free groups. 1.1 Definitions and notations
Free groups Contents 1 Free groups 1 1.1 Definitions and notations..................... 1 1.2 Construction of a free group with basis X........... 2 1.3 The universal property of free groups...............
More informationA Little Set Theory (Never Hurt Anybody)
A Little Set Theory (Never Hurt Anybody) Matthew Saltzman Department of Mathematical Sciences Clemson University Draft: August 21, 2013 1 Introduction The fundamental ideas of set theory and the algebra
More informationLecture 4: Probability Spaces
EE5110: Probability Foundations for Electrical Engineers JulyNovember 2015 Lecture 4: Probability Spaces Lecturer: Dr. Krishna Jagannathan Scribe: Jainam Doshi, Arjun Nadh and Ajay M 4.1 Introduction
More informationDiscrete Mathematics. Some related courses. Assessed work. Motivation: functions. Motivation: sets. Exercise. Motivation: relations
Discrete Mathematics Philippa Gardner This course is based on previous lecture notes by Iain Phillips. K.H. Rosen. Discrete Mathematics and its Applications, McGraw Hill 1995. J.L. Gersting. Mathematical
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 8
18.312: Algebraic Combinatorics Lionel Levine Lecture date: March 1, 2011 Lecture 8 Notes by: Christopher Policastro Remark: In the last lecture, someone asked whether all posets could be constructed from
More informationGRADE 7 MATH TEACHING GUIDE
GRDE 7 MTH Lesson 2.1: Union and Intersection of Sets Prerequisite Concepts: Whole Numbers, definition of sets, Venn diagrams Objectives: In this lesson, you are expected to: 1. Describe and define a.
More informationLecture 2 : Basics of Probability Theory
Lecture 2 : Basics of Probability Theory When an experiment is performed, the realization of the experiment is an outcome in the sample space. If the experiment is performed a number of times, different
More informationCARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE
CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE With the notion of bijection at hand, it is easy to formalize the idea that two finite sets have the same number of elements: we just need to verify
More informationLecture 1 (Review of High School Math: Functions and Models) Introduction: Numbers and their properties
Lecture 1 (Review of High School Math: Functions and Models) Introduction: Numbers and their properties Addition: (1) (Associative law) If a, b, and c are any numbers, then ( ) ( ) (2) (Existence of an
More informationReview for Final Exam
Review for Final Exam Note: Warning, this is probably not exhaustive and probably does contain typos (which I d like to hear about), but represents a review of most of the material covered in Chapters
More informationvertex, 369 disjoint pairwise, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws
Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 466 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,
More informationNotes 2 for Honors Probability and Statistics
Notes 2 for Honors Probability and Statistics Ernie Croot August 24, 2010 1 Examples of σalgebras and Probability Measures So far, the only examples of σalgebras we have seen are ones where the sample
More informationStructure of Measurable Sets
Structure of Measurable Sets In these notes we discuss the structure of Lebesgue measurable subsets of R from several different points of view. Along the way, we will see several alternative characterizations
More informationPOSITIVE INTEGERS, INTEGERS AND RATIONAL NUMBERS OBTAINED FROM THE AXIOMS OF THE REAL NUMBER SYSTEM
MAT 1011 TECHNICAL ENGLISH I 03.11.2016 Dokuz Eylül University Faculty of Science Department of Mathematics Instructor: Engin Mermut Course assistant: Zübeyir Türkoğlu web: http://kisi.deu.edu.tr/engin.mermut/
More informationSOLUTIONS TO ASSIGNMENT 1 MATH 576
SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts
More informationFoundations of Mathematics I Set Theory (only a draft)
Foundations of Mathematics I Set Theory (only a draft) Ali Nesin Mathematics Department Istanbul Bilgi University Kuştepe Şişli Istanbul Turkey anesin@bilgi.edu.tr February 12, 2004 2 Contents I Naive
More informationSETS. Chapter Overview
Chapter 1 SETS 1.1 Overview This chapter deals with the concept of a set, operations on sets.concept of sets will be useful in studying the relations and functions. 1.1.1 Set and their representations
More informationSet theory as a foundation for mathematics
V I I I : Set theory as a foundation for mathematics This material is basically supplementary, and it was not covered in the course. In the first section we discuss the basic axioms of set theory and the
More informationCHAPTER 2. Set, Whole Numbers, and Numeration
CHAPTER 2 Set, Whole Numbers, and Numeration 2.1. Sets as a Basis for Whole Numbers A set is a collection of objects, called the elements or members of the set. Three common ways to define sets: (1) A
More informationCS 3719 (Theory of Computation and Algorithms) Lecture 4
CS 3719 (Theory of Computation and Algorithms) Lecture 4 Antonina Kolokolova January 18, 2012 1 Undecidable languages 1.1 ChurchTuring thesis Let s recap how it all started. In 1990, Hilbert stated a
More information2.1 Symbols and Terminology
2.1 Symbols and Terminology Definitions: set is a collection of objects. The objects belonging to the set are called elements, ormembers, oftheset. Sets can be designated in one of three different ways:
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 1 9/3/2008 PROBABILISTIC MODELS AND PROBABILITY MEASURES
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 1 9/3/2008 PROBABILISTIC MODELS AND PROBABILITY MEASURES Contents 1. Probabilistic experiments 2. Sample space 3. Discrete probability
More informationMath 421: Probability and Statistics I Note Set 2
Math 421: Probability and Statistics I Note Set 2 Marcus Pendergrass September 13, 2013 4 Discrete Probability Discrete probability is concerned with situations in which you can essentially list all the
More information2.1.1 Examples of Sets and their Elements
Chapter 2 Set Theory 2.1 Sets The most basic object in Mathematics is called a set. As rudimentary as it is, the exact, formal definition of a set is highly complex. For our purposes, we will simply define
More information13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcsftl 2010/9/8 0:40 page 379 #385
mcsftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite
More informationClassical Sets and Fuzzy Sets Classical Sets Operation on Classical Sets Properties of Classical (Crisp) Sets Mapping of Classical Sets to Functions
Classical Sets and Fuzzy Sets Classical Sets Operation on Classical Sets Properties of Classical (Crisp) Sets Mapping of Classical Sets to Functions Fuzzy Sets Notation Convention for Fuzzy Sets Fuzzy
More informationBoolean or Propositional Logic
Boolean or Propositional Logic SET07106 Mathematics for Software Engineering School of Computing Edinburgh Napier University Module Leader: Uta Priss 2010 Copyright Edinburgh Napier University Boolean
More information1 / Basic Structures: Sets, Functions, Sequences, and Sums  definition of a set, and the use of the intuitive notion that any property whatever there
C H A P T E R Basic Structures: Sets, Functions, Sequences, and Sums.1 Sets. Set Operations.3 Functions.4 Sequences and Summations Much of discrete mathematics is devoted to the study of discrete structures,
More informationChapter 1. Informal introdution to the axioms of ZF.
Chapter 1. Informal introdution to the axioms of ZF. 1.1. Extension. Our conception of sets comes from set of objects that we know well such as N, Q and R, and subsets we can form from these determined
More informationMath 507/420 Homework Assignment #1: Due in class on Friday, September 20. SOLUTIONS
Math 507/420 Homework Assignment #1: Due in class on Friday, September 20. SOLUTIONS 1. Show that a nonempty collection A of subsets is an algebra iff 1) for all A, B A, A B A and 2) for all A A, A c A.
More informationIntroduction to mathematical arguments
Introduction to mathematical arguments (background handout for courses requiring proofs) by Michael Hutchings A mathematical proof is an argument which convinces other people that something is true. Math
More informationThe Foundations of Mathematics
The Foundations of Mathematics c 2005,2006,2007 Kenneth Kunen Kenneth Kunen October 29, 2007 Contents 0 Introduction 3 0.1 Prerequisites.................................. 3 0.2 Logical Notation...............................
More informationAxiom A.1. Lines, planes and space are sets of points. Space contains all points.
73 Appendix A.1 Basic Notions We take the terms point, line, plane, and space as undefined. We also use the concept of a set and a subset, belongs to or is an element of a set. In a formal axiomatic approach
More informationCommon and Uncommon Standard Number Sets
Common and Uncommon Standard Number Sets W. Blaine Dowler July 8, 2010 Abstract There are a number of important (and interesting unimportant) sets in mathematics. Sixteen of those sets are detailed here.
More information