อ่าน 2 นาที
กฎการดูดซับ
ในพีชคณิตกฎการดูดกลืนหรือเอกลักษณ์การดูดกลืนคือเอกลักษณ์ที่เชื่อมโยงการดำเนินการทวิภาคสองอย่าง เข้าด้วย กัน
กฎการดูดซับ
ในพีชคณิตกฎการดูดกลืนหรือเอกลักษณ์การดูดกลืนคือเอกลักษณ์ที่เชื่อมโยงการดำเนินการทวิภาคสองอย่าง เข้าด้วย กัน
กล่าวได้ว่าการดำเนินการไบนารีสองอย่าง ¤ และ ⁂ เชื่อมโยงกันโดยกฎการดูดซับ ถ้า:
- a ¤ ( a ⁂ b ) = a ⁂ ( a ¤ b ) = a .
ตัวอย่าง
โครงตาข่าย
เซตที่มีการดำเนินการทวิภาคแบบสลับที่ได้และแบบสมาคมได้ สองอย่าง ("รวม") และ("พบ") ที่เชื่อมต่อกันด้วยกฎการดูดซับ เรียกว่า แลตทิซในกรณีนี้ การดำเนินการทั้งสองจำเป็นต้องเป็นการดำเนินการเอกลักษณ์ (เช่นa a = aและa a = a )
ตัวอย่างของแลตทิซ ได้แก่พีชคณิตเฮย์ติงและพีชคณิตบูลีน [ 1 ] โดยเฉพาะอย่างยิ่งเซตของเซตที่มี ตัวดำเนินการ ยูเนียน (∪) และ อินเตอร์ เซกชัน (∩) และเซตเรียงลำดับที่มีการดำเนินการ minและmax
ตรรกะ
ในตรรกศาสตร์คลาสสิกโดยเฉพาะอย่างยิ่งในพีชคณิตบูลีนการดำเนินการORและANDซึ่งเขียนแทนด้วยand นั้น สอดคล้องกับสัจพจน์ของแลตทิซ รวมถึงกฎการดูดซับ และเช่นเดียวกันนี้ก็เป็นจริงสำหรับตรรกศาสตร์เชิงสัญชาตญาณด้วย
ตัวอย่างที่ไม่ใช่
กฎการดูดซับใช้ไม่ได้กับโครงสร้างพีชคณิตอื่นๆ อีกหลายอย่าง เช่นวงแหวนสลับที่เช่นฟิลด์ของจำนวนจริงตรรกศาสตร์ความเกี่ยวข้อง ตรรกศาสตร์เชิงเส้นและตรรกศาสตร์โครงสร้างย่อยในกรณีสุดท้ายนี้ ไม่มี การจับคู่ แบบหนึ่งต่อหนึ่งระหว่างตัวแปรอิสระของคู่เอกลักษณ์ที่กำหนด
ดูเพิ่มเติม
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ กฎการดูดซับ
ในพีชคณิตกฎการดูดกลืนหรือเอกลักษณ์การดูดกลืนคือเอกลักษณ์ที่เชื่อมโยงการดำเนินการทวิภาคสองอย่าง เข้าด้วย กัน
โครงตาข่าย
เซต ที่ มีการดำเนินการทวิภาคแบบ สลับที่ได้ และ แบบสมาคมได้ สองอย่าง ("รวม") และ("พบ") ที่เชื่อมต่อกันด้วยกฎการดูดซับ เรียกว่า แล ตทิซ ในกรณีนี้ การดำเนินการทั้งสองจำเป็นต้องเป็นการดำเนินการ เอกลักษณ์ (เช่น a a = a และ a a = a ) ∨ {\displaystyle \scriptstyle...
ตรรกะ
ใน ตรรกศาสตร์คลาสสิก โดยเฉพาะอย่างยิ่งใน พีชคณิตบูลีน การดำเนินการ OR และ AND ซึ่งเขียนแทนด้วยand นั้น สอดคล้องกับสัจพจน์ของแลตทิซ รวมถึงกฎการดูดซับ และเช่นเดียวกันนี้ก็เป็นจริงสำหรับ ตรรกศาสตร์เชิงสัญชาตญาณ ด้วย ∨ {\displaystyle \scriptstyle \lor } ∧...
ตัวอย่างที่ไม่ใช่
กฎการดูดซับใช้ไม่ได้กับโครงสร้างพีชคณิตอื่นๆ อีกหลายอย่าง เช่น วงแหวนสลับที่ เช่น ฟิลด์ ของจำนวน จริง ตรรกศาสตร์ ความเกี่ยวข้อง ตรรกศาสตร์ เชิง เส้น และ ตรรกศาสตร์โครงสร้างย่อย ในกรณีสุดท้ายนี้ ไม่มี การจับคู่ แบบ หนึ่งต่อหนึ่ง ระหว่าง ตัวแปรอิสระ...