Why Read This Book? - Index of

More documents

Recommendations

Info

The compound statement we call “p or q” is written 1.1 Introduction to Logic 15 p ∨ q : Meghan has insurance that covers her for any car she drives, or she bought the optional insurance provided by the car rental company. How should we assign T or F to p ∨ q based on the truth or falsity of p and q individually? 2 We define p ∨ q to be true if at least one of the two statements is true. See Table 1.3. p q p ∨ q T T T T F T F T T F F F (1.3) Definition 1.1.4 Given two statements p and q, we define the statement p ∨ q (p or q) to be true precisely when at least one of p and q is true, as illustrated in Table 1.3. Our conversational language is sometimes ambiguous when we use the word OR, and we often use OR in ways that are different from the mathematical use. For example, suppose a friend asks you “Did you have a cheeseburger or pizza for lunch?” In conversation, you would answer,“Oh, I had pizza,” and your friend would likely conclude that you did not have the cheeseburger. In mathematics, however, you should answer your friend’s question with a simple yes or no, depending on whether you had at least one of these two items. To address a statement involving p and q that is true when precisely one of them is true, we use the exclusive or, which is written p ˙∨ q. See Table 1.4. p q p ˙∨ q T T F T F T F T T F F F Now we can build all kinds of compound statements. (1.4) 2 Pretend Meghan’s friend is worried about being covered in case of an accident. He asks Meghan, “Do you have your own insurance, or did you buy the optional coverage provided by the rental company?” Under what circumstances should she say yes?
16 Chapter 1 Language and Mathematics Example 1.1.5 Construct a truth table for the statement (p ∧ q) ∨ (¬p ∧¬q). See Table 1.5. Solution p q ¬p ¬q p ∧ q ¬p ∧¬q (p ∧ q) ∨ (¬p ∧¬q) T T F F T F T T F F T F F F F T T F F F F F F T T F T T (1.5) EXERCISE 1.1.6 Use the layout of Table 1.6 to construct truth table columns for p ∧ (q ∨ r) and (p ∧ q) ∨ (p ∧ r). p q r q ∨ r p ∧ (q ∨ r) p ∧ q p ∧ r (p ∧ q) ∨ (p ∧ r) T T T T T F T F T T F F F T T F T F F F T F F F EXERCISE 1.1.7 Construct truth tables for the following statements. (a) p ∨ (q ∨ r) (b) ¬(p ∧ q) ∨ (p ∨ q) (c) (p ∨ q) ∨ r (d) ¬p ∨ q (e) p ∧ (q ∨¬p) 1.1.5 Logical Equivalence � (1.6) There are often several equivalent ways to say the same thing. We need to address the situation where two different constructs involving statements should be interpreted as having the same meaning, or as being logically equivalent. As a trivial
Page 2 and 3: A Transition to Abstract Mathematic
Page 4 and 5: A Transition to Abstract Mathematic
Page 6 and 7: For Topo my little mouse
Page 8 and 9: Contents Why Read This Book? xiii P
Page 10 and 11: 3.10 Irrational Numbers 107 3.11 Re
Page 12 and 13: 8.2 Subgroups 252 8.2.1 Subgroups D
Page 14 and 15: Why Read This Book? One of Euclid
Page 16 and 17: Preface A Transition to Abstract Ma
Page 18 and 19: Preface to the First Edition This t
Page 20 and 21: Preface to the First Edition xix ea
Page 22 and 23: Acknowledgments It takes an entire
Page 24 and 25: Notation and Assumptions 0 Suppose
Page 26 and 27: 0.2 Assumptions about the Real Numb
Page 28 and 29: 0.2 Assumptions about the Real Numb
Page 30 and 31: 0.2.3 Other Assumptions 0.2 Assumpt
Page 32 and 33: P A R T I Foundations of Logic and
Page 34 and 35: Language and Mathematics 1 One main
Page 36 and 37: 1.1 Introduction to Logic 13 Now im
Page 40 and 41: 1.1 Introduction to Logic 17 exampl
Page 42 and 43: 1.2 If-Then Statements 19 Definitio
Page 44 and 45: 1.2 If-Then Statements 21 (h) The o
Page 46 and 47: 1.2 If-Then Statements 23 (g) If ei
Page 48 and 49: p : Meghan is at least 25 years old
Page 50 and 51: 1.3 Universal and Existential Quant
Page 56 and 57: 1.4 Negations of Statements 33 2. F
Page 58 and 59: 1.4 Negations of Statements 35 want
Page 60 and 61: Solution 1.4 Negations of Statement
Page 62 and 63: Solution 1. Everyone in this class
Page 64 and 65: 1.5 How We Write Proofs 41 Our purp
Page 66 and 67: 1.5 How We Write Proofs 43 the nega
Page 68 and 69: Properties of Real Numbers 2 It’s
Page 70 and 71: 2.1 Basic Algebraic Properties of R
Page 72 and 73: 2.1.2 Properties of Multiplication
Page 74 and 75: 2.2 Ordering Properties of the Real
Page 76 and 77: (c) For all real numbers a, a2 ≥
Page 78 and 79: 2.3 Absolute Value 55 (⇐) Now sup
Page 80 and 81: 2.4 The Division Algorithm 57 mn =
Page 82 and 83: 2.5 Divisibility and Prime Numbers
Page 84 and 85: 2.5 Divisibility and Prime Numbers
Page 86 and 87: Sets and Their Properties 3 All of
Page 88 and 89:
U A B Figure 3.5 Venn diagram illus
Page 90 and 91:
(f) For all sets A, B, and C,ifA
Page 92 and 93:
3.2 Proving Basic Set Properties 69
Page 94 and 95:
3.3 Families of Sets 71 Notice that
Page 96 and 97:
Example 3.3.2 Consider the family o
Page 98 and 99:
3.3 Families of Sets 75 x ∈ � A
Page 100 and 101:
3.3 Families of Sets 77 and ... and
Page 102 and 103:
Example 3.4.2 For any positive inte
Page 104 and 105:
3.4 The Principle of Mathematical I
Page 106 and 107:
Proof. To clean up the notation, we
Page 108 and 109:
3.5 Variations of the PMI 85 EXERCI
Page 110 and 111:
(g) (a −m ) −n = a mn (h) (ab)
Page 112 and 113:
Strong Induction 3.5 Variations of
Page 114 and 115:
3.6 Equivalence Relations 91 EXERCI
Page 116 and 117:
3.6 Equivalence Relations 93 beginn
Page 118 and 119:
3.6 Equivalence Relations 95 constr
Page 120 and 121:
3.7 Equivalence Classes and Partiti
Page 122 and 123:
Page 124 and 125:
Page 126 and 127:
3.8 Building the Rational Numbers 1
Page 128 and 129:
3.8 Building the Rational Numbers 1
Page 130 and 131:
3.10 Irrational Numbers 107 EXERCIS
Page 132 and 133:
3.10 Irrational Numbers 109 To the
Page 134 and 135:
EXERCISE 3.10.2 √ 2 is irrational
Page 136 and 137:
(a) {(x, y) : x ≤ y} (b) {(x, y)
Page 138 and 139:
3.11 Relations in General 115 (O3)
Page 140 and 141:
3.11 Relations in General 117 at al
Page 142 and 143:
Functions 4 Second only to sets, fu
Page 144 and 145:
4.1 Definition and Examples 121 pro
Page 146 and 147:
Solution We show that T satisfies p
Page 148 and 149:
4.2 One-to-one and Onto Functions 4
Page 150 and 151:
4.2 One-to-one and Onto Functions 1
Page 152 and 153:
A 1 x A B f (A 1 ) Figure 4.4 The i
Page 154 and 155:
4.4 Composition and Inverse Functio
Page 156 and 157:
4.4 Composition and Inverse Functio
Page 158 and 159:
4.5 Three Helpful Theorems 135 The
Page 160 and 161:
4.6 Finite Sets 137 EXERCISE 4.5.3
Page 162 and 163:
4.7 Infinite Sets 139 The next exer
Page 164 and 165:
4.7 Infinite Sets 141 of A. This or
Page 166 and 167:
4.7 Infinite Sets 143 EXERCISE 4.7.
Page 168 and 169:
EXERCISE 4.8.3 If A1,A2, and B are
Page 170 and 171:
4.8 Cartesian Products and Cardinal
Page 172 and 173:
4.8 Cartesian Products and Cardinal
Page 174 and 175:
4.9 Combinations and Partitions 151
Page 176 and 177:
Page 178 and 179:
Page 180 and 181:
4.10 The Binomial Theorem 157 EXERC
Page 182 and 183:
EXERCISE 4.10.3 Determine the follo
Page 184 and 185:
(c) The coefficient of ab 3 c 2 in
Page 186 and 187:
P A R T I I Basic Principles of Ana
Page 188 and 189:
The Real Numbers 5 Let’s look at
Page 190 and 191:
5.1 The Least Upper Bound Axiom 167
Page 192 and 193:
5.2 The Archimedean Property 169 EX
Page 194 and 195:
5.2 The Archimedean Property 171 No
Page 196 and 197:
5.3 Open and Closed Sets 173 Thus A
Page 198 and 199:
5.4 Interior, Exterior, Boundary, a
Page 200 and 201:
5.4 Interior, Exterior, Boundary, a
Page 202 and 203:
5.5 Closure of Sets 179 The constru
Page 204 and 205:
5.6 Compactness 181 EXERCISE 5.6.3
Page 206 and 207:
5.6 Compactness 183 EXERCISE 5.6.13
Page 208 and 209:
Sequences of Real Numbers 6.1 Seque
Page 210 and 211:
6.1 Sequences Defined 187 Example 6
Page 212 and 213:
EXERCISE 6.1.15 Consider the sequen
Page 214 and 215:
L 1 e L L 2 e . . . . . . 1 2 3 4 N
Page 216 and 217:
6.2 Convergence of Sequences 193 EX
Page 218 and 219:
6.2 Convergence of Sequences 195 To
Page 220 and 221:
6.3 The Nested Interval Property 19
Page 222 and 223:
Page 224 and 225:
Page 226 and 227:
a1 a4 aN 1 2 aN aN 1 1 aN 1 3 a5 a3
Page 228 and 229:
Example 6.4.7 The terms a0 = 1 a1 =
Page 230 and 231:
Functions of a Real Variable 7 Func
Page 232 and 233:
7.1 Bounded and Monotone Functions
Page 234 and 235:
50 40 30 20 7 1 ε 7 7 2 ε 0 ( ( F
Page 236 and 237:
7.2 Limits and Their Basic Properti
Page 238 and 239:
7.2 Limits and Their Basic Properti
Page 240 and 241:
7.3 More on Limits 217 values of 0
Page 242 and 243:
7.4 Limits Involving Infinity 219 W
Page 244 and 245:
7.4 Limits Involving Infinity 221 T
Page 246 and 247:
(a) limx→a f(x) =−∞ (b) limx
Page 248 and 249:
7.5 Continuity 225 If f is not cont
Page 250 and 251:
1 2 3 4 5 6 Figure 7.6 Some example
Page 252 and 253:
|a − x| |xa| = |x − a| |x||a| 7
Page 254 and 255:
7.6 Implications of Continuity 231
Page 256 and 257:
7.6 Implications of Continuity 233
Page 258 and 259:
7.7 Uniform Continuity 235 we decla
Page 260 and 261:
7.7 Uniform Continuity 237 Next, le
Page 262 and 263:
7.7.2 Uniform Continuity and Compac
Page 264 and 265:
P A R T I I I Basic Principles of A
Page 266 and 267:
Groups 8 In its simplest terms, alg
Page 268 and 269:
8.1 Introduction to Groups 245 are
Page 270 and 271:
8.1 Introduction to Groups 247 Defi
Page 272 and 273:
◦ 0 1 2 3 4 5 0 0 1 2 3 4 5 1 1 0
Page 274 and 275:
Show that C × is an abelian group
Page 276 and 277:
8.2 Subgroups 253 G1 and G3 are aut
Page 278 and 279:
8.2 Subgroups 255 Notice how proper
Page 280 and 281:
8.2 Subgroups 257 Example 8.2.15 su
Page 282 and 283:
EXERCISE 8.2.23 If G is a group and
Page 284 and 285:
8.3 Quotient Groups 261 [0] ={...,
Page 286 and 287:
8.3 Quotient Groups 263 is standard
Page 288 and 289:
Step 2: Define an operation ∗H on
Page 290 and 291:
(iii) (Z + 3.8) +Z (Z + 1.2) (iv)
Page 292 and 293:
then for a given f ∈ S and any a
Page 294 and 295:
Thus f 2 = f ◦ f = (132)(56) ◦
Page 296 and 297:
2 3 1 3 1 Figure 8.1 Rigid square u
Page 298 and 299:
EXERCISE 8.4.12 Complete Table 8.64
Page 300 and 301:
8.5 Normal Subgroups 277 Theorem 8.
Page 302 and 303:
8.5 Normal Subgroups 279 point to b
Page 304 and 305:
8.6 Group Morphisms 281 EXERCISE 8.
Page 306 and 307:
8.6 Group Morphisms 283 Notice that
Page 308 and 309:
Ker � e x 2 x maps to x Ker � G
Page 310 and 311:
Rings 9 We can create algebraic str
Page 312 and 313:
9.1 Rings and Fields 289 (R9) Multi
Page 314 and 315:
9.1 Rings and Fields 291 we define
Page 316 and 317:
9.2 Subrings 293 In addition to pro
Page 318 and 319:
9.2 Subrings 295 p1 = q1 = 3. Verif
Page 320 and 321:
9.3 Ring Properties 297 Theorem 9.3
Page 322 and 323:
9.3 Ring Properties 299 EXERCISE 9.
Page 324 and 325:
9.4 Ring Extensions 301 in the inte
Page 326 and 327:
9.4 Ring Extensions 303 Example 9.4
Page 328 and 329:
9.4 Ring Extensions 305 We insist t
Page 330 and 331:
9.5 Ideals 307 An ideal, say a left
Page 332 and 333:
9.6 Generated Ideals 309 Proof. Sup
Page 334 and 335:
EXERCISE 9.6.6 In the integers, wha
Page 336 and 337:
9.7 Prime and Maximal Ideals 313 Ev
Page 338 and 339:
9.8 Integral Domains 315 EXERCISE 9
Page 340 and 341:
9.8 Integral Domains 317 Corollary
Page 342 and 343:
9.9 Unique Factorization Domains 31
Page 344 and 345:
9.10 Principal Ideal Domains 321 al
Page 346 and 347:
9.10 Principal Ideal Domains 323 So
Page 348 and 349:
9.11 Euclidean Domains 325 next exe
Page 350 and 351:
9.11 Euclidean Domains 327 Exercise
Page 352 and 353:
Proof. Let f and g be nonzero polyn
Page 354 and 355:
9.12 Polynomials over a Field 331 W
Page 356 and 357:
9.13 Polynomials over the Integers
Page 358 and 359:
9.14 Ring Morphisms 335 Example 9.1
Page 360 and 361:
9.14 Ring Morphisms 337 EXERCISE 9.
Page 362 and 363:
9.15 Quotient Rings 339 this, howev
Page 364 and 365:
9.15 Quotient Rings 341 Because the
Page 366 and 367:
9.15 Quotient Rings 343 However, th
Page 368 and 369:
Index =,51 ɛ (epsilon), 167-168 ɛ
Page 370 and 371:
Index 347 Cosets, 263, 264, 265 Lag
Page 372 and 373:
Index 349 Gauchy sequences, 202-206
Page 374 and 375:
Index 351 identity, 124 relations v
Page 376 and 377:
Index 353 Quaternions, 248, 253, 25
Page 378 and 379:
Index 355 Tower of Hanoi, 84 Transc
show all

Why Read This Book? - Index of

Create successful ePaper yourself

Delete template?

Save as template?