Kesish teoremasi - Intersection theorem - Wikipedia

Yilda proektsion geometriya, an kesishma teoremasi yoki insidensiya teoremasi ga tegishli bayonot insidensiya tuzilishi - nuqtalar, chiziqlar va ehtimol yuqori o'lchovli narsalar va ularning hodisalari - juft narsalar bilan birgalikda A va B (masalan, nuqta va chiziq). "teorema "ob'ektlar to'plami voqealarni qondiradigan har doim (ya'ni insidensiya tuzilishi ob'ektlari bilan insidensiya saqlanib qoladigan tarzda aniqlanishi mumkin), keyin ob'ektlar A va B voqea sodir bo'lishi kerak. Kesish teoremasi barcha proektsion geometriyalarda shart emas; bu ba'zi geometriyalarni qondiradigan, boshqalari esa qondirmaydigan xususiyatdir.

Masalan, Desargues teoremasi quyidagi insidensiya tuzilishi yordamida bildirilishi mumkin:

  • Ballar:
  • Chiziqlar:
  • Hodisalar (kabi aniq narsalarga qo'shimcha ravishda ):

Buning ma'nosi shu - bu narsa R chiziq bilan to'qnashdi PQ.

Mashhur misollar

Desargues teoremasi proektsion tekislikda ushlaydi P agar va faqat agar P ba'zilari ustidan proektsion tekislik bo'linish halqasi (skewfield} D.. Keyin proektsion tekislik deyiladi desarguesian.Bu teorema Amitsur va Bergman desarguesian proektsion tekisliklari sharoitida har bir kesishma teoremasi uchun ratsional identifikatsiya shunday samolyot P agar bo'linish halqasi bo'lsa, kesishish teoremasini qondiradi D. ratsional identifikatsiyani qondiradi.

  • Pappusning olti burchakli teoremasi desarguesian proektiv tekisligida ushlaydi agar va faqat agar D. a maydon; bu shaxsiyatga mos keladi .
  • Fano aksiomasi (bu ma'lum bir kesishishni bildiradi emas sodir bo'ladi) ushlab turadi agar va faqat agar D. bor xarakterli ; bu shaxsiyatga mos keladi a + a = 0.

Adabiyotlar

  • Rouen, Lui Xelli, ed. (1980). Ring nazariyasidagi polinomiy identifikatorlar. Sof va amaliy matematika. 84. Akademik matbuot. doi:10.1016 / s0079-8169 (08) x6032-5. ISBN  9780125998505.
  • Amitsur, S. A. (1966). "Algebra va geometriyaga nisbatan ratsional identifikatsiya va qo'llanmalar". Algebra jurnali. 3 (3): 304–359. doi:10.1016/0021-8693(66)90004-4.