2. Section 2.1 VARIABLES
A variable is sometimes thought of as a mathematical βJohn Doeβ because you
can use it as a placeholder when you wan 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 is a
given set, and so you donβt want to be restricted to considering only a
particular, concrete value for it.
3. Example:
1. Is there a number with the following property: doubling it
and adding 3 gives the same result as squaring it?
2. Are there numbers with the property that the sum of their
squares equals the square of their sum?
3. Given any real number, its square is nonegative.
4. Kinds of Mathematical Statements
UNIVERSAL STATEMENT β says that a certain property is true for all elements in a set. (Ex. All
positive numbers are greater than 0)
A CONDITIONAL STATEMENT β says that if one thing is true then some other things also has to be
true. (Ex. It 378 is divisible by 18, then 378 is also 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. (Ex. There is a prime number that is even.)
5. Universal statements contain some variations of the words βfor allβ and
conditional statements contain versions of the words βif β thenβ.
A Universal conditional statement is a statement that is both Universal and
Conditional.
Ex: For all animals x, if x is a dog, then x is a mammal.
If x is a dog, then x is a mammal.
Or: If an animal is a dog, then the animal is a mammal.
For all dogs x, x is mammal
Or: All dogs are mammals.
UNIVERSAL CONDITIONAL STATEMENT
6. Examples: Rewriting a Universal
Conditional Statement
Fill in the blanks to rewrite the following statement:
For all real numbers π₯, if π₯ is a nonzero then π₯2is positive.
a. If a real number is nonzero, then its square is ____.
b. For all nonzero real numbers π₯,____________.
c. If π₯ _______, then ________.
d. The square of any nonzero real number is ______.
e. All nonzero real numbers have _____.
7. TRY:
For all real numbers π₯, if π₯ is greater than 2, then π₯2
is greater than 4.
a. If a real number is greater than 2, then its square is ____.
b. For all real numbers greater than 2, _____.
c. If π₯ _____, then ______.
d. The square of any real number greater than 2 is ____.
e. All real numbers greater than 2 have ____.
8. UNIVERSAL EXISTENTIAL STATEMENTS
A universal existential statement is a statement that is universal because its first
part says that a certain property is true for all objects of a given type, and is
existential because its second part asserts the existence of something.
Ex.
Every real number has an additive inverse.
All real numbers have additive inverses.
Or: For all real numbers r, there is an additive inverse for r.
Or: For all real number r, there is a real number s such that s is an additive
inverse for r.
9. Example: Rewriting a Universal Existential
Statement
Every pot has a lid
a. All pots ____.
b. For all pots P, there is _____.
c. For all pots P, there is a lid L such that ______.
10. TRY:
All bottles have cap
a. Every bottle _____.
b. For all bottles B, there ______
c. For all bottles B, there is a cap C such that _____
11. Existential Universal Statements
An existential universal statement is a statement that is existential because its first part asserts that a
certain object exists and is universal because its second part says that he object satisfies a certain
property for all things of a certain kind.
For ex.
There is a positive integer that is less than or equal to every positive integer.
Some positive integer is less than or equal to every positive integer.
Or: There is a positive integer π that is less than or equal to every positive integer.
Or: There is a positive integer π such that every positive integer is greater or equal to m.
Or: There is a positive integer π with the property that for all positive integers π, π β€ ππ.
12. Example: Rewriting an Existential
Universal Statement
There is a person in my class who is at least as old as every person in my
class.
a. Some _____ is at least as old as ____
b. There is a person p in my class such that p is ____.
c. There is a person p in my class with the property that for every
person q in my class, p is ____.
13. TRY:
There is a bird in this flock that is at least as heavy as every
bird in the flock.
a. Some _____ is at least as heavy as ____.
b. There is a bird b in this flock such that b is _____.
c. There is a bird b in this flock with the property that for
every bird b in the flock, b is ____.
14. Exercise 2.1 Page 29
Fill in the blanks using the variable or variables to rewrite the given statement.
1. Is there a real number whose square is -1?
a. Is there a real number x, such that ___ ?
b. Does there exist ___ such that π₯2
= β1?
2. Is there an integer that has a remainder 2 when it is divided by 5 and a remainder
of 3 when it is divided by 6?
a. Is an integer n such that n has ______?
b. Does there exist ___ such that if n is divided by 5 the remainder is 2 and if ____?
15. Fill in the blanks to rewrite the give statement.
8. For all objects J, if J is a square than J has four
sides.
a. All squares _____.
b. Every square ____.
c. If an object is a square, then it _____.
d. If J ___, then J ____
e. For all squares J, ____.
Exercise 2.1 Page 29
.
9. For all objects J, if J is a square than J has
four sides.
a. All squares _____.
b. Every square ____.
c. If an object is a square, then it _____.
d. If J ___, then J ____
e. For all squares J, ____.
16. 2.1 The Language of Sets
Use of the word set as a formal
mathematical term was
introduced in 1879 by George
Cantor (1845-1918)
17. A similar notation can also
describe an infinite set as when
we write, {1,2,3,β¦}, refers to the
set of all positive integers.
The Language of Sets
Notation: If S is a set, the notation π₯ β π, means
than x is an element of S. The notation π₯ β π
means x is not an element of S.
A set may be specified using the set-roster
notation by writing all of its elements between
braces.
For example, {1,2,3} denote as the set whose
elements are 1,2 and 3.
A variation of the notation is sometimes used to
describe a very large set as when we
write,{1,2,3,β¦,100}, refers to a set of integers from
1 to 100.
18. Examples
Using the Set-Roster Notation
1. Let π΄ = 1,2,3 , π΅ = 2,3,1 ,
πΆ = 1 , 1, 2, 3, 3, 3, . What are the elements of
A, B and C? How are A, B, and C related?
1. A, B and C have exactly the same three
elements: 1, 2, and 3. Therefore A,B and C are
simply different ways to represent the same set.
2. Is {0} = 0?
2. They are not equal. Because {0} is a
set with one element, namely 0, whereas
0 is just zero.
3. How many elements are there in set {1, {1} }? 3. It has 2 elements: 1 and the set whose only
element is 1.
4. For each nonnegative integer n,
πππ‘ ππ = π, βπ . Find π1, π2, πππ π0.
4. π1 = 1, β1 , π2 = 2. β2 ,
π0 = 0, 0 = {0}
19. Check your progress
Using the Set-Roster Notation
3. For each positive integer x, πππ‘ π΄π₯ = π₯, π₯2 . Find π΄1, π΄2, πππ π΄3.
2. How many elements are there in set {a, {a,b}, {a} }?
1. Let π = π, π, π , π = π, π, π , π = π, π, π, π, π, π, π, .
What are the elements of X, Y and Z? How are X, Y, and Z related?
20. Certain Set of Numbers that are
frequently used
Symbol Set
β Set of all real numbers
β€ Set of all integers
β Set of all rational numbers, or quotients
of integers
21. Set- Builder Notation
Let S denote a set and let π π₯ be a property that elements
of S may or may not satisfy. We may define a new set to be
πππ πππ ππ πππ πππππππ π ππ πΊ ππππ ππππ π· π ππ ππππ.
We denote this set as follows:
{π₯ β π π π₯ }
22. Examples
Describe the following sets
a. {π₯ β π | β 2 < π₯ < 5}
b. {π₯ β π| β 2 < π₯ < 5}
c. {π₯ β π+| β 2 < π₯ < 5}
Answers
a. An open interval of real numbers
(strictly) between -2 and 5.It is
pictured using the number line.
b. {β1, 0, 1, 2, 3, 4}
c. {1, 2, 3, 4}
23. Check your progress
Describe the following sets
a. {π₯ β π | β 5 < π₯ < 1}
b. {π₯ β π| β 1 β€ π₯ < 6}
c. {π₯ β πβ| β 4 β€ π₯ β€ 0}
24. Subsets
If A and B are sets, then A is called a subset of B, written π΄ β π΅, if
and only if, every element of A is also an element of B.
π΄ β π΅ means that For all elements x, if π₯ β π΄, π‘βππ π₯ β π΅
π΄ β π΅ means that For all elements x, if π₯ β π΄, π‘βππ π₯ β π΅
π΄ ππ π πππ π ππππππ ππ π΅ means that there is at least one element of A
that is not an element of B.
π΄ ππ ππππππ ππππππ ππ π΅ if, and only if, every element of B is in B but
there is at least one element of B that is not in A.
27. Examples
Distinction between β , β
a. 2 β {1,2,3}
b. 2 β 1, 2,3
c. 2 β 1, 2, 3
d. 2 β 1, 2, 3
e. 2 β 1 , 2
f. 2 β { 1 , 2 }
28. Cartesian Product
Given sets A and B, the Cartesian product of A and B, denoted AxB
read βA cross Bβ, is the set of all ordered pairs (a, b), where a is in A
and b is in B.
Symbolically: AxB ={ (a,b)/ a ο A and b ο B }
29. Examples
Cartesian Products
Let π΄ = 1, 2, 3 , πππ π΅ = π’, π£ , ππππ
a. AxB
b. BxA
c. BxB
d. How many elements are in AxB, BxA,
and BxB?
Answers
30. Check your progress
Cartesian Products:
Let Y = π, π, π , πππ π = 1,2 , ππππ
a. Y x Z
b. Z x Y
c. Y x Y
d. How many elements are in Y x Z, Z x Y, and Y
x Y?
31. Language of Relations
and Functions
SECTION2.3
PAGE 39 (MATHEMATICS IN THE MODERN WORLD)
https://www.youtube.com/watch?v=G
Eg1qY91bc4
https://www.youtube.com/watch?v=U
z0MtFlLD-k
32. Relation
Let A and B be sets. A relation R from A to B is a subset of AxB.
Given an ordered pair (x , y) in AxB, x is related to y by R, written
xRy, if , and only if, (x,y) is in R. The set A is called the domain of R
and the set B is called the co-domain.
The notation for relation R may be written as follows:
xRy means that (x,y) ο R.
The notation xRy means that x is not related to y by R.
xRy means that (x,y) ο R.
33. Example:
Let A = {1,2} and B={1,2,3} and define a relation R
from A to B as follows.
Given any (x,y) ο AxB.
(x,y) ο R means that
πβπ
π
is an integer.
a. Find the elements of R.
b. What are the domain and co-domain of R?
c. Construct the arrow diagram of R.
34. Solutions
List the elements of A x B = { (1,1) , (1,2), (1,3), (2,1), (2,2), (2,3) }
Examine each ordered pair in AxB to see whether its elements satisfy
the defining condition for R.
(1,1) ; x+y2 =1+12 = 22 =1, 1 is an integer, (1,1) οR or 1R1.
π. π = { 1,1 , 1,3 , 2,2 }
36. Check your Progress
Let π = 0,1,2 πππ π = {0,1} and define a relation R from Y to Z as follows:
Given any π₯, π¦ β π Γ π,
π₯, π¦ β π πππππ π‘βππ‘
π₯ + π¦
2
ππ ππ πππ‘ππππ.
a. Find the elements of R
b. What are the domain and co-domain of R?
c. Construct an arrow diagram of R.
37. Functions
A function F from set A to set B is a relation with domain A
and co-domain B that satisfies the following two properties.
1.For every element x in A, there is an element y in B such that
(x, y) ο F.
2.For all elements x in A and y and z in B,
if (x , y ) οF and (x, z) ο F . then y = z.
38. **A relation F from A to B is a function if, and only if:
1. Every element of A is the first element of an ordered pair of F.
2. No two distinct ordered pairs in F have the same first element.
Notation: If A and B are sets and F is a function from A to
B, then given any element x in A, the unique element in B is
related to x by F is denoted F(x), which is read βF of x.β
Functions
39. Example:
1. Given relation R = { (1,2) , (2,2) , (3, 3 ) }
2. Given relation T = { ( 1, 2) , ( 1,3) , (2, 4) }
T is not a function(one to many)
R is a function (many to one)
3. Let π΄ = 2,4,6 πππ π΅ = {1,3,5}
40. Example:
3. Let π΄ = 2,4,6 πππ π΅ = 1,3,5 . Which of the relations R, S, and
T defined below are functions from A to B?
a. π = 2,5 , 4,1 , 4,3 , 6,5
b. For all π₯, π¦ β π΄ Γ π΅, π₯, π¦ β π πππππ π‘βππ‘ π¦ = π₯ + 1
c. T defined by the arrow diagram
2
4
6
1
3
5
41. Answers:
1. R is not a function because it does not satisfy property (2). The
ordered pairs (4,1) and (4,3) have the same first element.
2. S is not a function because it does not satisfy property (1).
3. T is a function.
42. Check your Progress
Let π = π, π, π πππ π¦ = {1,2,3,4} . Which of the relations A, B, C
defined below are functions from X to Y
a. π΄ = π, 1 , π, 2 , π, 3
b. For all π₯, π¦ β π Γ π, π₯, π¦ β π΅ πππππ π₯ ππ π π£ππ€ππ πππ π¦ ππ ππ£ππ
c. C is defined by the arrow diagram
a
b
c
1
2
3
4