เซตจำกัดและเซตอนันต์

เซตจำกัดและเซตอนันต์: ไขความลับของจำนวนสมาชิกในเซต

ก่อนที่เราจะไปเจาะลึกถึงเซตจำกัดและเซตอนันต์ พี่กฤษณ์ขอทบทวนความหมายของ “เซต” สักนิดนะครับ เซต (Set) คือ กลุ่มของสิ่งต่างๆ ที่เราสนใจ ซึ่งเรียกสิ่งเหล่านั้นว่าสมาชิก (Elements) ของเซต โดยสมาชิกในเซตต้องมีคุณสมบัติที่ชัดเจน สามารถบอกได้ว่าสิ่งใดเป็นสมาชิกของเซตนั้นหรือไม่ และในการพิจารณาเซตนั้น น้องๆ ต้องใส่ใจกับ “เอกภพสัมพัทธ์” (Universal Set หรือ $U$) ที่กำหนดให้ด้วย เพราะเอกภพสัมพัทธ์จะบอกเราว่าสมาชิกที่เราสามารถนำมาพิจารณาได้นั้นมาจากกลุ่มใดนั่นเองครับ

เซตจำกัด (Finite Set) คืออะไร?

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

ลักษณะสำคัญของเซตจำกัด:

• สามารถระบุจำนวนสมาชิกได้อย่างแน่นอน
• มีจำนวนสมาชิกเป็นจำนวนเต็มที่ไม่เป็นลบ (0 หรือ จำนวนเต็มบวก)
• เราสามารถเขียนแจกแจงสมาชิกทั้งหมดของเซตได้ (ถึงแม้ว่าจะใช้เวลานานก็ตาม)

ตัวอย่างของเซตจำกัด:

สมมติให้น้องๆ มีเซต A ที่ประกอบด้วยชื่อของผลไม้ที่ขึ้นต้นด้วยตัว “ส” ในภาษาไทย ซึ่งมีอยู่เพียงไม่กี่ชนิด เช่น ส้ม สับปะรด สาลี่ สตรอว์เบอร์รี เซตนี้ก็จะเป็นเซตจำกัด

หรือถ้าเราพิจารณาเซตตามคุณสมบัติทางคณิตศาสตร์:

• ตัวอย่างที่ 1: เซตของจำนวนเต็มบวกที่น้อยกว่า 10
  <math data-latex="A = {x in mathbb{Z}^+ | x A = { x ∈ ℤ + ∣ x < 10 } A = {x in mathbb{Z}^+ | x < 10}
  เซต $A$ นี้เมื่อแจกแจงสมาชิกจะได้ $A = {1, 2, 3, 4, 5, 6, 7, 8, 9}$ ซึ่งมีสมาชิกทั้งหมด 9 ตัว ดังนั้น $A$ เป็นเซตจำกัดครับ
• ตัวอย่างที่ 2: เซตของวันในหนึ่งสัปดาห์ เช่น $B = {text{จันทร์, อังคาร, พุธ, พฤหัสบดี, ศุกร์, เสาร์, อาทิตย์}}$ มีสมาชิก 7 ตัว จึงเป็นเซตจำกัดครับ

เซตว่าง (Empty Set หรือ $emptyset$) หรือเซตที่ไม่มีสมาชิกเลย ก็ถือว่าเป็นเซตจำกัดด้วยนะครับ เพราะเราสามารถนับจำนวนสมาชิกได้ว่ามี 0 ตัว ซึ่งเป็นจำนวนเต็มที่ไม่เป็นลบครับ

เซตอนันต์ (Infinite Set) คืออะไร?

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

ลักษณะสำคัญของเซตอนันต์:

• ไม่สามารถระบุจำนวนสมาชิกได้อย่างแน่นอน (เพราะมันไม่มีที่สิ้นสุด)
• ไม่สามารถเขียนแจกแจงสมาชิกทั้งหมดของเซตได้

ตัวอย่างของเซตอนันต์:

ลองนึกถึงเซตของจำนวนนับ หรือเซตของจำนวนเต็ม ซึ่งเราไม่สามารถบอกได้ว่าตัวสุดท้ายคืออะไร เพราะมันมีค่าเพิ่มขึ้นไปได้เรื่อยๆ ครับ

• ตัวอย่างที่ 1: เซตของจำนวนนับ
  $mathbb{N} = {1, 2, 3, dots}$
  เซตของจำนวนนับนี้ไม่มีสมาชิกตัวสุดท้าย จึงเป็นเซตอนันต์ครับ
• ตัวอย่างที่ 2: เซตของจำนวนเต็ม
  $mathbb{Z} = {dots, -2, -1, 0, 1, 2, dots}$
  เซตของจำนวนเต็มก็เป็นเซตอนันต์เช่นกัน เพราะไม่มีสมาชิกเริ่มต้นและสมาชิกสิ้นสุดครับ
• ตัวอย่างที่ 3: เซตของจำนวนจริงระหว่าง 0 และ 1
  <math data-latex="C = {x in mathbb{R} | 0 < x C = { x ∈ ℝ ∣ 0 < x < 1 } C = {x in mathbb{R} | 0 < x < 1}
  ถึงแม้ว่าช่วงของจำนวนจะจำกัดอยู่ระหว่าง 0 กับ 1 แต่เนื่องจากเป็นจำนวนจริง ซึ่งมีค่ามากมายนับไม่ถ้วนระหว่างตัวเลขสองตัวนี้ (เช่น 0.1, 0.01, 0.001, …) จึงทำให้เซต $C$ เป็นเซตอนันต์ครับ

ความสำคัญของการแยกแยะเซตจำกัดและเซตอนันต์

การที่เราเข้าใจความแตกต่างระหว่างเซตจำกัดและเซตอนันต์เป็นสิ่งสำคัญมากในการแก้ปัญหาทางคณิตศาสตร์ครับ เพราะมันมีผลต่อวิธีการที่เราจะใช้ในการหาคำตอบ

• การดำเนินการเกี่ยวกับเซต: การหาจำนวนสมาชิกในเซต (Cardinality) ของเซตจำกัดนั้นง่ายมาก คือนับเอา แต่สำหรับเซตอนันต์ การกล่าวถึง “จำนวนสมาชิก” จะซับซ้อนขึ้นไปอีกขั้น ซึ่งในระดับเบื้องต้น น้องๆ แค่รู้ว่ามันมีสมาชิกไม่จำกัดก็พอครับ แต่สำหรับระดับสูงขึ้นไป จะมีการแยกประเภทของเซตอนันต์ เช่น นับได้ (Countably Infinite) หรือนับไม่ได้ (Uncountably Infinite) ซึ่งเป็นเรื่องที่น่าสนใจมาก แต่ตอนนี้เรายังไม่ลงรายละเอียดขนาดนั้นครับ
• การแก้ปัญหา: ในการทำโจทย์ เช่น โจทย์เรื่องความน่าจะเป็น หรือการนับจำนวนวิธี หากเราทำงานกับเซตจำกัด เราสามารถคำนวณจำนวนสมาชิกออกมาเป็นตัวเลขที่ชัดเจนได้ แต่หากเป็นเซตอนันต์ แนวคิดจะเปลี่ยนไปเป็นการศึกษาคุณสมบัติหรือความสัมพันธ์ของสมาชิกในเซตแทนครับ

ข้อผิดพลาดที่พบบ่อย (Common Pitfalls)

น้องๆ หลายคนมักจะเข้าใจผิดในจุดเหล่านี้ พี่กฤษณ์ขอเน้นย้ำนะครับ:

• ขนาดของเซตกับความเป็นอนันต์: บางครั้งเซตจำกัดอาจมีสมาชิกจำนวนมหาศาลมาก จนดูเหมือนเป็นเซตอนันต์ เช่น เซตของเม็ดทรายทั้งหมดบนโลก ซึ่งเยอะมากจนนับไม่ไหวในชีวิตจริง แต่ในทางคณิตศาสตร์แล้ว มันมีจำนวนที่จำกัด (ถึงแม้นับไม่ได้ด้วยมือ) ดังนั้นจึงถือเป็นเซตจำกัดครับ
• ตัวแปรกับเอกภพสัมพัทธ์: การกำหนดเอกภพสัมพัทธ์ (เช่น $mathbb{N}, mathbb{Z}, mathbb{R}$) สำคัญมากครับ
  
  ถ้าโจทย์กำหนด <math data-latex="A = {x in mathbb{Z} | 1 < x A = { x ∈ ℤ ∣ 1 < x < 5 } A = {x in mathbb{Z} | 1 < x < 5} เซต $A$ จะเป็น ${2, 3, 4}$ ซึ่งเป็นเซตจำกัดครับ
  
  แต่ถ้าเปลี่ยนเป็น <math data-latex="B = {x in mathbb{R} | 1 < x B = { x ∈ ℝ ∣ 1 < x < 5 } B = {x in mathbb{R} | 1 < x < 5} เซต $B$ จะเป็นเซตอนันต์ทันที เพราะมีจำนวนจริงอยู่มากมายนับไม่ถ้วนระหว่าง 1 ถึง 5 ครับ

ตัวอย่างโจทย์และการประยุกต์ใช้

มาลองดูตัวอย่างโจทย์เพื่อฝึกแยกแยะกันนะครับ น้องๆ ลองคิดตามไปด้วยนะครับ

ตัวอย่างที่ 1: จงพิจารณาว่าเซตต่อไปนี้เป็นเซตจำกัดหรือเซตอนันต์

ก. <math data-latex="A = {x | x text{ เป็นจำนวนเต็มบวกที่หารด้วย } 3 text{ ลงตัว และ } x A = { x ∣ x เป็นจำนวนเต็มบวกที่หารด้วย 3 ลงตัว และ x < 30 } A = {x | x text{ เป็นจำนวนเต็มบวกที่หารด้วย } 3 text{ ลงตัว และ } x < 30}

วิธีคิด: สมาชิกในเซต A คือ 3, 6, 9, 12, 15, 18, 21, 24, 27 ซึ่งมีเพียง 9 ตัวเท่านั้นที่เรานับได้ครบถ้วน และมีจุดสิ้นสุดคือ 27 ดังนั้น เซต A เป็น เซตจำกัด ครับ

ข. <math data-latex="B = {x in mathbb{Q} | 0 < x B = { x ∈ ℚ ∣ 0 < x < 1 } B = {x in mathbb{Q} | 0 < x < 1} (เมื่อ $mathbb{Q}$ คือเซตของจำนวนตรรกยะ)

วิธีคิด: ถึงแม้ว่าเราจะอยู่ในช่วง 0 ถึง 1 แต่การที่ $x$ เป็นจำนวนตรรกยะ ซึ่งหมายถึงจำนวนที่เขียนในรูปเศษส่วนได้ ก็ยังมีจำนวนตรรกยะอยู่มากมายนับไม่ถ้วนระหว่าง 0 กับ 1 เช่น $frac{1}{2}, frac{1}{3}, frac{2}{3}, frac{1}{4}, frac{2}{4}, frac{3}{4}$ และอีกมากมาย เราไม่สามารถนับได้ทั้งหมด ดังนั้น เซต B เป็น เซตอนันต์ ครับ

ค. $C = { (x,y) | x,y in mathbb{Z}, x^2 + y^2 = 25 }$

วิธีคิด: เรากำลังมองหาคู่ของจำนวนเต็ม $(x,y)$ ที่เมื่อยกกำลังสองแล้วบวกกันได้ 25 ถ้าเราลองคิดดู สมาชิกที่เป็นไปได้คือ:

• ถ้า $x = 0$ แล้ว $y^2 = 25$ ดังนั้น $y = pm 5$ จะได้ $(0,5)$ และ $(0,-5)$
• ถ้า $x = pm 3$ แล้ว $9 + y^2 = 25$ หรือ $y^2 = 16$ ดังนั้น $y = pm 4$ จะได้ $(3,4), (3,-4), (-3,4), (-3,-4)$
• ถ้า $x = pm 4$ แล้ว $16 + y^2 = 25$ หรือ $y^2 = 9$ ดังนั้น $y = pm 3$ จะได้ $(4,3), (4,-3), (-4,3), (-4,-3)$
• ถ้า $x = pm 5$ แล้ว $25 + y^2 = 25$ หรือ $y^2 = 0$ ดังนั้น $y = 0$ จะได้ $(5,0)$ และ $(-5,0)$

เราสามารถแจกแจงสมาชิกทั้งหมดของเซต C ได้ ซึ่งมีทั้งหมด 12 คู่อันดับ ดังนั้น เซต C เป็น เซตจำกัด ครับ

สรุปแนวคิดสำคัญ

เพื่อให้น้องๆ จำได้ง่ายๆ พี่กฤษณ์ขอสรุปหลักการพิจารณาเซตจำกัดและเซตอนันต์สั้นๆ ดังนี้ครับ

• เซตจำกัด: คือเซตที่สามารถนับสมาชิกได้ครบถ้วนเป็นจำนวนเต็มที่ไม่เป็นลบ (0, 1, 2, 3, … ) พูดง่ายๆ คือนับแล้วมันจบ มีตัวสุดท้ายที่เราสามารถบอกได้
• เซตอนันต์: คือเซตที่ไม่ใช่เซตจำกัด นอกเหนือจากนั้นก็เป็นเซตอนันต์หมดเลยครับ นึกถึงการนับที่ไม่มีวันสิ้นสุด สมาชิกมันมีไปเรื่อยๆ ไม่มีตัวสุดท้าย
• คำสำคัญ: เอกภพสัมพัทธ์ $U$ หรือเซตที่กำหนดเงื่อนไข เป็นสิ่งสำคัญที่สุดที่จะบอกเราว่าเซตนั้นเป็นเซตจำกัดหรือเซตอนันต์

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