5 Set Operations, Functions, and Counting
|
|
- Shannon Cox
- 5 years ago
- Views:
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 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 informationExercises 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 informationChapter 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 informationAxioms 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 informationMATH 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 information1 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 informationSETS 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 informationMath 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 informationA 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 informationMATH 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 informationStat 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 informationIn 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 informationPart 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 informationPrinciples 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 informationPart 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 information2.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 information3 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 informationIn 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 informationFinal 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 informationFoundations 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 informationEconomics 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 informationProf. 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 informationThus, 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 informationMath 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 informationCountability. 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 informationMATH 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 informationReal 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 informationFunctions 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 information20 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 information6 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 informationLecture 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 informationContribution 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 information2. 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 informationHandout 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 informationTopology. 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 informationPart 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 informationNotes 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 informationMATH31011/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 informationSolutions 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 informationSolution. 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 informationThe 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 informationCardinality 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 information1.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 informationDiscrete 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 informationAN 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 informationMATH 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 informationChapter 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 informationMAT115A-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 informationCITS2211 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 informationSets, 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 informationSome 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 information3 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 informationSets, 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 informationSeminaar 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 informationContinuity. 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 informationSets 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 informationCHAPTER 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 informationSets 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 informationLecture 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 informationMath 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 informationREAL 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 informationHerbrand 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 informationMathematics 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 information0 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 informationMATH 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 informationABOUT 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 informationLet 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 informationMAT 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 informationMath 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 informationHW 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 informationIntroduction 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 informationDO 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 informationLecture 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 informationNotes 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 informationMA651 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 information1 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 information1 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 informationInfinite 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 informationProblems - 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 informationG1CMIN 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 informationPOL502: 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 informationPropositional 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 information586 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 informationChapter 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 informationFOUNDATIONS & 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 informationMATH 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 informationTheorem. 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 informationMeasure 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 informationContinuity. 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 informationNUMBERS. 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 informationMATH41011/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 informationFinite 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 informationLebesgue 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 informationWeek 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 informationTheorems. 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 informationSOLUTIONS 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 informationS15 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 informationContribution 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 informationREVIEW 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 informationOn 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