Исключения Теория

- численный инвариант неособого проектного алгебраич. Многообразия, равный размерности его Пикара многообразия. В случае, когда основное поло имеет характеристику нуль (или, более общо, если схема Пикара многообразия Xприведена), И. Совпадает с размерностью пространства Н 1( Х, О X )первых когомологий с коэффициентами в структурном пучке. Многообразия с ненулевой И. Наз. Иррегулярными, а многообразия с нулевой И.- регулярными. Иногда для полной линейной системы |D| на многообразии X i-й ирре..

..

- закон классической логики, состоящий в том, что одно из двух высказываний "Л" и "не Л" является истинным. В математической логике И. Т. З. Выражается формулой где - знак дизъюнкции, - знак отрицания. С интуиционистской (конструктивной) точки зрения установление истинности высказывания вида означает установление истинности Аили истинности Поскольку не существует общего метода, позволяющего для каждого высказывания за конечное число шагов установить его истинность или истинность его отрицани..

- аналитич. Множество Ав комплексном пространстве X, допускающем такое аналитич. Отображение f :что f(A ) = y - точка комплексного пространства Y, а f :- аналитич. Изоморфизм. Модификация f наз. Стягиванием множества Ав точку у. Задача о характеризации исключительных множеств возникла в алгебраич. Геометрии в связи с изучением бирациональных преобразований (см. Также Исключительное подмногообразие). В аналитич. Еометрии найдены весьма общие критерии исключительности множества. А именно, пусть..