Wellfoundedness
ความดี
อ่าน 1 นาทีชุดอเนกประสงค์
Basic concepts in set theoryในทฤษฎีเซตเซตสากลคือเซตที่ประกอบด้วยวัตถุทั้งหมดในทฤษฎี รวมทั้งตัวมันเองด้วยในทฤษฎีเซตตามสูตรปกติ สามารถพิสูจน์ได้หลายวิธีว่าเซตสากลไม่มีอยู่จริง อย่างไรก็ตาม...
อ่าน 1 นาทีการเหนี่ยวนำเชิงโครงสร้าง
CS1: long volume valueการอุปมานเชิงโครงสร้างเป็นวิธีการพิสูจน์ที่ใช้ในตรรกศาสตร์ทางคณิตศาสตร์ (เช่น ในการพิสูจน์ทฤษฎีบทของโลส ) วิทยาศาสตร์คอมพิวเตอร์ทฤษฎีกราฟและสาขาคณิตศาสตร์อื่นๆ
อ่าน 1 นาทีทฤษฎีเซตที่ไม่มั่นคง
Self-referenceทฤษฎีเซตที่ไม่เป็นพื้นฐานที่ดี (บางครั้งเขียนโดยไม่มีเครื่องหมายขีดคั่นเช่นnonwellfounded ; หรือpoorly founded )
อ่าน 1 นาทีบทพิสูจน์ของ Kőnig
Axiom of choiceทฤษฎีบทของ Kőnigหรือทฤษฎีบทอนันต์ของ Kőnigเป็นทฤษฎีบทในทฤษฎีกราฟที่คิดค้นโดยนักคณิตศาสตร์ชาวฮังการีDénes Kőnigซึ่งตีพิมพ์ในปี 1927...
อ่าน 1 นาทีคำสั่งซื้อทั้งหมด
Order theoryในทางคณิตศาสตร์ลำดับสมบูรณ์หรือลำดับเชิงเส้นคือลำดับบางส่วนที่สมาชิกสองตัวใดๆ สามารถเปรียบเทียบกันได้ กล่าวคือ ลำดับสมบูรณ์เป็นความสัมพันธ์ทวิภาค บนเซต บางเซต
อ่าน 1 นาทีหลักการจัดลำดับที่ดี
Mathematical principlesในทางคณิตศาสตร์หลักการจัดลำดับที่ดีหรือที่เรียกว่าคุณสมบัติการจัดลำดับที่ดีหรือ หลักการจำนวนธรรมชาติ ที่น้อยที่สุด ระบุว่าเซตย่อยที่ไม่ว่าง ทุก เซตของจำนวนเต็มที่ ไม่เป็นลบ จะมี...
อ่าน 1 นาทีการจัดลำดับแบบกึ่งที่ดีกว่า
Order theoryในทฤษฎีลำดับ การเรียงลำดับ แบบกึ่งที่ดีกว่าหรือbqoคือการเรียงลำดับแบบกึ่งที่ไม่ยอมรับอาร์เรย์ที่ไม่ดีบางประเภท การเรียงลำดับแบบกึ่งที่ดีกว่าทุกแบบเป็นการเรียงลำดับแบบกึ่งที่ดี
อ่าน 1 นาทีทฤษฎีเซตของสก็อตต์-พอตเตอร์
Systems of set theoryทฤษฎีเซตสกอตต์-พอตเตอร์เป็นแนวทางหนึ่งในการวางรากฐานของคณิตศาสตร์ซึ่งมีต้นกำเนิดค่อนข้างใหม่ โดยเป็นการ รวบรวม ทฤษฎีเซตเชิงสัจพจน์ แบบซ้อนกัน ซึ่งเสนอโดยนักปรัชญาไมเคิล พอตเตอร์
อ่าน 1 นาทีทฤษฎีบทโรเบิร์ตสัน-เซย์มัวร์
Graph minor theoryในทฤษฎีกราฟทฤษฎีบทโรเบิร์ตสัน-เซย์มัวร์ (เรียกอีกอย่างว่าทฤษฎีบทกราฟไมเนอร์ ) ระบุว่ากราฟที่ไม่มีทิศทางซึ่งเรียงลำดับบางส่วนโดยความสัมพันธ์ ของ กราฟไมเนอร์ จะก่อให้เกิด...
อ่าน 1 นาทีความสัมพันธ์ที่มีพื้นฐานที่ดี
Wellfoundednessโดยปริยายแล้ว นิยามทั้งหมดกำหนดให้ความสัมพันธ์เอกพันธุ์ ต้องเป็นแบบถ่ายทอดได้ กล่าวคือ สำหรับทุกถ้าและแล้ว นิยามของคำศัพท์อาจต้องการคุณสมบัติเพิ่มเติมที่ไม่ได้ระบุไว้ในตารางนี้...
อ่าน 1 นาทีเงื่อนไขโซ่ขึ้น
Commutative algebraในทางคณิตศาสตร์เงื่อนไขลูกโซ่ขึ้น ( ACC ) และเงื่อนไขลูกโซ่ลง ( DCC ) เป็นคุณสมบัติความจำกัดที่โครงสร้างพีชคณิต บางอย่างเป็นไปตาม โดย เฉพาะอย่างยิ่งไอเดียลในวงแหวนสลับที่บาง ประเภท
อ่าน 1 นาทีการเหนี่ยวนำเอปซิลอน
Mathematical inductionในทฤษฎีเซตการเหนี่ยวนำ แบบ เอปซิลอนหรือที่เรียกว่า การเหนี่ยวนำแบบเอปซิลอน หรือการเหนี่ยวนำแบบเซตเป็นหลักการที่สามารถใช้พิสูจน์ได้ว่าเซต ทั้งหมด มีคุณสมบัติที่กำหนดให้
อ่าน 1 นาทีบทพิสูจน์ของนิวแมน
Lemmasในวิทยาการคอมพิวเตอร์เชิงทฤษฎีโดยเฉพาะอย่างยิ่งในเรื่องการเขียนเทอมใหม่ทฤษฎีบทของนิวแมนหรือที่เรียกกันทั่วไป ว่า...
อ่าน 1 นาทีการจัดลำดับแบบกึ่งดี
Order theoryนิยามทั้งหมดล้วนต้องการความสัมพันธ์ที่เป็นเนื้อเดียวกัน โดยปริยายอาร์{\displaystyle R}เป็นกริยาที่ต้องการกรรม : สำหรับทั้งหมดเอ,ข,ค,{\displaystyle a,b,c,}ถ้าเออาร์ข{\displaystyle..
อ่าน 1 นาทีบทพิสูจน์ของฮิกแมน
Combinatorics stubsในทางคณิตศาสตร์ทฤษฎีบทของฮิกแมนกล่าวว่าเซตΣ*{\displaystyle \Sigma ^{*}}ของลำดับ จำกัด เหนือตัวอักษรจำกัดΣ{\displaystyle \Sigma }ลำดับ ที่เรียงลำดับบางส่วนโดย ความสัมพันธ์...
อ่าน 1 นาทีทฤษฎีต้นไม้ของครัสกัล
Mathematical logicในทางคณิตศาสตร์ทฤษฎีบทต้นไม้ของ Kruskalกล่าวว่า เซตของต้นไม้ จำกัด บน เซตของป้ายกำกับ ที่มีลำดับกึ่งดีนั้น จะมีลำดับกึ่งดีภายใต้การฝัง แบบโฮมีโอเมอร์ฟิก ด้วยเช่นกัน
อ่าน 1 นาทีลำดับที่
CS1 maint: ref duplicates defaultในทฤษฎีเซตจำนวนเชิงลำดับหรือลำดับคือ การขยายความทั่วไปของจำนวนเชิงลำดับ (อันดับแรก อันดับที่สอง อันดับที่ nเป็นต้น) โดยมุ่งขยายการนับไปยังเซตอนันต์ โดยปกติจะใช้อักษรกรีก สำหรับ...
อ่าน 1 นาทีAxiom of regularity
Axioms of set theoryIn mathematics, the axiom of regularity (also known as the axiom of foundation) is an axiom of Zermelo–Fraenkel set theory that states that every non-emptysetA contains an element.
อ่าน 1 นาทีปริภูมิเชิงทอพอโลยีโนเธอร์เรียน
Algebraic geometryในทางคณิตศาสตร์ ปริภูมิ เชิงทอพอโลยีแบบโนเธอร์เรียน (Noetherian topological space ) ซึ่งตั้งชื่อตามเอ็มมี โนเธอร์ (Emmy Noether ) คือ ปริภูมิเชิงทอพอโล...
อ่าน 1 นาทีฟังก์ชัน SSCG ของฟรีดแมน
Graph theoryฟังก์ชัน SSCG ของฟรีดแมนเป็นฟังก์ชันทางคณิตศาสตร์ที่ฮาร์วีย์ ฟรีดแมน กำหนดขึ้น โดยมีนิยามดังนี้เอสเอสซีจี(เค){\displaystyle...
อ่าน 1 นาทีลำดับคลีน-บราวเวอร์
CS1 maint: deprecated archival serviceในทฤษฎีเซตเชิงพรรณนา ลำดับ Kleene –Brouwerหรือลำดับ Lusin–Sierpiński เป็นลำดับเชิงเส้นบนลำดับจำกัดเหนือเซตที่มีลำดับเชิงเส้นบางเซต(X,<){\displaystyle (X,<)}ซึ่งแตกต่างจาก
อ่าน 1 นาทีบทพิสูจน์ของดิกสัน
Combinatoricsในทางคณิตศาสตร์ทฤษฎีบทของดิกสันกล่าวว่า ทุกเซตของn{\displaystyle n}-tuple ของจำนวนธรรมชาติมีองค์ประกอบขั้นต่ำ จำนวนจำกัด ข้อเท็จจริงง่ายๆ...