ЧЕБЫШЕВСКИИ СБОРНИК
Том 22. Выпуск 1.
УДК 512.545+512.552
DOI 10.22405/2226-8383-2021-22-1-213-224
Проективная геометрия над частично упорядоченными телами, II 1
А. В. Михалев, Е. Е. Ширшова
Александр Васильевич Михалев — доктор физико-математических наук, Московский государственный университет им. М.В. Ломоносова (г. Москва). e-mail: [email protected]
Елена Евгеньевна Ширшова — профессор кафедры алгебры, Московский педагогический государственный университет (г. Москва). e-mail: [email protected]
В статье "Проективная геометрия над частично упорядоченными телами, II"продолжается исследование свойств частично упорядоченных линейных пространств над частично упорядоченными телами, начатое в части I «Проективная геометрия над частично упорядоченными телами». Рассматриваются производные решетки, ассоциированных с частично упорядоченными линейными пространствами над частично упорядоченными телами. Более точно, исследуются свойства выпуклой проективной геометрии С частично упорядоченного линейного пространства рV над частично упорядоченным телом Р. Под выпуклостью линейного подпространства в линейном пространстве р V понимается абелева выпуклость ( аб-выпуклость), опирающаяся па определение выпуклой подгруппы частично упорядоченной группы. Доказываются вторая и третья теоремы о порядковых изоморфизмах интерполяционных линейных пространств над частично упорядоченными телами. Получены некоторые результаты, касающиеся свойств главных линейных подпространств в интерполяционных линейных пространствах над направленными телами. Главным линейным подпространством 1а частично упорядоченного линейного пространства р V над частично упорядоченным телом Р является наименьшее аб-выпуклое направленное линейное подпространство линейного пространства р V, содержащее данный положительный элемент а € V. Для главных линейных подпространств в интерполяционных линейных пространствах над направленными телами доказан аналог третьей теоремы о порядковых изоморфизмах пространств.
Ключевые слова: частично упорядоченное кольцо, частично упорядоченное тело, частично упорядоченное линейное пространство, направленная группа, выпуклая подгруппа.
Библиография: 16 названий. Для цитирования:
А. В. Михалев, Е. Е. Ширшова Проективная геометрия над частично упорядоченными телами, II // Чебышевский сборник, 2021, т. 22, вып. 1, с. 213-224.
Аннотация
1 Работа выполнена при поддержке гранта Московского центра фундаментальной и прикладной математики МГУ "Структурная теория и комбинаторно-логические методы в теории алгебраических систем).
CHEBYSHEVSKII SBORNIK Vol. 22. No. 1.
UDC 512.545+512.552 DOI 10.22405/2226-8383-2021-22-1-213-224
The projective geometry over partially ordered skew fields, II
A. V. Mikhalev, E. E. Shirshova
Alexander Vasilyevich Mikhalev — doctor of physical and mathematical sciences, Lomonosov Moscow State University (Moscow). e-mail: [email protected]
Elena Evgenievna Shirshova — professor of the department of algebra, Moscow Pedagogical State University (Moscow). e-mail: [email protected]
Abstract
In this paper «The projective geometry over partially ordered skew fields, II» the investigation of properties for partially ordered linear spaces over partially ordered skew fields is prolonged. This investigation was started in part I «The projective geometry over partially-ordered skew fields». Derivative lattices associated partially ordered linear spaces over partially-ordered skew fields are examined. More exactly, properties of the convex projective geometry- С of a partially ordered linear space p V over a partially ordered skew field F are considered. The convexity of linear subspaces has meaning the Abelian convexity (ab-convexity), which is based on the definition of a convex subgroup for a partially- ordered group. Second and third theorems of linear spaces order isomorphisms for interpolation linear spaces over partially- ordered skew fields are proved. Some theorems are proved for principal linear subspaces of interpolation linear spaces over directed skew fields. The principal linear subspace Ia of a partially ordered linear space p V over a partially ordered skew field F is the smallest ab-convex directed linear subspace of linear space p V which contains the positive element a e V. The analog for the third theorem of linear spaces order isomorphisms for principal linear subspaces is demonstrated in interpolation linear spaces over directed skew fields.
Keywords: a partially- ordered ring, a partially- ordered skew field, a partially- ordered linear space, a directed group, a convex subgroup.
Bibliography: 16 titles. For citation:
A. V. Mikhalev, E. E. Shirshova, 2021, "The projective geometry over partially ordered skew fields II" , Chebyshevskii sbornik, vol. 22, no. 1, pp. 213-224.
1. Введение
Пусть F =< F, +, ■ > - тело.
Напомним, что F называется частично упорядоченным телом, если < F, +, - частично упорядоченная группа, удовлетворяющая условию:
если а ^ b и с > 0 в < F, +, то ас ^ be и са ^ cb.
Частично упорядоченная группа называется направленной, если любые два элемента имеют в этой группе верхнюю грань.
Если группа < F, +, является направленной (линейно или решеточно упорядоченной), то F называется направленным (линейно или решеточно упорядоченным) телом.
Будем далее считать, что Р - частично упорядоченное тело нулевой характеристики с положительной единицей. (Иначе порядок окажется тривиальным.)
Хотя данная работа является продолжением статьи авторов [5], для удобства читателя, мы приводим основные определения статьи [5] и краткие исторические комментарии.
Определение 1. Левое линейное пространство рV =< V, +, {а| а € Р}, ^> над частично упорядоченным телом Р называется частично упорядоченным (ч.у.) линейным, пространством,, если < V, +, - частично упорядоченная группа, удовлетворяющая условию:
из 0 ^ V следует 0 ^ ау для всех V € ^V и а > 0 из Р.
Частично упорядоченное линейное пространство р V над частично упорядоченным телом Р называют, направленным (линейно или решет,очно упорядоченным) пространством, если группа < V, +, является направленной (линейно или решет,очно упорядоченной) группой.
В монографии Биркгофа «Теория решеток» [1] определяются частично упорядоченные линейные пространства над полем действительных чисел М (глава XV, § 1).
В работах Л. В. Канторовича [12] и Риса [15] было начато изучение вещественных линейных пространств м^, для которых группа < V, +, является решеточно упорядоченной группой. Такие линейные пространства принято называть векторным,и, решеткам,и.
Векторные решетки играют важную роль в функциональном анализе. В связи с этим, активно исследовались свойства действительных функциональных линейных пространств (см.
[3]).
В статье авторов [5] рассматривались свойства частично упорядоченных линейных пространств над различными частично упорядоченными телами. Полученные результаты относятся к направлению, которое А. Г. Курош предлагал называть проективной алгеброй. В целом, это направление восходит к Гильберту. Его развивали Бэр [2] и Капланский [13].
В данной статье продолжается исследование свойств частично упорядоченных линейных пространств над различными частично упорядоченными телами.
Цель работы - рассмотрение производных решеток, ассоциированных с частично упорядоченными линейными пространствами над частично упорядоченными телами.
В статье используются терминология и обозначения, общепринятые в теории частично упорядоченных алгебраических систем (см. [1, 4, 6, 14, 16]).
При исследовании свойств частично упорядоченных алгебраических систем важную роль играет понятие «выпуклость». Мы рассматриваем абелеву выпуклость, которая опирается на следующее определение выпуклой подгруппы частично упорядоченной группы.
Подгруппа М частично упорядоченной группы С называется выпуклой, если для всех а,Ь € М и д € С из неравенств а ^ д ^ Ь следует д € М.
Определение 2. Линейное подпространство М частично упорядоченного линейного пространства рV над частично упорядоченным телом Р называется аЬ-выпуклым, если группа < М, +, является выпуклой, подгруппой, частично упорядоченной абелевой группы < V, +, О.
Предметом нашего исследования является множество С = С(рV) всех аб-выпуклых направленных линейных подпространств частично упорядоченного линейного пространства рV над частично упорядоченным телом Р, т.е. выпуклая проективная геометрия С.
Пусть рV =< V, +, {а| а € Р}, ^> - частично упорядоченное линейное пространство над частично упорядоченным телом Р.
Будем обозначать символом рмножество {V € V| 0 ^ V} всех положительных элементов ч.у. линейного пространства рV.
Пусть рV =< V, +, {а| а € Р}, и ри =< и, +, {а| а € Р}, > _ частично упорядоченные линейные пространства над частично упорядоченным телом Р.
Определение 3. Отображение f : рV ^ ^и называется о-гомоморфизмом (порядковым гомоморфизмом) ч.у. линейных прост,ранет,в, если выполняются условия:
1) /(а + Ь) = /(а) + /(Ь) для всех а,Ь е V;
2) f (аа) = а ■ f (а) для вс ех а е V и а е Р;
3) / (Р V+) С р и +.
При этом, ¡'называется строгим о-гомоморфизмом ч.у. линейных прост,ранет,в, если выполняется условие
4) / (^ У+) = р и + П 1т/.
Если для о-гомоморфизма / существует о-гомоморфизм /~1, то / называется о-изом орфизм ом ч.у. линейных прост,ранет,в.
В статье [5] приводится доказательство первой теоремы об о-изоморфизмах произвольных частично упорядоченных линейных пространств над произвольным частично упорядоченным телом (см. теорему 3). Для доказательства некоторых следствий из этой теоремы (второй и третьей теорем об о-изоморфизмах ч.у. линейных поостранств) нам пришлось рассмотреть более узкий класс частично упорядоченных линейных пространств над частично упорядоченными телами.
Напомним, что частично упорядоченная группа С называется интерполяционной группой, если для любых элементов 01,02,^1,^2 е С из неравенств а\,а2 ^ Ь\, 62 следует существование элемента с е С, для которого терны неравенства 0,1,0,2 ^ с ^ 61,62- Класс интерполяционных групп включает классы решеточно упорядоченных групп, линейно упорядоченных групп и групп Рисса.
Известно, что не все теоремы об изоморфизмах групп непосредственно переносятся на произвольные частично упорядоченные группы (в книге [6] на стр. 36 можно найти соответствующий пример). В статьях [7] и [8] содержатся доказательства теорем об о-изоморфизмах в классе интерполяционных групп.
Определение 4. Частично упорядоченное линейное пространство
рV =< V, +, {а| а е Р},
над частично упорядоченным телом Р будем называть интерполяционным линейным, пространством,, если группа < V, +, ^> является интерполяционной группой.
Во втором разделе данной статьи содержится доказательство второй теоремы о порядковых изоморфизмах интерполяционных линейных пространств над произвольным частично упорядоченным телом.
Теорема 1. Пусть рV - интерполяционное линейное пространство над частично упорядоченным телом Р, М и N - аЪ-выпуклые направленные линейные подпространства в ч.у. линейном пространстве рV, М С N. Тогда, существует о-изоморфизм интерполяционного линейного пространства р(У/^ на интерполяционное линейное пространство р (У/М )/р (И/М).
Третий раздел данной статьи содержит доказательство третьей теоремы о порядковых изоморфизмах интерполяционных линейных пространств над произвольным частично упорядоченным телом.
Теорема 2. Пусть рV - интерполяционное линейное пространство над частично упорядоченным телом Р, М и N - аЬ-выпуклые направленные линейные подпространства в рV. Тогда:
1) существует строгий о-гомоморфизм интерполяционного линейного пространства рМ на интерполяционное линейное пространство р (М + N/N) с ядром, М П N;
2) существует строгий о-гомоморфизм интерполяционного линейного пространства рN на интерполяционное линейное пространство р (М + N/M) с ядром М П N;
3) интерполяционное линейное пространство р(М/М П N) о-изоморфно интерполяционному линейному пространству р(М + N/N);
4) интерполяционное линейное пространство р(N/M П N) о-изоморфно интерполяционному линейному пространству р(М + N/M).
Определение 5. Наименьшее аЬ-выпуклое направленное линейное подпространство Iv частично упорядоченного линейного пространства рV над частично упорядоченным телом F, содержащее элемент, v G рV ( если оно существует), назовем главным линейным, подпространством для элемента v.
В статье [5] показано, что в частично упорядоченных линейных пространствах над направленными телами главные линейные подпространства существуют для всех положительных элементов этих пространств (см. теорему 4).
Свойства главных подпространств интерполяционных пространств над направленными телами рассматриваются в четвертом разделе данной статьи. В частности, там содержится доказательство следующей теоремы.
Теорема 3. Пусть рV - интерполяционное линейное пространство над направленным телом F. Если а > Ou Ь > 0 в р V, то:
1 ) существует строгий о-гомомо^изм интерполяционного линейного пространства р 1а на интерполяционное линейное пространство р (1а+ь/1ь) с ядром, 1а П 1ь;
2) существует строгий о-гомоморфизм интерполяционного линейного пространства р 1ь на интерполяционное линейное пространство р (1а+ъ/1а) с ядром 1а П Д;
3) интерполяционное линейное пространство р(1а/1а П h) о-изоморфно интерполяционному линейному пространству р(1а+ь/1ь)/
4) интерполяционное линейное пространство р (1ь/1а П h) о-изоморфно интерполяционному линейному пространству р(1а+ь/1а)•
2. Вторая теорема об о-изоморфизмах интерполяционных линейных пространств над частично упорядоченными телами
Лемма 1. Всякая выпуклая подгруппа интерполяционной группы сам,a, является интерполяционной группой.
Доказательство. См. статью [9] (лемма 1) или статью [10] (лемма 2). □
Лемма 2. Если рV - интерполяционное линейное пространство над частично упорядоченным телом F, M - аЬ-выпуклое линейное подпространство в рV, то M - интерполяционное линейное пространство над F.
□
Лемма 3. Пусть G - интерполяционная группа, M - выпуклая направленная нормальная
подгруппа в G. Тогда факторгруппа G/M является интерполяционной группой.
□
Лемма 4. Пусть fV =< V, +, {а| a g F}, ^> - частично упорядоченное линейное пространство над частично упорядоченным телом F. Если M - аЪ-выпуклое линейное подпространство в fV, то факторпространство V/M является частично упорядоченным линейным пространством над F.
Доказательство. См. статью [51 (теорема 1). □
Лемма 5. Пусть fV - интерполяционное линейное пространство над частично упорядоченным телом F, M - ab-выпуклое направленное линейное подпространство в fV. Тогда, факторпространство V/M является интерполяционным линейным, пространством над F.
Доказательство. По лемме 4, пространство V/M является частично упорядоченным линейным пространством над F.
Из леммы 3 следует, что группа < V/M, + > является интерполяционной группой.
□
Лемма 6. Пусть G - интерполяционная группа, M - выпуклая направленная нормальная подгруппа в G, ж : G ^ G/M - естественный о-гомоморфизм групп. Если H - выпуклая направленная подгруппа группы G, то п(Н) = {hM| h g H} - выпуклая направленная подгруппа факторгруппы G/M.
□
Лемма 7. Пусть fV - интерполяционное линейное пространство над частично упорядоченным телом F, M - ab-выпуклое направленное линейное подпроcm,ранет,во в fV, ■к : f V ^ F (V/M) - естественный о-гомоморфизм ч.у. линейных пространств (по правилу n(v) = V + M). Если А - ab-выпуклое направленное линейное подпространство в fV, иго к(А) = {v + M| v g A} - ab-выпуклое направленное линейное подпространство в f (V/M).
Доказательство. По лемме 5, пространство V/M является интерполяционным линейным пространством над F.
Из леммы 6 следует, что < к (А), + > - выпуклая направленная подгруппа интерполяционной группы < V/M, + >.
□
Лемма 8. Пусть fV - частично упорядоченное линейное пространство над частично упорядоченным телом F, M - ab-выпуклое линейное подпространство в fV. Тогда сюръ-ективный гомоморфизм ж : f V ^ f (V/M ) (по правилу n(v) = v + M) является строгим о
□
Замечание 1. Пусть f : fV ^ fU - строгий сюръективный о-гомоморфизм частично упорядоченных линейных пространств. Тогда f (f V+) = f U +.
Лемма 9. Пусть fV =< V, +, {а| a G F}, и fV =< V, +, {а| a G F}, ^2> - частично упорядоченные линейные пространства над частично упорядоченным телом F, f : f V ^ f U - строгий о-гомоморфизм ч.у. линейных пространств. Тогда, существует о-изоморфизм ч.у. линейных прост,ранет,в ip : f(V/ker f ) ^ f(Imf ) по правилу <p(v + ker f ) = f (v) для вс ex v g f V.
□
Доказательство теоремы 1. По лемме 4, существуют частично упорядоченные линейные пространства f (V/M ) и f (V/N ).
По лемме 5, эти пространства являются интерполяционными линейными пространствами.
Рассмотрим отображение f : р(V/M) ^ р(V/N) по правилу: для любого элемента v G рV положим f (v + М) = v + N.
Легко проверить, что f - биекция, удовлетворяющая условиям 1) и 2) определения 3.
Докажем, что / - строгий о-гомоморфизм ч.у. линейных пространств.
о
Ш : рV ^ f(V/M) и : FV ^ F(V/N).
В силу замечания 1, заключаем, что:
1) m(FV+) = F(V/M)+-,
2) П2(РV+) = F(V/N)+.
Если а + M G p(V/M)+, то, по условию 1), существует элемент v G fV+, для которого а + M = v + М.
Тогда, по условию 2), f (а + М) = v + N G f(V/N)+.
Значит, f (F(V/M)+) С p(V/N)+.
Следовательно, f - о-гомоморфизм ч.у. линейных пространств.
Если b + N G f(V/N)+, то, по уровню 2), существует элемент u G fVдля которого b + N = u + N.
В силу условия 1), u + М G F(V/M)+, T.e. b + N G f (f(V/M)+).
Таким образом, F(V/N)+ С f (F(V/M)+).
Следовательно, f (f(V/M)+) = f(V/N)+, и / - строгий о-гомоморфизм ч.у. линейных пространств.
Из леммы 7 следует, что в ч.у. линейном пространстве f(V/M) существует аб-выпуклое направленное линейное подпространство n(N) = {v + М| v G N} = N/M.
Если v + М G N/M, то f(v + М) = N G ker f.
Если v + М G ker ^^о f (v + М) = v + N = Ж, т.е. v G N.
Значит, ker f = N/M.
Остается применить лемму 9 с учетом леммы 5. □
3. Третья теорема об изоморфизмах интерполяционных линейных пространств над частично упорядоченными телами
Замечание 2. Отметим, что М. Якубикова [11] привела пример частично упорядоченной группы, в которой пересечение выпуклых направленных подгрупп не является направленным.
Лемма 10. Пусть fV - интерполяционное линейное пространство над частично упорядоченным телом F. Если М и N - ab-выпуклые направленные линейные подпространства в f V, то подпространства М + N и М П N являются ab-выпуклыми направленными линейными подпространствами в ч.у. линейном пространстве fV.
□
Лемма 11. Пусть рV - интерполяционное линейное пространство над частично упорядоченным телом F. Если М и N - ab-выпуклые направленные линейные подпространства в f V, то:
1) М + N - интерполяционное линейное пространство над F;
2) М П N является ab-выпуклым направленным линейным, подпространством в рV.
Доказательство. Утверждение 1) является следствием леммы 10 и леммы 2.
□
Замечание 3. Пусть G - частично упорядоченная группа, А и В - выпуклые направленные подгруппы, группы G, и В С А Тогда В - выпуклая направленная подгруппа группы А.
Лемма 12. Пусть рV - интерполяционное линейное пространство над частично упорядоченным телом Р. Если М и N - аЪ-выпуклые направленные линейные подпространства в р V, то:
1) М, И, М П N - аЪ-выпуклые направленные линейные подпространства в ч.у. линейном пространстве ^(М + N);
2) М и N - интерполяционные линейные пространства над Р;
3) М П N - аЪ-выпуклое направленное линейное подпространство в ч.у. линейных пространствах р Ми р N.
Доказательство. Утверждения 1) и 3) являются следствиями определения 2, леммы 11 и замечания 3.
Утверждение 2) справедливо в силу леммы 2. □
Лемма 13. Для частично упорядоченной группы С =< О, +, следующие условия равносильны:
1) С интерполяционная группа;
2) если 0 ^ х ^ а + Ь, для 0 ^ а и 0 ^ Ь в группе С, то х = у + г, где 0 ^ у ^ а и 0 ^ г ^ Ь.
□
Лемма 14. Если С =< О, + > - частично упорядоченная группа, то следующие условия равносильны:
1) О является направленной группой;
2) для, нуля, группы С и каждого элемента, а е С существует верхняя грань;
3) каждый элемент д е О представим в виде д = а — Ь, где а и Ь - положительные элементы группы С.
□
Лемма 15. Пусть рV - интерполяционное линейное пространство над частично упорядоченным телом Р, М и N - аЬ-выпуклые направленные линейные подпространства в рV. Если 0 ^ V е М + N, то существуют элементы т е М + и п е N + для которых V = т + п.
Доказательство. Так как V е М + = х + у для некоторых элементов х е М и
У е N.
Так как группы < М, +, и < N, +, ^> являются направленными, то, по условию 2) леммы 14, существуют элементы а е М + и Ь е N + , для которых верны неравенства х ^ а и У < Ь.
Из последних неравенств следует, что V ^ а + Ь.
Так как группа < V, +, ^> является интерполяционной, то, по лемме 13, найдутся элементы т,п е V, для которых V = т + п, гд е 0 ^ т ^ а и 0 ^ п ^ Ь.
Так как < М, +, и < N, +, по определению 2, являются выпуклыми подгруппами группы < V, +, тот е М и п е N. □
Доказательство теоремы 2. По лемме 11, существует интерполяционное линейное пространство р (М + N).
По лемме 12, множества М и N являются аб-выпуклыми направленными линейными подпространствами в интерполяционном линейном пространстве р(М + N).
Докажем утверждение 1).
Из леммы 8 следует существование строгого сюръективного о-гомоморфизма ■к : р(М + N) ^ р(М + N)/рN по правилу;
■к(ь) = V + N для каждого V е М + N.
Рассмотрим отображение / : рМ ^ р(М + N)/рN по правилу:
f (т) = ж(т) = т + N для каждого т € М.
Если V + N € р(М + N)/рЖ, то V = т + п для некоторых элементов т € М и п € N. Значит, V + N = т + Ж, т.е. $(т) = V + N.
Таким образом, / - сюръективный гомоморфизм ч.у. линейных пространств. В силу замечания 1, р(М + N)+) = (р(М + N)/рN)+. Так как f (РМ) = ж(РМ),то /(рМ+) С (р(М + N)/рN)+. Следовательно, / - о-гомоморфизм ч.у. линейных пространств.
Если а + N € (р(М + N)/рNа + N = V + N для некоторого элемента V € ^(М + N)+. В силу леммы 15, V = т + п ^^я некоторых элементов т € ^М + и п € ^N+. Значит, а + N = т + Ж, т.е. а + N = /(т).
Таким образом, а + N € /(рМ+), откуда, (р(М + N)/рN)+ С /(рМ+). Итак, /(рМ+) = (р(М + N)/рN)+, и / - строгий о-гомоморфизм ч.у. линейных пространств.
Кроме того,
кег / = {т € М| т + N = N} = {у € V| V € М П N} = М П N. Утверждение 2) доказывается аналогично.
Утверждение 3) является следствием утверждения 1) и леммы 9. Утверждение 4) является следствием утверждения 2) и леммы 9. □
4. Главные подпространства интерполяционных пространств над направленными телами
Лемма 16. Пусть рV - частично упорядоченное линейное пространство над частично упорядоченным телом Р, А - направленное линейное подпространство в рV, В - линейное подпространство линейном подпространстве рV, и А+ С В. Тогда А С В.
Доказательство. Введем следующие обозначения для абелевых групп
V =< V, +, о, А =<А, +, о, В =<В, + >.
Из условия леммы следует, что А - направленная подгруппа частично упорядоченной группы V, В - подгруппа группы V, и каждый положительный элемент группы А принадлежит группе В.
Если а € А, то, по условию 3) леммы 14, а = х—у для некоторых положительных элементов х и у из подгруппы А.
Так как х,у € В, то а € В, т.е. А С В. □
Лемма 17. Пусть рV =< V, +, {а| а € Р}, - частично упорядоченное линейное пространство над направленным телом Р, и 0 < и € V. Тогда в рV существует аЪ-выпуклое направленное линейное подпространство 1и, в котором каждый положительный элемент,
V € 1и удовлетворяет неравенет,вам, 0 ^ V ^ аи для некоторых элементов а> 0 из Р.
□
Лемма 18. Пусть рV - частично упорядоченное линейное пространство над направленным телом Р. Если М - аЬ-выпуклое линейное подпространство в рV, а > 0 и а € М, то 1а С М.
Доказательство. Так как а е М,и М - линейное подпространство линейного пространства рV, то аа е М для любого а е Р. Пусть 0 ^ х е 1а.
Тогда, по лемме 17, х ^ аа для некоторого элемента а > 0 из Р.
Так как, по определению 2, подгруппа < М, +, ^> является выпуклой подгруппой частично упорядоченной группы <У, +, то ж е М. Значит, (1а)+ С М.
Так как 1а - направленное подпространство, то, по лемме 16, 1а С М. □
Лемма 19. Пусть рV - частично упорядоченное линейное пространство над направленным телом Р. Если а > 0 в рV, то а е 1а.
ДОКАЗАТЕ льство. Так как а ^ а = 1 ■ а для 1 е Р, где 1 > 0, то, по лемме 17, а е 1а- □
Лемма 20. Пусть рV - интерполяционное линейное пространство над направленным телом Р, а > 0 и Ъ > 0 в пространстве рV. Тогда 1а+ъ = 1а + 1ъ-
Доказательство. Так как а + Ь > 0, то, по лемме 17, в рV существуют аб-выпуклые направленные линейные подпространства 1а,1ь, 1а+ъ-
Согласно лемме 10, в рV существует аб-выпуклое направленное линейное подпространство М = 1а + 1Ь.
Пусть т е М+. Тогда, по лемме 15, найдутся элементы х е 1+ и у е /+, для которых т = х + у.
Из леммы 17 следует, что х ^ аа для некоторого элемента а > 0 из Р, а у ^ [ЗЬ для некоторого элемента Р > 0 из Р.
Так как а,Ь ^ а + Ь, то, по определению 1, ж ^ а(а + Ь) и у ^ Р(а + Ь). Значит, по лемме 17, х,у е 1а+ь, т.е. т е 1а+ь-Следовательно, М + С 1а+ь-Отсюда, по лемме 16, М С 1а+ь-
С другой стороны, по лемме 19, а е 1а и Ь е 1ь, т.е. а + Ь е М. Применяя лемму 18, заключаем, что 1а+ь С М. □
Доказательство теоремы 3. Так как а + Ь > 0, то, по лемме 17, в ч.у. линейном пространстве рV существуют аб-выпуклые направленные линейные подпространства 1а, 1ь, 1а+ь-По лемме 11, существует интерполяционное линейное пространство р (1а + 1ь)-По лемме 12, в интерполяционном линейном пространстве р(1а + 1ь) существуют аЬ-выпуклые направленные линейные подпространства 1а, 1ь, 1а П 1ь-
Кроме того, в силу леммы 12, р 1а и р являются интерполяционными линейными пространствами.
Из условия 1) теоремы 2 следует существование строгого о-гомоморфизма интерполяционного линейного пространства р 1а на интерполяционное линейное пространство р((1а + 1ь)/1ь) с ядром 1а П 1ь-
В силу леммы 20, 1а + Д = 1а+ь-
Таким образом, утверждение 1) теоремы доказано.
Утверждение 2) доказывается аналогично.
Утверждение 3) является следствием утверждения 3) теоремы 2 и леммы 20.
□
5. Заключение
В данном цикле из двух статей, развивая подход Л.В. Канторовича, мы исследуем свойства частично упорядоченных линейных пространств над различными частично упорядоченными
телами. В работах рассматриваются производные решетки, ассоциированные с частично упорядоченными линейными пространствами над частично упорядоченными телами.
Используя понятие «выпуклость», мы рассматриваем абелеву выпуклость, которая опирается на определение выпуклой подгруппы частично упорядоченной группы.
Предметом нашего исследования является множество С = С(рV) всех аб-выпуклых направленных линейных подпространств частично упорядоченного линейного пространства рV над частично упорядоченным телом F, т.е. выпуклая проективная геометрия С.
Оказалось, что аб-выпуклые линейные подпространства играют в теории частично упорядоченных линейных пространств ту же роль, что выпуклые подгруппы в теории частично
о
ных пространств над частично упорядоченными телами.
Получено поэлементное описание наименьшего аб-выпуклого направленного линейного подпространства, содержащего данный положительный элемент, в линейном пространстве над направленным телом F. В интерполяционном линейном пространстве над направленным те-
о
Доказано, что в случае интерполяционного линейного пространства р V наД произвольным частично упорядоченным телом F, операция объединения в решетке С вполне дистрибутивна относительно операции пересечения.
Оказалось (см. [5]), что множество С всех аб-выпуклых направленных линейных подпространств псевдо решеточно упорядоченного линейного пространства рV над частично упорядоченным телом F образует полную дистрибутивнаю решетку с единицей и нулем, являющуюся брауэровой решеткой.
Рассматриваемая упорядоченная геометрическая алгебра составляет основу для перехода к рассмотрению геометрических задач в контексте упорядоченных модулей над упорядоченными кольцами.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Биркгоф Г. Теория решеток. М.: Наука, 1984.
2. Бэр Р. Линейная алгебра и проективная геометрия. М.: ИЛ, 1955.
3. Канторович Л. В., Акилов Г. П. Функциональный анализ. М.: Наука, 1977.
4. Копытов В.М. Решеточно упорядоченные группы. М.: Наука, 1984.
5. Михалев A.B., Ширшова Е.Е. Проективная геометрия над частично упорядоченными телами// Фундамент, и прикл. матем. 2020. Т. 23, № 2. С. 231-245.
6. Фукс Л. Частично упорядоченные алгебраические системы. М.: Мир, 1965.
7. Ширшова Е.Е. О свойствах гомоморфизмов групп Рисса// УМН. 1991. Т. 46, № 5 (281). С. 157-158.
8. Ширшова Е. Е. Об обобщении понятия ортогональности и группах Рисса// Мат. заметки. 2001. Т. 69, № 1. С. 122-132.
9. Ширшова Е. Е. О свойствах интерполяционных групп// Мат. заметки. 2013. Т. 93, № 2. С. 295-304.
10. Ширшова Е.Е. О выпуклых подгруппах групп с интерполяционным условием// Фундамент. и прикл. матем. 2011/2012. Т. 17, № 7. С. 187-199.
11. Jakubikovâ M. Konvexe gerichtete Untergruppen der Rieszschen Gruppen// Mat. Casopis Sloven. Akad. Vied. 1971. Vol. 21, № 1. P. 3-8.
12. Kantorovitch L.V. Lineare halbgeordnete Räume // Матем. сб. 1937. T. 2 (44), № 1. С. 121168.
13. Kaplanskv. I. Infinite Abelian groups. Ann Arbor. The University of Michigan Press. 1954 (2nd ed., 1969).
14. Ma F. Algebraic structure of lattice-ordered rings. World Scientific. New Jersv, 2014.
15. Riesz F. Sur la théorie générale des opérations linéaires// Ann.Math. 1940. Vol. 41. P. 174-206.
16. Steinberg A. S. Lattice ordered rings and modules. Springer. 2010.
REFERENCES
1. Birkhoff, G. Lattice theory, 3rd ed., Amer. Math. Soc., Providence, 1967.
2. Baer, R. Linear algebra and projective geometry, Academic Press, New York, 1952.
3. Fuchs, L. Partially ordered algebraic systems, Pergamon Press, Oxford; Addison-Wesley, Reading, 1963.
4. Jakubikovâ, M. 1971, "Konvexe gerichtete Untergruppen der Rieszschen Gruppen", Mat. Casopis Sloven. Akad. Vied., vol. 21, no. 1, pp. 3-8.
5. Kantorovitch, L.V. 1937, "Lineare halbgeordnete Räume", Ree. Math. (Mat. Sbornik), vol. 2 (44), no. 1, pp. 121-168.
6. Kantorovich, L.V., Akilov, G.P. Functional analysis, 2nd ed., Pergamon Press, Oxford, 1982.
7. I. Kaplanskv, Infinite Abelian groups, University of Michigan Press, Ann Arbor, 1954 (2nd ed., 1969).
8. Kopvtov, V.M. Lattice-ordered groups fin Russian], Nauka, Moscow, 1984.
9. Ma, F. Algebraic structure of lattice-ordered rings, World Scientific, New Jersv, 2014.
10. Mikhalev, A.V., Shirshova, E.E. 2020, "The projective geometry over partially ordered skew fields", Fundam. Prikl. Mat. fin Russian], vol. 23, no. 2, pp. 231-245.
11. Riesz, F. 1940, "Sur la théorie générale des opérations linéaires", Ann.Math., vol. 41, pp. 174-206.
12. Shirshova, E.E. 1991, "Properties of homomorphisms of Riesz groups", Russian Math. Surveys, vol. 46, no. 5, pp. 201.
13. Shirshova, E.E. 2001, "On a generalization of the notion of orthogonality and on the Riesz groups", Mathematical Notes, vol. 69, no. 1, pp. 107-115.
14. Shirshova, E. E. 2013, "On properties of interpolation groups", Mathematical Notes, vol. 93, no. 2, pp. 324-331.
15. Shirshova, E.E. 2014, "On convex subgroups of groups with the interpolation property", J. Math. Sei., vol. 197, no. 4, pp. 573-581.
16. Steinberg, A.S. Lattice ordered rings and modules, Springer, 2010.
Получено 21.12.2020 г.
Принято в печать 21.02.2021 г.