Introduction to Real Analysis Dr. Weihu Hong Clayton State University 8/27/2009.

Slides:



Advertisements
Similar presentations
Basic Structures: Functions and Sequences
Advertisements

Section 7.5: Equivalence Relations Def: A relation R on a set A is called an equivalence relation if it is reflexive, symmetric, and transitive. Ex: Let.
Equivalence Relations
Lecture 1 RMIT University, Taylor's University Learning Objectives
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Week 21 Basic Set Theory A set is a collection of elements. Use capital letters, A, B, C to denotes sets and small letters a 1, a 2, … to denote the elements.
1 Diagonalization Fact: Many books exist. Fact: Some books contain the titles of other books within them. Fact: Some books contain their own titles within.
EE1J2 - Slide 1 EE1J2 – Discrete Maths Lecture 10 Cardinality Uncountability of the real numbers.
CSE115/ENGR160 Discrete Mathematics 02/22/11 Ming-Hsuan Yang UC Merced 1.
CSE115/ENGR160 Discrete Mathematics 02/21/12
Sequence A list of objects arranged in a particular order.
Lecture ,3.3 Sequences & Summations Proof by Induction.
Cardinality of a Set “The number of elements in a set.” Let A be a set. a.If A =  (the empty set), then the cardinality of A is 0. b. If A has exactly.
Chapter 7 Functions Dr. Curry Guinn. Outline of Today Section 7.1: Functions Defined on General Sets Section 7.2: One-to-One and Onto Section 7.3: The.
Cardinality of Sets Section 2.5.
Set theory Sets: Powerful tool in computer science to solve real world problems. A set is a collection of distinct objects called elements. Traditionally,
Sequences and Summations
Discrete Mathematics, 1st Edition Kevin Ferland
Foundations of Discrete Mathematics Chapter 3 By Dr. Dalia M. Gil, Ph.D.
ICS 253: Discrete Structures I
1 Lecture 3 (part 3) Functions – Cardinality Reading: Epp Chp 7.6.
1 Chapter Facts about Functions. 2 Section 2.3 Properties of Functions Let ƒ : A → B be a function. There are three properties that ƒ might possess.
Discrete Mathematics and Its Applications Sixth Edition By Kenneth Rosen Copyright  The McGraw-Hill Companies, Inc. Permission required for reproduction.
Introduction to Real Analysis Dr. Weihu Hong Clayton State University 8/21/2008.
1.4 Sets Definition 1. A set is a group of objects . The objects in a set are called the elements, or members, of the set. Example 2 The set of positive.
Basic Structures: Sets, Functions, Sequences, and Sums CSC-2259 Discrete Structures Konstantin Busch - LSU1.
Sets Define sets in 2 ways  Enumeration  Set comprehension (predicate on membership), e.g., {n | n  N   k  k  N  n = 10  k  0  n  50} the set.
Mathematical Induction
A Universal Turing Machine
Functions Section 2.3. Section Summary Definition of a Function. – Domain, Cdomain – Image, Preimage Injection, Surjection, Bijection Inverse Function.
Relations, Functions, and Countability
CS201: Data Structures and Discrete Mathematics I
Discrete Mathematics R. Johnsonbaugh
COMPSCI 102 Introduction to Discrete Mathematics.
Aim: How can the word ‘infinite’ define a collection of elements?
Introduction to Real Analysis Dr. Weihu Hong Clayton State University 9/18/2008.
INFIINITE SETS CSC 172 SPRING 2002 LECTURE 23. Cardinality and Counting The cardinality of a set is the number of elements in the set Two sets are equipotent.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
Introduction to Real Analysis Dr. Weihu Hong Clayton State University 10/7/2008.
Chapter 2 With Question/Answer Animations. Section 2.1.
Basic Structures: Sets, Functions, Sequences, and Sums.
Cardinality with Applications to Computability Lecture 33 Section 7.5 Wed, Apr 12, 2006.
Sets Definition: A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a.
Great Theoretical Ideas in Computer Science.
Discrete Mathematics Set.
Functions (Mappings). Definitions A function (or mapping)  from a set A to a set B is a rule that assigns to each element a of A exactly one element.
1 Melikyan/DM/Fall09 Discrete Mathematics Ch. 7 Functions Instructor: Hayk Melikyan Today we will review sections 7.3, 7.4 and 7.5.
Section 3.2: Sequences and Summations. Def: A sequence is a function from a subset of the set of integers (usually the set of natural numbers) to a set.
CS 285- Discrete Mathematics
1 Mathematical Preliminaries. 2 Sets Functions Relations Graphs Proof Techniques.
Strings and Languages Denning, Section 2.7. Alphabet An alphabet V is a finite nonempty set of symbols. Each symbol is a non- divisible or atomic object.
Relations and Functions ORDERED PAIRS AND CARTESIAN PRODUCT An ordered pair consists of two elements, say a and b, in which one of them, say a is designated.
Introduction to Real Analysis Dr. Weihu Hong Clayton State University 9/3/2009.
Section 2.5. Cardinality Definition: A set that is either finite or has the same cardinality as the set of positive integers (Z + ) is called countable.
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
Week 8 - Wednesday.  What did we talk about last time?  Relations  Properties of relations  Reflexive  Symmetric  Transitive.
Department of Mathematics
One of Cantor's basic concepts was the notion of the size or cardinality of a set M, denoted by |M|  M - finite sets M is an n-set or has size n, if.
1-1 Copyright © 2013, 2005, 2001 Pearson Education, Inc. Section 2.4, Slide 1 Chapter 2 Sets and Functions.
Cardinality with Applications to Computability
Dr. Ameria Eldosoky Discrete mathematics
Discrete Mathematics CS 2610
Department of Mathematics
Introduction to Real Analysis
Cardinality of Sets Section 2.5.
Countable and Countably Infinite Sets
Cardinality Definition: The cardinality of a set A is equal to the cardinality of a set B, denoted |A| = |B|, if and only if there is a one-to-one correspondence.
Presentation transcript:

Introduction to Real Analysis Dr. Weihu Hong Clayton State University 8/27/2009

Countable and Uncountable sets Equivalent sets: two sets A and B are said to be equivalent , denoted A~B, if there exists a one-to-one function of A onto B. The notion of equivalence of sets is an equivalence relation (reflexive, symmetric, and transitive). Definition of finite, infinite, countable, uncountable, and at most countable: for each positive integer n, let If A is a set, we say: (a) A is finite if A ~ for some n, or A = Ø. (b) A is infinite if A is not finite. (c) A is countable if A ~ N. (d) A is uncountable if A is neither finite nor countable. (e) A is at most countable if A is finite or countable.

Examples of countable sets N is countable S = the set of positive integers that are perfect squares is countable Z is countable N × N is countable Q is countable E = the set of even integers is countable O = the set of odd integers is countable

Definition of Sequences If A is a set, by a sequence in A we mean a function from N into A, that is, f: N  A. For each n єN,. Then is called the nth term of the sequence f. If A is countable set, then there exists a one-to-one function f from N onto A. Thus A = Range f = The sequence f is called an enumeration of the set A; i.e.,

Theorem Every infinite subset of a countable set is countable. Proof: Let A be a countable set and let be an enumeration of A. Suppose E is an infinite subset of A. Then each x єE is of the form for some nєN. We can write E as a sequence in the natural order as in A, i.e., Define function f: N  E by Then f is one- to-one and onto. Thus E is countable.

Theorem If f maps N onto A, then A is at most countable. Proof: If A is finite, the A is at most countable. Suppose A is infinite. Since f maps N onto A, each a єA is an image of some nєN, that is, f(n) = a. Since the set is not empty, it follows from the well-ordering principle that it has a smallest integer, which denote by Consider the mapping a  of A into N. If then since f is a function,. Since A is infinite, is an infinite subset of N. Thus the mapping a  is a one-to-one mapping of A onto an infinite subset of N. It follows from Theorem that A is countable.

Indexed Families of Sets Let A and X be nonempty sets. An indexed family of subsets of X with index set A is a function from A to into P (X), denote by Examples: For each x є(0,1), let Then is an indexed family of subsets of Q. The sequence

Operations of indexed families of subsets of X Suppose is an indexed family of subsets of X. The union and intersection of the family are defined respectively

Distributive and De Morgan’s laws

The Countability of Q Theorem If is a sequence of countable sets and then S is countable. Proof: Since is countable for each n єN, we can write Since is an infinite subset of S, the set S itself is infinite. Consider the function h: N×N  S by The function h (may not be one-to-one) is a mapping of N×N onto S. Thus since N×N ~ N, there exists a mapping of N onto S. It follows from Theorem that the set S is countable.

Corollary Q is countable. Proof: Since each rational can be written as a fraction of two integers, for each m єN, let Then is countable, and it follows from Theorem that the set Q is countable.

Theorem The closed interval [0,1] is uncountable. Proof: (Cantor) Since there are infinitely many rational numbers in [0,1],the set is not finite. To prove that it is uncountable, we only need to show that it is not countable. To this end, we will prove that every countable subset of [0,1] is a proper subset of [0,1]. Thus [0,1] cannot be countable. Let be a countable subset of [0,1]. Then each has a decimal expansion

Continuation of the proof: Define a new number as follows Therefore, E is a proper subset of [0,1].