I might get tired of writing out all of the set brackets, { }, and just write:

Transcription

1 About the course: The language and symbols of math. Math is an exact science in the sense that it is not subjective, but objective. A statement is either true or false. Solutions and proofs are either correct or incorrect. There is room for variation in the amount of detail that is given in the proof. We must communicate mathematics in verbal and written form both formally and informally. This is not easy to learn and there are many aspects to that process, which can be confusing. If you see the symbol R in math context, you are to understand it to mean the real numbers. There are conventions, like using the letter x to indicate a real number. However, it is never assumed that x is a real number. To indicate that, you would say, Let x be a real number, or Let x R. Another convention is to use the letter n to indicate an integer. It would not be wrong to say, Let n R, but it may make it a little harder on the reader who is used to having n represent integers. We use the symbol to indicate a sum, which can be indexed in many different ways. Examples include: n, i=1, j I. i k You may use the same symbol to mean something else, but in that case, the meaning must be clearly stated. One might say, Let be the set of all trigonometric functions. We would say that the default meaning of is that of a sum. We have words in math that mean different things in different contexts. The word tangent can be used to mean a trigonometric function, or a type of line. We have symbols that mean different things in different contexts. Using 1 as a superscript could mean the power of negative 1 or the inverse. We have learned about addition from our early years as a child. After examination, we realize that addition of real numbers has properties of closure, associativity, commutativity, an identity, and each number has a negative. Now we may use the symbol + to indicate an operation that has these same properties, but may be different from our usual understanding of the operation of addition that we learned in elementary school. To make matters worse, we love to use shorthand notation. If I want to indicate several sets, {1, 2, 3}, {1, 2}, {1, 3}, {2, 3}, {1}, {3}, {2},, 1

2 2 I might get tired of writing out all of the set brackets, { }, and just write: 123, 12, 13, 23, 1, 3, 2,. If I verbally explain this to the observer, the observer should know what I am talking about, but when one just looks at the second line, it could be shorthand for any of several different things. Some sentences have commonly used shorthand. For instance, We will show the implication is often shortened to ( ) and The following are equivalent to Tfae. These types of abbreviations are not found in many formal writings and should be avoided in your final portfolio. This course will get you started on the right path and sets the stage with the basics. I expect you to learn and practice the formal style of writing and verbal communication, as you would expect to find in textbooks and research articles. Note about typesetting. The notation for everything you hand in needs to be proper. For instance, when entering a formula on a graphing calculator, you might write: (2 p 2)\2 p. But this is a translation of the correct notation, which is: 2 p 2 2 p Subscripts need to be subscripted. For instance, if you mean A 1, A 2,..., A n, do not write A1, A2,..., An. Our goal is to learn proper symbolism and practice using it. So that when you see a symbol or term used in context, you learn to immediately recognize and understand it. You must first know what you are abbreviating before the abbreviations can make any sense. Proving theorems. A mathematical statement is either true or false. In this course, you will learn many standard proof techniques. Logic is the foundation of all of these techniques. Through precise definitions of words like and, or, implies, if, not, every, exists, and equivalent we will develop valid methods of proofs. Then we will practice all of these proof techniques to prove many theorems. In doing so, we will cover much of the foundational material that is used in every subject in mathematics. When you complete this course, you will know proper definitions of terms that you have used before, like f unction and limit and definitions of common terms that might be new to you like permutations and contrapositive.

3 Topic: Theorems in mathematics are based on facts, axioms, and definitions. We will start with something familiar. The Pthagorean Theorem. Theorem 1. Let T be a right triangle with hypotenuse of length c and two other sides of lengths a and b. Then c 2 = a 2 + b 2. Proof. Consider a square of side length a + b. On each side, mark a point between a segment of length a and one of length b in such a way that connecting the point on one side to the point on the next adjacent side gives a right triangle with legs of length a and b and hypotenuse c. After joining the 4 such pairs of points we see that the square has a square of side length c inscribed in it. (How do we know this is a square?) We see that the area of the square can be computed as either (a + b) 2 or c 2 + 2ab. Thus, and so Name some integer solutions. Fermat s Last Theorem. (a + b) 2 = c 2 + 2ab a 2 + b 2 = c 2. Theorem 2. Let n 3 be a natural number. There exist no triples of integers, a, b, and c such that a n + b n = c n. Conjecture. A conjecture is a mathematical statement, the truth value of which has not yet been determined. It is thought to be true by the person who first published it. 3

4 4 Sections 1.1 and 1.2. A set is a collection of objects called elements. We usually use capital letters to denote sets. x A - x belongs to A x A - x is not an element of A A = B - every element of A is in B and every element of B is in A. A B - every element of A is in B, A is a subset of B, B contains A. So A = B if and only if A B and B A. A B - A B, but A B. B is a proper subset of A. A B - A not contained in B. There is some element of B that is not in A. - The empty set. The set that has no elements. It is a subset of every set, even of itself. The power set of a set A is denoted, P(A), and is the set which contains all subsets of A. Naturals, Wholes, Integers, Cardinality of a finite set, collection of sets = family of sets. Indexed family of sets. Roster method of indicating a set. Set builder notation way of indicating a set. * S = {x R : x > 7} * T = {x R : a x b} Interval notation, for a, b R, a < b: (a, b) [a, b] [a, b) (a, b] (a, + ) (, b) [a, + ) (, b] [n], n N Evens Odds Well-defined Venn-diagram There are many correct ways to denote a given set The set of odds equals {2k + 1 : k Z} and it also equals {2k 1 : k Z}. We give a proof. Proof. Let A be the set of integers expressible as 2k 1 for some k Z. So A = {2k 1 : k Z}. Let B be the set of integers expressible as 2s + 1 for some s Z. So B = {2s + 1 : s Z}. Let x A. Then we know that x = 2k 1 for some k Z. Then x = 2k 2+1 = 2(k 1)+1. Since s = k 1 Z, we have that x B. Therefore, A B.

5 Let x B. Then we know that x = 2s + 1 for some s Z. Then x = 2s = 2(s + 1) 1. Since k = s + 1 Z, we have that x A. Thus, B A. Therefore, A = B. Unions, intersections, and compliments. the union of A and B, A B the intersection of A and B, A B the complement of A, denoted A c a universal set the cartesian product of A and B, denoted A B. Also called the cross product. S 1 S 2 S n. 2 sets are called disjoint if their intersection is empty. A family of sets is called mutually disjoint or pairwise disjoint if every pair of sets in the family is disjoint. Two sets are called nested if one is contained in the other. A family of sets is called nested if given any two, one is contained in the other. set difference, denoted A\B, or A B, Distributive Laws: (A B) C = (A C) (B C) and (A B) C = (A C) (B C). Proof: 5 Theorem 3. (1.2.1:) S, T finite then a) S T = S + T S T, b) if S and T are disjoint then S T = S + T, c) if S T, then S T. Proof: Later.

SETS Sections 2.1, 2.2 and 2.4 Chapter Summary Sets The Language of Sets Set Operations Set Identities Introduction Sets are one of the basic building blocks for the types of objects considered in discrete

Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

Chapter 1 Introduction to Proofs 1.1 Preview of Proof This section previews many of the key ideas of proof and cites [in brackets] the sections where they are discussed thoroughly. All of these ideas are

Lecture 8 2.1 Sets, power sets. Cartesian Products. Set is an unordered collection of objects. - used to group objects together, - often the objects with similar properties This description of a set (without

Section 4. Set Theory 4.1. Definitions A set may be viewed as any well defined collection of objects, called elements or members of the set. Sets are usually denoted with upper case letters, A, B, X, Y,

CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The set-theoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are

3. EQUIVALENCE RELATIONS 33 3. Equivalence Relations 3.1. Definition of an Equivalence Relations. Definition 3.1.1. A relation R on a set A is an equivalence relation if and only if R is reflexive, symmetric,

2.1 Symbols and Terminology Definitions: set is a collection of objects. The objects belonging to the set are called elements, ormembers, oftheset. Sets can be designated in one of three different ways:

Discrete Mathematics: Solutions to Homework 2 1. (12%) For each of the following sets, determine whether {2} is an element of that set. (a) {x R x is an integer greater than 1} (b) {x R x is the square

6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

A Little Set Theory (Never Hurt Anybody) Matthew Saltzman Department of Mathematical Sciences Clemson University Draft: August 21, 2013 1 Introduction The fundamental ideas of set theory and the algebra

Geometry Core Semester 1 Semester Exam Preparation Look back at the unit quizzes and diagnostics. Use the unit quizzes and diagnostics to determine which topics you need to review most carefully. The unit

Extra Credit Assignment Lesson plan The following assignment is optional and can be completed to receive up to 5 points on a previously taken exam. The extra credit assignment is to create a typed up lesson

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers

1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

222 CHAPTER 6. PROBABILITY 6.3 Conditional Probability and Independence Conditional Probability Two cubical dice each have a triangle painted on one side, a circle painted on two sides and a square painted

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

2. METHODS OF PROOF 69 2. Methods of Proof 2.1. Types of Proofs. Suppose we wish to prove an implication p q. Here are some strategies we have available to try. Trivial Proof: If we know q is true then

Curriculum Map by Geometry Mapping for Math Testing 2007-2008 Pre- s 1 August 20 to August 24 Review concepts from previous grades. August 27 to September 28 (Assessment to be completed by September 28)

Chapter 2 Abstract Algebra 83 part of abstract algebra, sets are fundamental to all areas of mathematics and we need to establish a precise language for sets. We also explore operations on sets and relations

SETS Chapter 1 In these days of conflict between ancient and modern studies; there must surely be something to be said for a study which did not begin with Pythagoras and will not end with Einstein; but

POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty

A Brief Introduction to Mathematical Writing William J. Turner August 26, 2009 1 Introduction Mathematics is not just about computation. It is about ideas, knowledge, learning, understanding, and perception.

CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,

Chapter Basic Set Theory A set is a Many that allows itself to be thought of as a One. - Georg Cantor This chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical

Chapter Pythagorean Triples The Pythagorean Theorem, that beloved formula of all high school geometry students, says that the sum of the squares of the sides of a right triangle equals the square of the

Pythagorean Triples One of the most far-reaching problems to appear in Diophantus Arithmetica was his Problem II-8: To divide a given square into two squares. Namely, find integers x, y, z, so that x 2

At the end of the lesson, you should be able to: Chapter 2: Systems of Linear Equations and Matrices: 2.1: Solutions of Linear Systems by the Echelon Method Define linear systems, unique solution, inconsistent,

Course Syllabus MATH 1350-Mathematics for Teachers I Revision Date: 8/15/2016 Catalog Description: This course is intended to build or reinforce a foundation in fundamental mathematics concepts and skills.

Circles in Triangles This problem gives you the chance to: use algebra to explore a geometric situation A This diagram shows a circle that just touches the sides of a right triangle whose sides are 3 units,

Euclidean Geometry Students are often so challenged by the details of Euclidean geometry that they miss the rich structure of the subject. We give an overview of a piece of this structure below. We start

Discrete Mathematics 1-3. Set Operations Introduction to Set Theory A setis a new type of structure, representing an unordered collection (group, plurality) of zero or more distinct (different) objects.

CHAPTER 6 Proof by Contradiction We now explore a third method of proof: proof by contradiction. This method is not limited to proving just conditional statements it can be used to prove any kind of statement

THE LNGGE OF SETS ND SET NOTTION Mathematics is often referred to as a language with its own vocabulary and rules of grammar; one of the basic building blocks of the language of mathematics is the language

CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

Automata and Formal Languages Winter 2009-2010 Yacov Hel-Or 1 What this course is all about This course is about mathematical models of computation We ll study different machine models (finite automata,

16 Chapter P Prerequisites P.2 Properties of Real Numbers What you should learn: Identify and use the basic properties of real numbers Develop and use additional properties of real numbers Why you should

Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics

CHAPTER 1 Sets All of mathematics can be described with sets. This becomes more and more apparent the deeper into mathematics you go. It will be apparent in most of your upper level courses, and certainly

Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

D0 APPENDIX D Precalculus Review SECTION D. The Cartesian Plane The Cartesian Plane The Distance and Midpoint Formulas Equations of Circles The Cartesian Plane An ordered pair, of real numbers has as its

2. THE x-y PLANE 2.1. The Real Line When we plot quantities on a graph we can plot not only integer values like 1, 2 and 3 but also fractions, like 3½ or 4¾. In fact we can, in principle, plot any real

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various

Basic Proof Techniques David Ferry dsf43@truman.edu September 13, 010 1 Four Fundamental Proof Techniques When one wishes to prove the statement P Q there are four fundamental approaches. This document

alternate interior angles two non-adjacent angles that lie on the opposite sides of a transversal between two lines that the transversal intersects (a description of the location of the angles); alternate

First Name: Family Name: Student Number: Class/Tutorial: WOLLONGONG COLLEGE AUSTRALIA A College of the University of Wollongong Diploma in Information Technology Final Examination Spring Session 2008 WUCT121

Understanding Basic Calculus S.K. Chung Dedicated to all the people who have helped me in my life. i Preface This book is a revised and expanded version of the lecture notes for Basic Calculus and other

CHPTER 12 Functions You know from calculus that functions play a fundamental role in mathematics. You likely view a function as a kind of formula that describes a relationship between two (or more) quantities.