Замыкание Множества

- система классов функций, замкнутых относительно операций рассматриваемой функциональной системы. Важнейшими примерами 3. К. С. Являются системы подалгебр алгебры логики, конечнозначных логик, автоматных отображений, алгебр рекурсивных функций и нек-рые другие. В. Б. Кудрявцев.. ..

- система уравнений предельная при для системы частично разрешенных уравнений описывающих последовательные этапы вычислительного алгоритма решения уравнения (напр., сеточного уравнения, тогда h- шаг сетки), аппроксимирующего при h->0 уравнение При этом Lh0=Lh, fh0=fh, LhM- тождественный оператор, fhM= (Lh)-1fh=uh, т. Е. На М-м этапе алгоритма получается окончательное решение аппроксимирующего уравнения (3). Функция z(m, h )предполагается возрастающей вместе с т (напр., линейной в..

в частично упорядоченном множестве М- однозначное отображение множества Мв себя, сопоставляющее каждому элементу некоторый элемент наз. Замыканием элемента а, и удовлетворяющее следующим аксиомам. 1) 2) если то 3)Элемент аназ. Замкнутым, если он совпадает со своим замыканием. З. О, в множестве Моднозначно определяется заданием системы всех замкнутых элементов. З. О. Может быть введено, в частности, в системе всех подмножеств произвольного множества М, частично упорядоченной по теоретико-м..

- условие в тканей геометрии, при выполнении к-рого из некоторых инциденций точек и линий ткани вытекает новая инциденция. Примером 3. У. Может служить условие замыкания Томсена (см. Рис. А):первое и второе семейства линий ткани изображены параллельными прямыми, третье - кривыми линиями. 3. У. Означает, что из принадлежности Аи Ви Си Dлиниям третьего семейства следует принадлежность такой же линии точек Еп F. Если х, у и z - параметры, определяющие линии трех семейств, то 3. У. Можно прида..