Binary Operation
Binary Operation
Example 2
• Let M(R) be the set of all matrices with real entries.
The usual matrix addition + is not a binary operation
on this set.
Reason:
A + B is not a defined for an ordered pair
𝐴, 𝐵 of matrices of different shapes.
Example 3
• Our Usual addition + is not a binary operation
on the set R* of nonzero real numbers.
Reason:
2 + (−2) is not in the set R*; that is, R* is not
closed under addition
Example 4
The usual matrix multiplication ∙ is a binary operation
on the set 𝑀4 (𝐶) of all 4 x 4 matrices, and the
product is again a 4 x 4 matrix.
Example 5
• Let F be the set of all real-valued functions f having as
domain the set R of real numbers. We are familiar with
binary operations + and ∙ on F; namely, for each
ordered pair 𝑓, 𝑔 of functions in F, we define ℎ = 𝑓 +
𝑔 to be the function with domain R such that
ℎ 𝑥 =𝑓 𝑥 +𝑔 𝑥 .
Similarly, we define 𝑘 = 𝑓 ∙ 𝑔 by
𝑘 𝑥 =𝑓 𝑥 𝑔 𝑥 .
Both h and k are again real-valued functions with
domain R, so that F is closed under both + and ∙ .
Example 6
• On 𝑍 + , we define a binary operation ∗ by 𝑎 ∗
𝑏 equals the smaller of 𝑎 or 𝑏 or the common
value if 𝑎 = 𝑏.
Thus
2 ∗ 11 = 2
15 ∗ 10 = 10
3∗3=3
Example 7
• On 𝑍 + , we define a binary operation ∗′ by
𝑎 ∗′ 𝑏 = 𝑎.
Thus
2 ∗′ 3 = 2
25 ∗′ 10 = 25
5 ∗′ 5 = 5
Example 8
• On 𝑍 + , we define a binary operation ∗′′ by
𝑎 ∗′′ 𝑏 = 𝑎 ∗ 𝑏 + 2, where ∗ is defined in
example 6. Thus
4 ∗′′ 7 = 6
25 ∗′′ 9 = 11
5 ∗′′ 5 = 7
Example 9
• On 𝑍 + , we define an operation ∗ by 𝑎 ∗ 𝑏 = 𝑐,
where c is the largest integer less than the
product of a and b. Is the set 𝑍 + together
with the operation ∗ a binary operation?
Example 10
• On 𝑍 + , we define an operation ∗ by 𝑎 ∗ 𝑏 = 𝑐,
where c is the integer greater than or equal to
the product of a and b. Is the set 𝑍 + together
with the operation ∗ a binary operation?
Commutative and Associative
Operation
• A binary operation on a set S is
commutative if 𝑎 ∗ 𝑏 = 𝑏 ∗ 𝑎 for all
𝑎, 𝑏 ∈ 𝑆.
Table 1.1
Example 10
• Complete table 1.2 so that ∗ is a commutative
binary operation on the set 𝑆 = 𝑎, 𝑏, 𝑐, 𝑑 .
∗ a b C d
a b
b d a
c a c d
d a b b c
Example 11