انتظام التقسيم ونظرية رامزي الهيكلية
تُظهر نظرية رامزي الهيكلية أنه كلما قُسّمت الأعداد الصحيحة أو الهياكل الغنية الأخرى إلى عدد محدود من الفئات، يجب أن تحتوي إحدى الفئات على أنماط حسابية أو تركيبية محددة مسبقًا.
Definition
يكون النظام أو النمط منتظم التقسيم إذا كان لكل تقسيم للمجموعة الأساسية إلى عدد محدود من الفئات، تحتوي فئة واحدة على الأقل على حل أو مثال للنمط؛ وتدرس نظرية رامزي الهيكلية أي الأنماط تمتلك هذه الخاصية.
Scope
يغطي هذا الموضوع انتظام التقسيم على الأعداد الصحيحة - نظرية شور، ونظرية فان دير فاردن حول المتتاليات الحسابية أحادية اللون، وتوصيف رادو للمعادلات المنتظمة التقسيم - بالإضافة إلى نظرية هاليس-جويت، وهي النتيجة المجردة للخط التركيبي التي تتبع منها العديد من هذه النظريات. كما يضع نظرية رامزي ضمن التوافقيات الجمعية.
Core questions
- ما هي الأنماط الحسابية التي يجب أن تظهر في بعض فئات أي تلوين محدود للأعداد الصحيحة؟
- متى يكون للمعادلة الخطية حل أحادي اللون تحت كل تلوين؟
- كيف توحد نظرية هاليس-جويت نتائج التقسيم هذه؟
- كيف ترتبط هذه النتائج بالكثافات والتوافقيات الجمعية؟
Key concepts
- انتظام التقسيم
- نظرية شور
- نظرية فان دير فاردن
- نظرية رادو
- نظرية هاليس-جويت
- الخطوط التركيبية
Key theories
- نظرية فان دير فاردن
- لأي عدد من الألوان وأي طول مستهدف، يوجد عدد صحيح N بحيث يحتوي كل تلوين للأعداد الصحيحة من واحد إلى N على متتالية حسابية أحادية اللون من ذلك الطول.
- نظرية هاليس-جويت
- في مكعب تركيبي عالي الأبعاد فوق أبجدية ثابتة، يحتوي كل تلوين محدود على خط تركيبي أحادي اللون، وهي نظرية رئيسية تستلزم نظرية فان دير فاردن والعديد من نتائج التقسيم الأخرى.
Clinical relevance
تُعد نتائج انتظام التقسيم هذه حجر الزاوية في التوافقيات الجمعية ونظرية الأعداد، وترتبط بنظرية سزيميريدي حول المتتاليات الحسابية ونظرية جرين-تاو حول الأعداد الأولية، كما أنها تُثري حجج البنية مقابل العشوائية في جميع فروع الرياضيات.
History
بدأت نظرية شور عام 1916 ونظرية فان دير فاردن عام 1927 حول المتتاليات الحسابية نظرية تقسيم الأعداد الصحيحة، والتي قام رادو بتنظيمها ووحدتها نظرية هاليس-جويت عام 1963 بشكل مجرد.
Key figures
- Bartel van der Waerden
- Issai Schur
- Richard Rado
Related topics
Seminal works
- graham1990
- landman2003
Frequently asked questions
- ماذا تضمن نظرية فان دير فاردن؟
- مهما قُسّمت الأعداد الكلية حتى حد كبير معين إلى بضع فئات لونية، فإن إحدى الفئات ستُجبر على احتواء متتالية متباعدة بانتظام بأي طول مرغوب.
- لماذا تُسمى نظرية هاليس-جويت نظرية رئيسية؟
- لأن نظرية فان دير فاردن والعديد من نتائج التقسيم الأخرى تتبع كحالات خاصة من بيانها حول الخطوط التركيبية أحادية اللون.