5 Set Operations, Functions, and Counting

Size: px
Start display at page:

Download "5 Set Operations, Functions, and Counting"

Transcription

1 5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers, R the real numbers, and C the complex numbers. We will also use F to stand for either of the fields R or C. 5.1 Set Operations and Functions Notation 5.1 Given two sets X and Y, let Y X denote the collection of all functions f : X Y. If X = N, we will say that f Y N is a sequence with values in Y and often write f n for f (n) and express f as {f n } n=1. If X = {1, 2,..., N}, we will write Y N in place of Y {1,2,...,N} and denote f Y N by f = (f 1, f 2,..., f N ) where f n = f(n). Notation 5.2 More generally if {X α : α A} is a collection of non-empty sets, let X A = X α and π α : X A X α be the canonical projection map defined α A by π α (x) = x α. If If X α = X for some fixed space X, then we will write as X A rather than X A. X α α A Recall that an element x X A is a choice function, i.e. an assignment x α := x(α) X α for each α A. The axiom of choice states that X A provided that X α for each α A. Notation 5.3 Given a set X, let 2 X denote the power set of X the collection of all subsets of X including the empty set. The reason for writing the power set of X as 2 X is that if we think of 2 meaning {0, 1}, then an element of a 2 X = {0, 1} X is completely determined by the set A := {x X : a(x) = 1} X. In this way elements in {0, 1} X are in one to one correspondence with subsets of X. For A 2 X let A c := X \ A = {x X : x / A} and more generally if A, B X let B \ A := {x B : x / A} = A B c. We also define the symmetric difference of A and B by A B := (B \ A) (A \ B). As usual if {A α } α I is an indexed collection of subsets of X we define the union and the intersection of this collection by α I A α := {x X : α I x A α } and α I A α := {x X : x A α α I }. Example 5.4. Let A, B, and C be subsets of X. Then A (B C) = [A B] [A C]. Indeed, x A (B C) x A and x B C x A and x B or x A and x C x A B or x A C x [A B] [A C]. Notation 5.5 We will also write α I A α for α I A α in the case that {A α } α I are pairwise disjoint, i.e. A α A β = if α β. Notice that is closely related to and is closely related to. For example let {A n } n=1 be a sequence of subsets from X and define {A n i.o.} := {x X : # {n : x A n } = } and {A n a.a.} := {x X : x A n for all n sufficiently large}. (One should read {A n i.o.} as A n infinitely often and {A n a.a.} as A n almost always.) Then x {A n i.o.} iff and this may be expressed as Similarly, x {A n a.a.} iff N N n N x A n {A n i.o.} = N=1 n N A n.

2 34 5 Set Operations, Functions, and Counting which may be written as N N n N, x A n {A n a.a.} = N=1 n N A n. We end this section with some notation which will be used frequently in the sequel. Definition 5.6. If f : X Y is a function and B Y, then If A X we also write, f 1 (B) := {x X : f (x) B}. f (A) := {f (x) : x A} Y. Example 5.7. If f : X Y is a function and B Y, then f 1 (B c ) = [ f 1 (B) ] c or to be more precise, To prove this notice that f 1 (Y \ B) = X \ f 1 (B). x f 1 (B c ) f (x) B c f (x) / B x / f 1 (B) x [ f 1 (B) ] c. On the other hand, if A X it is not necessarily true that f (A c ) = [f (A)] c. For example, suppose that f : {1, 2} {1, 2} is the defined by f (1) = f (2) = 1 and A = {1}. Then f (A) = f (A c ) = {1} where [f (A)] c = {1} c = {2}. Notation 5.8 If f : X Y is a function and E 2 Y If G 2 X, let let f 1 E := f 1 (E) := {f 1 (E) E E}. f G := {A 2 Y f 1 (A) G}. Definition 5.9. Let E 2 X be a collection of sets, A X, i A : A X be the inclusion map (i A (x) = x for all x A) and E A = i 1 A (E) = {A E : E E} Exercises Let f : X Y be a function and {A i } i I be an indexed family of subsets of Y, verify the following assertions. Exercise 5.1. ( i I A i ) c = i I A c i. Exercise 5.2. Suppose that B Y, show that B \ ( i I A i ) = i I (B \ A i ). Exercise 5.3. f 1 ( i I A i ) = i I f 1 (A i ). Exercise 5.4. f 1 ( i I A i ) = i I f 1 (A i ). Exercise 5.5. Find a counterexample which shows that f(c D) = f(c) f(d) need not hold. 5.2 Cardinality In this section, X and Y be sets. Definition 5.10 (Cardinality). We say card (X) card (Y ) if there exists an injective map, f : X Y and card (Y ) card (X) if there exists a surjective map g : Y X. We say card (X) = card (Y ) (also denoted as X Y ) if there exists a bijections, f : X Y. Proposition If X and Y are sets, then card (X) card (Y ) iff card (Y ) card (X). Proof. If f : X Y is an injective map, define g : Y X by g f(x) = f 1 and g Y \f(x) = x 0 X chosen arbitrarily. Then g : Y X is surjective. If g : Y X is a surjective map, then Y x := g 1 ({x}) for all x X and so by the axiom of choice there exists f x X Y x. Thus f : X Y such that f (x) Y x for all x. As the {Y x } x X are pairwise disjoint, it follows that f is injective. Theorem 5.12 (Schröder-Bernstein Theorem). If card (X) card (Y ) and card (Y ) card (X), then card (X) = card (Y ). Stated more explicitly; if there exists injective maps f : X Y and g : Y X, then there exists a bijective map, h : X Y. Proof. See the Appendix, Theorem B.10. Exercise 5.6. If X = X 1 X 2 with X 1 X 2 =, Y = Y 1 Y 2 with Y 1 Y 2 =, and X i Y i for i = 1, 2, then X Y. This exercise generalizes to an arbitrary number of factors. Page: 34 job: unanal macro: svmonob.cls date/time: 2-Nov-2012/8:26

3 5.3 Finite Sets Notation 5.13 (Integer Intervals) For n N we let J n := {1, 2,..., n} := {k N : k n}. Definition We say a non-empty set, X, is finite if card (X) = card (J n ) for some n N. We will also write # (X) = n 1 to indicate that card (X) = card (J n ). [It is shown in Theorem 5.17 below that # (X) is well defined, i.e. it is not possible for card (X) = card (J n ) and card (X) = card (J m ) unless m = n.] Lemma Suppose n N and k J n+1, then card (J n+1 \ {k}) = card (J n ). Proof. Let f : J n J n+1 \ {k} be defined by { x if x < k f (x) = x + 1 if x k Then f is the desired bijection. 2 Alternatively. If n = 1, then J 2 = {1, 2} and either J 2 \ {k} = J 1 or J 2 \{k} = {2}, either way card (J 2 \ {k}) = card (J 1 ). Now suppose that result holds for a given n N and k J n+2. If k = {n + 2} we have J n+2 \{k} = J n+1 so card (J n+2 \ {k}) = card (J n+1 ) while if k J n+1 J n+2, then J n+2 \ {k} = (J n+1 \ {k}) {n + 2} J n {n + 2} J n {n + 1} = J n+1. Lemma If m, n N with n > m, then every map, f : J n J m, is not injective. Proof. If f : J n J m were injective, then f Jm+1 : J m+1 J m would be injective as well. Therefore it suffices to show there is no injective map, f : J m+1 J m for all m N. We prove this last assertion by induction on m. The case m = 1 is trivial as J 1 = {1} so the only function, f : J 2 J 1 is the function, f (1) = 1 = f (2) which is not injective. Now suppose m 1 and there were an injective map, f : J m+2 J m+1. Letting k := f (m + 2) we would have, f Jm+1 : J m+1 J m+1 \{k} J m, which would produce and injective map from J m+1 to J m. However this contradicts the induction hypothesis and thus completes the proof. 1 You should read # (X) = n, as X is a set with n elements. 2 The inverse map, g : J n+1 \ {k} J n, to f is given by g (y) = { y if y < k y 1 if y > k. 5.3 Finite Sets 35 Theorem If m, n N, then card (J m ) card (J n ) iff m n. Moreover, card (J n ) = card (J m ) iff m = n and hence card (J m ) < card (J n ) iff m < n. Proof. As J m J n if m n and J m = J n if m = n, it is only the forward implications that have any real content. If card (J m ) card (J n ), there exists an injective map, g : J m J n. According to Lemma 5.16 this can only happen if m n. If card (J n ) = card (J m ), then card (J n ) card (J m ) and card (J m ) card (J n ) and hence m n and n m, i.e. m = n. Proposition If X is a finite set with # (X) = n and S is a non-empty subset of X, then S is a finite set and # (S) = k n. Moreover if # (S) = n, then S = X. Proof. It suffices to assume that X = J n and S J n. We now give two proofs of the result. Proof 1. Let S 1 = S and f (1) := min S 1. If S 2 := S 1 \ {f (1)} is not empty, let f (2) := min S 2 2. We then continue this construction inductively. So if f (k) = min S k k has been constructed, then we define S k+1 := S k \ {f (k)}. If S k+1 we define f (k + 1) := min S k+1 k + 1. As f (k) k for all k that f is defined, this process has to stop after at most n steps. Say it stops at k so that S k+1 =. Then f : J k S is a bijection and therefore S is finite and # (S) = k n. Moreover, the only way that k = n is if f (k) = k at each step of the construction so that f : J n S is the identity map in this case, i.e. S = J n. Proof 2. We prove this by induction on n. When n = 1 the only no-empty subset of S of J 1 is J 1 itself. Thus # (S) = 1 and S = J 1. Now suppose that the result hold for some n N and let S J n+1. If n + 1 / S, then S J n and by the induction hypothesis we know # (S) = k n < n + 1. So now suppose that n + 1 S and let S := S \ {n + 1} J n. Then by the induction hypothesis, S is a finite set and # (S ) = k n, i.e. there exists a bijection, f : J k S and S = J n is k = n. Therefore f : J k+1 S given by f = f on J k and f (k + 1) = n+1 is a bijections from J k+1 to S. Therefore # (S) = k +1 n+1 with equality iff S = J n which happens iff S = J n+1. Proposition If f : J n J n is a map, then the following are equivalent, 1. f is injective, 2. f is surjective, 3. f is bijective. Proof. If n = 1, the only map f : J 1 J 1 is f (1) = 1. So in this case there is nothing to prove. So now suppose the proposition holds for level n and f : J n+1 J n+1 is a given map. Page: 35 job: unanal macro: svmonob.cls date/time: 2-Nov-2012/8:26

4 36 5 Set Operations, Functions, and Counting If f : J n+1 J n+1 is an injective map and f (J n+1 ) is a proper subset of J n+1, then card (J n+1 ) < card (f (J n+1 )) = card (J n+1 ) which is absurd. Thus f is injective implies f is surjective. Conversely suppose that f : J n+1 J n+1 is surjective. Let g : J n+1 J n+1 be a right inverse, i.e. f g = id, which is necessarily injective, see the proof of Proposition By the pervious paragraph we know that g is necessarily surjective and therefore f = g 1 is a bijection. Theorem A subset S N is finite iff S is bounded. Moreover if # (S) = n N then the sup (S) n with equality iff S = J n. Proof. If S is bounded then S J n for some n N and hence S is a finite set by Proposition Also observe that if # (S) = n = sup (S), then S J n and # (S) = n = # (J n ). Thus it follows from Proposition 5.18 that S = J n. Conversely suppose that S N is a finite set and let n = # (S). We will now complete the proof by induction. If n = 1 we have S J 1 and therefore S = {k} for some k N. In particular sup S = k 1 with equality iff S = J 1. Suppose the truth of the statement for some n N and let S N be a set with # (S) = n + 1. If we choose a point, k S, we have by Lemma 5.15 that # (S \ {k}) = n. Hence by the induction hypothesis, sup (S \ {k}) n with equality iff S \ {k} = J n. If sup (S \ {k}) > n then sup (S) sup (S \ {k}) n + 1 as desired. If sup (S \ {k}) = n then S \ {k} = J n therefore S k > n. Hence it follows that sup (S) = k n + 1. Corollary Suppose S is a non-empty subset of N. Then S is an unbounded subset of N iff card (J n ) card (S) for all n N. Proof. If S is bounded we know card (S) = card (J k ) for some k N which would violate the hypothesis that card (J n ) card (S) for all n N. Conversely if card (S) card (J n ) for some n N, then there exists and injective map, f : S J n. Therefore card (S) = card (f (S)) = card (J k ) for some k n. So S is finite and hence bounded in N by Theorem Exercise 5.7. Suppose that m, n N, show J m+n = J m (m + J n ) and (m + J n ) J m =. Use this to conclude if X is a disjoint union of two nonempty finite sets, X 1 and X 2, then # (X) = # (X 1 ) + # (X 2 ). Exercise 5.8. Suppose that m, n N, show J m J n J mn. Use this to conclude if X and Y are two non-empty sets, then # (X Y ) = # (X) # (Y ). 5.4 Countable and Uncountable Sets Definition 5.22 (Countability). A set X is said to be countable if X = or if there exists a surjective map, f : N X. Otherwise X is said to be uncountable. Remark From Proposition 5.11, it follows that X is countable iff there exists an injective map, g : X N. This may be succinctly stated as; X is countable iff card (X) card (N). From a practical point of view as set X is countable iff the elements of X may be arranged into a linear list, X = {x 1, x 2, x 3,... }. Example The integers, Z, are countable. In fact N Z, for example define f : N Z by (f (1), f (2), f (3), f (4), f (5), f (6), f (7),... ) := (0, 1, 1, 2, 2, 3, 3,... ). Lemma If S N is an unbounded set, then card (S) = card (N). Proof. The main idea is that any subset, S N, may be given as an finite or infinite list written in increasing order, i.e. S = {n 1, n 2, n 3,... } with n 1 < n 2 < n 3 <.... If the list is finite, say S = {n 1,..., n k }, then n k is an upper bound for S. So S will be unbounded iff only if the list is infinite in which case f : N S defined by f (k) = n k defines a bijection. Formal proof. Define f : N S via, let S 1 := S and f (1) := min S 1, S 2 := S 1 \ {f (1)} and f (2) := min S 2, S 3 := S 2 \ {f (2)} and f (3) := min S 3. In more detail, let T denote those n N such that there exists f : J n S and {S k S} n k=1 satisfying, S 1 = S, f (k) = min S k and S k+1 = S k \ {f (k)} for 1 k < n. If n T, we may define S n+1 := S n \ {f (n)} and f (n + 1) := min S n+1 in order to show n + 1 T. Thus T = N and we have constructed an injective map, f : N S. Moreover k N S k N \ J n for all n and therefore k N S k =. Thus it follows that f is a bijection. End of Lecture 14, 10/31/2012. The following theorem summarizes most of what we need to know about counting and countability. Theorem The following properties hold; 1. N N is countable and in fact N N N, i.e. there exists a bijective map, h, from N to N N. Page: 36 job: unanal macro: svmonob.cls date/time: 2-Nov-2012/8:26

5 5.4 Countable and Uncountable Sets If X and Y are countable, then X Y is countable. 3. If {X n } n N are countable sets then X := n=1x n is a countable set. 4. If X is countable, then either there exists n N such that X J n or X N. 5. If S N and S J n for some n N then S is bounded. 6. If X is a set and card J n card X for all n N then card N card X. 7. If A X is a subset of a countable set X then A is countable. Proof. We take each item in turn. 1. Put the elements of N N into an array of the form (1, 1) (1, 2) (1, 3)... (2, 1) (2, 2) (2, 3)... (3, 1) (3, 2) (3, 3) and then count these elements by counting the sets {(i, j) : i + j = k} one at a time. For example let h (1) = (1, 1), h(2) = (2, 1), h (3) = (1, 2), h(4) = (3, 1), h(5) = (2, 2), h(6) = (1, 3) and so on. In other words we put N N into the following list form, N N = {(1, 1), (2, 1), (1, 2), (3, 1), (2, 2), (1, 3), (4, 1),..., (1, 4),... }. 2. If f : N X and g : N Y are surjective functions, then the function (f g) h : N X Y is surjective where (f g) (m, n) := (f (m), g(n)) for all (m, n) N N. 3. By assumption there exists surjective maps, f n : N X n, for each n N. Let h (n) := (a (n), b (n)) be the bijection constructed for item 1. Then f : N X defined by f (n) := f a(n) (b (n)) is a surjective map. 4. To see this let f : N X be a surjective map and let g (x) := min f 1 ({x}) for all x X. Then g : X N is an injective map. Let S := g (X), then g : X S N is a bijection. So it remains to show S N or S J n for some n N. If S is unbounded, then S N as we have already seen. So it suffices to consider the case where S is bounded. If S is bounded by 1 then S = {1} = J 1 and we are done. Now assume the result is true if S is bounded by n N and now suppose that S is bounded by n + 1. If n + 1 / S, then S is bounded by n and so by induction, S J k for some k n < n + 1. If n + 1 S, then from above, S \ {n + 1} J k for some k n, i.e. there exists a bijection, f : J k S \ {n + 1}. We then extend f to J k+1 by setting f (k + 1) := n + 1 which shows J k+1 S. 5. We again prove this by induction on n. If n = 1, then S = {m} for some m N which is bounded. So suppose for some n N, every subset S N with S J n is bounded. Now suppose that S N with S J n+1. Then f (J n ) J n and hence f (J n ) is bounded in N. Then max f (J n ) {f (n + 1)} is an upper bound for S. This completes the inductive argument. 6. For each n N there exists and injection, f n : J n X. By replacing X by X 0 := n N f n (J n ) we may assume that X = n N f n (J n ). Thus there exists a surjective map, f : N X by item 3. Let g : X N be defined by g (x) := min f 1 ({x}) for all x X and let S := g (X). To finish the proof we need only show that S is unbounded. If S were bounded, then we would find k N such that J k S X. However this is impossible since card J n card X = card J k would imply n k even though n can be chosen arbitrarily in N. 7. If g : X N is an injective map then g A : A N is an injective map and therefore A is countable. Lemma If X is a countable set which contains Y X with Y N, then X N. Proof. By assumption there is an injective map, g : X N and a bijective map, f : N Y. It then follows that g f : N N is injective from which it follows that g (X) is unbounded. [Indeed, (g f) (J n ) g (X) for all n implies card (J n ) card (g (X)) for all n which implies g (X) is unbounded by Corollary 5.21.] Therefore X g (X) N by Lemma Corollary We have card (Q) = card (N) and in fact, for any a < b in R, card (Q (a, b)) = card (N). Proof. First off Q is a countable since Q may be expressed as a countable union of countable sets; Q = { n } m N m : n Z. From this it follows that Q (a, b) is countable for all a < b in R. As these sets are not finite, they must have the cardinality of N. Theorem 5.29 (Uncountabilty results). If X is an infinite set and Y is a set with at least two elements, then Y X is uncountable. In particular 2 X is uncountable for any infinite set X. Proof. Let us begin by showing 2 N = {0, 1} N is uncountable. For sake of contradiction suppose f : N {0, 1} N is a surjection and write f (n) as (f 1 (n), f 2 (n), f 3 (n),... ). Now define a {0, 1} N by a n := 1 f n (n). By construction f n (n) a n for all n and so a / f (N). This contradicts the assumption that f is surjective and shows 2 N is uncountable. For the general Page: 37 job: unanal macro: svmonob.cls date/time: 2-Nov-2012/8:26

6 38 5 Set Operations, Functions, and Counting case, since Y0 X Y X for any subset Y 0 Y, if Y0 X is uncountable then so is Y X. In this way we may assume Y 0 is a two point set which may as well be Y 0 = {0, 1}. Moreover, since X is an infinite set we may find an injective map x : N X and use this to set up an injection, i : 2 N 2 X by setting i (A) := {x n : n N} X for all A N. If 2 X were countable we could find a surjective map f : 2 X N in which case f i : 2 N N would be surjective as well. However this is impossible since we have already seen that 2 N is uncountable. Corollary The set (0, 1) := {a R : 0 < a < 1} is uncountable while Q (0, 1) is countable. More generally, for any a < b in R, card (Q (a, b)) = card (N) while card (Q c (a, b)) > card (N). Proof. From Section 3.4, the set {0, 1, 2..., 8} N can be mapped injectively into (0, 1) and therefore it follows from Theorem 5.29 that (0, 1) is uncountable. For each m N, let A m := { n m : n N with n < m}. Since Q (0, 1) = m=1x m and # (X m ) < for all m, another application of Theorem 5.26 shows Q (0, 1) is countable. The fact that these results hold for any other finite interval follows from the fact that f : (0, 1) (a, b) defined by f (t) := a + t (b a) is a bijection. Definition We say a non-empty set X is infinite if X is not a finite set. Example Any unbounded subset, S N, is an infinite set according to Theorem Theorem Let X be a non-empty set. The following are equivalent; 1. X is an infinite set, 2. card (J n ) card (X) for all n N, 3. card (N) card (X), 4. card (X \ {x}) = card (X) for some (or all) x X. Proof. 1. = 2. Suppose that X is an infinite set. We show by induction that card (J n ) card (X) for all n N. Since X is not empty, there exists x X and we may define f : J 1 X by f (1) = x in order to learn card (J 1 ) card (X). Suppose we have shown card (J n ) card (X) for some n N, i.e. there exists and injective map, f : J n X. If f (J n ) = X it would follows that card (X) = card (J n ) and would violated the assumption that X is not a finite set. Thus there exists x X \ f (J n ) and we may define f : J n+1 X by f Jn = f and f (n + 1) = x. Then f : J n+1 X is injective and hence card (J n+1 ) card (X) This is the content of Theorem B = 4. Let x 1 X and f : N X be an injective map such that f (1) = x 1. We now define a bijections, ψ : X X \ {x 1 } by { x if x / f (N) ψ (x) = f (i + 1) if x = f (i) f (N). 4. = 1. We will prove the contrapositive. If X is a finite and x X, we have seen that card (X \ {x}) < card (X), namely # (X \ {x}) = # (X) 1. The next two theorems summarizes the properties of cardinalities that have been proven above. Theorem 5.34 (Cardinality/Counting Summary I). Given a non-empty set X, then one and only one of the following statements holds; 1. There exists a unique n N such that card X = card J n. 2. card X = card N, 3. card X > card N. Cases 2. or 3. hold iff card J n card X for all n N which happens iff card N card X. If X satisfies case 1. we say X is a finite set. If X satisfies case 2 we say X is a countably infinite set and if X satisfies case 3. we say X is an uncountably infinite set. Theorem 5.35 (Cardinality/Counting Summary II). Let X and Y be sets and S be a subset of N. 1. If S N is an unbounded set, then card (S) = card (N). 2. If S N is a bounded set then card (S) = card (J n ) for some n N. 3. If {X k } k=1 are subsets of X such that card (X k) card (N), then card ( k=1 X k) card (N). 4. If X and Y are sets such that card (X) card (N) and card (Y ) card (N), then card (X Y ) card (N). 5. card (Q) = card (N) = card (Z). 6. For any a < b in R, card (Q (a, b)) = card (N) while card (Q c (a, b)) > card (N) Exercises Exercise 5.9. Show that Q n is countable for all n N. Exercise Let Q [t] be the set of polynomial functions, p, such that p has rationale coefficients. That is p Q [t] iff there exists n N 0 and a k Q for 0 k n such that n p (t) = a k t k for all t R. (5.1) Show Q [t] is a countable set. k=0 Page: 38 job: unanal macro: svmonob.cls date/time: 2-Nov-2012/8:26

7 Definition 5.36 (Algebraic Numbers). A real number, x R, is called algebraic number, if there is a non-zero polynomial p Q [t] such that p (x) = 0. [That is to say, x R is algebraic if it is the root of a non-zero polynomial with coefficients from Q.] Note that for all q Q, p (t) := t q satisfies p (q) = 0. Hence all rational numbers are algebraic. But there are many more algebraic numbers, for example y 1/n is algebraic for all y 0 and n N. Exercise Show that the set of algebraic numbers is countable. [Hint: any polynomial of degree n has at most n real roots.] In particular, most irrational numbers are not algebraic numbers, i.e. there is still any uncountable number of non-algebraic numbers.

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

More information

Exercises for Unit VI (Infinite constructions in set theory)

Exercises for Unit VI (Infinite constructions in set theory) Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize

More information

Chapter 1 : The language of mathematics.

Chapter 1 : The language of mathematics. MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :

More information

Axioms for Set Theory

Axioms for Set Theory Axioms for Set Theory The following is a subset of the Zermelo-Fraenkel axioms for set theory. In this setting, all objects are sets which are denoted by letters, e.g. x, y, X, Y. Equality is logical identity:

More information

MATH 3300 Test 1. Name: Student Id:

MATH 3300 Test 1. Name: Student Id: Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your

More information

1 of 8 7/15/2009 3:43 PM Virtual Laboratories > 1. Foundations > 1 2 3 4 5 6 7 8 9 6. Cardinality Definitions and Preliminary Examples Suppose that S is a non-empty collection of sets. We define a relation

More information

SETS AND FUNCTIONS JOSHUA BALLEW

SETS AND FUNCTIONS JOSHUA BALLEW SETS AND FUNCTIONS JOSHUA BALLEW 1. Sets As a review, we begin by considering a naive look at set theory. For our purposes, we define a set as a collection of objects. Except for certain sets like N, Z,

More information

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets Introduction In this short article, we will describe some basic notions on cardinality of sets. Given two

More information

A Short Review of Cardinality

A Short Review of Cardinality Christopher Heil A Short Review of Cardinality November 14, 2017 c 2017 Christopher Heil Chapter 1 Cardinality We will give a short review of the definition of cardinality and prove some facts about the

More information

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A

More information

Stat 451: Solutions to Assignment #1

Stat 451: Solutions to Assignment #1 Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

Principles of Real Analysis I Fall I. The Real Number System

Principles of Real Analysis I Fall I. The Real Number System 21-355 Principles of Real Analysis I Fall 2004 I. The Real Number System The main goal of this course is to develop the theory of real-valued functions of one real variable in a systematic and rigorous

More information

Part IA Numbers and Sets

Part IA Numbers and Sets Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

2.2 Some Consequences of the Completeness Axiom

2.2 Some Consequences of the Completeness Axiom 60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that

More information

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

3 COUNTABILITY AND CONNECTEDNESS AXIOMS 3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

More information

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.

More information

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even.

Prof. Ila Varma HW 8 Solutions MATH 109. A B, h(i) := g(i n) if i > n. h : Z + f((i + 1)/2) if i is odd, g(i/2) if i is even. 1. Show that if A and B are countable, then A B is also countable. Hence, prove by contradiction, that if X is uncountable and a subset A is countable, then X A is uncountable. Solution: Suppose A and

More information

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a

Thus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:

More information

Math 105A HW 1 Solutions

Math 105A HW 1 Solutions Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S

More information

Countability. 1 Motivation. 2 Counting

Countability. 1 Motivation. 2 Counting Countability 1 Motivation In topology as well as other areas of mathematics, we deal with a lot of infinite sets. However, as we will gradually discover, some infinite sets are bigger than others. Countably

More information

MATH 13 FINAL EXAM SOLUTIONS

MATH 13 FINAL EXAM SOLUTIONS MATH 13 FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers. T F

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014 Functions and cardinality (solutions) 21-127 sections A and F TA: Clive Newstead 6 th May 2014 What follows is a somewhat hastily written collection of solutions for my review sheet. I have omitted some

More information

20 Ordinals. Definition A set α is an ordinal iff: (i) α is transitive; and. (ii) α is linearly ordered by. Example 20.2.

20 Ordinals. Definition A set α is an ordinal iff: (i) α is transitive; and. (ii) α is linearly ordered by. Example 20.2. 20 Definition 20.1. A set α is an ordinal iff: (i) α is transitive; and (ii) α is linearly ordered by. Example 20.2. (a) Each natural number n is an ordinal. (b) ω is an ordinal. (a) ω {ω} is an ordinal.

More information

6 CARDINALITY OF SETS

6 CARDINALITY OF SETS 6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means

More information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

2. Prime and Maximal Ideals

2. Prime and Maximal Ideals 18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let

More information

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1 22M:132 Fall 07 J. Simon Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1 Chapter 1 contains material on sets, functions, relations, and cardinality that

More information

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA  address: Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework

More information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite

More information

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3

More information

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

More information

Solutions to Homework Set 1

Solutions to Homework Set 1 Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement

More information

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2

Solution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2 Solution Sangchul Lee February 19, 2018 1 Solutions of Homework 1 Problem 1.2 Let A and B be nonempty subsets of R + :: {x R : x > 0} which are bounded above. Let us define C = {xy : x A and y B} Show

More information

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof

The following techniques for methods of proofs are discussed in our text: - Vacuous proof - Trivial proof Ch. 1.6 Introduction to Proofs The following techniques for methods of proofs are discussed in our text - Vacuous proof - Trivial proof - Direct proof - Indirect proof (our book calls this by contraposition)

More information

Cardinality and ordinal numbers

Cardinality and ordinal numbers Cardinality and ordinal numbers The cardinality A of a finite set A is simply the number of elements in it. When it comes to infinite sets, we no longer can speak of the number of elements in such a set.

More information

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9

1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9 1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions

More information

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009

Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Discrete Mathematics: Lectures 6 and 7 Sets, Relations, Functions and Counting Instructor: Arijit Bishnu Date: August 4 and 6, 2009 Our main goal is here is to do counting using functions. For that, we

More information

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov

More information

MATH FINAL EXAM REVIEW HINTS

MATH FINAL EXAM REVIEW HINTS MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any

More information

Chapter 1. Sets and Mappings

Chapter 1. Sets and Mappings Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

MAT115A-21 COMPLETE LECTURE NOTES

MAT115A-21 COMPLETE LECTURE NOTES MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes

More information

CITS2211 Discrete Structures (2017) Cardinality and Countability

CITS2211 Discrete Structures (2017) Cardinality and Countability CITS2211 Discrete Structures (2017) Cardinality and Countability Highlights What is cardinality? Is it the same as size? Types of cardinality and infinite sets Reading Sections 45 and 81 84 of Mathematics

More information

Sets, Models and Proofs. I. Moerdijk and J. van Oosten Department of Mathematics Utrecht University

Sets, Models and Proofs. I. Moerdijk and J. van Oosten Department of Mathematics Utrecht University Sets, Models and Proofs I. Moerdijk and J. van Oosten Department of Mathematics Utrecht University 2000; revised, 2006 Contents 1 Sets 1 1.1 Cardinal Numbers........................ 2 1.1.1 The Continuum

More information

Some Basic Notations Of Set Theory

Some Basic Notations Of Set Theory Some Basic Notations Of Set Theory References There are some good books about set theory; we write them down. We wish the reader can get more. 1. Set Theory and Related Topics by Seymour Lipschutz. 2.

More information

3 Hausdorff and Connected Spaces

3 Hausdorff and Connected Spaces 3 Hausdorff and Connected Spaces In this chapter we address the question of when two spaces are homeomorphic. This is done by examining two properties that are shared by any pair of homeomorphic spaces.

More information

Sets, Structures, Numbers

Sets, Structures, Numbers Chapter 1 Sets, Structures, Numbers Abstract In this chapter we shall introduce most of the background needed to develop the foundations of mathematical analysis. We start with sets and algebraic structures.

More information

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010) http://math.sun.ac.za/amsc/sam Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics 2009-2010 Lecture notes in progress (27 March 2010) Contents 2009 Semester I: Elements 5 1. Cartesian product

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

More information

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions

Sets and Functions. MATH 464/506, Real Analysis. J. Robert Buchanan. Summer Department of Mathematics. J. Robert Buchanan Sets and Functions Sets and Functions MATH 464/506, Real Analysis J. Robert Buchanan Department of Mathematics Summer 2007 Notation x A means that element x is a member of set A. x / A means that x is not a member of A.

More information

CHAPTER 8: EXPLORING R

CHAPTER 8: EXPLORING R CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed

More information

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant). Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any

More information

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay Lecture Notes in Real Analysis 2010 Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay August 6, 2010 Lectures 1-3 (I-week) Lecture 1 Why real numbers? Example 1 Gaps in the

More information

Math 455 Some notes on Cardinality and Transfinite Induction

Math 455 Some notes on Cardinality and Transfinite Induction Math 455 Some notes on Cardinality and Transfinite Induction (David Ross, UH-Manoa Dept. of Mathematics) 1 Cardinality Recall the following notions: function, relation, one-to-one, onto, on-to-one correspondence,

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

Herbrand Theorem, Equality, and Compactness

Herbrand Theorem, Equality, and Compactness CSC 438F/2404F Notes (S. Cook and T. Pitassi) Fall, 2014 Herbrand Theorem, Equality, and Compactness The Herbrand Theorem We now consider a complete method for proving the unsatisfiability of sets of first-order

More information

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality.

Mathematics 220 Workshop Cardinality. Some harder problems on cardinality. Some harder problems on cardinality. These are two series of problems with specific goals: the first goal is to prove that the cardinality of the set of irrational numbers is continuum, and the second

More information

0 Logical Background. 0.1 Sets

0 Logical Background. 0.1 Sets 0 Logical Background 0.1 Sets In this course we will use the term set to simply mean a collection of things which have a common property such as the totality of positive integers or the collection of points

More information

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

MATH 13 SAMPLE FINAL EXAM SOLUTIONS MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.

More information

ABOUT THE CLASS AND NOTES ON SET THEORY

ABOUT THE CLASS AND NOTES ON SET THEORY ABOUT THE CLASS AND NOTES ON SET THEORY About the Class Evaluation. Final grade will be based 25%, 25%, 25%, 25%, on homework, midterm 1, midterm 2, final exam. Exam dates. Midterm 1: Oct 4. Midterm 2:

More information

Let us first solve the midterm problem 4 before we bring up the related issues.

Let us first solve the midterm problem 4 before we bring up the related issues. Math 310 Class Notes 6: Countability Let us first solve the midterm problem 4 before we bring up the related issues. Theorem 1. Let I n := {k N : k n}. Let f : I n N be a one-toone function and let Im(f)

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Math 3450 Homework Solutions

Math 3450 Homework Solutions Math 3450 Homework Solutions I have decided to write up all the solutions to prolems NOT assigned from the textook first. There are three more sets to write up and I am doing those now. Once I get the

More information

HW 4 SOLUTIONS. , x + x x 1 ) 2

HW 4 SOLUTIONS. , x + x x 1 ) 2 HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A

More information

Introduction to Proofs

Introduction to Proofs Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions

More information

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET DO FIVE OUT OF SIX ON EACH SET PROBLEM SET 1. THE AXIOM OF FOUNDATION Early on in the book (page 6) it is indicated that throughout the formal development set is going to mean pure set, or set whose elements,

More information

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT

Lecture Notes on Discrete Mathematics. October 15, 2018 DRAFT Lecture Notes on Discrete Mathematics October 15, 2018 2 Contents 1 Basic Set Theory 5 1.1 Basic Set Theory....................................... 5 1.1.1 Union and Intersection of Sets...........................

More information

Notes on ordinals and cardinals

Notes on ordinals and cardinals Notes on ordinals and cardinals Reed Solomon 1 Background Terminology We will use the following notation for the common number systems: N = {0, 1, 2,...} = the natural numbers Z = {..., 2, 1, 0, 1, 2,...}

More information

MA651 Topology. Lecture 9. Compactness 2.

MA651 Topology. Lecture 9. Compactness 2. MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology

More information

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009) 1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think

More information

1 Lecture 1 (1/5/2009)

1 Lecture 1 (1/5/2009) 1 Lecture 1 (1/5/2009) Notation 1.1 Introduce N := {0, 1, 2,... }, Z, Q, R, and C. Also let Z + := N \ {0}. Set notations. Recalled basic notions of a function being one to one, onto, and invertible. Think

More information

Infinite constructions in set theory

Infinite constructions in set theory VI : Infinite constructions in set theory In elementary accounts of set theory, examples of finite collections of objects receive a great deal of attention for several reasons. For example, they provide

More information

Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9;

Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9; Math 553 - Topology Todd Riggs Assignment 2 Sept 17, 2014 Problems - Section 17-2, 4, 6c, 9, 10, 13, 14; Section 18-1, 3, 4, 6, 8, 10; Section 19-1, 3, 5, 7, 8, 9; 17.2) Show that if A is closed in Y and

More information

G1CMIN Measure and Integration

G1CMIN Measure and Integration G1CMIN Measure and Integration 2003-4 Prof. J.K. Langley May 13, 2004 1 Introduction Books: W. Rudin, Real and Complex Analysis ; H.L. Royden, Real Analysis (QA331). Lecturer: Prof. J.K. Langley (jkl@maths,

More information

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005 POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1

More information

Propositional Logic, Predicates, and Equivalence

Propositional Logic, Predicates, and Equivalence Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If

More information

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

586 Index. vertex, 369 disjoint, 236 pairwise, 272, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 465 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

Chapter 1 The Real Numbers

Chapter 1 The Real Numbers Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus

More information

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling Note: You are expected to spend 3-4 hours per week working on this course outside of the lectures and tutorials. In this time you are expected to review

More information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real

More information

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1) Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +

More information

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India

Measure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,

More information

Continuity. Chapter 4

Continuity. Chapter 4 Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of

More information

NUMBERS. Michael E. Taylor

NUMBERS. Michael E. Taylor NUMBERS Michael E. Taylor Contents 1. Peano arithmetic 2. The integers 3. Prime factorization and the fundamental theorem of arithmetic 4. The rational numbers 5. Sequences 6. The real numbers 7. Irrational

More information

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6

MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6 MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction

More information

Finite and Infinite Sets

Finite and Infinite Sets Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following

More information

Lebesgue Measure. Dung Le 1

Lebesgue Measure. Dung Le 1 Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its

More information

Week Some Warm-up Questions

Week Some Warm-up Questions 1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after

More information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 1 Fall 2014 I. Foundational material I.1 : Basic set theory Problems from Munkres, 9, p. 64 2. (a (c For each of the first three parts, choose a 1 1 correspondence

More information

S15 MA 274: Exam 3 Study Questions

S15 MA 274: Exam 3 Study Questions S15 MA 274: Exam 3 Study Questions You can find solutions to some of these problems on the next page. These questions only pertain to material covered since Exam 2. The final exam is cumulative, so you

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

REVIEW FOR THIRD 3200 MIDTERM

REVIEW FOR THIRD 3200 MIDTERM REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =

More information

On minimal models of the Region Connection Calculus

On minimal models of the Region Connection Calculus Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science

More information