I.V. Yashchenko Paradoxes ของทฤษฎีเซต

8. ชุดที่จัดไว้อย่างดี

พิจารณาชุด , เกี่ยวกับ บางคู่รัก , องค์ประกอบอันเป็นที่ทราบกันว่า Ј (เช่น อยู่ในกองถ่าย ที่ให้ไว้ ความสัมพันธ์ในการสั่งซื้อ- ความสัมพันธ์ลำดับสามารถตีความได้ว่าเป็นเซตย่อยของกำลังสองของเซต 2 = × : ในตารางที่มีแถวและคอลัมน์สอดคล้องกับองค์ประกอบของชุด บางเซลล์จะถูกแรเงา - หากเซลล์ที่จุดตัดของคอลัมน์ถูกแรเงา และสตริง , ที่ Ј .

แน่นอนว่าความสัมพันธ์เชิงลำดับไม่ใช่เซตย่อยใดๆ × จะต้องเป็นไปตามคุณสมบัติดังต่อไปนี้:

1) Ј สำหรับใครก็ตาม เกี่ยวกับ ;

2) ถ้า Ј และ Ј , ที่ Ј ;

3) ถ้า Ј และ Ј , ที่ = .

ตัวอย่างเช่น ความสัมพันธ์ตามลำดับคือการเปรียบเทียบตัวเลขในบรรทัด (Ј) ปกติ การซ้อนเซต (H) ความสัมพันธ์ "หาร" ( | แบ่ง ).

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

มองไปข้างหน้าอีกหน่อย เราจะบอกว่าการเรียงลำดับองค์ประกอบของเซตเป็นสิ่งจำเป็นโดยเฉพาะเพื่อให้สามารถพิจารณาวัตถุได้ โดยการเหนี่ยวนำ: ฉันต้องการที่จะพิจารณาองค์ประกอบแรกก่อน พิสูจน์ข้อความบางอย่างของมัน แล้วจึงใช้ข้อเท็จจริงที่ว่าข้อความนี้เป็นจริงในข้อแรก nองค์ประกอบส่งออกและสำหรับ ( n+1)ธ. สำหรับจำนวนธรรมชาติ การพิสูจน์หลักการของการเหนี่ยวนำทางคณิตศาสตร์นั้นขึ้นอยู่กับข้อเท็จจริงที่ว่าเซตย่อยของจำนวนธรรมชาติใดๆ ที่ไม่ว่างมี องค์ประกอบที่เล็กที่สุด .

ข้าว. 4
จากความสัมพันธ์ระหว่างลำดับตามอำเภอใจและชุดตามอำเภอใจ เราอยากจะบรรลุคุณสมบัติที่คล้ายกัน: ในชุดย่อยใดๆ ของชุดที่กำลังพิจารณา จะมีองค์ประกอบที่เล็กที่สุดสัมพันธ์กับความสัมพันธ์ลำดับที่กำลังพิจารณา ถ้าเซตถูกเรียงลำดับเชิงเส้น และยิ่งไปกว่านั้น ในชุดย่อยใดๆ สามารถระบุองค์ประกอบที่เล็กที่สุดได้ ก็จะเรียกว่า ค่อนข้างเป็นระเบียบ.

เรามาดูตัวอย่างชุดที่ได้รับการจัดลำดับอย่างดีกัน

0° ชุดว่างเจ

1° มากมาย (F)

2° ตั้งค่า (F, (F))

โปรดทราบว่าชุดเหล่านี้เรียงลำดับตามความสัมพันธ์ของสมาชิกภาพ (O) ไม่ใช่เรื่องยากที่จะคาดเดาว่าชุดองค์ประกอบสามรายการที่เรียงลำดับอย่างสมบูรณ์นั้นมีลักษณะอย่างไรสำหรับความสัมพันธ์ตามลำดับดังกล่าว:

3° (ฉ , (ฉ ), (ฉ , (F )))

..............................................

n. (ฉ , (ฉ ), (ฉ , (ฉ )), ...,( n- 2) ° , ( n- 1) ° ) – nชุดที่ 2 ได้จากการรวมชุดก่อนหน้าเข้าด้วยกัน n- 1 ชุด.

คำนิยาม.เซตที่สร้างในลักษณะนี้เรียกว่าเลขธรรมชาติ

เซตทั้งหมดนี้ประกอบขึ้นเป็นเซตของจำนวนธรรมชาติ เอ็น- ลองคิดดูว่าทำไมสัจพจน์ของอนันต์จึงจำเป็นสำหรับการดำรงอยู่ของเซตนี้ (ดูสัจพจน์ของอนันต์) ตั้งค่าองค์ประกอบ เรียกว่า ที่เล็กที่สุดถ้ามันเล็กกว่าองค์ประกอบอื่น ๆ - คุณยังสามารถกำหนดได้ ขั้นต่ำองค์ประกอบ : นี่คือองค์ประกอบที่น้อยกว่าในชุด เลขที่ เป็นสิ่งสำคัญที่ในกรณีที่เมื่อ แนวคิดไม่ได้เรียงลำดับเชิงเส้น น้อยที่สุดและต่ำสุด องค์ประกอบจะแตกต่างกัน โดยเฉพาะอย่างยิ่ง จะมีองค์ประกอบที่เล็กที่สุดเพียงองค์ประกอบเดียวเสมอ แต่สำหรับองค์ประกอบขั้นต่ำนั้นไม่เป็นเช่นนั้น ในรูป 4 องค์ประกอบแต่ละอย่าง 15 และ ขั้นต่ำ 51

แนวคิดที่สร้างแนวคิดตามสัญชาตญาณอย่างเป็นทางการในการจัดลำดับ การจัดเรียงในลำดับที่แน่นอน ฯลฯ พูดอย่างไม่เป็นทางการ ชุดจะถูกเรียงลำดับบางส่วนหากระบุองค์ประกอบใด ติดตาม (มากกว่าฯลฯ) เพื่ออันไหน ในกรณีนี้ ในกรณีทั่วไป อาจกลายเป็นว่าองค์ประกอบบางคู่ไม่เกี่ยวข้องกันด้วยความสัมพันธ์ "ตาม"

เป็นตัวอย่างเชิงนามธรรม เราสามารถให้ชุดย่อยของชุดองค์ประกอบสามตัวได้ \( x, y, z\)เรียงลำดับตามความสัมพันธ์แบบรวม

เพื่อเป็นตัวอย่าง “จากชีวิต” เราสามารถอ้างถึงกลุ่มบุคคลที่ได้รับคำสั่งให้สัมพันธ์กับ “การเป็นบรรพบุรุษ”

ความหมายและตัวอย่าง

ตามลำดับ, หรือ คำสั่งบางส่วน, ในชุด เรียกว่าความสัมพันธ์แบบทวิภาค \วาร์ฟีบน (กำหนดโดยบางชุด R_(\varphi) \เซตย่อย M \คูณ M) ตรงตามเงื่อนไขต่อไปนี้:

  • สะท้อนแสง: \สำหรับทั้งหมด\; (ก \วาร์ฟี ก)
  • การขนส่ง: \สำหรับทั้งหมด a, b, c\; (a \varphi b) \wedge (b \varphi c) \ลูกศรขวา a \varphi c
  • ต่อต้านสมมาตร: \สำหรับทั้งหมด, b\; (a \varphi b) \wedge (b \varphi a) \ลูกศรขวา a = b

พวงของ ซึ่งเรียกว่าความสัมพันธ์ลำดับบางส่วน สั่งมาบางส่วน(ภาษาอังกฤษ) ชุดสั่งบางส่วน, โพสท่า- เพื่อให้แม่นยำยิ่งขึ้น ชุดที่สั่งบางส่วนจะเป็นคู่ \langle M, \varphi \rangle, ที่ไหน - มากมายและ \วาร์ฟี- ความสัมพันธ์คำสั่งซื้อบางส่วนบน .

คำศัพท์และสัญกรณ์

ความสัมพันธ์เพื่อการสั่งซื้อบางส่วนมักจะแสดงด้วยสัญลักษณ์ \leqslantโดยการเปรียบเทียบกับความสัมพันธ์ “น้อยกว่าหรือเท่ากับ” บนเซตของจำนวนจริง ในขณะเดียวกันหาก ก\เลคสแลนท์ ขแล้วพวกเขาก็บอกว่าธาตุนั้น ไม่เกิน , หรืออะไร ผู้ใต้บังคับบัญชา .

ถ้า ก\เลคสแลนท์ ขและ \neq ขจากนั้นพวกเขาก็เขียน ก< bและพวกเขาพูดอย่างนั้น น้อย , หรืออะไร ผู้อยู่ใต้บังคับบัญชาอย่างเคร่งครัด .

บางครั้ง เพื่อแยกแยะลำดับตามอำเภอใจของเซตหนึ่งๆ จากความสัมพันธ์ "น้อยกว่าหรือเท่ากับ" ที่รู้จักบนเซตของจำนวนจริง แทนที่จะเป็น \leqslantและ <ใช้อักขระพิเศษ \preccurlyqและ \precตามลำดับ

คำสั่งที่เข้มงวดและไม่เข้มงวด

ความสัมพันธ์ที่เป็นไปตามเงื่อนไขของการสะท้อนกลับ การผ่านผ่าน และความไม่สมมาตรก็เรียกอีกอย่างหนึ่งว่า ไม่เข้มงวด, หรือ ลำดับการสะท้อนกลับ- ถ้าเงื่อนไขการสะท้อนกลับถูกแทนที่ด้วยเงื่อนไข ป้องกันแสงสะท้อน:

\สำหรับทั้งหมด\; \neg (ก \varphi ก)

แล้วเราจะได้คำจำกัดความ เข้มงวด, หรือ คำสั่งป้องกันแสงสะท้อน.

ถ้า \leqslant- ออเดอร์หลุดชุด แล้วความสัมพันธ์ <กำหนดเป็น:

ก< b \; \overset{\mathrm{def}}{\Longleftrightarrow} \; (a \leqslant b) \wedge (a \neq b)

เป็นคำสั่งที่เข้มงวด - กลับถ้า <- คำสั่งที่เข้มงวดแล้วทัศนคติ \leqslantกำหนดให้เป็น

a\leqslant b\; \overset(\mathrm(def))(\Longleftrightarrow) \; (ก< b) \vee (a = b)

เป็นคำสั่งที่ไม่เข้มงวด

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

ตัวอย่าง

\vartrianglerightตามที่กล่าวข้างต้น เซตของจำนวนจริง \mathbb(R)เรียงลำดับบางส่วนโดยน้อยกว่าหรือเท่ากับ \leqslant.

\vartrianglerightอนุญาต - ชุดของฟังก์ชันมูลค่าจริงทั้งหมดที่กำหนดไว้ในช่วงเวลา นั่นคือฟังก์ชันของแบบฟอร์ม

f \โคลอน \ถึง \mathbb(R)

ให้เราแนะนำความสัมพันธ์การสั่งซื้อ \leqslantบน ดังต่อไปนี้ เราจะพูดอย่างนั้น f\leqslant gถ้าสำหรับทุกคน เอ็กซ์\อินความไม่เท่าเทียมกันเป็นที่พอใจ f(x) \leqslant ก(x)- แน่นอนว่าความสัมพันธ์ที่แนะนำนั้นเป็นความสัมพันธ์เชิงลำดับบางส่วน

\vartrianglerightอนุญาต - บางชุด. พวงของ \คณิตศาสตร์(P)(M)ชุดย่อยทั้งหมด (เรียกว่าบูลีน) บางส่วนเรียงลำดับโดยการรวม M\ชุดย่อย N.

\vartrianglerightเซตของจำนวนธรรมชาติทั้งหมด \คณิตศาสตร์บี(N)เรียงลำดับบางส่วนเกี่ยวกับการแบ่งแยก ม\กลาง น.

คำจำกัดความที่เกี่ยวข้อง

องค์ประกอบที่ไม่มีใครเทียบได้

ถ้า และ เป็นจำนวนจริง ดังนั้นความสัมพันธ์เพียงหนึ่งเดียวเท่านั้นที่คงอยู่:

ก< b, \qquad a=b, \qquad b

ถ้า และ เป็นองค์ประกอบของเซตที่มีการเรียงลำดับบางส่วนตามอำเภอใจ จึงมีความเป็นไปได้เชิงตรรกะที่สี่: ไม่มีความสัมพันธ์ใดในสามความสัมพันธ์ข้างต้นที่พอใจ ในกรณีนี้คือองค์ประกอบต่างๆ และ ถูกเรียกว่า หาที่เปรียบมิได้- ตัวอย่างเช่น ถ้า - ชุดของฟังก์ชันมูลค่าจริงในช่วงเวลาหนึ่ง จากนั้นองค์ประกอบ ฉ(x) = xและ ก.(x) = 1-xจะไม่มีใครเทียบได้ ความเป็นไปได้ของการมีอยู่ขององค์ประกอบที่ไม่มีใครเทียบได้จะอธิบายความหมายของคำนี้ “ชุดที่สั่งบางส่วน”.

องค์ประกอบต่ำสุด/สูงสุดและเล็กที่สุด/ใหญ่ที่สุด

บทความหลัก: สูงสุด (คณิตศาสตร์) , ขั้นต่ำ (คณิตศาสตร์)

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

องค์ประกอบ เป็น\ในเอ็มเรียกว่า น้อยที่สุด(ภาษาอังกฤษ) องค์ประกอบขั้นต่ำ) หากไม่มีองค์ประกอบอยู่ ข< a- กล่าวอีกนัยหนึ่ง - องค์ประกอบขั้นต่ำ หากเป็นองค์ประกอบใดๆ ข \ใน มหรือ ข>ก, หรือ ข=ก, หรือ และ หาที่เปรียบมิได้ องค์ประกอบ เรียกว่า ที่เล็กที่สุด(ภาษาอังกฤษ) องค์ประกอบน้อยที่สุด ขอบเขตล่าง (ตรงข้ามกับขอบเขตบน) ) หากเป็นองค์ประกอบใดๆ ข \ใน มมีความไม่เท่าเทียมกัน b\geqslant ก- แน่นอนว่าองค์ประกอบที่เล็กที่สุดทุกรายการก็มีน้อยที่สุดเช่นกัน แต่สิ่งที่กลับกันไม่เป็นความจริงโดยทั่วไป นั่นคือ องค์ประกอบที่น้อยที่สุด อาจไม่เล็กที่สุดหากมีองค์ประกอบอยู่ เทียบไม่ได้กับ .

แน่นอนว่าหากมีองค์ประกอบที่เล็กที่สุดในเซต องค์ประกอบนั้นจะมีเอกลักษณ์เฉพาะตัว แต่อาจมีองค์ประกอบขั้นต่ำหลายประการ เป็นตัวอย่างให้พิจารณาชุด \mathbb(N)\setminus \( 1 \) = \( 2, 3, \ldots \)จำนวนธรรมชาติที่ไม่มีเอกภาพ เรียงตามความสัมพันธ์ของการหารลงตัว \กลาง- ในที่นี้ องค์ประกอบขั้นต่ำจะเป็นจำนวนเฉพาะ แต่ไม่มีองค์ประกอบที่เล็กที่สุด

แนวคิดต่างๆ ได้รับการแนะนำในลักษณะเดียวกัน ขีดสุด(ภาษาอังกฤษ) องค์ประกอบสูงสุด) และ ยิ่ง(ภาษาอังกฤษ) องค์ประกอบที่ยิ่งใหญ่ที่สุด) องค์ประกอบ

ขอบบนและล่าง

อนุญาต - เซตย่อยของเซตที่สั่งบางส่วน \langle M, \leqslant\rangle- องค์ประกอบ คุณ \ ใน Mเรียกว่า ขอบด้านบน(ภาษาอังกฤษ) ขอบเขตบน) ถ้ามีองค์ประกอบใดๆ ก\ในกไม่เกิน ยู- แนวคิดนี้ได้รับการแนะนำในทำนองเดียวกัน ขอบด้านล่าง(ภาษาอังกฤษ) ขอบเขตล่าง) ชุด .

องค์ประกอบใดๆ ที่ใหญ่กว่าขอบเขตบนบางส่วน จะเป็นขอบเขตบนด้วย - และธาตุใด ๆ ที่มีขนาดเล็กกว่าบางส่วน จะเป็นขอบเขตล่างด้วย - ข้อควรพิจารณาเหล่านี้นำไปสู่การแนะนำแนวคิด ขอบเขตบนที่เล็กที่สุด(ภาษาอังกฤษ) ขอบเขตบนน้อยที่สุด) และ ขอบเขตล่างที่ใหญ่ที่สุด(ภาษาอังกฤษ) ขอบเขตล่างที่ยิ่งใหญ่ที่สุด).

ชุดสั่งผลิตบางส่วนชนิดพิเศษ

ชุดเรียงลำดับเชิงเส้น

บทความหลัก: ชุดเรียงลำดับเชิงเส้น

อนุญาต \langle M, \leqslant\rangleเป็นชุดที่สั่งบางส่วน ถ้าเข้า. องค์ประกอบใด ๆ ทั้งสองสามารถเทียบเคียงได้ จากนั้นเซต เรียกว่า สั่งเป็นเส้นตรง(ภาษาอังกฤษ) ชุดสั่งเชิงเส้น- ชุดลำดับเชิงเส้นเรียกอีกอย่างว่า อย่างเป็นระเบียบเรียบร้อย(ภาษาอังกฤษ) สั่งครบชุด) หรือเพียงแค่ สั่งชุด- ดังนั้น ในชุดลำดับเชิงเส้นสำหรับสององค์ประกอบใดๆ และ ความสัมพันธ์หนึ่งเดียวเท่านั้นที่ถืออยู่: อย่างใดอย่างหนึ่ง , หรือ ก=ข, หรือ .

นอกจากนี้ สับเซตที่เรียงลำดับเชิงเส้นของเซตที่เรียงลำดับบางส่วนจะถูกเรียกอีกด้วย โซ่(ภาษาอังกฤษ) โซ่) นั่นคือลูกโซ่ในชุดที่เรียงลำดับบางส่วน \langle M, \leqslant \rangle- เซตย่อยซึ่งมีสององค์ประกอบใด ๆ ที่สามารถเทียบเคียงได้

จากตัวอย่างข้างต้นของเซตที่มีการเรียงลำดับบางส่วน เฉพาะเซตของจำนวนจริงเท่านั้นที่ถูกเรียงลำดับเชิงเส้น เซตของฟังก์ชันมูลค่าจริงในช่วงเวลาหนึ่ง (เพราะว่า. ) บูลีน \คณิตศาสตร์(P)(M)(ที่ |M|\geqslant 2) จำนวนธรรมชาติที่มีความสัมพันธ์ต่อการหารลงตัวจะไม่เรียงลำดับเชิงเส้น

ในชุดเรียงลำดับเชิงเส้น แนวคิดเรื่องเล็กที่สุดและน้อยที่สุด ตลอดจนใหญ่ที่สุดและสูงสุดสอดคล้องกัน

ชุดที่สั่งมาอย่างดี

บทความหลัก: ชุดสั่งเรียบร้อย

เรียกว่าชุดลำดับเชิงเส้น ค่อนข้างเป็นระเบียบ(ภาษาอังกฤษ) ได้รับคำสั่งอย่างดี) หากแต่ละชุดย่อยที่ไม่ว่างเปล่ามีองค์ประกอบที่เล็กที่สุด ดังนั้นจึงเรียกว่าลำดับของชุด ในลำดับที่สมบูรณ์แบบ(ภาษาอังกฤษ) เป็นระเบียบเรียบร้อย).

ตัวอย่างคลาสสิกของเซตที่มีลำดับดีคือเซตของจำนวนธรรมชาติ \คณิตศาสตร์บี(N)- คำสั่งว่าเซตย่อยใดๆ ที่ไม่ว่าง \คณิตศาสตร์บี(N)มีองค์ประกอบที่เล็กที่สุดเทียบเท่ากับหลักการอุปนัยทางคณิตศาสตร์ ตัวอย่างของชุดที่เรียงลำดับเชิงเส้นแต่ยังเรียงลำดับไม่ครบถ้วนคือชุดของจำนวนที่ไม่เป็นลบ \mathbb(R)_(+) = \( x: x \geqslant 0\)- อันที่จริงส่วนย่อยของมัน \(x: x > 1\)ไม่มีองค์ประกอบที่เล็กที่สุด

เซตที่มีการเรียงลำดับอย่างดีมีบทบาทสำคัญในทฤษฎีเซตทั่วไป

ทฤษฎีบทเกี่ยวกับเซตที่มีการเรียงลำดับบางส่วน

ทฤษฎีบทพื้นฐานเกี่ยวกับเซตที่มีการเรียงลำดับบางส่วนประกอบด้วย หลักการสูงสุดของเฮาส์ดอร์ฟและ บทแทรกคูราตอฟสกี้-ซอร์น- ข้อความเหล่านี้เทียบเท่ากันและขึ้นอยู่กับสิ่งที่เรียกว่าสัจพจน์ของการเลือกเป็นหลัก (อันที่จริงแล้ว พวกมันเทียบเท่ากับสัจพจน์ของการเลือก)

หมายเหตุ

วรรณกรรม

  • อเล็กซานดรอฟ พี.เอส.ความรู้เบื้องต้นเกี่ยวกับทฤษฎีเซตและโทโพโลยีทั่วไป - อ.: "วิทยาศาสตร์", 2520 - 368 หน้า
  • โคลโมโกรอฟ เอ. เอ็น. โฟมิน เอส. วี.องค์ประกอบของทฤษฎีฟังก์ชันและการวิเคราะห์ฟังก์ชัน - ฉบับที่ 7 - อ.: “FIZMATLIT”, 2547. - 572 หน้า - ไอ 5-9221-0266-4
  • เฮาส์ดอร์ฟ เอฟ.ทฤษฎีเซต - ฉบับที่ 4 - อ.: URSS, 2550. - 304 น. - ไอ 978-5-382-00127-2

ดูสิ่งนี้ด้วย

  • ขัดแตะ
  • เลขลำดับ
  • สั่งของล่วงหน้า

cs:Uspořádaná množinaeo:Partordohu:Részbenrendezett halmazko:부분순서 nl:Partiële orde oc:Relacion d"òrdre ro:Relaţie de ordine sl:Relacija urejenostizh:偏序关系

การแจ้งเตือน: พื้นฐานเบื้องต้นสำหรับบทความนี้เป็นบทความที่คล้ายกันใน http://ru.wikipedia.org ภายใต้เงื่อนไขของ CC-BY-SA, http://creativecommons.org/licenses/by-sa/3.0 ซึ่งก็คือ ต่อมาได้เปลี่ยนแปลง แก้ไข และแก้ไข

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

แน่นอนว่าความสัมพันธ์ของลำดับไม่ใช่เซ็ตย่อยใดๆ แต่จะต้องเป็นไปตามคุณสมบัติต่อไปนี้:

1) สำหรับใด ๆ ;

2) ถ้า และ แล้ว ;

3) ถ้า และ แล้ว .

ตัวอย่างเช่น ความสัมพันธ์ตามลำดับ คือการเปรียบเทียบตามปกติของตัวเลขในบรรทัด () การซ้อนชุด () ความสัมพันธ์ "หาร" ( - หาร)

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

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

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

เรามาดูตัวอย่างชุดที่ได้รับการจัดลำดับอย่างดีกัน

ชุดเปล่า.

พวงของ .

พวงของ .

โปรดทราบว่าชุดเหล่านี้จะเรียงลำดับตามความสัมพันธ์ของสมาชิกภาพ () ไม่ใช่เรื่องยากที่จะคาดเดาว่าชุดองค์ประกอบสามรายการที่เรียงลำดับอย่างสมบูรณ์นั้นมีลักษณะอย่างไรสำหรับความสัมพันธ์ตามลำดับดังกล่าว:

ชุด E ได้มาจากการรวมชุดก่อนหน้า

คำนิยาม- เซตที่สร้างในลักษณะนี้เรียกว่าเลขธรรมชาติ

เซตทั้งหมดนี้ประกอบขึ้นเป็นเซตของจำนวนธรรมชาติ ลองคิดดูว่าทำไมสัจพจน์ของอนันต์จึงจำเป็นสำหรับการดำรงอยู่ของเซตนี้ (ดูสัจพจน์ของอนันต์)

มิคาอิล ราสกิน

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

วิคเตอร์ วิคโตรอฟ

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

ชุดพีซีที่กำหนดโดยความสัมพันธ์แบบไบนารี่ที่ตรงตามเงื่อนไขต่อไปนี้: 4) ในชุดย่อยที่ไม่ว่างเปล่า ~ มีองค์ประกอบอยู่เช่นนั้นสำหรับทุกคน; ดังนั้น V. u. m เป็นเซตที่เรียงลำดับเชิงเส้นซึ่งเป็นไปตามเงื่อนไขขั้นต่ำ แนวคิดของวีที่ m ได้รับการแนะนำโดย G. Kantor ตัวอย่างของ V.u. m เป็นเซตของจำนวนธรรมชาติที่เรียงลำดับตามธรรมชาติ ในทางกลับกัน ส่วนของจำนวนจริงที่มีลำดับธรรมชาติไม่ใช่ V m. เซตย่อยใดๆ ของ V. y. ม. ค่อนข้างเป็นระเบียบ ผลคูณคาร์ทีเซียนของจำนวนจำกัดของ V. u m. ได้รับคำสั่งอย่างสมบูรณ์โดยความสัมพันธ์ลำดับพจนานุกรม ชุดที่เรียงลำดับเชิงเส้นจะถูกเรียงลำดับอย่างสมบูรณ์ ถ้าหากว่าไม่มีเซตย่อยที่เป็นแอนติไอโซมอร์ฟิก (ดูแอนติไอโซมอร์ฟิซึมของเซตที่เรียงลำดับบางส่วน) กับเซตของจำนวนธรรมชาติ องค์ประกอบที่เล็กที่สุดของ V.y. ม. ราซ ศูนย์ (และเขียนแทนด้วย 0) สำหรับองค์ประกอบใด ๆ ก็มีชื่อเรียกมากมาย ส่วนเริ่มต้นของเซต P สำหรับองค์ประกอบ a ใดๆ ที่ไม่ใหญ่ที่สุดใน P จะมีองค์ประกอบหนึ่งตามมาทันที โดยปกติจะแสดงด้วย a+1 องค์ประกอบ V.u. ม. ซึ่งไม่มีรุ่นก่อน เรียกว่า การจำกัด ทฤษฎีบทเปรียบเทียบ สำหรับสองวีที่ m. P1 และ P2 มีเพียงหนึ่งในสถานการณ์ต่อไปนี้เกิดขึ้น: 1) P 1 คือ isomorphic กับ P 2, 2) P 1 คือ isomorphic กับเซ็กเมนต์เริ่มต้นบางส่วนของเซต P 2, 3) P 2 คือ isomorphic กับ ส่วนเริ่มต้นของเซต P1 การใช้สัจพจน์ของเซตตัวเลือกเป็นหนึ่งในสัจพจน์ของทฤษฎีเซต เราสามารถพิสูจน์ได้ว่าในเซตที่ไม่ว่างใดๆ เราสามารถแนะนำความสัมพันธ์ลำดับที่เปลี่ยนให้เป็นสมการตัวแปรได้ ม. (เช่น สามารถสั่งซื้อชุดที่ไม่ว่างเปล่าได้ทั้งหมด) ทฤษฎีบทนี้เรียกว่าทฤษฎีบทของแซร์เมโล ซึ่งแท้จริงแล้วเทียบเท่ากับสัจพจน์ที่เลือก ทฤษฎีบทของเซอร์เมโลและทฤษฎีบทเปรียบเทียบทำหน้าที่เป็นพื้นฐานสำหรับการเปรียบเทียบเซตตามจำนวนเชิงภาวะของเซตเหล่านั้น ประเภทลำดับของ V. at. ม. เรียกว่า ทรานส์ฟินท์ หรือจำนวนทรานส์ฟินท์ แปลจากภาษาอังกฤษ: Cantor G., "Math. Ann.", 1883, Bd 21, S. 51-8; Aleksandrov P.S. ทฤษฎีทั่วไปของเซตและฟังก์ชันเบื้องต้น M.-L. 2491; Hausdorff F. ทฤษฎีเซต ทรานส์ จากภาษาเยอรมัน ม.-ล. 2480; บูบากิ เอ็น., ทฤษฎีเซต, ทรานส์. จากฝรั่งเศส ม. 2508; Kuratovsky K. , Mostovsky A. , ทฤษฎีเซต แปลจากภาษาอังกฤษ, M. , 1970 B. A. Efimov, T. S. Fofanova


ดูค่า สั่งครบชุดในพจนานุกรมอื่นๆ

พวงของ- น้ำหนัก
สุดยอด
เหว
เหว
มืด
ความมืด-ความมืด
ความมืดของหัวข้อ
พวง
WHO
การขนส่งทางรถไฟ
การฝ่าฟันอุปสรรค
ความตาย
บังคับ
พจนานุกรมคำพ้อง

ค่อนข้าง- โฆษณา อย่างครบถ้วนสมบูรณ์, ไม่ขาด, ไม่มีการวัด. วัดมันให้สมบูรณ์ - ด้วยความพอใจ, อย่างเหลือล้น, อย่างเหลือล้น. พวกเขาใช้ชีวิตได้ดี - ทุกสิ่งอย่างไร้ร่องรอย ครบถ้วน สมบูรณ์ เลย มากมาย.........
พจนานุกรมอธิบายของดาห์ล

พวงของ- คูณ ฯลฯ ดูมากมาย
พจนานุกรมอธิบายของดาห์ล

พวงของ- ฝูงชน cf. (หนังสือ). 1.เฉพาะยูนิตเท่านั้น บางสิ่งบางอย่างจำนวนมากอย่างไม่มีกำหนด คนงาน ข้อเท็จจริง ฉันเคยได้ยินนักร้องที่ยอดเยี่ยมมากมายในชีวิตของฉัน เนกราซอฟ 2. จำนวนทั้งสิ้น........
พจนานุกรมอธิบายของ Ushakov

ค่อนข้างแนะนำ- 1. สมบูรณ์, สมบูรณ์, สมบูรณ์.
พจนานุกรมอธิบายโดย Efremova

ไม่ค่อยมีคำแนะนำ ราซก.— 1. ไม่ครบถ้วน
พจนานุกรมอธิบายโดย Efremova

ค่อนข้าง- โฆษณา สมบูรณ์มาก, สมบูรณ์มาก. พอใจกับคำอธิบาย คนที่สมควร แม้ว่าฉันจะไม่ได้ลิ้มรสความสุขอย่างเต็มที่ก็ตาม พุชกิน
พจนานุกรมอธิบายของ Ushakov

ค่อนข้าง- โฆษณา สมบูรณ์, สมบูรณ์, สมบูรณ์. ว. พอใจ. ว. พร้อม. ข. คำตอบที่แน่นอน ว.พอ..
พจนานุกรมอธิบายของ Kuznetsov

พวงของ- -ก; พุธ
1. จำนวนที่มาก, จำนวนคน, บางสิ่งบางอย่าง ม.คน. ม.ข้อเท็จจริง ปลูกดอกไม้ไว้มากมาย หลักฐานมีมากมาย ตัวอย่างเยี่ยมครับ (มาก........
พจนานุกรมอธิบายของ Kuznetsov

ชุดที่เข้าถึงได้— ผลตอบแทนที่คาดหวังที่เป็นไปได้และคู่ส่วนเบี่ยงเบนมาตรฐานของพอร์ตการลงทุนทั้งหมดที่สามารถสร้างได้จากชุดสินทรัพย์ที่กำหนด
พจนานุกรมเศรษฐศาสตร์

ชุดที่เป็นไปได้ (หรือชุดโอกาส)- พอร์ตการลงทุนที่หลากหลายสามารถสร้างได้จากหลักทรัพย์ที่นักลงทุนพิจารณา
พจนานุกรมเศรษฐศาสตร์

พวงของ- ชุดองค์ประกอบ พารามิเตอร์ รวมกันตามบางส่วน
คุณลักษณะ
พจนานุกรมเศรษฐศาสตร์

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

ชุดยูนิเวอร์แซล- ในทางคณิตศาสตร์ - SET ที่มีองค์ประกอบทั้งหมดที่มีคุณสมบัติบางอย่าง นี่เรียกอีกอย่างว่าชุดสมมุติซึ่งควรรวมที่เป็นไปได้ทั้งหมด........
พจนานุกรมสารานุกรมวิทยาศาสตร์และเทคนิค

พวงของ- ในทางคณิตศาสตร์ ดูที่ ทฤษฎีเซต

ชุดนับไม่ถ้วน— แนวคิดของทฤษฎีเซต เซตอนันต์ซึ่งมีภาวะเชิงการนับมากกว่าเซตนับได้ เช่น เซตของจำนวนจริงทั้งหมดเป็นเซตนับไม่ได้
พจนานุกรมสารานุกรมขนาดใหญ่

ชุดเปล่า— แนวคิดของทฤษฎีเซต ชุดว่าง - ชุดที่ไม่มีองค์ประกอบเดียว ถูกระบุ? หรือ 0 แนวคิดเรื่องเซตว่าง (คล้ายกับแนวคิด "ศูนย์") เกิดขึ้น........
พจนานุกรมสารานุกรมขนาดใหญ่

ชุดนับได้— แนวคิดของทฤษฎีเซต เซตนับได้คือเซตอนันต์ที่องค์ประกอบสามารถกำหนดหมายเลขด้วยจำนวนธรรมชาติได้ เซตของจำนวนตรรกยะทั้งหมด........
พจนานุกรมสารานุกรมขนาดใหญ่

เหตุผลที่จำเป็นหลายประการหรือหลายประการ- โครงการเชิงสาเหตุที่ให้เหตุผลอย่างน้อยสองประการเพื่ออธิบายสิ่งที่เกิดขึ้น
พจนานุกรมสังคมวิทยา

เหตุผลที่น่าพอใจหลายประการหรือหลายประการ- โครงการเชิงสาเหตุที่จะเกิดขึ้น หากสถานการณ์ไม่มีความเป็นไปได้ในการตีความที่หลากหลาย......
พจนานุกรมสังคมวิทยา

คลาส เซ็ต (ในลอจิกและคณิตศาสตร์)- - การรวมตัวกันของวัตถุที่มีขอบเขตหรือไม่มีที่สิ้นสุด จำแนกตามลักษณะทั่วไป (ทรัพย์สินหรือความสัมพันธ์) ซึ่งถือเป็นสิ่งทั้งหมด วัตถุที่ประกอบขึ้นเป็น K.........
พจนานุกรมปรัชญา

ชุดฟัซซี่— - เซตที่มีขอบเขตคลุมเครือ เมื่อการเปลี่ยนจากองค์ประกอบที่เป็นของเซตไปเป็นเซตที่ไม่อยู่ในเซตนั้น จะเกิดขึ้นทีละน้อยอย่างไม่คมชัด ในความคลาสสิค........
พจนานุกรมปรัชญา

ชุดปกติ— ดู: ข้อขัดแย้งในคำจำกัดความที่ชัดเจน
พจนานุกรมปรัชญา

อย่างสมบูรณ์- โดยสิ้นเชิง, adv. สมบูรณ์, สมบูรณ์. ว. พอใจ.
พจนานุกรมอธิบายของ Ozhegov

พวงของ- มากมาย -a, cf. 1. จำนวนที่มาก จำนวนคนหรือบางสิ่งบางอย่าง ม.คน. ม.กรณี. มีสต๊อกมากมายทุกชนิด 2. ในทางคณิตศาสตร์: เซตขององค์ประกอบรวมกัน........
พจนานุกรมอธิบายของ Ozhegov