Кибернетика или управление и связь в животном и машине

Винер Норберт

Итак, многие нынешние автоматы имеют связь с внешним миром, выражающуюся как в восприятии [c.98] впечатлений, так и в выполнении действий. Они содержат органы чувств, исполнительные органы и какой-то эквивалент нервной системы, объединяющий передачу информации от первых ко вторым. Их вполне можно описывать при помощи физиологических терминов. Неудивительно, что автоматы и физиологические системы можно охватить одной теорией.

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

в главе, посвященной теории связи.

Итак, современный автомат существует в таком же бергсоновом времени, как и живой организм. Поэтому соображения Бергсона о том, что деятельность живого организма по существу отлична от деятельности автомата этого типа, необоснованны. Витализм выиграл спор до такой степени, что даже механизмы оказались соответствующими виталистической структуре времени, но, как было сказано выше, эта победа равносильна полному поражению, ибо со всех точек зрения, имеющих какое-либо отношение к нравственности и религии, новая механика столь же механистична, как и старая. Назвать ли новую точку зрения материалистической — это в общем спор о словах. Господство материи характеризует определенную стадию физики XIX века в гораздо большей степени, чем современность. Сейчас «материализм» — это лишь что-то вроде вольного синонима «механицизма». По существу, весь спор между механицистами и виталистами можно отложить в архив плохо сформулированных вопросов. [c.99]

Глава II. Группы и статистическая механика

К началу этого столетия двое ученых, один в Соединенных Штатах, другой во Франции, работали в областях, которые показались бы им совершенно не связанными, если бы один из них узнал о существовании другого. Уиллард Гиббс в Нью-Хейвене разрабатывал свой новый подход к статистической механике. Анри Лебег в Париже соперничал славой со своим учителем Эмилем Борелем, создав новую, более мощную теорию интегрирования, которая должна была использоваться при изучении тригонометрических рядов. Эти два исследователя походили друг на друга тем, что оба были кабинетными, а не лабораторными работниками, но они подходили к науке с диаметрально противоположных позиций.

Гиббс, хотя и был математиком, всегда считал математику наукой, подчиненной физике. Лебег был чистейший аналитик, выдающийся представитель современных, крайне суровых требований к математической строгости, и его работы, насколько мне известно, не содержат ни одного примера задач или методов, вытекающих непосредственно из физики. Тем не менее работы этих ученых составляют единое целое, и на вопросы, которые ставит Гиббс, мы находим ответ не в его собственных работах, а в работах Лебега.

Главная мысль Гиббса такова. В ньютоновой динамике в ее первоначальном виде рассматривается индивидуальная система с заданными начальными скоростями и импульсами [125] , подвергающаяся изменениям под [c.100] действием некоторой системы сил согласно законам Ньютона, которые устанавливают связь между силой и ускорением. Однако в громадном большинстве практических случаев нам известны далеко не все начальные скорости и импульсы. Если принять некоторое начальное распределение не вполне известных положений и импульсов системы, то тем самым будет определено в строго ньютоновском смысле распределение положений и импульсов в любой момент будущего. Тогда можно высказать ряд предложений об этих распределениях, и часть из них — в форме утверждений, что система будет иметь некоторые характеристики с вероятностью 1 и некоторые другие — с вероятностью 0.

125

В современной механике термин «импульс» (в отличие от «импульса силы») означает то же, что и «количество движения». Наш выбор следует наметившейся традиции русской литературы по динамическим системам. В оригинале Винер употребляет традиционный английский термин «momentum». — Прим. ред.

Вероятности, равные единице и нулю, суть понятия, включающие полную достоверность и полную невозможность, но их значение гораздо шире. Если я стреляю по цели нулей точечного размера, то вероятность моего попадания в определенную точку цели равна нулю, хотя не исключена возможность, что я попаду в нее; и, действительно, в каждом отдельном случае я обязательно попаду в некоторую точку, что является событием нулевой вероятности. Таким образом, событие вероятности 1, а именно попадание в какую-либо точку, может состоять из совокупности событий, каждое из которых имеет вероятность 0.

Тем не менее в гиббсовой статистической механике применяется, хотя и неявно (Гиббс нигде не отдает себе в этом ясного отчета), разложение сложного события в бесконечную последовательность частных событий — первого, второго, третьего и т. д., — каждое из которых имеет известную вероятность; вероятность этого более широкого события находится затем как сумма вероятностей частных событий, образующих бесконечную последовательность. Таким образом, вероятности нельзя складывать во всех мыслимых случаях для получения полной вероятности, ибо сумма любого числа нулей равна нулю; но их можно складывать, коль скоро существует первый, второй, третий член и т. д., образующие последовательность событий, в которой каждый член имеет определенное место, задаваемое положительным целым числом.

Чтобы провести различие между этими двумя случаями, необходимы довольно тонкие изыскания о природе [c.101] множеств событий, а Гиббс был хотя и очень сильный, но не очень тонкий математик. Может ли класс быть бесконечным и в то же время существенно отличным по мощности от другого класса, например от класса

натуральных чисел? Эту задачу решил в конце прошлого столетия Георг Кантор, и ответ был «да». Если мы рассмотрим все десятичные дроби, конечные и бесконечные, лежащие между нулем и единицей, то, как известно, их нельзя расположить в порядке «один, два, три…», хотя — удивительно — мы можем расположить так все конечные десятичные дроби. Поэтому проведение различия, требуемого в статистической механике Гиббса, не является само по себе невозможным. Услуга, оказанная Лебегом теории Гиббса, заключалась в доказательстве того, что неявные требования статистической механики относительно событий нулевой вероятности и сложения вероятностей событий действительно могут быть удовлетворены и что теория Гиббса не содержит противоречий.

Однако работа Лебега была непосредственно связана не с требованиями статистической механики, а с другой, как будто весьма далекой от нее, теорией — теорией тригонометрических рядов. Последняя восходит к физике XVIII в., изучавшей волны и колебания, и к спорному тогда вопросу об общности возможных движений линейной системы, полученных сложением ее простых колебаний, — колебаний, при которых течение времени лишь умножает отклонения системы от равновесия на положительный или отрицательный множитель, зависящий только от времени, но не от положения. Таким образом, одна функция выражается в виде суммы ряда. Коэффициенты этих рядов выражаются как средние произведения представляемой функции на данную весовую функцию. Вся теория основана на соотношениях между средним значением ряда и средними значениями отдельных членов. Заметим, что среднее значение величины, равной единице на интервале от нуля до А и нулю на интервале от А до 1, равно А и что его можно рассматривать как вероятность для случайной точки находиться в интервале от 0 до А, если известно, что она находится между 0 и 1. Иными словами, теория, необходимая для определения среднего значения ряда, очень близка к той, которая необходима для [c.102] адекватной трактовки вероятностей, выводимых из бесконечной последовательности случаев. Вот почему Лебег, решая свою задачу, решил также задачу Гиббса.

Распределения, исследуемые Гиббсом, сами допускают динамическую интерпретацию. Если мы рассматриваем консервативную динамическую систему весьма общего вида с N степенями свободы, то координаты положений и скоростей такой системы можно привести к особой системе 2N координат, из которых N называются обобщенными координатами положения и N — обобщенными импульсами. Эти координаты определяют 2N– мерное пространство [126] и в нем 2N– мерный объем. Возьмем произвольную область этого пространства и заставим точки перемещаться с течением времени. Каждый набор 2N координат перейдет тогда в новый набор, зависящий от истекшего времени, но непрерывное изменение границ области не изменит ее 2N– мерного объема. В общем случае для множеств, не столь простых, понятие объема порождает систему меры лебегова типа. В этой системе меры и в консервативных динамических системах, преобразуемых так, что мера сохраняется постоянной, сохраняет постоянство и другая скалярная величина — энергия. Если все тела системы действуют только друг на друга и в системе нет сил, связанных с фиксированным положениями и фиксированными направлениями в пространстве, то остаются постоянными еще два выражения, оба векторные: количество движения и момент количества движения системы в целом. Их нетрудно исключить и тем самым заменить данную систему системой с меньшим числом степеней свободы.

126

Это пространство называется фазовым пространством системы: его точки изображают различные фазы, или состояния, системы. Термин «фазовое пространство» появляется у Винера несколько ниже без пояснения — Прим. ред.

В сугубо частных системах могут быть и другие величины, не определяемые энергией, количеством движения и моментом количества движения, также не меняющиеся с эволюцией системы. Известно, однако, что системы с другими инвариантными величинами, зависящими от начальных координат и импульсов динамической системы и достаточно регулярными, чтобы [c.103] допускать интегрирование на основе меры Лебега, в действительности очень редки, в некотором вполне точном смысле [127] . В системах, не имеющих других инвариантных величин, можно фиксировать координаты, соответствующие энергии, количеству движения и общему моменту количества движения, и тогда в пространстве остальных координат мера, определяемая координатами положений и импульсов, определит сама некоторую подмеру, подобно тому, как мера в трехмерном пространстве определит площадь на двумерной поверхности для заданного семейства двумерных поверхностей. Например, пусть мы имеем семейство концентрических сфер; объем между двумя сближаемыми концентрическими сферами (если его нормировать, приняв за единицу полный объем области между двумя сферами) в пределе даст меру площади на поверхности сферы.

127

Oxtoby J.С., Ulam S.M. Measure — Preserving Homeomorphisms and Metrical Transitivity. // Ann. of Math. — Ser. 2. — 1941. — Vol. 42. — P. 874—920.