Оператор

- свойство формальных арифметич. Систем, состоящее в том, что для всякой формулы (х).из выводимости формул , , . ...,, . Следует выводимость формулы , где - константа, обозначающая натуральное число пили 0. В противном случае система наз. Омега-неполной. К. Гёдель в своей теореме о неполноте формальной арифметики фактически установил ее омега-неполноту. Если в качестве аксиом взять множество всех формул, истинных в стандартной модели арифметики, то получится омега-полная аксиоматич. Система. На..

в языках программирования -- аргумент операции. Грамматич. Конструкция, обозначающая выражение, задающее значение аргумента операции. Иногда О. Наз. Место, позиция в тексте, где должен стоять аргумент операции. Отсюда понятие местности, или арности, операции, т. Е. Числа аргументов операции. В зависимости от положения О. Относительно знака операции различают префиксные (напр., sin x), и н ф и к с н ы е (напр., a+b) и п о с т ф и к с н ы е (напр., x2) о п е р а ц и и. В зависимости от числа 0...

- 1) О. Г.- однопараметрическая группа операторов в банаховом пространстве Е, т. Е. Семейство линейных ограниченных операторов , такое, что U0=I, Us+t=Us*Ut и Ut непрерывно зависит от t(в равномерной, сильной или слабой топологии). Если Е - гильбертово пространство и ||Ut|| равномерно ограничены, то группа {Ut} подобна группе унитарных операторов (теорема Надя). Лит.:[1] S z.-N a g у В., "Acta Univ. Szeged. Sec. Scient. Math.", 1947, t. 11, p. 152-57. [2] X и л л е Э., Ф и л л и п с Р.,..

топология в пространстве L(E, F).непрерывных линейных отображений одного топологического векторного пространства Ев другое топологии, пространство F, превращающая пространство L(E, F).в топологическое векторное пространство. Пусть F - локально выпуклое пространство и - такое семейство ограниченных подмножеств пространства Е, что линейная оболочка объединения множеств этого семейства плотна в Е;пусть - базис окрестностей нуля в F. Семейство где Sпробегает , а Vпробегает , является базис..