Общее Положение

- точка топологич. Пространства, замыкание к-рой совпадает со всем пространством. Топологич. Пространство, имеющее О. Т., является неприводимым топологическим пространством;однако неприводимое пространство может как вообще не иметь ни одной О. Т., так и иметь много О. Т. Впрочем, если пространство удовлетворяет Колмогорова аксиоме, то оно может иметь не более одной О. Т. Любое неприводимое алгебраич. Многообразие или неприводимая схема обладают и притом единственной О. Т. В этом случае О. Т...

- точка, принадлежащая нек-рому открытому плотному в топологии Зариского подмножеству алгебраич. Многообразия. В алгебраич. Геометрии О. П. Т. Часто наз. Просто о общей точкой. О. А. Иванова.. ..

системы обыкновенных дифференциальных уравнений п- гопорядка в области G- гладкое по t и непрерывное по совокупности параметров n-параметрическое семейство вектор-функций откуда при соответствующем выборе значений параметров получается любое решение системы, график к-рого проходит в области . Здесь область, где выполнены условия теоремы существования и единственности для системы (1). (Иногда условливаются, что параметры могут принимать и значения .) Геометрически О. Р. Системы (1) в облас..

- свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. Символов, т. Е. Предикатных и пропозициональных переменных. Логич. Формулы, обладающие этим свойством, наз. Общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов "формула Аобщезначима" часто пишут. Важнейшими видами логич. Формул являются пропозициональные и предикатные формулы. При классич. Понимании л..