กลับไปหน้าบทความ

อ่าน 2 นาที

กฎการดูดซับ

ในพีชคณิตกฎการดูดกลืนหรือเอกลักษณ์การดูดกลืนคือเอกลักษณ์ที่เชื่อมโยงการดำเนินการทวิภาคสองอย่าง เข้าด้วย กัน

กฎการดูดซับ

ในพีชคณิตกฎการดูดกลืนหรือเอกลักษณ์การดูดกลืนคือเอกลักษณ์ที่เชื่อมโยงการดำเนินการทวิภาคสองอย่าง เข้าด้วย กัน

กล่าวได้ว่าการดำเนินการไบนารีสองอย่าง ¤ และ ⁂ เชื่อมโยงกันโดยกฎการดูดซับ ถ้า:

a ¤ ( ab ) = a ⁂ ( a ¤ b ) = a .

ตัวอย่าง

โครงตาข่าย

เซตที่มีการดำเนินการทวิภาคแบบสลับที่ได้และแบบสมาคมได้ สองอย่าง ("รวม") และ("พบ") ที่เชื่อมต่อกันด้วยกฎการดูดซับ เรียกว่า แลตทิซในกรณีนี้ การดำเนินการทั้งสองจำเป็นต้องเป็นการดำเนินการเอกลักษณ์ (เช่นa a = aและa a = a )

ตัวอย่างของแลตทิซ ได้แก่พีชคณิตเฮย์ติงและพีชคณิตบูลีน [ 1 ] โดยเฉพาะอย่างยิ่งเซตของเซตที่มี ตัวดำเนินการ ยูเนียน (∪) และ อินเตอร์ เซกชัน (∩) และเซตเรียงลำดับที่มีการดำเนินการ minและmax

ตรรกะ

ในตรรกศาสตร์คลาสสิกโดยเฉพาะอย่างยิ่งในพีชคณิตบูลีนการดำเนินการORและANDซึ่งเขียนแทนด้วยand นั้น สอดคล้องกับสัจพจน์ของแลตทิซ รวมถึงกฎการดูดซับ และเช่นเดียวกันนี้ก็เป็นจริงสำหรับตรรกศาสตร์เชิงสัญชาตญาณด้วย

ตัวอย่างที่ไม่ใช่

กฎการดูดซับใช้ไม่ได้กับโครงสร้างพีชคณิตอื่นๆ อีกหลายอย่าง เช่นวงแหวนสลับที่เช่นฟิลด์ของจำนวนจริงตรรกศาสตร์ความเกี่ยวข้อง ตรรกศาสตร์เชิงเส้นและตรรกศาสตร์โครงสร้างย่อยในกรณีสุดท้ายนี้ ไม่มี การจับคู่ แบบหนึ่งต่อหนึ่งระหว่างตัวแปรอิสระของคู่เอกลักษณ์ที่กำหนด

ดูเพิ่มเติม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Absorption_law&oldid=1349776428 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ กฎการดูดซับ

ในพีชคณิตกฎการดูดกลืนหรือเอกลักษณ์การดูดกลืนคือเอกลักษณ์ที่เชื่อมโยงการดำเนินการทวิภาคสองอย่าง เข้าด้วย กัน

โครงตาข่าย

เซต ที่ มีการดำเนินการทวิภาคแบบ สลับที่ได้ และ แบบสมาคมได้ สองอย่าง ("รวม") และ("พบ") ที่เชื่อมต่อกันด้วยกฎการดูดซับ เรียกว่า แล ตทิซ ในกรณีนี้ การดำเนินการทั้งสองจำเป็นต้องเป็นการดำเนินการ เอกลักษณ์ (เช่น a a = a และ a a = a ) ∨ {\displaystyle \scriptstyle...

ตรรกะ

ใน ตรรกศาสตร์คลาสสิก โดยเฉพาะอย่างยิ่งใน พีชคณิตบูลีน การดำเนินการ OR และ AND ซึ่งเขียนแทนด้วยand นั้น สอดคล้องกับสัจพจน์ของแลตทิซ รวมถึงกฎการดูดซับ และเช่นเดียวกันนี้ก็เป็นจริงสำหรับ ตรรกศาสตร์เชิงสัญชาตญาณ ด้วย ∨ {\displaystyle \scriptstyle \lor } ∧...

ตัวอย่างที่ไม่ใช่

กฎการดูดซับใช้ไม่ได้กับโครงสร้างพีชคณิตอื่นๆ อีกหลายอย่าง เช่น วงแหวนสลับที่ เช่น ฟิลด์ ของจำนวน จริง ตรรกศาสตร์ ความเกี่ยวข้อง ตรรกศาสตร์ เชิง เส้น และ ตรรกศาสตร์โครงสร้างย่อย ในกรณีสุดท้ายนี้ ไม่มี การจับคู่ แบบ หนึ่งต่อหนึ่ง ระหว่าง ตัวแปรอิสระ...