Professional Documents
Culture Documents
(Download PDF) Book of Proof Hammack R Online Ebook All Chapter PDF
(Download PDF) Book of Proof Hammack R Online Ebook All Chapter PDF
https://textbookfull.com/product/book-of-proof-hammack/
https://textbookfull.com/product/book-of-proof-richard-hammack/
https://textbookfull.com/product/book-of-proof-3rd-edition-
richard-hammack/
https://textbookfull.com/product/book-of-proof-
edition-3-2-richard-hammack/
Analysis with an introduction to proof. Fifth Edition,
Pearson New International Edition Steven R. Lay
https://textbookfull.com/product/analysis-with-an-introduction-
to-proof-fifth-edition-pearson-new-international-edition-steven-
r-lay/
https://textbookfull.com/product/a-transition-to-proof-an-
introduction-to-advanced-mathematics-textbooks-in-
mathematics-1st-edition-neil-r-nicholson/
https://textbookfull.com/product/fundamentals-of-public-
utilities-management-book-1st-edition-frank-r-spellman/
https://textbookfull.com/product/three-laws-of-nature-a-little-
book-on-thermodynamics-r-stephen-berry/
https://textbookfull.com/product/the-vaccine-book-2nd-edition-
barry-r-bloom/
Book of Proof
Richard Hammack
Virginia Commonwealth University
Richard Hammack (publisher)
Department of Mathematics & Applied Mathematics
P.O. Box 842014
Virginia Commonwealth University
Richmond, Virginia, 23284
Book of Proof
Edition 2.2
This work is licensed under the Creative Commons Attribution-No Derivative Works 3.0
License
Preface vii
Introduction viii
I Fundamentals
1. Sets 3
1.1. Introduction to Sets 3
1.2. The Cartesian Product 8
1.3. Subsets 11
1.4. Power Sets 14
1.5. Union, Intersection, Difference 17
1.6. Complement 19
1.7. Venn Diagrams 21
1.8. Indexed Sets 24
1.9. Sets that Are Number Systems 29
1.10. Russell’s Paradox 31
2. Logic 33
2.1. Statements 34
2.2. And, Or, Not 38
2.3. Conditional Statements 41
2.4. Biconditional Statements 44
2.5. Truth Tables for Statements 46
2.6. Logical Equivalence 49
2.7. Quantifiers 51
2.8. More on Conditional Statements 54
2.9. Translating English to Symbolic Logic 55
2.10. Negating Statements 57
2.11. Logical Inference 61
2.12. An Important Note 62
3. Counting 63
3.1. Counting Lists 63
3.2. Factorials 70
3.3. Counting Subsets 73
3.4. Pascal’s Triangle and the Binomial Theorem 78
3.5. Inclusion-Exclusion 81
v
4. Direct Proof 87
4.1. Theorems 87
4.2. Definitions 89
4.3. Direct Proof 92
4.4. Using Cases 98
4.5. Treating Similar Cases 99
9. Disproof 146
9.1. Counterexamples 148
9.2. Disproving Existence Statements 150
9.3. Disproof by Contradiction 152
Conclusion 239
Solutions 240
Index 301
Preface
PART I Fundamentals
• Chapter 1: Sets
• Chapter 2: Logic
• Chapter 3: Counting
Chapters 1 and 2 lay out the language and conventions used in all advanced
mathematics. Sets are fundamental because every mathematical structure,
object or entity can be described as a set. Logic is fundamental because it
allows us to understand the meanings of statements, to deduce information
about mathematical structures and to uncover further structures. All
subsequent chapters will build on these first two chapters. Chapter 3
is included partly because its topics are central to many branches of
mathematics, but also because it is a source of many examples and exercises
that occur throughout the book. (However, the course instructor may choose
to omit Chapter 3.)
To the instructor. The book is designed for a three credit course. Here
is a possible timetable for a fourteen-week semester.
Sections marked with ∗ may require only the briefest mention in class, or
may be best left for the students to digest on their own. Some instructors
may prefer to omit Chapter 3.
Fundamentals
CHAPTER 1
Sets
Here the dots indicate a pattern of numbers that continues forever in both
the positive and negative directions. A set is called an infinite set if it
has infinitely many elements; otherwise it is called a finite set.
Two sets are equal if they contain exactly the same elements. Thus
© ª © ª
2, 4, 6, 8 = 4, 2, 8, 6 because even though they are listed in a different
© ª © ª
order, the elements are identical; but 2, 4, 6, 8 6= 2, 4, 6, 7 . Also
© ª © ª
. . . − 4, −3, −2, −1, 0, 1, 2, 3, 4 . . . = 0, −1, 1, −2, 2, −3, 3, −4, 4, . . . .
We often let uppercase letters stand for sets. In discussing the set
© ª © ª
2, 4, 6, 8 we might declare A = 2, 4, 6, 8 and then use A to stand for
© ª
2, 4, 6, 8 . To express that 2 is an element of the set A , we write 2 ∈ A, and
read this as “2 is an element of A ,” or “2 is in A ,” or just “2 in A .” We also
have 4 ∈ A , 6 ∈ A and 8 ∈ A , but 5 ∉ A . We read this last expression as “5 is
not an element of A ,” or “5 not in A .” Expressions like 6, 2 ∈ A or 2, 4, 8 ∈ A
are used to indicate that several things are in a set.
4 Sets
N = 1, 2, 3, 4, 5, 6, 7, . . . .
© ª
is another fundamental set. The symbol R stands for the set of all real
numbers, a set that is undoubtedly familiar to you from calculus. Other
special sets will be listed later in this section.
© ª
Sets need not have just numbers as elements. The set B = T, F consists
of two letters, perhaps representing the values “true” and “false.” The set
© ª
C = a, e, i, o, u consists of the lowercase vowels in the English alphabet.
© ª
The set D = (0, 0), (1, 0), (0, 1), (1, 1) has as elements the four corner points
of a square on the x- y coordinate plane. Thus (0, 0) ∈ D , (1, 0) ∈ D , etc., but
(1, 2) ∉ D (for instance). It is even possible for a set to have other sets
© © ª© ªª
as elements. Consider E = 1, 2, 3 , 2, 4 , which has three elements: the
© ª © ª © ª
number 1, the set 2, 3 and the set 2, 4 . Thus 1 ∈ E and 2, 3 ∈ E and
© ª
2, 4 ∈ E . But note that 2 ∉ E , 3 ∉ E and 4 ∉ E .
Consider the set M = 00 00 , 10 01 , 11 01 of three two-by-two matrices.
©£ ¤ £ ¤ £ ¤ª
© © ª ©© ªªª
This box analogy can help us think about sets. The set F = ;, ; , ;
may look strange but it is really very simple. Think of it as a box containing
three things: an empty box, a box containing an empty box, and a box
containing a box containing an empty box. Thus |F | = 3. The set G = N, Z
© ª
is a box containing two boxes, the box of natural numbers and the box of
integers. Thus |G | = 2.
A special notation called set-builder notation is used to describe sets
that are too big or complex to list between braces. Consider the infinite
© ª
set of even integers E = . . . , −6, −4, −2, 0, 2, 4, 6, . . . . In set-builder notation
this set is written as
E = 2n : n ∈ Z .
© ª
We read the first brace as “the set of all things of form,” and the colon as
“such that.” So the expression E = 2n : n ∈ Z is read as “E equals the set of
© ª
all things of form 2n, such that n is an element of Z.” The idea is that E
consists of all possible values of 2n, where n takes on all values in Z.
In general, a set X written with set-builder notation has the syntax
© ª
X = expression : rule ,
writing it is
E = n ∈ Z : n is even ,
© ª
read “E is the set of all n in Z such that n is even.” Some writers use a bar
instead of a colon; for example, E = n ∈ Z | n is even . We use the colon.
© ª
3. n2 : n ∈ Z = 0, 1, 4, 9, 16, 25, . . .
© ª © ª
©p p ª
4. x ∈ R : x2 − 2 = 0 =
© ª
2, − 2
5. x ∈ Z : x2 − 2 = 0 = ;
© ª
8. x ∈ Z : |2 x| < 4 = − 1, 0, 1
© ª © ª
6 Sets
is a number (not a set), and thus the bars in | x| must mean absolute value,
©© ª© ª © ªª
not cardinality. On the other hand, suppose A = 1, 2 , 3, 4, 5, 6 , 7 and
© ª
B = X ∈ A : | X | < 3 . The elements of A are sets (not numbers), so the | X |
©© ª © ªª
in the expression for B must mean cardinality. Therefore B = 1, 2 , 7 .
We close this section with a summary of special sets. These are sets or
types of sets that come up so often that they are given special names and
symbols.
©ª
• The empty set: ; =
• The natural numbers: N = 1, 2, 3, 4, 5, . . .
© ª
m
• The rational numbers: Q = x : x = , where m, n ∈ Z and n 6= 0
© ª
n
• The real numbers: R (the set of all real numbers on the number line)
Notice that Q is the set of all numbers that can be expressed as a fraction
p p
of two integers. You are surely aware that Q 6= R, as 2 ∉ Q but 2 ∈ R.
Following are some other special sets that you will recall from your
study of calculus. Given two numbers a, b ∈ R with a < b, we can form
various intervals on the number line.
• Closed interval: [a, b] = x ∈ R : a ≤ x ≤ b
© ª
Remember that these are intervals on the number line, so they have in-
finitely many elements. The set (0.1, 0.2) contains infinitely many numbers,
even though the end points may be close together. It is an unfortunate
notational accident that (a, b) can denote both an interval on the line and
a point on the plane. The difference is usually clear from context. In the
next section we will see still another meaning of (a, b).
Introduction to Sets 7
45. ( x, y) : x, y ∈ R, x2 + y2 = 1 52. ( x, y) ∈ R2 : ( y − x2 )( y + x2 ) = 0
© ª © ª
Complement 19
5. Sketch the sets X = [1, 3] × [1, 3] and Y = [2, 4] × [2, 4] on the plane R2 . On separate
drawings, shade in the sets X ∪ Y , X ∩ Y , X − Y and Y − X . (Hint: X and Y are
Cartesian products of intervals. You may wish to review how you drew sets
like [1, 3] × [1, 3] in the exercises for Section 1.2.)
6. Sketch the sets X = [−1, 3] × [0, 2] and Y = [0, 3] × [1, 4] on the plane R2 . On
separate drawings, shade in the sets X ∪ Y , X ∩ Y , X − Y and Y − X .
7. Sketch the sets X = ( x, y) ∈ R2 : x2 + y2 ≤ 1 and Y = ( x, y) ∈ R2 : x ≥ 0 on R2 . On
© ª © ª
1.6 Complement
This section introduces yet another set operation, called the set complement.
The definition requires the idea of a universal set, which we now discuss.
When dealing with a set, we almost always regard it as a subset
of some larger set. For example, consider the set of prime numbers
© ª
P = 2, 3, 5, 7, 11, 13, . . . . If asked to name some things that are not in P , we
might mention some composite numbers like 4 or 6 or 423. It probably
would not occur to us to say that Vladimir Putin is not in P . True, Vladimir
Putin is not in P , but he lies entirely outside of the discussion of what is
a prime number and what is not. We have an unstated assumption that
P ⊆N
Contractions and rigidity of muscles receive little benefit from the use
of electricity, and must be treated by mechanical procedures, such
as stretching, massage, etc.
Neuromata.
The term neuromata was applied to all tumors involving the nerve-
trunks at a time when their histological differences had not been
studied and they were all supposed to be composed of nerve-tissue;
and even yet the name is conveniently retained, because, although
differing widely histologically, tumors situated upon the nerves have
a very similar clinical history.
Neuromas must be divided into true and false, the true consisting of
nerve-tissue, the false, or pseudo-neuromas, being composed of
many varieties, having this only in common, that they are seated
upon the nerves.
The true neuromas are again subdivided into those in which the
nerve-tissue composing them resembles exactly the fibres of the
peripheral nerves, showing with the microscope the double-
contoured white substance of Schwann surrounding an axis-cylinder,
and those in which the tumor is made up of fibres which Virchow has
shown to be non-medullated nerve-fibres—i.e. the axis-cylinder
without the white substance of Schwann. These two forms have
been distinguished by the names myelinic and non-myelinic. The
true neuromas are non-malignant, although showing the tendency to
recur after extirpation, are of slow growth, and as a rule do not
increase to a very great size. The best type of the myelinic neuromas
is found in the spherical or spindle-shaped enlargements at the cut
ends of nerves, particularly in the stumps of amputated limbs, where
they are found oftenest intimately connected with the cicatricial
tissue, though sometimes lying free. They consist of true medullated
fibres mixed with some fibrous tissue. The fibres composing them
are derived partly from splitting up and proliferation of the fibres of
the nerve itself, partly are of new formation, the appearances
strongly recalling the process of regeneration in nerves. Myelinic
neuromas consist of fibres and nuclei so closely resembling in
microscopic appearance the fibromas that they have hitherto been
confounded with them; and there is a difference among the highest
authorities as to the certainty of their diagnosis, and, in
consequence, of the frequency of their occurrence. The true
neuromas may include in their structure all of the fibres of the nerve-
trunk or only a portion of them (partial neuroma)—a fact of
importance in their symptomatology. Of the false neuromas, the
fibromas are by far the most frequently met with. They appear as
knots, more or less hard, upon the course of the nerve-trunk, which
they may involve completely or partially. They are often excessively
painful to the touch or spontaneously, most of the so-called tubercula
dolorosa belonging to the fibro-neuromas. Fibromas sometimes
occur along the trunk and branches of a nerve, forming a plexus of
knotted cords (plexiform neuroma). Fibro-sarcomas are not an
infrequent form of neuroma.
Myxomas often occur upon the peripheral nerves, and are frequently
multiple, their points of predilection being the larger trunks, as the
sciatic, ulnar, etc. They show their characteristic soft structure, and
are usually spindle-shape, assuming a rounder form as they attain a
large size. The various forms of sarcoma occasionally form tumors
upon the nerves, attacking generally the large trunks. Carcinomatous
tumors beginning upon the nerves sometimes occur, but as a rule
these growths involve the nerve by extension to it from adjacent
parts.
Gliomas appear to affect only the optic and acoustic nerves. Lepra
nervorum (lepra anæsthetica) produces usually a spindle-form
thickening upon the nerve-trunks, but sometimes there are more
distinct knots, which may be felt beneath the skin, bead-like, along
the course of the nerves of the extremities.
Like the true neuromas, the false neuromas, developing from the
neurilemma and perineurium, may involve the whole or only a part of
the fibres of a nerve, or the nerve-fibres may run at the side of the
tumor—different conditions, which may alter materially the effects
produced upon the nerve.
Neuromas, both false and true, may occur not only singly, but often
in large numbers, many hundreds having been counted upon an
individual. Sometimes they are numerous upon a single nerve-trunk
and its branches, and again they may appear scattered over nearly
all of the nerves of the body, even to the cauda equina and roots of
the nerves. According to Erb,9 isolated neuromas are more frequent
in females, while multiple neuromas are found almost exclusively in
men. Neuromas vary greatly in size, as we might expect from the
very great difference of their nature and structure; sometimes no
larger than a pea, they may attain the size of a child's head.
9 Ziemssen's Handbuch.
The general use of the term neuralgia further implies the common
belief that there is a disease or neurosis, not covered by any other
designation, of which these pains are the characteristic symptom. Of
the pathological anatomy of such a disease, however, nothing is
known; and if it could be shown for any given group of cases that the
symptoms which they present could be explained by referring them
to pathological conditions with which we are already familiar, these
cases would no longer properly be classified under the head of
neuralgia.
One of the best and most recent statements of this view is that of
Hallopeau,1 who, although he does not wholly deny the existence of
a neurosis which may manifest itself as neuralgia, goes so far as to
maintain that the gradual onset and decline and more or less
protracted course so common in the superficial neuralgias, such as
sciatica, suggest rather the phases of an inflammatory process than
the transitions of a functional neurotic outbreak, and that, in general
terms, a number of distinct affections are often included under the
name of neuralgia which are really of different origin, one from the
other, and resemble each other only superficially. This subject will be
discussed in the section on Pathology, and until then we shall, for
convenience' sake, treat of the various neuralgic attacks as if they
were modifications of one and the same disease.
1 Nouveau Dict. de Méd. et de Chir. pratiques, art. “Névalgies.”
Superficial Neuralgia.
A dart of pain may then be felt, which soon disappears, but again
returns, covering this time a wider area or occupying a new spot as
well as the old. The intensity, extension, and frequency of the
paroxysms then increase with greater or less rapidity, but, as a rule,
certain spots remain as foci of pain, which radiates from them in
various directions, principally up or down in the track of the nerve-
trunk mainly implicated. The pain rarely or never occupies the whole
course and region of distribution of a large nerve or plexus, but only
certain portions, which may be nearly isolated from one another.
In an acute attack the affected parts may at first look pale and feel
chilly, and later they frequently become congested and throb.
Mucous surfaces or glandular organs in the neighborhood often
secrete profusely, sometimes after passing through a preliminary
stage of dryness.
The skin often becomes acutely sensitive to the touch, even though
firm, deep pressure may relieve the suffering. Movement of the
painful parts, whether active or passive, is apt to increase the pain.
When the attack is at its height, the pain is apt to be felt over a larger
area than at an earlier or a later period, and may involve other
nerves than those first attacked. Thus, a brachial becomes a cervico-
brachial neuralgia or involves also the mammary or intercostal
nerves. A peculiarly close relationship exists between the neuralgias
of the trigeminal and of the occipital nerves. It is said that when the
attack is severe the corresponding nerves of the opposite side may
become the seat of pain. This is perhaps remotely analogous to the
complete transference of the pain from one side to the other which is
so characteristic of periodical neuralgic headaches, especially if they
last more than one day.