Вычет

в диофантовой геометрии - некоторая численная функция на множестве решений диофантова уравнения. В простейшем случае целочисленного решения диофантова уравнения высота есть функция решения, равная В таком виде она встречается уже в методе спуска Ферма. Пусть имеется проективное алгебраич. Многообразие X, определенное над глобальным полем К. Высота представляет собой класс действительнозначных функций , определенных на множестве рациональных точек Р, и зависящий от морфизма многообразия ..

- минимум высот простых идеалов, содержащих данный идеал. Высота простого идеала в кольце А - наибольшее число h(или , если такого числа нет) такое, что существует цепочка различных простых идеалов Ковысота простого идеала определяется как наибольшее h, для к-рого существует цепочка простых идеалов Иначе говоря, где dim означает размерность соответствующего кольца по Круллю. Высота простого идеала равна коразмерности многообразия, определяемого идеалом, а ковысота - размер..

форма-вычет,- обобщение понятия вычета аналитич. Функции одного комплексного переменного на случай многих переменных. Пусть X - комплексное аналитич. Многообразие, S - его аналитич. Одмногообразие комплексной коразмерности 1 и пусть -замкнутая внешняя дифференциальная форма класса на , имеющая на Sполярную особенность 1-го порядка. Последнее означает, что для функции , голоморфной от хв окрестности точки и такой, что форма принадлежит классу . При этих условиях в окрестности Uлюбой..

функция, вычисление значений к-рой может быть проведено с помощью заранее заданной эффективной процедуры, или алгоритма. Характерная черта вычислительных процессов - вычисление искомых величин задач происходит последовательно из данных исходных величин по определенным, заранее заданным, правилам и инструкциям. На основании многочисленных примеров вычислительных процессов в математике оформилось интуитивное понятие вычислительной процедуры. В связи с общей программой обоснования математики в 20..