ความสม่ำเสมอของการแบ่งกั้นและทฤษฎีแรมซีย์เชิงโครงสร้าง

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

Definition

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

Scope

หัวข้อนี้ครอบคลุมความสม่ำเสมอของการแบ่งกั้นเหนือจำนวนเต็ม - ทฤษฎีบทของ Schur, ทฤษฎีบทของ van der Waerden เกี่ยวกับลำดับเลขคณิตเอกรงค์ และลักษณะเฉพาะของ Rado ของสมการที่สม่ำเสมอของการแบ่งกั้น - พร้อมกับทฤษฎีบท Hales-Jewett ซึ่งเป็นผลลัพธ์ของเส้นเชิงการจัดหมู่เชิงนามธรรมที่หลายสิ่งเหล่านี้ตามมา นอกจากนี้ยังจัดวางทฤษฎีแรมซีย์ไว้ในสาขาคณิตศาสตร์เชิงการจัดหมู่แบบบวก (additive combinatorics)

Core questions

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

Key concepts

• ความสม่ำเสมอของการแบ่งกั้น
• ทฤษฎีบทของ Schur
• ทฤษฎีบทของ Van der Waerden
• ทฤษฎีบทของ Rado
• ทฤษฎีบท Hales-Jewett
• เส้นเชิงการจัดหมู่

Key theories

ทฤษฎีบทของ Van der Waerden

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

ทฤษฎีบท Hales-Jewett

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

Clinical relevance

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

History

ทฤษฎีบทของ Schur ในปี 1916 และทฤษฎีบทของ van der Waerden ในปี 1927 เกี่ยวกับลำดับเลขคณิตได้เริ่มต้นทฤษฎีการแบ่งกั้นของจำนวนเต็ม ซึ่ง Rado ได้จัดระบบและทฤษฎีบท Hales-Jewett ในปี 1963 ได้รวมเข้าด้วยกันในเชิงนามธรรม

Key figures

• Bartel van der Waerden
• Issai Schur
• Richard Rado

Seminal works

• graham1990
• landman2003

Frequently asked questions

ทฤษฎีบทของ van der Waerden รับประกันอะไร?

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

เหตุใดทฤษฎีบท Hales-Jewett จึงถูกเรียกว่าเป็นทฤษฎีบทหลัก?

เนื่องจากทฤษฎีบทของ van der Waerden และผลลัพธ์การแบ่งกั้นอื่นๆ อีกหลายอย่างเป็นกรณีพิเศษของข้อความเกี่ยวกับเส้นเชิงการจัดหมู่เอกรงค์