<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">cheb</journal-id><journal-title-group><journal-title xml:lang="ru">Чебышевский сборник</journal-title><trans-title-group xml:lang="en"><trans-title>Chebyshevskii Sbornik</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2226-8383</issn><publisher><publisher-name>Tula State Lev Tolstoy  Pedagogical University</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.22405/2226-8383-2023-24-1-5-14</article-id><article-id custom-type="elpub" pub-id-type="custom">cheb-1469</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Статьи</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Article</subject></subj-group></article-categories><title-group><article-title>Замкнутые классы в функциональной системе полиномов с действительными коэффициентами</article-title><trans-title-group xml:lang="en"><trans-title>Closed classes in the functional system of polynomials with real coefficients</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Алексиадис</surname><given-names>Никос Филиппович</given-names></name><name name-style="western" xml:lang="en"><surname>Aleksiadis</surname><given-names>Nikos Philipovich</given-names></name></name-alternatives><bio xml:lang="ru"><p>кандидат физико-математических наук</p></bio><bio xml:lang="en"><p>candidate of physical and mathematical sciences</p></bio><email xlink:type="simple">aleksiadis@yandex.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Московский государственный университет им. М. В. Ломоносова; Национальный исследовательский университет «МЭИ»</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Lomonosov Moscow State University; National Research University “MPEI”</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2023</year></pub-date><pub-date pub-type="epub"><day>24</day><month>05</month><year>2023</year></pub-date><volume>24</volume><issue>1</issue><fpage>5</fpage><lpage>14</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Алексиадис Н.Ф., 2023</copyright-statement><copyright-year>2023</copyright-year><copyright-holder xml:lang="ru">Алексиадис Н.Ф.</copyright-holder><copyright-holder xml:lang="en">Aleksiadis N.P.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://www.chebsbornik.ru/jour/article/view/1469">https://www.chebsbornik.ru/jour/article/view/1469</self-uri><abstract><p>Функциональная система представляет собой множество функций с некоторым набором операций, применяемых к этим функциям и приводящих к получению других функций из этого же множества.Функциональные системы являются одним из основных объектов дискретной математики и математической кибернетики, поскольку они являются математическими моделями реальных и абстрактных управляющих систем.Проблематика функциональных систем обширна. Одной из основных задач является проблема полноты, состоящая в описании таких подсистем функций, которые являютсяполными, т.е. из этих функций с помощью заданных операций над ними можно получить все функции.Мы рассматриваем функциональную систему полиномиальных функций с действительными коэффициентами, где в качестве операций выступают операции суперпозиции, и для этой системы исследуем задачу о замкнутых классах (структура, базис, число конечных и бесконечных замкнутых классов). Это обусловлено тем, что проблема полноты решается с помощью (максимальных) замкнутых классов.В настоящей статье для функциональной системы полиномиальных функций с действительными коэффициентами:1. описаны в явном виде все конечные замкнутые классы;2. найдено число всех конечных замкнутых классов, всех бесконечных замкнутых классов и всех замкнутых классов;3. изучена задача о базисах замкнутых классов, а именно, установлено, что существует замкнутый класс, имеющий конечный базис, существует замкнутый класс, имеющий бесконечный базис, и существует замкнутый класс, не имеющий базиса; приведеныконкретные примеры соответствующих замкнутых классов;4. найдено число замкнутых классов, имеющих конечный базис, число замкнутых классов, имеющих бесконечный базис, и число замкнутых классов, не имеющих базиса.</p></abstract><trans-abstract xml:lang="en"><p>A functional system is a set of functions endowed with a set of operations on these functions.The operations allow one to obtain new functions from the existing ones.Functional systems are mathematical models of real and abstract control systems and thusare one of the main objects of discrete mathematics and mathematical cybernetic.The problems in the area of functional systems are extensive. One of the main problems is deciding completeness; this problem consists in the description of all subsets of functions that are complete, i.e. generate the whole set.In our paper we consider the functional system of polynomials with real coefficients endowed with the superposition operation for this system we study the problem of closed classes (structure, basis, number of finite and infinite closed classes).Importance of the problem of closed classes is ensured by the fact that completeness problem can frequently be solved with the help of (maximal) closed classes.The main results concerning the functional system of polynomials with real coefficients presented in our paper are the following:1. all finite closed classes are described explicitly ;2. the number of finite closed classes, infinite closed classes and all closed classes is found ;3. the problem of bases of closed classes is studied, namely, it is established that there existclosed classes with a finite basis, there exist closed classes with an infinite basis, and thereexist closed classes without a basis; explicit examples of the corresponding closed classesare given;4. the number of closed classes with a finite basis, the number of closed classes with an infinitebasis and the number of closed classes without a basis are established.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>функциональная система</kwd><kwd>проблема полноты</kwd><kwd>полная система</kwd><kwd>замкнутый класс</kwd><kwd>базис</kwd><kwd>полином</kwd><kwd>полиномиальная функция.</kwd></kwd-group><kwd-group xml:lang="en"><kwd>functional system</kwd><kwd>completeness problem</kwd><kwd>complete system</kwd><kwd>closed class</kwd><kwd>basis</kwd><kwd>polynomial</kwd><kwd>polynomial function.</kwd></kwd-group><funding-group><funding-statement xml:lang="ru">Работа выполнена в МГУ им. М.В. Ломоносова</funding-statement><funding-statement xml:lang="en">The work was performed at Lomonosov Moscow State University</funding-statement></funding-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">Алексиадис Н. Ф. О замкнутых классах в функциональной системе полиномов с действительными коэффициентами // XXI Международная конференция «Алгебра, теория</mixed-citation><mixed-citation xml:lang="en">Aleksiadis, N. Ph. 2022, “On closed classes in a functional system of polynomials with real</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы,</mixed-citation><mixed-citation xml:lang="en">coefficients”, Proc. XXI Int. Conf. “Algebra, number theory and discrete geometry: modern</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">приложения и проблемы истории», посвященная 85-летию со дня рождения А. А Карацу-</mixed-citation><mixed-citation xml:lang="en">problems, applications and problems of history”, pp. 142-145.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">бы. (Тула, 17–21 мая 2022 года). Тула, 2022. С. 142-145.</mixed-citation><mixed-citation xml:lang="en">Aleksiadis, N. Ph. 2015, “Algorithmic unsolvability of the completeness problem for polynomials</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">Алексиадис Н. Ф. Алгоритмическая неразрешимость проблемы полноты для полиномов</mixed-citation><mixed-citation xml:lang="en">with integer coefficients” , Vestnik MPEI, no. 3, pp. 110-117.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">с целыми коэффициентами // Вестник МЭИ, 2015, № 3, с. 110-117.</mixed-citation><mixed-citation xml:lang="en">Aleksiadis, N. Ph. 2019, “On the functional system of polynomials with rational coefficients”</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">Алексиадис Н. Ф. О функциональной системе полиномов с рациональными коэффициентами // Интеллектуальные системы. Теория и приложения, 2019, т.23, вып. 4, с. 93-114.</mixed-citation><mixed-citation xml:lang="en">Intelligent systems. Theory and applications, Vol. 23, № 4, с. 93-114.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Алексиадис Н. Ф. Рациональные A-функции с рациональными коэффициентами // Че-</mixed-citation><mixed-citation xml:lang="en">Aleksiadis, N. Ph. 2022, “Rational A-functions with rational coefficients” // Chebyshevskii</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">бышевcкий сборник, 2022, Т. 23, вып. 4, С. 11–19. DOI 10.22405/2226-8383-2022-23-4-11-19.</mixed-citation><mixed-citation xml:lang="en">sbornik, Vol. 23, № 4, pp. 11–19. DOI 10.22405/2226-8383-2022-23-4-11-19.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Бабин Д. Н. О задаче полноты для автоматов // Интеллектуальные системы. Теория и</mixed-citation><mixed-citation xml:lang="en">Babin, D. N. 2020, “On the completeness problem for automata”, Proc. Intelligent systems.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">приложения. 2020. Т. 23, вып. 4. С. 82-83.</mixed-citation><mixed-citation xml:lang="en">Theory and Applications, Vol. 23(4), pp. 82-83.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Гаврилов Г. П. О функциональной полноте в счетнозначной логике // Проблемы кибернетики. 1965 (М. Наука). вып. 15. С. 5-64.</mixed-citation><mixed-citation xml:lang="en">Gavrilov, G.P. 1965, “On functional completeness in countable logic”, Problems of cybernetics,</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Кудрявцев В. Б. О мощностях множеств предполных множеств некоторых функциональных системах, связанных с автоматами //В кн.: Проблемы кибернетики. 1965 (М. Наука).</mixed-citation><mixed-citation xml:lang="en">Vol. 15, pp. 5-64.</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">вып. 13. С. 45-74.</mixed-citation><mixed-citation xml:lang="en">Kudryavtsev, V. B. 1965, “On the powers of sets of discrete sets of some functional systems</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Кудрявцев В. Б. Функциональные системы. — М.: Изд–во МГУ, 1982. 157 с.</mixed-citation><mixed-citation xml:lang="en">related to automata”, Problems of cybernetics, Vol. 13, pp. 45-74.</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">Мальцев А. И. Избранные труды. Т. II — М.: Изд–во Наука, 1976. 388 с.</mixed-citation><mixed-citation xml:lang="en">Kudryavtsev, V. B. 1982, “Functional systems”, Moscow: Publishing House of Mekh-mat. fac.</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">Саломаа А. Некоторые критерии полноты для множеств функций многозначной логики</mixed-citation><mixed-citation xml:lang="en">MSU., 157 p.</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">//В кн.: Кибернетический сборник. 1964 (М.: Мир). Т.8. С. 7-32.</mixed-citation><mixed-citation xml:lang="en">Maltsev, A. I. 1976, “Selected works”. Vol. II — Moscow: Publishing House “Nauka”, 388 p.</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">Часовских А. А. Проблема полноты в классах линейных автоматов // Интеллектуальные</mixed-citation><mixed-citation xml:lang="en">Salomaa, A. 1963, “Some completeness criteria for sets of functions over a finite domain”, II.</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">системы. Теория и приложения. 2018. Т. 22, вып. 2. С. 151-154.</mixed-citation><mixed-citation xml:lang="en">Ibid., Ser. A I 63, 19 pp.</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">Яблонский С. В. Введение в дискретную математику. — М.: Изд–во Наука, 1986. 384 с.</mixed-citation><mixed-citation xml:lang="en">Chasavskikh, A. A. 2018, “The problem of completeness in classes of linear automata”, Intelligent</mixed-citation></citation-alternatives></ref><ref id="cit22"><label>22</label><citation-alternatives><mixed-citation xml:lang="ru">Яблонский С. В. О функциональной полноте в трехзначном исчислении // ДАН СССР.</mixed-citation><mixed-citation xml:lang="en">systems. Theory and Applications, Vol. 22(2), pp. 151-154.</mixed-citation></citation-alternatives></ref><ref id="cit23"><label>23</label><citation-alternatives><mixed-citation xml:lang="ru">95. № 6. С. 1153–1156.</mixed-citation><mixed-citation xml:lang="en">Yablonsky, S. V. 1986, “Introduction to discrete mathematics”, Moscow.:Science, 384 p.</mixed-citation></citation-alternatives></ref><ref id="cit24"><label>24</label><citation-alternatives><mixed-citation xml:lang="ru">Яблонский С. В. Функциональные построения в 𝑘 -значной логике // Тр. МИАН СССР</mixed-citation><mixed-citation xml:lang="en">Yablonsky, S. V. 1954, “On functional completeness in three-digit calculus”, DAN USSR, Vol.</mixed-citation></citation-alternatives></ref><ref id="cit25"><label>25</label><citation-alternatives><mixed-citation xml:lang="ru">им. В. А. Стеклова. 1958. Т. 51. С. 5–142.</mixed-citation><mixed-citation xml:lang="en">(6), pp. 1153–1156.</mixed-citation></citation-alternatives></ref><ref id="cit26"><label>26</label><citation-alternatives><mixed-citation xml:lang="ru">Post E. Two-valued iterative sistems of mathematical logik. — Prinston. 1941.</mixed-citation><mixed-citation xml:lang="en">Yablonsky, S. V. 1958, “Functional constructions in 𝑘-valued logic”, Proceedings of the Steklov</mixed-citation></citation-alternatives></ref><ref id="cit27"><label>27</label><citation-alternatives><mixed-citation xml:lang="ru">Rosenberg Y. Uber die functionale Vollst¨andigkeit in den mehrwertigen Logiken. // Praha,</mixed-citation><mixed-citation xml:lang="en">Institute of Mathematics, Vol.51, pp. 5–142.</mixed-citation></citation-alternatives></ref><ref id="cit28"><label>28</label><citation-alternatives><mixed-citation xml:lang="ru">Rozpravi Ceskoslovenska Acodemie Ved. v. 80, № 4. P. 393,1970.</mixed-citation><mixed-citation xml:lang="en">Post, E. 1941,“Two-valued iterative sistems of mathematical logik”. — Prinston.</mixed-citation></citation-alternatives></ref><ref id="cit29"><label>29</label><citation-alternatives><mixed-citation xml:lang="ru">Slupecki J. Kriterium pelnosci wielowar — tosciowych systemow logiki zdan. // Comptes Rendus</mixed-citation><mixed-citation xml:lang="en">Rosenberg, Y.1970, “Uber die functionale Vollst¨andigkeit in den mehrwertigen Logiken”. Praha,</mixed-citation></citation-alternatives></ref><ref id="cit30"><label>30</label><citation-alternatives><mixed-citation xml:lang="ru">des Seances de la Societe des Sciences et des Lettres de Varsivie. 1939. Cl. III. v. 32. P. 102-128.</mixed-citation><mixed-citation xml:lang="en">Rozpravi Ceskoslovenska Acodemie Ved., Vol. 80, № 4, p. 393.</mixed-citation></citation-alternatives></ref><ref id="cit31"><label>31</label><citation-alternatives><mixed-citation xml:lang="ru">Slupecki, J. 1939, Kriterium pelnosci wielowar — tosciowych systemow logiki zdan. Comptes</mixed-citation><mixed-citation xml:lang="en">Slupecki, J. 1939, Kriterium pelnosci wielowar — tosciowych systemow logiki zdan. Comptes</mixed-citation></citation-alternatives></ref><ref id="cit32"><label>32</label><citation-alternatives><mixed-citation xml:lang="ru">Rendus des Seances de la Societe des Sciences et des Lettres de Varsivie, cl. III, v. 32, pp.</mixed-citation><mixed-citation xml:lang="en">Rendus des Seances de la Societe des Sciences et des Lettres de Varsivie, cl. III, v. 32, pp.</mixed-citation></citation-alternatives></ref><ref id="cit33"><label>33</label><citation-alternatives><mixed-citation xml:lang="ru">-128.</mixed-citation><mixed-citation xml:lang="en">-128.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
