Instant Ebooks Textbook Discrete Mathematics With Applications: Metric Version, Fifth Edition Susanna S. Epp Download All Chapters
Instant Ebooks Textbook Discrete Mathematics With Applications: Metric Version, Fifth Edition Susanna S. Epp Download All Chapters
Instant Ebooks Textbook Discrete Mathematics With Applications: Metric Version, Fifth Edition Susanna S. Epp Download All Chapters
com
https://textbookfull.com/product/discrete-
mathematics-with-applications-metric-version-
fifth-edition-susanna-s-epp/
textbookfull
More products digital (pdf, epub, mobi) instant
download maybe you interests ...
https://textbookfull.com/product/discrete-mathematics-with-
applications-fifth-edition-susanna-s-epp/
https://textbookfull.com/product/discrete-mathematics-and-
applications-2nd-edition-ferland/
https://textbookfull.com/product/discrete-mathematics-with-ducks-
second-edition-belcastro/
https://textbookfull.com/product/discrete-mathematics-and-
applications-2nd-edition-kevin-ferland/
Discrete Mathematics and Its Applications 8th Edition
Rosen
https://textbookfull.com/product/discrete-mathematics-and-its-
applications-8th-edition-rosen/
https://textbookfull.com/product/elementary-linear-algebra-
metric-version-eighth-edition-ron-larson/
https://textbookfull.com/product/biota-grow-2c-gather-2c-cook-
loucas/
https://textbookfull.com/product/introduction-to-probability-and-
statistics-metric-version-15e-william-mendenhall/
https://textbookfull.com/product/introduction-to-probability-and-
statistics-metric-version-15th-edition-william-mendenhall/
discrete mathematics
with applications
FiFth editiON, metric VersiON
SUSANNA S. EPP
DePaul University
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
This is an electronic version of the print textbook. Due to electronic rights restrictions,
some third party content may be suppressed. Editorial review has deemed that any suppressed
content does not materially affect the overall learning experience. The publisher reserves the right
to remove content from this title at any time if subsequent rights restrictions require it. For
valuable information on pricing, previous editions, changes to current editions, and alternate
formats, please visit www.cengage.com/highered to search by ISBN#, author, title, or keyword for
materials in your areas of interest.
Important Notice: Media content referenced within the product description or the product
text may not be available in the eBook version.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
Cover Photo: The stones are discrete objects placed one on top of another like a chain of careful reasoning. A person who
decides to build such a tower aspires to the heights and enjoys playing with a challenging problem. Choosing the stones takes
both a scientific and an aesthetic sense. Getting them to balance requires patient effort and careful thought. And the tower
that results is beautiful. A perfect metaphor for discrete mathematics!
Discrete Mathematics with Applications, © 2020, 2011, 2004 Cengage Learning, Inc.
Fifth Edition, Metric Version
WCN: 02-300
Susanna S. Epp
ALL RIGHTS RESERVED. No part of this work covered by the copyright
Metric Version Prepared by Qaboos Imran
herein may be reproduced or distributed in any form or by any means,
except as permitted by U.S. copyright law, without the prior written
International Product Director:
permission of the copyright owner.
Timothy L. Anderson
Represented in Canada by
Nelson Education, Ltd.
tel: (416) 752 9100 / (800) 668 0671
www.nelson.com
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
To my husband, Helmut, and my children,
Amanda, Catherine, and Caroline
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
Know if you’re
prepared for class!
STUDY SMARTER
93% correlation
between homework
scores and in-class
Ever wonder if you studied enough? WebAssign from
performance
Cengage can help.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
cONteNts
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
vi ConTenTs
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
ConTenTs vii
4.5 Direct Proof and Counterexample V: Division into Cases and the
Quotient-Remainder Theorem 200
Discussion of the Quotient-Remainder Theorem and Examples; div and mod; Alternative
Representations of Integers and Applications to Number Theory; Absolute Value and the
Triangle Inequality
4.6 Direct Proof and Counterexample VI: Floor and Ceiling 211
Definition and Basic Properties; The Floor of ny2
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
viii ConTenTs
6.4 Boolean Algebras, Russell’s Paradox, and the halting Problem 414
Boolean Algebras: Definition and Properties; Russell’s Paradox; The Halting Problem
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
ConTenTs ix
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
x ConTenTs
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
ConTenTs xi
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
xii ConTenTs
Index I-1
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
PreFace
My purpose in writing this book was to provide a clear, accessible treatment of discrete
mathematics for students majoring or minoring in computer science, mathematics, math-
ematics education, and engineering. The goal of the book is to lay the mathematical foun-
dation for computer science courses such as data structures, algorithms, relational database
theory, automata theory and formal languages, compiler design, and cryptography, and for
mathematics courses such as linear and abstract algebra, combinatorics, probability, logic
and set theory, and number theory. By combining discussion of theory and practice, I have
tried to show that mathematics has engaging and important applications as well as being
interesting and beautiful in its own right.
A good background in algebra is the only prerequisite; the course may be taken by stu-
dents either before or after a course in calculus. Previous editions of the book have been
used successfully by students at hundreds of institutions in North and South America,
Europe, the Middle East, Asia, and Australia.
Recent curricular recommendations from the Institute for Electrical and Electronic
Engineers Computer Society (IEEE-CS) and the Association for Computing Machinery
(ACM) include discrete mathematics as the largest portion of “core knowledge” for com-
puter science students and state that students should take at least a one-semester course in
the subject as part of their first-year studies, with a two-semester course preferred when
possible. This book includes the topics recommended by those organizations and can be
used effectively for either a one-semester or a two-semester course.
At one time, most of the topics in discrete mathematics were taught only to upper-level
undergraduates. Discovering how to present these topics in ways that can be understood by
first- and second-year students was the major and most interesting challenge of writing this
book. The presentation was developed over a long period of experimentation during which
my students were in many ways my teachers. Their questions, comments, and written work
showed me what concepts and techniques caused them difficulty, and their reaction to my
exposition showed me what worked to build their understanding and to encourage their
interest. Many of the changes in this edition have resulted from continuing interaction with
students.
xiii
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
xiv PrefACe
Logic and Proof Probably the most important goal of a first course in discrete mathemat-
ics is to help students develop the ability to think abstractly. This means learning to use
logically valid forms of argument and avoid common logical errors, appreciating what it
means to reason from definitions, knowing how to use both direct and indirect arguments
to derive new results from those already known to be true, and being able to work with
symbolic representations as if they were concrete objects.
induction and recursion An exciting development of recent years has been the increased
appreciation for the power and beauty of “recursive thinking.” To think recursively means
to address a problem by assuming that similar problems of a smaller nature have already
been solved and figuring out how to put those solutions together to solve the larger prob-
lem. Such thinking is widely used in the analysis of algorithms, where recurrence relations
that result from recursive thinking often give rise to formulas that are verified by math-
ematical induction.
discrete structures Discrete mathematical structures are the abstract structures that de-
scribe, categorize, and reveal the underlying relationships among discrete mathematical
objects. Those studied in this book are the sets of integers and rational numbers, general
sets, Boolean algebras, functions, relations, graphs and trees, formal languages and regular
expressions, and finite-state automata.
algorithms and their analysis The word algorithm was largely unknown in the middle
of the twentieth century, yet now it is one of the first words encountered in the study of
computer science. To solve a problem on a computer, it is necessary to find an algorithm, or
step-by-step sequence of instructions, for the computer to follow. Designing an algorithm
requires an understanding of the mathematics underlying the problem to be solved. Deter-
mining whether or not an algorithm is correct requires a sophisticated use of mathematical
induction. Calculating the amount of time or memory space the algorithm will need in
order to compare it to other algorithms that produce the same output requires knowledge
of combinatorics, recurrence relations, functions, and O-, V-, and Q-notations.
applications and modeling Mathematical topics are best understood when they are seen
in a variety of contexts and used to solve problems in a broad range of applied situations.
One of the profound lessons of mathematics is that the same mathematical model can be
used to solve problems in situations that appear superficially to be totally dissimilar. A goal
of this book is to show students the extraordinary practical utility of some very abstract
mathematical ideas.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
PrefACe xv
used in the examples and exercises have been converted from the U.S. Customary System
(USCS) of units (also referred to as English or Imperial units) to Metric units. The appen-
dix containing solutions to selected exercises and the instructor’s solutions manual have
been converted to metric where appropriate.
mathematical reasoning The feature that most distinguishes this book from other dis-
crete mathematics texts is that it teaches—explicitly but in a way that is accessible to
first- and second-year college and university students—the unspoken logic and reason-
ing that underlie mathematical thought. For many years I taught an intensively interactive
transition-to-abstract-mathematics course to mathematics and computer science majors.
This experience showed me that while it is possible to teach the majority of students to
understand and construct straightforward mathematical arguments, the obstacles to doing
so cannot be passed over lightly. To be successful, a text for such a course must address
students’ difficulties with logic and language directly and at some length. It must also
include enough concrete examples and exercises to enable students to develop the mental
models needed to conceptualize more abstract problems. The treatment of logic and proof
in this book blends common sense and rigor in a way that explains the essentials, yet avoids
overloading students with formal detail.
support for the student Students at colleges and universities inevitably have to learn a
great deal on their own. Though it is often frustrating, learning to learn through self-study
is a crucial step toward eventual success in a professional career. This book has a number
of features to facilitate students’ transition to independent learning.
Worked Examples
The book contains over 500 worked examples, which are written using a problem-
solution format and are keyed in type and in difficulty to the exercises. Many solutions
for the proof problems are developed in two stages: first a discussion of how one might
come to think of the proof or disproof and then a summary of the solution, which is
enclosed in a box. This format allows students to read the problem and skip imme-
diately to the summary, if they wish, only going back to the discussion if they have
trouble understanding the summary. The format also saves time for students who are
rereading the text in preparation for an examination.
Marginal Notes and Test Yourself Questions
Notes about issues of particular importance and cautionary comments to help students
avoid common mistakes are included in the margins throughout the book. Questions
designed to focus attention on the main ideas of each section are located between the
text and the exercises. For convenience, the questions use a fill-in-the-blank format,
and the answers are found immediately after the exercises.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
xvi PrefACe
Exercises
The book contains almost 2600 exercises. The sets at the end of each section have
been designed so that students with widely varying backgrounds and ability levels will
find some exercises they can be sure to do successfully and also some exercises that
will challenge them.
Solutions for Exercises
To provide adequate feedback for students between class sessions, Appendix B
contains at least one, and often several, complete solutions for every type of exer-
cise in the book. A blue exercise number indicates that there is a solution in Ap-
pendix B; the letter H is added for a solution that is less than complete. When two
or more exercises use the same solution strategy, there is a full solution for the first
and either another full solution or a partial solution for later ones. Exercises with
several parts often have an answer and/or hint for one or more of the parts to help
students determine whether they are on track so that they can make adjustments
if needed.
Students are strongly urged not to consult solutions until they have tried their best
to answer questions on their own. Once they have done so, however, comparing their
answers with those given can lead to significantly improved understanding. There are
also plenty of exercises without solutions to help students learn to grapple with math-
ematical problems in a realistic environment.
Reference Features
Many students have written me to say that the book helped them succeed in their ad-
vanced courses. One even wrote that he had used one edition so extensively that it had
fallen apart, and he actually went out and bought a copy of the next edition, which he
was continuing to use in a master’s program. Figures and tables are included where
doing so would help readers to a better understanding. In most, a second color is used
to highlight meaning. My rationale for screening statements of definitions and theo-
rems, for putting titles on exercises, and for giving the meanings of symbols and a list
of reference formulas in the endpapers is to make it easier for students to use this book
for review in a current course and as a reference in later ones.
support for the instructor I have received a great deal of valuable feedback from in-
structors who have used previous editions of this book. Many aspects of the book have
been improved through their suggestions. In addition to the following items, there is ad-
ditional instructor support on the book’s website, described later in the preface.
Exercises
The large variety of exercises at all levels of difficulty allows instructors great free-
dom to tailor a course to the abilities of their students. Exercises with solutions in
the back of the book have numbers in blue, and those whose solutions are given
in a separate Student Solutions Manual and Study Guide have numbers that are a
multiple of three. There are exercises of every type in the book that have no answer
in either location so that instructors can assign whatever mixture they prefer of
exercises with and without answers. The ample number of exercises of all kinds
gives instructors a significant choice of problems to use for review assignments and
exams. Instructors are invited to use the many exercises stated as questions rather
than in “prove that” form to stimulate class discussion on the role of proof and coun-
terexample in problem solving.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
PrefACe xvii
Flexible Sections
Most sections are divided into subsections so that an instructor can choose to cover
certain subsections only and either omit the rest or leave them for students to study on
their own. The division into subsections also makes it easier for instructors to break
up sections if they wish to spend more than one day on them.
Presentation of Proof Methods
It is inevitable that most of the proofs and disproofs in this book will seem easy to
instructors. Many students, however, find them difficult. In showing students how
to discover and construct proofs and disproofs, I have tried to describe the kinds of
approaches that mathematicians use when confronting challenging problems in their
own research.
Complete Instructor Solutions
Complete instructor solutions to all exercises are available to anyone teaching a course
from this book. They are available through the Instructor’s Companion Website.
Section 4.9. This gives students an early experience of using direct and indirect
proof in a novel setting and was made possible because the elements of graph
theory are now introduced in Chapter 1.
Improved Pedagogy
●● The exposition has been reexamined throughout and carefully revised as needed.
●● Exercises have been added for topics where students seemed to need addi-
tional practice, and they have been modified, as needed, to address student
difficulties.
●● Additional hints and full answers have been incorporated into Appendix B to
vided into two sections. The first introduces basic concepts about proof and dis-
proof in the context of elementary number theory, and the second adds examples
and advice for writing proofs.
Logic and Applications
●● Discussion was added about the role of bound variables and scope in mathemati-
cal writing and computer programming.
●● The section on two’s complements was significantly simplified.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
xviii PrefACe
augmented.
●● Material was added on using cryptographic hash functions to secure the trans-
induction was revised to parallel the format used for proofs by ordinary and
strong mathematical induction. The set of examples and exercises illustrating
recursive definitions and structural induction was significantly increased. The
recursive definition for the set of strings over a finite set and for the length of a
string were revised, and structural induction proofs for fundamental string prop-
erties are now included.
Graph Theory and the Analysis of Algorithm Efficiency
●● Instructors who wish to give their students an early experience of graph theory
can now do so by combining the introduction to graphs in Chapter 1 with the
handshake theorem in Chapter 4.
●● There is a new subsection on binary search trees in Chapter 10.
●● Many exercises on algorithm efficiency were added or revised to make the con-
Student Resources
The Student Companion Website for this book includes:
●● A general orientation for each chapter
●● Review materials for each chapter
●● Proof tips
●● A link to the author’s personal website, which contains errata information and links
for interactive animations, tutorials, and other discrete mathematics resources on the
Internet
Instructor’s Resources
login.cengage.com
The Instructor’s Companion Website for this book contains:
●● Suggestions for how to approach the material of each chapter
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
PrefACe xix
WebAssign
www.webassign.com
WebAssign from Cengage Discrete Mathematics with Applications, Fifth Edition, Metric
Version is an online homework system, which instructors can choose to pair with the
book. For students, it offers tutorial help in solving exercises, including review of rel-
evant material, short instructional videos, and instant feedback on how they are doing.
For instructors, it offers the ability to create customized homework sets, most of which
are graded automatically and produce results directly into an online grade roster. Real-
time access to their students’ performance makes it possible for instructors to adjust the
presentation of material on an ongoing basis.
Organization
This book may be used effectively for a one- or two-semester course. Chapters contain
core sections, sections covering optional mathematical material, and sections covering
optional applications. Instructors have the flexibility to choose whatever mixture will
best serve the needs of their students. The following table shows a division of the sections
into categories.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
xx PrefACe
The following tree diagram shows, approximately, how the chapters of this book depend
on each other. Chapters on different branches of the tree are sufficiently independent that
instructors need to make at most minor adjustments if they skip chapters, or sections of
chapters, but follow paths along branches of the tree.
In most cases, covering only the core sections of the chapters is adequate preparation
for moving down the tree.
Acknowledgments
I owe a debt of gratitude to many people at DePaul University for their support and en-
couragement throughout the years I worked on editions of this book. A number of my col-
leagues used early versions and previous editions and provided many excellent suggestions
for improvement. For this, I am thankful to Louis Aquila, J. Marshall Ash, Allan Berele,
Jeffrey Bergen, William Chin, Barbara Cortzen, Constantine Georgakis, Sigrun Goes,
Jerry Goldman, Lawrence Gluck, Leonid Krop, Carolyn Narasimhan, Walter Pranger,
Eric Rieders, Ayse Sahin, Yuen-Fat Wong, and, most especially, Jeanne LaDuke. The
thousands of students to whom I have taught discrete mathematics have had a profound
influence on the presentation of the material in the book. By sharing their thoughts and
thought processes with me, they taught me how to teach them better. I am very grateful for
their help. I owe the DePaul University administration, especially deans, Charles Suchar,
Michael Mezey, and Richard Meister, a special word of thanks for considering the writing
of this book a worthwhile scholarly endeavor.
My thanks go to the reviewers for their valuable suggestions for this edition of the
book: Naser Al-Hasan, Newberry College; Linda Fosnaugh, Midwestern State Univer-
*
Section 8.3 is needed for Section 12.3 but not for Sections 12.1 and 12.2.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
PrefACe xxi
sity; Robert Gessel, University of Akron; Juan Henriquez, University of New Orleans;
Amy Hlavacek, Saginaw Valley State University; Kevin Lillis, Saint Ambrose University;
Ramón Mata-Toledo, James Madison University; Bin Shao, University of San Francisco;
Charles Qiao Zhang, Texas Christian University; and Cathleen Zucco-Teveloff, Rowan
University. For their help with previous editions of the book, I am grateful to David Addis,
Texas Christian University; Rachel Esselstein, California State University-Monterrey Bay;
William Marion, Valparaiso University; Michael McClendon, University of Central Okla-
homa; Steven Miller, Brown University; Itshak Borosh, Texas A & M University; Douglas
M. Campbell, Brigham Young University; David G. Cantor, University of California at Los
Angeles; C. Patrick Collier, University of Wisconsin-Oshkosh; Kevan H. Croteau, Francis
Marion University; Irinel Drogan, University of Texas at Arlington; Pablo Echeverria,
Camden County College; Henry A. Etlinger, Rochester Institute of Technology; Melvin
J. Friske, Wisconsin Lutheran College; William Gasarch, University of Maryland; Ladnor
Geissinger, University of North Carolina; Jerrold R. Griggs, University of South Carolina;
Nancy Baxter Hastings, Dickinson College; Lillian Hupert, Loyola University Chicago;
Joseph Kolibal, University of Southern Mississippi; Benny Lo, International Technologi-
cal University; George Luger, University of New Mexico; Leonard T. Malinowski, Finger
Lakes Community College; John F. Morrison, Towson State Unviersity; Paul Pederson,
University of Denver; George Peck, Arizona State University; Roxy Peck, California Poly-
technic State University, San Luis Obispo; Dix Pettey, University of Missouri; Anthony
Ralston, State University of New York at Buffalo; Norman Richert, University of Houston-
Clear Lake; John Roberts, University of Louisville; and George Schultz, St. Petersburg
Junior College, Clearwater. Special thanks are due John Carroll, San Diego State Univer-
sity; Dr. Joseph S. Fulda; and Porter G. Webster, University of Southern Mississippi; Peter
Williams, California State University at San Bernardino; and Jay Zimmerman, Towson
University for their unusual thoroughness and their encouragement.
I have also benefitted greatly from the suggestions of the many instructors who have
generously offered me their ideas for improvement based on their experiences with pre-
vious editions of the book, especially Jonathan Goldstine, Pennsylvania State University;
David Hecker, St. Joseph’s University; Edward Huff, Northern Virginia Community
College; Robert Messer, Albion College; Sophie Quigley, Ryerson University; Piotr
Rudnicki, University of Alberta; Anwar Shiek, Dine College; Norton Starr, Amherst
College; Eng Wee, National University of Singapore; Doug Hogan, University of Illinois
at Chicago; James Vanderhyde, Benedictine University; Ali Shaqlaih, University of North
Texas at Dallas; Sam Needham, Diablo Valley College; Mohamed Aboutabl and Ramon
A. Mata-Toledo, James Madison University; Larry Russ, Stevens Institute of Technology;
Tomas Klos, Delft University; Margaret McQuain, Virginia Polytechnic Institute and State
University; J. William Cupp, Indiana Wesleyan University; Jeffrey Mank, Framingham
State University; Or Meir, University of Haifa; Audrey Julia Walegwa Mbogho, Pwani
University, Kenya; Nariman Ammar, Birzeit University; Joshua T. Guerin, University
of Tennessee at Martin; Jici Huang, Montana State University; Jerry Shi, University of
Connecticut; Phuc Duong, Ton Duc Thang University, Vietnam; Abdul Rehman Abid, Iqra
University, Pakistan; Yogesh More, SUNY Old Westbury; Mark Kaplan, Towson State
University; Eric Neufeld, University of Saskatchewan; and Jeremy Tucker, Montana State
University. Production of the third edition received valuable assistance from Christopher
Novak, University of Michigan, Dearborn, and Ian Crewe, Ascension Collegiate School.
For the third and fourth editions I am grateful for the many excellent suggestions for
improvement made by Tom Jenkyns, Brock University, and for the fifth edition I am
indebted to Roger Lipsett for his knowledgeable and careful attention to detail. I am also
extremely grateful for the many appreciative messages I have received from students who
have used previous editions of the book. They have inspired me to continue to find ever
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
xxii PrefACe
better ways to meet their needs in this edition, and I thank them for making the effort to
contact me.
I owe many thanks to the Cengage staff, especially my editors, Laura Gallus, Mona
Zeftel, Lynh Pham, and Spencer Arritt, for their thoughtful advice and reassuringly
calm direction of the production process, and my previous editors, Dan Seibert, Stacy
Green, Robert Pirtle, Barbara Holland, and Heather Bennett, for their encouragement
and enthusiasm.
The older I get the more I realize the profound debt I owe my own mathematics teach-
ers for shaping the way I perceive the subject. My first thanks must go to my husband,
Helmut Epp, who, on a high school date (!), introduced me to the power and beauty of the
field axioms and the view that mathematics is a subject with ideas as well as formulas and
techniques. In my formal education, I am most grateful to Daniel Zelinsky and Ky Fan at
Northwestern University and Izaak Wirszup, I. N. Herstein, and Irving Kaplansky at the
University of Chicago, all of whom, in their own ways, helped lead me to appreciate the
elegance, rigor, and excitement of mathematics.
To my family, I owe thanks beyond measure. I am grateful to my mother, whose keen
interest in the workings of the human intellect started me many years ago on the track that
led ultimately to this book, and to my father, whose devotion to the written word has been
a constant source of inspiration. I thank my children and grandchildren for their affection
and cheerful acceptance of the demands this book has placed on my life. And, most of all,
I am grateful to my husband, who for many years has encouraged me with his faith in the
value of this project and supported me with his love and his wise advice.
Susanna Epp
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
Chapter 1 SPEAKING
MATHEMATICALLY
The aim of this book is to introduce you to a mathematical way of thinking that can serve
you in a wide variety of situations. Often when you start work on a mathematical prob-
lem, you may have only a vague sense of how to proceed. You may begin by looking at
examples, drawing pictures, playing around with notation, rereading the problem to focus
on more of its details, and so forth. The closer you get to a solution, however, the more
your thinking has to crystallize. And the more you need to understand, the more you need
language that expresses mathematical ideas clearly, precisely, and unambiguously.
This chapter will introduce you to some of the special language that is a foundation
for much mathematical thought, the language of variables, sets, relations, and functions.
Think of the chapter like the exercises you would do before an important sporting event.
Its goal is to warm up your mental muscles so that you can do your best.
1.1 Variables
A variable is sometimes thought of as a mathematical “John Doe” because you can use it
as a placeholder when you want to talk about something but either (1) you imagine that it
has one or more values but you don’t know what they are, or (2) you want whatever you
say about it to be equally true for all elements in a given set, and so you don’t want to be
restricted to considering only a particular, concrete value for it. To illustrate the first use,
consider asking
Is there a number with the following property: doubling it and adding 3
gives the same result as squaring it?
In this sentence you can introduce a variable to replace the potentially ambiguous
word “it”:
Is there a number x with the property that 2x 1 3 5 x2?
The advantage of using a variable is that it allows you to give a temporary name to what
you are seeking so that you can perform concrete computations with it to help discover its
possible values. To emphasize the role of the variable as a placeholder, you might write the
following:
Is there a number n with the property that 2? n 1 3 5 n 2?
The emptiness of the box can help you imagine filling it in with a variety of different val-
ues, some of which might make the two sides equal and others of which might not.
1
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
2 CHAPTEr 1 SPEAKING MATHEMATICALLY
A universal statement says that a certain property is true for all elements in a set.
(For example: All positive numbers are greater than zero.)
A conditional statement says that if one thing is true then some other thing also
has to be true. (For example: If 378 is divisible by 18, then 378 is divisible by 6.)
Given a property that may or may not be true, an existential statement says that
there is at least one thing for which the property is true. (For example: There is a
prime number that is even.)
In later sections we will define each kind of statement carefully and discuss all of them
in detail. The aim here is for you to realize that combinations of these statements can be
expressed in a variety of different ways. One way uses ordinary, everyday language and
another expresses the statement using one or more variables. The exercises are designed to
help you start becoming comfortable in translating from one way to another.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
1.1 VArIAbLES 3
Solution
a. is positive
b. x2 is positive
c. is a nonzero real number; x2 is positive
d. positive
e. positive squares (or: squares that are positive) ■
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
4 CHAPTEr 1 SPEAKING MATHEMATICALLY
In this statement the property “has an additive inverse” applies universally to all real num-
bers. “Has an additive inverse” asserts the existence of something—an additive inverse—
for each real number. However, the nature of the additive inverse depends on the real
number; different real numbers have different additive inverses. Knowing that an additive
inverse is a real number, you can rewrite this statement in several ways, some less formal
and some more formal:*
All real numbers have additive inverses.
Or: For every real number r, there is an additive inverse for r.
Or: For every real number r, there is a real number s such that s is an
additive inverse for r.
Introducing names for the variables simplifies references in further discussion. For in-
stance, after the third version of the statement you might go on to write: When r is positive,
s is negative, when r is negative, s is positive, and when r is zero, s is also zero.
One of the most important reasons for using variables in mathematics is that it gives you
the ability to refer to quantities unambiguously throughout a lengthy mathematical argu-
ment, while not restricting you to consider only specific values for them.
*A conditional could be used to help express this statement, but we postpone the additional complexity to a
later chapter.
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
1.1 VArIAbLES 5
Some of the most important mathematical concepts, such as the definition of limit of a
sequence, can only be defined using phrases that are universal, existential, and conditional,
and they require the use of all three phrases “for every,” “there is,” and “if-then.” For
example, if a1, a2, a3, Á is a sequence of real numbers, saying that
the limit of an as n approaches infinity is L
means that
for every positive real number «, there is an integer N such that
for every integer n, if n . N then 2« , an 2 L , «.
TEST YoUrSELf
answers to test Yourself questions are located at the end of each section.
1. A universal statement asserts that a certain property 3. Given a property that may or may not be true,
is for . an existential statement asserts that for
which the property is true.
2. A conditional statement asserts that if one
thing then some other thing .
In each of 1–6, fill in the blanks using a variable or variables a. Is there an integer n such that n has ?
to rewrite the given statement. b. Does there exist such that if n is divided
by 5 the remainder is 2 and if ?
1. Is there a real number whose square is 21?
a. Is there a real number x such that ? Note: There are integers with this property. Can you
b. Does there exist such that x2 5 21? think of one?
2. Is there an integer that has a remainder of 2 when 3. Given any two distinct real numbers, there is a
it is divided by 5 and a remainder of 3 when it is real number in between them.
divided by 6?
Copyright 2020 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
Another random document with
no related content on Scribd:
gentilz hommez, pour famme, je ne sçay se elle fu vraie ou non, et
d’otel mort comme li dessus noummet, lesquelx on noummoit
messires Henris de Malatrait, messire Guillaumme Bacons, li sirez
de Roche Tisson et messires Richars de Perssi, tout rice homme et
gentil homme durement et de Normendie: dont vous devés savoir
que il despleut grandement à leurs prochains, car encore avoecq
tout che li roys de Franche saisi leurs terrez et maintint que il lez
avoient fourfaittez. De quoy li sirez de Clichon avoit ung jonne
escuier à fil, que on appelloit Olivier. Chilz se traist tantost en
Hainbon avoecq monseigneur Amauri de Clichon, son oncle, et le
jone dammoisiel de Montfort, liquel, quant il vinrent en eage, fissent
depuis très forte guerre en Bretaingne et en Franche, en
contrevengant les mors de leurs pèrez, car voirz fu que li comtez de
Montfort estoit mors ou castiel dou Louvre à Paris. Fº 79 vº.
—Ms. de Rome: Ensi se portèrent, en che temps dont je parole,
les querelles en Bretagne, et se desrompirent ces grans assamblées
sans bataille et sans riens faire. Et prist li rois d’Engleterre congiet à
la contesse de Montfort, et puis entra en sa navie et retourna en
Engleterre, et en remena toutes ses gens. Et esploita tant, par le
plaisir de Dieu et dou vent, que sa navie, sans peril et sans damage,
prissent terre à Pleumude en Engleterre. Et estoit conme prisonniers
en la compagnie dou roi messires Hervis de Lion, et fu amenés en
Engleterre; et qant il fu là venus, recreus courtoisement sus sa foi et
mis en la chité de Londres, et pooit partout aler et venir à sa
plaisance. Aultre constrainte de prison ne li fu faite.
Qant ces coses furent apaisies, et tout chil signeur retrais en lors
lieus, et se tenoient bien ces trieuves en Bretagne entre mesire
Carle de Blois et la contesse et lors gens, ne nuls ne les enfrandoit
ne brisoit, grandes nouvelletés et pités et grans rachines de tous
mauls avinrent ou roiaulme de France. Pluisseur hault baron et
chevalier de Bretagne et de Normendie, et qui loiaument s’estoient
acquité et porté ens ès gerres de Bretagne de la partie des François,
à l’avis et renonmée de tous ceuls qui ensonniiet s’en estoient, ne
qui parler en savoient, furent acuset de trahison, de laquelle
accusation on ot grant mervelle. Et ne s’en porent onques chil
escuser ne purger, qui accuset furent, et les en couvint morir
honteusement: dont tous li linages de ceuls furent grandement
courouchiet, et premiers, li sires de Cliçon, liquels fu en son temps
uns vaillans et loiaus chevaliers, et ne l’avoit on veu en nulle
defaute. Mais, pour le temps dont je parole, li cours de France estoit
si perilleuse à poursievir que li signeur ne s’i savoient conment avoir;
et se laisoient li rois Phelippes et son fil, li dus de Normendie, trop
legierement enfourmer. Et pour ce temps, il i avoit une roine en
France, mère dou roi Jehan, et qui fille avoit esté dou duch de
Bourgongne, trop crueuse fenme, car qui que elle encargoit en
haine, il estoit mors sans merchi. Et son fil, li dus Jehans de
Normendie, qui puis fu rois de France, tint assés de ses oppinions et
resgna hausterement, et fist faire moult de crueuses justices en son
temps. Par quoi li roiaulmes de France, par toutes ses parties, en fu
si grevés et si batus et si persequtés que, deus cens ans à venir, les
traces i parurent, ensi que vous orés recorder avant en l’istore.
Avoecques le signeur de Cliçon qui fu decolés à Paris, et voellent
bien li auqun maintenir que ce fu par envie, pour tant que li rois
d’Engleterre l’avoit delivré de prison, et il avoit retenu messire Hervi
de Lion, furent accuset de traison et mort et exequté à Paris li sires
de Malatrait et ses fils, li sires d’Avaugor et ses fils, mesires Tiebaus
de Montmorillon et jusques à diis chevaliers que barons de
Bretagne, et avoecques ceuls, quatre moult hauls gentils honmes de
Normendie, et liquel estoient aussi de grant linage en Bretagne, loist
à savoir mesire Henri de Malatrait, messires Guillaumes Bacons, li
sires de Roce Tison et li sires de Montboucier. Et n’i eut baron ne
chevalier en France, de leur linage, qui osast aler au devant ne dire:
«C’est mal fait,» tant estoient adonc les coses crueuses et
felenesces. Fº 94 vº.
P. 35, l. 20: li hayne.—Mss. A 1 à 33: l’envie. Fº 109.
P. 36, l. 12: d’Avaugor.—Mss. A 1 à 6, 23 à 33: de Vangour, de
Wangour. Fº 109.—Mss. A 7, 11 à 19: de Vaugour. Fº 104.—Mss. A
8, 20 à 22: d’Avaugor, d’Avaugoure. Fº 100.
P. 36, l. 13: Morillon.—Mss. A 1 à 6, 8 à 14: Montmorillon. Fº 108.
—Mss. A 20 à 22: Montarillon. Fº 161.
P. 36, l. 14: jusques à dix.—Ms. B 6: jusques à quatorse. Fº 235.
P. 36, l. 19: Roce Tison.—Mss. A 1 à 6, 8 à 19, 23 à 33: Roche
Tesson, la Roche Tesson. Fº 109.—Mss. A 7, 20 à 22: Roche
Tisson, Roche Tison. Fº 104.