北京大学：离散数学（一）：19.1-2

1 ? E?c ìD?:} ? ?19.1 ì￥?lD?é ?19.2 0ìaì] ?Dì￥° ?19.3 + y￥ì ?19.4 ?:} ? 2 ?ì￥?l ?ì￥'?é ?}e ? ?ì?￥'? TD?? T ?ì?￥'?NHq ?ì?￥ ? p ?ì￥} ??l ?ì?￥?? T 19.1 ì￥?l??é 3 ì￥ ê?"?l
 <S,?>, S ￥??=í0"?μKv/?aKl ? . pKv/?aKl ??ì?￥ ? ∧,∨ ì <L,?>D?￥} ?"d <L,∧,∨>￥?1" ì￥ L è
 n ￥?y0ì S n a"ì P(B) 0?ì L(G)
ì￥?l 4 ì￥ L è è1 ! n ^?? ?
 S n ^ n￥?y0￥"? . D1?"1 "
5ê?" <S n ,D>?ì . ?x,y?S n
 x?y ^ lcm(x,y)
' x D y ￥Kl ? . x?y ^ gcd(x,y)
' x D y ￥Kv? ? . /mó ì <S 8 ,D>
 <S 6 ,D>?<S 30 ,D>. 5 è2 ?/ ê?" ^??ì
i a ü ?? . (1) <Z, ?>
? Z ^? ?"
?1l???1" . (2) ê?"￥W ?msY/mó . ì￥ L è
?
 (1) ^ì . (2) ?? ^ì . 6 }
5
 ! P ^?ì?í í ,?,?,=,∧,∨?V U￥
5
 ?| P?￥ ?,?,∧,∨sY9D? ??,∨,∧¤?￥
5?1 P￥ }
5
:T P * . L è
 P: a ∧ b = b ∧ a P *
 a ∨ b = b ∨ a ?é
 (p * ) * = P }e ?
?T P?BMì1?
5 P * 9BMì1? . ì￥?é ——}e ? 7 ì￥?é
?
 ì?￥'?? T?? T a ? a a ? b, b ? c ? a ? c a∧b ? a, a∧b ? b a ? a∨b, b ? a∨b a ? b, a ? c ? a ? b∧c a ? b, a ? c ? a ? b∨c a ? b, b ? a ? a = b 8 ì￥?é
?
 a ? b ? a∧b=a ? a∨b=b ?? è ì?￥'?NHq ￡
 ??è b ? a∨b è?? a ? a∨b = b a∧b ? a ? a∧b=a a=a∧b?b, b?b ? a∨b?b ? a∨b=b ??? a ? a, a ? b ? a ? a∧b 9 ì￥?é
?
 ￡ (1) a∧b ^ { a,b }￥/?
 b∧a ^ { b,a }￥/? , { a,b }={ b,a } ? a∧b=b∧a ì??D pa2? pa a? pa l p (2) (a∧b)∧c?a∧b?a (a∧b)∧c?a∧b?b (a∧b)∧c?c ] ?
 a∧(b∧c) ? (a∧b)∧c (a∧b)∧c?b∧c ?[
 a∧(b∧c) = (a∧b)∧c (a∧b)∧c?a∧(b∧c) 10 ? ? <S,*,?> ^ μ ?=í ?￥} ?"d . ?T *,? ? ?@?Da2?a l p
 5 (1) *,? ?@ a? p (2) a*b = a ? a?b = b ￡ (1) a*a = a*(a?(a*a)) = a ] ?
 a?a = a (2) “?” a*b = a*(a?b) = a “?” a?b = (a*b)?b = b
ì￥} ??l 11 ? ? ! <S,*,?> ^ μ ?=í ?￥} ?"d
 ? *?? ? ?@?Da2?a l p
 5 V[ a??l S ê? ?
 P¤ <S,?>?ì
 O <S,?>?￥} ?"dü ^ <S,*,?>. ￡ ü ± ^ (1) ?¨ ? ? *?l S ￥=í1" R (2) ￡ ü R1 S ￥ê? (3) ￡ ü? S??i ?í í x, y x∨y=x?y, x∧y=x*y <S, ∧,∨>?ì

ì￥} ??l
?
 12 ￡ (1) ?l=í1" R, aRb ? a?b=b, (2) R1ê?
 ccbcbacbaca ccbbbabRcaRb baaabbbabRaaRb aRaaaa ====? ==? =?==? ?= oooooo oo oo o )()( ,, ,, | R:T ?,
? ?￥￡ ü 13 ? ?￥￡ ü
?
 babbabab babaabaa ooooo ooooo == == )()( )()( ccacbacba cba === ooooo o )()
1 ?
5L !1Kl ?
 (3) a°b1 {a,b}￥ ? ] ?
 a*b ^ {a,b}￥Kv/? . a ? a°b b ? a°b ? a°b ? c ? 14 ?N?l ! <L,∧,∨> ^ μ ?=í ?￥} ?"d
 ?T ∧,∨ ?@?Da2?a l p
5? <L, ∧,∨> ^ì . L è
 <S n , gcd, lcm> ?x, y∈S n , gcd (x, y) = gcd (y, x), lcm (x, y) = lcm (y, x) gcd (x, gcd (y, z)) = gcd (gcd (x, y), z) lcm (x, lcm (y, z)) = lcm (lcm (x, y), z) gcd (x, lcm (x, y)) = x, lcm (x, gcd (x, y)) = x x | y ? lcm (x, y) = y <S n , |> D <S n , gcd, lcm> ^]B?ì ì￥} ??l 15 ì￥?? T
1
??? T a?b,c?d ? a∧c?b∧d, a∨c?b∨d
2
s￥?? T a∨(b∧c)?(a∨b)∧(a∨c), a∧(b∨c)?(a∧b)∨(a∧c)
3
?? T a?b ?a∨(c∧b)?(a∨c)∧b ± I
??￡ ü[ ?? T
$
ì￥?é
?
 16 ? ?@s￥ p￥ì G Fì ??ì G Fì
 b ∨ (c∧d) = b ∨ a = b (b∨c) ∧ (b∨d) = e∧e = e ± I
·??ì? ?@s￥ p￥í í 17 19.2 0ìaì] ?aì￥° ?0ì ?0ì?l ?0ì?Y ?ì￥] ?D] ?ì] ??l ?ì] ?￥?é ??!ì ?ì￥° 18 ì￥0ì L￥ 0ì
 L￥d b0" S
 O S1? L? ∧ ?∨  ?> . ?i
0ìí íe ?ì?pKv/??Kl ? . L è
0?ì L(G) ^ì
?B?? ^ P(G)￥0ì . è? Klein 1í? G={e, a, b, c}, L(G)={<e>,<a>,<b>,<c>,G} P(G)={?,<e>,{a},{b},{c},<a>,<b>,<c>,{a,b},{a,c}, {b,c},{a,b,c},{a,b,e},{a,c,e},{b,c,e},G} 19 ì￥] ? ?l ! L 1 ?L 2 ^ì , f:L 1 →L 2 , ?x, y∈L 1
μ f(x∧y) = f(x)∧f(y), f(x∨y) = f(x)∨f(y) 5? f 1 L 1 ? L 2 ￥ ] ? . L è
 L 1 =<{1,2,3,6},|>, L 2 =<{0,1},≤> f(1)=f(2)=0, f(3)=f(6)=1 f1 L 1 ? L 2 ￥] ? . 20 ì] ? μ?? ? ? 1 f ^ì L 1 ? L 2 ￥] ?
5 ?a,b∈L 1 , a ? b ? f(a) ? f(b) ￡
 a ? b ? a ∧ b = a ? f (a ∧ b) = f(a) ? f(a) ∧ f(b) = f(a) ? f(a) ? f(b) ?i
 f(a) ? f(b)?B?w a? b. ± IQ è . ì] ?￥?é 21 ? ? 2 f1 ? 
 f1 L 1 ? L 2 ￥]?O?? ?a,b∈L 1 , a?b ? f(a)?f(b) ￡ ü]￥ ± ^
 (1) ???￡ ü f(a)∨f(b) ?f(a∨b) (2) ? ? ?i d P¤ f(a)∨f(b)=f(d) ? f(a)?f(d) w a?d, ] ? b?d (3) a∨b?d w f(a∨b) ? f(a)∨f(b) (4) ? (1)?(3)¤ f(a)∨f(b)=f(a∨b) (5) ] ? f(a)∧f(b)=f(a∧b) ì] ?￥?é
?
 22 ?l ! L ^ì
? L￥??0" S
 S￥Kv/? ∧S, Kl ? ∨Si
5 L ^ ?!ì . ?i
 S V[ ^ b" x ^ ?￥/? ? ?a(a∈?→x?a) x ^ ?￥ ? ? ?a(a∈?→a?x) -q1L
 L???í í? ^ ?￥ ??/?
 | LKví1 ∧?
Klí1 ∨? Hq
 L1ê?
?i0" S?L, ∨S ( ∧S) i . L è
μKìa a"ìaì￥ ?Xì?! ?!ì 23 I ^ì L￥d b0"
?T ?@/ ?Hq5?1 ?X . ?a,b∈I, a∨b∈I, ?a∈I, ?x∈L, x?a ? x∈I 0ì
 {a},{b},{c},{d}, {a,b},{a,c},{a,d},{b,d},{c,d}, {a,b,d},{a,c,d},{a,b,c,d} ?X
 {a}, {a,b},{a,c}, {a,b,c,d} ?i
 ?X ^0ì
? ^0ì?B? ^ ?X . ì￥ ?X 24 ?Xì I(L)
 L￥ ?μ ?X￥"?1?c1"?ì I 0 (L)=I(L)∪{?}
 ?Xì?B??!
? ^ I 0 (L) ^?!ì . ??ì L? V3??!ì I 0 (L), 'D I 0 (L)￥0ì]  ì?!ì￥ V3?? ± I
ì <Z,≤>??3?
$ 25 T< ?ˉ1? ì￥ ??l ì￥?é 0ì￥? ì] ?￥?l#?é ì￥° ? ? ?T<
 5 E?
 1, 3, 4, 8