О дезарговой геометризации характеристики тела
Автор: Хубежты Исидор Антонович
Журнал: Владикавказский математический журнал @vmj-ru
Статья в выпуске: 3 т.3, 2001 года.
Бесплатный доступ
В настоящей работе содержатся: 1) дезаргова геометризация характеристики p\geqslant 5 поля, в виде конфигурационной теоремы K_p, содержащей пару перспективных p-вершинников с центром S и осью l, где S\ni\in l; 2) дезарговы геометризации характеристик 2 и 3 тел, в виде конфигурационных теорем D_8^*(\overline{1} \overline{2} \overline{3}; \overline{1'} \overline{2'} \overline{3'}) и L_7(\overline{1} \overline{2} \overline{3}; \overline{1'} \overline{2'} \overline{3'}) соответственно; 3) доказательства теорем: "L_{10}\Rightarrow K_p", "7_3\Rightarrow D_8^*$", "L_7\Leftrightarrow 8_3" и "K_p\Leftrightarrow p=0".
Короткий адрес: https://sciup.org/14318029
IDR: 14318029
Текст научной статьи О дезарговой геометризации характеристики тела
В настоящей работе содержатся: 1) дезаргова геометризация характеристики р ^ 5 поля, в виде конфигурационной теоремы Кр, содержащей пару перспективных р- вершинников с центром S и освю I, где S ЭЕ /: 2) дезарговы геометризации характеристик 2 и 3 тел, в виде конфигурационных теорем Dg (1 2 3; 1' 2' 3') и L7( 1 2 3; 1' 2' 3') соответственно; 3) доказателвства теорем: «Lio =Э Кр», «7з =ф> Д». «L7 -ФФ- 83» и «Кр -ФФ- р = 0».
В настоящей работе содержатся: 1) дезаргова геометризация характеристики р ^ 5 поля, в виде конфигурационной теоремы Кр, содержащей пару перспективных р-вершинников с центром S и осью I, где S DC I; 2) дезарговы геометризации характеристик 2 и 3 тел, в виде конфигурационных теорем D§ (1 2 3; 1' 2' 3') и £7(1 2 3; V 2'3'), соответственно; 3) доказательства теорем: «Аю => Кр», «73 ^ ОД- «Ь7 ^ 83» и «Кр ^р = О».
Эти результаты отличаются своей дезарговостью от результатов Фано [1], Рашевского [2], Цаппа [3] и Картеси [4] о геометризациях равенств 1 + • • • + 1 = п = 0, где п натуральное число.
Сначала найдем дезаргову геометризацию характеристики р > 3 поля в виде конфигурационной теоремы Кр, содержащей перспективные р-вершинники и представляющей некоторый обобщенный аналог малой теоремы Дезарга (Аю).
Конфигурационная теорема 1 (рис. 1). Пусть для точек 1, 2, .. . ,р общего положения, где р — простое натуральное число, выполняются следующие инциденции:
%' = [z 44>1, z + 2] П [z УУ2, z + 1] , z = 3,... ,p,p + l,p + 2,
Bi = [z, г + 1J П [z', z' + 1] , i = l,...,p, ^p T i = гУ^у'ф ^ \K,"K?\ приг^К, i'^S= [1, V] П [2, 2'] П ... П [P, P% (S, Въ ..., Вг_х,ВН1, ...,Bp).
Тогда выполняется и замыкающая инциденция
(S, в1,...,вг_1,вг,вН1,...,вру
Теорема Кр состоит из Зр + 1 точек и Зр + 1 прямых и имеет ранг 4.
Теорема 2. Некоторым ограниченным квазитождеством конфигурационной теоремы Кр является равенство р = 0 (р > 3).
<1 Пусть образующие точки в папповой плоскости имеют следующие координаты:
Р УУг — (2р 44>2z, ! + ••• + (z + 1)) — (2р 44>2z, 2 ^(z + 2)(z + l)), z — 0,...,р 44-1,
{Р = (2р, 1), Р^Т = (2р 442,1 + 2), Р^2 = (2р 444,1 + 2 + 3),...
2 = (4,р(р 441) • 2"1),Т = (2,р(р + 1) • 2"1), 3 = (6, (р441)(р 442) • 2"1)}.
Тогда, пользуясь аксиомами поля, получаем:
Вр_2 = [Р 442, Р 441] П [Р, Р 443] = [р = эст + п] П [р = хт' + n'] = Z И V,
Р УУ2 ЭЕ I УУ 6 = (2р 444) • т + п
> О 3 = У^т о т = У^ • 2 1
П = 3^(2р^2)(^3 • 2"1) = 3 + 3-2"1(2р^2) = Зр
О [Р УУ2, Р О1] = [р = 443 • 2 ^ + Зр];
Р ЭЕ U УУ 1 = 2рт/ + п'
=ф т' = 443 • 2"1,
Р 44>3 эе Z2 44 10 = (2р ууб)т' + п'
п' = 1^2р- (443-2"1) = 1 + Зр,
[р = (443. 2"^х + (1 + Зр)] = [F, Р^З],
Вр-2 — (^3 -2 Д ЭЕ Zoo,
Вр_3 = [Р 4>3, Р 4>2] П[Р ээ4. Рээ!] = [у = -^2ж + 5р^>2]п[т/ = -^2ж + п] = (^2),
\Вр— 2, Вр — з] — Zqo-
Bp = [Р, 1] п [2, Р 4>1] = \у = ж/ + Z] П ^У = ж А + Н],
/1 =
р2 ^р ЭЭб
4(3 ^р) ’
_ р2 Ар ^2
J - 4(1 ^р) ’
/ = fi О Ьр = Ьр 4> Вр ЭЕ Zoo- (1)
В1 = Ипи4ЧЧ^^14=^+1+т
ЭЕ Zoo ^ ^ = ^ ^ Р = 2р ^> р = 0 ^> Вт = (0).
Далее, имеем:
Bp_i = [Р У=Ц Р ^(i <=>!)] П [Р ^(i 4>2), Po(i + 1)] ЭЕ Zqo,
Bp_i = [у = ЖШ1 + ni] П [у = хт^ + п2]
= ^j = ^х - 2“4 + 1) + 2"4 + 1)(2 + 2р ог)]
П \у = Цг + 1) • 2-1ж + 2-1 (^2 + г + 2рг + 2р + г)]
= (^2"1(г + 1))
При г = 0 из (1) и (2), в силу (Bi, .. ., Вр, Sf имеем:
В- = И) = ( Р4 Д^6 ) ^ ^^ = °’ f*3-^0'
Б, = (Д) = ( 4(4 ) ^ (P-S-DP = °- Р ^ 1- Р = 0:
(Р ^АгУ =[Р^>(г^>1),Р^>(г + 2)] П [Р ^(i + 1), Р ^(i 4>2)]
Цу = ЖП1 + По] П \у = xmi + пг0]
Ци = Ц'1 + 2)2-1 • х + 2-1(<^2 -^>г + 2рг + 4р + 4)] (3)
П \у = Цг + 1)2-1 • х + 2-1(<^2 + г + 2рг + 2р + 4)]
= (2р <^2z, y^p_iy),
Итак, из выполнения всех инциденций конфигурационной теоремы Кр следует, что р = 0 в тернарном кольце папповой плоскости, для любого простого числа р. Доказательство же соотношения «р = 0 ^> Кр» осуществляется обратным ходом выкладок, проведенных выше, опираясь на систему образующих точек Кр:
Р = (0,1), "Ро"г = <о2г, (г + 2)(г + 1)2"1),..., 3 = (6,1),
2= (4,0), Т= (2,0), z = 1,...,р^1. ▻
Теорема 3. Для точек Р Ог = (Жр—, Ур—) и (Р ОгУ = (Жр—, У ^р^у У при указанном в доказательстве теоремы 2 наборе координат образующих точек Кр, имеет место:
Уущ-щ = Урщ + х’ г = 0,1,... ,р О1.
-
< 1 В силу (3) имеем:
Ур- = 2"Чг + 2) (г + 1) = 2-^z2 + 3z + 2), у-^р—у = Ж(р—у ■ щ + По = • 2(р ^z) + По
= 2-1[ф£(г + 2)(р 4>г) У^-z2 Ог + 2рг + 4р + 4]
= 2-х(^2ф + 2z2 о4р + 4г Ог2 Ог + 2рг + 4р + 4)
= 2 ^(z2 + 3z + 4) = Ур—i + 1, Vz = 0,.. .р •<=>!. [>
Теорема 4. Если в папповой плоскости выполняются все инциденции теоремы Кр, то точки пересечения соответствующих диагоналей ее р-вершинников 1. .. Р и 1'... Р' будут лежать на оси перспективы р-вершинников.
-
< 1 В силу доказательств теорем 2 и 3, имеем:
"Рок = (2p^2fc,2"1(fc + 2)(fc + l)),
(Р^ку = Др^кД-Цк2 + 3fc + 4),
Ц = [F ^к, Р <^У = [т/ = xm + У,
Р ^к E3G Ц О 2 ^ Д + 2ук + 1) — 2(р <^fc) • т + t Р "^г E3G У О 2 ^z + 2)(z + 1) = 2(р <^z) • т + t
=4-
2 r((k + 2)(к + 1) о(г + 2)(z + 1)) = 2(р ок Ор + г^т, m = 02 2 (А; + г + 3),
Z' = WP ^ку, (Р Ог)' = [у = хп + s],
(Р ок)' эе
(Р Ог)' эе
1^ О 2 ^fc2 + Зк + 4) = 2(р ок) • п + г
О
Z- О 2-1(г2 + Зг + 4) = 2(р Ог) • п + г
2 2(fc2 Ог2 + 3(к О1)) = 2(г Ок)п О п = 02 2 (к + i + 3) = m.
Таким образом, прямые Z^ и Z' пересекаются в точке (ф£ 2(&+г + 3)) прямой Zoo-оси перспективы р-вершинников 1. .. Р и V . .. Р'. >
Примечание 1. Теорема 2 доказана пока лишь для папповой плоскости характеристики р. Аналогичным образом ее можно доказать и в дезарговой и муфанговой плоскостях характеристики р.
Примечание 2. Как известно из [4], геометрическое представление (Тп) равенства 1 + -- - + 1 = п = 0, где тг — любое натуральное число, не содержит пар перспективных р-вершинников. Теорема же Кр состоит из двух р-вершинников 1. .. Р и V ... Р', имеющих ось I и центр S перспективы, причем S ЭЕ I.
О дезарговом содержании теоремы Кр гласит следующая
Теорема 5. В плоскости Gp, р У 2. справедлива импликация Тю О КР.

-
< 1 Рассмотрим рис. 1 и 2. Расширим Кр диагоналями ее р-вершинников 1. .. Р и Р .. . Р' и рассмотрим пары перспективных трехвершинников: {1 23; Г^ Т}, {13 4; РТР},. .., {ТР^2Р^1; F(Р ^2)'(F ^1)'}, {IP^IP; Р (Р О1)' Р'У в каждой из которых в силу теорем 2 и 4 выполняются условия теоремы £ю, (рис. 2). Применив к каждой из них в указанном порядке теорему Lxo, мы убедимся в выполнении всех инцинденций теоремы Кр (выкладки опускаем). >
Ввиду проективного выполнения £ю в муфанговой плоскости справедливо
Предложение 5 (1). В муфанговой плоскости характеристики р ^ 2 теорема Кр выполняется проективно.
Так как в плоскости Gp, р ^ 2, теорема Dy проективно эквивалентна Рю (см. [8]), и кроме того, Вю О Рю, и Вю =4- Кр (см. теорему 5), то справедливо
Предложение 5 (2). В плоскости Gp, р ^ 2, из L9 следует Кр.
Примечание 3. Характерной особенностью Кр является то, что при некоторых р ее можно образовать из р 441 точек. Например, Ку можно образовать из четырех точек: Ьф^В^ и В4, следуя таблице инциденций вида (рис. 3)
S = [5, б7] П [В4, В5], Т = №, 5] П [б7, В7], 4 = [5, В4] П [В^, б7], Г = [Т, S] П [б7, В^],
В2 = \Ву В5] П [Т, 4], 3 = [б7, В^ п [5, Г], З7 = [3, S] П [Т, 4], 2 = [5, З7] П [3, В^],
Т = [2, 5] П [Т, 4], В2 = [2, 5] П [3, 4], В, = [Т, 2] П [Г, П 4 = [4, S] П [5, З7], и замыкающим инцинденциям (S, В4, В2, В^. При этом остается справедливым соотношение «К^ 4> 5 = О». В самом деле, следуя указанной таблице инцинденций и замыкающей инцинденции Р5, при 5 = (0), 5' = (0,1), В5 = (0, -Ф^2), В4 = (<^1, 0), получаем:
Т = (^3, ^2), 4 = (0, 0), В2 = (^3 • 4"1, ^З"1), 3 = (3, 4), V = (0, 4),
З7 = (З"1 -2), 2 = (оо), ^ = (^3 • 2"1, 44), В3 = (442), Вх = (4^3, 4^6),
Щ = (442 ■ З"1), (Т,б,В4) 44 5 = 0.

Рис. 3. ( K5 )
Для дезарговой геометризации характеристики 3 тела сначала напомним, что конфигурационная система Ds(S,/), где S ЭЕ I, есть конфигурационная теорема L7 [5] (рис. 4).

Теорема 6 (рис. 4). Имеет место следующее соотношение
L7 уу 1 + 1 + 1 — 0.
-
<1 Если теорему L7 задать образующими точками 6,1, 4, 2, таблицей инцин-денций:J = [4, 6] п/Д], Г = [1, 4] П [2, 6], ^ = [2, 4] П [4, 7], ЗМбД7] П [1, 2], 3 = [3', 4] П [V, 2], 5 = [1, 3] П [4, 6] и замыкающей инцинденцией (3, 5, 2'), то при следующих образующих точках: {6 = (0), 4 = (00), 1 = (0,0), 2 = (1,1)}, другие точки L7 будут иметь координаты: 7 = (1), 1' = (0,1), 2' = (1,1 + 1), 3' = (1 + 1,1 + 1),3 = (1 + 1,1), 5 = Zoo П [у = жп] = (п). Далее, имеем: (1,3, 5) УУ 1 = (l + l)n, С27,Т, 3, 5) УУ 1 + 1 = Ln =+ 1 + 1 + 1 + 1 = 1 =+ 1 + 1 + 1 = 0.
Обратным ходом рассуждений доказывается, что «1 + 1 + 1 = 0 +> L7». > Выясним теперь геометрические взаимосвязи теорем £7, 83 (рис. 5) и 1З4 (рис. 6). (Проективная эквивалентность 83 и 1З4 доказана Рашевским в работе И)-

Рис. 5 ( 83 )
Теорема 7 [5]. В плоскости G3 характеристики 3 теорема L7 проективно эквивалентна теореме 83.
-
<1 (1) 1З4 =У L7 (рис. 4 и 6). Рассмотрим два трехвершинника АС'С и FBD' с инцинденциями: F ЭЕ [С, СД В ЭЕ [Л, С], (D', А, С1), М = [Л, F] П [В, С'\ П [С, D'Y В' = [Л, С'\ n\F1B\1D= [Л, С] П [F, D'^Q = [С, С'\ П [В, D'\ и докажем (М, D. Q. B'Y исходя из проективного выполнения 1З4 в плоскости. С этой целью выберем в L7 следующие 4 точки общего положения: В, С, В', С и построим 1З4 по вышеуказанной таблице инциденций. Тогда, в силу выполнения 1З4 в плоскости, в ней имеет место инцинденция ^M^BYD^QY Таким образом из 1З4 следует L7 в плоскости G3.

Рис. 6 ( 134 )
-
(2) L7 => 1З4. Докажем, что из L7 следуют все инцинденции теоремы 1З4. С этой целью рассмотрим в 1З4 шесть пар трехвершинников:
(I) ^ВВ^С'СА^ (II) [CC'P; D'DA}, (III) {MCG"; FD'B},
-
(IV) }NCC'-,FB'D}, (V) }CC'M-,PRF}, (VI) }CC'N- RPF}.
Учитывая, что в L7: (Q, С, СД (В, С, Л), В' ЭЕ [Л, СД В = [В', С] П [В, С'] П [Л, Q], прямая [F, ВД где F = [В, В'] П [С, СД D' = [В, Q] П [Л, СД инцинденция В, заключаем, что для трехвершинников (I) выполняются условия L7 и, следовательно, выполняется ее замыкающая инцинденция (Р, F, D, D'Y где D = [В', Q] П [Л, С]. Таким образом, (I) =У (Р, F, D, D'Y Аналогичными рассуждениями при учете (Р, F, D, D') устанавливаем, что (11)=/- (Р, A, R) и (F, R, В, B'Y Далее, сравнивая (В, Л, Q) и (В, Л, В) заключаем (В, Л, В, QY Если учесть, что в (III): (F,C,C'Y (О', М,С), (В, М,6') и точки В = [М, С'\ П VF.D'YR = ум^с^ n\F,BYQ = [С, С'] П [В, В'] лежат, в силу (III), на одной прямой (оси перспективы) и точка А = \С', D'] П [В, С] лежит на оси, то заключаем, что (A,F, MY Далее имеем, что (IV)=> (Л, F1N). Сравнивая две последние инцинденции, мы приходим к (Л, F, М, NY Опираясь на рассуждения, аналогичные предыдущим, заключаем: (V) {В, D1, Q, N). Так как в (VI): (С, С', F), (В, C.7V), (В, С', TV), (Q, В', В), Q = [С, С'] П [В, В], В' =
[С, 7V] П [Д, F], Р = \С\ N] П [Р, F], М = [Я, С] П [С7, F] П [TV, Д] в силу предыдущих инцинденций, то (D, Q, М, В'). Итак, из L7 следуют все инцинденции теоремы 1З4.
-
(3) 83 =У L7. Пусть трехвершинники 123 и 1'2'3' имеют центр 4, точками пересечения сходственных сторон будут точки 5, 7, 6 и вершины одного (рис. 4) из них лежат на сторонах другого. Докажем тогда, что (4, 5,6,7). С этой целью рассмотрим в L7 пару коллинеарных точек 2' 3 5 и 7 2 3' с центром перспективы в точке 1'. В силу 83 (рис. 5), тройки (рис. 4) 2'3 5 и 2 3'7 из L7 также перспективны и с центром в 4. Следовательно, 83 =У (4, 5, 7). Аналогично этому, из перспективности троек 41'1 и З7 6 2' с центром в точке 3, в силу 83, следует перспективность 4 I71 и 6 27 З7 с центром в точке 7 = [I7, 27] П [1, З7]. Итак, 83 => (4,6,7).
-
(4) L7 => 83. В L7 выделим пару коллинеарных и перспективных троек точек 27 3 5 и 7 2 З7 (см. рис. 4) с центром 1 = [27, 7] П [2, 3] П [5, З7]. Так как в L7 точки 4, 5, 7 коллинеарны, то тройки 2'. 3, 5 и 2, З7, 7 перспективны с центром в точке 4 = [2, Т\ П [3, З7] П [5, 7]. ▻
В заключение этой работы рассмотрим конфигурационную теорему D^.
Теорема D^ 8. (рис. 7). Пусть для точек (3, 6,17), 27, 4 бесконечной плоскости Фано выполняются следующие инцинденции:
[Й, 3] П [4, Й] = 2, З7 = [6, Й] П [3, 4], 5 = [Й, 3] П [Г, З7],
1 = [V, 4] П [2', 5], 7 = [I7, 2'] П [1, 2], тогда будут выполнятся и инцинденции (5, 6, 7) и (3, З7, 7).

Теорема D^ состоит из 10 точек, 10 прямых и имеет ранг 8 (D^ ^ Dg\ Выясним теперь связи между D^ и 7з (рис. 8).
Теорема 9. В плоскости Фано G^ из 7з следует D^ проективно.
-
<1 Пусть выполняются все инцинденции Dg (рис. 7), кроме (5,6,7) и (3, 3', 7). Тогда, применив 7з к четырехвершинникам П 3 2' 4 и 3 2' 3' 1', заключаем:
(1 = [V, 4] П [3, 2'], 2 = [V, 3] П [2', 4], 7* = [V, 2'] П [3, 4]) ^ (1, 2, 7 ),
(5 = [3, ^ П [V, З7], 6 = [3, Г] П [^ З7], 7' = [3, З7] П [V, г7]) ^ (5, 6, Т7),
(7 = Г = [Г, ^ П [3, З7, 4] n [Т, 2] = Т7 ^ (3, 4, 7) и (5, 6, 7)).
Аналогичными рассуждениями и выкладками доказывается, что при любом другом наборе образующих точек теоремы Dg из 7з следуют все инцинденции Dg. >
5/_ \ \
J/X6
-
1 7 3
Рис. 8 ( 73 )
Поскольку Dg содержит все инцинденции Dg и инцинденцию (7,3,4), то она есть частный случай Dg в плоскости Фано, и имеет дезаргово содержание.
(Существуют и другие дезарговы геометризации характеристики 2 (см. в [6].))
Список литературы О дезарговой геометризации характеристики тела
- Fano G. Sui postulati fundamentali della geometria proectiva//Giorn. Math.-1942.-V. 30.-P. 106-112.
- Рашевский П. К. Проективная геометрия с новыми конфигурационными аксиомами//Мат. сб.-1940.-Т. 8 (50), № 2.-С. 183-203.
- Zappa G. Piano grafici a coracteructika//Ann. Math. Pura. Appe.-1960.-№ 49.-P. 157-160.
- Картеси Ф. Введение в конечные геометрии.-М.: Наука, 1980.
- Хубежты И. А. Теорема L_7//Геометрии инцидентностных структур и дифференциальных уравнений: Сб. науч. статей.-Смоленск, 1981.-С. 92-96.
- Хубежты И. А. О теореме 7_3//Деп. в ВИНИТИ, 2001.-№ 1101.-7 с.
- Хубежты И. А. О некоторых классах алгебр и инцидентностных структур.-Владикавказ: Изд-во СОГУ, 1994.-392 с.
- Moufang R. Die Schnittpunktsatze des proektiven speziellen Funfeckchetzes in ihrer Anhandigkeit voneinander//Math. Ann.-1935.-V. 106.-P. 755-795.