Académique Documents
Professionnel Documents
Culture Documents
512.81 sl*6s
Selby
Sets, relations, functions
AT
SAMUEL SELBY
of the Department
LEONARD SWEET
York
Toronto
San Francisco
lone/on
Relations
Sets
1963
Copyright
Reserved.
This
in
Printed
book, or
any
Functions:
form
An
by McGraw-Hill,
in
United
the
parts thereof,
without
may
permission
Introduction
he
States
All
of
Rights
America.
not be reproduced
of
the
publishers.
II
Preface
The advent
The
material stressed.
of the authors is to present those ideas and symbolisms from set theory
that will aid the reader to develop a keener insight into what has already
been experienced in his mathematical background. The material is
PREFACE
is
medium
this
is
and
set
not abandoned
in
is lost
is
an
initial
presenta-
The
and 150
is
graphical representations.
illustrations, and if it is a basic concept it is
integrated into a newer idea. As a consequence, the authors
may
be
challenging.
The expository material as presented may be used either for its own
sake as a text in a senior high school class or as a supplementary reference
book to other current standard high school or first-year college texts in
mathematics.
It
is
both the elementary and secondary levels where local school systems
are conducting in-service programs or National Science Foundation
of
institute programs.
Illinois,
to
whom
Mary
grateful for the reading of the first and second versions of the manuscript
and for the constructive suggestions which were incorporated into the
final
form.
Thanks
all
mathematics
critically
read the
this material
users.
Samuel Selby
Leonard Sweet
Contents
Preface
List
of Symbols
Finite
1.4
1.5
1.6
1.7
1.8
1.9
4
Mapping and one-to-one correspondence
1.10
1.11
1.12
and
infinite sets
Description of sets
Equal
13
Number
of subsets of a set
21
Operations on sets
24
Venn diagrams
The number of elements
Laws of operations
34
2.1
18
in set
30
37
11
sets
Projects
1
Introduction
Concept of a set
1.1
JL.
ix
Introduction
Concept of a
41
41
number system
41
42
Natural numbers
44
Integers
Rational numbers
46
47
Real numbers and the coordinate line
of
50
the
real-number
system
Properties
55
Factorization of polynomials
Solution sets
57
61
Concept of order
63
Order properties solution of inequalities
66
Concept of absolute value
Interval notation
69
Ordered
Pairs,
3.1
Introduction
3.2
Ordered pairs
73
vii
73
CONTENTS
viii
Cartesian-product set
79
Relations
74
3.4
3.5
Equivalence relations
82
3.3
3.6
Complementary
relations
3.7
Inverse relations
85
89
Projects
Relations
and
96
Functions
96
4.1
Introduction
4.2
Subsets of
4.3
Inequalities in
4.4
4.5
4.6
4.7
4.8
R X R
e
96
two variables
102
108
120
Concept of a function
121
and
language of functions
Phraseology
The operations of union and intersection as applied to
130
tions and functions
4.10
4.11
Composition of functions
4.9
143
145
Mathematical Structures
5.1
Introduction
154
154
5.2
5.3
5.4
5.5
Proof of theorems
5.6
Simplifying, factoring,
5.7
The
5.8
5.10
Boolean algebra
169
The binary Boolean algebra of the two elements
The "algebra of circuits"
175
5.11
The "algebra
5.12
Concept
Concept
Concept
5.9
5.13
5.14
Projects
rela-
138
Sum,
Projects
84
168
of propositions"
group
182
193
204
an ordered field
209
Answers
to Selected
Index
227
159
161
of a field
of
of sets"
by use
duality principle
of a
154
Problems
213
206
and
173
List
E
^z?
JV
-P
.Z"
<7
or
< >
'&
5^
CZ
CZ!
ZD
<
>
<
>
U
>
is
is
of
Symbols
equivalent to
equal to
defining condition involving
is not equal to
is included in
is not included in
is a proper subset of
is not a proper subset of
is a superset of
is
is
is less than
is greater than
is less than or equal to
is greater than or equal
to
implies
universe
null set or
number
empty set
of elements in set A.
union
intersection
of set A.
-4'
/\
complement
and
_V
or (inclusive)
or (exclusive)
Tx
a;
LIST
|a|
[a,b]
{x
& Re\
G Re
{x
]a,&]
{#
]a,b[
{x <E
(x^y]
R~~ l
f
/1
f(x)
/
/
absolute value of a
[a,&[
A XB
PW
R
R
x
a;
x
x
<
<
<
b}
6}
b}
<b]
\a
<
<
<
<
relation
R*
g
9
fg
a
a
a
D*
sum
function
difference function
product function
quotient function
composite function
operation
is congruent modulo
is congruent to
* in a * b
===
OF SYMBOLS
1
The Vocabulary and Symbolism of Sets
1.1
INTRODUCTION
which
clarifies
and
the
unifies
provides a language and a symbolism which make it possible to synand the new, to examine familiar concepts, and to view new
and exciting milestones along the mathematical highway. To reach the
first milestone on the highway, a familiarity must be established with the
thesize the old
1.2
CONCEPT OF A
1.
SET
is
collection, class,
"
A"
or
(t
is
an element
The symbol
of
A."
The
relation."
& B"
"b
(belongs to) or
"membership
FUNCTIONS
RELATIONS
SETS
G A.
be collections of sets. For example, the set of baseball
also
Sets may
in
the
National
teams
League is a set of teams where each team is an
each
element.
player is an element of the set constituting the
Further,
team on which he plays.
that each x
The
"
"mem-
bership relation."
Example
e
G, but r
Example
&
G
3.
excluding zero).
G =
B =
the set of
G.
If
2.
then January
Example
If
1.
B, but
Let
May
Hence
letter
,7,
B.
N and
11
G AT,
but f
$?
and
(=
if it
f>
and
-5
7;
but |
6.
Let F = the set of rational numbers (a number is rational
can be expressed as the quotient p/q, of two integers p and q where
Example
if it
fE^,
F, and log 17
F.
Then
sin 12
and
Table
-5
or
F;
but
&
THE
N=
Example
If
7.
Example
2x
T =
Let
8.
Hence 6
5.
ET
Exercise
e.
2.
Let
6.
c.
d.
Q denote
"
connectives
Which
letter
of the following
figures.
Example.
a.
d.
g.
3.
a.
6.
c.
d.
e.
triangle
Answer:
A rhombus
A hexagon h
A trapezoid z
r
6.
A square D
e.
A.
rectangle
c. A
/.A
&Q
parallelogram p
pentagon
h. A. circle c
Which of the following sets have elements that are also sets?
The set of football teams in the National Football League
The Cleveland Symphony Orchestra
The American Federation of Labor
The United Nations
The set of all counties in the United States
4. Give two examples of sets that are well-defined; two examples of sets that are
not well-defined.
FINITE
1.3
The
AND
INFINITE SETS
numbers 1, 2, 3,
represent an infinite set of
n,
a
Given
natural number, then by adding 1 another natural
formed. Consequently, this infinite set has no last element.
natural
elements.
number
is
b.
c.
d.
e.
If
The
The
The
The
The
infinite sets.
Examples
odd primes
by 3
numbers greater than zero
set of points on a line
set
As a consequence,
is finite, then it has a last element.
&
set of integers divisible
set of rational
it is
SETS
FUNCTIONS
RELATIONS
Examples
The
The
The
months
set of
of the
elements)
d.
The
The
set of
of generalization,
and
number
very large
even primes (one element)
empty
contains a finite
it
is
set containing
is
of elements)
or
Examples
}.
of
The
between
6.
set of
positive
integers
and 4
The
set of students in
your
The
the equation 9# 2
FIG -
d.
The
==
Exercise 2
1.
of finite sets;
2.
of
empty
two examples of
infinite sets.
sets.
a.
6.
c.
d.
e.
/.
g.
h.
i.
j.
1.4
The set
The set
The set
The set
The set
The set
The set
The set
The set
The set
of letters in the
of
odd
When
the set
is
word Massachusetts
positive integers
xz
5x
of quadrilaterals
of primes greater
than 2 and
less
*
5
than 75
two
circles in
a plane
DESCRIPTION OF SETS
THE VOCABULARY
AND SYMBOLISM OF
SETS
and
{3,5,2},
it
important,
In
{5,3,2},
must be
fact,
{5,2,3},
{2,5,3},
ways
and
{2,3,5}.
If
the order
Enumeration
by three dots.
A =
of
A =
A =
{x} is
{x\ is
x.
an infinite
is
so specified.
{1,2,3,4,
is
.}
numbers. The same notation is used for a finite set, but the
element is always included. The set of natural numbers less than
= {1,2,3,
1000 can be written as
,998,999}.
Some sets cannot be described by an enumeration. A second method,
which defines a property, is often more compact and convenient. For
example, the set of rational numbers between 5 and 6 and the set of even
integers between 1 and 25 are described by
of natural
last
F =
{all
{all
A =
2.
{2,3,5,7}
A =
{x
is
a one-digit prime}
is a one-digit prime."
elements x such that
":" is read "such that" or "for which." The
notation then takes the general form {x some defining condition about x}
or {x C x \, where C x represents the defining condition involving x.
This
is
The
all
A =
Here
is
the set of
elements x of
{x
all
is
GP
#
|
is
a one-digit number}
primes and
such that
re
is
is
now
a one-digit number."
all
those
FUNCTIONS
RELATIONS
SETS
stant.
values or an infinite
number
of values,
The
is
is
an even integer.
an integer such that ;r + 7 = 8.
a natural number such that # 2
an integer greater than 5.
is
a natural
is
is
number
divisible
by
3x
0.
3.
Let
3.
and
i.e.,
the collection
irrational
Example
tion set
G =
{x
v/3
a;
= -4 and
The
Re-
solu-
be described as
G Re and x
x
|
4.
G may
= -4}
G =
or
{x
x*
e
\
+4
0}
This leads to what is called the empty set, since the square of every real
is a nonnegative (zero or
The empty
positive) real number.
.number
set is written
in
of
or
Thus G =
}.
or
}.
It is
important to keep
mind that and do not have the same meaning from the standpoint
sets.
Thus
is not equal to
or {0}, since {0} is a set with one
Example
{x
set of
5.
If
x
|
G =
Re
then
\x <E
= -4},
x2
complex numbers.
Example
{x
6.
xi or
x* or
qr
rp
xn
= {xi^Xz,
,x n
AND SYMBOLISM OF
THE VOCABULARY
SETS
Exercise 3
1.
Describe the following sets in mathematical notation. Indicate whether the set
If the set is finite, indicate the number of elements that belong
finite or infinite.
is
to
the set
.
b.
c.
d.
e.
/.
g.
h.
1.
The
The
The
The
The
The
The
The
The
5x + 4 =
x + 1 ~
than 40
d.
e.
H
T
F
{z
E =
g.
h.
{x
L =
i.
j,
less
=s
is
is
is
a positive
x
|
x
z
is
a rational
is
less
having
:c
{x
by
13}
than 30 days
integer)
1000}
x}
number and x
2x
-f-
and 2x
a positive integer
=32-1-5}
5}
is
and denominators
5; all fractions
Q = {x x
S = {x\x
m. T = {x x
|
3.
odd
an integer and x
is
1.
of the year
k.
n.
month
than 8}
less
is
{a
than
x
|
{x
{x
/.
is
{x
set
{x
is
{x
{x
x
|
Example.
B =
{2,4,6,8}
c.
D =
4.
Given: TV
/
or
D =
=
=
{natural
{all
b.
C =
{2}
d.
E =
{200,201,
numbers)
integers)
= - where
(all real
p,q
E / and
\
J
numbers}
Answer: {x
{1,2,3,4,5}
a.
is
less
,299}
than 6}
Select
FUNCTIONS
RELATIONS
SETS
if
ment.
5.
Indicate the weakness of using the tabulation method for describing a set
by a defining property. Discuss this with respect to the set A described in
specified
A =
where I +
[p
is
G /+
7+
and p
n2
-f
3(n
l)(n
{1,4,9,
l)(n
3)1
.)
(Hint- The second form could suggest the elements 16, 25,
the listing 1, 4, 9,
.)
.
If
A =
6.
2)(2n
...
as those following
the following refer to figures in plane geometry, determine the truth or falsity
of each statement.
a.
If
b.
If
c.
If
d.
If
x
#
x
x
e.
If
/.
If
g.
If
h.
If
x
2
z
i.
If
re
1.5
squares), then x
{rectangles}.
{quadrilaterals}, then x
{polygons}.
G
G
G
G
G
G
G
{equiangular triangles).
"into" a set
mapping
THE VOCABULARY
AND SYMBOLISM OF
SETS
->
>
c,
&,
c,
3 -> 6
>&, 3
&
B is not an image
Example
4, 5
Here each
>
mapping
6,
a'
A =
If
3.
>
8, 9
of
onto
B =
and
{1,3,5,7,9}
>
be reversed; that
is,
defines a one-to-one
1,
mapping
>
of
3,
>
5,
onto A.
then
{2,4,6,8,10},
10 defines a one-to-one
>
2,
of ^1 onto #.
mapping
A. The mapping may
7,
10
>
9,
which then
in
one-to-one correspondence.
are said to be in 1-1 correspondence when there
sets A and
a 1-1 mapping of A onto B. It is important to note that a 1-1
mapping of A onto B always ensures a 1-1 mapping of B onto A. If
two sets A and B can be placed in 1-1 correspondence, they are said to be
The equivalence of A and B is symbolized A -> B.
equivalent.
Two
exists
Example
may
The
4.
sets {b,c}
be
<-> e
\/
or
Example
The
5.
but no element
Example
bers {1,2,3,
Tom may
equivalent.
We
The mappings
of
6.
.
have
1
25
26
num.
,z}.
a
7.
When
to establish
For example,
Example
FUNCTIONS
RELATIONS
SETS
10
26
Xp
\p
\p
all
is
as students.
Example
8.
The
Example
with the
9.
The
set of points in
Examples 8 and
numbers
through 7 are
Examples
2.6).
while those of
finite sets,
Two
finite sets
N
set
{1,2,3,4,5,6,7,
of even natural
.
From
,n,
E=
numbers
{2,4,6,8,10,12,
setting
scheme
this
12345
*
arrangement
10
it is
to
,2n,
.}
by
the following
n
$
2n
number may be
matched with an even natural number. In this case, there are just as
many even natural numbers as there are natural numbers, and N <- E.
Exercise 4
1.
Show
2.
elements.
3.
numbers.
set of natural
numbers
is
THE VOCABULARY
4.
Show
AND SYMBOLISM OF
SETS
11
that the set of points on the line segment AB can ho placed in 1-1 correset of points in the base EF of the triangle EFG (Fig. 2).
Show
EF
is
FIG. 2
and
all
is 4.
Example:
class
{1,2}
(3,4,5)
16,7,8,9)
'
=0
a. What is the cardinal number of the equivalence class of sets having the sample
element {a}; the sample element IDjA, Ol; the sample element (1,2,3,4,5,6,7).
b. List two other sets that belong to the same equivalence class as {a,j8,7j; as
1.6
EQUAL SETS
When two
sets
and
element of A is
of A.
If either of the two sets contains a distinct element not contained
Note that if two
in the other, then A ^ B (set A does not equal set B).
sets A and B are equal, then it follows that they are equivalent, but the
converse does not hold.
Example
A =
then
The
B.
since 1
2)(x
3)
0}
>
but
It should be
r.
Example
Example
(x
e
|
l)(z
2)(x
3)
0}
is
set
may be
since
by
For example,
E=
is
E=
or
3.
{x
noted
and
{2,4}, then
that sets specified
ing properties.
E=
[x\ x
{z
(?.
definition, 1 is
[x
K=
If
2.
K^
may
{1,2,4}
Hence
{1,2,3}
then
l)(x
look different.
or
(x-
Re
{a:
set
A = B or A ^ B. Thus if C =
=
D. But if D = {1,2,4} and T =
C
then
{2,1,4},
by a
and the
{1,2,3}
on whether
bearing
D =
A
B =
If
1.
FUNCTIONS
RELATIONS
SETS
{x
if
E =
/ and x
is
then
between
and 4}
the remainder
I and z(z
{x\x
{0,1,2,3},
l)(x
2) (a?
3)
0}
Exercise 5
1.
A = B or A ^ B
pairs of sets:
a.
b.
A =
B -
{x
{x
x
a?
2
28
(a;
Answer: A = 5, since J.
and 2 is less than 6}
=
{1,2,3,4} and B
A = {x\ x E. N
B - {x x E JV and (x + I) is less than 40}
A = {x x G -AT and x is odd)
= {x
G N and z is odd}
A = {x x E A and x is less than 20 and greater than 8}
B - {a
G N and z - 7s + 12 = 0}
=
A
is a square with an area greater than nine
{x
square units}
B s* {x x is a square with a perimeter greater than 12 linear units
A = {x
G N and x is an even prime number
B - {x\x E/andz 2 - 2z *= 0}
A = x x is a positive even integer divisible by 5}
B = {$ x is an even prime number greater than 3}
A = {$ x is a quadrilateral}
{1,2,3,4}.
c.
"
d.
a?
a;
/.
g.
re
h.
{$
x
|
is
a polygon
AND SYMBOLISM OF
THE VOCABULARY
1.7
SETS
13
AND UNIVERSE
SUBSET
an element
all letters
of
A.
B =
also
is
an element
of
A =
{1,2,3,4,5,6},
If
also
it
{2,3} or
B C
In general,
B.
a subset of
itself.
every
In addition, the agreement is made that the null set
is a subset of
must be an element
every set; that is, for any set A, each member of
Since
of A.
contains no elements, the requirement for inclusion is not
contradicted and we may write
A
is
The
and
is
not an element of B]
B CA
i.e.,
and
A."
and the
77
{a,6,c,d}, or
The
set of
even
is
A =
and
B =
then {3,4,5}
important ideas with the following examples.
{3,4,5}
{3,4},
We
{3,4}.
illustrate these
1.
Consider the following situation. You are requested to
In examining your wallet you
a contribution to the United Fund.
Example
make
bill,
a $5
bill,
and a $10
bill.
Using only
these three elements and representing the possible contributions that you
can make in terms of a tabulation method, we have {!}, {5}, {10},
The set {1,5} indicates a
}.
{1,5}, {1,10}, {5,10}, {1,5,10}, and {
contribution of $6, or $1
contribution
U=
is
{1,5,10}.
made.
Each
indicates that
no
Since {1,5,10}
is
we
FUNCTIONS
RELATIONS
SETS
14
or
Similarly we agree that
agree that {1,5,10} is also a subset of U.
formed
We
have
new
of
sets
from
or
[7.
a
subset
U
a
is
also
{
complete set U, each new set containing elements that are drawn from
The sets {!}, {5}, {10}, {1,5}, {5,10}, and {1,10} are proper subsets
U.
are improper subsets.
of {1,5,10}, while the subsets {1,5,10} and
Example
2.
A =
B
{triangles}
C =
D =
E=
G=
{equiangular triangles}
H=
K=
{isosceles triangles}
{equilateral triangles}
{scalene triangles}
{right triangles}
Using the symbols C, =, D, and <, indicate the relation between each
of the following pairs of sets.
Pair
Relation
A,B
B,C
C,D
A,E
B,G
A D B or B C A
C C B or B D C
C = D
E C A. or A D E
B <t G or G <t B
a.
b.
c.
d.
e.
/TjlHjG
g.
/"Y
TTT
/-/
/> _._
JC/jVjr
J2j
(J_
(jr
Vn
xv.,
3.
Cr
T7I
*\
Cr
D Or
^ D
JLJ
jt>
s~p
ir
zl
IT*
_J
JL\.
=
=
I
P=
F=
R =
/~Y
Or (/_ Ju
G, since
n Or
^* n
r~
XV
jDj/V.
Example
PIT
fl
Z.
<
TT r~
xv
(JT
Or
or
{re
{x
{#
{#
{#
a:
is
a natural number}
is
an integer}
is
a prime}
a rational number}
a real number}
is
is
<, determine
all
NCI
NCF
N CRe
ICF
1C Re
I(tP
PCN
PCI
P CF
FCRe
F(N
F(tl
R.<LN
R (tl
R (tP
e
e
AND SYMBOLISM OF
THE VOCABULARY
When
a decision
made
is
to
SETS
15
be chosen; that
is,
any
the complete set or largest set for the particular discussion, and all other
It should be noted that
sets in that same discussion will be subsets of U.
the universal set
is
choice of a universe
is
be the set of
may
all
dependent upon
it may be the set
The
discussions or problems.
considered.
the problem being
of rational
numbers; in another
variable
variable or, in other words, "the set of possible replacements for the
variable."
Once the universe is designated, any condition in the form of
from the
According to the
2 =
14}.
defining-property method, this set is written {re (E I 3x
=
2
14 is called the "set selector/' since it
The equation 3x
selects
empty
tion.
is
==
14
is
4}
The
set is the
set; that is, no elements from the universe satisfy the stated condiSometimes the solution set is identical with the universe; that is,
all
U =
and
2x
3 =
are given the condition # 2
the set of integers, we may describe the solution set as either
{x
method.
z2
Example
4.
2x
we
if
Hence,
The
0} or {3,-!}.
universe
U=
{x
x
\
set
A "may
be written
RELATIONS
SETS
16
A =
A C
{x
[7.
GN
In
<
fact,
A =
5} or
FUNCTIONS
Thus
{1,2,3,4}.
U~
a proper subset of
is
a subset of
is
or
N.
Example 5. For each of the following sets the universe of the variable,
the set selector, and the solution set are:
a.
{x
GN
is
an even number}
Universe:
Set of natural
Set selector:
Solution set:
6.
C.
z2
{xGI\
(2,4,6,8,
= x(x-
numbers
Set of integers or {x
x2
Solution set:
{.
Re
Solution set:
x (x
x
\
G 1}
1)
,-4,-3,-2,- 1,0,1,2,3,
.}
or {x
x
\
/},
X}
numbers} or {#
{real
Set selector
Universe:
G N}
.}
Set selector:
x
\
1)}
Universe:
\X
or {x
an even number
is
or
x
|
J?
x
0,
since
no elements
the equation
d.
{xN\x*-
3x
Universe:
0}
{natural numbers} or {x
Set selector:
x2
Solution set:
3x
G N}
$N
tion,
e.
{*
alphabet
Universe:
Set selector:
Solution set:
/.
{x
GN
x
|
Universe
g.
<
{a,e,i,o,w}
7}
{
natural numbers }
<
Solution set:
{1,2,3,4,5,6}
{x
x*
Solution set:
{x
x*
|
<
integers }
x2
{0}
0}
Universe:
{#
Set selector:
z2
Solution set:
0}
{
Set selector:
8 =
set
of letters
Set selector:
Universe
h.
where
*is a vowel}
x
|
E /}
<
or
of the
English
AND SYMBOLISM OF
THE VOCABULARY
SETS
17
Exercise 6
1. Describe each of the following sets by the tabulation method or the definingproperty method. Suggest another set that contains the given set as a subset.
a. The days of the week beginning with the letter T
b.
c.
d.
e.
all
<
__2
true
2.
C or
<2,
write
pairs:
A
B =
C =
E=
F
sets,
R =
N=
e
F
e
in Section 1.7.)
Which
set of natural
set of
Rf
I
SB
set of irrational
=
=
set of integers
numbers
a.
{dogs}
c.
{people}
e.
(teachers)
g.
{animals}
{men}
numbers
numbers
rational numbers
negative real numbers
set of real
I+
i.
Example 2
set of
R" =
k.
{parallelograms}
in Section 1.7.
Example 3
4.
{rectangles}
{squares}
{trapezoids}
{quadrilaterals}
{robins}
d.
{hexagons}
{men}
/.
{tea drinkers)
(dogs)
h.
{women}
{teachers}
{tigers} (
6.
{women}
{animals}
;.
{cats}
(girls)
{women}
{birds}
{polygons}
{people}
{people}
(females)
{teachers}
g.
2x = -3
2s - 1 - 2s + 1
2x z - 5x - 3 =
i.
(3x
c.
.
6.
of
Re
a.
If
l)(z
2)(x
/.
\/3)
h.
is
- 1) = 62
3(2z
x z - 7x - 8 =
2 x =
3cc
is
the set of
that
3s
d.
is
2x
+4
2(x
+ 2)
c.
d.
x*
g.
x*
;. x
m. x
ft.
k.
be the set of
is
2)
6(s 4- 2)
z2 <
5 x = x
w.
Let
7.
e.
=
=x
FUNCTIONS
RELATIONS
SETS
18
(a:
letters
-3)
-2)
/.
3)
Find
{a,p,y}.
/ (2s 2
i. x
>
2
subsets of A.
all possible
(Recall
8.
(z
If
a.
6.
c.
d.
E
E
E
E
CB
e.
}.
given
set of A.
C.
NUMBER OF SUBSETS OF A
1.8
G
E
C
finite set.
The
The notation
it is
SET
for the
power
1 illustrates
set
set of
XC
= [X
2A
the
is
2A
and thus
A}
number
of subsets that
can be
n(A)
2, or 3 elements.
A denotes the number
containing 0, 1,
symbolizes the number of elements in set A and n(2
of subsets in the power set 2 A
Table
If A
{a,6,c,(i}, then it is possible to form subsets containing one
element, two elements, three elements, four elements, and no elements.
Thus, we have the following subsets: 0, {a}, {6}, {c}, {d}, {a,fr}, {a,c},
we have listed
all
{c,d},
{a,fc,c},
a total of 16 subsets
full set of
Since
2A
{0 {o} {6},{c},{dJ
J
>
>
[c,d},
{a,b,c},{a,b,d},{a,c,d},{b,c,d},{a,b,c,d}}.
AND SYMBOLISM OF
THE VOCABULARY
2 A since {a,b,c}
2A
It is correct to state that { {a,6,c} }
A
A but a 2 {a,&}
a
A, but {a,b}
SETS
19
is
Example
1.
Example
an element
b.
of
{2}
{2}
{2}
a.
of
{{2}
Two
3.
{2}
{2}
is
{2}
is
of the subsets
This statement
}.
is
is
}.
c.
{2}
of {{2},2}.
d.
2.
and
}.
{2},2}.
{{2},2J.
This statement
is
element of {2} is 2.
This statement is correct, since {2}
This statement
number 2
as
is
correct,
is
an element
since both
{2}
and
an element.
When a
to
Table 2
a, b, c.
RELATIONSFUNCTIONS
SETS
20
three elements.
all
are
ways
of
to a set
n
decisions and, as a result, 2 subsets of A.
sets including the null set and A itself.
The power
set 2^
has 2 n sub-
Exercise 7
1.
Write
all
the subsets for each of the given sets. Indicate which of these subsets
What is the total number of subsets in each case?
(Ruth, Elsie!
6.
{a b,c}
c.
{A}
d.
{a,0,fa}
e.
{1 > 2 {1},{1,2},{2}}
/.
{0,{0},0,{0}}
Q= ~-
is
3-2-1, and by
definition 0!
8-7-6-5-4-3-2-1.
1.
The symbol
five distinct
o l&l
For n
/w\
n!
~
__
-r)!
r!(n
These ideas may be used to determine either the total number of subsets which can
be formed from n distinct elements or the number of subsets containing exactly k
elements where k = 0, 1, 2,
n.
If we are given the set {1,2,3,4}, then the
.
total
number
where
of subsets
zero elements,
is
represents the
number
represents the
U+
(*\
(l )
+
4.
(*\
(2)
etc.
U+U
)~M<)~'"(
number
~^"
be formed containing
of subsets that
can be
Hence
4!
i^\ -
/*\
4.
represents the
(*\
number
(n)
4!
4!
4!
4I
+ IT?! _L
+ 2!^! _L
+
+
8111
4101
,
5U!
-1+4 + 6 + 44-1
=
Thus the
iS
(o)
elusion
total
+
is
(l)
number
(2)
of subsets that
"
the expansion of (1
'
+ x) n
"
(n)
,
16
with x
(1
+
1,
1)n
"
2 "'
distinct elements
(The basis
f r this C
n"
THE VOCABULARY
Determine the
total
AND SYMBOLISM OF
SETS
21
table:
4.
a.
d.
3.
m.
6.
{3!
00
{5}
((3,4), {5,6}
If
c.
{{5}}
/.
5E
2E
k.
{5,6,7}
{{1,3},{2}}
{5,6,7}
true or false:
{3,4}
i.
{3,4}
Z.
{2,{8}}
{3,4,5}
(2,8,9}
{3,5,{5)}
5a. If
b.
is
{3}
h.
e.
(3,4)
elements?
Is the set
set 2 V of V.
For
all sets S, T,
or false.
T, S,
and
a.
If
b.
If
T
T
c.
If
d.
If
e.
If
1.9
V in
statement
6,
etc.)
T =
V.
C V and T C S,
VC
S.
T E
V.
8 and 8 =
T r C
V, then
then
S and S E V, then
V and T E S, then
5 and 5 E 7, then
OPERATIONS
ON
V E
!T
5.
V.
SETS
and
The
are
intersection of
RELATIONS
SETS
22
or the
"meet
of
Thus
and B."
r\
B =
The symbol
"x
G A"
or
B" and
1 :
The union
"A
G 5}
GBj
and x
A A
{1,3,5}
b.
sG
{x|
{1,2,3,4}
of
A and
n
H
{2,3,5}
{2,4,6}
=
=
{2,3}
5, written
or to B, or to both
7
cup B/ or the "sum of
belong to
and "2
Example
6A
[x
"
FUNCTIONS
AU B
The symbol "V" meaning "or" is used to bring together two conditions
and implies that each element of the set must satisfy the first condition
or the second condition, or both.
"Or" is used here in the sense of
and
is
referred
to
as
the
"inclusive
"and/or"
or"; that is, x is a member of
either A or B and can be an element of both A and B.
If the "exclusive
or," written as "7," is used, then x is a member of either A or B but not
both A and B.
Example
2:
{1,2,3,4}
{3,4,5}
U
U
{3,4}
{2,3,5}
{2,4,6}
U{
=
=
=
{1,2,3,4,5}
{2,3,4,5,6}
{3,4}
U0
{3,4}
c. The complement of
A, written A', represents the set of
elements of U, the universe, which are not elements of A. Thus
A'
Example
3.
Suppose
{x\
{x\
U=
n C, B n C,
(A n C),
17'.
{2,4,6,8,10,12,14},
find A', B', <?',
(AO', (B
H C)',
and
A =
{2,6}; then
{4,8,10}
U =
Example 4. If
and C = {6,10,14},
the
xE U&iidxg A}
x G U A x& A}
{2,4,6,8,10}
A'
all
(A
A =
U B,
U B)',
{2,4,6},
B =
{2,6,10,14},
U C, B U C, A H B,
H
(A
B) U
(A U C) H
A
(7,
AND SYMBOLISM OF
THE VOCABULARY
SETS
23
Answer:
=
-
A'
C'
{8,10,12,14}
B'
{2,4,8,12}
A
B
\J
B =
\J
C =
(7=
UC
= {2,4,6,10,14}
AC\B = {2,6}
B r\C = {6,10,14} = C
(A U BY = {8,12}
A
(A
(A
U'
AA
{4,8,12}
{2,4,6,10,14}
= B
{2,6,10,14}
{6}
= A = {2,4,6}
H CY = {2,4,8,12}
(A')'
(B
Exercise 8
If
1.
{John, Henry,
\J B.
H B and A
2a.
set of
B =
is
set of integers.
is it
3.
U -
Let
O B, A
A' C\
4.
B',
Let
A -
{1,2,3,4,5,6,7,81,
\J B,
n
U
and (A'
',
A'
n B,
{1,2,3,4},
A' \J B,
\J
is
the
Why
')'
{natural numbers}
A =
B =
C -
= {1,3,5,
= {2,4,6,
.}
.
.}
{5,10,15,
.(
Find:
a.
A C\B
b.
d.
B'
e.
A VB
A C\C
g.
U C\A
h.
A C\B C\0
c.
A'
f.
B C\C
Let
a.
6.
c.
it.
d.
7.
6.
a.
6.
c.
is
Describe
conditions:
Sets
3,
ADF,
is
the set of
is
L
T
FUNCTIONS
RELATIONS
SETS
G
FIG. 3
is
Make
expressions
a.
d.
g.
C\
set described
LC\M
and
is the
and shade in the
circle,
C\ T' r\
b.
LC\T
c.
TnW
M' C\ T
T C\L
f.
T'
e.
h.
T,
C\L
W, H, U, and
':
AD and CG
bordered by line
CG on
on the right
1.10
VENN DIAGRAMS
FIG.
THE VOCABULARY
AND SYMBOLISM OF
SETS
rectangle
is
drawn
circles
If
we
and
circles are
FIG. 5
>S 4
"x
Ar\B'.
})
Note that regions Si through 84 represent disjoint sets; that is, the
The set A C\ B'
intersection of any two regions yields the null set.
includes those elements in A that are not in B.
Here our concern is not
with
set
all
C\
or
C\
can be designated as
A -B
1
.
Thus, the
B, where
xx
Example
then
A' =
1.
A - B =
If
U =
{1,2,3,4,5,6},
SETSRELATIONS
26
Example
2.
Sets,
FUNCTIONS
such as (A C\ BY,
VJ B,
AC\B,
A',
and
B',
Venn
FIG. 6
a.
(A r\ B)
common
is
the set of
Thus
all
and
as
b.
is
VJ
elements.
is
the set of
it
is
elements in either
all
c.
at the
C\
/S 2 ,
same time.
Thus
it
or B, or both.
and S 3
and
Thus
it
B (common elements)
Thus
it is
repre-
Thus
it is
repre-
Set
Regions
e. B' constitutes the set of all elements not in B.
sented by the union of regions Si and S 4
.
THE
Example
3.
If in
Example 2
it
S $ and S 4
is
SETS
27
of Fig. 6 take
If .4
is
in
0,
and the regions Si and S 2 are identical with the one region $ 2
The
=
would
be
that
A
C\
B
A.
S
interpretation
Correspondingly, Si, 2j and
S% are identical with the two regions S 2 and S 3 and represent the set
A B. In summary, if we imply that every element of A is also an
element of B, then A C B, A
B' - 0, A = A C\ B, and
B.
.
B^JLU
A C
entirely
"T~\
(b]
FIG.
Shading or cross-hatching
is
(c)
under
To
following example will clarify this procedure.
illustrate the set A C\ B we use vertical shading within circle
for the
discussion.
The
type of shading
is
necessary, as
shown
FIG. 8
in Fig. 9.
RELATIONS
SETS
28
FUNCTIONS
FIG. 9
Example
intersection
elements.
as
shown
4.
Two
mutually exclusive"
if
their
the null set 0; that is, the two sets have no common
= 0,
Thus, if A and B are disjoint sets relative to U, A Pi B
is
in Fig. 10.
FIG. 10
Example 5.
Venn diagram
If
A, B, and
(Fig. 11)
may
We
andC:
Description
=
=
=
=
=
=
=
=
(A r\ B) r\
(A r\ B) r\
(A r\
(A r\
B
B
c
c
r\
r\ c'
(A* r\ B) r\
(A r\ B) r\ c'
(A
r\B )r\c
f
THE VOCABULARY
AND SYMBOLISM OF
FIG.
29
SETS
1 1
sets;
i.e.,
the inter-
B)
C,
B, (A
Example 6. Each of the sets U, A, C, A C\ B, A
with
studied
be
C\
C\
C'
C\
C\
C\
B
and
A'
may
(A
B')
(A
C,
B),
A!,
respect to Fig. 11:
Set
Regions
a.
b.
c.
e.
AC\B
A\JB
f.
(A VJ B) C\ C
d.
Si,
$7,
SB
84
82
85
g.
i.
A r\(Ar\i =
BC\C
j.
(A r\
h.
r\
Empty
Si,
space
S^
s,
7.
By using the relationships of set equality and set incluA VJ B,
the
following sets may be written in a sequential order:
sion,
A, 0'.
(Ar\B)r\C,(AVB)VC,BC\
B,
C),
U,0,AC\B,A\J(B\J
Example
Sequence:
This can be verified by the use of a Venn diagram such as that shown in
Fig. 11.
SETS
30
Example
illustrated
both
RELATIONS
FUNCTIONS
8.
UB
regions,
we have demon-
THE
1.11
NUMBER OF ELEMENTS
IN SET
Hence
is
if
n(A \J B)
and
n(A)
n(B)
Thus,
n[(A C\ B)
U (A
r\ B')}
= n(A
C\ B)
n(A C\
AND SYMBOLISM OF
THE VOCABULARY
Similarly, since
C\ A'
n[(A C\ B)
AC\B
0,
U (A' C\ B)]
and A' C\
= n(A
Pi 5)
SETS
31
+ n(A
and
C\ B)
FIG. 13
By
it
(A
can
now be shown
n B) \J (A C\ B
that
= A
(A C\B)
= B
and
(A C\ B)
As a consequence,
n(A C\B)
+ n(A
n(A C\ B)
+ n(A
C\ B')
n(A)
C\ B)
n(B)
and
Adding the
left
n(A C\ B)
n(A C\
n(A
right
members, respectively,
H B)
n(A)
results,
n(B)
of these
we
- n(A
obtain
C\
once more, Fig. 13 is examined, we find that the three sets A C\ B',
A C\ B, and A r C\ B are disjoint sets. Set A C\ B is represented by Si,
A B by 82, and A f C\ B by S 8 The number of elements in /Si, 2 and
B. Hence,
$ 3 is the same as the number of elements in A
If,
U B)
n(A
It
now
= n(A
HB
n(A
C\ B)
B)
follows that
,
n(A
U B)
n(A)
+ n(B) -
n(A
H B)
counted twice.
SETSRELATIONSFUNCTIONS
32
Example
1.
How many
is
n(M
U P)
= n(M) +
n(M
n(P)
U P).
the set of
But
- n(M C\
P)
C\ P) represents the number of students enrolled in both matheSince this is not given, we cannot answer the
if
we were told that 173 students are enrolled in
question.
However,
n(M
300 - 173
both subjects, then n(M
P) = 600
727 different students are enrolled in the two courses.
727.
Therefore
school newspaper reports that the combined membership of the Mathematics Club and the Chemistry Club is 122 students.
What is the total membership of the Chemistry Club if 50 students are
Example
2.
The
n(M
VJ C)
122
n(C)
students are
C\ C)
100 members.
Example 3. In a certain high school 60 per cent of the students purchased tickets to a dance, and 70 per cent purchased tickets to a football
game. At least how many purchased tickets to both events? Let
n(A) = 60 per cent, n(B) = 70 per cent, and n(A VJ B) = 100 per cent.
Then
=
100 =
n(A C\ B) =
n(A VJ
At
J8)
n(A)
60
+ n(B) -
+ 70 -
30
Example
n(A VJ
4.
\J
n(A)
n(A C\ B}
n(A C\ B)
sets
+ n(B) +
-
n(A
A, B, and
n(C)
(7,
n(A C\ B)
HO- n(B
C\ C)
A Venn
n(A C\
C\ C)
THE VOCABULARY
AND SYMBOLISM OF
SETS
33
B =
C =
P =
set of students
set of students
set of students
If
then
n(B)
n(B C\ C)
=
16
90
n(C)
55
n(P)
P) -
32
n(B Pi
n(B r\ C C\ P) =8
80
n(C C\ P)
23
Hence
n(B
U C \J P)
=
=
90
55
80
16
32
23
162
The information
was a
absolutely correct and without the assumption that all students had
taken at least one of the subjects, we could now conclude that 38 students
is
illustrated in the
38.
FIG. 14
In studying problems of this type the analysis should begin with the
P C\B C\C and then extend outwardly in all directions. This
enables us to examine first those elements common to all three sets, then
those elements common to two of the sets, and finally those elements that
appear in each set that are not contained in any of the others.
set
FUNCTIONS
SETSRELATIONS
34
LAWS OF OPERATIONS
1.12
U.
sets
If
A, B,
by the
are governed
C,
Commutative Laws
AV
la.
B =
BV A
AC\B = Br\A
Ib.
Associative Laws
2o.
(A
U B) U C
(Ar\B)C\C
26.
= A
(B U C)
= A
Distributive
AC\(B\JC)
- (A C\
3a.
3&.
B)
Laws
\J (B C\ C)
= (A
(A C\ C)
- A
U B) C\
(A
(7)
Laws
Identity
4a.
r\ (B r\ C)
b.
AC\U = A
Complement Laws
A\J
5a.
6.
= U
A'
56.
Pi A'
- A
(A')'
Exercise 9
1.
Let I
I+
I~
=
=
=
set of
A
B =
G =
S
set of integers
set of positive integers
set of negative integers
primes
set of positive
set of positive
even integers
odd integers
Complete
C\
T =
0,
r\
T *
left
0,
8 C
T,
column and
8 =
T, or
T,
THE
2.
Let
U =
A =
B =
SETS
35
even integers
less
Find:
a.
d.
g.
A -B
(B - AY
(A - BY
b.
e.
VJ (B
- AY
h.
B - A
(A - B)\J(B - A)
(B - AY r\ (A - BY
c.
f.
(A
(A
f.
A\J B = B\J A
(A
B) U C
A Pi (B U C)
A U (B r\ C)
\J
b.
= A U (B U C)
= (A H B) U (A
- (A U B) C\ (A
d.
- BY
- B) C\
(B
- A)
Venn diagrams.
Follow
A C\B = B C\A
(A C\B}C\C = A C\(B r\C)
C\ C)
U C)
a.
ACS, B
C\C ?i,
AHC
0,
C (IB
Answer:
FIG. 15
6.
AHB
c.
A r\B
&,
d.
A r\B
0,
f,
g.
$,
B r\ c
B r\ c
B r\c =
B,
0,
A r\c
A r\c =
A C B, B C C
A C\ B r\ C ?* 0, A
0,
(t
A,
&
<t
(A
U B},
(A \J B)
<
36
SETS
5.
6.
FUNCTIONS
RELATIONS
A
A
U (B
C\ C)
6.
(A
e.
H B) U C
r\
c.
(A
Using the Venn diagram shown in Fig. 16, determine the region or combination
by each of the following:
g.
\JBY
A C\B
A' C\ B
j.
(A'
d.
U 5) A C
(B \J C)
of regions represented
a.
(A
KB')'
b.
A'\JB
e.
h.
A'
k.
c.
\J B'
/.
C\B
(A' VJB)'H A'
i.
i.
UB
(A \J B)
A' C\(A
\(A' r\
nB
UB')
FIG. 16
6,
find those
subjects.
a.
b.
c.
d.
How
How
How
How
many
many
many
many
students are in
homeroom A?
How many
How many
How many
pated in both the pie-eating contest and the baseball toss, eight participated in the
sack race and the pie-eating contest, and three did not
participate in any of the events,
AND SYMBOLISM OF
THE VOCABULARY
How many
How many
How many
a.
b.
c.
participated in
all
SETS
37
three events?
eating contest?
The information
11.
is
certain industry.
Classification
65
75
80
85
College graduates
Male employees
Married employees
Employees with more than 5 years service
7
a.
b.
c.
d.
e.
service?
/.
At
least
college graduates?
PROJECTS
Supplementary Exercises
Denoting the set of real numbers by R e the set of rational numbers by F, the
set of irrational numbers by Ri} the set of integers by /, and the set of natural numbers
1.
U = R
is
true or false.
e)
a.
NC
d.
Ri r\
e.
g.
NC
F F
h.
j.
F'
R<
k.
FD
2.
b.
RiCF
CN
CR
A =
{1,2,4,8,16}.
c.
ft
/.
Re
UF
R.
i.
CF
N CM =
NCI CF
CR.
of the elements
3.
in
set of subsets of
common.
sets of subsets of
4.
S is
g.
U
U
k.
b.
C
(A r\ B)
(A C\ B') VJ C
(A
C)
C) r\ (B
(A r\o\j (B r\
d.
i.
Using the Venn diagram shown in Fig. 17, determine the region or combination
by each of the following:
e.
if
V =
of regions represented
C
a. (A \J B)
c.
said to be disjoint
(A' C\
B'Y \JA'
/.
h.
j.
B) Pi C
(A
(A C\ B) U C'
(A C\ BY r\ C
C)'
BY U (A
(A
co r\(B\j C')
(A
H
n
w
B U [(A VB)\J C}'
38
SETS
RELATIONSFUNCTIONS
FIG. 17
^4
false.
a.
d.
g.
j.
6.
a.
d.
g.
J-
7.
A CA UB
A C\ B C A U B
B' C (A n BY
(A ^J BY Q(A r\BY
b.
e.
h.
B CA
C\
c.
(A C\ B) VJ A (A
BY C A'
/.
i.
B CB
BD A HB
A U (.4 r\ BY = U
A
C\
\J
n
O
U
=
=
Z7 =
t/
ff
e.
.4
/i.
n =
U A' =
U =
c.
f.
i.
(0i C\ {0}
Let
&.
UU=
OA 0n {0} =
A
A
c.
/.
i.
UC
BC\C
DHC
L (D r\E')\J
(A C\ D)
8.
are identical:
a.
c.
d.
e.
U BY and A C\ E'
U B} U C and A U VJ C)
A n (B U C) and (A n B) U (A n C)
A^J (B C\ C) and (A U B) C\ (A VJ C)
'
(A
(A
6.
(A C\
BY
and A'
U E'
(J5
U'
(2) If
6.
- 0and0' -
A C
Suppose
17.
B, then B'
UB
C A'.
0.
What
conclusions do
THE VOCABULARY
10.
Given:
U S =
D C
H
K
a. Identify
n(A\
=
=
SETS
39
subset of spades
subset of diamonds
subset of clubs
subset of hearts
subset of cards that are honor cards,
kings, and aces
i.e.,
in each.
5HZ
(2)
WDr\S'
(5)
(1)
AND SYMBOLISM OF
K'
(3)
D \JSVK
D r^S
OS \J D)
Represent the following statements in symbolic form:
(1) The set of cards that are not honor cards
(2) The set of cards that are neither spades nor honor cards
(3) The set of clubs or hearts that are not honor cards
(4) The set of cards that are neither hearts nor honor cards
(5) The set of hearts or diamonds that are honor cards
(6)
n#
b.
11. A recent survey of 200 students majoring in science revealed that the number
studying one or more of the subjects mathematics (M\ physics (P), or chemistry (C)
is
as follows:
Number
Subject
P
C
M and P
M"and C
PandC
M,
a.
b.
P, and
of students
100
70
46
30
28
23
18
subjects?
only
subject?
Physics?
Chemistry?
c. How many students had mathematics and physics as
Mathematics and chemistry? Physics and chemistry?
40
Let
set of
set of teachers
set of teachers
set of teachers
set of teachers
a.
(1)
(5)
than 2 years
less
2 to 4 years
5 to 10 years
A \JC
(4)
A C\D
(A r\cy
(6)
(C \J
(2)
(A vjjsy r\E
(A \J J5) n C
(3)
b.
U =
A
B =*
C ~
D =
E =
FUNCTIONS
RELATIONS
SETS
sets
jD) C\
(A VJ
BY
B, C, D, E,
',
and W:
(1) The set of teachers who have taught less than 5 years and who answered
"Yes"
Answer: (C \J D) C\ A
(2) The set of teachers who have taught less than 10 years and who answered "No"
(3) The set of teachers who have taught more than 10 years and who answered "Yes"
(4) The set of teachers who answered "Don't know"
(5) The set of teachers who have taught more than 10 years and who answered
r\,
"don't
know"
13.
The
Let
A =
B
set of quadrilaterals
set of squares
set of
D =
E
set of triangles
set of parallelograms
Which
F =
G =
H=
/ =
J
K=
a.
d.
g.
3*
m.
of the
rhombuses
set of rectangles
set of equilateral triangles
set of isosceles triangles
set of trapezoids
set of scalene triangles
set of right triangles
B QI
b.
C C\F = B
H C\G ~G
KCJ
G ^H
BCCCECA
=
7
c.
H#
h.
GC\K ~J
k.
(H
n.
K C\H =
VJ
nD
<?)'
= /
GUHVJ^D
i.
H C\G = H
KC\G =
1.
/.
CE
In Section 1.5 it was shown that the set of natural numbers was
equivalent
even natural numbers. Not only is E <->
but E C
(E is a proper
subset of N). Richard Dedekind (1831-1916) used this
property to define an infinite
14.
to the set of
set.
A set
a.
is
Show
an
infinite set
if
B -
tfIs
B C N?
I.
Is
Show
D -
D C JV?
c.
1-1
Show
T -
{1,2,3,4,5,6,
{5,10,15,20,
.}
(1,2,3,4,5,
(10,20,30,40,
is
that is equivalent to
equivalent to the set
.} is
W.
.)
.}
.}
is
an
infinite set
by placing
it
in
2
Numbers and Conditions
Real
INTRODUCTION
2.1
real-number system
number systems
To examine the use of conditions when expressed
is
an
as equations or
To
illustrate
Chapter
2.2
system
them
and so on.
on within them
many
We
become
so
SETS
42
RELATIONS
FUNCTIONS
natural numbers, the set of integers, the set of rational numbers, and the
Each of these sets of numbers, together with the
set of real numbers.
operations of addition and multiplication and certain assigned properties,
d.
us from arithmetic and, further, that the objects need not be restricted
Such situations will be examined in a later chapter. For
to numbers.
2.3
NATURAL NUMBERS
If
and
...
c,
Closure Laws
N-l:
If
N-2;
If
comand
(+)
multiplica-
EN and
b E N, then a + b EN.
E N and b E N, then ab E N,
REAL
43
Commutative Laws
N-3:
N-4:
If
If
E N and b
a
N and b
N, then a + b =
#, then afr = 6a
plied
by
a.
means a multi-
(at or a
6).
Associative Laws
N-5:
AM5:
If
If
a
a
G #, 6 G
tf, 6
N, and c
AT, and c
#, then
then
JV,
If
(b
c)a
EN, and c N,
+ ca from 2V-4.
N,
6)
(afc)c
(6
c).
o(6c).
then a (6
c)
a&
ac
or
ba
Law
Identity
]V-8:
a.
Since 6
5)
AT,
5)
Since 5
N, then 6
5)
G AT, and 3
+ (5 + 3) or
AT,
+
G
(2
5 or 8
and
JV
6 and
8.
7-6.
N, then
and 7
Also (6
Since 3
3
N-&:
and 5
AT".
6N
Since 6
(6
N-7:
5 or 15
6-7 =
N-5 and
we have:
Since 3 <E
3
Law
Distributive
N-7:
(a
2
3
G
2
(5
3) or
^, and
N, then 5-1
11
30
5 or 3
N, then
3
+
=
15.
N, then
7
15.
5.
numbers
is
shown
in Fig. 18.
FIG. 18
from a
We
is
if
possible
speak of d as the difference a
6.
number
d such that a
Similarly, division
b
is
d.
defined
RELATIONS
SETS
44
FUNCTIONS
q,
2.4
INTEGERS
+ GN
natural numbers
The
testing of
is
a few
To remedy
numbers
expanded
is
so as to gain the
NC
of negative integers
and I the
set of
now
...
7, represent corresponding
with
properties possessed by integers
respect to the operations of addition
and multiplication. Hence, a number system called the "system of
integers" has been formed.
Law
7-10:
a.
a) of /,
is
called
such
the
REAL NUMBERS
AND CONDITIONS
Law
for Subtraction
Closure
7-11
If
G I and b G
7,
then a
45
G 7.
As
manner:
Definition of Subtraction
7-12:
If
G 7 and & G
7,
then a
(-b).
+ 5) 6
then (-3)
I,
(+5)
7 and
(-3)(+5)G7.
Commutative Laws: 7-3 and 7-4
Since (-4) G7and(-2) G 7, then (-4) + (-2) = (-2)
and(-4)(-2) = (~2)(-4).
Associative Laws 7-5 and 7-6
Since (-3) <E 7, (-2) G 7, and ( + 5) G 7, then
[(-3) + (-2)] + (+5) = (-3) + [(-2) + (+5)]
and[(-3)(-2)](+5) = (-3)[(-2)( + 5)].
Distributive Law: 7-7
Since (-5) G 7, (+2) G 7, and (-4) G I, then
(-5)[(+2) + (-4)] = (-5X+2) + (-5)(-4)
or(-5)(-2) = (10) + (+20).
(-4)
(+7)
/,
then (-8X1)
= -8 and
+7.
(-3)
7,
then (+3)
7 and (-3)
G7
and (-5)
7,
then (-6)
(+3)
0.
(-De/.
Definition of Subtraction: 7-12
- (+4)
(-9) G 7 and (+4) G 7, then (-9)
(+4) = (-9)
(-9) + (-4) = -13. Hence (-9)
Since
is
- -13
and
(-4).
-4-3-2-101234
FIG. 19
46
RELATIONS
SETS
FUNCTIONS
RATIONAL NUMBERS
2.5
Even though
zero
the
and negative
far been
expanded
is still
to include
not always
If q
possible.
>
+ 3) =
$(
8.
H~3
is
now
is
an extension
of the
For example, 3
Thus, 7
The
f,
5
>
and
may
=
$.
C F where F refers
following rules
1.
if
and only
Example: f
if
f since
_ +c
=
2
+
'b
~b~
b
Example: f + f =
a
"d
'
be
3-8 = 4*6
ac
_
=
bd
Example: f
a
c
_ ad
'
ad
-f
iHr
b^d^fc
Example:
a
'
~cb
_
=
-J-
fj-
a
b
.
Example:
5-8
= -8
7
5-7
REAL
47
a,b
GF
In
for
q.
GF
Example: Since 3
such that 3(|)
5-,
f
f-14:
(-!)(-*) =
a G F and
If
2.6
REAL
namely,
-P
and I
1-
Example: Since 2
|
GF
then
(
f)
Similarly,
to
the
also
satisfies
(which
F)
requirement that
belongs
since
1.
F, then
f/-f
==
|,
which
is
Similarly,
if
an element in F.
LINE
48
SETS
RELATIONS
FUNCTIONS
+c=
form ax*
bx
numbers.
5
x*
No
line
divided into four equal parts, and the first subdivision point to the left of
1 is associated with
The rational numbers themselves will not
f.
exhaust all the points on the real-number line. The points which are
still
To
illustrate
REAL
to
as
shown in
and a
49
Fig. 20.
If a
\/2.
radius,
it will
which
then
is
FIG. 20
numbers
or "the real-
26
e =
2.71828.
cos 170
-4
7T
-2
-3
.5.
^
S2
log
150
FIG. 21
Real numbers
may
the use of
Integers are described in such a form through
In
17 = 17.0000
and
6.000000
6
for
example,
zeros;
rational numbers, which include integers, are expressible in decimal
decimals.
fact,
= 0.875 - 0.8750000
supposedly terminate, such as
as
they will continue forever, repeating a block of digits such
will
0.428571428571
or
the decimal equivalent is one of the type that terminates, which means
is
it has a string of zeros at the right, the corresponding real number
is
decimal
nonterminating
If
the
number.
equivalent
definitely a rational
If
of repeating a
-FUNCTIONS
RELATIONS
SETS
50
block of
digits,
such as
0.428571428571
then the corresponding real number is again a rational number. Irrational numbers may also be represented as infinite decimals, where no
In
1.4142136
block of digits ever repeats, such as \/2
summary, all real numbers can be represented by infinite decimals.
.
Example
The determination
1.
Let p/q
number
is
0.232323
form p/q
obtained
where n
Since in
2
a block of two digits is repetitive, we multiply by 10
0.232323
=
=
0.232323
and p/q
23.2323
Thus, 100 p/q
from
Subtracting p/q from 100 p/q and, correspondingly, 0.2323
=
=
we obtain 99 p/q
23.2323
|f
23, from which p/q
Hence, ft = 0.232323
represents the
of digits in the
block that
is
repetitive.
2.7
PROPERTIES OF THE
REAL-NUMBER SYSTEM
/,
F,
and
Table
R
1
e,
and
a,6,c,
...
S.
REAL
Any mathematical
structure satisfying
"field of rational
field.
all
51
these properties
is
called a
"field of real
numbers/' since all the laws for a field are satisfied in these two systems.
In Chapter 5 the concept of a field is discussed in more detail. An
intuitive acceptance of these properties for a specific 8 may be realized
by replacing a, b, and c with the numbers of arithmetic in statements
1 to 13 and checking the results obtained.
The laws
form
of
employed. Frequently, these sentences appear as equations or inequalities which communicate concisely and completely the properties of a
mathematical system. They enable the mathematical system to exhibit
a certain form or structure that distinguishes it from other systems.
of significant techniques
real-number system
If a,
b, c,
and to
To accomplish
and arithmetic.
.
operations of addition
Closure Laws
:
If
e-2:
If
Re-l
R
R
a
a
and
and
Re, then a
e,
then ab
e.
R*.
Commutative Laws
R
#
If
e-4:
If
e-3
R and
R and
e
Re,
e,
then a + b =
then ab = ba.
a.
Associative Laws
R -5:
R e-6:
e
-7:
If
If
If
a
a
6 Re, b
f,
e,
R and c R then (a + b) + c = a +
R and c R then (o6)c = a(6c).
e,
6)
e,
6,
Distributive
Law
e,
and
Identity
e,
then a (6
c)
ab
+ c).
ac.
Laws
called the
e -S:
There
e-9
= 1 a = a.
identity element for multiplication, such that a 1
There exists in R e a unique element zero (0), called the identity
exists in
(1),
-
(b
a.
52
FUNCTIONS
RELATIONS
SETS
Inverse Elements
R -lQ:
e
jffie-ll:
I/a of
e,
Definitions of Inverse
Subtraction:
Division:
&
6
-r-
=
=
a/6
1.
Operations
6)
(l/a)a
G Re, then a = a.
G Re, b G Re, and
For a
If
&
If
&
GR
c,
a G
then a
If
b,
then
a.
e,
jR e , 6
a G #e,
then ac =
If
Re, c
then a
#*, c
G Re,
G Re,
and a
G ^e,
and a
&,
and
c.
b,
c.
Re, c
6,
be.
Properties
Section 3.5.
of saying "equal
if
Example
If a,b c,d
}
G Re and
if
and
d,
then a
Proof:
A uthority
Statement
1.
2.
3.
a
a
c
+c=6+c
+b=d+b
6 + c = 6 + d
a + c = 6 + c and & + c = & + d
a + e = 6 + d
1.
Given
2.
Step
3.
Given
and E-4
4. c
4.
5.
5.
6.
Steps 2 and 5
7.
6.
7.
e-3
+c=b+
d.
REAL NUMBERS
AND CONDITIONS
53
The proof of the rule which states "If equals are multiplied by equals,
the products are equal" is obtained in an analogous manner.
Mathematical sentences of the types ab = 5a, a
c = c
a, and
a(b
c)
ab
whenever
a,
and
b,
are
real
1
The condition z 2
(x + 1) (x
1) is true
ments for x. For example, if x is replaced by
while (x
i)(x
1)
= (-3 +
Mathematical sentences
l)(-3
1)
2x
of the types
of all
3,
real-number replacethen
= (-2)(-4) =
3
and x 2
8.
2x
2x
solution set of x 2
{4}; the
is
2x
is
{3,
!}.
and 2x
3 = 5
are referred to as conditional equations.
Mathematical statements of
identity assert general truths about all numbers in a system of numbers
and provide working rules which can be applied freely with any of the
numbers in that system of numbers. Mathematical statements of
condition impose restrictions on the variables involved and permit only
the use of certain specified numbers in the system of numbers to which
Mathematical sentences
of the types x
2x
T-l
T-2:
T-3:
GR
=
If a =
ab =
If
T-4:
If
T-5:
If
ab
If
T-7:
-a=
T-9:
T-10:
T-ll:
T-12:
numbers.
then:
and c = d, then a + c = b +
b and c = d, then ac = bd.
or b = 0.
if and only if a =
=
=
-b.
b
0, then a
b
+
+b=c+
T-6:
T-8:
et
cb,
6,
then a
then a
(-<*)(-&)
c.
(where
(-l)(a)
-(-a) = a
= <&
=
-ab
(-a) (6)
- c) = ab - ac
a(6
= a (where a ^
(a- )"
0)
6^0).
d.
54
T-13:
(a
+
-
+
-
b)(a
SETS
RELATIONS
b)
"
=
=
+
-
;)
FUNCTIONS
2ab
2ab + b
a
6)
+ 6) a - 6
- a - 6
(a
6)(a + ab + b
- a + b
ab + b
(a + b)(a
= a + b + c + 2ab +
(a + b + c)
=
a
+ 3a b + 3a6 + 6
+
b)
(a
T-14:
(a
T-15:
(a
T-16:
T-17:
6) (a
6) (a
T-18:
T-19:
The method
2ac
theorems
is
illustrated in the
2bc
following examples.
2.
Example
Theorem
4; If
+b=
0,
then a
6.
Proof:
Statement
Authority
4.
+6=
+ (-6) - + (-6)
(a +
a + [b + (-b}] =
+ (-6)
= + (~b)
a +
5.
1.
2.
3.
ft)
-6
Example
3.
Given
E-4
3.
4.
RrlQ
5.
#e-9
e -5
The
Theorem
2.
1.
9:
(-<0(-6)
proofs of these
in elementheorems follow:
ab
Proof:
a) (6)
a)
6)
and
a) (6)
+ ab.
Authority
(-a)(-&)
(-o)(6)
(-a)(fc)
- -a(-6 +
- -a(0)
-
+ ab
- 6(~a +
= 6(0)
=
(-a)(-6)
R -7
e
lk-10
T-3
Rrf
/Ze-10
T-3
and
(-a) (6)
(-a) (6) + ab.
(-a)(6)
a)
6)
andbyT-5, (-a)(-b) =
ab.
(-a) (6)
Hence by
+ ab,
then by E-3,
REAL
Theorem
10:
55
= ~ab
(-a) (6)
Proof:
a)(b)
ab.
Authority
(-a)(6)
+ ab =
(-a
(0)6
Theorem 4
-f a)6
7?,-7
,-10
T-3
states that
if
(-a) (6)
then by T-4, (-a) (6)
0,
then a
a&
Since
6.
= -a6.
FACTORIZATION OF POLYNOMIALS
2.8
a *~
is
aa
52
(a
&)
fe
identity
+
+ 6) =
2
(a
a2
2a&
62
Authority
Proof:
(a-6)(a
6)
- 6)a + (a - 6)6
- 6) + 6(a - 6)
a(a
a& + ba - 6
a
a
a& 4- 06 - 6
a + (-06 + 06) - 6
= a -6
,-7
(a
*
=
=
R*-4
fi c-7
B^4
2
Re-5
E.-9
e-10, E,~5,
is
'
'
some designated
2x*
4x,
|z
such as JB C F or /.
- 1, and 5 are
3x, 2x
set
FUNCTIONS
RELATIONS
SETS
56
4, 3, 1,
and
subsets.
its
0,
respectively, with
of the
The degree
polynomial
a n 7*
0.
It is also
of the exponents
m,n,p,...
is
polynomial.
The
2
2xyz
7, 2x
3,
y, x,
Expressions of the type 5x
z z
5
for
fulfill
z
the
4x
2z w
being such a
requirements
y
1,
or zero.
3x*y
factorization of a polynomial
is
is
factorable into (x
+ 2) (x
2)
if
the coefficients
If
If, however,
4 is
then x*
introduction of
reducible."
z2
(x
2f)(x
2i)
+ +
Table
REAL
57
like
(l^
problem
1) for simplification
%x)/(2x
purposes.
and type
The context
of factorization
of a
most
desirable.
rational
(z*
2.9
numbers and
2) (a*
2) or (a*
4*)(z*
+ 4*z* + 4)
and many
others.
SOLUTION SETS
Example
as follows
The
1.
b/a}.
solution set of 3x
1,
where x
GR
ej
is
obtained
Authority
3x
3x
3z
-5 +
Re-W
i(3s) = *(8)
X = 2
R<rll
E-5
5
The solution set of 3x
The original equation 3z
that
Given
E-4
+5
is,
{a;
3z
Re
same
resulting in the
1 is {2}.
The
may
equation x*
1
set of x 2
the variable x
Re
\/2} if x
but
is
x & Re
is the null set
numbers.
the set of complex
is
{\/2,
if
is
i] if
The
the universe of
solution set of a
58
3
bx
e =
quadratic equation ax
a
that
which
states
product ab
2.7),
its factors, a or 6, is zero.
Example
The
2.
(3s
If
4x
1)(3
then 3s
- 4^+
3z 2
0,
where x
R*,
may
=
-
1)
x=
1
0,
replaced by 1, then 3z
2
Consequently, the solution set of 3x
It
that
follows
{|,1}.
{xER*\
if a: is
Further,
replaced by
is
4z
3z 2
is
be determined as follows
3s
FUNCTIONS
RELATIONS
SETS
0}
4x
2,
= {sefl.|s
=ors=
1}
0.
0.
is
{*,!}
Exercise 10
Which
la.
>A
-
- V?,
\/3,
Which
<i
If
If
&+ 2, 3
a;
1, a?*
/>
4,
d.
m. 7
-f 2,
numbers?
VH
i,
Integers?
-s
re
2
,
-x, 3
G
*.
y
o
2
2s, 2x
E#
GR,
/.
*
k.^-^F
x, 2x,
x,
\/4,
*,
/
^V -27,
~3
-
f.
x2
F
-
E/
^.4-46^
%N
- G
4
Y-E
I 4
G#
Using real numbers, show by a suitable counterexample that the following state-
ments are
a.
\/A,
Determine which
3.
Irrational
2.
-^
\/2
V2
a.
j.
-v/9,
numbers?
c.
iV,
numbers?
Vi2, - Vie,
f, 3.14159, 0.2171828.
V4
6.
true:
Subtraction
is
not commutative.
REAL NUMBERS
6.
Subtraction
c.
Division
d.
Division
e.
4.
is
is
59
not associative.
not commutative.
is not associative.
Addition will not distribute over multiplication.
following
a. 2
0.
j.
AND CONDITIONS
VI
m. x
6.
-3
c.
i.
-3|
/.
-TT
h.
k.
- \/3
n.
3x
-I
2
-
o.
1,
'
5.
2
>
x
X
x+<2
each of the
for
7^
* -2
exists for
indicated operations.
Example:
3z
2x*
a.
c.
4
x*
=
*
-
a*
2x* 4- %x
(05
5x
- 5(*
+ l)(2x - 5)
2x(x -f 1)
5
-r-
6 - y - 2/ z
l 25
30x
g. 9s
J t. 50a
325 s
k. 64x - y
4 - (z
m. x 1 - 4z
/.
fl
x3
h. 1
;.
5x
4y)
10
r,
Oa;*
3x
16
+5
16a*s*
8t/
- (y - 2)
- 4s/) s - 3( -
+
** + 8
x4
2
4- 10c
27x* 4-
n. (x
p.
86 3
d. c
e.
2x
Re-7
#-7
6.
3x
Since
1)
3x 2
60
SETS
7.
type
RELATIONS
table.
If
FUNCTIONS
a polynomial
is
If it is factorable,
8.
a.
d.
0.565656
2.363636
g.
2.1636363
9.
Since
all real
b.
0.33333
c.
e.
1.37575
/.
h.
0.693693
0.56785678
0.3272727
each of
b.
V3
i.
e.
h.
3-1
/.
m.
V3
n.
P.
TT
3.
A
10.
<.
-3A
o.
- \/3
r.
V2
-3\/2
2
A/3
7=
V2 +3
By
use of laws
#-! through
72 C -12
GR
^ -12,
e.
6)
c)
a2
-a&
?^ 0).
2ab -f 6 2
ac
REAL
11.
set for
61
to
the
designated universe:
2.10
CONCEPT OF ORDER
introduce the concept of "less than" between pairs of real numbers, the
following definition is made.
real number "&" is less than a real
there exists
some
positive real
<
a,
if
The sentence
then a
<
is
Similarly,
-5 <
6,
since 11
>
(-5)
6" and "a
6.
<
is
greater than or
Example
1.
is less
The symbols
SETS
62
FUNCTIONS
RELATIONS
a set.
For each inequality a universe must be specified as the source
from which elements are to be selected for testing in the defining condi-
The
tion.
a.
A If B =
If
EN
<
N\x
{x
<4},thenJ3 =
{1,2,3,4}.
Note that 4
is
Fig. 22.
0123456 789
10
FIG. 22
these
2345
-5-4-3-2-101
FIG. 23
= {x
x
x > 3
e
-2}. Each element
to
2.
or
than
or
3
than
less
equal
(Notice that no
greater
elements here satisfy both conditions simultaneously.) For graphical
d.
in set
purposes
we use a
inclusion
graph of
An
<
is
black
circle
on the real-number
G -
{x
line
at 3 to indicate
2 to indicate exclusion.
is
e
\
Thus, the
> -1 V x <
3)
set B.
Set
REAL NUMBERS
they are
less
illustrated
than
by
3.
The
the diagrams
x>-i
AND CONDITIONS
63
shown
15
-3
-2
-I
FIG.
25
2J1
>
0-1
G Re,
then:
For any two real numbers a and b one and only one of the
lowing
is
true:
a
0-2:
If
0-3
If
0-4:
If
0-5:
If
Example
1.
<
<
<
<
fol-
<
>
<
We
64
(a
+ 2) +
+ y)
(b
<
Accordingly, a
c,
since (x
c,
FUNCTIONS
RELATIONS
SETS
from which
y)
is
it
follows that a
(x
y)
c.
of order
+ d.
(a
and
+z
where y
d,
+ z) = (a + c) + (y + z) = b + d
+ z) is a positive real number, a + c < b +
y)
(c
Consequently, since (y
b. If ab > 0, then a >
and
>
<
or a
and
<
d.
0.
Proof:
Case
Neither a nor
0,
which
is
contrary
to our hypothesis.
Case 2: If either a or b is positive, say a > 0, and if 6 < 0, then ab <
(by O-5), which is contrary to hypothesis. Thus it follows that
if either a or b is positive, the other must also be positive.
Case 3
a or
If either
& is negative,
say a
<
and
0,
if
>
<
then ab
0,
The theorem
left
as
an
<
"If ab
0,
then a
>
and
<
<
or a
and
>
0"
is
exercise.
-33 -
> -2s -
>
>
< 2
2x
3x
x
3z
To
GR
(a linear inequality).
1)
G Re
{x
{x
2x
Hence
6.
>
cc
Bx
rewritten as x 2
This statement
-3x -
more
state
<
> -2x -
concisely
the
4}
{x
GR
true
4
if
<
0,
which
is
condition
defining
factored (x
<
2
4}, the quadratic inequality x
3x
is
is
of
3x
4)
2}
<
(re
set
as
4 can be
1)
<
0.
REAL
65
Thus
positive.
.r
3.r
z-4>OA+l<0
<
z~4<OAz+l>0
or
>
<
<
or
>
a;
The compound
set, since
than
It follows that
1.
[x<ER
\x*
shown
<4} =
Bx
0U
{xR
\x
<4 A
set.
> -1}
represented
is
in Fig, 26.
-5-4-3-2-10
2345
FIG. 26
c.
{x
To
GR
state
x2
>
2
4}, the inequality can be rewritten x
of
82
set
>
as
0,
or
or
The compound
conditions
replaceable, respectively,
&-
z>4Ao;>
by x
>
>
4}
is
{x
Re
3z
4 and x
{x
and
<
GR
1.
e
|
>
z<4Az<-~lare
Hence
4
< -1}
-5-4-3-2-1012345
FIG.
27
Here
66
1
FUNCTIONS
RELATIONS
SETS
since 4
B =
then
is
It is
4.
noted that
satisfy
&r
>
4,
,r
if
a;
e,
number line.
d. To state more
{x
2x*
+
G Re
+ 2x +
2x 2
a method
2x* + 2x
advantage and
illustrated as follows
2z 2
2z 2
The
left
member
the inequality
is
{x
(x
+ i)
true for
Re
is
all
2x*
+
+
2x
2x
>
> -
nonnegative for
R e i.e.,
x
all real
values of
x.
Hence,
2x
>
0}
{x
+
=
R*\
2x
<
is
false
0.
2.12
1X1
\
if
~x
if
|-5|
>
<
x
x
is
3;
2
(3)
and
-2 = -(
*
9,
and
2)
2.
AND CONDITIONS
REAL NUMBERS
67
is
regard to direction,
given by either
is
\a
6|
Case
>
1: If
0,
-4
>
|aj
then
|a|
-3
-2
Two
2.
a|.
|6
>
Re |a|
{a
2} reveals that
2, or less than or equal to
2,
distinct cases arise:
real
or
>
a and a
2 (Fig. 28).
-f
FIG. 28
Case
2: If
<
0,
-4
then
-3
|a|
= -a and -a >
-2
< -2
2 or a
(Fig. 29).
234
FIG. 29
Since
G =
is
a>2Va<~2}.
Fig. 30.
-4-3-2-10
If
new
set
{a
G#
FIG.
30
<
2}
|a|
is
denned, then
it
may
be inter-
H = \aGRe\ -2 <a
In general,
x < c A x >
The
if
alternative
c is
c or
way
statement
<
<
>
c, \x[
c is
namely,
>cV#<
<
c
<
\x\
<
c is equivalent to
equivalent to x
of inequality symbols,
for the
<2}.
c, is
<
> c V x < c.
> cin terms
FUNCTIONS
RELATIONS
SETS
68
<
c\
{x<ERe\\X\>
C}
{x
Re
x\
e R x < c} n {x e R. x >
= {xeR \X> C}V {xERe\X <
=
{x
-cj
-c}
For example,
+
~-3<z-2<3or-l<o;<5. However,
term, then a
written
<
<
is
a.
No
{aR
real
the condition
will satisfy
number
<
|a|
because the
2,
greater than
is
if
0.
Thus,
0.
6.
T = [a&Re |a-2| =
If
2|
then a
3,
2 must
< -2},
a]
number
>
3|
\x
be
may
The
3.
Example
tions
<
2|
\x
-3>2Vz-3<-2orz>5Va;<:l.
be written
tf
b.
1: If
Case 2:
(a
>
2)
is
3}.
either 5 or
0,
then
|a
These
1.
from
cases arising
|a
2|
2|.
2 and a
Thus
3.
5.
If (a
<
2)
0,
then
\a
= -(a -
2|
and -(a
2)
2)
=3.
Thus a = -1.
The graphical
interpretation of
T =
-5-4-3-2-1
1,5} is
shown
in Fig. 31.
.3
It
is
FIG. 31
By
D - {zG R
e
\
\x
1|
<
|2
a\
5}.
D = {xER*\x <Q
which
hx>
-4}
or
D =
{x
-6-5-4-3-2-10
FIG. 32
12
-4 <
<
an
It is left as
.c
>
1
1
3456
6}
REAL
69
INTERVAL NOTATION
2.13
The symbol
interval
<
inequality a
Thus,
[x
way
alternative
<
GR
b.
[a>,b]\
is
mean
accepted to
the set of
real
all
numbers, including end points, represented by the interval on the realnumber line shown in Fig. 33. Since we have occasion frequently to
01234
FIG. 33
[a,&[
]a,6]
]a,6[
=
=
=
=
G Re
{x G Re
{x
{x
G Re
{a;
Re
G
x G
x
|
K&]}
[a,b[}
G ]a,b[}
]a,b]}
Open
interval from a to
6,
b,
6,
A =
B =
5. The set
[-7,8], then ^4
defines the set of nonnegative real numbers, while ]
,0[ defines
The set ] QO <x> [ describes the set of
the set of negative real numbers.
For example,
if
]-2,5[ and
>
[0,
real
numbers
Example 1.
employed with
a.
[3,6]
The operations
of
from
intersection
H [-2,4]
3 6
'
and union
may
be
[3,4].
to
interval notation.
<*>
34.
set,
The
interval between
have
common.
^ ^ ^
-4
-3
-2-101
HG. 34
5^56
this
SETS
70
RELATIONS
elements in
shown
[1,4[
35
Exercise
a.
d.
]-5,4[.
in Fig. 35.
FIG.
1.
set is
FUNCTIONS
Which
1 1
-3 >0
-3 < -5
b.
6.
-5 > -7
>
|-3|
c.
|-2|
/.
V5
-I-
2.
>
<
2.236
h.
-2.33
k.
-5.3851
|-8|
<
>f
|-5| -f
_^
0.
< - V 29
i.
r^~-
<
|6|
>
-0.35
64
/.
> -8
|-5| -f |-3|
largest):
_,,
3,
a.
\7
c.
[~10|.|-3|
f.
|-3+8|-|7|
^.
-|-4| 2
. V2,
-3|
-h
|-4 3 - |~4| 3
1
-3|
6.
|6
d.
/.
|-8|
|-12|
h.
-|-4
|-7|
^.
I7|,
-I -3|,
m.
\a[
-h
J3|
|a
+ 6|
A.
*.
A/4, 2
n,
|a|
"
+
2
|~5-h4|
|-4|
|3|
-f 12|-
>,
c.
i.
-V/3,
|6|,
-J
o, 5, 2,
|a6|
|-4|-i
<" between
each of the
-6, 2
Vn, -
Z.
|-5|, |-8|
o,
|-8|
2
,
|(-8)
\/13
2
|
REAL
71
c.
{x
{x
<7.
{x
6.
By
e.
d.
{x
/.
{x
A.
{*
x2
2x
xz
5x
<
|s|
+5 >
+6>
3 or
it
graphically.
U [-7,1]
b.
[0,3]
d.
[6,9]
n]7,10]
e.
]-oo,-8[VJ[-5,0[
/.
0.
]1,5]
VJ
h.
i.
j.
[-4,3]H[2,5[
7.
d.
8.
a.
{x
(x
e.
{re
g.
{x
[1,3]
{x
m. {x
fl.
9.
a.
c.
8}
n ]-8,l]
n [1,3[
n ]3,8j
[-3,5[
1-3,0]
[-5,3]
c.
2x
+3
\x\
>
\x
<
{*
If
{x
(a;
|a;|
<
~2
A ~
|
a;
|
1)
<
(x
1)
0}
(0,1,2,3,4}, tabulate
E^
E^
and 3x =
and 3s
(a;) |*|
{x
=2}
< -2}
|*|
/.
{x\x>5V
h.
{x
I.
n.
+ 2)(aj -
(x
6.
Assume
line.
d.
[0,
< -2}
2x]
7* 15}
3}
5x
5}
9}
5a?
is
a;
3ic
3J
\\
<
3z
o.
0}
use of interval notation, find the set defined by each of the following and
U [3,11]
k.
0}
<
|ar|
a. [2,4]
c.
Represent
- 4x + 3 < 0}
\x\ > -2}
W > 3 and (a) < 5}
xz
represent
a.
sets.
4}
< 4}
- 3 -3 <
\x\x~
{x
x2
p.
\x
r.
i*
|*
,27i,
.)
sets:
EA A
d.
2,4,6,
< 4}
- 9 > 0)
+ 2| < 51
\x\
{x
>
3z
4}
3s
-h
0}
2x
>
0}
{x
EA
g.
{x
E A.
10,
Describe more concisely the defining condition of each of the following sets,
Assume in all cases that x E R^
its solution set graphically.
- 3 > 12}
4z - 5)
2x z - x - 4 > 2s 2
6. {x
{x 3x
e.
|z
x2
2a?
2s
Of
/.
x*
{x
01
and interpret
-x -4
+
6x + 5 < 0)
Qx + 9 < 0)
^^ U
+
'
a.
g.
{x
8) < -3(*
-2(*
2ic 2 - 5x - 3 > 0(
x
4x + 3 > 0}
t.
{x
Qx z
c.
{x
e.
|s
k.
{x
x2
|
4:X
2x
0}
<
0}
-2)}
d.
{.
/.
{*'
h.
{x
i-
{*
3J
r>
"t~ <"
>^_ f\
RELATIONS
SETS
72
11.
+b =
0)
>
81
[x\ax
FUNCTIONS
0):
5
&4 S5 =
S6
0}
0)
as 2
iaj
ax 2
{a;
(z
as 2
+
+
+
bx
to
6x
+c =
+ c>
+c <
0}
0}
0}
a. Graph each of the solution sets &, S 2 S 3 &, 5s, and $ 6 if given that x
and the designated values of a, 6, and c as they appear in the tables.
,
Graph each
12.
on a real-number line.
Assume
xER..
a.
[x\
c.
{x
e.
<x <3)
-1
~5<x<3}
G o[anda; G ]-
a;
(a;
[0,
b.
{x\0
d.
{x
a;
|
notation.
in parts a to
[~2,5[}
,0[}
13.
<x < 5)
E [-5,3[ or x G
c.
c of
e in
that of part a?
GR
x
x2
14. If
a.
{x
c.
{a;
d.
{x
e,
< 4} H
-2 < x <
x > 4} Pi
2
3} r\ {x
{x
x2
|
<
-5 <
s
x
16}
g.
C\ B
A C\B
(C C\D}C\B
j.
(A
a.
d.
2x
<
0},
U B)
C\ (C
U D')
U [-2,1]
2|
<
<
HC
e.
B'
h.
D'
C\D
C\A
8}
C =
-1},
b.
1.7}
>!}
<
1}
e.
15. If
and
<
c.
A'
f.
A\J D
i.
A' C\
{x\x*
<
2},
3
Ordered
Pairs,
and
Cartesian Product,
Relations
INTRODUCTION
3.1
The
respect to
of
set theory.
3.2
ORDERED PAIRS
SETS
74
RELATIONS
FUNCTIONS
A new kind of element called an "ordered pair" has been developed, and
which follows, many interpretations will be attached to
For example, the concept of an
this element and its components.
the
basic
in
ordered pair is used
development and extension of number
The
ordered
mathematics.
pair (a,6) is frequently used as a
systems in
number
rational
the
for
a/6 or the complex number
representation
a _j_ 5^ Thus, the set of rational numbers or the set of complex numbers
can be defined as the set of all ordered pairs (a,b), where in the first case
and hi the second case a,b E Re. Here the ordered
I and
ab
to a parpair (a, 6) is used and a meaning attached which is pertinent
of
a
numbers.
or
ticular objective, that of extending
system
developing
it
becomes
ordered
of
an
For each distinct interpretation
pair,
necessary
to define operations, to state laws or postulates which guide these opera-
in the material
6^0
3.3
CARTESIAN-PRODUCT SET
The construction of new sets from a given set was illustrated through
subset construction and power-set construction in Sections 1.7 and 1.8.
A third kind called "cartesian-set construction" is now introduced, for
which the basic elements are ordered pairs. Suppose the set A = {2,3,4}
considered. It is now possible to form nine ordered pairs by using the
elements of A. For example, if the element 2 is associated with each and
every element of A then the ordered pairs (2,2), (2,3), and (2,4) are
obtained. The following scheme enables us to perform all the pairings
in a systematic fashion:
is
2 -+(2,2)
2-*
(2,3)
/
3-3->
\
S
2->3->
\
4-(2,4)
(3,2)
(3,3)
2->(4,2)
/
4-3->
\
4-(3,4)
(4,3)
4->(4,4)
In this manner, nine ordered pairs are formed where all the components of
the ordered pairs are elements of A. This totality of ordered
pairs is
called the "cartesian set of A" and designated A X A.
Note that the
elements of A are single numbers, while the elements of A X A are
ordered pairs. By use of the tabulation method,
XA
{(2,2),(2,3),(2,4),(3,2),(3,3),(3,4),(4,2),(4,3),(4,4)}
is
the set
A XA
ORDERED
GA
where a
and
PAIRS,
A.
CARTESIAN PRODUCT,
If
is
a unit set
A XA If
is
taining
finite set
n 2 ordered
A X A is
A XA
(a,a)
AND RELATIONS
A =
75
then
{a}
an infinite set.
can be interpreted graphically
by drawing two perpendicular lines with
also
(2,4)
(3,4)
(4,4)
(2,3)
(3,3)
(4,3)
(2,2)
(3,2)
(4,2)
A =
{2,3,4}, the
graph
shown
in Fig. 36.
The
A XA
is
as
3.
Similarly,
XA are associated
234
is
37
SETS
76
RELATIONS
FUNCTIONS
and 6 G I.
Thus far the
the formation of a cartesian-product set. However, this same procedure may be extended to involve the elements of any two sets A and B.
A = {2,4,6}
denoted A X B, is
B =
Example
1.
If
and
{3,5},
pairs yields
3-*
3-*
(2,3)
3->(6,3)
(4,3)
6^
4^
2^
5 -+(4,5)
5 -+(2,5)
5->(6,5)
2->(3,2)
2-*
(5,2)
3^4^(3,4)
5^ 4-+
(5,4)
/
\
6 -+(5,6)
6 -+(3,6)
B XA =
{(3,2),(3,4),(3,6),(5,2),(5,4),(5,6)f.
A X B may
Here
A XB *B X
A,
from those
of
in general be different
B XA.
In summary, A X B = { (z,y) x
A and y B}. The cartesian
set A X A is a special case of the cartesian product A X B when A = B.
However, A X B ^ B X A when A ^ B.
If in Example 1 the number of ordered pairs on A X B and B X A is
denoted by n(A X B) and n(B X A), respectively, then
\
n(A
B)
= n(B X A) =
cartesian products.
ORDERED
Example
A X C =
2.
If
PAIRS,
A =
and C
{1,2,3},
77
then
4;n(C)
= 3;andn(A X
C)
n(A) -n(C)
12.
{(1,1), (1,2), (1,3),(1,4), (2,1), (2,2), (2,3), (2,4), (3,1), (3,2), (3,3),
(3,4)};n(C)
Note
{1,2,3,4}
AND RELATIONS
{(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3),(4,1),(4,2),
(4,3)};n(A)
C X A =
CARTESIAN PRODUCT,
first
components
A X C and C X A
Graph of
A*C
is
12.
Graph of
C*A
FIG. 38
It was stated earlier that all real numbers may be represented geometrically on a coordinate line where a 1-1 correspondence can be established between the set of points on the line and the set of real numbers.
This line
If
is
now two
Each point
referred to as a cartesian (rectangular) coordinate system.
in the plane can now be associated with an ordered pair of real numbers
line.
The components
of
P; the
first
component
line),
and
is
The
entire
Re
B}.
78
FUNCTIONS
RELATIONS
SETS
now be
of the plane and the set of ordered pairs of real numbers by associating
each point in the plane with an ordered pair of real numbers and, conversely, associating each ordered pair of real numbers with a point in the
plane.
The concept of cartesian product can be extended to more than two sets.
For example, the cartesian-product set A X B X C can be defined as the
set of all ordered triples (a,6,c) where a E A, b
C.
If
B, and c
A ** {1,2}, B = {3,4}, and C = {2,3,5}, then
A X BXC =
{(1,3,2),(1,3,5),(1,3,3),(1,4,2),(1,4,3),(1,4,5),(2,3,2),
(2,3,3),(2,3,5),(2,4,2),(2,4,3),(2,4,5)}
Schematically,
The
set
A XB X C
R XR X
e
which, in turn,
may
space,
Exercise 12
1. If
=*
{1,2,3,4,5},
A -
{3,4,5},
B =
A XB
e.UXU
A XA
b.
d^XA
g.
(AXA)U(BX B)
j.
(UXA)C\(UXB)
2.
Let
and
h.
(A
B) \J (B
A)
c.
B XB
f.
(AXA)C\(BXB)
i.
(A
B)
elements.
XC
<*
e.
3.
jn
Given
^ X /+.
d.
B XB
B XB XB
/.
(( x>y )
&
B XC
{(*,y)
EC A y EC A
N - {natural
5ow i? J+ X
a?
method
y]
numbers}, 1+
N re}ate4 to
ff
(B
X A)
How many
ele-
\xBAy<BAx7*y}
(positive integers),
+
/ ?
C\
list
10 ordered pair?
ORDERED
CARTESIAN PRODUCT,
PAIRS,
AND RELATIONS
7<?
RELATIONS
3.4
yield relations.
y, with the blank to be filled by some connective expresthen some universe must be designated from which ordered pairs
are to be selected for testing in the sentence.
In general, a gartition^of
sion,
^wo
J5^5L2^SS4jPlff5JJ^rod-
which
do not. The question
*
,^,v,.MH>'W^*--wi**
the original "connective expression"
From a matheor "the set of ordered pairs satisfying the sentence."
matical standpoint the meaning of a relation is more precise if it is
and the
the sentence
satisfy
..,
.^^.^t^wA-L^,,., _.
arises as to
set of those
*-,..
ii|M<_,
-.
-i
>rf
is
R-
x is greater than y
Here if the connective expression "is greater than" is replaced by the
U and
mathematical symbol ">," then R = {(x,y) x > y}, where x
between
a
resemblance
of
then
If
in
used
U.
is
R,
place
(x,y)
xRy
y
the two sentences xRy and x > y is evident. Accordingly, it is agreed
that the symbols "R" and ">" are interchangeable. Hence, the set
x > y} may be named and symbolized by either R or >
Thus,
(x,y)
{
R -
{(x,y)
\x>y}
or
> =
> -
(x,y)
x
|
is
greater than y }
{(2,1),(3,1),(3,2)}
SETS
80
It follows that (2,1)
ER
FUNCTIONS
RELATIONS
or (2,1)
6 >
is
relation
y,
condition, such as
when a
>
y}^
is
more convenient
>
to
name
The
If
an
&
Example
If
2.
R is formed, namely, R =
G U X Z7. A tabulation for
y}
where
(x,y)
(2,2),(2,4),(2,6),(3,3),(3,6),(4,4),(5,5),(6,6)
RC UX
It
U =
(x,y)
this
{2,3,4,5,6} is
is
a factor
relation
is
U.
To
Example
From the
}.
3.
set
Let
A =
meaning
{2,3}
and
A X B it is possible to
B =
is
Then
1.
Table
Four elements
{1,2}.
example
Three elements
Two
elements
{(2,2),(3,2)J
ORDERED
PAIRS,
CARTESIAN PRODUCT,
AND RELATIONS
81
and
2.
For example,
ing-property method.
may be described as
The
Even though a
tively.
subsets
{(x,y)
\y
# 2
{(2,1), (3,2)}
1}
specific subset of
and
{(x,y)
and R%
\
A X B may
{(2,2)}
A X
Graph of
A*B
Graph of
FIG.
Graph of
/Pt
3
/?2
39
FUNCTIONS
RELATIONS
SETS
82
Any
These pairs
EQUIVALENCE RELATIONS
R or aRa. For
each a in U, (a,a)
be the brother of Joe, but Tom is not the brother of
Tom. Hence, the relation "is the brother of" is not reflexive, since
(Tom, Tom) does not belong to the relation. The relation "is as tall as"
a.
R is
example,
said
to be "reflexive" if for
Tom may
is reflexive,
since
It follows that
A XA
from
extracts
"="
is
If
A =
1,2,3,4 }
a reflexive relation.
-R.
R, then (6, a)
symmetric if whenever (a,6)
This represents a reversible property in that aRb implies bRa. The
If "Tom is married to
relation "is married to" is a symmetric relation.
6.
is said to be
of,"
c.
and
it
is
contained in."
"is
is said to be transitive if
whenever
(a,6)
G R and
(6,c)
G R,
then
it
than"; while
the father of" and "is in love with" are not transitive
-R.
relations.
Throughout
Example
"=
Symmetric:
A
If A
Transitive:
If
Reflexive:
If
is
and
"
"
is
set,
JS
then
A =
A, 5, and
A =
Hence
' *
are sets
A =
and
B = A.
=
A B and B =
B, then
if
True
True
C, then
True
C.
an equivalence
to sets.
A.
relation.
ORDERED
Example
The
2.
three properties.
If A
Reflexive:
PAIRS,
AND RELATIONS
CARTESIAN PRODUCT,
relation
83
not possess
to sets does
all
Symmetric:
If
Transitive:
If
is
"C"
then
A C
are sets
A, B, and
A C
Hence
set,
and
A.
False
A C
and
and
are sets
B C A. False
A C B and B C.C, then
B, then
if
C.
True
is
it
transitive property.
Example
3.
Reflexive:
Symmetric:
If
"is
False
a.
then 6
&,
"is
a.
False
Transitive:
If
fc,
Hence
Example
and
b "is the
mother of"
any
c,
then
False
c.
4.
all
^ A.
A & B, then B ^ A.
If A ^ B and B ^ C, then A ^ C.
Reflexive:
Symmetric:
If
Transitive:
The
relation "=="
Example
an equivalence
5.
in the set {a
Reflexive:
is
a
|
True
True
True
relation.
">"
be considered on
all
numbers
Re}.
True, since a = a
Symmetric: If a > 6, then b > a. This statement is true for the
case a = b, but false in all other instances.
True
If a > b and b > c, then a > c.
Transitive:
The relation " > " is not an equivalence relation, since it lacks the property
of
>
a.
symmetry.
Exercise 13
1.
Given
{2,3,4,5,6}, describe
equal to"
a multiple of"
a.
"is
c.
"is
e.
"is greater
g.
"is
2.
Graph each
6.
than"
d.
"is less
than"
/.
"is
h.
"is 2 greater
of the relations in
Problem
1.
than"
-RELATIONS
SETS
84
Which
3.
FUNCTIONS
Universe
Relation
a.
"is
b.
"is
People
People
Countries
"is
/.
peace with"
the husband of"
"is parallel to"
"is perpendicular to"
People
Lines in plane geometry
Lines in plane geometry
g.
h.
Polygons
People
People
"is at
c.
d.
e.
i.
.;".
k.
Sets
Real numbers
<
I.
m.
from"
Sets
equivalent to"
Sets
"is disjoint
n.
"is
Let
4.
{1,2,3,4,5,6}
and
B = {1,2,3,4}. Graph each of the following relaA X B. Determine D* and R* for each of these
equal to"
a divisor of"
a.
"is
c.
"is
e.
"is three
5.
In Table
describe as
times
less
3"
twice"
b.
"is
d.
"is 3 less
/.
than"
"forms a proper fraction with"
1,
many
and
For each of the following, give an example of a relation that possesses the
6.
stated properties
d.
and transitive
and symmetric, but not transitive
Not reflexive, not symmetric, and not transitive
Not reflexive and not symmetric, but transitive
e.
o.
Reflexive, symmetric,
Reflexive
6.
c.
COMPLEMENTARY RELATIONS
3.6
not in A.
Similarly, a relation
in a
UX
is
relation" of R.
complementary
Thus,
"is
relations.
is
referred to as the
"is
"
complementary
ORDERED
Example
UX U=
The graphs
U=
If
1.
PAIRS,
{1,2,3}
and
R =
AND RELATIONS
(x,y)
?7,
{(l,l),(l,2),a,3),(2,l),(2,2),r2,3)
UX
of
CARTESIAN PRODUCT,
<
x],
85
then
r3.n.f3.2Vr3^t
FIG. 40
Example
2.
Relation
Complementary relation
"is not equal to"
"is not parallel to"
"is a multiple of"
"is the mother of"
"is not greater than"
a,
c.
"is
d.
"is
e.
"is greater
In summary,
R =
if
(x,y)
UX
3.7
C7
is
J7
In words,
is
(x,y)
UX
U, then
relathe
complementary
}
(z,2/)
the set containing those ordered pairs (x,y) of
tion to R.
than"
Z7
$5
is
not in R.
INVERSE RELATIONS
special type of relation that has extensive use is the "inverse relation."
This concept is illustrated in the following examples.
R = {(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)} in
=
the set U X Z7, where U
{1,2,3,4} is given, then the domain of R is
If now the components of all the
the
of
R
is
{2,3,4}.
range
{1,2,3} and
the
set {(2,1), (3,1), (4,1), (3,2), (4,2),
ordered pairs of R are interchanged,
Example
(4,3)
is
1.
obtained.
relation" of R.
{1,2,3}.
If the relation
It is
This set
is
The domain
designated as
of
R"
is
R~ and is
l
{2,3,4}
of
R~
is
SETS
86
FUNCTIONS
RELATIONS
l
the components of the ordered pairs, the domain of R is the range of R~
1
R"
of
and the range of R is the domain
dots and those of
Graphically, if the points of R are designated by open
1
in
Note that
shown
results
the
Fig. 41.
R- by black dots, we obtain
.
2
FIG. 41
Here
of
Example
R =
{(x y) \y
}
>
x}
and^" =
1
>
\x
{(x y)
}
y}.
Example
then
R' 1 =
Example
2.
If
{fay)
3.
If
R =
y =
is
{fay) x = y
l
x
2} and S~
and S
{fay)
x
\
=
=
{fay)
2
7/
}.
x 2 },
ORDERED
then fi"
dots for
R~ l
(x,y)
their respective
-5
-4 -3
AND RELATIONS
CARTESIAN PRODUCT,
PAIRS,
-2
If
we
graphs are as
shown
in Fig. 42.
87
and open
The
points
-1
FIG. 42
of one graph are mirror images for those of the other with respect to the
diagonal line. For example, Qi is the mirror image of PI and Q 2 is the
mirror image of P 2
The graphs of R and R~ l represent isolated points
.
Example
curves, since
UX U
?*
R X
e
4.
Inverse
Relation
a.
6.
"is greater
c.
"is
d.
e.
h.
"is
than"
a factor of"
the student of"
"is three
Re-
times"
"is the
husband of"
"is less
than"
"is
a multiple of"
teacher of"
"is the
"is five
"is 2
times"
more than"
"is 6 less
UX U
88
RELATIONS
SETS
FUNCTIONS
and
{(x,y)
x2
For example,
{(x,y)
are their
25}
if
x\,
own
Exercise 14
If
1.
.R" 1
and
=
=
=
=
complement
g.
R
R
R
R
2.
For each
a.
c.
e,
{(x,y)
[(x y)
t
3.
?/
\(x,y}
\y
{(#,?/)
a;
Jf2
(1) Describe
(2)
1,0,1,2,3}, tabulate
R'.
Specify the
2,
its
3z
=
2
2
i/
in
b.
2x]
3}
<*.
1}
Problem
R~ l by
f.
R =
# R =
{(x,y)
|O,2/)
\(x,y}
>
2/
x2
\
2}
2}
-f
y2
a;
2y}.
5}
R =
xy
3}
Example. If R
Determine whether
{(a;,?/)
jK" 1 .
table:
clusion graphically.
6. Since the cartesian
product
A?
complement of A
A X A
c.
is
a relation,
is
a relation, what
what
is its
is its
inverse?
What is the
inverse?
What
is
the complement
of 0?
5. The operations of union and intersection on the
relations Ri and #2 and on their
complements and inverses produce new relations such as Ri ^J R 2 Ri
R z (Ri VJ R z y,
and (Ri C\ R^Y.
,
ORDERED
U =
If
Example.
{(z j2/)
fli
flr
VJ
2 )'
ft.,-
a?
|
89
l(l,l),(l,2),(l,3),(2,l),(2,2),(2,3),(3,l),
# =
and
y)
AND RELATIONS
{(3,^)
a;
|
^ 3}.
Hence,
UX
(R,C\R,y (fii
UX U -
then
(1,2,3),
Let Ri
(3,2),(3,3)}.
CARTESIAN PRODUCT,
PAIRS,
{(1,1)
=
=
Ri r\
\J
R 2 and RI
r\
Ri
b.
a?
or
d.
a:
For each
6.
R2y =
If U =
r\
2i
7.
b.
Problem
show that (R t
5,
W #2)'
R[ r\ R^ and
Bi
(1,2,3),
((x )2/)
a;
|
j/},
fi a
{(x,y)
x
|
+y *
3),
and
(ic,2/)
a.
of the parts of
R[
^ 4-
2/
>: 3),
PROJECTS
Supplementary Exercises
1.
2.7),
a.
b.
c.
d.
By
&
>
<
or a
or a
<
<
and
and
6
6
of real
<
>
numbers (Section
0.
0.
Example.
as
G =
If
2
{x
#3
E R*
4,
(x
where
l)(x
2)(o?
5)
>
0},
then
(?
can be expressed
Case
1:
={aj|x-l>OAx-f2>OAa;~5>OJ
(? 1
{x
>
= {x\x>
Case
3:
FUNCTIONS
RELATIONS
SETS
90
5}
Ax < ~2 Ax
<5}
={x\x-l<OAx + 2>QAx-5<0}
{x
\x
<
> -2 A
<5)
<?={z|z>5}W0U(z|a;E
Hence
is
shown
]~2,1[) \J
in Fig. 43.
12345
-5-4-3-2-10
FIG. 43
of the
example
sets:
a.
b.
J =
c.
AT
d.
E Re
{x E R<
{s G JR.
= {* E #
is
5)(z
v2
To say
3.
square
- 2) > 0)
(s
2)(
4)(z 4- 2) < 0}
- 2)(x -f 1) < OJ
(a + 5)(x
- 3) 2 > 0}
(a + 2)(a?
x(x
{x
that
equal to 2.
is
irrational
The method
means that no
of proof
is
rational
number
and is
attributed to Euclid
exists
whose
referred to as
"reductio ad
The method
If
\/2 is rational, then there exists a rational number of the form p/q (where p,q
q y* 0) whose square is 2.
to lowest terms; that is, p
Comments
Proof:
z
(!)
(7>/<z)
(2)
(3) Since
*= 2.
2g
2
.
p 1 = 2q z then p 2 must be an
,
even integer.
E I,
and laws
of
an integer and 2q 2
is
an even
integer.
(4) If
also true.
(5) Substitution.
ORDERED
2
PAIRS,
(6) If 4fc
z
(7) Since q
AND RELATIONS
CARTESIAN PRODUCT,
(6)
(7)
and is divisible by 2.
The initial assumption that p/q was in
91
Dividing through by 2.
Argument analogous to steps 3 and
4.
integer
(8)
lowest terms
4 and
a
(9)
7,
(8) Contradiction.
contradictory to steps
which show that p and q have
common
is
divisor 2.
a.
6.
(9)
nated as
v2
whose square is 3.
whose cube is 3.
exists
exists
4, If a red die and a white die are to be rolled, where the possible outcomes are
designated as the ordered pairs (x,y) with x representing the number on the red die and
y the number on the white die, describe each of the subsets in parts a to e by the
tabulation method and by the defining-property method.
If
Example,
we
let
U -
{1,2,3,4,5,6},
all
UXU=
The subset
Si,
&
The subset
St,
Si,
=
=
S<,
b.
c.
d.
The
The
The
The
second
e.
sum
sum
sum
given
by
=
=
is
given
by
{(5,6),(6,5)}
{(*,)
*+-!!}
{(1,1))
{(x,y)
x
|
=
=
- l(x,y)|s+y{
to 2,
is
given by
2)
a.
to 11,
The subset
is
f(l,6),(2,5),(3,4),(4,3),(5,2),(6,l)|
S*
The subset
to 7,
to 13, is
given
by
13}
die.
The number
of dots
on the
first
die
is
twice the
die.
When
5.
set
FUNCTIONS
RELATIONS
SETS
92
UX UX U
outcomes.
a. Tabulate the elements of U X 17 X U.
b. Let A = set of elements corresponding to the nickel falling tails
B set of elements in which the three coins match
C = set of elements in which the number of heads exceeds the number of
tails
Tabulate:
(I)
(2)
WC
(3)A\JB
(5)UC
A'
(D A* r\c
(4)
(6)J3'nC
(9)(4uc)'
(8).un)nc"
UXUX
6.
each
Let A - {1,2,3,4},
of the following:
5 -
g.
h.
j.
(BXC)C\(AXD)
k.
(B
7.
a.
b.
c.
d.
e.
/.
13,4,5},
A XB
A XC
B XD
d.
b.
e.
(4,5,6,7),
and
c.
i.
X D)
C\
(B
A)
D =
{3,4}.
Tabulate
B XB
C X D
A XB X D
Is
= n(B X A X D)?
A X B X D equal to B X D X A?
Is A X B X B equal to B X B X A?
Is A X A X A equal to D X D X D?
Is D X D X D a subset of A X A X A?
Is A X B X D a subset of A X C X D?
Is
b.
and
f.BXC
a.
respectively,
17
AX A
BXA
A XD
a.
q,
A X
A X
(B \J C)
(B Pi C)
X B)
X B)
(A
(A
VJ
(A
n (A
X
X
6,
C)
C)
The cartesian set A X A has 16 ordered pairs. If two of these members are
and (4,2), find the remaining 14 members. Tabulate the elements of set A.
b. The cartesian set A X A X A has 27 ordered
triples, and one of its elements is
Find the remaining 26 elements.
(0,1,2).
9a.
(3,1)
10.
rational
number
defined to be a
number
and q
0.
Another
is
definition for
p/q
is
defined.
If (0,6)
a, (a,b)
& (a,&)
c.
(a,c)
G F,
=
(c,d)
(c f d) if
+ (c,d)
G F,
and only
(ad
+ 6c,
0,
if
and d
ad
&<*),
be,
0,
then;
ORDERED
CARTESIAN PRODUCT,
PAIRS,
AND RELATIONS
Example.
The ordered
a.
p/q
= I and
I
pairs (3,4)
8 * 6 4.
+ (3,5)
b.
(7,8)
c.
(5,6) -(3,10)
and
3-84-6.
93
In the form
(1,4)
Closure
F-l:
(a,&)
(c,d)
Example.
F-2:
(a,&)
(c,d)
Example.
(ad
(3,4)
(ae,bd)
(3,4)
bd]
be,
(2,3)
(9
+ be,
Id}
E F.
12) = (17,12),
F.
8,
(oc,&d)
(15,44),
and
and
(5,11)
Laws
and (ad
(15,44)
and
(17,12)
E F.
E F.
Commutative Laws
F-3:
(a,&)
(c,d)
(c,d)
+ (a,&).
Verification:
(0,6)
(c,d)
+ (c,d) + (a,6) =
=
(ad
(c6
+ 6c,
+ da,
(ad 4-
&d)
be,
Authority
Definition of addition
db]
Definition of addition
bd)
commutative
Hence
F-4:
(c,d)
(a,6)
(a,&)
(c,d)
(c,d)
(c,d)
+ (a,&).
(0,6).
Laws
Associative
F-5:
[(a,&)
F-6:
[(o,&)
(c,d)]
(c,d)]
(e,/)
(c,/)
(a
= (0,6)
Distributive
F-7:
(a,b)
[(c,d) 4- (e,/)]
Verification:
[(c,d) -f (*,/)]
(o,&)
M)
(a,6)
(c/
acf
=
=
[(c,d)
F-9:
There
There
exists
exists
Authority
Definition of addition
distributive law for
de, d/)
and
integers
Definition of multiplication
ade, bdf)
+ (ae,6/)
(acf
(,/)]
Definition of multiphcation
Definition of addition
+ a ^ 66^)
+ ade, bdf)
(aftf
ej
(a,&)
Identity
F~8:
(e,/).
(o,b)
(ac,6d)
(a,Z)
-1-
Hence
Law
(c,d)
Definition of equality
(a,6)
(e,/).
Laws
(a,&)
(a,&)
(1,1)
- (a,b).
+ (0,1)-Jai^).
FUNCTIONS
RELATIONS
SETS
$4
Inverse Elements
F-10:
Verification:
(a,6) -f
(~a,6)
(06
(0,6)
(0,1)
Definition of equality
(5,o),
such that
(5,o)
(o,5)
Authority
Definition of multiplication
(a6,6a)
(b,a)
=*
Hence
The
interpretation of
(abt ab)
Commutative property
(1,1)
Definition of equality
(6,a)
(a,6)
(0,1),
(1,1).
Verification:
(a,b)
of F,
Authority
Definition of addition
ab, b)
F-13:
(a, 6)
(0,1).
of integers
(1,1).
is left
as an exercise.
Properties of Equality
E-l:
E-2:
E-3:
E-4:
E-5:
(o,5)
If (o,5)
If (a,5)
If (o,5)
If (o,5)
(o,5).
fed),
fed)
then
fed), then
fed),
(o,5)
-f-
(a,6)
fe/)
fe/)
(0,6)
fed)
fed)
-f-
fe/).
fe/).
fe/).
We
numbers be used in the form of ordered pairs for computation. This concept has
been introduced to provide a deeper insight into the structuring of numbers, for
example, the extension made possible by considering rational numbers as ordered
pairs of integers.
11.
10,
an integer x
if
numbers, then x
and many
fed)
is
others.
defined to
is
may
mean
fed)
(o,5)
fed)
- (o+c, 6+d)
= (ac + 6d, od +
be)
(a,6)
11
=
-
ORDERED
Each
of
PAIRS,
95
of the laws for the system of integers may be stated in terms of the concept
These laws can be verified by use of the definitions for equality,
pair.
an ordered
Verification:
(a,6)
(2)
(3)
The
The
+ (1,1) -
(a
1,
1)
Definition of equality
(a,6)
Verification:
(a,6)
Authority
Definition of addition
(b,a)
(a
+ b,
+ 6)
is
(a
-j- 1,
a).
Authority
Definition of addition and
commutative
(1,1)
positive integer
be written
(c,
+ d),
may be
where
a,
Definition of equality
expressed as (a -f 6, a), while a negative integer may
To prove that the
6, c, and d are natural numbers.
product of two negative integers is a positive integer, it is necessary to show that the
is an integer of the
Ti) and (k, k -f
product of two integers of the form (g, g
N. This is left as an exercise.
form (m
n, m) where g,h,k,l,m,n
c. Prove that the product of a negative integer and a positive integer is a negative
integer.
4
Relations
and Functions
INTRODUCTION
4.1
An important
consequence of the language of sets has been the evolvement of a more precise meaning for the concepts of "relation" and
"function." These notions must not be confused with their everyday
The
mathematics
is
function.
4.2
SUBSETS OF R e
XR
and
x,
point on the
a 1-1 corre-
belonging to
the graphical
In the same manner as
R X
Hence, relations in
Re X R
AND FUNCTIONS
RELATIONS
P xy
6R AyGR A
(x,y)
P^}
or
97
Re
(x,i/)
P*y
Re
where
is
capital letters,
Re
is specified, it is
understood to be
Re.
Example!. Thegraphof5 =
{(x,y)
Q
]
00
,
[and?/ G]
<*>,>[}
is
Example
1 illustrates
Example
2.
S =
Line
another
of Fig.
3,
R X
e
R<,.
45 can be described as
(0,0),(l,l) ;
If relation
A =
its
= |(-3 -3)
Example
way
is
(V2
V2),(1.7,1.7)X4 4)
7
.}
described as
{(x,y
It is
and
A =
B =
\(x,y)
{x
fi e
XR
and x
2}
2}
FIG.
{(2,3),(2,-l),(2,0),
{2}
44
.}
98
SETS
RELATIONS
FUNCTIONS
Line L
H.-Oj
r<-4-4)
-4
FIG. 45
FIG.
46
RELATIONS
The tabulation
AND FUNCTIONS
99
tabulation of set
Example
4.
The
C=
relation
{(a?,y)|a?
4 and
yE[-2,4]}
is
4 can be written x
4.
y=4
y x=4
y-2
FIG.
Example
5a.
The
X=
=
6.
The
c.
set of points
Y =
-
47
ERe XR*\y =
0}
{(a?,!/)
XR
\x
0}
described
as
Y+ =
=
e Re X
Re
x
|
>
0}
SETS
100
Example
The
6.
A =
x
[-2,4] and y
shaded
the
portion.
represented by
relation
is
FUNCTIONS
RELATIONS
{(x,y)
[0,3]} is
<*^
-5
FIG. 48
relations B, C, D,
a.
B=
{(x,y)
GA
and y =
0}
J-5,0)
-5
FIG. 49
in Figs.
49 to
52.
RELATIONS
6.
101
C=
=
c.
AND FUNCTIONS
D=
=
the set of
{(x,y)
all
\(x,y)EA A x >
the set of
all
0}
points on the circle to the right of the y axis,
(0,5)
(0.-5)
-6
FIG, 51
d.
E =
=
the
FUNCTIONS
= - A/25 - a;
y
the circle below the x
on
points
and (-5,0)
{(x,y)
(x,y)
GA
/\
set of all
(5,0)
4.3
RELATIONS
SETS
02
INEQUALITIES IN
TWO
axis, including
VARIABLES
Defining conditions which involve two variables x and y with the con"=
= 7, <*x
py > 7,
," "<," and ">" as implied in ax
Qy
and ax
<
R
of
relations
interest.
e
<E
7
(where
) produce
py
special
#,,7
A line L is determined by the defining condition ax Py = 7- This
nectives
81
$2
#3
=
=
=
+ @y 7}
+ f3y 7}
ax + Py
(x,y)
7}
condition x + 2y = 4
{(x,y)
{
(z,y)
ax
otx
=
>
<
+ 2y = 4}
x + 2y > 4}
x + 2y < 4}
{(x y) \x
t
AND FUNCTIONS
RELATIONS
103
For convenience, the corresponding subspaces of the plane are desigThe defining conditions that describe
nated as regions Si, $2, and S 3
S 2 and S 3 are given by the inequalities x
2y > 4 and x
2y < 4,
.
respectively.
ffte
-6
FIG.
53
The ordered
and
(1,0)
on
Accordingly, it will be found that all other points (x,y)
false
to
continue
in
as
yield
the same side of the line
region 83
(0,0)
includes
statements when substituted in x
2y > 4. Since region
described
is
the
that
it
follows
2
by
region
only those points on the line,
statement.
&
In more
Step
1.
2y
>
4.
+
+
&y
py > 7 or ax
Step 2. Represent sets Si, 5 2 and S* graphically.
associated
Step 3. The testing procedure should exclude those points
ax
from
obtained
line
on
the
py = 7.
that
are
with (0,0), (1,0), or (0,1)
There is always at least one such point that is not on this line.
inequalities
ax
SETS
104
RELATIONS
FUNCTIONS
on the line
Step 4. Substitute the x and y of any one of the points not
a
in
true
results
If
substitution
the
in the given inequality.
statement,
all other points on the same side of the line as the testing point will
continue to yield true statements and belong to the same set.
Step 5. The judgments made in Step 4 will uniquely distinguish
S z and S
Example
1.
The
them with
$y
<
the
y.
-7
FIG.
54
2
Example 2. The graph of the set or relation {(x,y) x 2
y = 25},
where x (E Re and y E Re, partitions the plane into the three regions
These regions or subspaces are shown in Fig. 55, where
Si, S 2 and S*.
Si represents the points on the circle, 83 those within the circle, and S 2
\
RELATIONS
AND FUNCTIONS
FIG.
given in Table
1.
circle.
The
105
55
Note that Si
U S U S, =
z
Table
R XR
e
e.
To determine
as in
Example
1.
&, S 2 and 83
graphically.
Step
Step 2. Test representative points from each of the regions in the
S 3 If
denning condition of the given relation. For example, (0,0)
in x 2 + y 2 < 25, the true statement
x and y are each replaced by
< 25 is obtained. All other points of region 83 possess coordinates
2
whose replacement in x 2
y < 25 continue to yield true statements.
In the event that the chosen point had resulted in a false statement, then
In
all other points of this same region would continue to do likewise.
,
Example
2,
any point
FUNCTIONS
RELATIONS
SETS
106
either
on or outside the
circle
2
z
Accordingly,
y < 25 produces a false statement.
replacement in x
the proper association of a relation with a definite region may be accomcondition in terms of the
plished by testing the validity of the defining
coordinates of a few points belonging to this region.
Fig. 56.
3.
=
T
Sj
xz
FIG.
2x
as
shown
3
in
2.
56
Table 2
Example
4.
The
ellipse
given
9s 2
by the
25y
defining condition
225
W^
in Fig. 57.
shown
RELATIONS
Example
5.
The hyperbola
AND FUNCTIONS
defined
107
2
by the equation 9x
25?/
225
partitions the plane into the three distinct regions Fi, V%, and Vz, as
shown in Fig. 58. Set descriptions for these regions are given in Table 4.
-9
-5
RG. 58
Irk
SETS
108
RELATIONS
FUNCTIONS
Tabled
4.4
RELATIONS INVOLVING
COMPOUND CONDITIONS
" "
In relations, defining conditions may be connected by symbols V and
"A," read as "disjunction" and "conjunction" symbols. These symbols
are used in the "calculus of propositions" to join statements together,
not sets. Previous discussion of these symbols referred to conditions
where just one variable was involved, but here their use is extended to
time."
Example
1.
The
set or relation
G=
Graph of set
FIG.
59
AND FUNCTIONS
RELATIONS
R e X R e which satisfy
totality of all ordered pairs (x,y)
= 4 or both. When translated graphically,
?/
y - 5 or 2x
represented by all the points on the two lines labeled with their
means the
either x
is
109
shown
Example
The
2.
in Fig. 59.
set or relation
|z
\(x,y)
2/
= 5A2o;-2/ =
4}
includes only those ordered pairs that correspond graphically to the points
which are common to both lines, namely, the point of intersection. The
= {(3,2)} is graphically represented by the point labeled
relation
(3,2)
-4
-5
Graph
of set
FIG. 60
In an algebra
Example
text,
G =
{(x,y)
|z
2/
= 5V2z-?/ =
Example
= 5/\2x-y =
{(x,y)
\2x
+
is
and 2x
4}
might
have
Solve simultaneously
This
4}
y = 4)
y = 5)
{(x,y)
(fey)
2x
|
2o?
|
y
^/
=
=
4}
4}
U {(x,y)
n {(*,y)
x
\
+y+y=
5}
5}
no
SETS
RELATIONS
FUNCTIONS
FIG. 61
FIG,
62
AND FUNCTIONS
RELATIONS
Example
3.
If
what is
which is two
{(x,y)
x
\
2y
111
2x
an "inconsistent
this results in
referred to as
graph of
Here
4y
linear
-4}, then
system/ the
shown
in Fig. 61.
x
2y = 4 A 2x
y = -4} = 0; that is, no
ordered pairs exist that simultaneously satisfy both defining conditions.
Example
{(x,y)
4.
If
fey)
a?
|
-y-
3}
and
=
then
(fey)
A C\B = B
A C\B A or
B as shown in Fig.
that of
62.
\2x-2y =
6}
Since x
5.
The
coincides with
3 implies 2x
2y
the solution set of x
Example
is
{fey)
|*>4 Ay>
3}
6.
-8
jr=4
FIG. 63
6,
we
referred to as
B =
SETS
112
Example
6.
The
RELATIONS
FUNCTIONS
the relation
lined regions of Fig. 64 represent
3
FIG. 65
I*
AND FUNCTIONS
RELATIONS
{(x,y)
y > x
3} andJ5 = {(x,y) \x
y > 4},
represented by the cross-hatched region shown in Fig. 65.
following set descriptions correspond to the indicated regions of Fig.
Example?.
then
The
A =
113
C\
If
is
65:
F =
G =
The
regions C, D, E, F, and
+ y<4/\y>x +
\x
{(x,y)
inclusion of the
S]
boundary
any
of the
In the absence
of
and
A' = {(x,y} y < x
3}
leave as an exercise the description
and graphical interpretation of the following: A \J B, B A' \J B'
A' 1 , B B- 1 and A C\ A~ l
A' C\B',A\J A', A
A', B~\ A
If
A =
A" =
{(x,y)
{(x,y)
>
>
3}.
3},
then
We
',
Example
8.
If
E=
graphical interpretation
is
{(x,y)
<
x*
The
relation
by the
1U
FUNCTIONS
RELATIONS
SETS
Example
9.
figure is left as
Let
U
A
5
C
We include
an
this
exercise.
= R. X R.
= {(x,y)\9x* +
144}
= i(x,y)\v>4x*-l}
= {(x,y) \y < 1)
W<
{(x,y)
(x
2)
+ (y -
4y
2)
>
(x
J
\(x,y)
M
N
3*
16
< 0}
{(x,y)\y>x*-4\
{(x >y
)\2y<x*-7\
.{(x,y)
{(x,y)
(x
(x
+
-
2)2
2)*
+ 4(y + 4( Table
3)
3)
A
A
y
y
>
>
3}
3}
RELATIONS
AND FUNCTIONS
115
Exercise 15
{(z,2/)|s
e.
l(x,y)
g.
{(x,y)
x
I
+
-
2/
2y
0)
9}
4}
is
R X Rf
e
b.
3z
d.
6*
/-
A.
5y
9y
=
-
15)
12}
of the following:
Graph each
2.
FUNCTIONS
RELATIONS
SETS
116
{fey)
6c.
3s
{(a?,y)
6)
<0}
<3|
jy43* > 6}
3*
t.
{fey)
k.
{fey)J2y
3.
Graph each
a.
>
2y
(fey) |*
fir.
{fey)
=
=
=
s -h y
Z>.
{fey)
c.
{(3,y)
{fey)
e.
{fey)
/.
{fey)
0.
{fey) |2
x
|
3
3
z
3s
V
A
V
A
V
2z
4y
4y
+y
4V =
5
5
2x
2z
Graph each
{fey) |x
c.
{fey)
e.
{fey)
/.
ffey)
g.
tfey)
*.
{(a,y)
{fey)
j-
{fey)
k.
(fey)
/.
{fey)
m. {fey)
.
o.
{fey)
{fey)
r-
(fey)
r.
{fey)
{fey)
{fey)
2:
>
4}
2:
+ 3y <
4{
3}
3}
6}
6}
153
0}
-10}
5x
-1-4
6.
{fey)
{(,y)
14
- -3}
d.
[0,2]}
{fey)|y E[0,7]}
f*4-3>l} r\{(x,y}\y<Q\
>
2x
y < 2 and
<
>
&+
5} Pi {(3,y)
\x~~y<3Axl
1}
{fey)
<
5}
9a; 2
t/
0}
{(
a;
3y
of the following:
<
4x
9z 2 4-
Let
2?/
+ i/>3}
G [-3,5] and y E
9a; 2
5.
/i.
11}
=
=
=
a;
4}
11}
0}
8}
'
{fey)|y
0}
15}
a.
4 2y
4 2y
4 2y
4
2s
4.
33
-y + 7
tfey)
fc.
<
of the following:
{fey)
{fe2/)
2y
/.
J.
a?
|
d-
16i/
162/
2
2
A =
{fey)
{fey)|y
^ -
{fey)
2a;
<
<
- y < 4}
144 A x z - y*
144} P\ {fey)
> 0}
>0|
-
>
01
>
|
4}
32
<
4}
2y
[0,
<
4}
AND FUNCTIONS
RELATIONS
Graph each
a.
b.
d.
e.
g.
6.
a.
117
B
A
C\
h. [(A n B) Pi C] r\D
C\B)r\C
=
=
If A
{(x,y} x -f y
36}, graph each of the
B = {(s,2/) (z,7/) G -4 and x > 0}
C = {(z,y) (ic,2/) E 4, > 0, and y > 0}
D f(,2/) (a;,?/) G -4 and y = 0}
E = {(a?,y) E^|x<OA2/<0}
c.
f.
A \JB
(A
following subsets:
6.
a;
c.
d.
7.
Let
A =
.B =
C =
D
Graph each
>
<
{(rc,2/)
\(x,y}
f(o;,2/)
{(a;,y)
0}
x
a;
0}
y
2
>
2
2/
3}
<
9}
a.
C'
6.
D'
c.
d.
C' \J D'
e.
B r\C
f.
g.
(A r\ B)
h.
[(A r\
4.5
nc
B) r\
C] r\
i.
B C\ C'
Cr\D
(A r\B] r\c
= {(x,y) \x\
1.
The graph of
y
3} is represented
This follows since the defining condition \x\ + y = 3 becomes
xifx>Oor3 y = x if x < 0. Accordingly,
Example
in Fig. 68.
=
3
7/
{(x,y)
+ y = 3/\x>0}\J
-5
FIG. 68
{(x,y)
x-y=-3/\x<0}
1 1
SETS
Example
2.
The graph
RELATIONS
FUNCTIONS
of
,y)
appears in Fig.
\x-y>-Z/\x<0}
69.
s
,
-6
FIG.
69
FIG.
70
RELATIONS
Example
Qi
{(x,y)
The graph
of
Q =
If
3.
{(x,y)
>
y
2}
\x
2)},
and Q 2 =
then
119
Q =
Q, \J
Q 2 where
,
{(s,
M
Example
M = M U M U M U Af
If
4.
(x y)
AND FUNCTIONS
\x\
4,
\y\
4},
where
{(x,y)
(x,y)
-x +
Ax<OA2/>0}
Exercise 16
Graph each
this exercise is
e.
of the following:
b.
a.
c.
R XR
\y\
I*
{(x,y)
-M
=4}
f.
13
= 5}
- 3| - x\ =
2}
7}
6}
|a?
m.
2.
a?
(x,y)
Graph each
N>
g.
{(,y)
|3
{(a?,y)
|a;
-f
\x
2|
6.
1}
a?|
>
>
y}
2|
|y
|2/|
<
4(
-a?|
e.
y\
of the following:
d.
1J
1|
<
{(x,y)\
2}
>3 -
<4}
2}
3.
a.
Graph each
{(x,y)
c.
{(x,y)
a.
4.6
of the following:
{(x,y)
b.
4.
x}
i/|
of the following:
Graph each
{(x,y)
FUNCTIONS
RELATIONS
SETS
20
\x*
5x
6.
6|}
{(x,y)
\W -
x
\
6y|
>
0}
CONCEPT OF A FUNCTION
mathematics
in
is
that of a function.
With
as to
gajrs.
fTncSonlmt
relation
is
is
a function
it
if
satisfies
arise.
even though
their second
Every function
is
a function.
may
be
R, RI,
designated by capital letters such a,s A, B,
be convenient when discussing functions to represent sets of ordered pairs
but even in these
/i, / 2
by lowercase letters such as/, g, h,
.
not be mandatory.
of
of a set
ordered pairs of the form
instances it will
It will
A description of
a function in terms
A functionJwith
(x,y) is now given.
domain D* and range R* ia nonempty set wJ^re for^ej^^x ^f)f there .i^
one and only one y G R* which combines with $ to foffll^cwho^ the (x,yys
belonging to f.
function so defined
traditional mathematics.
is
^~1B*
xj^ D*
121
O-^
f a real variable.
JLi^caJIfidL a revalued JuncIn the material which follows, examples illustrate how functions
tion.
are joined together to form relations and how relations are separated to
form functions. These procedures necessitate a clear understanding of
the difference between a relation and a function.
Example
1.
Let
A=
5=
C-
Relations
A and B
satisfy the
4.7
The expression "function of" is not to be confused with the mathematical meaning of "function." As already described, a function is a set
of ordered pairs satisfying a special property.
However, the jphrase $ is a
"f unction of" x will imply that ordered pairs
(&,y) can be formed possessOne of the meSuxls used to define
ing the property of single-valuednesg.
a function
is
range values
form
of formulas or equations.^ In certain other instances, 'direcbe given in word sentences which are not expressible in terms of
equations and formulas. In all cases, some means must exist whereby
in the
tions
the
may
naming
of a value in the
domain
naming
j(x)
= A/25
9z 2
"
is
an
A/25
/
9xV
In set notation
= to) \xeRef\yE
it is
Re S\y
written as
f(x)
= A/25 - 9z 2
The notation
of
is
..^
EE-
^s
an
or ".funetionjLfiL^"
Thus, /(I)
25
1 is 4.
Similarly, /(O)
/(O) are second
*\/25
FUNCTIONS
-RELATIONS
SETS
22
-0 =
and so
5,
on.
- (1,4) and
(!,/(!))
components
the
function
to
ordered
These
/ and
pairs belong
(0,5).
(0,/(0))
not to a function f(x). This ambiguous usage of /(re) has become so
embedded in mathematical literature that it seems impossible to eliminate
such as f(x), g(x), and so on have to be
it, and, as a consequence, symbols
of the ordered pairs
read
carefully.
/(re)
leaves
little
f(x)
{(x,y)
\xER
9z 2
"
is,
is
= V25 -
/\yR Ay = f(x)
= A/25 -
9z 2 }
because the "/(re)" of the left side does not represent the set of ordered
The left side should be represented by / and
pairs on the right side.
not /(re), and thus ambiguity would be avoided. At best, if f(x) appears
as indicated, it
must be regarded
This
or 9z
on the
9rr
what
3x
is
2} are written as
= 9s*-3z
{(x,y)\f(x)
2}
2
3x
Here 9z 2 - 3x
2}.
side suggests the rule from which the corresponding function is
3x
left
is
{(x,y)
/(re)
9z
x
created and is distinguishable from 2x } \/9
rules that create other functions.
The description
/=
makes a
{(*,/(*)) |/(s)
{(x,y)
9s*
clear distinction
In the set
conditions x
\xR
-3s +
of /
etc.,
which suggest
2}
and
f(x).
9x 2
the
while
the
set
(x,y)
R A
way
or
might
= A/25
9# 2
either
permit y to be chosen
G Re*
could
from the
be
set of
what
is
usually meant
[~iMH and
in
[-5,5], respectively.
AND FUNCTIONS
RELATIONS
c.
may be
A = (x,y)
B = {(z,2/)
C = (X,T/)
d.
E =
These
a.
x
a:
pairs
a;
{(x,y)
In each case
it is
R Ay - 1
- 2 A y
R
G #e A y He A
6 R. A y G fi A
x <E
6.
a.
restated as
123
+
+
z2
x*
2
7/
y*
= 16}
- -16}
is
so on.
The graph
parallel to
shown
as
it,
Even though
in Fig. 72.
J-2,1)
all
(5,1)
(1,1)
FIG.
and
and
72
have identical second components, their corresponding first compoHence, A is an example of a constant function with
domain ] oo oo and range 1
Because of the nature of the graph, the expressions "line y = 1" and
it
from
{(x,y)
being more
the label y
6.
awkward
to write
\xERe A
</=
on the graph,
is
1}
The ordered
by
1.
pairs belonging to
....
SETS
124
Here
is
FUNCTIONS
RELATIONS
The graph
The domain
of
is
{2},
and
parallel to
of
is
it,
of set
as
is
shown
a line two
in Fig. 73.
]>,*>[.
(2,2)
-3
(2.-1)
-4
FIG. 73
(0,
units
Set
4),
and center at
(0,0).
The expression
2
= \/16
"circle x 2
7/
\/16
16"
is
used
16}.
4,4].
x 2 and y
equations, namely,
y
xz
The
which include
sets suggested
It
represent functions, and their graphs appear in Fig. 75.
that the relation C is the union of the functions Ci and C 2 C
The domain of C is the union of the "domain of Ci" and the
,
is
by these
apparent
Ci VJ C 2
"domain
of
RELATIONS
(-4,0)
AND FUNCTIONS
125
(-4,0)
|(4,0)
-5
-5
Set
Set
Domain of
Range
of
Cz
Domain of Ci =[-4,4]
[-4,4
Ra.nge of
^=[0,4]
FIG.
75
C2 = [-4
o]
SETS
126
This illustrates
how a
FUNCTIONS
RELATIONS
relations, which
for many situations that arise in
Example
2.
The open
Zx
A
A
x
x
G
E
[0,lf
[1,4]
1)
in Fig. 76
compound
This set
is
a function.
circle at
point
(1,
-4
*_r
Setf
*
i
FIG.
76
Example
3.
a function of
its
AND FUNCTIONS
RELATIONS
127
must be represented by positive real numbers. The use of neganumbers has no significant meaning here, but zero area and zero
In this example, the domain D* is either
radius might be included.
radius
tive real
]0,flo[or[0,oo[.
If
and r are associated with the area and radius of a circle, respecz
then a well-known formula from geometry states that A
irr
tively,
V A/TT.
or that r
indicating a
It is
now
possible to
{(A,r)
Since
is
E]0,oo[
E ]0,
<*>[
is
A A =
Trr
its
or
\A 6]0,oo[ A r=
l(A,r)
form {(A,r)
r
|
^~
= \/A/w}
[.
of a circle as a
o [ A A = Trr 2
}
]0,
radius," then the function { (r,A) r
would be implied, where r and A are considered to be the domain and
function of
its
Example
4.
be represented by
total surface area
S =
/(r)
2irrA
27TT
{(TVS)
S=
|
/(r)
27rrA
2irr*}
the right circular cylinder is given the fixed volume of 100 cubic units,
that is, r 2 A = 100, then / can be restated as
If
]0,
>
[.
Exercise 17
1.
Which
a.
{(3,1)/4,1)(5,1),(-1,1)}.
b.
{(2,2),(3,3),(4,4),(5,5)[
c.
{(0,l),(0,2),(l 3),(2,4)}
d.
{(1,4)}
e.
by the
SETS
28
U - R X A,
2. If
a.
3.
What
a.
VT^"
-\/4x
by each
d.
g.
&
-5
e.
V*x -9
What
a.
Domain:
D* =
Rule:
(1)
functions do
we
&
4- 9
4.
FUNCTIONS
RELATIONS
2z
/.
{4,1,2,0}.
(2) Square
b.
Re - ]-<*>, [.
chosen by
(1) Multiply the element
(2) Add 3 to the result in step (1).
D* =
Domain:
Rule:
(3)
Tabulate at least
c.
Domain:
D*
Rule:
(1)
Cube the
five
3-).
ordered pairs.
R ~
e
*>[
For aU numbers of
in the interval
- 1,4[,
chosen.
Rule:
Form
values
e.
(1)
(2)
Cube
it.
describe
the
Domain:
geometrical
significance
of
the range
x represents the domain variable and is chosen from the number interval
words the rule of the function described by each of the following:
5. If
]0,
[,
state in
3a?
1
b.
a.
+4
xz
c.
V4 -
+4
d.
6.
a.
6.
c.
d.
What
7. If
functions
a.
c.
following?
f
h
XR
R.
e)
state the
{(x,y)
{(x f h(x))
h(x)
of each of
the following
RELATIONS
AND FUNCTIONS
8.
The line 3x - 2y = 7
The ellipse 4x 2 + 9y 2
36
The parabola x 2 = 4?/
The hyperbola xy = 10
The point (2,8)
a.
6.
c.
d.
e.
9.
a.
How would
= f(x /)
}2
you
2x
'
meant by each
of the following:
c.
is
129
b.
4}
Ax E
{(x,0(x))
g(x)
x2
4- 4}
[-2,4
10.
in set notation:
a.
6.
c.
d.
w,
if
the length
is
twice the depth and the depth is 4 inches less than the width.
The volume of a gas as a function of the pressure p.
f.
r.
set
for
11.
strip of nickel 200 inches long and 16 inches wide is to be made into a rain
gutter by turning up the edges to form a trough with a rectangular cross section.
If the bent-up edge is x inches, express the volume of the trough as a function of x.
12. A gardener wishes to fence a rectangular garden along a straight river requiring
no fence. He has enough wire to build a fence 200 yards long. If the side bordering
on the river is represented by the variable x, express the area of the garden as a
function of
x.
At noon a
of a car
Norman window
of 100 inches,
and if the
side
(a rectangle
which
is
as a function of x.
17.
square,
wire 100 feet long is cut in two parts; one part is bent into the sides of a
If the perimeter of the square
into the circumference of a circle.
SETSRELATIONSFUNCTIONS
130
represented by
function of p.
is
18.
p, express
the
sum
of the areas of
circle as
From each
4.8
AND INTERSECTION AS
APPLIED
TO
The
the
circle,
ellipse,
functions.
Example
at the point
1.
(A, ft)
(x
Let
a.
(x
S =
6.
x*
(x,y)
A)
(y
its
+ y* - 4x - lOy
+ y* 4# IQy
(y
radius is
The graph
5)
49.
with center
- ky = r
- 20 = 0}.
The equation x 2
2)
and
of a circle
can be restated as
20
is
at (2,5)
7.
of
S is labeled in
2
Fig. 77 as x
y*
4x
- Wy
(9,5)
20
0.
RELATIONS
c.
=
-
+ V49 + \/45 -
(x
x*
2)
x,
AND FUNCTIONS
we
131
find
and
4x
= 5 - V49 = 5- V45 -
(x
2)
Then
+
=
and S
Si VJ
fif 2
- V45 -
The graphs of
The graphs
ingly.
d.
/Si
and S 2 appear in Fig. 78 and are labeled accordand $ 2 represent sets of ordered pairs which
of Si
(9,5)
FIG.
78
The range
of
is
SiC\S* =
{(-5,5),(9,5)}.
Example
2.
respectively,
is
given by
(x
Let
S =
a.
(re
l)
a and
/9
+ (y +
5)
of
9^/
+
/4
equal to 3 and
The graph
b.
4x 2
The equation 4z 2
{(x,y)
is
(y
Sx
9?/
1.
+
80;
The
(x
9(h/
193
ellipse
193
has
0}.
its
can be restated as
2, respectively.
QOy
FIG.
c.
FUNCTIONS
RELATIONS
SETS
132
I)
x,
we
79
find
and
= -5 = -5 -
V9 | V8 f
y= -5+
|
where
5 = 5
U5
2.
= -5 - |
V8 -
a;
2x}
(x
x2
I)
RELATIONS
AND FUNCTIONS
133
-2
2
y =-5- -|V8-;r -i-2*
(4 ,-5)
Graph
of 5,
FIG. 80
e. The domains of S, Si, and $ 2 are each equal to the interval [2,4].
The range of S is the union of the ranges of Si and $2, namely,
Example
3.
center at (h,k)
respectively,
is
and a and
given
by
(y-W
-j
2
Z>
- 92 = 0).
24z
64y
24x
a.
+ 64?/ 92 = can be restated as
16y +
2
=
This
1.
hyperbola has its center at
2) /4
( x + 3)2/16
(y
a semiconjugate axis of 2.
4
and
of
axis
(
3,2) and a semitransverse
S =
Let
{(x,y)
167/
b.
The graph
c.
=
=
of
+ i A/Co; +
+ i Vz +
2
is
3)
The equation 4z 2
6z
- 16
-7
and
=
=
2
2
V(x +
3)
6z
| Va;
- 16
- 7
SETS
134
FUNCTIONS
RELATIONS
where
d.
S2
S =
Si
The graphs
\(x,y)
2/
=
-
2
2
+ | Vx +
- Vz +
2
6a
62
I-
7}
7}
>S 2 .
of
& and S
+64/-92=0-
("3,2)
-12
FIG. 81
/=
+-
f (-7,2)
-7,2)
-11
/=
2-j
<-4
-4
Graph of 5j
Graph
PIG,
82
AND FUNCTIONS
RELATIONS
135
The domains of S, Si, and $ 2 are each equal to the union of the
R e x & ]-7,l[}. The range of
]- o,-7] V [!,>[ or {x
S is the interval - ,<*>[. The range of S is the union of the ranges of
oo
VJ - oo ,2] = Note that
Si and &, namely, [2,
e.
intervals
Example
4.
(h,k) represents
vertex and
(y
Let
a.
4y
+4=
4#
[.
4a(a?
width
is
given by
h)
0}.
can be rewritten as
(0,2)
-5
FIG.
c.
where S
&
Va;
x,
we
83
find
and
Vs
2)
($/
1.
x.
FUNCTIONS
RELATIONS
SETS
136
(0,2)"
-3
-3
Graph
Groph of
of
FIG. 84
The graphs
of Si
[2,oo[U]-oo,2] =]-oo,oo[
Note that Si C\ S 2
Example
as y
5.
f(x)
{(0,2)}.
ax
described
ax 2
7^ 0.
line or a parabola.
by
6x
where
E XB
a,b,c
space
is
-R e
and
either a
functions, respectively.
and y
f(x)
3x 2
2x
define linear
and quadratic
functions,
respectively.
Exercise 18
Using the following methods, discuss Problems
Section 4.8 were discussed.
a.
fe.
c.
e.
to 12 as
Examples
through 4 of
a standard form.
to
S can be
associated with
St.
the domains
and ranges
of Si
and
$2.
AND FUNCTIONS
RELATIONS
137
Circles:
1.5S S =
2.
3.
x2
{(3,0)
{(3,0)
{(x,0)
x2
x Ellipses:
S =
S S =
4.
5.
6.
+
+
+
x2
{(3,0)
S S =
S =
8.
9.
6x
-f
8x -f 100
120
{(s,0)
9x 2
x
|
{(3,0)
- 0}
- 0}
+
-13-0}
5
183
8x
+ 4x
+
+
+
+
-4 =
40
{(3,0)
{(3,0)
{(x,0)
40
x Hyperbolas:
7.
x2
240
4
80
160
63
0}
0}
64
0}
x Parabolas:
10.
11.
12.
5 S =
S -
{(x,0)
{(a?,0)
{(3,0)|
The graph
30
60
4
9
0}
0}
0}
or two lines.
17.
S =
S
S
S =
S =
18,
Graph each
13.
14.
15.
16.
a.
x2
{(x,0)
{(3,0)
+
+
40
40
x2
{(x,0)
9x
{(3,0)
x2
+ 6x + 80 + 13 + 6x + 80 + 25 =
4x
60
5^0}
- 123 - 40 = 0}
+ 9x - 30 + 40 - 0}
02
2
{(x,y)\2x
4y
1}
d.
c.
e.
/.
h.
i.
*.
19.
a.
c.
e.
/.
g.
= {(3,0)
Sn - {(3,0)
9
= I
x2
S2 -
US
S^
{(x,0)
{(3,0)
S -
it is
a function:
1)
'
j.
b.
{(3,0)
0}
0}
~}~
{(x,0)
18, discuss
S2
WS
the following:
d. Sz f*\ 03
Si r\ Sz
<S>4 VJ S&, and compare this with the graph of Sn
5e \J ST, and compare this with the graph of SIQ
S& VJ $ 9 and compare this with the graph of Siz
,
Problem
18.
21. Let
A =
6x
{(x,y)
4y
FUNCTIONS
RELATIONS
SETS
38
0}
F = {(s,?/) x -f 4 = 0}
Solve each of the following by a graphical procedure and/or an algebraic procedure.
Compare the results obtained.
|
A\JB
a.
b.
g.
B r\C
A UE
If
U=R XR
d.
23.
l(x,y)
24.
{(x,y)
If (x,y,z)
26.
{(x,y,z)
27.
28.
{(s,2/,2)
6}
22/
4s
5s
3s - 2y
9} C\ {(x,y)
2t/
3x
c.
BUG
/.
C C\E
6}
5y
h -
= 10 A 5x + y = 13 A 3s + 22/
2z
30
-I- 2/
C,
E C\F
{(z,2/)
-H
C X
h.
25}
^ (s,2/,2)
2s
If
CUE
e,
xy
A C\B
e.
12
where C
+ 22/
=
=
is
h -
32
- 1 A 3s + 3y - 2 2 = -7}
= 36 A 3t/ + 4^ = 1}
18
28 algebraically.
f-
13} Pi {(x,y)
4s
==
29.
{(s,i/)
30.
{(s,z/)
31,
5xy
9s 2
4.9
2st/
7y
and
30.
19}
=0}
The combining
of
of addition, sub-
and quotient
functions.
will
be restricted to
R XR
e
The
e>
/ and g are functions with ordered pairs of the form (x,f(x)) and
(x,g(x)), respectively, then Table 1 summarizes the four different ways of
combining / and g to obtain a third function. If U = R e X Re the
domain of the sum, difference, product, and quotient functions is, made
If
RELATIONS
AND FUNCTIONS
Table
up
numbers
of those real
for
139
and
of f(x)
g(x) has
meaning.
Example
1.
by
g(x)
x2
|/(aO
2x}
2x and
2x}
let g
be
Then
3.
\(x,2x) |/(x)
and
g
Hence
(x,g(xft
+ g=
g(x)
{(,/(*)
x*
3}
+ 0(aj))
/(x)
(x,
x*
3)
g(x)
+ j(*) = & +
=
2x
x*
3}
3}
fg
2x
~2
X
/~\
\X)
The
respective domains
Example
2.
and ranges
To sketch /
q
o
Id
V3J
g of
set of axes.
the corresponding /(#) and g(x) values could be added to obtain the
For example, in Fig. 85 (/
1) is obtained by
0)(
(/
00 (z) value.
adding line segment AB to itself, since line segment AB represents both
0(
1)
and /(-I).
AD
represents
which
is
SETS
140
RELATIONS
FUNCTIONS
The dotted
line of
f(jf) or
FIG. 85
Another method
The
is
to
table
Table 2
4.10
INVERSE FUNCTIONS
A function / is
first
component with
RELATIONS
AND FUNCTIONS
141
z-
then
1}
1
Further, the domain of R is identical to the range of fi*" and the range of
1
R is identical to the domain of Br If a given relation is a function, it
,
cannot be assumed that the inverse relation will also be a function. The
inverse must be examined to determine whether the requirements of a
function are satisfied.
Example la. If / =
Here both / and /~" are
1
6.
If
then/-
functions.
/=
Here / is
1
{(5,-2),(6,-2),(3,4)}, then /a function, but /"* is not a function.
{(-2,5),(-2,6),(4,3)}.
Here
{(5,1),(3,1),(-2,1)}.
If/ = {(l,5),(l,3),(l,-2)}, then/-1
/ is not a function, but / is a function.
1 d. If
{(3,l),(-2,l),(-2,3)}.
{(l,3),(l,-2),<3,-2)}, then /1
Here/ and /- are both relations but not functions.
1
c.
/=
Example
2.
If
\x
x\
then
t
The graphs
of /
and
3-2
in Fig. 86
\y\
-y}
show that /
-5
PIG,
is
a function, while /- 1
SETS
142
RELATIONS
FUN CTIONS
is
1
range of / and the domain of /~
Example
3.
The graph
of a function
is
the set of
all
those points
xy plane corresponding to the ordered pairs belonging to /. Consequently, a function describes a subspace of the xy plane with the geometric
requirement that no two points of the subspace lie on a vertical line
in the
drawn anywhere
in the
domain
of the function /.
It follows that
a subset
(1)
FIG.
87
RELATIONS
AND FUNCTIONS
143
test/
this
imply?
4.11
COMPOSITION OF FUNCTIONS
composite function.
3* -2}
44
FUNCTIONS
RELATIONS
SETS
then
=
If
fc
/,
{(3,ft(s))
h(x)
3x 2
2}
then
Example
functions
ever,
if
Here
i is
2.
is
^)
Hence
it
follows that
and
Hereto/
Example
==
/o/-i
3.
{( x ,i(xj)
i(x)
x}.
to determine the
domain
of a
0)00
by
f(x)
%/g(x)
=
1
and
3/z
or (/o g)(x)
G^
{x
g(x)
=
|a;|
3/(z
x2
1,
1)
respectively,
1.
then
Consequently,
1}.
Exercise 19
(
TT
??
7? ^
5.
-a:
/(^)
g(x)
= \/2 ~
-3
a;
6.
/(x)
0(0;)
'
6, find
RELATIONS
AND FUNCTIONS
7a.
and /fir
/.
6. Graph /
by subtracting
line
segments.
145
show that /
4.9,
-f g
g -f
/?
Graph
fg
tabular method.
8.
Let/-
Graph each
0,/(s)) |/00
of the following
/
f
fg
hg
g, fg,
-f-
h+g
<7
and
9
d.
e.
Show
9.
a.
b.
c.
/.
that
(fg)~ =
l
g~ ojT
1
.
PROJECTS
Supplementary Exercises
Given the
{(;2/)
2/
sets
+2 =
A =
{(x,y)
0), interpret
corresponding region.
1.
2.
{(x,y)
\x
+ y<Z/\x>0^y>0}
y G[-2,0]}
{(x,y)
{(X,T/)
4.
J =
{(rc,2/)
5.
K-
l(x,i/)
+ 6>OAa;<OAi/>Ol
|3x-22/+6>OAir+3/<3AyE [-2,0])
|3x~2t/ + 6>OAx+3/>3A7/>0)
6.
L =
{(x,y)
|2/+2<OA3x-2r/+6>OAa;-ft/<3|
3.
7.
Give a
|3a;-2y
a.
A - f(a? y)
B - {(rc.y)
C - {(a;,y)
Find A H C, A
6.
as
shown
8.
is
F =
G =
Let
x2
|
+
-
4*'
|
in Fig. 90.
J?,
2
2/
2y
Si,
2,
3,
an d S 4
^ Fig. 89.
25}
0)
9j/}
and
5 H C.
on the same
146
SETS
RELATIONS
FIG. 89
FIG. 90
FUNCTIONS
RELATIONS
c.
AND FUNCTIONS
147
{(x,y)
x*
0}
25}
F G =
F=
{(x,y)
a;
\(x,y)
)(z,2/)
4z 2
2y
2y
+
+
9y
>
<
0}
>
0}
<
0}
x>0]
>
0}
<
0}
0}
Using any of the set descriptions given in this problem and the symbols C\ and W,
describe each of the shaded subspaces (exclude boundary lines) shown in Fig. 91.
Example:
(1)
FIG. 91
148
FUNCTIONS
RELATIONS
SETS
d.
e.
/.
g.
/i.
i.
j.
10.
z>OA2/>OAz
|a;>OA2/<OA3
x,t/
B C DEF =
G =
#=
7 J =
{(aw)
{(,?)
{(z,t/)
2
2
-l-t/
<
<
169}
169)
2/
a;
4-2/
a;
2/
2/
a;
{(a?,y)
a:
a?
169}
2/
2/
x
|
>
a;
>
2
7/
169
<
x*
5y}
One
plished
is
of the ways that a description of subspaces in the plane may be accomthe use of conditions which employ inequality and absolute-value symbols.
A C\B
=5
-7
FIG.
92
and
in a
may be
For
\x
(1)
(2)
Thus
<
>
3|
<
when * - 3 >
when 3 - 3 <
5
1
E ]1,5[
employed:
RELATIONS
For
\y
< 3
> -5
y
y
(1)
(2)
Thus
representation
Show
a.
6.
c.
d.
nB
Consequently,
shown
is
{(x,y)
\x
]1,5[
E ]-5,-3[},
3|
A A =
A -
and
x*
\
s2
{(z,?/)
((x,y)
11
<
\x\
Using one
|T/
graphical
B = {(^
The
2/
|x
3|
49}
16
< -x +
<
2
2/
<
2}
\y
2|
<
1}
4}
set of axes,
to the directions.
its
?+
^ < l),
11.
<
in Fig. 92.
graphically that
A -
149
when y + 4 >
when y + 4 <
2/E]-5,-3[
{(x,y)
AND FUNCTIONS
final configuration
CoZor
A =
Black
B -
Black
C =
Black
i>
<
<
<
N
N
N
|x
2
1
2|
A
A
A
<
A
A
White
-5| <
<
White
1}
White
4j
\y
|y
+
+
7\
7|
White
<3(
< 3}
White
Black
Black
3)
<
Black
1}
Black
-ZV
~3) <
2
{(*,!
1
S f^T, where
>Sf
+
+
(y
(y
+
+
Black
1}
I)
I)
2
2
<
<
1
1
A
A
x
x
>
<
Black
9}
Black
9}
White
a;
n Tf, where 7
Z -
|(x,y)
|x|
White
a;
<
Black
The
set of
as to include
B =
{(x,2/)
5} will
be nonempty
if
U is
chosen as
C X
C.
n B is obtained
FUNCTIONS
RELATIONS
SETS
50
manner:
in the following
25
^2
_j_
i6
xi
16^2
(re
4. y2
xz
since
4t)(o: H-
= -1
40 -
Hence
Ar\B
The graph
A and B in
A C\ B are not
U=
If
X*
/.
^.
j.
A
B
A
B
A
B
=
=
=
*=
<f>
fl.
+x +
If (x,y)
a. x* Hd.
{(-4t,5),(4i,5)}
the
of sets
ordered pairs of
ECX
{(x,y)
{(s,2/)
re
i/}
{(x,y)
^
x
\
y
2
x
8^ 2
Pi
+ 2jy =
{(x,y)
\(x
C, find
|
b.
x2
e.
Zx(x
B
3
3x
+4 +1 =
c.
4z 2
3z
1)
A ==
B =
A =
B
g.
3)
4y = OJ
2i/ = 11
+ 97/ - 7}
z.
((rc,2/)
{(a;,y)
{(a;,y)
{(x y}
4}
ret/
a;
|
5x
4rc
~
2?/
7?/
1)
2
=
=
13}
19
A -
is
made with
{(2,6),(3,9),(4,12),(5,15),(6,18),
sets of
ordered pairs,
.}
or
In set A the components of each ordered pair are related in such a way that the ratio
and in set B, the
of the second component to the first component is the constant
ratio is the constant |%
Whenever a physical situation produces ordered pairs that are related in this
described manner, then the components of the ordered pairs are said to vary directly.
;
is a constant)
kx] (where k 9*
or "y is directly proportional to x."
In such situations the requirements of a function are satisfied, where its domain is
specified or understood implicitly so as to conform to the physical phenomena under
Symbolically, /
implies in
{(x,y)
y/x
k}
{(x,y)
re"
examination.
If
each of the ordered pairs of a given set is so related that the product of its comis a constant, then the components of the ordered pairs are said to vary
ponents
is
inversely.
Symbolically, g = {(x,y) xy * k} = {(*,y) y = k/x} (where k 7*
a constant) implies in words that lt y varies inversely as x" or "y is inversely proportional to re."
For example, the ordered pairs (3,1), (6,-J-), and (4,f ) are elements of
the set {(x,y) \xy = 3} and satisfy the definition of inverse variation.
|
RELATIONS
AND FUNCTIONS
151
Assuming that each of the sets in a to e contains ordered pairs all of which have
been formed in the same way, determine whether a direct or an inverse variation
exists and describe the set in the form \(x,y) P xv }.
\
a.
{(4,6),(2,3),(5,A),
/.
If
g.
It g
Ki,i),(i,A)(f A),
/
=
=
As a
14.
final
{(5,1),(10,2),(15,3),
.}.
{(x,y)
{(x,y)
6.
-}-
problem in
this project
list, it is
made
U {(x,y) R e X R e x 2 y z = 1). If 17, the universe in this discusgraphed, then the vertical-line test confirms that U is a relation and not a
function.
The
Furthermore, the domain and range of U are both equal to
1,1].
Let
a.
is
sion,
graph of
U is referred to as the
'unit circle/ as
shown
in Fig. 93.
FIG. 93
Let Ui
b.
((1,0),(-1,0)}
and
C7 2
{(0,1),(0,-1)}, as
shown
in Fig. 94.
Inter-
pret, graph, determine whether the relation is a function, and specify the domain and
f
J7 a )' = (tfi)'
Ut = (Ui
(t/ 2 )';
U*\ (Ui)
range in each of the following: Ui
U
n (CM'; u, = u n (u,y- Ui n
u n (C7i n t/ = u r\ Ui r\ u*.
u,
= u
u*; (Ui
t7 2 y; z;
n (Ui
r\ u,y-,
(U 6 y;
2)
C7 7
An
{(o;,y)
Note that these set descriptions exclude the points (1,0), ( -1,0), and (0,1), as shown
The description of the sets corresponding to the points on the unit circle
in Fig. 95.
belonging to quadrants III and IV is left as an exercise.
d. The review of special types of simultaneous systems occurring in algebra may be
z
the following type of problem. Let A ** \(x,y) x*
y = 1
accomplished by
This set can also be described as
x + 2y
2(.
{(x,y)
&U
2y
2}, since
SETS
152
RELATIONS
FUNCTIONS
(0,1)
(1,0)
(-1,0)
"(OrD
Groph
Graph of
of U\
Uz
FIG. 94
Graph of
FIG.
Number
95
can be created which effectively review techniques in arithtype illustrates how this may be accomplished.
If, for example, ordered pairs are selected in U 6 and 17? as described in part c, it can
be verified that (1
x)/y is always equal to yj(l -f x). In (7e and /?, (1 -f x)y ^
2
z
and thus (1
x)/y = y/(l -f- x) is equivalent to x + y = 1. However, the statement
(1
x]/y = i//(l -f x) is not true for all (x,y)
U, since division by is not possible.
= (Ui
Is (1 - x)/y = y/(l -f x) true for all elements (x,y)
E/ 2 )'?
Us, where Us
Are there other elements in (Z7a)' for which this statement is true? Problems of this
e.
metic.
identities
problem
of the following
RELATIONS
AND FUNCTIONS
153
type add new flavor and provide exercises which involve fractions, number substitutions for letters, and other features sought in arithmetic and algebraic techniques.
Number identities can be created from any known trigonometric identity by replacing
the trigonometric expressions in the identity with ratios formed from the x and y
of the ordered pairs (x,y) belonging to U.
However, care must be taken to define
Every
numbers
(Z,T/)
-J-
(nonexistent).
=
find the associated ordered pair or pairs of U,
(1) Given y/x
ratios
(see part d).
ing
,
= -J- and x < 0, find the associated ordered pair or pairs of U, and
(2) Given y/x
the remaining ratios. Many exercises which involve ratio and proportion emanate
from the ratios associated with each (x,y) belonging to U.
The ideas of this project are preparatory work for trigonometry. If further
enrichment
is
desired, one
may
circle.
5
Mathematical Structures
INTRODUCTION
5.1
The mathematician
is
being challenged to
make
To meet this
The idea of such a structure comes into being by first acceptnotions on an intuitive basis. The structure itself is a set
various
ing
The investigaof abstract elements, undefined terms, and various rules.
tion of what can be discovered in the way of useful information deteruniverse.
is
known
The
characteristics
structures
5.2
of the
mathematical
that
is,
operation
is
MATHEMATICAL STRUCTURES
155
* is closed
6.
* is
if
a * b
U.
commutative ifa*6
c. * is associative
For example,
if
if
(a
N,
*
I,
= 6*a.
= a*
* c
6)
F, or
by the
(b
R and
c)
* is either
or
*,
then these
Example
* b
(a
Let a
1.
6)/2,
Closure:
is
of
*,
is
number.
a
Commutativity
a * b
+ b and b * a
22
be commutative.
operation
Associativity:
Hence
this
+b
since the
already known to
property holds for the
is
*.
* c
(a * &) * c
(a
+b+
b}/2
2c
* (b * c) *=
2a
a
Since
+b+
4
(b
+b+
2c
c)/2
2a
+b+
.
>
the operation
FUNCTIO NS
RELATIONS
SETS
56
commutativity
for this
same operation.
where
e * e
e * o
To
find e *
o,
use row
o * o
and column
2.
The
o
o
e
result o
cell.
corresponding
U, the operation
o * e
=
=
=
=
is filled
is
located in the
by an element
For example,
each
member
(e
* o
o)
separately,
we
must be examined.
e * (o * o).
find
(e*0)*o = 0*0
6 *
(0*0)
=
=
e * e
If
and "odd"
and
elements
and
o represent
"even"
of
If
is its
the
number
of undefined terms
and assumptions
to a
minimum.
How-
Still
structure
MATHEMATICAL STRUCTURES
To summarize,
157
The
set of
elements
is
clearly
characterized or initially described by a set of statements, called postuThe postulates represent the "rules" or "laws" of the system
lates.
and govern the meaning of the symbols that are used to represent the
Other statements,
elements, relations, and operations of the system.
called theorems, are formed and proved as a consequence of the original
of the postulates.
it.
is
possible
abstract system so as to
Sometimes he succeeds
the
mathematical
not
because
system is incorfails,
rect but because the physical situation is not a correct model or interfit it
Mathematical systems
pretation of the system under consideration.
certain
that
involve
be
looked
as
objects (elements) and
games
may
upon
are played according to specified rules (postulates)
Exercise 20
1. In each of the following, determine whether the indicated operation is closed
with respect to the given set. Give a counterexample for each operation that does
not possess the closure property.
Set
a.
p,q
{integers}
Operation
Subtraction
b.
p,q
{even integers}
Addition
c.
p,q
d.
p,q
{even integers}
{odd integers}
Multiplication
Subtraction
p,#
{odd integers}
E {odd integers}
E {odd integers}
Multiplication
/.
p,g
Addition
g.
RELATIONS
SETS
156
FUNCTIONS
Set
h.
p,q
P&
*'
p
p
p
p
p
j,
k.
1.
m.
n.
2.
mine
primes
Addition
Multiplication
{primes)
G
G
G
G
G
{positive integers}
{integers}
numbers
numbers
{rational
{rational
{integers}
The operation
* is
Illustrate
set.
a. a,b
GF
c.
G / and a * b =
a,b
and a
Examples.
e.
a,b
g.
a,b
G
G
i.
a,b
y. a,6
3 * 4
'
b,
3, (
d. a,b
-5)
and a
a,b
-2) = -5,
* b
G / and a *
a H- 26
ab
2
-2)
-5) - -2
G ^ and a * 6 = a
*
I and a * b = 6
/. a,6
AT and a *b means "take the smallest number"
Examples.
h. a,b
* b
3*5=3, 2*9 =
2,
2>
9*2=2, 4*4=4
G N and a * b means
G I and a *b =
G I and a*6=a + &
+b
a)
a&
3. Determine whether the three properties mentioned in Problem 2 hold for the
operation * as defined with respect to the designated set.
O.U-*
{6,0}
b.U=
{1,
-I,*,-*
= i * (^ * {)
= 1 * (i * t)
K-0*fl *(-**) = -i*[t*(-OJ
[(-*)* (-01*1 - -i*[(-0*i]
(i * i) * f
c.
17
{a,6,c}
1 * t)
* i
&
MATHEMATICAL STRUCTURES
d
U -
{a,6,c!
e,
U =
{a,6,c}
/.
17
159
{0,1,2,3,4}
5.3
represented by '.
If S is a collection of subsets of a universal set
and
called
in S,
U B,
an "algebra of
C\ B,
sets/'
and
if
for every
is
also elements of $,
then
to 9,
satisfied.
UE
=*
AC\B =
A!
A}
S is an
If
of S,
Identity
la.
\J
2a.
\J
= A
U = C7
0,
U,
'.
Laws
16.
26.
A
A
H
H
[7
= A
Idempotent Laws
3a.
VJ
36.
Pi
A = A
are elements
RELATIONS
SETS
60
FUNCTIONS
Complement Laws
U A'
4a.
5a.
= U
46.
= A
(A')'
P A'
=
56. 0'
C7;
Commutative Laws
6a.
VJ
B = B
UA
66.
PB
= B
PA
Associative Laws
7a.
76.
B)
(A
(A r\ B)
U C = A U (B U C)
n c = A n (B n c)
Distributive
8a.
86.
U (B Pi C)
P (B U C)
A
A
=
=
U B) Pi
P
B) VJ
(A
(A
(A
(A
Laws
U C)
P C)
De Morgan's Laws
9a.
(A
U B)'
A'
P B'
96.
(A
P BY
A'
U B'
The operations of
properties analogous to those of the algebra of sets.
""
addition "+" and multiplication
correspond to the operations of
union "U" and intersection "P." In both systems rules are devised
i.e., some rule or procedure assigns to each pair of
elements some unique element from the associated universe. FreB" is the "logical
quently, "W" is called "logical addition" and "A
sum" of sets A and B. Similarly, "A
B" is called the "logical
will
a.
now be
noted.
The elements
of the
real-number system
(i.e.,
real
numbers) obey
intersection
and
fo.
is
is
86.
elements.
and
1 (one) is
real
is
(zero)
when
a,
is added to any
and when 1 is multi-
MATHEMATICAL STRUCTURES
by any
plied
number
real
Symbolically,
Re, then a
(1) If a
Re, then a
If
(2)
G
G
o the product
=
=
is
161
that
same
real
number
a.
a.
a.
with
also yields
2^2
though
0.
element
the exception
section.
U C\ U =
For example,
UA
= R
5.4
THE MEMBERSHIP
e,
while
properties
0).
With
numbers, then
A.'
0.
A G
A =
{all
if
and
complement
of
/S,
A.
there
is
This complement
A\JA' = U
AC\A' =
(A')'
= A
In words, Law
set also obeys De Morgan's laws.
intersection
the
is
of
two
sets
union
of
a
the
that
9a states
complement
of their complements, while Law 96 states that the complement of an
The proof of
intersection of two sets is the union of their complements.
the use of
can
be
sets
of
for
the
through
law
accomplished
algebra
The complementary
any
membership
(A C\
BY =
For
tables.
A.'
UB
f
,
example,
the
proceeds as follows.
proof
of
Law
9b,
namely,
SETS
162
FUNCTIONS
RELATIONS
this
element
listed.
The
element a can:
1.
2.
Belong to
Belong to
Belong to
A
A
B
and
also belong to
not
to B
but
but not to A
Not belong to A and not belong to B.
These four possibilities appear in the first two columns of Table
3.
4.
The
1.
given law.
Table
Row
FIG. 96
(Fig. 96)
and examining
corresponding regions.
Thus (A
W BY
A! Pi
B', since
MATHEMATICAL STRUCTURES
a second example, the proof of
A
is
r\ (B vj c)
Law
8&,
163
namely,
(A r\ B) \j (A r\ c)
2),
possibili-
Toble 2
ties.
shown
in Fig.
3.
FIG.
97
Table 3
97,
and the
5.5
RELATIONSFUNCTIONS
SETS
64
a.
A A
A =
Prove that
1.
(A
H B) U
if
and
H SO
(A
B
6.
d.
Proof:
H BO
are subsets of
(A C\ B'}
B7)
(A
J7,
may
then:
UB = AUB
H A' -
= A
= A
= A
H (B VJ BO
n
C7
Authority
Law 86
Law 4a
Law 26
A = AH U
= A n (B VJ BO
- (A H B) U (A
Law 26
Law 4a
Law 86
H BO
Authority
Proof:
= (A U B)
= (A U B)
= AUB
c.
to 9, Section 5.3,
n B) VJ (A H BO
(A C\ B) \J (A
If
(A
r\ (B'
V B)
Laws 8a and 6a
Law
Law
C7
4a
26
Proof:
Authority
46
n A'
n (A U 0)
(A H AO U (A n 0)
= U (A r\ 0)
= (A n 0) U
= AH
=A
=A
Law
Law
Law
Law
Law
Law
The proof
of part d
Example
2.
The
is left
as
an
la
86
46
6a
la
exercise.
and com-
C
C
C
C
MATHEMATICAL STRUCTURES
A C B and A C C, then A C B
A C B if and only if B' C A
If
e.
165
C\ C.
f.
a.
A CB
and
A C
C, then
C.
Since A
represent any arbitrary element of A.
J5,
then by the definition of a subset, #
J5.
B C it
since
Likewise,
C.
follows that x
Hence, A C C, since every element of A is also
an element of C.
Proof: Let
a;
A CB
B C
A C B,
A, then A = B.
Proof: Since
every element of A is also an element of B.
Since B
A, every element of B is also an element of A. Hence every
element of A is an element of B and every element of B is an element of A
If
b.
and
A =
therefore
BCA
d.
if
and only
if
Proof:
B =
Pi
B.
B -
A.
B, then B
A r\ B
Let x represent any arbitrary element of A C\ B. Then if x
A and # G B. Thus A -B C A and since it is given
it follows that #
B = B then B A.
that A
A, then A C\ B = B.
(2) If
Let ic represent any arbitrary element of B. Then by the definition
B.
B and # A, it follows that x A
A. Since x
of subset, x
C
B.
C\
B
ConB
and
A
x
A
then
B
A
B.
If
Z
Thus
E
B,
B = B because A Pi B B and B C A B.
sequently, A
If
(1)
r\
A
H
A CB
/.
Proof:
If
(1)
if
A C
and only
if
B'
G
G n
A'.
C A'.
B, then B'
part
C
C
1;
that
is, if
A C
B, then (B)'
A by B and B
7
(A)
Replacing
by A throughout, we have:
7
If
B'
C A',
then (A
)'
(B
)'-
Since (A
= A and
follows that:
If
The
B C
f
A', then
A C
B.
(')'
B,
it
SIMPLIFYING, FACTORING,
5.6
FUNCTIONS
RELATIONS
SETS
66
The term
from
"set polynomial"
sets or their
C C\ Z>, (A VJ B)'
C, A VJ B
polynomial consists of parts called terms, each term being
separated from the other by the operation of union. To be more specific,
a term is any expression which consists of either a single letter representing
nomials A,
U C. A
a set or
C\ B,
\J B, (A \J B)
set
letters
of intersec-
tion.
may be used for grouping
A'
C\
B
C\
A
Thus
C, and (A VJ B)
(C
purposes.)
B,
A, A',
D)
B and A VJ (B C\ C)
terms.
The
represent single
polynomials A'
r
consists of three terms.
consist of two terms, while (A VJ B} VJ C VJ
we examine a
set
number
the
is
If
a set polynomial
involves the intersection of sets, then each such set of the intersection is
called a factor.
The polynomial (B VJ C' VJ D) C\ A' C\ (B \J C) contains three factors, namely, B
C f \J D, A'', and B
It should be
C.
>
A n represent n sets
2, n E: (natural numbers}, and AI, A 2
C\ A n is used to mean
with elements G U. Here A\C\ A 2
AzC\
the set of elements common to all the sets AI to A n inclusive, where AI P\
FurA 2 A 3 Pi
Pi A n is regarded as a one-termed polynomial.
\J
all
the
the
of
A
n represents
totality
ther, Ai\J A$\J As\J
ft
VJ A n is
elements of the sets A\ to A n inclusive, where A\ VJ A 2 VJ
as
an
laws
can
be
n-termed
extended
De
regarded
Morgan's
polynomial.
and are stated here without proof
:
A3
(Ai VJ A,
r\
r\
A,
A,
(A l
U
n
UA Y
n A ny
n
=
=
H (A
u (A
n}
n
(B l VJ
(B! r\
VJ
Bn
= (A
VJ
n Bn
=
The
r\
BO
(A
j? 2 )
vj
(A \j
BO
r\ (A
J5 2 )
u
-
(A r\
n (4
vj
Bn
sn
with polynomials.
MATHEMATICAL STRUCTURES
Example
U C) n
(A
Expand (A
1.
(5' VJ
VJ C) C\ (B f VJ
DO-
DO
A VJ [(A VJ Q n D
U C)] VJ [D H (A' VJ C)]
vj (B r\ C) u (D' n A
vj
- [(A' VJ C)
= [5 H (A'
- (B n A
J3
A^or%
167
(D'
no
Law
Law
Law
86
66
86
original expression contains one term while the final expression contains four terms.
Example
a.
6.
c.
2.
6.
(A n C) VJ (A r\ D) U (B C\ C) VJ
A U [B C\ (C VJ A')]
c.
(A r\ B) \j (c r\ D)
a.
(A
(A
O C) U (A n D) U (B H C) U (5 n D)
n B) vj (c r\ D)
[(A H 5) VJ C] n [(A C\ B} VJ D]
[C VJ (A n 5)] n [D VJ (A n B)]
(C VJ A) n (C VJ B) C\ (D VJ A) n
Example
a.
b.
B
A
vj [(A VJ B)
7
=
=
=
=
=
=
=
=
=
=
=
\J [(A' VJ B)
B VJ [(A 7 VJ
(B VJ
J7
VJ
{[(A
n A]
UA
H B VJ A}
7
)'
n B VJ A
U
[A
(A A 5
VJ
A) H (A
[(A
7
)]
[U C\ (A VJ
7
(A VJ
7
VJ
(J5
7
Law
Law
Law
8a
6a
8a
[(A
J5
8a
Authority
A' r\(U)
A'
B VJ
BU
B VJ
B VJ
B VJ
B VJ
B VJ
Law
66
Law 9a
Law 86
Law 4a
Law 26
86
n A]'
=
=
(D VJ B}
Authority
86
Law
Law
Law
3.
(A U BY U (A
U (A H B)
(A VJ B) U (A H B)
(A n 50 VJ (A' n 5)
= A' r\ (B U B)
c.
6.
r\ JD)
= [A n (C VJ D)] VJ [B n (C VJ D)]
= [(C U D) n A] VJ [(C U D) n B]
= (C VJ D) H (A VJ 5)
A VJ [B O (C VJ D}}
= (A VJ B) H (A VJ C U D)
=
=
=
a.
(J5
J5
VJ
)
7
)
7
J5 )]
VJ
)]
Law 96
Law 9a
Law 5a
Law 6a
Law 8a
Law 4<z
Laws
66
and 26
Law 6<z
Law 7a
Law 4a
Laws
66
and 2a
A U (A C\ B)
- (A C\U) VJ (A
= A H (U U B)
= A n 17
= A
c.
FUNCTIONS
RELATIONS
SETS
166
Law
Law
C\ B}
26
86
Laws 6a and 2a
Law
26
Frequently, these simplification procedures provide a means for modifying polynomials that arise in other mathematical systems or models
which have the same structure as the algebra of sets. These simplified
versions of polynomials are often more manageable in the light of their
interpretation to a specific mathematical model.
5.7
it
if
U by
replaced by U,
0,
then the resulting statement
is
is
sets.
This
is
A =
(A C\ B )
The validity of this dual may
(A C\ B)
becomes A = (A VJ J5)
(A
')
be verified by the methods illustrated in Sections 5.4 and 5.5. The
original statement A = (A C\ B) VJ (A C\ B ) was proved in Section 5.5.
r
Exercise 21
1. Verify each of the laws in Section 5.3
ship tables.
2.
If
A, B, and
g.
[A
i.
(A
(A
j.
of
ship tables:
a. (A' \J B')' - A C\ B
r
c. (A
C\ B) Pi (A C\ B'} =
f
VJ (A r\ B)Y = AC\B'
e. [A
f
by means
d.
f.
(A
\J
U (B U C)]'
Pi B' H C'
h. A U (A
U B C\ (A \J B) = (A C\ B') U (B C\ A)
W BY -(AW B') r\(A\JB)C\ (A' W B')
f
of
member-
b.
- A
by use
U (A
')'
f
C\
\J
B) = A
B) f
UB
3.
Using the laws for the "algebra of sets/' perform the following operations:
o.
Expand:
(1)
U (B'
(3) (A'
6.
\JB)C\(C\JD)
(4)
H (B
(A U
(2)
(4)
(A
U (B n C")
n B) U (C n D)
(2)
HA'HC
(4)
(A VJ
(2)
A'
')
VJ
C\
(7)
r
(C \J
Factor:
n 5) U (A n C)
U 5 n (C U D)
[(A n 5) n (C vj D)] vj [A n C"]
(A
A'
(1)
(3)
(5)
c.
r\ C')
Simplify:
(1)
(3)
A VJA'VJB
A H B n A'
n B'
U A' U 5')'
VJ #')
MATHEMATICAL STRUCTURES
169
H B U (A H \J (A C\B}\J (A' r\
V n A \J B U C) n (A VJ C)
n 5) n (A' u B)
(8) 5 n KA' n 5) u A]'
A H(A
n (A U C)] U [B r\ (B \J C')]
[(A U
r
(5) [(A
')
(7)
(9)
')]'
'
(A
(A
(6)
(10)
4. By use of the laws of the algebra of sets, prove each of the identities in Problem
Justify each step in your proof.
5.
6.
If
and
of the
statements in Problem
2.
2.
U = {zEC/|zEAVzE}
AC\B={x:U xEAAxEB]
A
g.
","
b.
(A C\ B) \J C'
{x
EU
to illustrate
A C (A U B)
A C B implies A n 5 = A
A C 5 implies A\J B = B
A' C J5 implies A W J5 - ?7
5.8
c.
(x
EA A
(A'
C\B'}\JC
E B} V x & C}
(A
B} C A
(A C\ B'} C A
f.
A C
b.
'
implies
HB
=*
BOOLEAN ALGEBRA
The algebra of sets can be considered a model of the abstract mathematical system called a "Boolean algebra." The elements, relations,
and operations of the algebra of sets obey the same laws as those of a
Boolean algebra. In fact, every abstract Boolean algebra with either
a finite or an infinite number of elements has an algebra of sets as a
model. As a means of introducing the notions of a Boolean algebra, a
finite
Example
1.
If
T =
U =
{a,b,c}
and
if
A -
is
illustrated.
{a,b},
{U,A,A'$}, with f\ U,
Boolean algebra). The following three tables list all
the possible unions and intersections of these four sets and their
complements.
set of subsets
sets (a
model
of a
A'
U
A
The
An
FUNCTIONS
RELATIONS
SETS
170
\J
A = {a,b} U
= {a,b,c}
= U
examination
A' r\
{c}
U =
{c}
=
=
A'
r\ {a,b,c}
{c}
1.
2.
3.
over VJ.
4.
5.
U A'
and
are
[7,
respectively.
AC\A =
A'P A =
f
E7
A'UA
0U [7=
C7
C7U0 =
C7
f7
=
=
C7P0
0P
17
of the algebra of
included.
sets, the folio wing examples are
a. The testing of the distributive law for the particular choice of
C\ (A' \J 0) = (A
elements A, A', and shows that
A'}
(A C\ 0).
To prove this statement, the tables are used and each member is
treated independently.
C\ (A'
U 0)
- A
=
P A'
and
(A C\ A'} \J (A C\
0)
U AJ
(A VJ A'Y
= (UY
=
of
elements
and
A' C\
(AJ =
A' C\
=0
where
\J
=0
b.
T = {U^AjA ^} and W,
7
Pi,
and
'
is
and
complementation.
The elements
of
'
MATHEMATICAL STRUCTURES
171
should not be confused with the meanings usually associated with these
and 1 have only those properties
Further, the elements
symbols.
prescribed by the laws.
If these designated replacements are made in Laws 1 to 9 for the
algebra of sets in Section 5.3, then the laws become those for a Boolean
algebra.
Identity
la.
2a.
A +
A +
= A
= 1
Laws
16.
26.
A
A
=
= A
Idempotent Laws
3a.
A +A = A
36.
A A = A
Complement Laws
4a.
5a.
A +A =
(A'y = A
f
46.
56. 0'
A'
1; 1'
Commutative Laws
6a.
B = B
A +
+A
6b.
A B = B A
-
Associative Laws
7a.
(A
(A
76.
C = A
B) +
B) C -
+
-
+
-
(B
(B
C)
C)
Distributive
86.
A + (B
A (B +
9a.
8a.
C}
C)
=
=
(A
(A
+
-
5)
B)
(A
(A
+
-
Laws
C)
C)
De Morgan's Laws
It
still
(A
)'
= A
B'
96.
(A
BY =
A'
B'
Thus,
and
if
This system
is
SETSRELATIONSFUNCTIONS
172
by the
set
D =
{1,2,5,10},
mean
b to
mean
to
common
the greatest
the quotient
when
10
is
divided by
5, 1
A +
are
(5
10)
=
=
1,
10
compared
Table
is
and
(2
and
5)
-,
be
b
2, 5
1,
(2
+ 5)
(A
C)
10)
= 10-10
= 10
B =
observed.
The
1-1
existing
1.
Table
Elements
Operations
and
(A \J
by
nA
= U C\ A
= Am {T:U/V}
and
(2
a!
then:
10
structure
and
and
is
6,
will
Hence
a.
a and
To
If
of a
(LCM)
of
represent
+b
D, a
(GCD)
divisor
of
5)
=
=
10
2 in
MATHEMATICAL STRUCTURES
173
algebra [B:
all
5.9
+,/}
operations.
TWO
AND
ELEMENTS
The
The
Boolean algebra.
complementation are
of a binary
and
is
a model
intersection,
and
U
U
The
Table
left
and
right
members
of
De Morgan's
law,
variables
and
FUNCTIONS
RELATIONS
SETS
174
all possibilities
binary operations
and
No
"
union with everything in the universe yields everything in the universe.
It is also of interest to note that exponents or coefficients other than
and 1 are not needed in this type of algebra, since the result of the prodwill be
A or the sum
uct A A A
A+A+A+---+A
or
either
1.
In a similar manner
Their verification
The methods
all
is left
method used
an
law or theorem
is
in previous sections.
may
exercise.
Example 1. Prove A +
2.
Columns 1 and 4
Table
AB = A
(where
are identical,
AB = A
),
as
is
shown
in
proved.
Table 2
Example
Table
2.
Prove
A +
(A'C
5)
3.
Table 3
(A
B)
C,
as
shown
in
MATHEMATICAL STRUCTURES
The theorems
of
Examples
Example
Proof:
A +
(A'C
A + (AC
3.
and 2 may
This
B)
is
also be
illustrated in
(A
175
B)
Example
3.
C.
Authority
+ B} -
+ A'C} + B
(A + A'}(A + C) + B
1
(A + C) + B
(A + C) + B
A + (C + B)
A + (B + C)
(A + B) + C
Law 7a
Law 8a
Law 4a
(A
=
=
=
=
=
Laws
Law
Law
Law
66
and 26
la
6a
7a
5.10
Two
much
The "algebra
of circuits" as
Since both of these models are quite extensive and complex, the objective
here is to introduce briefly the meanings of certain key terms and symbols
pertinent to these interpretations.
of
circuit
letters,
Switches will be
involves switches.
such as
B, C,
and A!
will
switches operate
the same letter will be used to designate each of these switches.
Two switches are said to be connected in parallel when current flows
Two switches are said to be
if either or both of the switches are closed.
connected in
and
while
series
when
A
represent two switches, then
connection.
series
a
implies
AB
same meaning
as the disjunction
"A and
"A
B"
if
or B," but
SETS
176
FUNCTIONS
RELATIONS
will
flow.
Parallel circuit
A+B
Series circuit
AB
A
-
FIG. 98
Table
Series
Parallel
parallel
A+B+
flow
Boolean polynomial
A*
A +B
FIG. 99
MATHEMATICAL STRUCTURES
177
Example 2. The networks of Fig. 1006 and c are equivalent; that is,
current will flow through each of the two circuits when the same combinations of switches A, B, and C are open or closed. Table 2 illustrates
Network
Boolean polynomial
ABC
A(B
AB
(c}
(AB'
this conclusion.
Note that
all
4-
C)
+AC
+ A')B
The laws
178
network (AB'
SETS
RELATIONS
A')B
in Fig.
FU NCTIONS
lOOd
CB +
is
BA', which
(AB
A')B.
This
follows since
(AB
Further,
Fig. 101
A')B
=
=
=
=
=
=
=
B(AB'}
B(B'A)
(BB')A
0-A
Law
Law
Law
Law
Law
+ A'}
+BC + BA'
+BC + BA
+BC + BA'
+BC +BA'
+ BC + BA
BC + BA'
Authority
66
86
66
76
46
BC + BA
may
B(AB
FIG. 101
Example
3.
is controlled by a box
moved to closed position,
close and those marked A' will open.
open position, the switches marked A will open
button
is
moved
to
If
in Fig. 102
button
FIG. 102
is
MATHEMATICAL STRUCTURES
179
for
any button
in the
any
its
B(B
CO-
+ B)(A + C) + B(B + CO
= AA' + AC + A'B + BC + BB + BC
= + AC + A'B + BC + + BC
= AC + A'B + BC + BC'
= AC + A'B + B(C + C')
= AC + A'B + B(l)
= AC + A'B + B
= AC + B
The polynomial AC + B results in the design
f
(A
Authority
Law 86
Law 46
Law la
Law 86
Law 4a
Law 26
AC
and
+B
shown
(A
B)(C
in Fig. 103
Example
of a
circuit.
new
Section 5.9
1,
circuit
which
Further,
B)
may
be utilized to produce
FIG. 103
Hence
Authority
AB + A'B'
+ A')(AB + B'}
= (A + A')(B + A')(A + B')(B +
= 1 (B + A')(A + 50 1
= (B + A')(A + B')
Law
(AB
')
8a
Laws 6a and 8a
Law 4a
Laws 26 and
66
FUNCTIONS
RELATIONS
SETS
ISO
Either of the two circuits (Fig. 101) based on the two polynomials,
B ), can be used to accomplish the desired
A'B or (B
A') (A
AB +
result.
Thus,
FIG. 104
(A
two equations
B}(A'
C)
+ B(B' +
C")
- AC + B
and
AB + A'B =
f
of
Examples 3 and 4 be
verified
(B
+ A') (A + 50
(see Section
5.9).
Example
5.
decisions to be
It should
Machines
may
known and
is
now examined.
left
get across the river with his entire cargo intact? How can a machine
be designed that will light a red light to indicate a dangerous situation
or a green light to indicate a safe situation?
The machine is to have a box with four buttons; each button is to
have two
MATHEMATICAL STRUCTURES
181
object is on the initial side of the river and "open position" to indicate
that this object is on the other side of the river. The letters M, G, W,
and C indicate that each object is on the initial side of the river, while
(?',
W,
If
man and
W,
tion
and buttons
marked M'
those
G',
consideration of
If
M,
G,
W,
in
W, and C.
4
all possible situations results in 16 or 2 different
are
with
two
four
involved
locations
for
since
objects
possible
cases,
in
16
is
Table
3.
of
these
cases
each object.
listing
given
D = MQ'WC' + MG'W'C +
If
we
MG'W'C'
M'GWC'
+ M'GW'C + M'GWC
Authority
Laws
= M'0(W'C
Law
Law 86
Law 4a
Law 26
Laws 6a and 8a
Laws 4a and 26
If
we examine
law,
D'
= [M'G(W +
C)
D =
r
[(M
MG'(W'
of
CO]
+ W'C'][(M +
f
GO
86
(?)
WC]
SETS
182
Table
The complete
shown
in
Fig.
circuit for
FUNCTIONS
RELATIONS
and D'
is
shown
in Fig. 105.
The
circuit
107
circuit
PIG. 105
5.11
As indicated
application
is
statement)
is
MATHEMATICAL STRUCTURES
A dangerous
case:
183
MG'WC'
FIG. 106
A safe
case:
M'Q'W'C'
FIG. 107
',
'
Boolean algebra.
is
called the
"conjunction" of p
RELATIONS
SETS
184
FUNCTIONS
and
T
F
Example
If
1.
p and
F
T
statements
It is raining.
q:
then
P
p
A
V
<l-
q:
p':
Example
If r
2.
and
G I).
r:
is
an integer
s:
is
a prime.
-s:
s:
G I and a is a prime.
G / or a a prime.
is
(a
then
A
V
r
7
Suppose that a
are true.
then
is 5.
It follows that r
s is
a false
The
is
not a prime!
is
is
utilized to
of
is:
MATHEMATICAL STRUCTURES
If
is
185
is
Example
hypothesis.
statement.
You
You
p:
q:
>
If
all
four possible
p>
the final
i.e., you do not pass
no
have
You
in
course.
the
credit
not
receive
and
do
examination
>
Hence
the
q
was
this
p
be
since
cause to
original agreement.
angry,
Case
will
was employed
terms as related to an
initially
RELATIONSFUNCTIONS
SETS
186
Table
Example 4. These
diagram shown in Fig.
Theorem
G -A, then a 6 B.
aE B, then a G A.
If a $ A, then a $ 5.
If a $? B, then a $ A.
If
Converse
If
Inverse:
Contrapositive:
Venn
B.
True
False
False
True
FIG.
Suppose the
initial
08
theorem was
If
If
a
a
a
GB
then a
A.
False
A, then a
J3, then a
A, then a
B.
A.
True
True
B.
False
Then
Converse
Inverse:
If
Contrapositive:
If
Symbolically
MATHEMATICAL STRUCTURES
these facts are represented as follows
Theorem
(P -*
Contrapositive
Converse
(g
187
Inverse
p)
(p'
Note that p
if
g is
q,
and
if
q then
p"
or
"p
if
and only
g."
5.
The statement (p
2.
The table
>
q) <-> (q'
p') is verified in
the
mang
has
Table 2
As a consequence,
and
this
these two statements are equivalent
equivalence produces
T for each entry in the last column. Such a compound statement as
7
7
(p
p ) is called a "tautology." A tautology is a statement
g) -> (g
that is true regardless of the truth or falsity of the initial statements p
and q. In a similar manner, (q > p) - (p' > g') can also be shown
This verification is left as an exercise.
to be a tautology.
the same truth value as the statement
The importance
one
of the tautology (p
>
q) <-> (q
>
p') is that it
forms
difficulty is
>
g'
FUNCTIONS
RELATIONS
SETS
188
prove
the converse.
"<->," it will
mean
truth value as
for p,
q, r, s,
that the
its right
.
left
member
appearing in
member
of this
regardless of
it.
According
to
these
agreed
A +
is
T, the statement
<->
is
tautology.
Laws
and 56 are
language
of
is
always true.
This
is
substantiated
The tautology p V
law
of
<-
3a.
5a.
(p')' <-
6a.
V q) <-> (q V p)
66. (p A
((p V q) V r] <-> [p V (q V r)]
[(p A q) A r] <-> [p A (q A r)]
[p V (q A r)] <+ [(p V g) A (p V r)]
[p A (g V r)] <- [(p A q) V (p A r)]
(p V tfX <-> (p' A g
(p A g)'
(p V q')
la.
76.
8a.
86.
9a.
96.
by the
36.
<->
(p
5) <-
(g
p)
MATHEMATICAL STRUCTURES
189
fied
Table 3
Table 4
Boolean algebra
-*
Switches
Sets
<->
Intersection
<-
Union
False
Open
<->
Closed
<-
Series
<-
Conjunction
<->
Parallel
Disjunction
-*
<-*
Propositions
True
Exercise 22
1.
and C are
and
where A, B,
1.
Example:
a.
AB'
is 0,
SETS
&.
e.
AB
h.
(A
B*
4-
B)(A
4-
c.
(A
+ BY
f.
(A
4-
i.
A(AB +
(4'B')'
e.
g.
(A
(A
3.
Show
B)
f
C)
2.
of
RELATIONSFUNCTIONS
B}(A
4-
B)(A'
= A
B') = A
4-
4-
C)(B
is
C)
= (A
A'B'
4-
BC
.4
j.
A[(B
b.
(A'B}'
d.
A(AB}
C)'
= (AB'Y + AB
f
AB
=*
and theorems
+ A''
f. B[(C + D}'
B)(A' + C)
G - A, O, D ,O
a Boolean algebra.
following tables,
/I
g.
(A'B}'
4-
rf.
4-
B] =
-j-
and
-,
defined
by the
a and 6 are any elements of D, then a 4- b will be denned to mean the least
multiple of a and 6, a b the greatest common divisor of a and 6, and a'
is divided by a.
the quotient when
Determine whether the following constitute
4.
If
common
c.
D
D =
D
5.
Show
a.
b.
N
N
N =
6
12
30
algebra of sets
of a Boolean algebra,
g.
AB + A'B + AB'
ABC + A + BC
j.
8.
9.
Draw
i.
parts a to
f.
(AB
h.
(A
4-
A'B
B'
4-
+ A'B'}C
C}A' + (B
4-
C')D
+ B'D
circuits
shown
in Fig. 109.
e.
Exam-pie. (A 4- B)(A + C) = A -f BC as shown in Fig. 110. In either of the networks shown in Fig. 110, current flows only when switch A is closed or when both
B and C are closed. Hence the two circuits are equivalent.
a.
d.
+B
A(A +
A
- B
B}
4-
- A
b.
e.
AB - BA
ABC -f AB'C
c.
4-
AB'C
4-
A(B
C)
- AB
A'B'C = (A
+ AC
B')C
MATHEMATICAL STRUCTURES
191
-A*
(0}
(c)
+A't
FIG. 109
FIG. 110
10a. Construct a
(1)
b.
and
network
BC
By
(2)
[B(B
Boolean polynomials
A)][C(B'
C)]
of parts
2 are equivalent.
11. In each of the following compound statements, assign letters to the simple
statements contained therein and then rewrite the original statement in symbolic
form.
q:
p
hot and
q:
humid.
a.
It
b.
C*f
is
it is
92
FUNCTIONS
RELATIONS
SETS
d.
e.
/.
g.
h.
A number
A number
i.
j.
is
even
is
odd
2.
if
if
2.
If p = 0, q = 1, and s = 0, determine
12. Let p, q, and s be simple statements.
means that
whether each of the compound statements in a to j is true or false (p =
I means that p is true).
p is false and p
c. p' A q
b. p' V q'
a. p V q
f
A g')
e. (p A q) V s'
d. p A p'
f. (p A g) V (p
h. p V (q V
')'
g. (p V g) A (p' V q')
f
(p A g) V (p' A g) V (p A g') V
[(p' A g') V s] A [(?' V p') A s']
i.
J.
(p'
g')
13.
p:
It is
snowing,
g:
The
street
is slippery.
car has snow tires.
r:
My
s:
I arrive at
work on time.
d.
e.
(P A g)
'-r
0-
j.
>
p'
A.
(p
6.
Suppose p and
statements in Problem
r)
and
/. p'
c.
i.
and
s are false.
r are true.
(p
V
A
g
g
r)
13.
15. Verify the tautologies of Section 5.10 (3a, 36, 5a, 6a, 66, 7a, 76, 8a, 86, 9a, 96)
the use of truth tables.
16.
Which
of the statements in a to
p -> (p ->
c.
(p')' <-*
e.
[(p
0.
K5'
g)
d.
P')
*->
g)
Write
[(p
g)
;.
i.
x
(p
/.
A.
(p
g)
(p' -* g')
V g) A r] <-> [p V (g A r)}
[p A (p -> g)] -> g
- g)' - (p A q')
(p
[(p A g) V r] <-> [p A (g V r)]
[(p->g) A (g->r)]-* (p -> r)
[(p
g')]
a.
If
6.
If it is
c.
If
If
<->
in
ing theorems.
e.
(g
(p' V g)
Ag)- [p~(g V)]
(p-*q)<->
(p
d. If
r] <->
1.
m. (p
6.
g)
&.
17.
m are tautologies?
a.
by
for
MATHEMATICAL STRUCTURES
18. If
is assumed
and contrapositive.
to
193
CONCEPT OF A GROUP
5.12
Among
of a
presented so
to illustrate
as, first,
how
emanate from them and, second, to indicate that their postulates represent the framework from which well-known algebraic techniques arise.
Certain aspects of the second objective have already been studied when
they were discussed in Chapter 3 with reference to number systems.
Other sets of numbers will now be examined under specified operations
so as to determine whether they possess the properties of either a group,
a
or both.
G-l
The operation
For
all
* is closed.
G K and 6 G K,
* b
K.
G-2:
The operation
G-3
G-4
* is associative.
all
G K, a * = * a = a.
G K, there exists a unique element a' G
i
of
a' *
K,
i.
identity element
i,
a *
i * a,
it
commutativity.
Example
1.
The
ordinary addition
is
a group.
/,
+
+
The
identity element i
a.
is
the integer
/,
= 0. Note that is
= ( a)
the
(
a)
a, since a
The
associative
its own inverse.
property represented by the statement
=
is
a
c
true, since this is valid for all integers a, 6,
c)
(6
(a
6)
is usually referred to as the "additive
which
and c. Therefore {/: +},
inverse a' is
group
of integers,"
is
a group.
+a
194
Example
The
2.
#={...,
with
FUNCTIONS
RELATIONS
SETS
by
-8,-6,-4, -2,0,2,4,6,8,
2,
namely
.}
interpreted as ordinary addition, satisfies all the necessary propa group. This follows since the operation of addition is closed
erties of
is
the inverse of
4,
and
is
its
own
Therefore {K: *}
inverse.
is
a group.
Example
The
4.
set of natural
element
(0
numbers,
JV, is
g N).
Example
5.
Table
Example
integer
6.
m>
ss
0(mod
5),
is
written a
and
by
r(mod m).
-3 s 2(mod
If
m is 5, then
5), since 13
3,
25
13
0,
and
3(mod
quotient
when
is
5),
-3 -2
of the set of
integers
is
divided by 5
MATHEMATICAL STRUCTURES
a listing
is
/3
=
=
=
=
-I
Jo
/!
72
1*
{.
{.
10,
9,
is
5,0,5,10,
These
.}
.}
are
,-8,-3,2,7,12,
.}
Note that
,7,
...}
i-
/2,
zero.
ference
2,3,8,13,
_fi_14QU
o,
i,^t,y,i*t,
then a
called
4.
2(mod
2
/ and
classes.
equivalence
T\1T\IT\IT\1T
W Jj W J UI U 7 =
/O
.
because 22
Similarly, since
3
2 =
5
Note that
and
4,1,6,11,
ss 2 (mod 5),
1, 2, 3,
obtained, namely:
If
22
{.
195
/T
5).
when
3 E: Is,
when divided by
5 leaves a
remainder of zero.
5 or
if
any
J2
/4
204
referred to as a
modular arithmetic.
and defined
elements of
The
K=
{0,1,2,3,4}
replaced by
to be the
K is
study of
K becomes
is
The
operation
is
associative,
roup structure.
If * is
replaced
by
SETS
196
FUNCTIONS
RELATIONS
is
is divided by 5, then {K:
}
the product of any two elements of
the
G-3
and
(where
identity
not a group. Group properties G-l, G-2,
element
is
1)
possesses an inverse;
1'
1,2'
G-4
is
3, 3'
is
Any
set
becomes the
The
set
table
{1,2,3,4},
is
as a
Example
7.
The familiar
set of elements
P =
1,
and
follows
1.
l,i,
t}
where
is
(the fourth
\/
defined
as
satisfied.
model
!,&*'
P =
i,
and
i)
of a
i.
group
= {1,2,3,4} of a group under
is isomorphic to the model
under
of Example 6.
If 1 <- 1,
i <-> 3, then the following
1 <- 4, i <- 2, and
illustrates how this correspondence under the operation is maintained
for models {P: 0} and {K: <8>}:
{!,
l,i,
i}
MATHEMATICAL STRUCTURES
Consequently, the replacement of
in the table of {P:
yields
by
1, i
by
197
i
2,
an exact duplicate
by
3,
and
by 4
{K:
The motions
Example
group
8.
of four elements.
in Fig. 111.
two
lines
g_
[
FIG.
A counterclockwise rotation of 90
1 1 1
arrangement indicated
of the cross indicate
the
exterior
on
placed
will yield the
in Fig. 112,
its
ment in
Fig. 113
and
carries the
ends a into
c,
6 into d, c into a,
and d into
6.
motions
following table displays a set of four counterclockwise
and the
rotation
under
cross
of
the
which yield all possible arrangements
The
198
SETS
RELATIONS
FUNCTIONS
FIG, 112
FIG. 113
= [Ro,Ri,Rt,Ri\
this point a set of elements
which represents a motion. If A, 5
K, then A *
At
is
obtained, each of
defined to mean
is
MATHEMATICAL STRUCTURES
199
a table,
An
examination
through G-4 are
elements are R'Q
of this
of
satisfied.
illustrates
example
a group.
The four
4
*
is
Y and P
elements of a set
operation
distinct permutations,
=*
(3
line
==
Po
(,
4)'^
are
3
now
1==
\2
l)'
considered as the
j,
if
T,S
#, then T * 5 implies that the permutation S is to be carried
out first and then followed by the permutation T on S. For example,
/I 2 3 4\
/I 2 3 4\
*
can be P erformed as Allows:
P 3 * Pi = (
)
(
7
Pi
Thus
Pi
\1
Q
o
);
i )
Ps
which
is
the same as
since 1
>
1,
4y
3-^3, and
The
It
RELATIONS
SETS
200
FUNCTIONS
* on this set K.
following table describes the operation of
can be shown that the properties G-l through G-4 will hold for this
under *. Thus {K: *} is a group.
If the ends of the cross designated as a, 6, c, and d in Fig. Ill are
set
relabeled
and
1, 2, 3,
4,
Pi, ^2,
and
The
may
be
Exercise 23
1.
Determine
in each case
set of
d.
e.
f.
g.
h.
K
K
K
K
K
K
K
K
=
=
set of
even integers;
set of
odd
* is subtraction.
7;
=
=
=
=
polynomials.
2 A where
1.
2.
A =
{a,b,c}
* is
union of
sets.
For Problem 2
fied for
3.
* is
multiplication.
integers; * is multiplication.
of Exercise 20, determine whether the group properties are satiseach of the given sets and operations.
No
Ri:
120
of
an equilateral triangle
are:
its
center
its
center
MATHEMATICAL STRUCTURES
201
To visualize these motions, cut out an equilateral triangle from cardboard and then
outline this triangle on a sheet of paper along with the additional lines LI, L 2 and I/ 3
,
Cardboard triangle
FIG. 115
Let the vertices of the cardboard triangle be labeled both back and front with the
The motion Ri is produced by placa, b, and c as indicated in Fig. 115.
ing the cardboard triangle on the outline of Fig. 114 and rotating the cardboard 120.
three letters
The
rotation R\ carries the vertex a into 6, 6 into c, and c into a. The rotation R~>
leaves the vertices
c, b into a, and c into 6, while the rotation RQ
carries a into
in Fig. 116,
SETSRELATIONSFUNCTIONS
202
FIG.
bined motion of
Thus
>
>
>
>
#o, since
a.
1 1
>
6->
- [R ,Ri,R} under
forms
a group.
ft i
tfo
#2
So
ffl
6.
If
the cardboard triangle of Fig. 115 is lifted and nipped over each of the three
1/2, and L 3 of Fig. 114, three new motions of the triangle can be produced
lines LI,
back
it
tions.
For
but interchanges
into coincidence
Each
called reflections.
and
c.
The three
reflections
respectively, as
now
Though
\Ro,R],R,Fi,Fz,Fii}.
lines LI,
L 2 and L 3
,
shown
in Fig. 117.
included with the three rotations form the
3,
new
set
17
MATHEMATICAL STRUCTURES
203
Ri,
where R\
is
defined to
is
performed
first
FIG. 118
FIG. 119
Thus F\ * R\ implies that the cardboard triangle is rotated first through 120, producing the arrangement shown in Fig. 118, and then flipped over the line L\ with
the result shown in Fig. 119. This combined motion can be described as:
7*
#1
=F
Fi
> c
Ri has the same effect as the single motion Fz, and thus
9.
If the motions to be performed first are listed in the column to the left while those
performed second are listed at the top, then the results of the operation * may be
summarized
in a table.
Second motion
First
motion
Is this
z,F \,F ,F z\
under
forms a group.
There are
4.
permutations
Let
first
FUNCTIONS
RELATIONS
SETS
204
/I
VI
3\
3J
3\
3J
/I
3\
V2
l)
3\
2J
p
Fl
p
P4
_/l
~U
p
**
P
_
These
V3
/I
V3
3\
2j
Pz means
to
perform
P.
or
It follows that
ft* P.
>
2->
3-*
2_> 2- 3
3_* i_> |
which
is
Pi
"
-([
2)* (5
?)
(2
Is it
l)
?3
Show
'
that
?
If zero is excluded, will the
modulo 7 a group under
modulo 7 be a group under <8>? (See Example 6, Section 5.12.)
set of integers
CONCEPT OF A
FIELD
g-2:
3.
gf-1:
VI
p
^
* be defined so that
[PQ,Pi,Pt,Pi,P4,Pi] and
Thus,
followed by P* on the result of P 5
5.13
and
#=
5.
1, 2,
six possible
may
possessing
}
defined on $, and
,
g-3:
MATHEMATICAL STRUCTURES
205
Proof:
4.
+b
+
&)
(-a) + (a
(-a) + a + 6
+6
5.
1.
2.
3.
= a+c
= (~a) +
= (-a) +
= +c
= c
1,
(a + c)
a + c
2.
3.
4.
5.
1.
If a,b
g and
then 6
3.
8 and
a
2.
If a,b,c
If
c,
1.
if
then
a
+b=
if
0,
2.
then a
= -(-
3.
If a,Z>
If
or a
S,
then
a.
If a,&,c
c.
G
6
c,
a ^ 0, and
then b = c.
&, a ?* 0,
and a
1,
I/a.
g, a 5* 0, then a
<
(cr )"
=
I/a
1
-
parallel
5,
in g.
Example 1. The
It was shown
field.
K=
K
in
is
{0,1,2,3,4} is
a commutative
Example
not a
field.
The
The
2.
set of integers
table for
modulo
K and the
6 where
K = {0,1,2,3,4,5}
K are
table for
is
is
The
FUNCTIONS
RELATIONS
SETS
206
multiplicative inverses.
F,
a,b
addition:
The
3.
Example
is
set
numbers
of
To show
field.
that
J5T
form a + b
2, where
a commutative group under
of the
is
G-l:
i>
(a;
o?,s/,
(?/
(a;
G-2:
numbers
V2 =
G-3:
G-4:
form a
of the
(a
is
\/2)
real
the
is
additive
inverse
numbers
of the
In a similar manner
form a
of
A/2 =
+ b V2
(0
form a
excluded)
1
is
will
hold for
V2
7
V2
0.
it
+ b V 2.
1.
since
it
It is left as
+ b V 2,
/
b V2)
b \/2)]
[- (a
(a
Since commutativity holds for real numbers,
G-5:
will
it
+ b V 2.
The multiplicative
\/2
(a
v
inverse of
26 2
0)y
distributive over
is
addition.
Example
a,b
5.14
Rej i
4.
The
set of
2
1?
fc"
CONCEPT OF AN ORDERED
FIELD
})
b
and, by agreement, means the same as "6 > a" which is read
"6 greater than a." Thus if {g:
is an ordered field, it possesses
}
than
MATHEMATICAL STRUCTURES
"<"
P-l:
If a,b
<
b,
If a,6,c
P-4:
G
G
If a,b,c G
P-3:
satisfies
5, then one
If a,6,c
P-2:
and
>
+>X} and {R
fields \F:
is
true:
b.
207
+,X}
is
positive"
when "a
>
0"
It is also
created from / (integers) modulo p (a prime) are not ordered.
noted that the field {C: +,X }, where C is the set of complex numbers,
is
not ordered.
Many
proved.
Order Theorem
a
1.
Proof:
a < b
<
2.
-+
3.
<
4.
b 4- c
5.
2.
3.
a,6,c
% and
if
<
and
<
+c
<
<
+d
+d
2.
If
By
2.
P-2
3.
By
4.
P-2
5.
P-4
% and a <
Proo/:
a <
1.
Order Theorem
2.
3.
4.
5.
6.
d,
then
+0
hypothesis
hypothesis
0,
then
-a >
0.
1-
By
2.
P-2
3.
hypothesis
elements
1.
<
Authority
Order Theorem
1.
If
1,
d.
3.
If a,b
S and
<b
-b < -a
6 < -a
<
6,
then
Authority
Proof:
a
(-a) + a
< (-a)
+ (-6)
1,
< (-a)
2.
+b
<
(-a)
3.
+b+
+
or
(-6)
4.
.5.
-a > -b
6.
>
b.
SETSRELATIONSFUNCTIONS
208
The reasons
an
as
left
Order Theorem
4.
If a,6,c
%,
1.
<
2. c
2.
4.
-c >
-ac < -be
5.
ac
3.
>
be
Order Theorem
<
If
a.
and
2. &
3.
6,
4. b
&.
<
then ac
0,
>
be.
5.
then
If a,6
>
8,
3.
Order Theorem 2
4.
P-2
5.
Order Theorem 3
<
then a
&
if
and only
if
>
0,
0,
Authority
<
b or 6
+
+
(-a)
(-a)
and
By hypothesis
By hypothesis
Proof:
1.
<
if
Authority
Proof:
a < b
1.
exercise.
>
If b
The proof
> a
> a+
>
>
0,
of part 6
L By
(-a)
then a
<
is left
as
hypothesis
2.
P-2
3.
Since a
4.
By
(-a)
definition
&.
an
exercise.
Exercise 24
1. Determine whether the
given
and multiplication forms a field.
a. K = set of rational numbers
b.
c.
d.
K
K
K
k,
t.
g.
2.
a.
6.
c.
d.
e.
/.
0-
A.
set of integers
=
=
=
K
K
K =
K =
e.
/.
set of
numbers
modulo 3
modulo 4
integers modulo 9
numbers of the form a + b \/2 where a,fc E /
numbers of the form a -f 6 \/3 where a,b E F
complex numbers of the form a + bi where a,6
set of real
set of integers
set of integers
set of
set of
set of
set of
E#
a
a
if
if
if
&- 1
MATHEMATICAL STRUCTURES
PROJECTS
Supplementary Exercises
is
denned
to
1.
is
Thus
A - B
{x
x
|
EA
and x
g B\
or
A - B = A C\B'
Draw a Venn diagram
The complement of a
a.
6.
set;
that
is,
if
(A
C\B
7* 0).
is
subset
is
statements:
(1)
(4)
A - U A - A =
- A =
- =
= Ar\U'=Ar\0 =
(2)
(5)
A-U
(3)
17
(6)
A - - Z7 =
Example.
c. Using the definition of "difference" and the laws of the algebra
the following
(1)
(A
(2)
A
A
(3)
-B)
VJ
r\
of sets,
prove
(B
(B
-C
-
C)
C)
= A -6BUC)
= (A \J B) - (C - A)
- (A r\ B) - (A r\ c)
(A -B)' = A'U
(5 - (7)
B) - C = (A - (7)
(5) (A
- C = (A - C) C\ (B - C)
J5)
(6) (A
- (B - C) = (A - J5) (A C)
(7) A
d. Is set difference a commutative operation?
(4)
U
n
A'
is
A B.
c.
By
(5)
A A0 = A
A A A -0
A AB - B AA
sets,
"A":
(2)
(4)
(6)
A A?7 = A'
A A A' - U
A A (B A C) - (A
A B) A C
Using the definition of "symmetric difference" and the postulates of the algebra
of sets, prove the following:
(1) (A
BY - (A \JB}C\(A\J B')
(A C\ C)
B)
C) = (A
(2) A
(B
e.
AB
by using the
Design an
3.
definitions of -f,
its corresponding table for
Construct
Interpret
of 6
father
FUNCTIONS
RELATIONS
SETS
21
electric circuit
'
The
to cross a river.
is
pounds.
an
of
which
the switches
off.
The mathematical
elements
electric circuit
any one
nonempty set of
and multi-
satisfied:
plication
(1)
for
<> is
(3)
distributive over
(b
(g>
(b
c)
c)
<8>
(a
<g>
b)
(a
(b
<8>
a)
(c
<E>
<8>
to hold
c)
a)
d.
e.
K
K=
K
K
K=
K=
set of integers
set of
even integers or
{.
set of all
set
set
-f-
6.
The statement
[(p
q)
p]
2,0,2,4,
\/2> where
new
+b
>
,4,
we
q)
p]
q)
.}
G1
definitions of "addition"
from the compound statement [(p matics along with other tautologies
and a<8>6=a-h&
a tautology and
q is
a,Z>
This law
is
may
be inferred or detached
in
p].
q in the
is
form p
Example
1:
p -
Example
q:
If I
p:
q:
shall graduate.
2: (euclidean plane
p-
geometry)
two
lines a
and
p:
q:
q:
If
to a third line
is
and "multi-
ab.
parallel to
c,
b.
MATHEMATICAL STRUCTURES
211
In Examples 1 and 2 we asserted p > q (the major premise) and p (the minor premise)
without any concern for the truth values assigned to either p or p - q. Our major
interest is in the symbolic form of the compound statement [(p > q) A p]
g, which
is a tautology; i.e., this law is valid and is independent of the truth values assigned
to its
component
parts.
from
its
is
to
is
correctly inferred
b.
7.
If
it
It
is
Conclusion:
I shall
Major premise:
Minor premise:
If a triangle is isosceles,
Conclusion:
Angle
go swimming.
Triangle
GHI
G is
is
then
isosceles
equal to angle
its
(GH =
I.
Major premise:
Minor premise:
Conclusion:
8.
Major premise:
Minor premise:
If
A = angle B.
A and B are right angles.
Angle
Consider:
months ago
it
was June.
then
six
month is May, then last month was April. But if last month was
months ago it was June. Then if this month is May, six months ago
April,
it
was
June.
r) is
a tautology.)
logically follow?
[(p-#)
(q-* r)]-
Answers
CHAPTER
Exercise
la.
b.
c.
Not a
Problems
to Selected
well-defined set
1,
Page 3
GQ
2a. r
Well-defined set
Not a well-defined set
d.
f-
h&Q
<Q
ff
Exercise
2,
Page 4
Exercise
3,
Page
/.
Infinite set
h.
Finite set;
elements
elements
2a.
i.
is
{M,i,s,p}
b. Infinite set
/. Finite set; nine elements
d.
7
2 but less than 8
greater than
{-1,0,1,2,3,4,5,6,7}
x has
less
than 30 days
{7,11,13,17,19,23,29,31,37}
Infinite set
g.
{February}
x H- 1 = x
h.
0J
k.
+ 2x
^
=0
=
+5
3x
-h 5
set of rational
5
Q -
{1,2,3,4,5}
is less
numbers
than 6
2x
6a.
213
True
g.
False
False
A.
True
d.
Exercise
1.
Six
3.
FUNCTIONS
RELATIONS
SETS
21
Page 10
4,
5a.
1; 3; 7
1357---2n-l---
ways
Exercise 5, Page 12
16.
d.
f.
g.
A = B
A B
A^B
A*B
Exercise 6, Page 17
{Tuesday, Thursday}
la,
* is a
{*
of the
day
{Tuesday, Thursday}
c.
{5,6}
{x
3.
is
a natural
{5,6}
N CRe
N CF
NCI
F CRe
Re~ CRe
I+
e
7+ C F
I+
CR
CI
{a;
is
CRe
CRe
Ri
I
4a.
d.
True
True
5a.
d.
CF
g.
False
e.
H
H
H
H
CRe
k.
False
h.
{10}
{0}
CN
CF
60.
CI +
HCI
h.
&
t.
n.
86.
(3(_
d.
V3, - V3}
{x
x
|
A and
a;
Yes
d.
No
e.
Yes
7* 0}
{0,4}
Exercise 7, Page 20
I/-
{{0 {0}',0,{0}};{0,{0},0};{0,{0},{0}};{0,0,{0}};{{0},0,(0}};{0,{0}};
)
2*
1;2
and
2;
all
is
d.
False
t.
True
True
j.
False
/.
c.
T == {1}
S - {{1},2}
V - {{{1},2},5}
T G 5, 5 E F, but 2
Let
m. False
Exercise
2a, Set of
6.
False
8,
gF
Page 23
4a.
c.
f.
C\
= B
B C\C A'
(10,20,30,
.}
ANSWERS TO
60.
c.
UB
.4
P\
==
{all
the elements of
or
B = A
B = B
IB
Exercise
2o.
/i.
A - B (B
(B
215
B -
A
A
C\
SELECTED PROBLEMS
9,
Page 34
{2,6,10,14,18}
-A)' = U
- AY C\(A - BY -
{1,3,4,5,7,8,9,11,12,13,15,16,17,19}
3e.
46.
gram
is not the only Venn diathat will satisfy the given con-
This
ditions.
8a.
34
6.
10
c.
c.
e.
d.
65 per cent
25 per cent
216
SETS
FUNCTIONS
RELATIONS
CHAPTER
Exercise
0,
Page 58
ANSWERS TO
<)a.
r.
(0,1}
e.
(3)
ff.
(0,1,2)
> 5}
\x\x < -22}
10a.
\x\x
c.
\x\x
i.
{2,
217
A.
{x\x g[-i,3]}
e.
g.
SELECTED PROBLEMS
12a.
03
-5
e.
15a.
flf.
-202
VT
-2
-1
/2
-2
CHAPTER
i.
2a.
c.
e.
A X A =
!(3,3),(3 J 4),(3,5),(4,3),(4,4),(4,5),(5,3),(5,4),(5,5)J
J3XA
(4
(A
J5)
.4)
=
=
{(3,3),(3 4),(4,3),(4,4)j
}
{(3,3),(3,4),(4,3),(4,4)|
elements
elements
n elements
7x
3.
7+
XN - N X
mn
{(2,2),(3,3),(4,4),(5,5),(6,6)|
{(*,y)
=
B* =
i)*
e.
eu xu
(2,3,4,5,6)
(2,3,4,5,61
{(3,2),(4,2),(4,
{(x,y)
D* JR*
D* =
R* -
e U X U\x
(3,4,5,6)
12,3,4,5}
{4,5,6}
{2,3,4}
X A) HOB X
X B) r^(B X
/+
SETSRELATIONSFUNCTIONS
218
2a.
123456
No
/.
6.
Yes
d.
No
n.
3a.
123456
23456
No
No
Yes
K-1,-2),<0,0),(1,2)}
jD*
>*
'
- {-1,0,11,12*=
-2,0,2), fl*
-2,0,2}
{-1,0,1!
_2,2),( -2,3),(
- !,-!),( - 1,0),
D* -
>
>
219
/?or/?-1
-3
-3
2a.
c.
R~
ft"
\(x,y)
{(3,0)
R y
- 3},
- 5},
],
d.
-1
7a.
C\R 2
Ri
SETS
220
RELATIONS
CHAPTER
FUNCTIONS
"'JlllllllIllIlL
1X4
h.
4c.
-3
-3
221
y
3
S 2/4
(-6,0)
76.
JT
(6,0)
222
SETS
RELATIONS
FUNCTIONS
la.
c.
-9
.7-
\
k.
2a.
\l
74
-4
36.
223
4a.
Vr J7
:
Yes
la.
e.
3a.
*./-
=
/ -
e.
Aa; G]0,oo[}
-frr'Ar 6]0,oo[}
- 4) A w G
f(w) = 2w(w;
/()
[-2,oo[; Z2*
(*)
A/3-
-A
a;(200
x)
12.
]4,
[0,*[
[}
e]0,oo[}
EIO,co[}
]0,
AA
I (a:,
,- 1A , nr
]0 50[
'
'i50[|
16.
/-
108
,
TTX
,
2
AA
K-3,-1)}
16.
17.
18/.
-2
--*-!}
[0,oo[
/=
/=
{(,/())
&[; ^*
/(r)
Jf(r)
14.
7a.
10a. /
c.
D* d D* =
/=
4a.
rf.
Yes
2o.
No
No
c.
-2
RELATIONS
SETS
2Qf.
For
ft,
0.
For
Si,
;.
For
= [0,
* =
[O
D* - [0, co
fl* -]-o,0]
>*
>
f(f,-f),(2 2)j
24.
((\/
5,- \/2)|
26.
JD*
22.
10,
FUNCTIONS
28.
[0,oo[
= ]-oo,
oo
fO
/-<7
fff
+j\/2
= A/2 - x -
T/
{(*,
\/2 -
3)
9a.
-3
-1
{(s,y)
\/9 -
=
{
(x,y)
x*
1}
(x,y)
V9
=
x
a?l
y}
*}
3}
225
CHAPTER 5
Exercise 20, Page 157
la.
Yes
d.
No
g.
Yes
i.
No
k.
m.
3a.
Yes
No
Yes
d.
No
/.
Yes
A (A n By
- A
3d.
(A'
W BY
(1)
(A
(3)
(A'
6.
(2)
c.
(3)
(4)
(7)
* (A
r\
identical.
U BO H (A U B) Pi (A
U B') H (A U CO
n c) w (B n c) u (A
(A U B) Pi (A U CY
(A U C) n (B U C) n (A
\J B')
r\D)\j(B r\D)
\J
D)
n (B \J D)
A'
(8)
56.
d.
flr.
6a.
6.
A'
n B'
U B'
{a;
{x
G Z7 x G A A x g BJ
G U \x g A V * g B)
|
RELATIONS
SETS
226
FUNCTIONS
4a.
Yes
6.
No
c.
Yes
A'-
-L,
Sb.
A + BC
d.
AB'(C
e.
(AB
+C
B)
4-
DE)B
g.
No
No
Yes
Yes
2a.
b.
.
i.
No
No
No
No
>.
0.
.
Yes
Yes
No
No
Yes
5.
Yes; yes
Index
Abelian, 193
Abscissa, 77
Cartesian-product set,
R e 78
Re
Circle, 100-102, 125
XR*X
of,
66-68
area
175-182
of propositions, 182-189
of sets, 159-168
of circuits,
natural-number system, 43
in real-number system, 51
in structure, 155
Average, 155
in
Axis, x, 99
y,
99
e,
77
127
equivalent, 176
open, 175
175
Algebraic equations, 47
Associative law for operations, in algebra of sets, 34, 160
in Boolean algebra, 171
in group, 193
of,
R XR
parallel,
series,
175
switches
of,
175
Binary, 154
Binomial theorem, 20
Boolean
(see
algebra of
Algebra)
in
in
in
Cantor, Georg,
Cardinal number, 11
Cartesian construction, 74
set,
160
in structure, 155
Complement of a set, 22, 113
laws
Cartesian-coordinate system, 77
Cartesian-product
/ X /, 75
sets, 34,
161, 171
Complementary relation, 84
Complex number, 6, 149, 206
74-78
227
SETS
228
RELATIONS
domain
range
of,
of,
Compound
144
144
defining conditions, 65-70,
FUNCTIONS
Distance, 67
Distributive law for operations, in algebra of sets, 34, 160, 166
in
108, 126
statement, 183
Conditional equations, 53
Congruent, 194
Divisor, zero, 47
Domain,
Compound
if,
then, 184
not, 184
or (exclusive), 22, 61
144
of relation, 81
Domain
variable, 139
Dual, 168
relations as, 79
Constant, 6
Element, identity,
image
43,
44
of,
Contrapositive, 185
Converse, 185
Coordinate line, 48
unity, 43
of a set,
Empty
or null set, 4
49-50
Dedekind, Richard, 40
Decimals,
infinite,
of sets, 11
Equality properties, 52
Equality relation, 82
Equations, algebraic, 47
equivalent, 111
conditional, 53
defining conditions as, 47, 53, 57
equivalent, 57, 111
identical,
De Morgan's
160-162, 166
for
first-degree,
47
53
INDEX
Factor of set polynomial, 166
Factorization, of polynomials, 56-57
of set polynomials, 167
204-208
120
dependent variable
of,
120
difference, 138
number, 152
of,
Identical equations, 53
for multiplication, 43
Finite set, 3
domain
Boolean algebra,
First-degree equations, 47
of,
for
171
numbers, 51
definition
Idempotent law,
Identities,
ordered, 206
of rational numbers, 51
of real
229
for,
143
identity, 144
for
Improper
independent variable
of,
120
set, subset,
13
Inclusion, 13
linear,
136
quadratic, 136
quotient, 138
of hyperbola, 107
of parabola, 106
113
linear, 64,
single-valued, 120
sum, 138
solution
in
two
of,
63-66
variables, 102
Infinite decimals,
commutative or
204
properties
193
of,
Infinite set, 3,
40
equivalence
of,
Integers,
2, 75,
10
193
negative, 44
positive,
44
subtraction
for,
45
44-45, 94-95
Intersection of sets, 21
system
49-50
laws
of,
of,
34
Idempotent law,
159, 161
SETS
230
RELATIONS
FUNCTIONS
cardinal, 11
Number,
complex,
149, 206
6,
76
in a set,
30-32
as integer,
2, 44,
irrational, 6, 48, 90
number, 6, 48, 90
Isomorphism, 173, 176, 189, 196, 200
natural, 2, 42-44
negative, 61
Irrational
94-95
nonnegative, 69
positive, 61
Lattice, 75
prime, 2
coordinate, 48
as a function, 123
of subsets, 18
identities,
152
system, 41
44
of integers,
of,
real, 6,
Number
Number
real-number, 48
as a relation, 124
Mapping, image
92-93
48
natural, 42
rational, 46-47, 92-93
real, 50,
160-161
Modulo, 194
Motions, of cross, 197-199
of equilateral triangle, 201-204
as reflections, 202
as rotations, 197
Open
175
circuit,
154-155
complementation, 22
closed,
of
of intersection, 21
inverse, 44, 52
of sets, 21-22
laws
of,
34
of union, 22
Natural numbers, 2
division for, 44
for, 43
42-43
Negation, 184
Negative integers, 44
subtraction
system
of,
Negative number, 61
Nonnegative number, 69
Notation, interval, 69
Null or
empty
set,
of, 61-63
Order properties, 63-66, 89-90, 207
Ordered field, 206
Ordered pairs, abscissa of, 77
Order, concept
cartesian-coordinate system, 77
concept
equality
ordinate
of,
73
74
of,
77
of,
Ordinate, 77
Origin, 99
INDEX
Parabola, 106, 135, 146-147
Parallel circuit, 175
Permutation, 199
Placeholder, 6
of,
56
Regions formed, 25
by circle, 104
by ellipse, 106
by hyperbola, 107
by line, 103
by parabola, 106
Relation, circle as, 130-131, 146-147
complementary, 84
55
in more than one variable, 56
in one variable, 55
zero, 56
Positive integers, 44
factorization
23\
of,
as a connective, 79
domain of, 81
equals, 82
Positive number, 61
Postulates, 156-157
Power
set, 18,
190
Prime number, 2
Product function, 138
line as,
null, 81,
120
"R on a
set
of theorems,
164-165
membership, 2
R X R
Proper subset, 13
in
range
Property, 52,
82
82
124
U," 80
96
ej
of,
81
reflexive,
82
symmetric, 82
transitive, 82
universal, 81
Ring, 210
Rules of signs, 54
Rational numbers,
2,
90
field of, 51
51
as infinite decimals, 49
159-168
algebra
of,
belongs
to, 1
product
set)
complement
(see
Complement
a set)
description
of,
4-6
of
RELATIONS
SETS
232
number
equivalence
finite, 3
of,
30-32
improper, 13
21
of,
laws of operation
of,
161-163
of,
of, 34,
membership method
membership relation
160
operations of,
power, 18, 190
21-22
subsets, 13
independent, 109
18
of,
supersets, 13
union
104
number
circle,
40
infinite, 3, 10,
intersection
Subspaces, formed, by
by ellipse, 106
by hyperbola, 107
by line, 103
by parabola, 106
of,
FUNCTIONS
of, 22,
34
of integers, 44-45,
94-95
mathematical
Structure)
of natural
unit, 5
(see
numbers, 42-43
universe, 15-16
Venn diagrams, 24-30, 161-163
well-defined,
15-16, 57-58
set,
Term,
simple, 182
of,
183, 188
field,
algebra of
sets,
204-208
group, 193-204
ordered field, 206
ring,
142
210
of,
hypothesis
of,
185
159-168
improper, 13
number of, 18
of
R XR
e
ej
185
Subsets, 13
96
185
185
inverse
of,
of,
of,
185
of,
of,
vertical-line,
Theorem, conclusion
converse
mathematical, 154-157
postulates of, 156-157
theorems of, 157
model
contrapositive
types
ordered-pairs, 103
Tautology, 187-189
excluded middle, 188
law of inference, 210
Union
laws
of sets, 22
of,
34
77, 96-97, 99
INDEX
Unit
circle,
Unit
set, 5
151-153
233
Variable, values
of,
Universal relation, 81
Universal set, 15
196
of, 6,
121
Venn, John, 24
Venn diagrams,
24-30, 161-163
Well-defined
set, 1
Variable, 6
dependent, 120
domain, 139
Zero divisor, 47
independent, 120
Zero polynomials, 56
CZ
6708