Qvists теоремасы - Википедия - Qvists theorem

Шектелген сопақша туралы Квист теоремасы

Жылы проективті геометрия Квист теоремасы, финдік математиктің есімімен аталған Бертиль Квист, туралы мәлімдеме болып табылады сопақша жылы ақырлы проекциялық жазықтықтар. Сыртқы пішіннің стандартты мысалдары деградацияланбайды (проективті) конустық қималар. Теорема сұраққа жауап береді Шектелген проекциялық жазықтықтағы нүктеден сопаққа қанша жанамалар өте алады? Жауап, негізінен, байланысты тапсырыс (a1 түзуіндегі нүктелер саны) жазықтық.

Сопақ анықтамасы

  1. Кез келген сызық л кездеседі Ω ең көп дегенде екі нүктеде және
  2. Кез-келген нүкте үшін P ∈ Ω дәл бір жанама сызық бар т арқылы P, яғни, т ∩ Ω = {P}.

Қашан |л ∩ Ω | = 0 сызық л болып табылады сыртқы сызық (немесе жолаушы),[1] егер |л ∩ Ω| = 1 а жанасу сызығы және егер |л ∩ Ω| = 2 жол а сектант сызық.

Үшін ақырлы жазықтықтар (яғни нүктелер жиынтығы ақырлы), бізде ыңғайлы сипаттама бар:[2]

  • Шектерінің проективті жазықтығы үшін тапсырыс n (яғни кез-келген жолда бар n + 1 нүктелер) жиынтық Ω нүктелер сопақша болып табылады, егер де болса |Ω| = n + 1 және үш ұпай жоқ коллинеарлы (жалпы сызық бойынша).

Квист теоремасының тұжырымы және дәлелі

Квист теоремасы[3][4]

Келіңіздер Ω ретті проективті жазықтықта сопақ болу n.

(а) Егер n болып табылады тақ,
әр тармақ P ∉ Ω 0 немесе 2 жанама әсер етеді.
(b) егер n болып табылады тіпті,
нүкте бар N, ядро немесе түйін, соған сәйкес жанамалар жиынтығы Ω - барлық жолдардың қарындашы N.
Квист теоремасы: n тақ болған жағдайда дәлелдеуге
Квист теоремасы: n жұп болған жағдайда дәлелдеу
Дәлел

(а) рұқсат етіңіз тR тангенсі болыңыз Ω нүктесінде R және рұқсат етіңіз P1, ... , Pn осы жолдың қалған нүктелері болыңыз. Әрқайсысы үшін мен, жолдар Pмен бөлім Ω 2 немесе 1 немесе 0 кардинал жиынтығына. саннан бастап |Ω| = n + 1 кез-келген нүктеге тең Pмен, осы нүкте арқылы кем дегенде тағы бір тангенс болуы керек. Тангенстердің жалпы саны n + 1, демек, әрқайсысында екі тангенс бар Pмен, тR және басқа. Осылайша, кез-келген нүкте үшін P сопақ емес Ω, егер P кез келген тангенсте болады Ω бұл дәл екі тангенсте.

ә) рұқсат етіңіз с сектант бол, с ∩ Ω = {P0, P1} және с= {P0, P1,...,Pn}. Себебі |Ω| = n + 1 кез келген арқылы тақ болып табылады Pмен, i = 2, ..., n, кем дегенде бір тангенс өтеді тмен. Тангенстердің жалпы саны n + 1. Демек, кез-келген нүкте арқылы Pмен үшін i = 2, ...,n дәл бір тангенс бар. Егер N - екі тангеннің қиылысу нүктесі, ешқандай секант өте алмайды N. Себебі n + 1, жанамалар саны, сонымен қатар кез-келген нүкте, кез-келген түзу арқылы өтетін жолдар саны N тангенс болып табылады.

Жұп ретті паппиандық жазықтықтағы мысал

Қолдану біртектес емес координаттар өріс үстінде Қ, |Қ| = n тіпті, жиынтық

Ω1 = {(х, у) | ж = х2} ∪ {(∞)},

параболаның проективті жабылуы ж = х2, нүктесі бар сопақша N = (0) ядро ретінде (суретті қараңыз), яғни кез-келген сызық ж = в, бірге вҚ, тангенс болып табылады.

Гиперовальдардың анықтамасы және қасиеті

  • Кез-келген сопақ Ω ішінде ақырлы проекциялық жазықтығы тіпті тапсырыс n ядросы бар N.
Нүкте қойылды Ω : = Ω ∪ {N} а деп аталады гиперовалов немесе (n + 2)-доға. (Шекті сопақ - бұл (n + 1)-доға.)

Гипероваланың келесі маңызды қасиетін оңай тексеруге болады:

  • Гиперовалов үшін Ω және нүкте RΩ нүктелер жиынтығы Ω \ {R} - сопақша.
проективті конустық бөлім Ω1

Бұл қасиет берілген сопақтан қосымша сопақ салудың қарапайым құралын ұсынады.

Мысал

Шекті өрістің үстіндегі проективті жазықтық үшін Қ, |Қ| = n тіпті және n > 4, жиынтық

Ω1 = {(х, у) | ж = х2} ∪ {(∞)} - сопақша (конустық бөлім) (суретті қараңыз),
Ω1 = {(х, у) | ж = х2} ∪ {(0), (∞)} - бұл гиперовалов және
Ω2 = {(х, у) | ж = х2} ∪ {(0)} - конустық қимаға жатпайтын тағы бір сопақша. (Есіңізде болсын, конустық бөлім 5 нүктемен анықталады.)

Ескертулер

  1. ^ Ағылшын әдебиетінде бұл термин көбіне французша (немесе немісше) аударма жолы ретінде аударылады.
  2. ^ Дембовский 1968 ж, б. 147
  3. ^ Бертиль Квист: Шекті жазықтықтағы екінші дәрежелі қисықтарға қатысты кейбір ескертулер, Хельсинки (1952), Анн. Акад. Sci Fenn Nr. 134, 1–27
  4. ^ Дембовский 1968 ж, 147-8 бб

Әдебиеттер тізімі

  • Байтельспахер, Альбрехт; Розенбаум, Уте (1998), Проективті геометрия / негіздерден қосымшаларға дейін, Кембридж университетінің баспасы, ISBN  978-0-521-48364-3
  • Дембовский, Петр (1968), Соңғы геометрия, Ergebnisse der Mathematik und ihrer Grenzgebiete, 44-топ, Берлин, Нью-Йорк: Шпрингер-Верлаг, ISBN  3-540-61786-8, МЫРЗА  0233275

Сыртқы сілтемелер