1 [Lời giải]Chứng minh quan hệ tương đương Thu Jun 02, 2011 9:52 pm
Admin
Quản trị viên
Đề thầy cho:
Cho R là quan hệ thương đương trên tập A. Chứng minh rằng các mệnh đề sau là tương đương:
a. Trước hết chứng minh (i) => (ii). Giả sử aRe, ta sẽ chứng minh [a] = [e] tức là [a] [You must be registered and logged in to see this image.] [e] và [e] [You must be registered and logged in to see this image.] [a].
Theo định nghĩa tương đương, với c bất kỳ Э [a] ta có:
- cRa (định nghĩa lớp tương đương)
- và aRb ta → c Э [e] (Tính chất bắc cầu của quan hệ tương đương).
Ngược lại, chứng minh [e] [You must be registered and logged in to see this image.] [a] ta làm tương tự (thay chỗ nào có [a] bằng [e] và ngược lại, phần chứng minh trên)
b. Chứng minh (ii) => (iii): Giả sử [a] = [e] vì [a] ≠ Ø và [e] ≠ Ø theo tính chất phản xạ, nên [a] ∩ [e] ≠ Ø
c. Chứng minh (iii) => (i): Giả sử [a] ∩ [e] ≠ Ø tức là [You must be registered and logged in to see this image.] c Э [a] ∩ [e], theo định nghĩa cRa và cRe → aRc (tính đối xứng) và cRe ta có aRe.
đpcm.
Cho R là quan hệ thương đương trên tập A. Chứng minh rằng các mệnh đề sau là tương đương:
- Code:
(i) aRe
(ii) [a] = [e]
(iii) [a] ∩ [e] ≠ Ø
a. Trước hết chứng minh (i) => (ii). Giả sử aRe, ta sẽ chứng minh [a] = [e] tức là [a] [You must be registered and logged in to see this image.] [e] và [e] [You must be registered and logged in to see this image.] [a].
Theo định nghĩa tương đương, với c bất kỳ Э [a] ta có:
- cRa (định nghĩa lớp tương đương)
- và aRb ta → c Э [e] (Tính chất bắc cầu của quan hệ tương đương).
Ngược lại, chứng minh [e] [You must be registered and logged in to see this image.] [a] ta làm tương tự (thay chỗ nào có [a] bằng [e] và ngược lại, phần chứng minh trên)
b. Chứng minh (ii) => (iii): Giả sử [a] = [e] vì [a] ≠ Ø và [e] ≠ Ø theo tính chất phản xạ, nên [a] ∩ [e] ≠ Ø
c. Chứng minh (iii) => (i): Giả sử [a] ∩ [e] ≠ Ø tức là [You must be registered and logged in to see this image.] c Э [a] ∩ [e], theo định nghĩa cRa và cRe → aRc (tính đối xứng) và cRe ta có aRe.
đpcm.
Được sửa bởi Admin ngày Thu Jun 02, 2011 10:00 pm; sửa lần 1. (Reason for editing : Do [ b ] trùng mã in đậm nên thay bằng [ e ])