Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

Similar documents
Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011

Math 31 Lesson Plan. Day 16: Review; Start Section 8. Elizabeth Gillaspy. October 18, Supplies needed: homework. Colored chalk. Quizzes!

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Math 31 Lesson Plan. Day 22: Tying Up Loose Ends. Elizabeth Gillaspy. October 31, Supplies needed: Colored chalk.

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics

Assignment 3 Logic and Reasoning KEY

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2:

Announcements Monday, September 18

Lecture 4: Constructing the Integers, Rationals and Reals

CS 124 Math Review Section January 29, 2018

Instructor Notes for Chapters 3 & 4

Section 2.1: Introduction to the Logic of Quantified Statements

MIT BLOSSOMS INITIATIVE

How to write maths (well)

Manipulating Radicals

Basics of Proofs. 1 The Basics. 2 Proof Strategies. 2.1 Understand What s Going On

What is proof? Lesson 1

Proving logical equivalencies (1.3)

HOW TO WRITE PROOFS. Dr. Min Ru, University of Houston

Direct Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24

Getting Started with Communications Engineering. Rows first, columns second. Remember that. R then C. 1

One-to-one functions and onto functions

1 Modular Arithmetic Grade Level/Prerequisites: Time: Materials: Preparation: Objectives: Navajo Nation Math Circle Connection

Measuring Keepers S E S S I O N 1. 5 A

Modular Arithmetic Instructor: Marizza Bailey Name:

Math Lecture 4 Limit Laws

Extending the Number System

Alex s Guide to Word Problems and Linear Equations Following Glencoe Algebra 1

CS103 Handout 08 Spring 2012 April 20, 2012 Problem Set 3

MATH 22 FUNCTIONS: ORDER OF GROWTH. Lecture O: 10/21/2003. The old order changeth, yielding place to new. Tennyson, Idylls of the King

Recitation 4: Quantifiers and basic proofs

Section 3.1: Direct Proof and Counterexample 1

Twin primes are pairs of natural numbers (p, p + 2) such that both p and p + 2 are primes.

Lecture 1. Econ 2001: Introduction to Mathematical Methods (a.k.a. Math Camp) 2015 August 10

Math 38: Graph Theory Spring 2004 Dartmouth College. On Writing Proofs. 1 Introduction. 2 Finding A Solution

CMSC 27130: Honors Discrete Mathematics

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

The PROMYS Math Circle Problem of the Week #3 February 3, 2017

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2

Why write proofs? Why not just test and repeat enough examples to confirm a theory?

Student Questionnaire (s) Main Survey

PHYSICS 15a, Fall 2006 SPEED OF SOUND LAB Due: Tuesday, November 14

Handout 2 (Correction of Handout 1 plus continued discussion/hw) Comments and Homework in Chapter 1

2 Elementary number theory

Announcements Wednesday, August 30

Solving Quadratic & Higher Degree Equations

We set up the basic model of two-sided, one-to-one matching

Math 300: Foundations of Higher Mathematics Northwestern University, Lecture Notes

( )( b + c) = ab + ac, but it can also be ( )( a) = ba + ca. Let s use the distributive property on a couple of

Quadratic Equations Part I

Voting Systems. High School Circle II. June 4, 2017

In this unit we will study exponents, mathematical operations on polynomials, and factoring.

Discrete Mathematics for CS Fall 2003 Wagner Lecture 3. Strong induction

Divisibility = 16, = 9, = 2, = 5. (Negative!)

CSC236 Week 2. Larry Zhang

Proofs. 29th January 2014

HAMPSHIRE COLLEGE: YOU CAN T GET THERE FROM HERE : WHY YOU CAN T TRISECT AN ANGLE, DOUBLE THE CUBE, OR SQUARE THE CIRCLE. Contents. 1.

Relationships Between Quantities

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

Solving with Absolute Value

Appendix A. Jargon. A.1 Strange technical terms

Solution to Proof Questions from September 1st

MITOCW Lec 11 MIT 6.042J Mathematics for Computer Science, Fall 2010

Nondeterministic finite automata

Algebra: Linear UNIT 16 Equations Lesson Plan 1

Topic 1: Propositional logic

Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur

30. TRANSFORMING TOOL #1 (the Addition Property of Equality)

PGSS Discrete Math Solutions to Problem Set #4. Note: signifies the end of a problem, and signifies the end of a proof.

COMPSCI 611 Advanced Algorithms Second Midterm Exam Fall 2017

The value of a problem is not so much coming up with the answer as in the ideas and attempted ideas it forces on the would be solver I.N.

CH 59 SQUARE ROOTS. Every positive number has two square roots. Ch 59 Square Roots. Introduction

Welcome to MAT 137! Course website:

Math 250B Midterm I Information Fall 2018

Introduction to Algebra: The First Week

Solving Quadratic & Higher Degree Equations

Lesson 5b Solving Quadratic Equations

System of Linear Equation: with more than Two Equations and more than Two Unknowns

All the examples in this worksheet and all the answers to questions are available as answer sheets or videos.

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive

Supplemental Worksheet Problems To Accompany: The Pre-Algebra Tutor: Volume 2 Section 16 Solving Single Step Equations

Announcements Wednesday, August 30

MA 510 ASSIGNMENT SHEET Spring 2009 Text: Vector Calculus, J. Marsden and A. Tromba, fifth edition

Lesson Plan by: Stephanie Miller

ED 357/358 - FIELD EXPERIENCE - LD & EI LESSON DESIGN & DELIVERY LESSON PLAN #4

Proof Techniques (Review of Math 271)

CS173 Lecture B, November 3, 2015

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Student Instruction Sheet: Unit 2, Lesson 2. Equations of Lines, Part 2

MA 3280 Lecture 05 - Generalized Echelon Form and Free Variables. Friday, January 31, 2014.

MATH 2200 Final Review

March 19 - Solving Linear Systems

Sequences and infinite series

Solving Quadratic & Higher Degree Equations

Math 5a Reading Assignments for Sections

Math Precalculus I University of Hawai i at Mānoa Spring

8. TRANSFORMING TOOL #1 (the Addition Property of Equality)

Mathematics E-15 Seminar on Limits Suggested Lesson Topics

Conceptual Explanations: Simultaneous Equations Distance, rate, and time

Stat 20 Midterm 1 Review

Transcription:

Math 31 Lesson Plan Day 2: Sets; Binary Operations Elizabeth Gillaspy September 23, 2011 Supplies needed: 30 worksheets. Scratch paper? Sign in sheet Goals for myself: Tell them what you re going to tell them; tell it to them; tell them what you told them. Watch the time! Don t worry if not all students finish the worksheet. Goals for students: Students will: Feel like they understand, and can use to solve problems, the material from Sections 0 and 1 of Saracino. Get to know some of their classmates via collaborative activities. 1

[Lecture Notes: Write everything in blue, and every equation, on the board. [Square brackets] indicate anticipated student responses. Italics are instructions to myself.] Pass around sign-in sheet Happy Friday, everyone! Today we re going to start by discussing your questionsfrom Sections 0 & 1. Then I d like you to work in groups on some exercises to check your understanding of the material from the text. At the end of class, if we have time, we ll start talking about symmetry groups, to get a jump start on Monday s class. Tell students that any notation used in the book is also listed inside the front cover. Subset can include the set itself; Proper subset means strictly smaller. Any volunteers to explain the flaw in the proof that all horses are the same color? Make sure everyone s convinced. Emphasize that if the proof falls apart for any m, then it doesn t hold. Why can t we skip a step in the induction hypothesis? ie, why can t we go from m to m + 9? A lot of people had questions about the second form of Mathematical Induction, so we re going to prove its validity as a class, and then we re going to talk about the proof of the Fundamental Theorem of Arithmetic. I know some of you asked for another example, but I don t think we re going to have time; so if you re still confused after we talk about the proof of the Fundamental Theorem of Arithmetic, please come see me in office hours. Someone brought up the point on Blackboard that we proved that Induction was a valid proof method using the method of proof by contradiction. So, then, we should prove that 2

contradiction is also a valid proof method but then you have to prove that the tools you used in that proof are also valid. It seems like a never-ending chain, right? Well, to be honest, it is. In order to do mathematics, you have to make some assumptions. You can t prove everything. If you re interested in what statements mathematicians usually assume to be true, and what you can or can t prove by making different types of foundational assumptions, you should take a class in logic. The assumptions that Saracino (and I) are making are that direct proof, and proof by contradiction, are valid proof methods. If you re not convinced of that, please come see me in office hours! We feel that those are reasonable assumptions and that you should be able to convince yourself of them without too much help. Theorem 0.3: (Mathematical Induction, second form) Suppose P (n) is a statement about positive integers, and suppose we know two things: P (1) is true; For every positive integer m, if P (k) is true for every k < m, then P (m) is true. Then it follows that P (n) is true for every integer n. Proof: The text says that this proof is similar to the proof of Theorem 0.2, the first form of Mathematical Induction. So, how do you think we should start the proof of Theorem 0.3? [proof by contradiction] Suppose P (n) is not true for some n, and let S = {n Z + : P (n) is false}. What can we say about S? [Then S is nonempty, and so S has a smallest element n 0.] What do we know about n 0? [We know n 0 > 1.] By definition of n 0, we know that for all positive integers k < n 0, what? [P (k) is true for each such k.] Therefore, by hypothesis, what? [P (n 0 ) must also be true, which is a contradiction.] Any questions about this proof? 3

When to use Form 1 vs Form 2 of induction: Use Form 1 when you can easily reduce P (n) to a statement involving P (n 1). Use Form 2 when you can reduce P (n) to a statement involving P (m) for some smaller m, but not necessarily n 1. Thus, often when you have a formula that you want to prove is true for all n, the first form is easier to use. It s not hard to rewrite a formula to involve n 1 or n + 1 instead of n. However, sometimes we have statements about the positive integers that don t involve formulas. The Fundamental Theorem of Arithmetic is one of those, and since it will be important later in this course, I m going to go through the proof together. If you still have questions about when to use the second form of induction after class, please come see me! Theorem 0.4 (Fundamental Theorem of Arithmetic, existence) Let n > 1 be a positive integer greater than 1. Then we can write n as a product of prime numbers. Proof: We prove this Theorem using the second form of mathematical induction. So, what do we have to do? [We must check the base case, n = 2] Discuss why the base case isn t n = 1. Make sure everyone s OK with that. So what happens in the base case? [Since 2 is prime, the base case is true.] So now what? [Suppose m > 2 and assume that if 2 k < m, then P (k) is true.] What does that mean? [In other words, we can write each such k as a product of primes.] Now what? [Consider the integer m. If m is prime, we re done.] If m is not prime, what do we know? we can write m = ab, What do we know about a and b? [where 1 < a, b < m.] What does the inductive hypothesis tell us? Then we can write both a and b as products of primes. Hence m = ab is also a product of primes, and we re done. Why can t we use the first form of induction here? [When you factor m = ab, you don t have any idea how big a and b are but you know for certain that they re both less than m 1!] 4

Someone asked on Blackboard about why, in the first form of induction, you have to move by steps of size 1. Let P (n) be a statement about the positive integers. Suppose P (1) is true, and suppose that if P (m) is true, then P (m + 9) is true. Is P (n) true for all integers n? Think-pair-share [no, because we have no way to check what happens for P (2), P (3),..., P (9).] More questions about induction, or sets? Let s move on to binary operations, then. In Section 1, when we re talking about binary operations, Saracino gives some examples of a binary operation, and some non-examples. Were you all convinced that the operations he listed were binary? Why? Any time you have something that you think is an example, be sure to check the definition to make certain! If you have something that you think is not an example, try to show why it doesn t fit the definition. Example: On Z, subtraction is a binary operation. Why? [If a and b are both integers, so is a b.] However, on Z +, subtraction is not a binary operation. It s always best to give an explicit counterexample to show why something is not true. So, can anyone give me a counterexample to see why subtraction isn t a binary operation on Z +? Think-Pair-Share if no immediate volunteers [Both 1 and 2 are in Z +, but 1 2 = 1 Z +.] Also discuss division on R? Ask students to divide themselves into groups of 2-4, and pass out worksheet. In the last problem on the second page of the worksheet, the question asks about n i=1 A i, where 5

the A i are sets. What do you think that means? Think-pair-share if no one volunteers. [If A 1, A 2,..., A n are sets, then n i=1 A i is the intersection of all the sets A i.] The starred problem is a challenge problem, if you have extra time. 30 mins Move around the room to answer questions and check on student progress. If some students finish more quickly, suggest that they check whether matrix addition is binary/commutative/associative. Alternatively, ask them to generalize the proof that matrix multiplication is a binary operation from 2 2 matrices to n n. Any questions about the material from the worksheets? The First Homework will be posted later today, on the course website. It will be due next week Friday, at the beginning of class. Wrap up by 1.30 The first quiz will be Monday, the first five minutes of class. Don t be late! but, there s no reading assignment for Monday. Enjoy your weekend! 6