Relations. Relations occur all the time in mathematics. For example, there are many relations between # and % À
|
|
- Charity Webster
- 5 years ago
- Views:
Transcription
1 Relations Relations occur all the time in mathematics. For example, there are many relations between and % À Ÿ% % Á% l% Ÿ,, Á ß and l are examples of relations which might or might not hold between two numbers. But relations also can hold not just between numbers, but also between other kinds of mathematical objects: for example, i) for two triangles? EFG and? HIJ, (congruence) is a relation that might hold between them; another relation is µ ÐsimilarityÑÞ ii) for two lines j" and j in the plane, ² Ðparallel to) is a relation that might hold between them à another example is ¼ (perpendicular). So what is a relation? It appears to be a very general concept. Can we say something more precise than A relation is, well, you know, like Ÿ or ²? To answer this question, we start with the idea of an ordered pair. Ordered Pairs and Products of Sets Informally, an ordered pair Ð+ß,Ñ consists of objects + and,, and is characterized by having them in order : there is a first object +ß and a second object ß,Þ We consider two ordered pairs to be the same Ðand write Ð+ß,ÑœÐ-ß.ÑÑ +œ- and,œ.þ Therefore the ordered pairs Ð"ß Ñ and Ðß "Ñ are derent. ( For example, if you think of these ordered pairs as being the coordinates of points in the plane, then certainly Ð"ß Ñ and Ðß "Ñ represent derent points.) In the same way, we can think of ordered triples Ð+ß,ß-Ñ or even ordered 8-tuples Ð+ " ß + ß ÞÞÞß + 8 Ñ. We say that two ordered 8-tuples Ð+ " ß + ß ÞÞÞß + 8 Ñ and Ð, " ß, ß ÞÞÞß, 8Ñ are equal + œ, for each 3 œ "ß ÞÞÞß 8Þ 3 3 This informal way of thinking about ordered pairs, ordered triples,..., ordered 8-tuples is usually good enough for doing everyday mathematics. But notice that we have not really defined an ordered pair À we just said that Ð+ß,Ñ is characterized by... a certain property. We have said nothing like an ordered pair Ð+ß,Ñ is....
2 As always, mathematicians don't really care (except if they become philosophers) what an ordered pair really is all they want is a precise definition of something that acts just like an ordered pair, something that has all the relevant characteristics of an ordered pair. (described above). Moreover, if everything in mathematics is a set, then an ordered pair should be defined as some set. So we want to write a definition of the form Ð+ß,Ñ œ some set. We certainly can't define Ð+ß,Ñ œ Ö+ß,, since, for example, Ð"ß Ñ Á Ðß "Ñ while Ö"ß œ Öß " Þ The set Ö"ß œ Öß " doesn't distinguish between a first element and a second element. It doesn't really matter what particular set we define ordered pair Ð+ß,Ñ to be, as long as the set behaves the way an ordered pair should behave: that Ð+ß,Ñ œ Ð-ß.Ñ + œ - and,œ.þ One possible definition, devised by the Polish mathematician K. Kuratowski near th the beginning of the 20 century, is the one the most mathematicians use when they need a formal definition of an ordered pair. Definition Ð+ß,Ñ œ Ö Ö+ ß Ö+ß,. We call Ð+ß,Ñ an ordered pair. This formal definition gives us a set Ð+ß,Ñ and the next theorem says that it has the characteristic property of an ordered pair (and therefore we can live with this definition Ð+ß,Ñ as this particular set). Theorem Ð+ß,Ñ œ Ð-ß.Ñ + œ, and - œ.. Proof If + œ, and - œ., then Ö Ö+ ß Ö+ß, œ Ö Ö- ß Ö-ß.. Conversely, we need to show that if these two sets are equal, then +œ- and,œ.. This is left as an exercise. (This is not dicult. But in the argument you do have to consider the possibility that +œ,, in which case the set on the left reduces to Ö Ö+ ß Ö+ß, œ Ö Ö+ ß Ö+ß + œ Ö Ö+ ß Ö+ œ Ö Ö+. ñ We can then make a formal definition of an ordered triple as an ordered pair whose first member is itself an ordered pair: Ð+ß,ß-ÑœÐÐ+ß,Ñß -Ñ Inductively, we can formally an Ð8 "Ñ-tuple based on the previous definition of an 8- tuple: Ð+ ß ÞÞÞß + ß + Ñ œ ÐÐ+ ß ÞÞÞß + Ñ ß + Ñ. " 8 8 " " 8 8 " Using the definition, it's easy to prove by induction that, for every 8, Ð+ " ß ÞÞÞß + 8 Ñ œ Ð, " ß ÞÞÞß, 8Ñ + 3 œ, 3 for each 3 œ "ß ÞÞÞß 8Þ
3 Notice that the formal definition means that ordered 8-tuples also are sets. For example, consider an ordered triple: Ð+ß,ß-ÑœÐÐ+ß,Ñß-ÑœÖÖÐ+ß,Ñ ß ÖÐ+ß,Ñß- œ Ö Ö ÖÖ+ ß Ö+ß, ß Ö ÖÖ+ ß Ö+ß, ß - In the same way, we can see that complicated one if 8 is large). Ð+ ß ÞÞÞß + ß + Ñ " 8 8 " is also just a set (a very Of course, mathematics would get very cumbersome if we had to think of ordered 8-tuples this way every time they come up. The point is that once we've convinced ourselves that an ordered pair (or 8-tuple) can be defined as a set, then we're satisfied that the idea of ordered 8-tuple rests on a precise definition in set theory and that the formally defined ordered 8-tuple acts just the way an informal ordered 8-tuple acts. Then we can relax and use ordered 8-tuples in the same way we always have. We are now ready to describe another way in which sets can be combined to form new sets. Definition If E and F are sets, then the product E F œ ÖÐ+ß,Ñ À + E and, F Þ More generally, if E" ß ÞÞÞß E8 are sets, then E " ÞÞÞ E8 œ ÖÐ+ " ß ÞÞÞß + 8Ñ À + 3 E3 for each 3 œ "ß ÞÞÞß 8 Note: If all the E3's are equal to the same set E, then we might write E instead of E E ÞÞÞ E Þ So, for example, we might write E instead of E EÞ " 8 8 Examples The BC -plane is the product set œ is the set of all ordered 8-tuples of real numbers called 8- dimensional Euclidean space. Ö! œ ÖÐ!ß,Ñ À, Þ In fact, Ö! is the C-axis in. If E œ Ö"ß and F œ Ö%ß &ß ', then E F œ ÖÐ"ß %Ñß Ð"ß &Ñß Ð"ß 'Ñß Ðß %Ñß Ðß &Ñß Ðß 'Ñ Notice that Ð"ß %Ñ E F but Ð"ß %Ñ Â F E. Usually E FÁF E. Can you invent and prove a simple theorem that states E FœF E...?
4 Abstract nonsense a crazy example (there are lots of these in the text) just to be sure you understand the idea: If E œ Ö ÖB ß gß $ and F œ ÖCß Ög, then E F œ Ö ÐÖB ß CÑß ÐÖB ß Ög Ñß Ðgß CÑß Ðgß Ög Ñß Ð$ß CÑß Ð$ß Ög Ñ There are a number of results in the textbook ( see Theorem 3.1 ) about how products of sets interact with unions and intersections. For example: E ÐF GÑ œ ÐE FÑ ÐE GÑÞ Proof ( As usual, to prove that two sets are equal we show that they have the same members. In this case, it's easy to write an proof, rather than showing separately, in two arguments, that the left side is a subset of the right side and vice-versa.) ÐBß CÑ E ÐF GÑ B Eand C F G B Eand C Fand C G ÐBß CÑ E F and ÐBß CÑ E G ÐBß CÑ ÐE FÑ ÐE GÑÞ ñ We can also defined products of more than two sets (inductively). For example E F G can be defined as a product of two sets ÐE FÑ G If a product of 8 sets has been defined, then we can define the product of 8 " sets by the formula E ÞÞÞ E E œðe ÞÞÞ E Ñ E Þ " 8 8 " " 8 8 " Notice that E F G œðe FÑ G œöðð+ß,ñß-ñà Ð+ß,Ñ E Fß - G œöð+ß,ß-ñà Eß, Fß- G ( because of how we defined an ordered triple Ð+ß,ß-Ñ.
5 Note: An Inconsistency with the Textbook On p. 132, the text states that E F G, ÐE FÑ G and E ÐF GÑare three derent sets. 1) If you just assume (as the text does) that you can write down ordered triples Ð+ß,ß-Ñ without defining them, then you can take the next step and write E F GœÖÐ+ß,ß-ÑÀ+ Eß, Fß- G (bottom of p. 132) Of course, you can also write ÐE FÑ G being itself a product of two sets): (a product of TWO sets, the first one ÐE FÑ G œ Ö Ð Ð+ß,Ñß -Ñ À Ð+ß,Ñ E Fß - G From the text's point of view, these are derent sets: the first one has ordered triples as members, the second one has as members ordered pairs (each with another ordered pair as its first object). 2) In class and in these notes, I took the trouble to actually DEFINE what an ordered triple is: we had already defined ordered pairs, so I defined order tiples in terms of ordered pairs: my definition was Ð+ß,ß-ÑœÐÐ+ß,Ñß-Ñ Under that definition, ÐE FÑ G œ Ö Ð Ð+ß,Ñß -Ñ À Ð+ß,Ñ E Fß - G œöð+ß,ß-ñà+ Eß, Fß - G œe F G But, with my definition, it is true that ÐE FÑ Gand E ÐF GÑare derent sets: members of the first set look like ÐÐ+ß,Ñß-ÑœÐ+ß,ß-Ñbut members of the second set look like Ð Ð+ß Ð,ß -ÑÑÞ 3) It turns out that in most mathematics where set products are actually USED, it doesn't matter whether you WORK WITH E F Gor ÐE FÑ G or E ÐF GÑ. Whenever you're doing elsewhere in math that requires use of sets, you can usually use either one of the three equally well as a tool. Therefore (as the textbook says at top of p. 133) the literal derence between these "threefold-products" can usually be safely ignored. But if you're doing elementary set theory per se, a derence DOES exist.
6 Relations To return to our original question: relations are things like Ÿß ß ß. If everything we in mathematics is a set, we should be able to give a formal definition like: a relation V is (... some set...), and the key to such a precise definition is to focus on the idea that a relation relates a pair of objects. Consider the following subset of À V œ ÖÐBß CÑ À b- ß B - œ C Þ Notice that the familiar relation +Ÿ, in could be defined as follows: +Ÿ, Ð+ß,Ñ VÞ For example " Ÿ %, and Ð"ß %Ñ V because % œ " Ð È$Ñ; "Ÿ", and (1,1) V because "œ"! œ"!. Note: the point of having - (rather then -) in the definition of V is that i) We don't want ÐBß CÑ in V if, say, B Ð Ñ œ CÞ ii) But we can't write the definition like VœÖÐBßCÑ À b- where B -œc and!ÿ- because: if we're trying to give a definition for +Ÿ, as meaning Ð+ß,Ñ Vß then it would be circular to use Ÿ as part of the definition of the set V. Using - in the definition of V lets us sneak in the idea we want via algebra, without referring to ŸÞ Since we are working here with numbers, we can even draw a picture of the set V : it consists of the set of all points in the BC-plane that sit on or above the graph of C œ B ( why?). A (partial) picture of the set V looks like:
7 Then +Ÿ, means the same thing as the ordered pair Ð+ß,Ñis a member of the set V(the shaded region. That is, the set V contains all the information about which numbers are and are not related by Ÿ. If we want to define Ÿ, formally and officially, as a set, then the choice is obvious: we can define Ÿ œ V œ ÖÐBß CÑ À b- ß B - œ C Then the relation Ÿ is the set VÞ Of course, we can the agree, just as notation, to write +Ÿ, to mean the same thing as Ð+ß,Ñ Ÿ. The example gives the idea we can use, in general, to formally define a relation as a set. Definition A relation V between E and F is a subset of E F. If Ð+ß,Ñ V, we also write +V,, meaning that + stands in the relation V to,. In the definition, the sets E and F can be derent. But sometimes E œ F (as in the example above, where EœFœ Ñ: in that case we also say that Vis a relation on the set E. According to the definition, we call Ÿ œ V (in the preceding example) a relation between and a relation between real numbers. In this case (and in general, when EœF in the definition) people sometimes say Vis a relation in E: but if you say this, remember that the set V is a subset of E EÞ
Example Let VœÖÐBßCÑ À b-, CœB - ( see the example above). Explain why
Definition If V is a relation from E to F, then a) the domain of V œ dom ÐVÑ œ Ö+ E À b, F such that Ð+ß,Ñ V b) the range of V œ ran( VÑ œ Ö, F À b+ E such that Ð+ß,Ñ V " c) the inverse relation of V œ
More informationDefinition Suppose M is a collection (set) of sets. M is called inductive if
Definition Suppose M is a collection (set) of sets. M is called inductive if a) g M, and b) if B Mß then B MÞ Then we ask: are there any inductive sets? Informally, it certainly looks like there are. For
More information: œ Ö: =? À =ß> real numbers. œ the previous plane with each point translated by : Ðfor example,! is translated to :)
â SpanÖ?ß@ œ Ö =? > @ À =ß> real numbers : SpanÖ?ß@ œ Ö: =? > @ À =ß> real numbers œ the previous plane with each point translated by : Ðfor example, is translated to :) á In general: Adding a vector :
More informationIntroduction to Diagonalization
Introduction to Diagonalization For a square matrix E, a process called diagonalization can sometimes give us more insight into how the transformation B ÈE B works. The insight has a strong geometric flavor,
More informationsolve EB œ,, we can row reduce the augmented matrix
Motivation To PY Decomposition: Factoring E œ P Y solve EB œ,, we can row reduce the augmented matrix Ò + + ÞÞÞ+ ÞÞÞ + l, Ó µ ÞÞÞ µ Ò- - ÞÞÞ- ÞÞÞ-. Ó " # 3 8 " # 3 8 we get to Ò-" -# ÞÞÞ -3 ÞÞÞ-8Ó in an
More informationHere are proofs for some of the results about diagonalization that were presented without proof in class.
Suppose E is an 8 8 matrix. In what follows, terms like eigenvectors, eigenvalues, and eigenspaces all refer to the matrix E. Here are proofs for some of the results about diagonalization that were presented
More informationMath 1AA3/1ZB3 Sample Test 3, Version #1
Math 1AA3/1ZB3 Sample Test 3, Version 1 Name: (Last Name) (First Name) Student Number: Tutorial Number: This test consists of 16 multiple choice questions worth 1 mark each (no part marks), and 1 question
More informationInner Product Spaces
Inner Product Spaces In 8 X, we defined an inner product? @? @?@ ÞÞÞ? 8@ 8. Another notation sometimes used is? @? ß@. The inner product in 8 has several important properties ( see Theorem, p. 33) that
More informationsolve EB œ,, we can row reduce the augmented matrix
PY Decomposition: Factoring E œ P Y Motivation To solve EB œ,, we can row reduce the augmented matrix Ò + + ÞÞÞ+ ÞÞÞ + l, Ó µ ÞÞÞ µ Ò- - ÞÞÞ- ÞÞÞ-. Ó " # 3 8 " # 3 8 When we get to Ò-" -# ÞÞÞ -3 ÞÞÞ-8Ó
More informationDr. H. Joseph Straight SUNY Fredonia Smokin' Joe's Catalog of Groups: Direct Products and Semi-direct Products
Dr. H. Joseph Straight SUNY Fredonia Smokin' Joe's Catalog of Groups: Direct Products and Semi-direct Products One of the fundamental problems in group theory is to catalog all the groups of some given
More informationÆ Å not every column in E is a pivot column (so EB œ! has at least one free variable) Æ Å E has linearly dependent columns
ßÞÞÞß @ is linearly independent if B" @" B# @# ÞÞÞ B: @: œ! has only the trivial solution EB œ! has only the trivial solution Ðwhere E œ Ò@ @ ÞÞÞ@ ÓÑ every column in E is a pivot column E has linearly
More informationNotes on the Unique Extension Theorem. Recall that we were interested in defining a general measure of a size of a set on Ò!ß "Ó.
1. More on measures: Notes on the Unique Extension Theorem Recall that we were interested in defining a general measure of a size of a set on Ò!ß "Ó. Defined this measure T. Defined TÐ ( +ß, ) Ñ œ, +Þ
More informationEquivalent Sets. It is intuitively clear that for finite sets E F iff Eand Fhave the same number of elementsþ
Equivalent Sets Definition Let Eß F be sets. We say that E is equivalent to F iff there exists a bijection 0ÀEÄF. If Eis equivalent to F, we write E FÐor E For EµFor something similar: the notation varies
More informationProofs Involving Quantifiers. Proof Let B be an arbitrary member Proof Somehow show that there is a value
Proofs Involving Quantifiers For a given universe Y : Theorem ÐaBÑ T ÐBÑ Theorem ÐbBÑ T ÐBÑ Proof Let B be an arbitrary member Proof Somehow show that there is a value of Y. Call it B œ +, say Þ ÐYou can
More informationMath 300 Introduction to Mathematical Reasoning Autumn 2017 Inverse Functions
Math 300 Introduction to Mathematical Reasoning Autumn 2017 Inverse Functions Please read this pdf in place of Section 6.5 in the text. The text uses the term inverse of a function and the notation f 1
More informationInner Product Spaces. Another notation sometimes used is X.?
Inner Product Spaces X In 8 we have an inner product? @? @?@ ÞÞÞ? 8@ 8Þ Another notation sometimes used is X? ß@? @? @? @ ÞÞÞ? @ 8 8 The inner product in?@ ß in 8 has several essential properties ( see
More informationchapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS
chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader
More informationIntroducing Proof 1. hsn.uk.net. Contents
Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction
More informationStudy skills for mathematicians
PART I Study skills for mathematicians CHAPTER 1 Sets and functions Everything starts somewhere, although many physicists disagree. Terry Pratchett, Hogfather, 1996 To think like a mathematician requires
More informationchapter 5 INTRODUCTION TO MATRIX ALGEBRA GOALS 5.1 Basic Definitions
chapter 5 INTRODUCTION TO MATRIX ALGEBRA GOALS The purpose of this chapter is to introduce you to matrix algebra, which has many applications. You are already familiar with several algebras: elementary
More informationThe Rational Numbers
The Rational Numbers Fields The system of integers that e formally defined is an improvement algebraically on the hole number system = (e can subtract in ) But still has some serious deficiencies: for
More informationMITOCW ocw f99-lec30_300k
MITOCW ocw-18.06-f99-lec30_300k OK, this is the lecture on linear transformations. Actually, linear algebra courses used to begin with this lecture, so you could say I'm beginning this course again by
More informationCM10196 Topic 2: Sets, Predicates, Boolean algebras
CM10196 Topic 2: Sets, Predicates, oolean algebras Guy McCusker 1W2.1 Sets Most of the things mathematicians talk about are built out of sets. The idea of a set is a simple one: a set is just a collection
More information3 The language of proof
3 The language of proof After working through this section, you should be able to: (a) understand what is asserted by various types of mathematical statements, in particular implications and equivalences;
More information2.1 Definition. Let n be a positive integer. An n-dimensional vector is an ordered list of n real numbers.
2 VECTORS, POINTS, and LINEAR ALGEBRA. At first glance, vectors seem to be very simple. It is easy enough to draw vector arrows, and the operations (vector addition, dot product, etc.) are also easy to
More informationProbability basics. Probability and Measure Theory. Probability = mathematical analysis
MA 751 Probability basics Probability and Measure Theory 1. Basics of probability 2 aspects of probability: Probability = mathematical analysis Probability = common sense Probability basics A set-up of
More information35 Chapter CHAPTER 4: Mathematical Proof
35 Chapter 4 35 CHAPTER 4: Mathematical Proof Faith is different from proof; the one is human, the other is a gift of God. Justus ex fide vivit. It is this faith that God Himself puts into the heart. 21
More information5 + 9(10) + 3(100) + 0(1000) + 2(10000) =
Chapter 5 Analyzing Algorithms So far we have been proving statements about databases, mathematics and arithmetic, or sequences of numbers. Though these types of statements are common in computer science,
More informationSums of Squares (FNS 195-S) Fall 2014
Sums of Squares (FNS 195-S) Fall 014 Record of What We Did Drew Armstrong Vectors When we tried to apply Cartesian coordinates in 3 dimensions we ran into some difficulty tryiing to describe lines and
More informationÐ"Ñ + Ð"Ñ, Ð"Ñ +, +, + +, +,,
Handout #11 Confounding: Complete factorial experiments in incomplete blocks Blocking is one of the important principles in experimental design. In this handout we address the issue of designing complete
More informationMITOCW ocw f99-lec09_300k
MITOCW ocw-18.06-f99-lec09_300k OK, this is linear algebra lecture nine. And this is a key lecture, this is where we get these ideas of linear independence, when a bunch of vectors are independent -- or
More informationPART I. Multiple choice. 1. Find the slope of the line shown here. 2. Find the slope of the line with equation $ÐB CÑœ(B &.
Math 1301 - College Algebra Final Exam Review Sheet Version X This review, while fairly comprehensive, should not be the only material used to study for the final exam. It should not be considered a preview
More information1.1. MEASURES AND INTEGRALS
CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined
More informationInstructor (Brad Osgood)
TheFourierTransformAndItsApplications-Lecture26 Instructor (Brad Osgood): Relax, but no, no, no, the TV is on. It's time to hit the road. Time to rock and roll. We're going to now turn to our last topic
More informationCountability. 1 Motivation. 2 Counting
Countability 1 Motivation In topology as well as other areas of mathematics, we deal with a lot of infinite sets. However, as we will gradually discover, some infinite sets are bigger than others. Countably
More informationB œ c " " ã B œ c 8 8. such that substituting these values for the B 3 's will make all the equations true
System of Linear Equations variables Ð unknowns Ñ B" ß B# ß ÞÞÞ ß B8 Æ Æ Æ + B + B ÞÞÞ + B œ, "" " "# # "8 8 " + B + B ÞÞÞ + B œ, #" " ## # #8 8 # ã + B + B ÞÞÞ + B œ, 3" " 3# # 38 8 3 ã + 7" B" + 7# B#
More informationChapter 1 Review of Equations and Inequalities
Chapter 1 Review of Equations and Inequalities Part I Review of Basic Equations Recall that an equation is an expression with an equal sign in the middle. Also recall that, if a question asks you to solve
More informationNote: Please use the actual date you accessed this material in your citation.
MIT OpenCourseWare http://ocw.mit.edu 18.06 Linear Algebra, Spring 2005 Please use the following citation format: Gilbert Strang, 18.06 Linear Algebra, Spring 2005. (Massachusetts Institute of Technology:
More informationThe Integers. Peter J. Kahn
Math 3040: Spring 2009 The Integers Peter J. Kahn Contents 1. The Basic Construction 1 2. Adding integers 6 3. Ordering integers 16 4. Multiplying integers 18 Before we begin the mathematics of this section,
More informationCellular Automaton Growth on # : Theorems, Examples, and Problems
Cellular Automaton Growth on : Theorems, Examples, and Problems (Excerpt from Advances in Applied Mathematics) Exactly 1 Solidification We will study the evolution starting from a single occupied cell
More informationDirect Proof MAT231. Fall Transition to Higher Mathematics. MAT231 (Transition to Higher Math) Direct Proof Fall / 24
Direct Proof MAT231 Transition to Higher Mathematics Fall 2014 MAT231 (Transition to Higher Math) Direct Proof Fall 2014 1 / 24 Outline 1 Overview of Proof 2 Theorems 3 Definitions 4 Direct Proof 5 Using
More informationMain topics for the First Midterm Exam
Main topics for the First Midterm Exam The final will cover Sections.-.0, 2.-2.5, and 4.. This is roughly the material from first three homeworks and three quizzes, in addition to the lecture on Monday,
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationSlope Fields: Graphing Solutions Without the Solutions
8 Slope Fields: Graphing Solutions Without the Solutions Up to now, our efforts have been directed mainly towards finding formulas or equations describing solutions to given differential equations. Then,
More informationALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers
ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some
More informationEQ: How do I convert between standard form and scientific notation?
EQ: How do I convert between standard form and scientific notation? HW: Practice Sheet Bellwork: Simplify each expression 1. (5x 3 ) 4 2. 5(x 3 ) 4 3. 5(x 3 ) 4 20x 8 Simplify and leave in standard form
More informationThe Cycloid. and the Kinematic Circumference. by Miles Mathis
return to updates The Cycloid and the Kinematic Circumference First published August 31, 2016 by Miles Mathis Those of you who have read my papers on π=4 will know I have explained that problem using many
More informationSince the logs have the same base, I can set the arguments equal and solve: x 2 30 = x x 2 x 30 = 0
LOGARITHMIC EQUATIONS (LOGS) 1 Type 1: The first type of logarithmic equation has two logs, each having the same base, set equal to each other, and you solve by setting the insides (the "arguments") equal
More informatione) D œ < f) D œ < b) A parametric equation for the line passing through Ð %, &,) ) and (#,(, %Ñ.
Page 1 Calculus III : Bonus Problems: Set 1 Grade /42 Name Due at Exam 1 6/29/2018 1. (2 points) Give the equations for the following geometrical objects : a) A sphere of radius & centered at the point
More information2.2 Graphs of Functions
2.2 Graphs of Functions Introduction DEFINITION domain of f, D(f) Associated with every function is a set called the domain of the function. This set influences what the graph of the function looks like.
More informationExample: A Markov Process
Example: A Markov Process Divide the greater metro region into three parts: city such as St. Louis), suburbs to include such areas as Clayton, University City, Richmond Heights, Maplewood, Kirkwood,...)
More informationAbstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound
Abstract & Applied Linear Algebra (Chapters 1-2) James A. Bernhard University of Puget Sound Copyright 2018 by James A. Bernhard Contents 1 Vector spaces 3 1.1 Definitions and basic properties.................
More informationBasic counting techniques. Periklis A. Papakonstantinou Rutgers Business School
Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED
More informationCalifornia State Science Fair
California State Science Fair How to Estimate the Experimental Uncertainty in Your Science Fair Project Part 2 -- The Gaussian Distribution: What the Heck is it Good For Anyway? Edward Ruth drruth6617@aol.com
More informationIntroduction to Algebra: The First Week
Introduction to Algebra: The First Week Background: According to the thermostat on the wall, the temperature in the classroom right now is 72 degrees Fahrenheit. I want to write to my friend in Europe,
More informationThe Hahn-Banach and Radon-Nikodym Theorems
The Hahn-Banach and Radon-Nikodym Theorems 1. Signed measures Definition 1. Given a set Hand a 5-field of sets Y, we define a set function. À Y Ä to be a signed measure if it has all the properties of
More information5.4 Continuity: Preliminary Notions
5.4. CONTINUITY: PRELIMINARY NOTIONS 181 5.4 Continuity: Preliminary Notions 5.4.1 Definitions The American Heritage Dictionary of the English Language defines continuity as an uninterrupted succession,
More informationMITOCW MITRES18_006F10_26_0501_300k-mp4
MITOCW MITRES18_006F10_26_0501_300k-mp4 ANNOUNCER: The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational
More informationUMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS
UMASS AMHERST MATH 300 SP 05, F. HAJIR HOMEWORK 8: (EQUIVALENCE) RELATIONS AND PARTITIONS 1. Relations Recall the concept of a function f from a source set X to a target set Y. It is a rule for mapping
More informationPOL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005
POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1
More informationProduct Measures and Fubini's Theorem
Product Measures and Fubini's Theorem 1. Product Measures Recall: Borel sets U in are generated by open sets. They are also generated by rectangles VœN " á N hich are products of intervals NÞ 3 Let V be
More informationVector Spaces. Chapter 1
Chapter 1 Vector Spaces Linear algebra is the study of linear maps on finite-dimensional vector spaces. Eventually we will learn what all these terms mean. In this chapter we will define vector spaces
More information2. FUNCTIONS AND ALGEBRA
2. FUNCTIONS AND ALGEBRA You might think of this chapter as an icebreaker. Functions are the primary participants in the game of calculus, so before we play the game we ought to get to know a few functions.
More informationThe Integers. Math 3040: Spring Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers Multiplying integers 12
Math 3040: Spring 2011 The Integers Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers 11 4. Multiplying integers 12 Before we begin the mathematics of this section, it is worth
More informationAfter taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.
Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric
More informationMITOCW ocw f99-lec01_300k
MITOCW ocw-18.06-f99-lec01_300k Hi. This is the first lecture in MIT's course 18.06, linear algebra, and I'm Gilbert Strang. The text for the course is this book, Introduction to Linear Algebra. And the
More informationDigital Communications: An Overview of Fundamentals
IMPERIAL COLLEGE of SCIENCE, TECHNOLOGY and MEDICINE, DEPARTMENT of ELECTRICAL and ELECTRONIC ENGINEERING. COMPACT LECTURE NOTES on COMMUNICATION THEORY. Prof Athanassios Manikas, Spring 2001 Digital Communications:
More informationFlat Geometry. Spherical Geometry
The Geometry of the Universe What does the constant k in the Friedmann equation really mean? In this lecture we will follow Chapter 4 of Liddle to show that it has close connections with the geometry of
More informationMITOCW MITRES18_006F10_26_0602_300k-mp4
MITOCW MITRES18_006F10_26_0602_300k-mp4 FEMALE VOICE: The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational
More informationAssignment #9 Star Colors & the B-V Index
Name Class Date Assignment #9 Star Colors & the B-V Index Millions of stars are scattered across the sky. Astronomers want to study these stars as carefully as possible. This means measuring everything
More informationExample: 2x y + 3z = 1 5y 6z = 0 x + 4z = 7. Definition: Elementary Row Operations. Example: Type I swap rows 1 and 3
Linear Algebra Row Reduced Echelon Form Techniques for solving systems of linear equations lie at the heart of linear algebra. In high school we learn to solve systems with or variables using elimination
More informationMITOCW MITRES_18-007_Part5_lec3_300k.mp4
MITOCW MITRES_18-007_Part5_lec3_300k.mp4 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high-quality educational resources
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationAxiomatic set theory. Chapter Why axiomatic set theory?
Chapter 1 Axiomatic set theory 1.1 Why axiomatic set theory? Essentially all mathematical theories deal with sets in one way or another. In most cases, however, the use of set theory is limited to its
More informationPlease bring the task to your first physics lesson and hand it to the teacher.
Pre-enrolment task for 2014 entry Physics Why do I need to complete a pre-enrolment task? This bridging pack serves a number of purposes. It gives you practice in some of the important skills you will
More informationHandout 1: Mathematical Background
Handout 1: Mathematical Background Boaz Barak September 18, 2007 This is a brief review of some mathematical tools, especially probability theory that we will use. This material is mostly from discrete
More informationTHE SIMPLE PROOF OF GOLDBACH'S CONJECTURE. by Miles Mathis
THE SIMPLE PROOF OF GOLDBACH'S CONJECTURE by Miles Mathis miles@mileswmathis.com Abstract Here I solve Goldbach's Conjecture by the simplest method possible. I do this by first calculating probabilites
More informationConstruction of a general measure structure
Chapter 4 Construction of a general measure structure We turn to the development of general measure theory. The ingredients are a set describing the universe of points, a class of measurable subsets along
More informationDr. Nestler - Math 2 - Ch 3: Polynomial and Rational Functions
Dr. Nestler - Math 2 - Ch 3: Polynomial and Rational Functions 3.1 - Polynomial Functions We have studied linear functions and quadratic functions Defn. A monomial or power function is a function of the
More informationMath 131 Exam 4 (Final Exam) F04M
Math 3 Exam 4 (Final Exam) F04M3.4. Name ID Number The exam consists of 8 multiple choice questions (5 points each) and 0 true/false questions ( point each), for a total of 00 points. Mark the correct
More informationSets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary
An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...
More informationBusiness Statistics. Lecture 9: Simple Regression
Business Statistics Lecture 9: Simple Regression 1 On to Model Building! Up to now, class was about descriptive and inferential statistics Numerical and graphical summaries of data Confidence intervals
More informationNOTES (1) FOR MATH 375, FALL 2012
NOTES 1) FOR MATH 375, FALL 2012 1 Vector Spaces 11 Axioms Linear algebra grows out of the problem of solving simultaneous systems of linear equations such as 3x + 2y = 5, 111) x 3y = 9, or 2x + 3y z =
More informationSpanning, linear dependence, dimension
Spanning, linear dependence, dimension In the crudest possible measure of these things, the real line R and the plane R have the same size (and so does 3-space, R 3 ) That is, there is a function between
More informationMATH 22 FUNCTIONS: ORDER OF GROWTH. Lecture O: 10/21/2003. The old order changeth, yielding place to new. Tennyson, Idylls of the King
MATH 22 Lecture O: 10/21/2003 FUNCTIONS: ORDER OF GROWTH The old order changeth, yielding place to new. Tennyson, Idylls of the King Men are but children of a larger growth. Dryden, All for Love, Act 4,
More informationSequences and Series
Sequences and Series What do you think of when you read the title of our next unit? In case your answers are leading us off track, let's review the following IB problems. 1 November 2013 HL 2 3 November
More informationSection 2.7 Solving Linear Inequalities
Section.7 Solving Linear Inequalities Objectives In this section, you will learn to: To successfully complete this section, you need to understand: Add and multiply an inequality. Solving equations (.1,.,
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
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
More informationMATH10040: Chapter 0 Mathematics, Logic and Reasoning
MATH10040: Chapter 0 Mathematics, Logic and Reasoning 1. What is Mathematics? There is no definitive answer to this question. 1 Indeed, the answer given by a 21st-century mathematician would differ greatly
More informationProblem Solving. Kurt Bryan. Here s an amusing little problem I came across one day last summer.
Introduction Problem Solving Kurt Bryan Here s an amusing little problem I came across one day last summer. Problem: Find three distinct positive integers whose reciprocals add up to one. Prove that the
More informationfrom Euclid to Einstein
WorkBook 2. Space from Euclid to Einstein Roy McWeeny Professore Emerito di Chimica Teorica, Università di Pisa, Pisa (Italy) A Pari New Learning Publication Book 2 in the Series WorkBooks in Science (Last
More informationModule 3 Study Guide. GCF Method: Notice that a polynomial like 2x 2 8 xy+9 y 2 can't be factored by this method.
Module 3 Study Guide The second module covers the following sections of the textbook: 5.4-5.8 and 6.1-6.5. Most people would consider this the hardest module of the semester. Really, it boils down to your
More informationHonors 213 / Math 300. Second Hour Exam. Name
Honors 213 / Math 300 Second Hour Exam Name Monday, March 6, 2006 95 points (will be adjusted to 100 pts in the gradebook) Page 1 I. Some definitions (5 points each). Give formal definitions of the following:
More information11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic
11 Division Mod n, Linear Integer Equations, Random Numbers, The Fundamental Theorem of Arithmetic Bezout s Lemma Let's look at the values of 4x + 6y when x and y are integers. If x is -6 and y is 4 we
More informationLast Time. x + 3y = 6 x + 2y = 1. x + 3y = 6 y = 1. 2x + 4y = 8 x 2y = 1. x + 3y = 6 2x y = 7. Lecture 2
January 9 Last Time 1. Last time we ended with saying that the following four systems are equivalent in the sense that we can move from one system to the other by a special move we discussed. (a) (b) (c)
More informationMath 309 Notes and Homework for Days 4-6
Math 309 Notes and Homework for Days 4-6 Day 4 Read Section 1.2 and the notes below. The following is the main definition of the course. Definition. A vector space is a set V (whose elements are called
More information8. TRANSFORMING TOOL #1 (the Addition Property of Equality)
8 TRANSFORMING TOOL #1 (the Addition Property of Equality) sentences that look different, but always have the same truth values What can you DO to a sentence that will make it LOOK different, but not change
More information1.4 Mathematical Equivalence
1.4 Mathematical Equivalence Introduction a motivating example sentences that always have the same truth values can be used interchangeably the implied domain of a sentence In this section, the idea of
More information3: Linear Systems. Examples. [1.] Solve. The first equation is in blue; the second is in red. Here's the graph: The solution is ( 0.8,3.4 ).
3: Linear Systems 3-1: Graphing Systems of Equations So far, you've dealt with a single equation at a time or, in the case of absolute value, one after the other. Now it's time to move to multiple equations
More informationTheorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)
Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +
More information