พิสูจน์ว่าชุดพลังงานเป็นเขตข้อมูลหรือไม่?

พิสูจน์ว่าชุดพลังงานเป็นเขตข้อมูลหรือไม่?
Anonim

ตอบ:

ชุดพลังของเซตเป็นวงแหวนสลับภายใต้การดำเนินงานตามธรรมชาติของสหภาพและทางแยก แต่ไม่ใช่สนามภายใต้การดำเนินการเหล่านั้นเนื่องจากมันขาดองค์ประกอบผกผัน

คำอธิบาย:

รับชุดใดก็ได้ # S #พิจารณาชุดไฟ # 2 ^ S # ของ # S #.

สิ่งนี้มีการดำเนินงานตามธรรมชาติของสหภาพ # # UU ซึ่งมีพฤติกรรมเช่นนั้นพร้อมกับตัวตน # O / # และสี่แยก # NN # ซึ่งทำตัวเหมือนการคูณด้วยตัวตน # S #.

รายละเอียดเพิ่มเติม:

  • # 2 ^ S # ถูกปิดภายใต้ # # UU

    ถ้า #A, B ใน 2 ^ S # แล้วก็ #Auu B ใน 2 ^ S #

  • มีความเป็นตัวตน # O / ใน 2 ^ S # สำหรับ # # UU

    ถ้า #A ใน 2 ^ S # แล้วก็ #A uu O / = O / uu A = A #

  • # # UU มีความเกี่ยวข้อง

    ถ้า #A, B, C ใน 2 ^ S # แล้วก็ #A uu (B uu C) = (A uu B) uu C #

  • # # UU เปลี่ยนเป็น

    ถ้า #A, B ใน 2 ^ S # แล้วก็ #A uu B = B uu A #

  • # 2 ^ S # ถูกปิดภายใต้ # NN #

    ถ้า #A, B ใน 2 ^ S # แล้วก็ #Ann B ใน 2 ^ S #

  • มีความเป็นตัวตน #S ใน 2 ^ S # สำหรับ # NN #

    ถ้า #A ใน 2 ^ S # แล้วก็ #A nn S = S nn A = A #

  • # NN # มีความเกี่ยวข้อง

    ถ้า #A, B, C ใน 2 ^ S # แล้วก็ #A nn (B nn C) = (A nn B) nn C #

  • # NN # เปลี่ยนเป็น

    ถ้า #A, B ใน 2 ^ S # แล้วก็ #A nn B = B nn A #

  • # NN # ซ้ายและขวากระจายไป # # UU

    ถ้า #A, B ใน 2 ^ S # แล้วก็ #A nn (B uu C) = (A nn B) uu (A nn C) #

    และ # (A uu B) nn C = (A nn C) uu (B nn C) #

ดังนั้น # 2 ^ S # ตอบสนองทุกสัจพจน์ที่จำเป็นเพื่อให้เป็นวงแหวนสลับกับการเติม # # UU และการคูณ # NN #.

ถ้า #S = O / # แล้วก็ # 2 ^ S # มีองค์ประกอบหนึ่งคือ # O / #ดังนั้นจึงล้มเหลวที่จะมีตัวตนที่เพิ่มและแตกต่างกันดังนั้นจึงไม่ใช่สนาม

เป็นอย่างอื่นทราบว่า # S # ไม่มีสิ่งที่ตรงกันข้าม # # UU และ # O / # ไม่มีสิ่งที่ตรงกันข้าม # NN #. ดังนั้น # 2 ^ S # ไม่ได้สร้างเขตข้อมูลเนื่องจากขาดองค์ประกอบผกผัน