Функциональная система представляет собой множество функций с некоторым набором операций, применяемых к этим функциям и приводящих к получению других функций из этого же множества.Функциональные системы являются одним из основных объектов дискретной математики и математической кибернетики, поскольку они являются математическими моделями реальных и абстрактных управляющих систем.Проблематика функциональных систем обширна. Одной из основных задач является проблема полноты, состоящая в описании таких подсистем функций, которые являются полными, т.е. из этих функций с помощью заданных операций над ними можно получить все функции.К проблеме полноты примыкает известная теорема Колмогорова о представлении непрерывных функций нескольких переменных в виде суперпозиций непрерывных функций одной переменной и сложения (формулировку этой теоремы см. ниже).Целью настоящей статьи является следующая задача: имеет ли место аналог теоремы Колмогорова о представлении непрерывных функций нескольких переменных в видесуперпозиций непрерывных функций одной переменной и сложения для функциональныхсистем полиномиальных функций и функциональных систем рациональных функций ?Оказывается, что поставленный вопрос (аналог теоремы Колмогорова) имеет отрицательный ответ для функциональных систем полиномиальных функций с натуральными и целыми коэффициентами, а для функциональных систем полиномиальных функций с рациональными и действительными коэффициентами и для функциональных систем рациональных функций с рациональными и действительными коэффициентами – ответ положительный. Эти теоремы и являются основными результатами данной статьи.
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 thus are 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 that consists in the description of all subsets of functions that are complete, i.e. generate the whole set.The well-known Kolmogorov theorem on the representation of continuous functions of several variables in the form of superpositions of continuous functions of one variable and addition adjoins the completeness problem (see the formulation of this theorem below).The purpose of this paper is the following problem: is there an analogue of Kolmogorov’s theorem on the representation of continuous functions of several variables in the form of superpositions of continuous functions of one variable and addition for functional systems of polynomial functions and functional systems of rational functions?It turns out that the problem posed (an analogue of Kolmogorov’s theorem) has a negative answer for functional systems of polynomial functions with natural and integer coefficients, and for functional systems of polynomial functions with rational and real coefficients and for functional systems of rational functions with rational and real coefficients - the answer is positive. These theorems are the main results of this paper.
The authors declare that there are no conflicts of interest present.