Страница 67 из 76
Вычегодский
Вычего'дский, поселок городского типа в Архангельской области РСФСР. Железнодорожная станция (Сольвычегодск). 10,9 тыс. жителей (1970). Возник в 1942 в связи со строительством железной дороги Котлас — Воркута. Предприятия железнодорожного транспорта.
Вычет
Вы'чет, 1) в теории чисел. Число а называется вычетом числа b по модулю m , если разность а — b делится на m (a , b , m > 0 — целые числа). Например, число 24 есть В. числа 3 по модулю 7, так как 24—3 делится на 7. Совокупность m целых чисел, каждое из которых является В. одного и только одного из чисел 0, 1,..., m — 1, называется полной системой В. по модулю m . Например, числа 1, 6, 11, 16, 21, 26 образуют полную систему В. по модулю 6. Число а называется вычетом степени n (n ³ 2 — целое) по модулю m , если существует целое число х , такое, что разность x n — a делится на m . В противном случае а называется невычетом степени n . Например, 2 и 3, соответственно, вычет и невычет второй степени (квадратичные) по модулю 7.
Лит.: Виноградов И. М., Основы теории чисел, 7 изд. М., 1965.
А. А. Карацуба.
2) В теории аналитических функций вычетом однозначной аналитической функции f (z ) относительно её изолированной особой точки z называется коэффициент при (z — z )-1 в разложении этой функции в ряд по степеням разности (z — z ) (Лорана ряд ) в окрестности точки z . Обозначение: выч f (z ) [или res f (z )].
Если g — окружность достаточно малого радиуса с центром в точке z (такая, что внутри неё функция f (z ) не имеет особых точек, отличных от z ), то
Важное значение вычетов вытекает из следующей теоремы. Пусть f (z ) — однозначная аналитическая функция в области D , за исключением изолированных особых точек, Г — простая замкнутая спрямляемая кривая, принадлежащая области D вместе со своей внутренностью и не проходящая через особые точки функции f (z ); если z 1 ,..., z n — все особые точки f (z ), лежащие внутри Г , то
Поскольку вычеты вычисляются сравнительно просто, эта теорема является эффективным средством для нахождения интегралов.
Лит. см. при статье Аналитические функции .
А. А. Гончар.
Вычислимая функция
Вычисли'мая фу'нкция, одно из основных понятий теории алгоритмов. Функция f называется вычислимой, если существует алгоритм , перерабатывающий всякий объект х , для которого определена функция f, в объект f (x ) и не применимый ни к какому x , для которого f не определена. Примеры: х — натуральное число, f (x ) = х 2 ; x — пара рациональных чисел x 1 и x 2 , f (x ) = x 1 : x 2 (эта функция определена лишь для тех x , у которых x 2 ¹0); X — пара матриц X 1 и X 2 с целочисленными элементами, f (X ) = X 1 X 2 (эта функция определена лишь для тех X , у которых число стоблцов в X 1 совпадает с числом строк в X 2 ). Аргументами и значениями В. ф. могут быть лишь так называемые конструктивные объекты (см. Конструктивное направление в математике) (ибо лишь с такими объектами могут оперировать алгоритмы); таким образом, функция f такая, что f (x ) º х не является вычислимой, если её рассматривать на всей действительной прямой, но является вычислимой, если её рассматривать как функцию натурального или рационального аргумента. В. ф., областью определения которой служит натуральный ряд, называется вычислимой последовательностью.
В. А. Успенский.
Вычислительная математика
Вычисли'тельная матема'тика, раздел математики, включающий круг вопросов, связанных с использованием электронных вычислительных машин (ЭВМ). Содержание термина «В. м.» нельзя считать установившимся, так как эта область интенсивно развивается в связи с быстро растущими применениями ЭВМ в новых направлениях. Часто термин «В. м.» понимается как теория численных методов и алгоритмов решения типовых математических задач. Это толкование термина «В. м.» получило распространение на первоначальном этапе, когда использование ЭВМ предъявило новые требования к численным методам; основной задачей на этом этапе была разработка новых методов, «удобных» для ЭВМ. Ниже В. м. понимается в первом — широком смысле этого термина.
В В. м. можно выделить следующие три больших раздела. Первый связан с применением ЭВМ в различных областях научной и практической деятельности и может быть охарактеризован как анализ математических моделей. Второй — с разработкой методов и алгоритмов решения типовых математических задач, возникающих при исследованиях математических моделей. Третий раздел связан с вопросом об упрощении взаимоотношений человека с ЭВМ, включая теорию и практику программирования задач для ЭВМ, в том числе автоматизацию программирования задач для ЭВМ.
Анализ математических моделей включает в себя изучение постановки задачи, выбор модели, анализ и обработку входной информации, численное решение математических задач, возникающих в связи с исследованием модели, анализ результатов вычислений, и, наконец, вопросы, связанные с реализацией полученных результатов. Задача выбора модели должна решаться с учётом следующего требования. Степень достоверности, с которой результаты анализа модели позволяют исследовать конкретное явление (или класс явлений), должна соответствовать точности исходной информации. При этом с появлением возможности получать более точную информацию обычно возникает необходимость совершенствования построенной модели, а в ряде случаев даже коренной её замены. Для этих задач приобретает существенное значение обработка исходной информации, что в большинстве случаев требует привлечения методов математической статистики. Математические модели сыграли важную роль в развитии естествознания; в настоящее время использование математических моделей является существенным фактором в широком диапазоне человеческой деятельности (в том числе в вопросах управления, планирования, прогнозирования и т.д.).
Изучение реальных явлений на основе анализа построенных моделей, как правило, требует развития численных методов и привлечения ЭВМ. Таким образом, в В. м. важное место занимают численные методы решения поставленных математических задач и в первую очередь типовых математических задач (В. м. в узком смысле слова).