Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
A B C A B C
A B C A B C
A B C A C B C
A B AB C
A C B C A C B C
A B C A B A C B C
A B C
For any q finite sets A1, A2,, Aq, q 2,
A1 A2 ... Aq Ai Ai A j Ai A j Ak
i 1
i j
i j k
... 1 q 1 A1 A2 ... Aq
Example: Let S = {1,2,,500}. Find the number of integers in S
which are divisible by 2, 3 or 5.
Solution
Note first the following observations:
For each n N, the number of integers in S which are
divisible by n is given by 500/n .
For a, b, c N, c is divisible by both a and b iff c is
divisible by the LCM(a,b).
m 1
m 2
m 1
m 2
E m m
m
m
q m
q
q
... 1
m
q
k m k
k
1
m
k m
Example of GPIE
S
P1
P2
P3
P4
1
/
/
/
/
/
/
/
4
/
/
6
/
8
/
/
/
/
9
/
10
11
/
/
/
/
/
12
/
13
14
/
/
/
Solution
Consider property P1. Since there are 5 elements of S that have this
property, then (P1) = 5. There are 4 elements with properties P2
and P3, thus, (P2P3) = 4. Scrutinizing the table, we get the
following:
(P1) = 5
(P1P4) = 2
(P1P3P4) = 2
(P2) = 9
(P2P3) = 4
(P2P3P4) = 4
(P3) = 6
(P2P4) = 5
(P1P2P3P4) = 2
(P4) = 6
(P3P4) = 5
(P1P2) = 3
(P1P2P3) = 2
(P1P3) = 3
(P1P2P4) = 2
Thus by definition,
(0) = |S| = 14
(1) = 5 + 9 + 6 + 6 = 26
(2) = 3 + 3 + 2 + 4 + 5 + 5 = 22
(3) = 2 + 2 + 2 + 4 = 10
(4) = 2.
This gives, by the GPIE:
E(0) = (0) - (1) + (2) - (3) + (4)
= 14 - 26 + 22 - 10 + 2 = 2.
E(1) = 4; E(2) = 4; E(3) = 2 and E(4) = 2.
Proof of the GPIE
we shall show that each x S contributes the same count, either
0 or 1, to each side of the equation of the GPIE.
Let x S be given. Assume that x possesses exactly t properties.
Case 1. t < m. Clearly, x contributes a count of 0 to both sides.
Case 2. t = m. In this case, x is counted once in E(m). On the other
hand, x contributes 1 to (m) but 0 to (r) for r > m. Thus, x
contributes a count of 1 to both sides.
n
1 0
r
r 0
n
And since x contributes the same value to both sides, the theorem is
proved.