Discover millions of ebooks, audiobooks, and so much more with a free trial

From $11.99/month after trial. Cancel anytime.

Sets, Sequences and Mappings: The Basic Concepts of Analysis
Sets, Sequences and Mappings: The Basic Concepts of Analysis
Sets, Sequences and Mappings: The Basic Concepts of Analysis
Ebook350 pages4 hours

Sets, Sequences and Mappings: The Basic Concepts of Analysis

Rating: 0 out of 5 stars

()

Read preview

About this ebook

Students progressing to advanced calculus are frequently confounded by the dramatic shift from mechanical to theoretical and from concrete to abstract. This text bridges the gap, offering a systematic development of the real number system and careful treatment of mappings, sequences, limits, continuity, and metric spaces.
The first five chapters consist of a systematic development of many of the important properties of the real number system, plus detailed treatment of such concepts as mappings, sequences, limits, and continuity. The sixth and final chapter discusses metric spaces and generalizes many of the earlier concepts and results involving arbitrary metric spaces.
An index of axioms and key theorems appears at the end of the book, and more than 300 problems amplify and supplement the material within the text. Geared toward students who have taken several semesters of basic calculus, this volume is an ideal prerequisite for mathematics majors preparing for a two-semester course in advanced calculus.
LanguageEnglish
Release dateNov 14, 2012
ISBN9780486158129
Sets, Sequences and Mappings: The Basic Concepts of Analysis

Read more from Kenneth Anderson

Related to Sets, Sequences and Mappings

Titles in the series (100)

View More

Related ebooks

Mathematics For You

View More

Related articles

Reviews for Sets, Sequences and Mappings

Rating: 0 out of 5 stars
0 ratings

0 ratings0 reviews

What did you think?

Tap to rate

Review must be at least 10 words

    Book preview

    Sets, Sequences and Mappings - Kenneth Anderson

    MATHEMATICS

    I

    Introduction to sets and mappings

    1. Sets

    Mathematics requires precision in the expression of abstract concepts and in the application of logical processes. This precision is attained through the use of special terminology and symbols which eliminate the normal ambiguity in everyday language. A mastery of this terminology and symbolism is essential to the student who expects to continue in the field of mathematics. For this reason, we have attempted to explain each symbol carefully, and to define each new concept precisely, labeling each as a definition for ease of reference. Many terms in everyday usage have a special and precise meaning in mathematics, and the student is cautioned not to confuse the normal usage with the precise mathematical meaning.

    The term set is used to designate a collection of objects of some kind. These objects are called the elements, or members, or points of the set.

    We generally designate sets by capital letters A, B, C, etc., and members of a set by small letters a, b, c, etc. If a set A consists of the points a, b, c, d, we write A = {a, b, c, d}. If A consists of just the one point a, we write A = {a}, thus distinguishing between the point a and the set {a} consisting of only the point a. The notation "a A" means "a is a member of A, or a belongs to A; the notation a A means a does not belong to A."

    Definition 1.1. The universe U is the totality of all points under consideration (during any investigation), and is the source from which we extract sets.

    It is evident that the universe is itself a set, but it might be considered as the master set; that is, we restrict our horizon to the universe at hand, and do not recognize the existence of any other objects (or sets of objects) except those belonging to our universe. Thus, for example, the equation x² + 1 = 0 has no solution in the universe consisting of all real numbers. When we studied algebra, we found it necessary to enlarge our universe, and this led to a new universe consisting of all complex numbers.

    Before stating our next definition, let us digress for a moment to discuss the term if and only if, which in the sequel will be abbreviated iff. Let α and β be two declarative statements. A typical theorem of mathematics is a statement of the form "If α is true, then β is true, which is often shortened to If α, then β, or α implies β." Mathematicians consider the following statements as equivalent; that is, any two of these statements have precisely the same meaning:

    α implies β

    α is a sufficient condition for β

    β is a necessary condition for α

    if α then β

    β if α

    α only if β

    The typical definition in mathematics is a statement of the form is true iff β is true." Such a definition has the following equivalent forms:

    α is true iff β is true

    α is a necessary and sufficient condition for β

    β is a necessary and sufficient condition for α

    α implies β and β implies α

    Mathematicians are pleased when they discover theorems which are iff statements, since any such theorem provides two equivalent descriptions of the same concept.

    Definition 1.2. A set A is a subset of a set B iff every point of A is a point of B.

    The statement of Definition 1.2 means that both of the following statements are true:

    (1) If the set A is a subset of the set B, then every point of A is a point of B.

    (2) If every point of the set A is a point of the set B, then A is a subset of B.

    The notation A B (or equivalently, B ⊃ A) means "A is a subset of B, or the set A is contained in the set B," or "B contains A."

    It is clear from Definition 1.2 that for every set A, we must have A A.

    We have seen that the statement A B means that if p ∈ A, then p B. Thus, if A is not a subset of B (which we write A B), then there must exist some point p A such that p B. Now, for any sets A and B, it is clear that one or the other of these conditions must be satisfied. We express this as follows.

    Theorem 1.3. If A and B are sets, then either A B or A B.

    Consider the set {1, 2, 3, 4, 5}, and let it be our universe; that is, U = {1, 2, 3, 4, 5} . The subsets of the universe U are determined by taking a Gallup poll. For example, suppose we have a subset K ⊂ U, and we want to determine the members of K. We poll the members of U with the following results:

    Since we have polled our entire universe, we conclude that K = {1,4,5}.

    Suppose we have another subset H U, and here our Gallup poll yields a no from every member of U. We must then conclude that the set H contains no elements. For reasons that will become clear later, we still choose to consider H as a set, which we call the empty set and define as follows.

    Definition 1.4. The empty set is the set containing no elements, and is denoted by Ø.

    Given any set A, it cannot be true that Ø A, since there are no points in Ø. Therefore, by Theorem 1.3, we have the following lemma.

    Lemma 1.5. If A is any set, Ø A.

    Returning to the preceding example, suppose we have a subset J U, and here our Gallup poll yields a yes from every member of U. We must then conclude that the sets J and U consist of exactly the same points, and are thus indistinguishable; that is, we have merely given the same set two different names. This leads us to the notion of equality of sets.

    Definition 1.6. Two sets A and B are equal (written A = B) iff A B and B A.

    A reasonable question to ask at this point is: How many subsets can be extracted from a universe consisting of n points, where n is any positive integer? The answer lies buried in the technique of our Gallup poll. We have a total of n members to poll, and each member can give us one of two answers, yes or no. If the answer is yes, the point is in the subset; if the answer is no, the point is not in the subset. Thus, in choosing subsets, we have two choices for each member of the universe: We can either take it as a member of the subset, or leave it out. Since our choice at any particular member is independent of our choice at each of the other members, we find that we have 2 × 2 × 2 × . . . × 2 (n factors) choices, or 2n possible subsets. In. our earlier example, where U = {1, 2, 3, 4, 5}, we have 2⁵ = 32 subsets. We could arrive at this result in still another way by considering the various subsets as combinations of yes answers in our poll, and using the theory of combinations from algebra. Remembering that the number of combinations of n things taken r at a time is given by the formula C(n, r) = n!/[r!(n r)!], we see that the number of subsets consisting of just one point corresponds to the number of combinations of just one yes among the five answers, or C(5, 1) = 5!/(1!4!) = 5. Similarly, the number of subsets consisting of two points is C(5, 2) = 5!/(2!3!) = 10; three points, C(5, 3) = 10; four points, C(5, 4) = 5; five points, (recalling that 0! = 1 by definition), C(5, 5) = 1, where this single subset with five points is, of course, the set U itself. Finally, the number of subsets containing no points is C(5, 0) = 1, where this single set is the empty set. The total number of subsets is then 5 + 10 + 10 + 5 + 1 + 1 = 32, which agrees with our preceding result.

    Definition 1.7. The intersection of two sets A and B (written A B) is the set of all points which are in both A and B.

    Definition 1.8. The union of two sets A and B (written A B) is the set of all points which are in at least one of the sets A and B.

    To illustrate these concepts, let us consider an example.

    Example 1.9. Let the universe be U = {1, 2, 3, 4, 5, 6, 7}, and suppose we have the following subsets:

    A = {1, 2,5}

    B = {2, 3, 4}

    C = {3, 5, 7}

    D = {1, 2, 4, 6}

    Then

    A B = {2}; A D = {1, 2} ; B D = {2, 4}; C D = Ø

    Also

    A B = {1, 2, 3, 4, 5} ; B C = {2, 3, 4, 5, 7}; C D = U

    We shall make free use of parentheses, much the same as in algebra. For example, Definitions 1.7 and 1.8 extend to more than two sets under the convention:

    Also, parentheses are essential when unions and intersections are combined, as in A B C. Here we may choose either the set (A B) ∩ C or the set A ∪ (B C), and these two sets are generally not equal. To see this, consider the universe U and the sets A, B, and C defined in Example 1.9. A little calculation (verify this) shows that (A B) ∩C = {3, 5}, whereas A ∪ (B C = {1, 2, 3, 5}.

    We have seen that a set may be empty, and thus, if we are considering an arbitrary set A, we must allow for the possibility that A = φ. (When we wish to exclude this possibility, we speak of a nonempty. set A.) This brings up the following natural question: What happens if the empty set φ is involved in a union or an intersection? The answer follows immediately from Definitions 1.7 and 1.8, but because of its importance we state it for easy reference as a lemma.

    Lemma 1.10. If A is any set (including A = Ø), then A φ = φ and A φ = A.

    One of the important techniques of set theory is that of proving set equalities. Suppose, for instance, that we want to prove the following:

    A ∩ (B C) = (A B) ∪ (A C)

    We might first test it by trying it on some particular sets. Let us again use Example 1.9. We see that A = {1, 2, 5}, and B C = {2, 3, 4, 5, 7}, so that A ∩ (B C) = {2, 5}. On the other hand, A B = {2} , and A C = {5} , so that

    (A B) ∪ (A C) = {2, 5}

    We have thus verified the equality for our particular choice of sets. Note, however, that we have not proved the statement, any more than we can prove the trigonometric identity sin 2x = 2 sin x cos x merely by verifying it for the particular choice x = 0. However, we cannot be sure that the statement is wrong either. Therefore it seems reasonable to try to prove it. The general method for proving equality of sets is indicated by Definition 1.6; that is, we show that each set is contained in the other. For simplicity of notation, let us designate the left-hand set above by L, and the right-hand set by R, so that we wish to prove L = R.

    We choose an arbitrary point p L, and show that p R. Since the choice of p is arbitrary, we conclude that every point of L is also a point of R; that is, L R. Similarly, we choose an arbitrary point p R, show that p L, and conclude that R L; hence L = R. We now state the set equality as a theorem, and give a formal proof, following the preceding method. In this first proof, we have numbered each step, and we have also supplied reasons for each conclusion in the first half of the proof. This procedure is employed merely to clarify the technique, and is not continued in subsequent proofs.

    Theorem 1.11 (The Distributive Law for Intersections over Unions). If A, B, C are sets, then

    A ∩ (B C) = (A B) ∪ (A C)

    Proof. We prove first: A ∩ (B C) ⊂ (A B) ∪ (A C).

    If A ∩ (B ∪ C) = φ, the result is trivial.

    (by Lemma 1.5)

    If A ∩ (B C) ≠ φ, let p A ∩ (B C).

    Then p A and p ∈ (B C).

    (by Definition 1.7)

    But p ∈ (B C) means p B or p C.

    (by Definition 1.8)

    Case 1. If p B, then p (A B).

    (by Definition 1.7 and (3))

    Therefore p ∈ (A B) ∪ (A C)

    (by Definition 1.8)

    Case 2. If p C, then p ∈ (A C).

    (by Definition 1.7 and (3))

    Therefore p ∈ (A B) ∪ (A C).

    (by Definition 1.8)

    Consequently A ∩ (B C) ⊂ (A B) ∪ (A C).

    (by steps (2) to (5) and Definition 1.2)

    To complete the proof of the theorem, we must show that

    (A B) ∪ (A C) ⊂ A ∩ (B C)

    If (A B) ∪ (A C) = φ, the result is trivial.

    If (A B) ∪ (A C) ≠ φ, let p ∈ (A B) ∪ (A C).

    Then, p ∈ (A B) or p ∈ (A C).

    Case 1. If p ∈ (A B), then p A and p B.

    Now p B implies p ∈ (B U C).

    Therefore p A ∩ (B C).

    Case 2. If p ∈ (A C), then p A and p C.

    Now, p C implies p ∈ (B C).

    Therefore p A ∩ (B C).

    Hence (A B) ∪ (A C) ⊂ A ∩ (B C).

    Consequently A ∩ (B C) = (A B) ∪ (A C).

    QED

    The second half of Theorem 1.11 can also be established in the following neat way, using Problem 8. We see at once that

    B B C and C B C

    By Problem 8,

    A B A ∩ (B C) and A C A ∩ (B C)

    Therefore (A B) ∪ (A C) ⊂ A ∩ (B U C).

    QED

    Theorem 1.12. Given any set A in the universe U, there is exactly one set X such that both of the following conditions hold:

    (a) A X = U, (b) A X = φ

    Proof. Suppose that there exist two such sets X and Y satisfying these conditions. Then

    A X = U,  A X = φ,  A Y = U,  A Y = φ

    Consequently

    Y = Y U = Y ∩ (A X) = (Y A) ∪ (Y X) = Y X

    Therefore, by Problem 3, Y X. By a similar argument, X Y. Therefore X = Y, and we have proven that there cannot be two sets satisfying the given conditions. There is at least one set satisfying these conditions, the set X defined as all points of U not in A. This completes the proof of the theorem.

    QED

    We define the complement of a set A in the universe U to be the unique set X defined in Theorem 1.12. The word unique as used in mathematics means one and only one.

    Definition 1.13. The complement of a set A in the universe U is the unique subset X of U satisfying the two conditions

    A X = U, A X = Ø

    We denote the complement of A by C(A), and observe that C(A) consists of all elements of U which are not in A.

    It follows from Definition 1.13 that if U is the universe, then C (U) = φ and C(φ) = U.

    In general, when we are considering arbitrary sets, we may tacitly assume that some universe U is given, and that all the sets we are considering are subsets of U. Similarly, we may discuss the complement of a set, again assuming that we have taken the complement with respect to our universe U.

    Theorem 1.14. For any set A, C[C(A)] = A.

    Proof. We see from Definition 1.13 that C[C(A)] is the unique set X satisfying both of the equations

    C(A) ∪ X = U C(A) ∩ X = Ø

    Since X = A satisfies both these equations, we have at once A = C[C(A)]

    QED

    Theorem 1.15. If A and B are sets, then A B iff C(B) ⊂ C(A).

    Proof. Suppose first that A ⊂ B. By Problem 8,

    A C(B) ⊂ B C(B) = Ø

    so that A C(B) = φ. Consequently

    Therefore, by Problem 3, C(B) ⊂ C(A).

    For the converse, suppose that C(B) ⊂ C(A). Then by the preceding paragraph, C[C(A)] ⊂ C[C(B)], which, by Theorem 1.14, can be written in the form A B. This completes the proof.

    QED

    The next theorem states some important relationships among complements, unions, and intersections.

    Theorem 1.16 (DeMorgan’s Laws). If A and B are sets, then

    (a) C(A B) = C(A) ∩ C(B); (b) C(A B) = C(A) ∪ C(B)

    Proof of (a). We prove that C(A B) ⊂ C(A) ∩ C(B). It is easily seen that A A B and B A B. Therefore, by Theorem 1.15, C(A B) ⊂ C(A) and C(A B) ⊂ C(B). Consequently

    C(A B) ⊂ C(A) ∩ C(B)

    To complete the proof of (a), we must show that

    C(A) ∩ C(B) ⊂ C(A B)

    By Lemma 1.6, we lose no generality if we assume that the left-hand set is non-empty. Let p C(A) ∩ C(B). Then p C(A) and p C(B), so p A and p B. Thus p ∉ (A B), and hence it follows that p C(A B). Therefore

    C(A) ∩ C(B) ⊂ C(A B)

    and (a) is proved.

    The proof of (b) is left as an exercise.

    Let us now consider an application of set theory where the universe does not consist of numbers. Let a and b be two statements, each of which in a given situation is either true or false. Let S be the set of all logical situations in which a and b occur; that is, S is the universe in this case. We may then define the following sets:

    A = set of all situations in which a is true.

    C(A) = set of all situations in which a is false.

    B = set of all situations in which b is true.

    C(B) = set of all situations in which b is false.

    Now suppose we make the following direct statement, which we may assert as a theorem: "If a is true, then b is true." This says that, of all the situations in S, those for which a is true must be included among those for which b is true; or, in terms of the sets just defined, A B. We can now apply Theorem 1.14 to obtain C(B) ⊂C(A). Using the same definitions, this is the same as the assertion: "If b is false, then a is false." This latter statement is the contrapositive of the given direct statement, and we have just indicated by means of set theory that any direct statement is logically equivalent to its contrapositive statement.

    We now prove a simple theorem from number theory to illustrate the contrapositive technique of proof.

    Theorem 1.17. If the square of a positive integer is even, then the positive integer is even.

    Proof. The contrapositive of the given statement is as follows: If a positive integer is odd (that is, not even), then its square is odd. To prove this, we note that any positive integer which is odd can be written in the form 2k − 1, where k is a positive integer. The square of

    Enjoying the preview?
    Page 1 of 1
    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy