Семинар Математическое моделирование, 2024-2025

Заседания семинара Математическое моделирование, 2024-2025 учебный год.

Содержание

1 Семинар Математическое моделирование, 2024

DONE 1.1 <2024-09-18 Ср> Лисица Ю. Т. - О числах больших и малых (топологические поля чисел Конвея и их пополнения)

1.1.1 Докладчик

  • Лисица Юрий Трофимович
  • доктор физико-математических наук
  • Институт Наследия, ведущий научный сотрудник отдела культурологии
  • Православный Свято-Тихоновский гуманитарный университет, профессор кафедры миссиологии Богословского факультета
  • https://heritage-institute.ru/?employees=lisicza-yurij-trofimovich

1.1.2 Информация

  • https://events.rudn.ru/event/260/
  • О числах больших и малых (топологические поля чисел Конвея и их пополнения)
  • Ю. Т. Лисица

Джон Конвей построил [1] числа, названные его именем, используя одновременно две известные в арифметики конструкции – сечение Дедекинда (A,A’) в области рациональных чисел и ординальные числа Мириманова-фон Неймана:

Конвей строит свои числа по трансфинитной индукции ординальных чисел {0,1,2,3,…,α,…}, 0≤α<Ω, и расслаивает их по «дням рождения»: 0-день, 1-день, 2-день, …, α -день, … .

Определение числа Конвея следующее: если L, R любые два множества чисел Конвея, такие что ни один элемент из L не ≥ каждого элемента из R, то существует единственное число Конвея такого вида: {L | R} и все числа имеют такую форму. Если x={L | R}, то типичный элемент их L обозначается через xL, а типичный элемент из R обозначается через xR и тогда число Конвея кратко записывается так: x={xL | xR}.

Мы говорим, что x≥y тогда и только тогда, когда ни для одного элемента xR нет неравенства xR≤y и ни для одного элемента xL нет неравенства x≤yL. Равенство чисел Конвея x=y тогда и только тогда, когда x≥y и y≥x. Строгие неравенства x>y тогда и только тогда, когда (x≥y & x≠y).

Определение суммы чисел x+y:

x+y={xL+y, x+yL | xR+y, x+yR}.

Определение обратного числа –x:

–x={–xR | –xL}.

Определение произведения чисел xy:

xy={xLy+xyL–xLyL, xRy+xyR–xRyR | xLy+xyR–xLyR, xRy+xyL–xRyL }.

Для любого числа x не равного нулю Конвей дал корректное и нетривиальное определение обратного числа 1/x.

Таким образом все числа Конвея составляют вполне упорядоченное Поле No, но с областью определения не на множестве, а на Несобственном классе.

Конвей дает очень важное и единственное(!) определения возведение в любую степень числа ω, т. е. для любого x из No имеется единственное число y=ωx.

Главные результаты Конвея:

Теорема 1. Для любого многочлена Ax2n+1+Bx2n+…+Cx+D с коэффициентами A,B,…,C,D из No и натурального числа n=0,1,2,… имеется корень x0 в No.

Теорема 2. Для любого положительного числа Конвея x имеется корень n-й степени для любого натурального числа n≥2.

Следствие 1. Присоединяя к No мнимую единицу i, получим замкнутое алгебраическое Поле (Основная Теорема Алгебры для всех чисел Конвея).

Результаты в настоящей работе см. в [2]. Для всех порядковых чисел ξ=ωω^μ, 0≤μ<Ω, Строится подмножество Oξ – всех числе Конвея, чей день рождения предшествует ξ-дню, которое после локализации в нуле является подполем Поля No и в нем вводится порядковая топология, а его пополнение является также подполем Rξ Поля No. Если μ=0, то поле Rω является одномерным полем действительных чисел; если 0<μ<Ω, то получаются нульмерные вполне упорядоченные подполя Rξ всех чисел Конвея, для которых верны Теоремы 1 и 2 и Следствие 1. Более того, в этих полях определяются классические функции математического анализа и доказывается, что для конечных чисел эти функции непрерывны, а для бесконечных чисел Конвея они разрывны в каждой точке. Определяются также показательные функции ax для любых конечных положительных чисел a≠1 и всех чисел Конвея a так и для некоторых положительных бесконечных чисел Конвея x. Рассматриваются соответствующие обратные функции – логарифмы с этими основаниями. Это монотонные функции и они разрывны в каждой своей точке определения. При этом конечное число Конвея x – это такое число, для которого найдется такое натуральное число n, что –n<x<n. В противном случае число Конвея a называется бесконечным числом. Мы здесь называем бесконечные числа x большими, а обратное к ним 1/x – малыми.

Для больших и малых чисел возникают совершенно новые явления: сколько раз не прибавляй малое число 1/x к себе, оно не выйдет за некоторый предел, который можно называть здесь условно «черной дырой». Например, малое число 1/ω<1/n для любого натурального числа n. Но 1/ω <2/ω<3/ω<…< k/ω<… <1/n для любого натурального числа n. А 1/ω <2/ω, 3/ω,…, k/ω,… <1/√ω, 2/√ω, 3/√ω,… <1/n для любого натурального числа n. И вообще, для любого ординала 0<α<Ω имеют место неравенства 1/ω <2/ω, 3/ω,…, k/ω,… <1/ω1/α<2/ω1/α<3/ω1/α<k/ω1/α<…< 1/ω1/α+1<2/ω1/α+1<3/ω1/α+1<k/ω1/α+1<…< 1/n для любого натурального числа n. То есть, даже постоянно увеличивающиеся малые числа взятые максимально в данном случае раз не может выйти в область конечных чисел {1/n}, 0<n< ω.

И таких непреодолимых «ям» в Поле чисел Конвея огромное количество, а именно, любая монотонно возрастающая или монотонно убывающая последовательность чисел Конвея является «ямой» для некоторого класса малых чисел.

Действительные числа – это конечные числа x, для которых

x={x–1, x–1/2, x–1/3, … | x+1, x+1/2, x+1/3, … }.

Ординальные числа – это числа α вида

α ={L |}.

Техника в работе [2] – это определение трансфинитных последовательностей x=(xα)0<α<ξ как отображений x:(0,ξ)→ Oξ.

Определение 1. Трансфинитная последовательность x=(xα)0<α<ξ сходится к числу Конвея a из Oξ, если для любого числа ε>0, ε из множества Oξ, найдется такой ординал α0, что для всех ординалов α0<α<ξ выполняется неравенство:

​|xα–a|< ε.

Определение 2. Трансфинитная последовательность x=(xα)0<α<ξ чисел Конвея из Oξ называется ξ-фундаментальной, если для любого числа ε>0, ε из множества Oξ, найдется такой ординал α0, что для всех ординалов α0<α, α’<ξ выполняется неравенство:

​|xα–xα’|< ε.

Определение 3. Две ξ-фундаментальные последовательности x=(xα)0<α<ξ и y=(yα)0<α<ξ называются эквивалентными, если для любого числа ε>0, ε из множества Oξ, найдется такой ординал α0, что для всех ординалов α0<α<ξ выполняется неравенство:

​|xα–yα|< ε.

Определение 4. Множество [x=(xα)0<α<ξ] всех классов эквивалентных ξ-фундаметнальных последовательностей в множестве Oξ называется пополнением этого множества и обозначается через Rξ.

Теорема 3. Любая ξ-фундаментальные последовательности x=(xα)0<α<ξ в Rξ сходится в Rξ.

Теорема 4. Rξ является подполем Поля No.

Теорема 5. Для любого многочлена Ax2n+1+Bx2n+…+Cx+D с коэффициентами A,B,…,C,D из Rξ и натурального числа n=0,1,2,… имеется корень x0 в Rξ.

Теорема 6. Для любого положительного числа Конвея x из Rξ имеется корень n-й степени x1/n для любого натурального числа n≥2, который принадлежит полю Rξ.

Следствие 2. Присоединяя к Rξ мнимую единицу i, получим замкнутое алгебраическое Поле (Основная Теорема Алгебры для всех чисел Конвея из поля Rξ).

Основные ссылки

  1. John H. Conway, On Numbers and Games, London Mathematical Society Monographs, No. 6, Academic Press, London-New-San Francisco, 1976.

  2. Ju. T. Lisica, On all numbers great and small (topological fiels of Conway’s numbers and their completions) Читай статью on all numbers great and small (topological fields of conway’s numbers and their completions) на архив орг (arxivorg.ru)


  • On numbers large and small (Topological fields of Conway numbers and their completions)
  • Ju. T. Lisica
  • St. Tikhon’s Orthodox University of Humanities Department of Missiology
  • Doctor of Physical and Mathematical Sciences Professor

John Conway constructed [1] the numbers named after him using simultaneously two constructions known in arithmetic – the Dedekind section (A,A’) in the field of rational numbers and the Mirimanov-von Neumann ordinal numbers: {}=ø=0, {ø}=1, {ø,{ø}}=2, {ø,{ø},{ø,{ø}}}=3,…, {0,1,2,3,…}= ω, {0,1,2,3,…,ω}= ω+1,… Conway builds his numbers by transfinite induction of ordinal numbers {0,1,2,3,…,α,…}, 0≤α<Ω, and stratifies them by “birthdays”: born on day 0, born on day 1, born on day 2, …, born on day α, … .

The definition of the Conway number is as follows: if L, R are any two sets of Conway numbers, and no element of L is ≥ any member of R, then there is a Conway number {L | R} and all numbers are constructed in this way. If x={L | R} we write xL for the typical member of L, and xR for the typical member of R. For x itself we then write x={xL ​|xR}.

We say that x≥y iff no xR≤y and x≤ no yL. The equality of Conway numbers x=y iff x≥y and y≥x. Strict inequalities x>y if and only if (x≥y & x≠y).

The definition of the sum of the numbers x+y:

x+y={xL+y, x+yL | xR+y, x+yR}.

The definition of the inverse number is x:

–x={–xR | –xL}.

Definition of the product of the numbers xy:

xy={xLy+xyL–xLyL, xRy+xyR–xRyR | xLy+xyR–xLyR, xRy+xyL–xRyL }.

For any number x not equal to zero, Conway gave a correct and nontrivial definition of the inverse number 1/x. Thus, all Conway numbers make up a completely ordered Field No, but with the domain of definition not on the set, but on a Proper class. Conway gives a very important and unique(!) definition of the exponent of the number ω, i.e. for any x of No there is a unique number y=ωx.

Conway’s main results:

Theorem 1. For any polynomial Ax2n+1+Bx2n+…+Cx+D with coefficients A, B, …, C, D of No and a natural number n=0,1,2,… there is a root x0 in No.

Theorem 2. For any positive Conway number x, there is an n-th degree root for any natural number n≥2.

Corollary 1. By attaching an imaginary unit i to No, we obtain a closed algebraic Field (the basic Theorem of Algebra for all Conway numbers).

For the results in this paper, see [2]. For all ordinal numbers ξ=ωω^μ, 0≤μ<Ω, a subset Oξ of all Conway numbers born before day ξ is constructed, which, after localization at zero, is a subfield of the Field No and an ordinal topology is introduced on it, and its completion Rξ is also a subfield of the Field *No. If μ=0, then the field Rω is a one-dimensional field of real numbers *R; if 0<μ<Ω, then zero-dimensional completely ordered subfields Rξ of all Conway numbers are obtained, for which Theorems 1 and 2 and Corollary 1 are true. Moreover, classical mathematical analysis functions are determined in these fields and it is proved that for finite These functions are continuous, and for infinite Conway numbers they are discontinuous at every point. The exponential functions ax are also defined for any finite positive numbers a≠1 and as well as for all Conway numbers a but for some positive infinite Conway numbers x. The corresponding inverse logarithm functions with these bases are considered. These are monotone functions and they are discontinuous at each of their definition points. In this case, a finite Conway number x is a number for which there is such a natural number n that –n<x<n. Otherwise, the Conway number a is called an infinite number. Here we call the infinite numbers x large, and the inverse of them 1/x – small. For large and small numbers, completely new phenomena arise: no matter how many times you add a small number 1/x to itself, it will not go beyond a certain limit, which can be conditionally called a “black hole” here. For example, a small number 1/ω<1/n for any natural number n. But 1/ω <2/ω<3/ω<…< k/ω<… <1/n for any natural number n. And 1/ω <2/ω, 3/ω,…, k/ω,… <1/√ω, 2/√ω, 3/√ω,… <1/n for any natural number n. And in general, for any ordinal 0<α<Ω there are inequalities 1/ω <2/ω, 3/ω,…, k/ω,… <1/ω1/α<2/ω1/α<3/ω1/α<k/ω1/α<…< 1/ω1/α+1<2/ω1/α+1<3/ω1/α+1<k/ω1/α+1<…< 1/n for any natural number n.

That is, even constantly increasing small numbers taken as many times as possible in this case cannot reach the range of finite numbers {1/n}, 0<n< ω.

And there are a huge number of such insurmountable “pits” in the Field of Conway numbers, namely, any monotonously increasing or monotonously decreasing sequence of Conway numbers is a “pit” for some class of small numbers.

The real numbers are the finite numbers x for which x={x–1, x–1/2, x–1/3, … | x+1, x+1/2, x+1/3, … }.

The ordinal numbers are α numbers of the form α ={L |}.

The technique in [2] is the definition of transfinite sequences x=(xα)0<α<ξ as maps of x:(0,ξ)→ Oξ.

Definition 1. The transfinite sequence x=(xα)0<α<ξ converges to the Conway number a of Oξ if for any number ε>0, ε from the set Oξ, there is such an ordinal α0 that for all ordinals α0<α<ξ the inequality holds: |xα–a|< ε.

Definition 2. A transfinite sequence x=(xα)0<α<ξ of Conway numbers from Oξ is called ξ-fundamental if for any number ε>0, ε from the set Oξ, there is such an ordinal α0 that for all ordinals α0<α, α’<ξ the inequality holds: |xα–xα’|< ε.

Definition 3. Two ξ-fundamental sequences x=(xα)0<α<ξ and y=(ya)0<α<ξ are called equivalent if for any number ε>0, ε from the set Oξ, there is such an ordinal α0 that for all ordinals α0<α<ξ is satisfied inequality: |xα–yα|< ε.

Definition 4. The set [x=(xα)0<α<ξ] of all classes of equivalent ξ-fundamental sequences in the set Oξ is called a completion of this set and is denoted by Rξ.

Theorem 3. Any ξ-fundamental sequence x=(xα)0<α<ξ in Rξ converges in Rξ.

Theorem 4. Rξ is a subfield of Field No.

Theorem 5. For any polynomial Ax2n+1+Bx2n+…+Cx+D with coefficients A, B, …, C, D of Rξ and a natural number n=0,1,2,… there is a root x0 in Rξ.

Theorem 6. For any positive Conway number x of Rξ, there is a root of the n-th degree x1/n for any natural number n≥2, which belongs to the field Rξ.

Corollary 2. By attaching an imaginary unit i to Rξ, we obtain a closed algebraic Field (the basic Theorem of Algebra for all Conway numbers from the field Rξ).

The main references

  1. John H. Conway, On Numbers and Games, London Mathematical Society Monographs, No. 6, Academic Press, London-New-San Francisco, 1976.

  2. Ju. T. Lisica, On all numbers great and small (topological fiels of Conway’s numbers and their completions) Читай статью on all numbers great and small (topological fields of conway’s numbers and their completions) на архив орг (arxivorg.ru)

1.1.3 Видео

DONE 1.2 <2024-10-10 Чт> Блинков Ю.А. - Представление PyGinv. Установка. Полиномиальный случай

1.2.1 Докладчик

  • Блинков Ю.А.
  • доктор физико-математических наук
  • зав. каф. СГУ

1.2.2 Информация

PyGInv представляет собой «легковесную» версию GIinv (сокращение от Gröbner INVolutive), библиотеки на C++ разработаную для исследования и решения систем алгебраических, дифференциальных и разностных уравнений полиномиального типа. Написана на «чистом» Python и использует систему компьютерной алгебры SymPy для работы с параметрами. Полностью платформ-независимая библиотека и удобная для использования в учебном процессе. В полиномиальном случае в докладе будет рассмотрена установка, работа с мономами, полиномами и модулями. Построение дерева Janet, его визуализация и использование для программирования различных инволюционных делений. Вычисление размерностного полинома Гильберта, построение факторкольца и матричное представление элементов фактора полиномиального кольца по нульмерному идеалу.


PyGInv is a “lightweight” version of GIinv (an abbreviation for Gröbner INVolutive), a C++ library developed to investigate and solve systems of algebraic, differential, and difference equations of polynomial type. It was written in “pure” Python and uses the computer algebra system SymPy to work with parameters. This fully platform-independent library is convenient for use in educational process. In the polynomial case, the report will consider installation, working with monomials, polynomials, and modules. Construction of Janet tree, its visualization, and usage for programming various involutory divisions. Calculating Hilbert dimension polynomial, constructing factor ring, and matrix representation of elements of factor polynomial ring over zero-dimensional ideal.


Дмитрий Сергеевич Кулябов
Дмитрий Сергеевич Кулябов
Профессор кафедры теории вероятностей и кибербезопасности

Мои научные интересы включают физику, администрирование Unix и сетей.

Похожие