ทฤษฎีเซต — ความหมาย การดำเนินการ และแผนภาพเวนน์

ทฤษฎีเซตศึกษากลุ่มของวัตถุที่เรียกว่าเซต สำหรับโจทย์ระดับโรงเรียน แนวคิดสำคัญคือ สมาชิก สับเซต ยูเนียน อินเตอร์เซกชัน ผลต่าง และคอมพลีเมนต์เมื่อเทียบกับเซตสากล

ถ้าฟังดูเป็นนามธรรม ลองนึกถึงการแยกสิ่งของเป็นกลุ่มและติดตามว่ากลุ่มเหล่านั้นซ้อนทับกันตรงไหน นี่จึงเป็นเหตุผลที่ทฤษฎีเซตและแผนภาพเวนน์มักปรากฏในเรื่องการนับ ตรรกศาสตร์ และความน่าจะเป็น

ความหมายของทฤษฎีเซต: สมาชิก การเป็นสมาชิก และสับเซต

ถ้า $A = \{2,4,6,8\}$ แล้วจำนวน $4$ เป็นสมาชิกของ $A$ เขียนว่า $4 \in A$ ส่วนจำนวน $5$ ไม่เป็นสมาชิกของ $A$ เขียนว่า $5 \notin A$

สับเซตคือเซตที่สมาชิกทุกตัวอยู่ในอีกเซตหนึ่ง ถ้า $B = \{2,4\}$ จะได้ว่า $B \subseteq A$ เพราะสมาชิกทุกตัวของ $B$ อยู่ใน $A$ ด้วย

ความเท่ากันของเซตพิจารณาจากสมาชิก ไม่ใช่ลำดับ เซต $\{1,2,3\}$ และ $\{3,2,1\}$ เท่ากัน เพราะมีสมาชิกเหมือนกันทุกตัว

การดำเนินการของเซต: ยูเนียน อินเตอร์เซกชัน ผลต่าง และคอมพลีเมนต์

สำหรับเซตสองเซต $A$ และ $B$ การดำเนินการที่พบบ่อยที่สุดคือ:

• ยูเนียน: $A \cup B$ หมายถึงสมาชิกทั้งหมดที่อยู่ใน $A$ หรืออยู่ใน $B$ หรืออยู่ในทั้งสองเซต
• อินเตอร์เซกชัน: $A \cap B$ หมายถึงสมาชิกที่อยู่ในทั้งสองเซต
• ผลต่าง: $A \setminus B$ หมายถึงสมาชิกใน $A$ ที่ไม่อยู่ใน $B$
• คอมพลีเมนต์: $A^c$ หมายถึงทุกสิ่งที่ไม่อยู่ใน $A$ แต่จะเขียนได้ก็ต่อเมื่อเลือกเซตสากล $U$ แล้ว

เงื่อนไขสุดท้ายนั้นสำคัญมาก คอมพลีเมนต์ไม่ได้มีความหมายตายตัว ถ้าเซตสากลเปลี่ยน คอมพลีเมนต์ก็อาจเปลี่ยนตาม

วิธีอ่านแผนภาพเวนน์ของเซต

แผนภาพเวนน์คือภาพแทนเซตเป็นบริเวณต่าง ๆ โดยมักใช้วงกลมอยู่ภายในสี่เหลี่ยมที่แทนเซตสากล ส่วนที่ซ้อนกันแสดงอินเตอร์เซกชัน และพื้นที่รวมของวงกลมทั้งสองแสดงยูเนียน

เรื่องนี้สำคัญ เพราะความผิดพลาดหลายอย่างเกิดจากการสับสนระหว่าง 3 บริเวณที่ต่างกัน:

• อยู่ใน $A$ เท่านั้น
• อยู่ใน $B$ เท่านั้น
• อยู่ในทั้ง $A$ และ $B$

ถ้าแยกบริเวณเหล่านี้ก่อน การดำเนินการที่ต้องใช้ก็มักจะชัดเจนทันที

ตัวอย่างทำจริง: ยูเนียน อินเตอร์เซกชัน ผลต่าง และคอมพลีเมนต์

ให้

$$A = \{1,2,3,4\}, \qquad B = \{3,4,5,6\}$$

และให้เซตสากลเป็น

$$U = \{1,2,3,4,5,6,7,8\}$$

เริ่มจากส่วนที่ซ้อนกันก่อน สมาชิกที่อยู่ในทั้งสองเซตคือ $3$ และ $4$ ดังนั้น

$$A \cap B = \{3,4\}$$

ต่อไป รวบรวมสมาชิกทั้งหมดที่ปรากฏในเซตใดเซตหนึ่ง:

$$A \cup B = \{1,2,3,4,5,6\}$$

จากนั้นตัดสมาชิกของ $A$ ที่ปรากฏใน $B$ ออก จะเหลือ

$$A \setminus B = \{1,2\}$$

สำหรับคอมพลีเมนต์ของ $A$ ให้ดูภายในเซตสากลและเก็บทุกตัวที่ไม่อยู่ใน $A$:

$$A^c = \{5,6,7,8\}$$

ในแผนภาพเวนน์ $3$ และ $4$ จะอยู่ในส่วนซ้อนกัน $1$ และ $2$ จะอยู่เฉพาะในวงกลมของ $A$ ส่วน $5$ และ $6$ จะอยู่เฉพาะในวงกลมของ $B$ และ $7$ กับ $8$ จะอยู่นอกวงกลมทั้งสอง แต่ยังอยู่ภายในสี่เหลี่ยมที่แทน $U$

วิธีเลือกการดำเนินการของเซตให้ถูกอย่างรวดเร็ว

คำบอกใบ้ในโจทย์เหล่านี้มักชี้ไปยังการดำเนินการที่ถูกต้อง:

• "อยู่ใน $A$ หรือ $B$" มักหมายถึง $A \cup B$
• "อยู่ในทั้งสอง" มักหมายถึง $A \cap B$
• "อยู่ใน $A$ แต่ไม่อยู่ใน $B$" มักหมายถึง $A \setminus B$
• "ไม่อยู่ใน $A$" มักหมายถึง $A^c$ แต่ต้องชัดเจนก่อนว่า $U$ คืออะไร

บ่อยครั้ง แค่นี้ก็เพียงพอให้เลือกการดำเนินการที่ถูกต้องได้ก่อนจะเริ่มคำนวณ

ข้อผิดพลาดที่พบบ่อยในทฤษฎีเซต

สับสนระหว่างยูเนียนกับอินเตอร์เซกชัน ยูเนียนคือทุกอย่างที่อยู่ในเซตใดเซตหนึ่ง ส่วนอินเตอร์เซกชันคือเฉพาะส่วนที่ซ้อนกันเท่านั้น ถ้าโจทย์ถามว่าสองกลุ่มมีอะไรร่วมกัน ยูเนียนจะกว้างเกินไป

ลืมกำหนดเซตสากลสำหรับคอมพลีเมนต์ การเขียน $A^c$ โดยไม่ระบุ $U$ ทำให้ความหมายไม่สมบูรณ์ เพราะคอมพลีเมนต์ขึ้นอยู่กับกลุ่มทั้งหมดที่เรากำลังพิจารณาอยู่

สับสนระหว่างสัญลักษณ์สมาชิกกับสับเซต ข้อความ $3 \in A$ พูดถึงสมาชิกหนึ่งตัว ส่วนข้อความ $\{3\} \subseteq A$ พูดถึงเซตที่มีสมาชิกนั้นอยู่ แม้จะเกี่ยวข้องกัน แต่ไม่ใช่ข้อความเดียวกัน

นับสมาชิกที่ซ้ำกันสองครั้ง เมื่อสองเซตซ้อนกัน การบวกจำนวนสมาชิกของทั้งสองเซตตรง ๆ จะนับส่วนที่ซ้อนกันซ้ำสองครั้ง ในกรณีนั้น

$$|A \cup B| = |A| + |B| - |A \cap B|$$

กฎนี้เป็นเหตุผลหนึ่งที่ทำให้แผนภาพเวนน์มีประโยชน์มากในโจทย์การนับและความน่าจะเป็น

ทฤษฎีเซตถูกใช้ที่ไหนบ้าง

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

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

ลองทำโจทย์ทฤษฎีเซตที่คล้ายกัน

เลือกเซตเล็ก ๆ สองเซต เช่น พหุคูณของ $2$ และพหุคูณของ $3$ ภายใน $U = \{1,2,3,4,5,6,7,8,9,10,11,12\}$ หายูเนียน อินเตอร์เซกชัน ผลต่าง และคอมพลีเมนต์ จากนั้นร่างแผนภาพเวนน์และตรวจดูว่าแต่ละจำนวนอยู่ในบริเวณที่ถูกต้องหรือไม่