CC BY
59
ИНФОРМАЦИОННЫЕ
ТЕХНОЛОГИИ
А
В НАУКЕ,
▼
ОБРАЗОВАНИИ, КУЛЬТУРЕ, МЕДИЦИНЕ,
ЭКОНОМИКЕ, ЭКОЛОГИИ, СОЦИОЛОГИИ
УДК 519.7
ТЕОРИЯ ЦВЕТОВОГО ЗРЕНИЯ. I.
ПОХОДЕНКОВ.А., ТАРАСОВА Т.Т., ШАБАНОВ-КУШНАРЕНКО С.Ю.
Работа посвящена теории цветового зрения человека. В первой ее части сформулированы задачи исследования и развита общая теория компараторной идентификации линейных систем.
1.1. Введение
Одно из главных препятствий, с которым сталкивается исследователь, стремящийся математически описать работу органов чувств, заключается в неразработанности необходимого математического аппарата. Оказывается, что математики не позаботились о конструировании таких форм, в которые можно было бы облечь наблюдаемые психофизические явления. Поначалу этот факт изумляет. Не верится, что среди огромного множества формальных структур, накопленных математикой за многие века ее существования, нет таких, которые подошли бы для решения интересующих нас задач. Однако, если разобраться, то именно этого и следовало бы ожидать. Ведь математический аппарат, в конечном счете, всегда развивается в ответ на запросы практики, удовлетворяя потребности тех областей знания, которые в нем нуждаются. Так, желание решать задачи небесной механики вынудило Ньютона разработать дифференциальное и интегральное исчисления. Стремление постичь законы мышления привело Буля к необходимости создания аппарата алгебры логики. Подобные примеры можно было бы умножить.
Психофизика—весьма своеобразная область знания. Она изучает связи, существующие между объективными процессами, происходящими в физическом мире, и явлениями субъективной сферы — ощущениями, представляющими собой факты нашего сознания. С проблемой математического описания подобных связей науке прошлого почти не приходилось сталкиваться. Лишь после возникновения кибернетики и информатики задачи моделирования психофизических процессов стали актуальными, и к их решению всерьез обратилась научная мысль. Нет
никаких оснований надеяться на то, что такая специфическая и не похожая на другие область знания, как психофизика, не потребует для своей математизации никаких дополнительных формальных средств и сможет обойтись уже имеющимися математическими разработками. Напротив, следует ожидать, что потребности в математических средствах, возникающие в процессе моделирования психофизических процессов, приведут в будущем к развитию новых обширных и глубоких областей математического знания. В этой статье предпринята попытка положить начало математическим разработкам такого рода. Источником, из которого черпались математические задачи, для нас служили запросы практики моделирования функции человеческого зрения.
Одна из классических задач психофизики зрения заключается в изучении связи между световым излучением, падающим на сетчатку глаза, и цветом ощущения, возникающим в сознании наблюдателя в ответ на этот зрительный стимул. Еще Ньютон [1] установил, что качество цвета всецело определяется спектром соответствующего светового излучения. Он, кроме того, предложил изображать цвета в виде точек некоторой области в трехмерном пространстве. Ньютон также обнаружил определенные закономерности восприятия при сложении излучений, которые наводили на мысль, что координаты цвета (т. е. координаты точек, изображающих цвета) линейно зависят от спектров соответствующих световых излучений. Отправляясь от этих результатов, Максвелл
[2] записал координаты щ, «2, «з цвета, соответствующего световому излучению со спектром Ь (X), в виде интегралов
%2 ^2
u = \Ь( X) K1 (X)dX, u2 = \b( X) K2 (X)dX,
Xj Xj
X2
u3 = jb(X) K3( X)dX.
(1.1)
Здесь b(X) — зависимость плотности энергии b светового излучения от длины волны X электромагнитных колебаний; X1(X), K2(X), K3(X) — некоторые весовые функции, характеризующие чувствительность глаза к лучам с различной длиной волны; X1 и X2 — минимальная и максимальная длины волн световых излучений, видимых глазом. Максвелл первым предпринял попытку опытным путем определить конкретный вид функций Ki(X), K2(X), K3(X), получивших название функций спектральной чувствительности зрения. Впоследствии эти функции определялись многими авторами на базе более совершенной аппаратуры и улучшенной методики. В настоящее время значения функций спектральной чувствительности зрения определяют с весьма высокой точностью, указывая для них три, а иногда и более значащих цифр. Наконец, Шредингер [3] поставил задачу построения аксиоматической теории цветового зрения. Отправляясь от законов цветового зрения, сформулированных Грассманом [4], он попытался чисто формальным путем вывести из них преобразования (1.1). Однако недостаточный уровень развития необходимого математического аппарата, а также недостаточно совершенная формулировка законов зрения не позволили ему сделать это достаточно корректно.
106
РИ, 1998, № 1
Основным инструментом колориметрии — науки об измерении цвета является метод сравнения цветов. Согласно этому методу наблюдателю предъявляют на двух небольших полях, имеющих общую границу, световые излучения, характеризующиеся соответственно спектрами b (X) и b (X). Наблюдатель воспринимает эти излучения в виде соприкасающихся цветных пятен. От него требуется дать ответ на вопрос, совпадают или не совпадают друг с другом цвета полей сравнения. Формирование ответа существенно облегчается тем, что в случае совпадения цветов граница между цветными пятнами исчезает. Таким образом, наблюдатель фактически принимает решение о совпадении или различии цветов с помощью очень тонкого индикатора — отсутствия или наличия видимой границы между полями сравнения. О высокой чувствительности метода сравнения свидетельствует такой факт. Если подать на поля сравнения пару идентичных излучений (b(X), b(X)), наблюдатель зарегистрирует равенство цветов. Однако если предъявить пару излучений (b(X), 1,01b(X)), т.е. на правом поле энергетический уровень излучения повысить всего лишь на 1% без изменения спектрального состава света, наблюдатель с нормальным зрением отчетливо зафиксирует различие цветов. Установлено, что методом сравнения можно различить по цвету много миллионов световых излучений.
С первого взгляда может показаться, что цвета взаимно-однозначно связаны с порождающими их световыми излучениями, и поэтому наблюдатель, регистрирующий равенство или неравенство цветов, тем самым обнаруживает совпадение или различие соответствующих световых излучений. Факты, однако, говорят, что это не так. Оказывается, существует множество совершенно различных по спектру и по мощности световых излучений (их называют метамерными), которые для глаза неотличимы по цвету. Отсюда следует, что различаемых цветов гораздо меньше, чем имеющихся световых излучений. Орган зрения реагирует одним и тем же цветом на огромное число различных световых излучений. Таким образом, глаз, формируя цвет, тем самым группирует световые излучения в некоторые классы. Установлено, кроме того, что различные наблюдатели классифицируют световые излучения не совсем одинаково. Поэтому световые излучения, видимые одним наблюдателем как одноцветные, для другого наблюдателя будут, как правило, выглядеть не одинаковыми по цвету.
Из этих фактов следует, что каждый человек представляет собой особый объект для колориметрического обследования. Более того, оказывается, что один и тот же наблюдатель в различные периоды своей жизни в колориметрических опытах может реагировать по-разному. Это означает, что параметры зрительной системы человека с течением времени меняются, эволюционируют. Несмотря на эти обстоятельства и на то, что в колориметрических опытах приходится иметь дело с субъективными ощущениями наблюдателя и с его субъективно формируемым решением о равенстве или неравенстве цветов, эти опыты строго объективны и вполне могут быть отнесены к разряду чисто физических экспериментов. Исход колориметрических опытов совершенно не зависит от желания наблюдателя. Хотя наблюдатель может произвольно выдумать свой ответ или же
ошибиться в выработке правильного ответа (например, при отвлечении внимания в процессе сравнения цветов), однако исследователь имеет возможность обнаружить такие ответы и отвергнуть их, подобно тому, как в процессе обработки результатов физического эксперимента удается выявить и исключить промахи экспериментатора.
Наблюдатель в колориметрическом опыте действует вполне машинообразно: повторное предъявление той же самой пары световых излучений приводит к тому же самому ответу (если, конечно, не растягивать проведение эксперимента на многие годы, когда сам наблюдатель станет иным). Правда, в особых случаях, а именно — когда цвета находятся на границе между равенством и неравенством, наблюдается элемент случайности в ответе. Но такой же элемент случайности появляется в любом физическом экспе -рименте в тех случаях, когда приходится работать на пределе возможностей измерительных приборов. В этих случаях точность исхода физических опытов обычно повышают путем многократного повторения одних и тех же испытаний с последующей статистической обработкой результатов экспериментов. Такая же статистическая обработка ответов испытуемого возможна и в колориметрических опытах. Точность, достигаемая в колориметрических опытах, составляет 2^3 знака, а при глубокой статистической обработке может доходить до четырех. Далеко не каждый физический эксперимент можно выполнить с такой высокой точностью.
Из всего сказанного вывод таков: в колориметрических опытах мы имеем тот, по существу поразительный, случай, когда субъективные ощущения человека и его субъективные действия, производимые им при сравнении цветов, успешно исследуются вполне объективными, чисто физическими методами. Иными словами, колориметрические опыты демонстрируют нам принципиальную возможность объективного изучения субъективных состояний человека, дают конкретный прецедент такого изучения. Это заключение очень ответственно, поскольку из него можно извлечь ряд далеко идущих выводов. В самом деле, если это так, тогда нет непроходимой пропасти между объективным физическим миром и субъективным миром человека. Значит, понятия, выражаемые словами “объективный” и “субъективный”, логически не исключают друг друга, и второе поглощается первым. Это значит также, что субъективные состояния поддаются вполне объективному изучению чисто физическими методами.
В связи со столь кардинальными выводами, тезис о возможности успешного объективного изучения некоторых субъективных состояний человека с помощью колориметрических опытов, на котором эти выводы основываются, должен быть подвергнут тщательнейшей проверке и придирчивому критическому рассмотрению. К выполнению этой задачи мы сейчас и приступим. Главное возражение состоит в следующем. В колориметрических опытах, действительно, изучается объективно регистрируемое поведение человека. В них наблюдатель выступает в роли некоего “черного ящика” с двумя входами и одним выходом. На входы “черного ящика” поступают световые излучения, характеризуемые своими спектрами b’(X) и b ’’(X). С математической точки зрения эти спектры представляют собой некоторые функ-
РИ, 1998, № 1
107
ции вещественного аргумента X, заданного на интер -вале [Xi, X2], с вещественными значениями b’(X) и b’’(X). На выходе “черного ящика” формируется двоичный сигнал ує{0, 1}. Его значение 1 будем интерпретировать как ответ наблюдателя “да”, означающий равенство цветов на полях сравнения, а значение 0 как ответ “нет”, означающий неравенство цветов. Таким образом, наблюдатель своим поведением реализует некоторый предикат
у=Ф(Ь’(Х), b’’(X)), (1.2)
и именно свойства этого предиката изучаются в колориметрических экспериментах. Как входные сигналы b’(X), b ”(X), так и выходной сигнал у могут быть зарегистрированы физическими приборами и поэтому дают вполне объективную информацию для установления вида предиката Ф.
Однако во всем этом еще нет места для субъективных состояний наблюдателя; пока ни слова не сказано о цветах зрительных ощущений и об операции сравнения цветов, осуществляемой сознанием наблюдателя. Правда, основываясь на собственном субъективном опыте, мы можем утверждать, что: 1) когда наблюдатель формирует сигнал y=1, при этом цвета его ощущений, в самом деле, равны; 2) при этом наблюдатель, действительно, каким-то усилием своего сознания сравнивает между собой цвета и приходит к заключению об их равенстве. Тем не менее, в справедливости этих двух утверждений мы не можем удостовериться посредством объективных наблюдений.
Как можно бороться с этим возражением? Оно утратило бы силу, если бы нам удалось, исходя только из объективно наблюдаемых свойств предиката Ф, каким-то образом доказать, что преобразование сигналов Ф можно представить в виде
y=D(f(b’(X)), f(b’’(X))). (1.3)
Здесь сигналы
f(b’(X))=u’, fb’’(X))=u’’, (1.4)
u’ =(u’1, u’2, u’3), u’’ =(u’’1, u’’2, u’’3) — (1.5) трехмерные векторы с вещественными компонентами u’1, u’2, u’3 и u”h u’’2, u’3, вычисляемыми по формулам
X 2 X 2
uj = Jb' (X) Kx (X)dX, м2 = Jb' (X) K2 (X)dX,
X j X j
X2 X2
m3 = Jb' (X) K3 (X)dX; mJ = Jb" (X) Kj (X)dX, (1.6)
X j X j
X 2 X 2
m'2 = Jb"(X)K2(X)dX, м3 = Jb"(X)K3(X)dX.
Xj Xj
Формулы (1.5) математически описывают вид функций u’=f(b’(X)) и u’’=f(b’’(X)). Буквой D обозначен предикат равенства, определяемый следующим образом:
D(u', м")
1, если м'=м", 0, если uVu".
(1.7)
Только что описанное представление предиката Ф легко интерпретируется в психологических терминах. Сигналы м’ и м’’ можно понимать как цвета полей сравнения, субъективно переживаемые наблюдателем. Функцию fинтерпретируем как преобразование светового излучения в цвет зрительного ощущения, производимое зрительной системой человека. Предикат D будем интерпретировать как
операцию сравнения цветов полей сравнения, осуществляемую сознанием наблюдателя. Если бы удалось доказать, что предикат (1.2) может быть представлен в виде соотношений (1.3)^(1.7), это дало бы нам право утверждать, что: 1) сигналы м’ и м’’ могут быть приняты в качестве математического описания цветов на полях сравнения; 2) функция f может быть принята в качестве математического описания преобразования светового излучения, действующего на сетчатку глаза, в цвет зрительного ощущения, возникающего в сознании наблюдателя. В результате была бы полностью решена задача логического обоснования объективными методами математической модели цветового зрения (1.1), предложенной Максвел -лом.
Описанный подход, однако, тоже может быть подвергнут критике. Возражение состоит в том, что при этом подходе имеется в виду лишь доказательство возможности представления преобразования сигналов в зрительной системе в виде (1.3). Надо же доказывать необходимость такого представления. Согласно этой точке зрения следует доказывать, что зрительный анализатор действительно обладает анатомо-физиологическими структурами, вычисляющими в процессе зрения значения интегралов (1.1), и что цвет зрительных ощущений на самом деле есть тройка числовых кодов, материально представленных в виде некоторого физико-химического процесса. На это возражение можно ответить следующим образом. Спору нет, было бы очень заманчиво получить не только функциональное, но и структурное описание зрительного анализатора. Однако получение математических зависимостей, описывающих лишь способ функционирования зрительной системы, — это тоже немало. Даже в физике в большинстве случаев ограничиваются функциональным (феноменологическим) описанием процессов. Небесная механика, ядерная физика и многие другие важные разделы физики идут почти исключительно по этому пути. Если же мы хотим ограничиться функциональной стороной дела, тогда с неизбежностью придется довольствоваться лишь возможными математическими моделями изучаемых процессов. Все возможные различающиеся между собой по структуре тождественные формулы, описывающие одну и ту же функцию, придется при этом считать равноценными. Ни одной из этих формул нельзя отдать предпочтения при функциональном подходе, сколь бы сильно они ни отличались друг от друга по своей структуре.
1.2. Исследования Шредингера
Итак, для того, чтобы продемонстрировать возможность успешного объективного изучения субъективных состояний человека, осталось сделать “совсем немного: доказать, что предикат (1.2) может быть записан в виде системы соотношений (1.3) Д1.7). Первую попытку такого доказательства (и пока единственную) предпринял в 1920 году Шредингер
[3]. Насколько нам известно, его статья вообще является первым исследованием такого рода во всей психофизике. Поэтому она заслуживает самого пристального изучения. Здесь кратко излагается ход идей Шредингера по обоснованию зависимостей (1.3Ж1.7).
В начале статьи автор пишет, что в ней разработан проект теоретического обоснования колориметрии.
РИ, 1998, № 1
108
Отсюда явствует, что он не претендует на исчерпывающее решение поставленной задачи и отдает себе отчет в ее сложности. Далее Шредингер пишет, что искусство измерения цвета он рассматривает преимущественно как составную часть экспериментальной физики, а не как составную часть физиологии ощущений. Вместе с тем, он подчеркивает принципиальное отличие измерений, осуществляемых органами чувств, от любых измерений, производимых при помощи физических приборов. Колориметрические измерения основаны на том, что мы в состоянии вынести суждение о том, одинаковы или нет два граничащих между собою цветных поля. В то время как результаты измерения одного и того же физического параметра не зависят от типа использованного прибора, результаты цветовосприятия существенно зависят от глаза наблюдателя. В последнем случае никак нельзя заменить глаз каким-либо инструментом, так как глаз другого наблюдателя по-иному воспринимает тот же самый световой стимул, и абсолютно излишними будут споры о том, чье восприятие лучше или правильнее. Два различных источника света, видимые одинаковыми, взятые сами по себе, не имеют ничего общего, кроме того, что они кажутся этому глазу одинаковыми; оценка света глазом является неоспоримой и никаким другим измерительным прибором не проверяется и не воспроизводится.
После всего этого можно было бы сказать, что область зрения принадлежит совсем не физике. Здесь исследуются не объективные свойства физического мира, а свойства субъективных ощущений. Шредингер, однако, возражает против такой постановки вопроса. Он говорит, что при исследовании цвета речь идет не об изучении свойств и закономерностей окружающего нас физического мира, а об изучении способа действия органа ощущения. Это сразу приводит к выводу, что цвет является не менее объективным предметом исследований, чем атомы, электромагнитные поля, источники света и т. д. Если все же кто-нибудь будет против этого возражать и настаивать на принципиальном отличии физических явлений от субъективных ощущений, ему можно ответить следующим образом. Единственной связью человека с внешним миром являются его органы чувств. Вся объективная информация о физических процессах, прежде чем станет достоянием нашего разума, так или иначе проходит через ощущения и в этом смысле является субъективной. Следовательно, это возражение ведет к солипсистскому выводу, что все наши знания об окружающем мире субъективны. Таким образом, не следует думать, что в то время как тела, которые нас окружают, обладают сами по себе определенными свойствами, тем не менее цвета имеют значение только для нас. Трехмерное многообразие цвета, цветовое пространство обладает совершенно такой же реальностью, как и наше физическое трехмерное пространство. Конечно, способ, каким мы задаем в нем координаты, классифицируем и измеряем его элементы, является искусственно созданной математической конструкцией, но то же самое относится и к обычному физическому пространству.
После этого введения Шредингер приступает к характеристике света и цвета. Цвет появляется тогда, когда в глаз попадает свет. Световое излучение описывается при помощи спектра — функции ДХ)
длины волны Х, изменяющейся в пределах от 0,4 до 0,8 мкм. Множество спектров образует функциональное пространство, его мощность больше, чем мощность любого конечномерного пространства. В принципе, возможно, чтобы это же относилось и к множеству цветов, однако это не так: это множество всего лишь трехмерно. Световые спектры группируются по принципу неразличимости соответствующих цветов на полях сравнения в большие классы. Каждый класс равен по мощности функциональному пространству, а многообразие этих классов трехмерно. Шредингер предлагает понимать под выражением “цвет излучения” класс всевозможных излучений, выглядящих одинаковыми по цвету с излучениемДХ).
Далее вводится операция сложенияДХ)+£(Х) световых излученийДХ) и g(X) . Суммарное излучение получается при совмещении лучей в одном и том же месте. Утверждается, что с равным правом можно говорить и о сложении цветов, и что это следует из третьего закона Грассмана: “Одинаково выглядящие излучения дают при сложении одинаково выглядящие излучения”. Затем Шредингер вводит обозначения для цветов, знак = для обозначения равенства цветов. Вводится также операция вычитания цветов: если A +X=B, то полагаем, что X=B-A. Указывается, что вычитание однозначно, однако оно определено не для всех пар цветов. Умножение цвета на натуральное число m определяется как многократное сложение mA =A + A +A + +...+A m раз. Обратной к этой операции будет операция умножения на дробь вида 1/m. Для того чтобы найти цвет A /m, нужно разделить спектр Д(Х), соответствующий цветуA, на m. СпектрД(Х)/ m будет соответствовать цветуA/m. Отмечается, что однозначность последней операции не очевидна и требует доказательства. Суперпозиция этих двух операций приводит к операции умножения цвета на рациональное число. Далее производится ссылка на второй закон Грассмана: “Непрерывному изменению излучения соответствует непрерывное изменение цвета”. Здесь Шредингер предлагает свою редакцию этого закона: “Если ф(Х) и ф(Х)+стф(Х) являются двумя мало отличающимися друг от друга излучениями, а ф(Х) означает излучение, выглядящее одинаково с ф(Х), то среди одинаково выглядящих излучений ф+СТф найдется минимум одно ф+стф, которое ненамного будет отличаться от у”. Сославшись на нее, Шредингер приходит к понятию произведения рА произвольного вещественного числа р на цвет А.
Но можно ли принять постулат об однозначности деления цвета на натуральное число, т. е. утверждать, что из равенства рА=рВ следует равенство А=В? Шредингер полагает, что этого нельзя сделать без дополнительных ссылок на опыт и здесь же приводит постулат, принадлежащий Герингу: “Одинаково выглядящие излучения будут одинаковыми, если повышать или понижать интенсивность каждого из них в одинаковых размерах”. По поводу этого постулата замечается, что в нем, вероятно, содержится избыточная информация, так как частный случай этого постулата об умножении на натуральные числа был уже логически выведен из сложения цветов.
Переходя к обсуждению вопроса о размерности цветового пространства, Шредингер приводит формулировку первого закона Грассмана: “Для любого излучения можно подобрать одинаково выглядящую
РИ, 1998, № 1
109
смесь белого излучения с некоторым чистым спектральным или же пурпурным излучением”. Под чистым спектральным понимается монохроматическое излучение, под пурпурным — смесь крайних в видимой части спектра монохроматических излучений. Он замечает, что эта формулировка содержит больше информации, чем это нужно для обоснования размерности цветового пространства, и предлагает свою собственную формулировку постулата: “Существует линейно независимая тройка цветов. Любые четыре цвета всегда линейно зависимы”.
Далее указывается способ взаимно-однозначного сопоставления каждому цвету трех вещественных чисел, называемых координатами цвета. Надо взять тройку А, В, С линейно независимых эталонных цветов и световое излучение со спектром Ф(Х), ни в одной точке не обращающимся в нуль. Из этого спектра вырезается небольшой участок на интервале [X, Х+ДХ] — так называемое “спектральное излучение”, и цвет FX от этого излучения уравнивается линейной комбинацией эталонных цветов FX=x\A+X2B+x3C. Если “спектральное излучение” сдвигать вдоль оси длин волн, меняя значение величины X, коэффициенты Х1, Х2, х3 при эталонных цветах будут изменяться, таким образом, получаем три функции x1(X), x2(X), хз(Х). В качестве координат цвета “спектрального излучения” единичной мощности принимаются числа
ХііХі Х2(Х) Х3 (Х)
Ф(Х) Ф(Х) Ф(Х)'
Координаты цвета произвольного излученияДХ) вычисляются по формулам
7 ф ’ 7 ф ’ 7 ф .
Утверждается, что эти результаты можно с достаточной точностью заменить определенными интегралами вида
|Лх)х_(Х) . гЛХЫХ)^, гЛХЫХи.
J Ф(Х) J Ф(Х) J Ф(Х)
Интегрирование здесь ведется по всей видимой части спектра в диапазоне ХО[0,4 з 0,8 мкм]. В статье Шредингера рассматривается также много других вопросов, однако они не отражены в нашем изложении, как не относящиеся к интересующей нас теме. Вместе с тем, мы постарались извлечь из нее все существенное, что связано с обоснованием соотношений (1.3)—(1.7).
1.3. Постановка задач исследования
Соображения Шредингера, изложенные выше, имеют, на наш взгляд, огромное значение для науки. Здесь впервые провозглашается, что ощущения человека могут успешно исследоваться чисто объективными методами и описываться математическими зависимостями точно так же, как и физические процессы. Более того, на примере зрительных ощущений показывается, как конкретно должно вестись исследование психических состояний, чтобы оно, в конечном итоге, приводило к их достоверному математическому описанию. Тезис Шредингера о возможности объективного изучения субъективных состояний не противоречит философии диалектичес -кого материализма, который считает, что между
физическим и психическим нет непроходимой пропасти. В.И. Ленин писал: “...противоположность материи и сознания имеет абсолютное значение только в пределах очень ограниченной области: в данном случае исключительно в пределах основного гносеологического вопроса о том, что признать первичным, а что вторичным. За этими пределами относительность данного противоположения несомненна” [5]. “За этими пределами оперировать с противоположностью материи и духа, физического и психического, как с абсолютной противоположностью, было бы громадной ошибкой” [5].
Вместе с тем, как пишет сам Шредингер, его работа является лишь попыткой создания проекта теоретического обоснования колориметрии; она пред -ставляет собой не завершение, а только начало разработки проблемы. Ниже анализируются недостатки и пробелы в работе Шредингера. Это делается не с той целью, чтобы умалить его заслуги, которые, в действительности, очень велики, а затем, чтобы, отправляясь от достижений Шредингера, двинуться дальше в разработке поставленной им проблемы. Шредингер указывает, что множество спектров световых излучений образует функциональное пространство. Но какое именно? Этот вопрос остается без ответа. Между тем ясно, что ход дальнейших рассуждений должен существенно зависеть от выбора конкретного способа математического описания всей совокупности возможных зрительных стимулов, что световые спектры по признаку цвета группируются в классы. Ясно, что имеются в виду классы эквивалентности. Однако далеко не каждый бинарный предикат порождает классы эквивалентности. Так, множества равноцветных излучений, в принципе, могли бы и пересекаться — в этом нет ничего логически невозможного. Классы излучений, дающих один и тот же цвет на левом поле, могли бы и не совпадать с классами равноцветных излучений для правого поля. Чтобы этого не случилось, нужно потребовать, чтобы поведение наблюдателя подчинялось некоторым специальным свойствам. Однако об этих свойствах в работе Шредингера ничего не говорится. Вследствие этого существование классов излучений, которые можно было бы отождествить с цветами, остается недоказанным.
Шредингер без каких-либо оговорок пользуется операцией сложения излучения и операцией умножения излучения на вещественное число. При этом, очевидно, предполагается, что пространство излучений является линейным. Однако об аксиомах линейного пространства, которые должны при этом выполняться в опыте, ничего не говорится. Далее вводятся операции сложения и вычитания цветов (т.е. классов излучений). При этом указывается, что вычитание цветов определено не для всех пар цветов. Но это противоречит прежде сделанному предположению о том, что множество всех излучений, видимых глазом, есть функциональное пространство. На самом же деле Шредингер, очевидно, имеет в виду, что спектры не могут иметь отрицательных значений. Следовательно, речь должна идти не обо всем функциональном пространстве, а только о какой- то его части, по-видимому, о положительном конусе, однако это не оговаривается, эта сторона дела никак не отражена в постулатах, которые должны выполняться в опыте.
110
РИ, 1998, № 1
Много неясного в понятии непрерывности множества цветов. Что значат слова “непрерывное изменение цвета”, если под цветом понимается класс излучений? Как вывести из закона непрерывности в формулировке Грассмана или Шредингера существование и единственность произведения цвета на вещественное число? Эти и другие вопросы, которые можно было бы здесь поставить, остаются без ответа. То же самое относится и к проблеме доказательства конечномерности пространства цветов. Выглядят весьма бездоказательными и рассуждения о введении тройки чисел для математической характеристики цвета. Как доказать, что эта тройка чисел взаимнооднозначно связана с цветом? Сказанного достаточно, чтобы убедиться в том, что работа Шредингера, действительно, дает лишь проект теоретического обоснования колориметрии. К сделанному надо добавить еще очень многое, чтобы этот проект превратился в законченную научную теорию цвета. Целью настоящей статьи является разработка идей, сформулированных Шредингером.
1.4. Линейно порожденные предикаты
Пусть V — выпуклое множество в пространстве L2[0, 1]. Это значит, что для любых двух точек x, yeV отрезок [х, y]={Z/Z=(X-y)x+yy, 0<у<1| является частью множества V. Отметим несколько частных случаев, которые, в основном, будут нас интересовать в приложениях. А именно, когда V— все пространство, V- окрестность некоторой точки, V- положительный конус пространства L2[0, 1] и, наконец, V — пересечение положительного конуса с некоторым телесным ограниченным множеством. Второй из этих случаев встречается, когда существуют экспериментальные возможности лишь для локального изучения предиката. Естественно, на основе такой информации могут быть сделаны доказательные выводы лишь для изученной окрестности. С математической точки зрения это означает, что рассматривается только ограничение предиката на эту окрестность, хотя физически предикат может быть определен и вне ее.
Положительным конусом в пространстве L2[0, 1] называется множество всех неотрицательных функций (более точно, всех классов эквивалентности по отношению равенства почти всюду, содержащих неотрицательные функции) этого пространства с линейной и топологической структурой, индуцированной на нем в пространство. Это множество выпукло: если x(t) иy(t) - неотрицательные функции, то их выпуклая комбинация z(t)=(1 -y)x(t) +yy (t) (0<y< 1) также является неотрицательной функцией. Необходимость изучения только неотрицательных функций возникает, например, в случаях, когда функции являются математическим описанием спектра. Наконец, четвертый случай на практике возникает, когда существенны оба приведенные выше соображения. Например, при изучении зрения человека ограничиваются излучениями с не очень большими энергиями, поскольку чрезмерно интенсивные излучения могут разрушить орган зрения. Это значит, что рассматриваются излучения со спектральными характеристиками, являющимися неотрицательными функциями х(Х), удовлетворяющими условиям ||х||<с, где с - некоторая положительная константа. Другими словами, в этом случае множество V является пересечением положительного конуса и некоторого шара с центром в нуле.
РИ, 1998, № 1
Договоримся о терминологии и обозначениях. Линейным оператором будем называть аддитивный, однородный и непрерывный оператор в L2[0, 1]. Для любого линейного оператораA и множества Vчерез A(V) будем обозначать множество всех точекує£2[0, 1], для которых существуют точки хeV такие, что y=Ax. B частном случае, когда V совпадает со всем пространством, это множество называется образом оператора А и обозначается ImA. Множество всех точек xeL2[0, 1], для которыхАх=0, называется ядром оператора и обозначается через Кег4. Через A* будем обозначать оператор, сопряженный с оператором А , т. е. такой, для которого при всех х, уeL2[0, 1] справедливо равенство (Ax, y)=(x, A*y).
Если подпространства X и Y пространства L2[0, 1] обладают тем свойством, что для любого элемента zeL2[0, 1] существуют единственные элементы xeX и ye Y такие, что z=x+y, то говорят, что пространство L2[0, 1] разложено в прямую сумму подпространств X и Y. Этот факт будем изображать равенством L2[0,
1] =X + Y. В частном случае, когда в прямом разложении подпространства X и Y взаимно ортогональны, говорят об ортогональном разложении. Будем писать в таком случае L2[0, 1]=X®Y. ОператорA называется проектором, если он линеен и идемпотентен, т.е. A2=A. Для любого проектора существует разложение в прямую сумму:
L2[0, 1]=ImA + Кет4, (1.8)
причем A является тождественным преобразованием на ImA. Проектор проектирует параллельно своему ядру. В частном случае, когда проектор Р является самосопряженным оператором (т.е. Р*=Р), он называется ортопроектором. В этом случае прямое разложение (1.8) является ортогональным:
L2[0, 1]=ImP©KerP. (1.9)
Множество M называется аффинным многообразием, если (1-у)х+ууеМдля всех х, у еМ и всех чисел у. Каждое аффинное многообразие Мпараллельно единственному линейному многообразию М0 в том смыс -ле, что М=М0+а для некоторой точки аеМ. Линейное многообразие М0 называется транслянтом аффинного многообразия М. Для всякого множества Vсуществует единственное минимальное по включению аффинное множество М, содержащее V. Оно именуется аффинной оболочкой множества V и обозначается affV Транслянт множества affVбудем обозначать T(V). Наконец, договоримся для всякого множества Vобозначать через L(V) его линейную оболочку.
Рассмотрим предикат Ф, определенный на декартовом квадрате Vx V, где V - некоторое множество в L2[0, X]. Другими словами, Ф — функция, которая ставит в соответствие любой паре х, у е V число нуль или один. Будем предполагать, что этот предикат удовлетворяет условиям:
1) для любого хе V имеет место равенство Ф(х, х)= 1;
2) для любых х, уeV равенство Ф(х, у)=1 влечет равенство Ф(у, х )=1,
3) для любых х, у, ze V равенства Ф(х, у )=1 и Ф(у,
z)=1 влекут равенство Ф(х, z)=1.
При этих условиях отношение между x и у, состоящее в выполнении равенства Ф(х, у )= 1, обладает рефлексивностью, симметричностью и транзитивностью. Такое отношение порождает на V разбиение на классы, а именно х и у принадлежат одному
111
классу тогда и только тогда, когда Ф(х, у)=1. Нас будут интересовать условия, при которых это разбиение на классы согласуется с линейной и топологической структурой пространства L2[0, 1].
Назовем предикат Флинейно порожденным, если в L2[0, 1] существует такой ортопроектор Р, что для всех х, у є V
Ф(х, y)=D(Px, Py), (1.10)
где D—предикат равенства: D(u, v)=1 тогда и только тогда, когда u=v.
Лемма 1.1. Для того чтобы предикат Ф, определенный на квадрате произвольного множества V, быллиней-но порожденным, необходимо и достаточно, чтобы в L2[0, 1] сущеcтвовал такой линейный оператор В с замкнутым образом, что
Ф(х, у)=D(Вх, Ву), х, ує V. (1.11)
Доказательство. Достаточность. Пусть линейный оператор В связан с предикатом Ф равенством
(1.11) . Для любого оператора с замкнутым образом существует разложение в ортогональную сумму
L2[0, 1]=ImS*®Ker5. (1.12)
Обозначим через Р ортопроектор L2[0, 1] на подпространство ImB*. Комбинация равенств (1.9) и
(1.12) дает
ImP=ImS*, KerP=Ker5. (1.13)
Покажем, что для так определенного ортопроектора Р выполняется равенство (1.10). Пусть Ф(х, у)=1. Тогда, в силу (1.11), Вх=Ву, или, что то же самое, В(х, у)=0. Значит, х-уєКегб. Поэтому из (1.13) следует, что х-ує KerP, т. е. Px=Py. Обратно, если Px=Py, то Bx=By. Таким образом, Ф(х,у)=1 выполняется тогда и только тогда, когда х,yєV и Рх=Ру. Другими словами, справедливо (1.10). Необходимость очевидна, поскольку в качестве В можно взять ортопроектор Р. Лемма 1.1 доказана.
Наша дальнейшая цель заключается в разработке конструкции, которая позволит каждому хє¥ ставить в соответствие единственный элемент у(х) є V такой, что Ф(х, у(х))=1. В случае, когда V — все пространство, таким элементом мог бы быть Рх. В остальных случаях это уже не так, поскольку точка Рх может не принадлежать множеству V. Способ выбора элемента у(х) зависит от характера множества V. Поэтому, начиная с этого места, мы будем некоторое время раздельно рассматривать различные случаи.
1.5. Предикаты на декартовом квадрате всего пространства
Лемма 1.2. Для того чтобы предикат Ф, определенный на квадрате пространства L2[0, 1], был линейным, необходимо и достаточно, чтобы в L2[0, 1] существовал такой линейный оператор А с замкнутым образом, для которого равенство
Ф(х, Ау)=1 (1.14)
выполняется тогда и только тогда, когда Ах=Ау.
Доказательство.Достаточность. Пусть оператор А с указанными свойствами существует. Покажем, что
Ф(х, у)=D(Ах, Ау). (1.15)
Действительно, пусть Ф(х, у )=1. Из условия леммы следует, что Ф(у, Ау)=1. Из двух последних равенств и условия транзитивности 3) вытекает равенство Ф(х, Ау)=1. Тогда по условию Ах=Ау. Пусть, обратно, Ах=Ау. Вместе с уравнением Ф(х, Ах)=1 это дает Ф(х, Ау)=1. Но Ф(у, Ау)=1. Применяя
к двум последним равенствам условия 2) и 3), получаем Ф(х, у)=1. Равенство (1.15) доказано. Из него и леммы 1.1 следует, что предикат Ф линейный. Положим А=Р, где Р — ортопроектор, связанный с Ф определением (1.10), и покажем, что уравнение (1.14) выполняется тогда и только тогда, когда Рх=Ру. Действительно, согласно формуле (1.10), равенство
(1.14) при А=Р может быть переписано в виде Рх=Р2у. Но Р - проектор. Поэтому последнее равенство означает, что Рх=Ру. Лемма 1.2. доказана.
Назовем любой линейный оператор А с замкнутым образом, для которого выполняются условия леммы 1.2, присоединенным к предикату Ф. Как видно из определения (1.10), каждому ортопроектору Р можно поставить в соответствие единственный линейный предикат Ф. Верно и обратное — каждому линейному предикату Ф соответствует только один ортопроектор, удовлетворяющий равенству (1.10). Это следует из того, что если для двух ортопроекторов равенства Р1х=Р1у и Р2х=Р2у эквивалентны при всех х, у є!2[0, 1], то KerF1=KerF2 и, следовательно, Р1=Р2. Таким образом, существует однозначное соответствие между всеми линейными предикатами и всеми ортопроекторами, или, что то же самое, всеми линейными подпространствами. С операторами, присоединенными к линейному предикату Ф, дело обстоит не так. Полная характеристика таких операторов дается следующими утверждениями.
Лемма 1.3. Пусть Ф — линейный предикат, определенным на квадрате пространстваL2[0, 1], Р — соответствующий ортопроектор. Для того чтобы линейный оператор А был присоединенным к предикату Ф, необходимо и достаточно, чтобы выполнялись следующие равенства:
АР=А, РА=Р. (1.16)
Доказательство. Достаточность. Пусть для линейного оператора А выполняются равенства (1.16). Покажем, что образ оператора А замкнут и
KerA=KerP, ImA*=ImP, A2=A. (1.17)
Действительно, пусть хє KerA, т.е. Ах=0. Тогда из второго равенства (1.16) следует, что Рх=РАх=0, т.е. хє^гР. Обратно, если х є^гР, то Рх=0 и Ах=АРх=0, т.е. хє KerA. Первое равенство (1.17) доказано. Далее, А2=(АР)х(АР)=А(РА)Р=АР2=АР=А. Итак, третье уравнение (1.17) выполняется. Из него вытекает замкнутость образа оператора А. Действительно, пусть
{ук }_i cImA, ук ^у при к) ж. Поскольку А — ограниченный оператор, то тогда АукєАу при кє ж. Но каждая точкаук представима в видеук=Ахк. Поэтому Аук=А2хк=Ахк=ук. Таким образом, у=Аує!ш4. Поскольку ImA замкнут, справедливо ортогональное разложение
L2[0, 1]=ImA*®KerA. (1.18)
Сравнивая это равенство с (1.9) и учитывая, что KerA=KerP, получаем второе равенство (1.17). Уравнение (1.14), учитывая (1.10), можно переписать в виде Рх=РАу или, используя (1.16), Рх=Ру. Последнее равенство означает, что х-уєKerP=KerA, а значит Ах=Ау. Достаточность доказана. Необходимость. Пусть линейный оператор А присоединен к линейному предикату Ф. Формула (1.10) позволяет переписать
(1.14) в виде Рх=РАу. Таким образом Рх=РАу тогда и только тогда, когда Ах=Ау. Поэтому, в частности, Рх=РАу для всех хєЬ2[0, 1]. Второе равенство (1.16) доказано. Поскольку оператор А присоединен к
112
РИ, 1998, № 1
предикату Ф, то справедливо (1.15). Сравнивая это равенство с (1.10), получаем D(Ax, Ay)=D(Px, Py). Таким образом, А (х-у)=0 тогда и только тогда, когда Р(х-у)=0, т.е. KerA=KerP. Разложим произвольный элемент хеЬ2[0, 1] в ортогональную сумму х=х1Ех2, где хієІшР, х2єКегР. Тогда Ах=Ахі, так как KerA=KerP. С другой стороны, Рх=Рх1 и, следовательно, АРх=Ах1. Поэтому Ах=АРх для любого элемента хє!2[0, 1], т.е. выполняется первое равенство (1.16). Лемма 1.3 доказана.
Представим для выразительности этот результат в матричном виде. Напомним, что если линейные пространства Х1 и Х2 представлены в виде прямых
сумм Х1=У1 + Z1, Х2=У2 + Z2, линейный оператор А:Х1-^Х2 порождает четыре линейных оператораА 11:У1^-У2,
А12.Х1^.У2, А 21--У1^2,А 22-'Z1^Z2, таких, что А(у1 + Z1)=
(A11y1+A12Z1) + (А21у1 +A22Z1). Матрица, составленная
из этих операторов, называется матричным представлением оператора А. Пусть
А11 А12 А21 А22-
(1.19)
— матричное представление оператора А, соответствующее прямому разложению (1.9).
Следствие 1.1. Пусть Ф - линейный предикат, определенный на квадрате пространства L2[0, 1], Р — соответствующий ортопроектор. Для того чтобы линейный оператор А был присоединен к предикату Ф , необходимо и достаточно, чтобы его матричное представление (1.19) имело вид
1 °|
A2lQj ,
(1.20)
где I - тождественный оператор в пространстве ImP, A21: ImP^KerP - произвольный линейный оператор.
Доказательство. Матричное представление оператора Р имеет вид
Р=
I 0 0 0
Отсюда и из (1.19) получаем
РА=
Ап А12 | У v ІГ А 0
0 0 ) А 21 0
(1.21)
(1.22)
Предположим, что оператор А присоединен к линейному предикату Ф. Тогда имеют место равенства (1.16). Сравнивая выражение (1.21) с первым уравнением (1.22), получаем, что А11 =I, А12 =0. Аналогично из сравнения (1.19) со вторым равенством (1.22), находим, что А22=0. Таким образом, справедливо (1.20). Обратно, пусть справедливо (1.20), т.е. А11=1, А 12=0, А 22=0. Тогда из (1.22) вытекают равенства (1.16). Поэтому в силу леммы 1.3 оператор А является присоединенным к предикату Ф. Следствие 1.1 доказано.
Приведем теперь другое описание множества всех операторов, присоединенных к линейному предикату Ф.
Следствие 1.2. Пусть Ф - линейный предикат, определенный на квадрате пространства L2[0, 1], Р — соответствующий ортопроектор. Для того чтобы линейный оператор А был присоединен к предикату Ф, необходимо и достаточно, чтобы А был проектором параллельно KerP.
Доказательство. Пусть линейный оператор А является присоединенным к предикату Ф. Тогда, как было показано при доказательстве леммы 1.3, А2=А, т.е. А — проектор. Проектор проектирует параллельно своему ядру, но в нашем случае KerA=KerP. Следовательно, проекторA проектирует параллельно KerP. Обратно, пустьА — проектор параллельно KerP, т.е. A2=A, KerA=KerP. Представим произвольный элемент х eZ2[0, 1] в виде х=х1+х2, x1eImP, x2eKerP. Как видно из матричного представления (1.19), xeKerP тогда и только тогда, когда
А 11Х1+А12Х2=0, А 21Х1+А22Х2=0.
Так как KerA=KerP, последние равенства эквивалентны равенству х1=0. Это значит, что А 12=0, А 22=0 и Ker(A11 © A21)={0}. Таким образом,
А11 0
А2і 0
(1.23)
Возводя последнее равенство в квадрат, получаем
А2=
А2п
А21А11
Ho по условию А2=А, т.е. А^ =А11, А 21Ап=А21. Из двух последних равенств следует, что (А11 © А21)АП= =А11 ©А21. Отсюда видно, что оператор А11 ©А21 может быть невырожденным лишь в том случае, єсли
KerA11={0}. Поскольку А^ =A11, то имеет место пря-
мое разложение ImP=ImAn + KerA11. Следовательно,
ImAn=ImP. ТогдаA11=1. Действительно, пусть уєImP и, следовательно, уєIшA11, т.е. существует xeImP
такой, что у=А11х. Имеем А1]у=А121 х=А11х=у. Итак, равенство А11=1 справедливо. Тогда из (1.23) и следствия 1.1 вытекает, что оператор А присоединен к предикату Ф. Следствие 1.2 доказано.
Из формулы (1.15) видно, что оператор, присоединенный к линейному предикату, удовлетворяет условиям леммы 1.1. Обратное утверждение, вообще говоря, неверно. Связь между двумя свойствами оператора — удовлетворять условию леммы 1.1 и быть присоединенным — описывается следующим утверждением.
Следствие 1.3. Пусть Ф - линейный предикат, определенный на квадрате пространства L2[0, 1]. Для того чтобы линейный оператор А был присоединенным к предикату Ф, необходимо и достаточно, чтобы А был проектором и для него выполнялось равенство (1.15).
Доказательство. Пусть оператор А присоединен к предикату Ф. При доказательстве леммы 1.2 было показано, что тогда справедливо (1.15). Тот факт, что А является проектором, вытекает из следствия 1.2. Обратно, пусть А - проектор и имеет место равенство
(1.15). Сравнивая (1.15) и определение (1.10), получаем, что для х, у eZ2[0, 1] Рх=Ру тогда и только тогда, когдаАх=Ау. Следовательно, KerA=KerP. Поэтому из следствия 1.2 вытекает, что оператор A присоединен к предикату Ф. Следствие 1.3 доказано.
Следствие 1.4. Для того чтобы для линейного оператора А существовал линейный предикат, к которому оператор А является присоединенным, необходимо и достаточно, чтобы оператор А был проектором.
РИ, 1998, № 1
113
1.6. Предикаты, определенные на декартовом квадрате выпуклого конуса
Подмножество К пространства L2[0, 1] называется конусом, если УхєКдля любых ХЄК, ХІ0 И Х1+Х2ЄК для любых х1, х2єК. Линейная оболочка L(K) конуса К совпадает с множеством всех точек х пространства, представимых в виде х=х1-х2, х1, х2єК. Нас будут интересовать конусы с замкнутой линейной оболочкой. Подклассом таких конусов являются воспроизводящие конусы. Конус К называется воспроизводящим, если L(K) совпадает со всем пространством. Отметим важный частный случай — положительный конус в L2 [0, 1]. Он является воспроизводящим, поскольку любая функция х(Д, суммируемая с квадратом на [0, 1], может быть представлена в виде x(t)= x+(t)-x-(t), где
\x(t), если х(t) >0, х+ (t) = 1
[ 0, если х(t) < 0,
Г 0, если x(t)>0,
х-(tД-x(t), если х(,)<0. (‘-24)
Очевидно, функции х+ и x- являются неотрицательными и суммируемыми с квадратом.
Если конус К является воспроизводящим, то всякому линейному предикату Ф соответствует лишь один ортопроектор Р, связанный с ним равенством (1.10). Это видно из того, что если для двух ортопроекторов Р1 и Р2 равенства P^P^ и P2 х=Р2у эквивалентны при всех х, уєК, то KerPi=KerP2. Действительно, пусть х eKerP1. Так как К — воспроизводящий конус, то существуют х1,х2єК: x=x1-x2. Тогда P1(x)=P1(x1)-P1(x2)=0, P2(x1)= P1(x1), P2(xi)= P1(x2). Значит, P2(x1)-P2(x2)=0 и KerP1cKerP2. Очевидно, верно и обратное включение. Следовательно, P1=P2. Если К — не воспроизводящий конус, но L(ti) — замкнутое множество, то ортопроектор Р не определен однозначно. Поскольку принципиально этот случай не отличается от случая воспроизводящего конуса (вместо всего пространства L2 [0, 1] можно с самого начала рассматривать подпространство L(^, мы, чтобы не усложнять формулировки, ограничимся в настоящем параграфе случаем воспроизводящего конуса.
Лемма 1.2 не может быть перенесена на случай конуса дословно, поскольку элементы вида Ах (х є К), вообще говоря, не принадлежат конусу К и поэтому выражение Ф(х, Ах) может не иметь смысла. Аналогом леммы 1.2 для случая конуса может служить следующая
Лемма 1.4. Для того чтобы предикат Ф, определенный на квадрате воспроизводящего конуса К, был линейным, необходимо и достаточно, чтобы существовал линейный оператор А с замкнутым образом и отображения (вообще говоря, линейные) fv. L2[0, 1]^=К (i=1, 2), удовлетворяющие следующим условиям:
(f - Л)=/, (1.25)
где I - тождественное отображение; для х, уОКравенство Ф(х+/[(Ау), f2(Ау))=1 выполняется тогда и только тогда, когда Ах=Ау; для х, уєК равенство Ф(х+Д(Ах), у+Д(Ах))=1 выполняется тогда и только тогда, когда
Ф(х, у)=1.
Доказательство.Достаточность. Пусть оператор А и отображения f1, f2 с указанными свойствами существуют. Рассмотрим произвольные х, уєК, для
которых Ф(х, у) = 1. Тогда Ф(х+Д(Ах), у+Д(Ах))=1. Вместе с равенством Ф(х+Д(Ах), Д(Ах)) = 1 это дает Ф(у+f1 (Ах),^(Ах))=1. Но тогда в силу свойства опера-тораА и отображенийf1,f2 должно бытьАх=Ау. Пусть, обратно, х, у єК и Ах=Ау. Имеем Ф(у+^(Ау),^(Ау)) = 1. Комбинируя это равенство с уравнением Ах=Ау, получаем Ф(у+^(Ах),^(Ах))=1. Отсюда и из равенства Ф(х+Д(АхД f2(Ах)) = 1 находим, что Ф(х+Д(Ах), у+f1(Ах))=1. Следовательно, Ф(х, у)=1. Итак, для любых х, уєК уравнение Ф (х, у)=1 выполняется тогда и только тогда, когда Ах=Ау. Это означает, что справедливо равенство Ф(х, у)=D(Ax, Ay), х, у єК. Тогда в силу леммы 1.1 предикат Ф является линейным. Необходимость. Поскольку К — воспроизводящий конус, любой элемент zєL2[0, 1] может быть представлен в виде z=z2-z1, где z1, z^R. Такое представление, вообще говоря, не является единственным. Воспользуемся аксиомой выбора и выберем произвольным образом одно из таких представлений для каждого z. Тогда z2= f2(z), z1=f1(z), гдеf1,f2 — некоторое отображение Л2[0, 1]^К. Очевидно,f2 - f1=I, где I — тождественное отображение. Покажем, что второе и третье условия леммы также выполняются, если положить A=P, где Р — ортопроектор, соответствующий Ф. Равенство Ф(х+^(Ру),^(Ру))=1 в силу формулы (1.10) означает, что Р (х+^(Ру))=Р0Ру), т.е. Рх=Р(Д -А)(Ру). Формулы (1.24) и равенство Р2=Р позволяют заключить, что оно выполняется тогда и только тогда, когда Рх=Ру. Выполнимость третьего условия леммы очевидна. Лемма 1.4 доказана.
Замечание. Как видно из доказательства леммы, отображенияf1 иf2 являются совершенно произвольными, лишь бы для них выполнялось равенство f2 -f1 =I. Другими словами, если какие-либо отображения f1 и^ удовлетворяют условиям леммы 1.4, то любые другие отображения, обладающие данным свойством, также удовлетворяют этим условиям. Кроме того, отображения f1 и f2 могут быть определены не на всем пространстве L2[0, 1], а лишь на ImA, поскольку они применяются к элементам вида Ax.
Будем называть линейный оператор А в L2[0, 1] присоединенным к линейно порожденному предикату Ф, определенному на КхК, если для него существуют такие отображенияf1 и f2, что выполняются условия леммы 1.4.
Лемма 1.5. Пусть Ф - линейный предикат на квадрате воспроизводящего конуса К, Р - отвечающий ему ортопроектор. Для того, чтобы линейный оператор А был присоединенным к предикату Ф, необходимо и достаточно, чтобы выполнялись следующие равенства:
АР=А, РА=Р (1.26)
Доказательство Достаточность. Пусть для линейного оператора А выполняются равенства (1.26). Тогда, как было показано при доказательстве леммы
1.3, ImA замкнут. Обозначим черезf1 иД произвольные отображения L2 [0, 1]^К, для которыхД-f^I. Как было показано при доказательстве леммы 1.4, в сторону необходимости, эти отображения вместе с ортопроектором Р удовлетворяют условиям леммы
1.4. Покажем, что они удовлетворяют тем же условиям и совместно с оператором А. В силу формулы (1.10) равенство Ф(х+Д(Ау), f2(Ау))=1 выполняется тогда и только тогда, когда P(х+f1(Ау))=РАу, т.е. Рх=Р(Д - f1)Ау, или с учетом (1.25) и (1.26) Рх=Ру. Таким образом, второе условие леммы 1.4 выполня-
114
РИ, 1998, № 1
ется. Выполнение третьего условия очевидно. Необходимость. Пусть оператор А является присоединенным к предикату Ф . Второе из условий леммы 1.4 позволяет заключить, что для любыхх ,у еК равенство Ах=Ау выполняется тогда и только тогда, когда Рх=Р(/2-А)Ау или, в силу (1.11), Рх=РАу. В частности, отсюда следует, что Рх=РАх для всех хєК. Поскольку К — воспроизводящий конус, отсюда вытекает второе из равенств (1.26). При доказательстве леммы 1.4 было показано, что для оператораА, присоединенного к предикату Ф, имеет место равенство (1.26). Вместе с (1.10) это дает: для любых х, у еК равенства Ах=Ау и Рх=Ру эквивалентны. Поскольку К — воспроизводящий конус, отсюда следует, что КегА=КегР. Окончание доказательства леммы совпадает с окончанием доказательства леммы 1.3. Лемма 1.5 доказана.
Линейный оператор, присоединенный к предикату Ф, был определен различным образом в случаях всего пространства и конуса. Тем не менее, формулировки леммы 1.3 и 1.5 почти совпадают. Почти совпадают соответственно и формулировки следствий. Поскольку их доказательства отличаются лишь в деталях, мы приведем здесь для случая конуса только формулировки.
Следствие 1.5. Пусть Ф - линейный предикат, определенный на квадрате воспроизводящего конуса К, Р-соответствующий ортопроектор. Для того чтобы линейный оператор А был присоединенным к предикату Ф, необходимо и достаточно, чтобы его матричное представление, соответствующее ортогональномуразложе-нию L2[0, 1]=ImP©KerP, имело вид
А-( 1 "I I А 0) ■
где I - тождественный оператор в пространстве ImP, А21: ImP—KerP - произвольный линейный оператор.
Следствие 1.6. Пусть Ф - линейный предикат, определенный на квадрате воспроизводящего конуса К, Р -соответствующий ортопроектор. Для того чтобы линейный оператор А был присоединенным к предикату Ф, необходимо и достаточно, чтобы А был проектором параллельно KerP.
Следствие 1.7. Пусть Ф - линейно порожденный предикат, определенный на квадрате воспроизводящего конуса K . Для того чтобы линейный оператор А был присоединенным к предикату Ф, необходимо и достаточно, чтобы А был проектором и выполнялось равенство
(1.15).
Следствие 1.8. Для того чтобы для линейного оператора А существовал линейный предикат на квадрате воспроизводящего конуса К, к которому оператор А является присоединенным, необходимо и достаточно, чтобы оператор А был проектором.
1.7. Предикаты на декартовом квадрате выпуклого множества
Аффинная оболочка любого множества V состоит из всех векторов х вида
m
х-ЕХіxi , (1.27)
i-1
где m — любое натуральное число, xi е V, а Хі — произвольные числа, сумма которых равна 1. В случае, когда V — выпуклое множество, это утверждение можно уточнить, а именно:
affV={AjX=P1X1+P2X2, xi eV, Px+P2=1> (1.28)
РИ, 1998, № 1
Проверим это равенство. Пусть хеайК Тогда он представим в виде (1.27). Пусть I — множество всех номеров і в (1.27), для которых Хі<0. Если 1=0, то xe V и для него выполняется (2.28). Пусть ІФ0. Положим
Pi Е^i ; Р2 +ЕХі ; ц.-Р/Хі, іеІ; рі-+Р21Xі, і еІ .
Из (1.27) вытекают представления (1.28), где
xi-Zhxi x2-Ерл .
іеІ ’ іеІ
Поскольку V — выпуклое множество и
Р", 1 г-ЦР' , то хі,х2е V. Кроме того, очевидно,
Рі+Рг=1. Равенство (1.28) доказано.
В дальнейшем нам понадобится еще одно равенство, справедливое для выпуклых множеств:
afiV=(XjA=a+p(x1-x2), р>0, X1eV, x2eV}. (1.29) Здесь a — произвольная фиксированная точка множества V . Проверим это равенство. Обозначим множество, фигурирующее в правой части (1.29), через Z. Это множество является аффинным многообразием. Действительно, пусть z, z'eZ. Тогда z=a+p(x1-x2), z'=a+p'(x1'-x2'); Р>0, Р'>0;
Х1, Х2, Х1', x2eV.
Зададим произвольное число а и положим x=| 1-Х|р+ |Х|р', y=|X|p'x1. Тогда x>0, уе [0, 1] и справедливо равенство
(1-X)z+Xz'=a+x(y1-y2), (1.30)
Здесь у1=(1-у)х1+ух1', y2=(1-y)x2+yx2', в случае 0<Х<1; Л=(1-у)х2+ухь у2=(1-у)х1+ух2, в случае Х>1; л=(1-у)х1+ух2', y2=(1-y)x2+yx1', в случае Х<0. В любом случае У1, y2eVи из (1.30) вытекает, что (1-X)z+Xz'eZ'. Итак, Z — аффинное многообразие. Любая точка veV представима в виде v=a+(v-a). Поэтому Z^V. По определению affV является минимальным аффинным многообразием, содержащим V. Из доказанного выше вытекает, что affVcZ. Проверим справедливость обратного включения. Точки a, х1, х2е VcaffV. Поэтому (1+р)х1-Ъх2еайГ и (1+р)а-рх2еайГ. Легко видеть, что
а+р(х1 - х2 )=+j_(( 1+р)= -Р x2 )+^^(( i+P)a-Px2).
Следовательно, и a+p(x1-x2)eaflV и Zcаff Формула (1.29) доказана.
Лемма 1.6. Пусть V-выпуклое множество и айЕ=Х2[0, 1]. Для того чтобы предикат Ф, определенный на квадрате множества V, был линейным, необходимо и достаточно, чтобы существовали линейный оператор А с замкнутым образом и отображения fi: L2[0, 1]—>V(i=1, 2), уэ: L2[0, 1]—[0, 1], удовлетворяющие условиям:
У0(х)х+(1-у0(х)М(х)=/2(х); (1.31)
для х, ye Vравенство
Ф(У0(Ах)у+(1-у<)(Ах))/1(Ах), /2(Ах))=1 (1.32)
выполняется тогда и только тогда, когда Ах=Ау; для х, у е V равенство
Ф(У0(Ах)х+( 1-у0(Ах))/1(Ах),
Уй(Ах)у+(1-у0(Ах)/1(Ах))=1 (1.33)
выполняется тогда и только тогда, когда Ф(х, у)=1.
Доказательство.Достаточность. Пусть оператор А и отображения у0, /1, /2 удовлетворяют условиям леммы. Рассмотрим какую-либо пару точек х, уе V, для которых Ф(х, у)=1. Тогда для них выполняется (1.33). Комбинируя это равенство с
Ф (у0 (Ах)х+ (1-у0 (Ах))/1 (Ах), /,(Ах))=1, (1.34)
115
получаем (1.32). Но тогда Ах=Ау. Пусть, обратно, Ах=Ау. Тогда выполняется (1.32). Вместе с равенством Ф(уо(Ах)х+(1-уо(Ах))/1(Ах), f2(Ax))=1 это дает
(1.33) . Значит, Ф(х, y)=1. Тогда имеет место равенство
Ф(х, у)=0(Ах, Ау); х, ує V. (1.35)
Поэтому из леммы 1.1 следует, что предикат Ф является линейным. Необходимость. Пусть оператор Ф является линейным. По условию айГ=12[0, 1]. Поэтому любой вектор хєL2[0, 1] представим (не единственным образом) в виде (1.19). Выберем для любого X произвольным образом числа Ъ/ и точки xi, для которых справедливо это равенство. В случае
Ъх<0, Ъ2>0 положим у0= P-1 ,fi(x)=xi,/(x2)=x2. Случай Ъх>0, Ъ2<0 рассматривается аналогично. Другие случаи исключены равенством Ъ1+Ъ2=1. Легко проверить, что в любом случае ^^/^єУи справедливо
(1.33) . Проверим выполнимость второго и третьего условий леммы 1.6, полагаяА=Р, где Р — ортопроектор, соответствующий предикату Ф. В соответствии с (1.10) равенство (1.32) может быть переписано в виде
Р/Г№(Рх)Ру+(1-у0(Рх))=Р/2(Рх)).
Вместе с (1.33) это дает у0(Рх)Ру=у0(Рх)Рх, т.е. Рх= Ру. Тем самым проверено второе условие. Выполнимость третьего очевидна. Лемма 1.6 доказана.
Будем называть оператор А присоединенным к линейному предикату Ф на Vx V, если он вместе с некоторыми отображениями у0, /1 и/ удовлетворяет условиям леммы 1.6.
Лемма 1.7. Пусть Ф - линейный предикат на квадрате выпуклого множества V с affV=L2[0, X], a P — отвечающий ему ортопроектор. Для того чтобы линейный оператор A был присоединенным к предикату Ф, необходимо и достаточно, чтобы
АР=А, РА=Р. (1.36)
Доказательство. Достаточностъ. Пусть оператор А связан с ортопроектором Р, отвечающим предикату Ф, равенствами (1.36). Тогда, как было показано при доказательстве леммы 1.3, образ оператораА замкнут.
Для оператора Р, как было показано при доказательстве леммы 1.6, существуют отображения у0,/1 и /2, которые вместе с Р удовлетворяют условиям леммы 1.6. Покажем, что они удовлетворяют условиям этой леммы и вместе с оператором А. Первое и третье условия очевидны. Проверим второе. Формула (1.10) позволяет переписать равенство (1.32) в виде Yо(Ах)Ру+(1-yо(Ах))Р/1(Ax)=P/2(Ax) или, учитывая (1.31) и (1.36), у0(Ах)Ру=у0(Ах)Рх, т.е. Ру=Рх. Последнее уравнение эквивалентно равенству Ау=Ах, поскольку KerA=KerP. Необходимость. Пусть линейный оператор A присоединен к предикату Ф. Тогда в соответствии с леммой 1.6 предикат является линейным. Формула (2.3) позволяет переписать равенство (1.32) в виде
У0(Ах)Ру+(1-у0 (Ах))Р/1 (Ax)=P/2(Ax) или, учитывая (1.32), Ру=РАх. Таким образом, для всех х, у є Vпоследнее равенство выполняется тогда и только тогда, когда Ах=Ау. Отсюда, в частности, вытекает, что Рх=РАх,хє V. Формула (1.28) позволяет распространить это равенство на множество affV, которое по условию совпадает со всем пространством. Таким образом, второе равенство (1.36) выполняется. Как было показано при доказательстве леммы 1.6, для оператора А имеет место равенство (1.35). Вместе с (1.10) это дает: для любых х, уєV равенства Ах=Ау и Рх=Ру эквивалентны. Покажем,
116
что эта эквивалентность сохраняется для любых точек пространства. Пусть х, yєL2[0, 1]. Тогда по условию леммы х, уєайК Воспользуемся уравнением (1.29): х=a+p(xl-x2), у=а+у(у1->2); a, xb x2, у1, У2Є V; р, у>0. Тогда равенство Ах=Ау означает, что Р(Ах1-Ах2)=у(Ау1-Ау2), т.е. Au=Av, где
u=-
Y
А
P+Y 1 P+Y
у 2 , V=
P
Y
P+Y P+Y
X,
Аналогично, равенство Рх=Ру означает, что Pu=Pv. Ho u, vєV. Поэтому выражения Au=Av и Pu=Pv эквивалентны. Значит, и равенства Ax=Ay и Px=Py эквивалентны. Итак, KerA=KerP и Ра=Р. Как было показано при доказательстве леммы 1.3, отсюда вытекает уравнение АР=А. Лемма 1.7 доказана.
Замечание. Выбор отображений /1, /2 и y0 в представлении линейного предиката через присоединенный оператор не существенен. Если какие-либо отображения /1, /2 и yo удовлетворяют второму и третьему условиям леммы 1.6, то любые другие отображения, для которых выполняется (1.33), также удовлетворяют этим условиям. Это было видно при доказательстве лемм 1.6 и 1.7. Кроме того, отображения /1, /2 и y0 могут рассматриваться не на всем пространстве, а лишь на ImA, так как и во всех формулировках, и во всех доказательствах они применяются лишь к элементам вида Ax.
В случае выпуклого множества справедливы аналоги следствий 1.1-1.4. Приведем их формулировки.
Следствие 1.9. Пусть Ф - линейный предикат, определенный на квадрате выпуклого множества Vс affV=L2 [0, 1], Р — отвечающий ему ортопроектор. Для того чтобы линейный оператор А был присоединенным к предикату Ф, необходимо и достаточно выполнения любого из сле-дующихусловий (тем самым, эти условия эквивалентны).
Матричное представление оператора А, соответствующее прямому разложению L2[0, 1]=ImP®KerF, имеет вид
а4 1 Т
Ц, 0Г
где I — тождественный оператор в пространстве ImP, A21: ImP^-KerP — произвольный линейный оператор.
Оператор А является проектором параллельно KerF и для него справедливо равенство (1.35).
Следствие 1.10. Для того чтобы для линейного оператора А существовал линейный предикат на квадрате выпуклого множества V с affV=L2[0, 1], к которому оператор А является присоединенным, необходимо и достаточно, чтобы А был проектором.
Литература: 1. Ньютон И. Оптика. Изд. 2-е. М.: Гостехте-ориздат, 1954. 320 с. 2. Maxwell J.C. On the theory of compound colours and the relations of the spectrum//Proc. Roy. Soc. 1860. Vol. 10. 3. Schrudinger E. Grundlinien einer Theorie der Ta^ume^c im Tagessehen//Ann. d. Phys., 1920. Bd. 63, N22. 4. Grassman H. Zur Theorie der Farbenmischung//Ann. d. Phys. u Chemie, 1853. Bd. 89, N5. 5. Ленин В. И. Материализм и эмпириокритицизм. М.: Госполитиздат, 1967. 132 с.
Поступила в редколлегию 12.02.98 Походенко Виталина Алексеевна, аспирантка кафедры ПО ЭВМ ХТУРЭ. Научные интересы: идентификация механизмов цветового зрения человека, информатика. Адрес: 312131, Украина, Харьков, п/о "Коммунист -1", уч. гор. ХГАУ, д.34, кв. 39, тел.: 40-94-46, 99-78-32.
РИ, 1998, № 1
Тарасова Татьяна Геннадиевна, инженер. Научные интересы: математические модели зрения человека, прграммирование. Адрес: 310018 Украина, Харьков, ул. Балакирева, 46, кв. 60, тел. 33-74-18.
Шабанов-Кушнаренко Сергей Юрьевич, д-р техн. наук, ведущий научный сотрудник кафедры ПО ЭВМ ХТУРЭ. Научные интересы: идентификация механизмов интеллекта человека, информатика. Адрес: 310058, Украина, Харьков, ул. Культуры, 11, кв 31, тел. 40-94-46.
УДК 528.002+681.51
ИНСТРУМЕНТАЛЬНАЯ ГЕОИНФОРМАЦИОННАЯ СИСТЕМА "ИнГИС"
ТКАЧЕНКО В.Ф., БАБИЙЧУК С.В., ГУБА Н.И., ГРИШИНВ.В., ЧЕЛОМБИТЬКО В.Ф.
Рассмотрены назначение, функции, структура разработанной авторами инструментальной геоинформа-ционой системы (ИнГИС), предназначенной для создания, просмотра и управления ГИС-проектами. Даны определения основных понятий геоинформационных систем. Приведены примеры объектов и областей использования ИнГИС, а также примеры функциональных задач, решаемых разработанной системой.
Разработка ГИС-проектов с использованием объектного подхода [ 1] предполагает предварительное обследование и структуризацию объекта на иерархические уровни с выделением элементов на каждом из них, которые имеют собственный набор атрибутивных данных, представляющих интерес для пользователя. При этом элементы более высокого уровня иерархии состоят из элементов нижнего уровня, которые, в свою очередь, также могут быть разложены на элементы более низкого уровня. Нижний уровень абстракции и количество уровней иерархии исходного сложного объекта определяется целями и набором решаемых задач, которые ставят перед собой разработчики конкретного ГИС-проекта. Этот этап работы выполняется совместно разработчиком ГИС-проекта и его заказчиком вручную. Кроме этого, на предварительном этапе происходит согласование функций справочной системы ГИС-прило-жения, а также перечень функциональных задач, интересующих заказчика.
Вся дальнейшая работа по созданию ГИС-проекта конкретного объекта (предприятия, населенного пункта) с согласованной структурой данных и перечнем функций должна возлагаться на некий инструментальный программный комплекс, который в соответствии с терминологией, приведенной в [2], носит название инструментальная ГИС.
Разработанная ИнГИС относится к классу инструментальных геоинформационных.
При разработке данной системы авторы ставили перед собой следующие цели:
— определить основными объектами, на которые ориентирована система, регионы, населенные пункты (инженерные сети, земельные участки, недвижимость и пр.), предприятия. Графический материал этих объектов может быть представлен как на планшетах (М: 1:500, 1:2000), так и в виде схем;
— обеспечить оперативную автоматизированную настройку системы на любой конкретный объект из
перечисленных и генерацию справочной ГИС данного объекта;
— разработать универсальный, для данной предметной области, блок процедур модификации и редактирования ГИС-проекта;
— обеспечить коммуникабельность системы (им-порт/экспорт внутреннего представления данных в графические и текстовые форматы);
— разработать блок типовых функциональных задач и задач пространственного анализа.
Для организации данных в ИнГИС зафиксированы следующие понятия, отслеживающие иерархическую структуру приложения:
Приложение (объект) — объект реального мира (населенный пункт, предприятие, инженерная сеть и др.), для которого выполняется ГИС-проект.
Проект — структура данных, включающая графическую информацию, а также базу данных текстовой информации об объекте (предприятии).
Тема — логическая совокупность данных (графическая информация и таблицы базы данных) для представления отдельной подсистемы объекта, например — водопроводная сеть, сеть газоснабжения.
Покрытие — логическая совокупность данных об объектах темы, которые имеют общие характеристики (точечные объекты, линейные, полилинейные, полигональные и т.п.) Покрытие состоит из графического представления объектов и таблицы базы данных с атрибутами объектов.
Объект ГИС состоит из графического представления (условного обозначения) некоторого элемента приложения, его графических атрибутов и записи в таблице базы данных покрытия.
Функциональная схема ИнГИС представлена на рисунке.
Функции системы
Реализация основных функций системы основана на принципах объектно-ориентированного программирования (ООП), когда все необходимые свойства объектов ГИС (рисование, отрисовка по БД, запись,
РИ, 1998, № 1
117
