Теория цветового зрения. II

УДК 519.7

ТЕОРИЯ ЦВЕТОВОГО ЗРЕНИЯ. II1

БОНДАРЕНКОМ. Ф.ЩАБАНОВ-КУШНАРЕНКО С.Ю.

Рассматривается теория цветового зрения человека. Изучаются и формулируются экспериментально проверяемые условия линейности предикатной модели цветового зрения.

2.1. Координатные формулировки

В приложениях особенно важным является случай, когда оператор Р конечномерен, т.е. его образ имеет конечную размерность. Будем называть линейный предикат n-мерным, если ранг (рангом линейного оператора В называется размерность его образа; будем обозначать ранг оператора В через rgB ) отвечающего ему ортопроектора Р равен n . Заметим, что это определение корректно, если аффинная оболочка выпуклого множества V, на квадрате которого определен предикат Ф, совпадает со всем пространством. В противном случае ортопроектор Р не определен равенством (1.10) однозначно (формулы, разделы и утверждения, имеющие номер, который начинается единицей, относятся к работе [1]). Из первого равенства (1.13) видно, что для любого линейного оператора В, связанного с предикатом ф равенством (1.11), rgB = rgP . Таким образом, если предикат ф является n-мерным, то для любого такого оператора В будет rgB = n . В частности, так будет для любого оператора А, присоединенного к предикату Ф. В этой части, используя предыдущие результаты, мы разовьем координатную теорию линейных предикатов.

Лемма 2.1. Для того чтобы предикат ф, определенный на квадрате выпуклого множества V с

affV = -2[0, 1], был линейным, необходимо и достаточно, чтобы существовала линейно-независимая система линейных функционалов (в силу теоремы Рисса в гильбертовом пространстве существует канонический изоморфизм между векторами и линейными функционалами. Мы, однако, не всегда будем отождествлять векторы и функционалы в формулировках результатов, имея в виду удобство приложений) {аг }n=1 такая, что для любых х, у є V равенство

Ф

выполняется тогда и только тогда, когда

аг

Достаточность. Пусть {аі }n=1 — линейно-независимая система линейных функционалов, для которой равенства (2.1) и (2.2) эквивалентны. Выберем любую линейно-независимую систему векторов

{еі }n=1 и рассмотрим оператор В, определенный равенством

1 Ч. I см. в журнале “Радиоэлектроника и инфор-

матика”,1998. №1. С. 106-117

Вх = Еаг

і

Тогда равенства (2.2) означают, что Вх = Ву . Таким образом, для любых х, у єV равенства

ф(х, у) = 1 и Вх = Ву выполняются или не выполняются одновременно. Другими словами, имеет место равенство (1.12). Согласно лемме 1.1, предикат ф является линейным. Из линейной независимости систем {аг }n=1, и {ег }n=1 следует, что rgB = n . Ho тогда, как было замечено выше, и rgP = n . Значит,

предикат Ф является n -мерным. Достаточность доказана.

Необходимость. Пусть Ф — n -мерный линейный предикат. Выберем любой линейный оператор в ,

связанный с предикатом Ф равенством (1.12). Тогда rgB = n . Пусть {ег }n=1 — любой базис в подпространстве ImB . Тогда для оператора В найдется такая линейно-независимая система линейных функционалов {аг }n= , аг (х) = (Вх, ег), что при всех

х є 1}[0,1] справедливо равенство (2.3). Очевидно, для любых х, у є L [0,1] Вх = Ву тогда и только

тогда, когда аг(х) = аг(у), і = 1, 2,..., n . Комбинируя этот факт с формулой (1.12), получаем, что равенства (2.1) и (2.2) эквивалентны.

Лемма 2.1 доказана.

Если Ф — линейный предикат, р — соответствующий ортопроектор, то оператор В удовлетворяет равенству (1.12) тогда и только тогда, когда ImB* = ImP . Нас будет интересовать координатная формулировка этого утверждения. Если оператор В представлен в виде (2.3), то для оператора В * имеет место равенство

B * у = Е

i=1

Это значит, что

ImB* = -{аь а2,-, аД .

Следствие 2.1. Для того чтобы две линейнонезависимые системы функционалов {аг }n=1 и {иг }n=1 определяли в смысле леммы 2.1 на квадрате выпуклого множества V с affV = -2[0, 1] один и тот же n -мерный линейный предикат, необходимо и достаточно, чтобы

-Цаь а2,-, аn} = -К,и2,-,Un} .

Доказательство. Пусть система {аг }n=1 определяет

в смысле леммы 2.1 предикат Ф, а система {иг}”= — предикат A . Обозначим через р и Q ортопроекторы, отвечающие предикатам Фи T соответственно. Тогда

110

РИ, 1998, № 4

ImP = L{ab a2,..., a„}, ImQ = L{ul, u2,...,un}. (2.7) Поэтому (2.6) означает, что ImP = ImQ . Поскольку Р и Q — ортопроекторы, последнее равенство

эквивалентно Р = Q . Но в случае affV = L2[0, 1] равенство Р = Q выполняется тогда и только тогда,

когда Ф = T .

Следствие 2.1 доказано.

Для получения координатных аналогов результатов из разделов 1.5^1.7 мы, как и ранее, раздельно

рассмотрим различные случаи множеств V .

Лемма 2.2. Для того чтобы предикат Ф, определенный на квадрате пространства Ц2[0, 1], был n -мерным линейным, необходимо и достаточно, чтобы существовали системы линейно-независимых векторов {ek }n=1 и линейно-независимых функционалов {ak }n=1 такие, что для любого x є L2[0,1]

Ф

тогда и только тогда, когда

\ k = a k

Достаточность. Пусть системы {ek }п=1 и {ak }J!=1 с указанными свойствами существуют.

Рассмотрим оператор A, определенный равенством

Ах = £a k

k=1

Пусть векторы x и у таковы, что Ф(х, Ау) = 1, т.е.

Ф

Тогда по условию леммы

ak(У) = ak(x), k = 1,2,...,n , т.е. Ax = Ay .

Пусть, обратно, для векторов х, у є L2[1, 2] имеет

место равенство Ax = Ay . Поскольку {ek }JLj —

линейно-независимы, то тогда ak (x) = ak (у). Поэтому из условия леммы вытекает равенство (2.11) или, что то же самое, равенство Ф(х, Ау) = 1. Итак,

Ф(х, Ау) = 1 тогда и только тогда, когда Ax = Ay . Согласно лемме 1.2 отсюда следует, что предикат ф линейный. То, что этот предикат является n -мерным, следует из тех же соображений, что и в лемме

2.1. Достаточность доказана.

Необходимость. Пусть ф — n -мерный линейный предикат. Согласно лемме 1.2 существует такой

линейный оператор A , что равенство Ф(х, Ау) = 1 тогда и только тогда, когда Ax = Ay. Как было отмечено в начале настоящего раздела, rgA = rgP. По

условию rgP = n. Значит, и rgA = n . Тогда существуют такие линейно-независимые системы векторов

{ek }n=j и функционалов {a k }'n=1, что имеет место равенство (2.10). Легко видеть, что (2.11) выполняется тогда и только тогда, когда

ak(x) = ak(y), k = 1,2,..., n .

Но это значит, что равенства (2.8) и (2.9) эквивалентны. Лемма 2.2 доказана.

Будем говорить, что пара систем {ek}J! = и {ak }JLj присоединена к n -мерному линейному предикату ф,

определенному на квадрате пространства L2[0, 1], если она удовлетворяет условиям леммы 2.2.

Следствие 2.2. Для того чтобы пара линейнонезависимых векторов и функционалов {ek }п= и

{ak }n=j была присоединена к n -мерному линейному предикату ф, определенному на квадрате пространства L2[0, 1], необходимо и достаточно, чтобы равенство (2.1) было эквивалентно равенству (2.2) и

a,

где Sik — символ Кронекера: Sik =1 тогда и только тогда, когда i = k .

Доказательство. Пусть системы {ek ^ и {a k ^ таковы, что равенства (2.1) и (2.2) для них эквивалентны и выполняется (2.12). Определим оператор А уравнением (2.10). Как и при доказательстве леммы 2.1, можно проверить, что выполняется

равенство Ф(х, у) = D(Ах, Ау). Далее, используя (2.12), получаем

( n \ n

aj(Ax) = 1 a j, £ak(х^к |=£a .(ek)ak(х) = a}.(х).

V k=1 J k=1

Поэтому

n n

А2 х = ^a j (Ах)є}- = j ( х)є}- = Ax.

j=1 j=1

Таким образом, А — проектор. Эквивалентность равенств (2.1) и (2.2) означает справедливость формулы (1.16). Из следствия 1.3 вытекает, что оператор А присоединен к предикату ф. Отсюда вытекает, что (2.8) эквивалентно (2.9).

Проверим необходимость. Пусть системы {ek}n=j и {ak }n=j присоединены к n -мерному линейному

предикату ф . Определим оператор А равенством

(2.10) . При доказательстве леммы 2.2 в сторону достаточности было показано, что так определенный

оператор А является присоединенным к предикату Ф . Тогда согласно следствию 1.3 оператор А присоединен к предикату ф . Отсюда вытекает, что (2.8) эквивалентно (2.9).

Проверим необходимость. Пусть системы {ek}n=j

и {ak }n=j присоединены к n -мерному линейному

предикату ф . Определим оператор А равенством

РИ, 1998, № 4

111

Поскольку предикат ф является n -мерным, то

rgA = n . Отсюда следует, что система {ak }Ч=1 линейно-независима. Но тогда (2.14) может выполняться лишь при условии (2.12).

Следствие 2.2 доказано.

Перейдем теперь к случаю конуса.

Лемма 2.3. Для того чтобы предикат, определенный на квадрате воспроизводящего конуса К , был n -мерным линейным, необходимо и достаточно, чтобы существовали системы линейно-независимых

векторов {ek}>п=1 с К и линейно-независимых функционалов {a k }пк=1 такие, что

gi = g'i - g"i, i =1> 2,...> n . Система {gi '}n=i U {gi "}n=i

полна в подпространстве ImP . Пусть {р* }n=1 — базис, отобранный из элементов этой системы. Таким образом, в Imp существует базис {р* }n=1 с Р (К). Пусть {ak }>n=1 — двойственный базис в ImP . (Базисы

{a k }пк=1 и {р* }n=1 в одном и том же евклидовом пространстве называются взаимно двойственными (дуальными, биортогональными), если для каждого базиса существует единственный двойственный ему базис). Тогда ортопроектор р может быть представлен в виде

ф| * + IU, IU

Dг г ’ Z-i ІЄl ІЄl

1; І-* > 0; - > 0, І є І

тогда и только тогда, когда

І = {|ai (x) < 0} , - = a* (i) при і £ І, -при * є І; равенство

(

Ф

х -

V

Е ai(хК, у

ієі

Ea(x)e

iєl

a (0

выполняется тогда и только тогда, когда ф(х, у ) = 1.

Достаточность. Пусть системы {ek}Ч=1 и {ak}£= с указанными свойствами существуют. Определим, как и ранее, оператор А равенством (2.10). Далее,

определим на ImA отображения f1 и f2 равенствами f

iєl

Легко видеть, что f (ImA) с К и f2 — f1 является

тождественным отображением на ImA . В замечании к лемме 1.4 было отмечено, что для применения этой

леммы достаточно, чтобы отображения f и f2 были

определены только на ImA. Легко видеть, что условия леммы 1.4 выполняются. Из этой леммы следует, что предикат ф является линейным. Поскольку системы {ek }J!=1 и {ak }£= линейно-независимы, то и, следовательно, rgA = n . Достаточность доказана.

Необходимость. Пусть предикат ф является n -мерным линейным, р — соответствующий ортопроектор. Множество Р (К) , очевидно, является конусом. Проверим, что этот конус воспроизводящий в подпространстве ImP . Действительно, пусть у є Im P . Тогда существует х є L2[0, 1] такой, что у = рх . Поскольку К — воспроизводящий конус, найдутся х1, х2 є К, при которых х = х1 - х2. Положим у1 = Рх 1, у2 = Рх 2. Тогда у = У1-У2, Уi є Р(К).

Пусть {g* }n=1 — произвольный базис в ImP . Поскольку Р (К) — воспроизводящий конус в ImP , существуют g\, g"i є P(K) такие, что

Px = E at

*=1

Выберем произвольным образом элементы et є K такие, что Ре t = р j, и положим

n

Ах = Ea

i =1

Заметим теперь, что

(ai, e2) = (Рai, e2) = (a*, P j) = 5y-.

Поэтому

Ae{ = e{, i = l,2,..., n .

Положим І(х) = {| a*(х) <0} . Из (2.19), (2.20) и

линейной независимости векторов {ek }пк=1 следует, что равенство

А|х + J = А^Е—e ); - > 0; - > 0, * є І

выполняется тогда и только тогда, когда І = І(х), - = a* (х) при ЫІ, — = -a* (х) при * є І.

Сравнивая равенства (2.18), (2.19) и Реt =рj, находим, что БДх, Py) = D(Ах, Ay) при всех

х,у є L2[0,1] . Поэтому из определения (1.11) вытекает равенство

которое позволяет переписать (2.21) в виде (2.15). Тем самым доказано выполнение первого из условий леммы 2.3. Выполнимость второго очевидна. Лемма 2.3 доказана.

Будем говорить, что пара систем {ek }£= и {a k }£=

присоединена к n -мерному линейному предикату ф, определенному на квадрате воспроизводящего конуса К , если она удовлетворяет условиям леммы 2.3.

Следствие 2.3. Пусть К — воспроизводящий конус в L2[0,1]. Для того чтобы пара линейно-независимых

систем векторов и функционалов {ek }n=1 и {a k }£= была присоединена к n -мерному линейному предикату ф, определенному на квадрате конуса К, необходимо и достаточно, чтобы равенство (2.1) было эквивалентно (2.2) и имело место (2.12).

Это утверждение проверяется аналогично следствию 2.2.

112

РИ, 1998, № 4

Рассмотрим случай выпуклого множества V . Нам понадобятся некоторые определения из выпуклого анализа [2, 3]. Функция Р(х), х eV называется аффинной, если для любых х1, x2 eV

Р(А,!X! + X2Х2) = ^lP(Xj) + X2Р(Х2), Xi + X2 = 1.

Если V = L [0,1], то непрерывная аффинная функция Р однозначно представима в виде

Р

где b e L2[0,1], с — число. Система точек {ek(^=1 называется аффинно-независимой, если равенства

n+1 n+1

Tjkek = 0, Ey k = 0

k=1 k=1

могут выполняться лишь при y k = 0, k = 1,2,..., n +1. В любом n -мерном аффинном многообразии существуют аффинно-независимые системы из n +1 точек и не существуют такие системы из большего числа точек [3, с. 211 (теорема Каратеодори)]. Таким

образом, если система {e, }n=11 аффинно-независима,

то rg aff{e}n=+11 = n. Любой вектор х e afffe }”+/ представим в виде

n+1 n+1

х=ЕРiei, ЕР,-=1.

i=1 i=1

Если система {e, }n+11 аффинно-независима (и только в этом случае), представление (2.24) единственно. В этом случае р, (х) — непрерывные аффинные функции, удовлетворяющие тому условию, что система линейных уравнений

Р,

разрешимых при любых правых частях таких, что s1 +... + sn+1 = 1. Эти функции называются барицентрическими координатами. Полагая в

I

С у1

ЕР,

v

а, (х) = а0 в, (х),

приходим к представлению (здесь и далее сумму по пустому множеству индексов считаем равной нулю):

а 0х + Еа ,ei = Еа ,ei,

Ш Ш

а, > 0; а 0 > 0; а, > 0 при i e I;

а0 +Еа, =1; Еа, =1

ieI Ш  4  '

Обратно, если для точки х имеет место представление (2.27), (2.28), то, полагая

Р,

а, (х)/а0 (х), i ШI(х),

-а,

приходим к представлению (2.24). Представление (2.27), (2.28) для каждой точки х e aff{e, }n=11 является единственным тогда и только тогда, когда система {e, }n=11 аффинно-независима.

РИ, 1998, № 4

Пусть {а, ( х)}п=01 — некоторая система функций в L2[0, 1] и I(х) — некоторое отображение L2[0, 1] ^ {1, 2,..., n +1} , удовлетворяющее при всех х e L2[0, 1] условию (2.28). Введем систему функций {Р,(х^у1 равенствами (2.29). Будем называть {а, (х)}П+01 I(х) системой однородных координат, если функции р,- (х) являются аффинными и система

(2.25) при условии s1 +... + sn!1 = 1 разрешима.

Лемма 2.4. Для того чтобы предикат ф, определенный на квадрате выпуклого множества V c

affV = L2[0, 1], был n -мерным линейным, необходимо и достаточно, чтобы существовали системы аффинно-независимых точек {e, }n=11 с V и однородных координат {а, (х)}”+(1 , I(х) такие, что

Фу 0х +Е^ ,e,, Е^ ,e, 1 =1;

iei ІШІ

Z 0 > 0, Z, > 0, i e I; Z, > 0, i ШI,

Z0 + EZ, = 1, EZ, = 1

ieI ІШІ

тогда и только тогда, когда у =а, (х), I = I(х); равенство

Ф

а0(х)х + Еа,(х)є,, а0(х)у + Еа,(Ф,

V ieI(х) ieI(х) J

= 1

выполняется тогда и только тогда, когда фх, у) = 1. Достаточность. Пусть системы {e,}”+/ и

{а, (х)}П=0 , I(х) с указанными свойствами существуют. Рассмотрим пару точек х, у , удовлетворяющих

условию Ф(х, у) = 1. Тогда имеет место равенство (2.32). Кроме того, по условию

f

\

Ф а 0(х)х + Е а, (х)є, , Е а, (х)є,

v ieI(х) Ш (х) у

Из (2.31) и (2.33) получаем

1 .

(

Ф

Л

а 0(х)у + Е а,(х)є, , Е а,(х)є,

= 1.

ieI

Поэтому из первого условия леммы следует, что I(у) = I(х); аi (у) = а, (х), i = 0, 1,..., n +1. (2.35) Но тогда и

Р,

Пусть выполняется (2.36) и, следовательно, (2.35). Тогда имеет место равенство (2.34). Комбинируя его с (2.33), получаем (2.32). Тогда по условию леммы

фх,у) = 1.

Исходя из (2.23), можно переписать равенство (2.36) в виде Ах = Ау , где

113

n+1

Ax = Е Ф,, x)ei ,{bi, x) = p i

i =1

Таким образом, Ф(х, у) = 1 тогда и только тогда,

когда Ах = Ау . Из леммы 1.1 следует, что предикат ф линеен. Осталось показать, что rgA = n . Рассмотрим аффинное отображение

n +1

C

i =1

Тот факт, что система (2.25) разрешима при любых [si}n+1, сумма которых равна 1, означает, что

JmC=aff {Єі }f=+/ . Но нетрудно видеть, что C(х) =

= Ах + d , где d = c1e1 +... + cn+1en+1 и, следовательно, ImA = ImC-d . Поэтому размерность линейного оператора А совпадает с размерностью аффинного оператора С , т.е. размерностью aff{ei}"+ . Последняя равна n, так как векторы {ei }n=11 аффиннонезависимы. Достаточность доказана.

Необходимость. Пусть предикат Ф является n -

мерным линейным, P — соответствующий ортопроектор. Проверим, что

affP

Действительно, P(V) с ImP. Поскольку ImP — линейное, а следовательно, аффинное многообразие, отсюда вытекает включение affP(V) = ImP. Пусть

у є ImP . Тогда существует х є L2[0, 1] такой, что у = Рх . Поскольку affV = L2[0, 1], то, согласно (1.29), существуют такие точки х, у єV и числа Xb X 2, сумма которых равна 1, что х = X1x1 + X2х2. Поэтому y = X1 y1 + X2у2, где yi = Pxi є P(V). Отсюда видно, что у є affP(V). Равенство (2.39) доказано.

По условию rgP = n . Поэтому существуют такие векторы gi є ImP, i = 1, 2,..., n +1, что

aff{gi}n+11 = ImP .

Согласно (2.39) и формуле (1.29) найдутся такие

системы {ui }”=11,{vi }n=11 є P(V) и числа X1i, X2i, что

gi =КЩ +X 2iVi, Xh + X 2i = 1, i = 1, 2,..., n +1. П°-

этому aff{gi}”=+/ C aff{{ui}n=11 u {vi}n=11} = ImP . Вместе с (2.40) это дает

aff{{ui}n=11 u {vi}n=+/} = ImP .

Выберем из системы {ui}in=11 u {vi }n=+11 аффинно-независимую подсистему. Из (2.41) и равенства rgP = n

вытекает, что эта подсистема состоит из (n +1) -й точки и ее аффинная оболочка совпадает с образом P . Таким образом, существует аффинно-независимая система {єД+Д с P(V) такая, что

aff{ei'}”+/ = ImP .

Отсюда следует, что для любого элемента х є L2 [0,1] существует единственное представление

n+1 n+1

Px = ЕР ЕР і = 1,

i =1 i =1

причем барицентрические координаты pi (х) являются аффинными функциями. Пользуясь формулой (2.29) перехода от представления (2.24) к представлению (2.27), можно заключить, что существует

такая система однородных координат {ai (x)}”+], I (х), что равенство

% 0Px + Е% ' = Е%іЄі'

при условии (2.31) выполняется тогда и только тогда, когда %г = aг (х), I = I(х). Пусть {ei}"=/ с V — любые

точки, для которых et = Pei. Равенство (2.44) может быть переписано в виде

p\% 0 х + Е% іЄі J = P\E%er J

или, учитывая формулу (1.11), в виде (2.30). Таким образом, первое условие леммы 2.4 проверено. Выполнение второго условия очевидно.

Лемма 2.4 доказана.

Будем говорить, что системы точек {ek }J!+1 и

однородных координат {ak(х)}+0 , I(х) присоединены к n -мерному линейному предикату ф, определенному на квадрате выпуклого множества V c

affV = L2 [0,1], если они удовлетворяют условиям леммы 2.4.

Следствие 2.4. Пусть V — выпуклое множество affV = L2[0,1] . Для того чтобы пара аффинно-независимой системы точек {ek }n+i с V и системы однородных координат {a k (х)}П+10 , I(х) была присоединена к n -мерному линейному предикату ф, определенному на V х V , необходимо и достаточно, чтобы равенство Ф( х, у) = 1 было эквивалентно (2.35) и были справедливы соотношения

а 0 (ey) = 1, а 0 (ey) = 8 ц, I (e;) = 0,

Доказательство. Пусть пара {ek }n=10 и {a k (х)}^+1, I (х) присоединена к n -мерному линейному предикату ф . Тогда, как было показано при доказательстве леммы 2.4 в сторону достаточности, равенство

Ф(х, у) = 1 эквивалентно (2.35). Далее Ф(еj, еj) = 1. Это означает, что выполняется (2.30) с %0 = 1, % j = 1, %г = 0, при i Ф j, I = 0. В силу первого условия леммы 2.4 отсюда вытекает (2.45).

114

РИ, 1998, № 4

Пусть для пары [вк}n=0 и {ак

равенство Ф(х, у) = 1 эквивалентно (2.35) и выполняется (2.45). Заметим, что в силу соотношений (2.26) и (2.29) равенство (2.35) выполняется тогда и только тогда, когда выполняется (2.36), а (2.45) может быть переписано в виде

i,j = 1, 2,..., n +1.

В частности, (2.30) выполняется тогда и только тогда, когда

Р j [$ о х+ Е$ ів j Є) J = P j |J$ e J .

Поскольку в j — аффинные функции и имеют место (2.31), то последнее равенство может быть переписано в виде

$ов j (х) + Е$ів j

ієі iel

или, с учетом (2.46),

ві

$ і 1 $ о, - е I, $ і1 $ о, - є 1.

Сравнивая это равенство с (2.29), находим, что первое условие леммы 2.4 выполняется. Выполнимость второго условия очевидна.

Следствие 2.4 доказано.

2.2. Предикаты, определенные на квадрате открытого выпуклого множества

Пусть V — выпуклое множество в L2 [0,1],

множество affV замкнуто и множество V открыто в affV . Это значит, что для каждой точки х є V

существует такая окрестность W , что W n aff V . Будем для краткости говорить при выполнении этих условий, что множество V относительно открыто.

В частности, если V — открытое множество, то оно, очевидно, относительно открыто. Всюду на протяжении этой статьи ф — обозначение для предиката, удовлетворяющего условиям 1^3 из раздела 1.4 [1].

Теорема 2.1. Для того чтобы предикат ф, определенный на декартовом квадрате относительно открытого выпуклого множества V , был линейным, необходимо и достаточно, чтобы он удовлетворял следующим условиям:

4) еслиФ(х, у) = 1 и Ф(х', у') = 1, то

х + х' у + у' 2 ’ 2

= 1-

5) существует такое подмножество и с V, откры-

тое в affV, что если последовательность {хк }/= схо-

дится к х є U , последовательность {ук }/= сходится

к у єи и Ф(Хк, Ук) = 1, то Ф(х, у) = 1.

Доказательство. Необходимость очевидна. Докажем достаточность. Напомним, что двоично-рациональными называются числа вида m2~n, где m — целое число, n — натуральное. Проверим прежде

всего, что если Ф(х, у) = 1, Ф(х', у') = 1, у — двоично-рациональное число из отрезка [1, 0], то

РИ, 1998, № 4

Ф

Доказательство проведем индукцией по n. При n =1 двоично-рациональными числами из отрезка [0, 1] являются 0, 1/2 и 1. Для чисел у , равных 0 или 1, равенство (2.47) выполняется по условию 4, для у =1/2 этот факт эквивалентен условию 5. Предположим, что (2.47) доказано при данном n. Рассмотрим

число у вида к2_(n+1). Если к — четное, то у — число

вида m2-n и, следовательно, выполнимость (2.47) вытекает из предположения индукции. Пусть у — нечетное число. Тогда у =2 m +1, где m — некоторое натуральное число. Положим, у і = m2-n ,

у 2=(m +1)2-n . Очевидно, у =1/2(у 1+у 2). По предположению индукции

ф((1 —У1) х + У\х\(1 —У1) у + Y1 у') = 1,

Ф((1 —У 2 ) х + У 2 < (1—У 2 ) у + У 2 у') = 1 . Применив к двум последним равенствам условие 4, получим (2.47). Таким образом, (2.47) доказано.

Обозначим через S множество всех элементов $ из L2 [0,1], представимых в виде

$ = в

Пусть для некоторой точки $ є S имеет место равенство

$ = в'(х' — у'); х',у'є V; в' > 0. (2.49) Покажем, что тогда

Ф

Согласно определению множества S для точки $ существует представление

Действительно, пусть z

Если у не является двоично-рациональным, то найдется последовательность двоично-рациональных чисел {ук }“= , сходящаяся к у . Тогда, очевидно, последовательность {Дук )}£= сходится к точке z(у). Но в силу (2.52) Ф(z(ук), у) = 1. Поскольку z(yк), у єU , из условия 5 следует (2.52). В частности, из (2.52) получаем Ф(и, у) = 1, Ф^, у) = 1. Отсюда

вытекает

115

x + у

u =----—

2

+ 5ЧУ - x),

x + y

V =----—

2

f( y- x).

Так как u, v є [x, y], то в силу (2.51) Ф(и, у) = 1.

Пусть z — произвольная точка отрезка [х', у']. Зафиксируем двоично-рациональное число у є (0,1), достаточно близкое к 1. Тогда точка W , определенная равенством

W = \ 1 --Y

х + у 2

1

+— z Y ’

достаточно близка к z и поскольку V — относительно открытое множество, отсюда следует, что w єV . Из равенств Ф(и, V) = 1, Ф(w, w) = 1 с помощью (2.47) находим

Ф

Имеем

(1 - y )u + yw = (1 - y)u + (y - 1)(x + y) / 2 + z =

= z + (1 - Y)(u - (x + у)/2)) = z + (1 - y)(§1 / 2)(у - x) . Но из равенств (2.48) и (2.49) следует, что у-x = (в'/в)(у'-х') .Поэтому

(1 - y)u + yw = z + 5js(у' - x'), где s = в'(1 - y) / 2y . Аналогично

(1-y)v + yw = z + 52s(у1 - x').

Но 5j, 52 — произвольные числа отрезка [-1, 1]. Поэтому (2.54) означает, что для любой точки z є [x',у'] существует такая окрестность на отрезке

[x',у'], для любых точек которой будет Ф(u',v') = 1 . Поскольку отрезок является компактным множеством, из покрытия отрезка [x',у'] этими окрестностями можно выбрать конечное подпокрытие [4]. Отбросим те из оставшихся отрезков, которые являются частью какого-либо другого отрезка покрытия.

Пусть {[uj, vi ]}i=j — получившееся покрытие. Тогда

Щ = x',VN = у', ui < ui+1 < у- < Vi+1 .Поэтому

Ф(ui, ui+1) = 1, а следовательно, Ф(x', uN) = 1. Кроме

того, Ф(uN, у') = 1. Из двух последних равенств вытекает (3.50).

Рассмотрим теперь другой частный случай, когда в (2.49) x',у' є U . Для произвольной точки z є [x',у']

введем точку w равенством (2.53), где у є (0,1) — какое-либо двоично-рациональное число, при котором w є U . Из равенств Ф(x, у) = 1, Ф^, w) = 1 с помощью (2.47) находим

Ф

Имеем (1-y)x + yw = z-s(у'- x'),

(1- Y)у + Yw = z + s(у'-x'), где s = в'(1 - Y)/2e . Поэтому из (2.55) и свойства (2.51) вытекает, что для каждой точки z є[x',у'] существует такая окрестность на этом отрезке, для любых точек u',v' которой будет Ф(u',v') = 1. Как и в предыдущем

случае, отсюда вытекает, что Ф(x', у') = 1.

Перейдем теперь к общему случаю. Зафиксируем произвольную точку х" є U . Подберем такое положительное число в" , чтобы точка

у" = x + в(в ")-1 (x - у) принадлежала множеству U . Тогда

§ =в " (у" - x"); x", у" єU; в " > 0. (2.56) Это второй из рассмотренных ранее частных случаев. Поэтому Ф( х", у") = 1. При сравнении § представления в виде (2.49) и (2.56) мы находимся в условиях первого частного случая. Это позволяет заключить,

что Ф( х', у') = 1. Равенство (2.50) полностью доказано.

Заметим теперь, что для любых точек x, у є V соотношения

Ф

эквивалентны. Действительно, из равенства Ф(х, у) = 1 по определению множества S следует,

что x-у є S . Обратное утверждение справедливо, поскольку (2.49) имплицирует (2.50).

Множество S замкнуто. Действительно, пусть

последовательность {§n}“=1 с S сходится к некоторой точке §. Зафиксируем произвольную точку а єU . Как видно из определения (2.47), множества S и формулы (1.30), при любом числе s точки вида а + s§n є affV . По условию affV — замкнутое множество. Поэтому и точка а + s§є affV . Но множество U является открытым в affV . Поэтому если s — достаточно мало, то отсюда следует, что а + s§ є U . Имеем

§ „ =1[(a + s§n) - a]

s

Поскольку из (2.49) вытекает (2.50), то Ф(а + s§„, a) = 1. В силу условия 5 тогда и Ф(а + s§, a) = 1. Отсюда и из равенства

§ = -[(a + s§) - a] s

следует, что § є S . Итак, S — замкнутое множество. Пусть Ф( х, у) = 1, Ф( х', у') = 1. Покажем, что тогда

РИ, 1998, № 4

116

равенство (2.47) справедливо при всех (не обязательно двоично-рациональных) числах у є [0,1]. Положим £ = х - у , £ = х' - y', £(у) = (1 -у)^ + у^'. Очевидно,

^(У) = ((1 - Y)х + ух’) - ((1 - у)у + у/). (2.58) Поэтому (2.47) означает, что в случае двоичнорационального числа у точка ^(у) принадлежит S. Аппроксимируя произвольное число у сходящейся к нему последовательностью двоично-рациональных чисел и используя замкнутость множества S, получаем, что при любом у є [0,1] точка ^(у) принадлежит S. Таким образом, из (2.58) и свойства (2.50) вытекает (2.47).

Покажем теперь, что множество S является линейным многообразием. Пусть ^є S, у — произвольное число. Если у > 0 , то из (2.48) следует, что у^ = (уР)(х - у), Ф(х, у) = 1, уР> 0.

Поэтому у^є S . Если у < 0 , то из (2.48) получаем = (-УР)(у - х), Ф(у, х) = 1, - уР > 0. Следовательно, у^є S . Наконец, если у = 0 , то у£, = 0 и, значит, у£, = х - х, Ф(х, х) = 1, так что у^є S . Далее, для любых точек ^, £,' є S из соотношений ^ = Р( х - у), %' = Р' (х' - у') , Ф( х, х) = 1 ,

Ф(х', х') = 1, р> 0,Р' > 0 при у = Р'(Р + Р')-1 вытекают равенства

^'= (Р + Р' )(((1 - у)х + ух') - ((1 - у)у + уу ')) и (2.47). Это означает, что ^ + ^' є S .

Итак, S — линейное подпространство в L2 [0,1]. Пусть р — ортопроектор на ортогональное дополнение S1 к S. Равенство Рх = Ру выполняется тогда

и только тогда, когда х - у = S . Поэтому из эквивалентности соотношений (2.57) вытекает (2.47).

Теорема 2.1 доказана.

В приложениях для проверки выполнимости условий 4 и 5 в каждой конкретной ситуации следует проводить экспериментальное исследование. При этом имеющиеся средства исследования могут быть различными в различных ситуациях. Для проверки выполнения условия 4 экспериментатор должен иметь возможность для любых физических сигналов х и у формировать средний между ними сигнал

(х + у) / 2 . В случае, когда этими сигналами являются излучения, сумма имеет естественную физическую интерпретацию — смешение излучений, а умножение на положительное число X интерпретируется как увеличение интенсивности излучения в X раз при сохранении спектрального состава. Таким образом, сигнал (х + у) / 2 может быть сформирован в два этапа — сложение и умножение на 1/2. Для удобства приложений теоремы мы укажем различные варианты формулировки условий 4 и 5.

Условие 4 может быть заменено совокупностью двух условий:

4а) если Ф(х, у) = 1 и Ф(х\ у’) = 1, то

Ф( х + х', у + у’ ) = 1 ,

4б) если Ф(х, у) = 1, то ф^х, у j = 1.

Действительно, из 4а, 4б, очевидно, вытекает условие 4, и поэтому теорема 2.1 останется справедливой в сторону достаточности, если заменить 4 на 4а и 4б. Справедливость теоремы в сторону необходимости при такой замене также очевидна.

Легко увидеть также, что условие 4 может быть

заменено условием: если Ф(х, у) = 1 и Ф(х', у') = 1, то

при любом у є [0,1] имеет место равенство (2.47).

Еще один вариант: если Ф(х, у) = 1, Ф(х', у') = 1,

то при любых а и Р, для которых ах + Рх'єУ ,

ау + Ру' є У , имеет место равенство

Ф(ах + Рх', ау + Ру’) = 1.

Условие 4, однако, не может быть заменено одним лишь условием 4а. Это видно из следующего примера. Пусть У = L2 [0,1], e — произвольный ненулевой вектор в L2 [0,1] . Рассмотрим предикат Ф на У х У ,

равный 1 тогда и только тогда, когда (е, х - у) — целое число. Очевидно, для этого предиката выполняются условия 1, 2, 3, 4а, 5, но не существует ортопроектор Р , для которого условия Pz = 0 и (е, z) — целое число эквивалентны при всех z .

Аналогично, условие 4 не может быть заменено следующим более слабым условием:

Ф(ху) = 1„ Ф(х'.у') = ЬТО Ф(^, у) = 1

В качестве примера рассмотрим предикат Ф, определенный на L2[0,1] х L2[0,1] условием: Ф(х, у) = 1 тогда и только тогда, когда х = у или

(х, е) = 0 и (у, е) = 0 , где e — произвольно фиксированный ненулевой вектор. Этот же пример показывает, что условие 4 не может быть заменено условием:

( х + х j

если Ф(х, у) = 1 , то Ф1 2 , у I = 1.

Условие 5 может быть заменено условием 5а: существует такая точка и такая окрестность u с У

этой точки, что если последовательность {х* }/=! сходится к х єи и Ф(хк, у) = 1, то Ф(х, у) = 1.

Тот факт, что теорема 2.1 остается справедливой при замене 5 на 5а в сторону достаточности, виден из доказательства теоремы. Справедливость в сторону необходимости вытекает из того, что условие 5а, очевидно, слабее условия 5.

РИ, 1998, № 4

117

2.3. Предикаты, определенные на квадрате произвольного выпуклого множества

Множества, фигурирующие в частных случаях, описанных выше, не являются открытыми в своих аффинных оболочках. Например, положительный

конус в пространстве LL [0,1] является воспроизводящим, т.е. его линейная оболочка совпадает со всем пространством, однако он не является открытым множеством. Условия 1-3 из [1] и 4, 5 теоремы 2.1 не обеспечивают линейность предиката, если множество V не является относительно открытым. Это видно из следующего примера. Пусть предикат ф определен на квадрате положительного конуса К в

L2 [0,1] условием Ф(х, у) = 1 тогда и только тогда, когда х и у одновременно равны или одновременно не равны нулю. Условия 1-3 из [1] и 4 для этого предиката, очевидно, выполняются. Для любого открытого множества U , не содержащего 0, верно,

Доказательство. Наличие представления (2.59) вытекает из формулы (1.30). Покажем теперь, что среди представлений (2.59) существуют такие, которые удовлетворяют дополнительным условиям (2.60).

Зафиксируем произвольную точку х0 є V . Рассмотрим линейное пространство T (V) х R , элементами которого являются упорядоченные пары (x; t), где ^є T(V), t — действительное число. Введем в нем норму, полагая

life t) = д/И 2 + t2 .

Поскольку aff V — замкнутое множество, то T(V) — подпространство пространства L2 [0,1].

Поэтому T (V) х P с введенной таким образом нормой — гильбертово пространство. Определим множество К0 в пространстве T (V) х R равенством k0 = {(t(х - х0); t) | х є V, tє R}

что если последовательность {хк }£= с К сходится

к хє U , последовательность {yk }^=1 с К сходится к

у є U и Ф(хк, yk) = 1, то Ф(х, у) = 1. Тем не менее, этот предикат не является линейным. Действительно, если бы он был линейным, то, очевидно, условие 5 выполнялось бы при U = К . Это, однако, не так:

пусть хк ^ х, хк Ф 0 , yk ^ у , х = 0 , у Ф 0 . Тогда

Ф(хк, yk) = 1, но Ф(х, у) = 0 . Этот пример показывает, как следует усилить формулировку теоремы 2.1, чтобы она оставалась справедливой и для множеств, не являющихся относительно открытыми. А именно, следует потребовать, чтобы условие непрерывности было глобальным.

Теорема 2.2. Для того чтобы предикат Ф, определенный на декартовом квадрате выпуклого множества V с замкнутой аффинной оболочкой, был линейным, необходимо и достаточно, чтобы он удовлетворял следующим условиям:

4) если Ф(х, у) = 1 и Ф(х', у') = 1 то

(рис. 2). Множество К0 является конусом.

Действительно, если (t(х - х0); t) є К0 и Х> 0 , то X(t(х - х0); t) = (Xt(х - х0); Xt) є К0 . Пусть (ti (х,-х0); ti) є К0, i = 1,2 . Тогда

(t1 (XГX0), t1) + (t2 (х2-х0Х t2 ) = (t(x-x0), t) ,

где t = t1 +t2, х =—х1 +—х2 єV.

12 t 1 t

х + х' у + у' 2 ’ 2

= 1 •

Покажем теперь, что конус К0 является воспроизводящим в пространстве T (V) х R . Рассмотрим

5) если последовательность ^ }^=1 сходится к

х єV, последовательность {yk }£= сходится к у є V

и Ф(хь Уk) = 1, то Ф(x, у) = 1.

Для доказательства теоремы нам понадобятся некоторые вспомогательные утверждения.

Лемма 2.5. Пусть аффинная оболочка выпуклого множества V замкнута. Тогда для произвольной

точки х0 є V существует такая константа C , что любая точка ^є T (V) представима в виде

^=Р

где

вначале точки пространства T(V) х R вида (N; 0).

Так как ^є T (V), то в силу указанного выше имеет место представление (2.59). Равенство (2.59) можно переписать в виде N = Р((х - х0) - (у - у0)). Поэтому

(N 0) = (Р(х - х0); Р) - (Р(у - у0); Р).

Очевидно, каждый из элементов, фигурирующих в правой части этого равенства, принадлежит конусу.

Теперь рассмотрим точки пространства T (V) х R

вида (0; t). Для них имеет место очевидное равенство

(0; t)= (/(х0 - х0), t)- (0 • (х0 - х0), о). Следовательно, такие точки также содержатся в

линейной оболочке конуса К0. Осталось заметить,

что любая точка (N; t) пространства представима в виде

118

РИ, 1998, № 4

Имеем

(Е t) = (Е; 0)+(0; t).

Поскольку каждая из точек, фигурирующая в правой части этого равенства, принадлежит L(K0), отсюда вытекает, что (Е; t) є L(K0).

Поскольку конус K0 является воспроизводящим в гильбертовом пространстве T (V) х R, то существует такая константа С , что для каждого элемента рє T (V) х R имеется представление

П = П -П2,

при котором

Пусть Е — произвольная точка пространства T(V).

Тогда точка п = (Е; 0) є T (V) х R . В рассматриваемом случае представление (2.61), (2.62) примет вид

21Ы12

2

где р', у' — некоторые положительные числа; х',у' — некоторые точки множества V. Но из равенства (2.63) с очевидностью следует, что р' = у'. Таким образом,

для точки Е справедливо равенство Е = Р' (х' - у'), причем из (2.64) вытекают неравенства

лемма уже доказана. Предположим, что С1 > 1. Положим

х =

-1 - -С С1

1 ,

х0 + сх , у =

(

1 —

С

1 У

У0 + С-у, Р = QP'. С1

Тогда, очевидно, выполняются соотношения (2.59), (2.60).

Лемма 2.5 доказана.

Лемма 2.6. Пусть аффинная оболочка выпуклого множества V замкнута. Тогда для любой последова-

тельности {Е k }“= с T(V), сходящейся к некоторой

точке Е = Р(х - у) (Р > 0, х, у є V), существует представление

Е k =Pk

такое,что

limp к =Р; lim хк = х; lim ук = у .

к ^W

Доказательство. Зафиксируем произвольную точку х0 є V . Согласно лемме 2.1 при любом К имеет место равенство

Ек -Е = tk

где

Ч > 0; ик, ^ ^; Ч < С\\Ек-Е1; ||ик- х0| <1 llvt- х0| <1

Ек = Р( х - у)+У (ик- ^) = Рк(хк- ук);

здесь

_ Р

tk

_ Р, tk

Рк =Р + tk, хк =в- х + вГик, ук = П+пГ^.

Рк Рк Рк Рк

Точки хк,ук являются выпуклыми комбинациями точек множества V и, следовательно, сами принадлежат V . Легко видеть, что

хк - х = в^ ((ик - х0) + (Х0 - х)),

ук -у = ТГ((vk -х0) + (У0 -у)). Рк

Из (2.67) видно, что последовательность {tk }к=1 сходится к нулю. Тогда выполняется первое равенство (2.66). Поскольку Р > 0, то из последних двух равенств и неравенств (2.67) вытекает второе и третье равенства (2.66).

Лемма 2.6 доказана.

Доказательство теоремы 2.2. Необходимость очевидна. Докажем достаточность. Заметим, что условие 4 можно переписать в следующем виде. Если

Ф(х, у) = 1 и Ф(х', у') = 1, то при любом ує [0,1]

Ф

В случае двоично-рационального у равенство (2.65) доказывается так же, как и равенство (2.47). В случае произвольного у производится аппроксимация числа у последовательностью двоично-рациональных чисел {у к}^=1. Положим

ик =(1- Y к) х + Y кх', vk =(1- Y к) У + Y к У', и = (1- y)х + ух', v = (1- y)у + уу'. Очевидно, lim ик = и, lim vk = v.

k^W к

Поскольку для двоично-рациональных чисел (2.65) уже доказано, то Ф(ик, vk) = 1. Тогда по условию 5

и фи, v) = 1. Этим заканчивается доказательство (2.68).

Так же, как и в теореме 2.1, из равенства Ф(a, b) = 1 следует, что

фи' + v') = 1, и', v'є [a, b].

Обозначим через S множество всех элементов Еє L2 [0,1], представимых в виде

Е = Р(х - у); х, у є V; Ф(х, у) = 1; р> 0. (2.70) Покажем, что соотношения

Еє S; Е = Р'(х' - у'); х', у' є V; Р' > 0 (2.71) влекут равенство

фх, у) = 1.

В рассматриваемой ситуации нельзя пользоваться конструкцией, используемой с аналогичной целью при доказательстве теоремы 2.1, так как точка W, определенная равенством (2.53), может не принадле-

РИ, 1998, № 4

119

жать множеству V, поскольку Vне является относительно открытым.

Зададим у є [0,1] и положим

и= (1 - у) х + ух', v= (1 - у) у + у у'

(рис. 3). Пусть W — произвольная точка отрезка [и, v] . Тогда W = (1-t)u + v, 0 < t < 1. Положим

z = (1-1)x' + ty'. Из равенств фx, у) = 1 и фz, z) = 1 и свойства (2.68) заключаем, что

Ф

Имеют место равенства

(1 - у)х + yz = W - Sj(v - u), (1 - y)x + yz = W + S2(v - u),

где S! = -

t (1 ~Y)P'

S 2 =

(1 -1 )(1 -y)P'

(1 -Y)P' + YP ’ ~2 (1 -Y)P' + YP

Проверим это. Из (2.70) и (2.71) следует, что Р(х - у) = Р(х' - у'). Поэтому

и - v =

(1 -Y) p“ + Y

(х'- у'),

откуда

х'~ у'= (u - v) •

Далее

(1 - y)х + yz - w = u - Yx'+Y[(1 -1)х'+(у'] - [(1 - t)u + tv] =

=t(u - v) - Yt(х'-у') = - (|/-lY)(Y)PYp(v - u) = -S1(v - u).

Второе равенство (2.74) проверяется аналогично. Таким образом, можно переписать (2.73) в виде

Фф - Sj (v - u), w + s2 (v - u)) = 1.

Отсюда и из свойства (2.69) следует, что для каждой точки w є [u, v] существует такая окрестность на отрезке [u, v], для любых точек u', v' которой

фи, v) = 1. Так же, как и в теореме 2.1, это позволяет заключить, что фи, v) = 1. Переходя в (2.47) к пределу при y^1 , с помощью условия 5 заключаем,

что ф( х', у' ) = 1.

Докажем теперь, что множество S замкнуто. Пусть последовательность (£, к }£= с S сходится к некоторой точке £, . Поскольку S с T(V) и множе-

ство T(V) замкнуто, то ^є T(V). Представим точку £, в виде (2.59). Согласно лемме 2.6, последовательность (£, k }'U=1 может быть представлена в виде (2.65), (2.66). Поскольку из (2.61) вытекает (2.62), то из

(2.65) вытекает равенство ф(хк, ук ) = 1. Тогда из

(2.66) и условия 5 можно заключить, что Ф(х, у) = 1. Отсюда и из определения (2.70) следует, что ^є S . Замкнутость множества S доказана.

Окончание доказательства данной теоремы совпадает с окончанием доказательства теоремы 2.1. Теорема 2.2 доказана.

2.4. Координатная формулировка для предикатов, определенных на декартовом квадрате всего пространства

Теоремы 2.1 и 2.2 носят “безразмерный” характер— в их посылках нет каких бы то ни было указаний на размерность ортопроектора р, соответственно, их нет и в заключении. В частности, это означает, что ортопроектор р может быть как бесконечномерным, так и конечномерным. Для конечномерного случая можно получить также другую систему необходимых и достаточных условий линейности предиката Ф, носящую координатный характер. Мы начнем со случая, когда предикат определен на декартовом

квадрате всего пространства L2 [0,1]. При этом формулировка соответствующего результата имеет простой вид и доказательство также не является сложным.

Теорема 2.3. Для того чтобы предикат ф, определенный на декартовом квадрате пространства L2 [0,1], был n -мерным линейным, необходимо и достаточно, чтобы он удовлетворял следующим условиям:

4) если Ф( х, у ) = 1 и Ф( х', у' ) = 1, то

Ф( х + х', у + у' ) = 1;

5) существует такой набор векторов (ek }n=1, что для каждого х є L2[0, 1] есть единственный набор чисел (a k (х)}’п=1, удовлетворяющий условию

П

Ф

к=1

6) функции ак (х) непрерывны.

Доказательство. Установим сначала достаточность

условий теоремы. Покажем, что векторы е1 +... + ек линейно-независимы. В самом деле, пусть

Y 1е1 +... + Ynen = 0 . Тогда

ф(0, Y1e1 +... + Ynen) = 1

Согласно условию 5 это равенство может выполняться лишь при y1 = Y2 = .. = Yп = 0 . Линейная независимость системы (ek}n=1 доказана.

Имеем из условия 5

n n

ф

к=1 к=1

120

РИ, 1998, № 4

Ф

k=1

Комбинируя равенства (2.76), с помощью условия 4 получаем

Ф( x + У, E (а k (x) + ak (У))ек) = 1.

k=1

Сравнивая последнее равенство с (2.77) и учитывая единственность коэффициентов {ak}’1=1, находим ak(x + У) = ak(x) + ak(y), k = 1,2,..., n .

Таким образом, функционалы a k являются аддитивными и, согласно условию 6, непрерывными. Поэтому a k — линейные функционалы [5, с. 143].

Проверим линейную независимость системы {ak }’l=1.

Для любых чисел уь у2,...,уn вектор

x = Y1e1 +... + у nen является решением системы линейных уравнений

a k

Это видно из того, что по условию 1 [1] имеет место равенство

Ф(x, EYkek) = 1,

k=1

так что из 5 следует, что yk = ak (x). Следовательно, система (2.78) разрешима при любых правых частях. Это и означает линейную независимость функционалов a1,..., an . Для окончания доказательства осталось сослаться на лемму 2.2.

Пусть, обратно, предикат Ф является n -мерным линейным. Тогда выполнимость условия 4 очевидна. Выполнимость 5 и 6 вытекает из леммы 2.2. Теорема 2.3 доказана.

2.5. Координатная формулировка для случая воспроизводящего конуса

Теорема 2.4. Для того чтобы предикат ф, определенный на квадрате воспроизводящего конуса K , был n -мерным линейным, необходимо и достаточно, чтобы он удовлетворял следующим условиям:

4) если ф( x, У ) = 1 и Ф( x', у' ) = 1, то

Ф x + x', у + у' ) = 1;

5) существует такой набор векторов {ek }J!=1 с K, что для каждого x є K есть единственный набор неотрицательных чисел {a , (x)}n=1 и единственное

подмножество I

Ф

ієі i&I

6) если x,у є K, y> 0 и при некотором i

Ф x + Ye, У + Ye, ) = 1, то Ф( x, у ) = 1;

7) функции a, (x) непрерывны на K .

Для доказательства этого утверждения нам понадобится следующая

РИ, 1998, № 4

Лемма 2.7. Пусть f — аддитивный функционал на воспроизводящем конусе K пространства Z2[0, 1] и функция | f (x) | непрерывна на K . Тогда существует единственный линейный функционал F на 1} [0, 1] такой, что

F

Доказательство. Пусть x — произвольный вектор L. Тогда для него имеет место представление

x = x1 - x2, x1, x2 є K .

Положим

F

Покажем, что это определение корректно в том смысле, что не зависит от выбора x1 и x2 в представлении (2.82). Действительно, пусть

x = x1 - x'2 ; x(, x'2 є K . Тогда x1 + x'2 = x2 + x( є K.

Следовательно, f (x1 + x'2) = f (x2 + x\). Но f — аддитивный функционал. Поэтому

f (x1 ) + f (x'2 ) = f (x2 ) + f (x'l ) ,

т.е. f (x1) - f (x'2) = f (x1) + f (x2), что и требовалось.

Функционал F является аддитивным. Действительно, пусть x, у є L2[0, 1] , x — представлен в виде (2.82) и у = У1-У2, у1, у'2 є K . Тогда

x + У = (x1 + У1) - (x2 + У2), x1 + У1 є K .

Поэтому

F(x + у) = f (x + У1) - f (x2 + У2) = (f (x) + f (У1)) -- (f (x2 ) + f (У2)) = (f (x1)- f (x2)) + (ІЇУ1) - f (У2 )) = F(x) + + F(у).

Поскольку K — воспроизводящий конус, то существует такая константа C , что для любого

z є L2[0,1] имеет место представление [6, с. 389]

Пусть последовательность {zk }'f=1 сходится к нулю. В соответствии с (2.83) существуют последовательности {xk }“, {ук }“ с K такие, что

Zk = xk - Уk, limxk = 0, limyk = 0.

Но | f (x) | — непрерывная функция. Поэтому из (2.84) следует, что

F (Zk) = f (xk) - f (Уk),

lim I f (xk )| = I f (0)|, liH f (Уk ) = I f (0)|. (2.85) Заметим теперь, что f (0) = 0 . Действительно, пусть

x є K, x Ф 0. Так как f — аддитивный функционал, то при любом натуральном n будет

121

Поскольку | f (x) | — непрерывная функция, в последнем равенстве можно перейти к пределу при n^-да . Получаем | f (0) |= 0 . Тогда из (2.85) следует,

что функционал F непрерывен в нуле. Но аддитивный функционал, непрерывный в нуле, является линейным. Значит, F — линейный функционал. Единственность продолжения очевидна.

Лемма 2.7 доказана.

Доказательство теоремы 2.4. Установим сначала достаточность условий теоремы. Покажем, что векторы e1, e2,..., en линейно-независимы. В самом деле,

пусть ye +. . . + уnen = 0 . Положим J = {i | уi < 0} . Тогда

Z (-Yi )ei = z Уiei и ф\ 0 + Z (-Yi )ei, ZYіЄі | = 1.

feJ igJ V i^J HJ J

В силу условия 5 последнее равенство может иметь

место лишь при у i = 0; i = 1,..., п.

Равенство (2.79) ставит каждому вектору x є K в соответствие пару векторов (xv x2) по правилу

Xl = z а

Положим

Ax = x2 - x1.

Тогда

Ф

Действительно, пусть фx, y) = 1. Вместе с равенством Ф( x1, x2 ) = 1 это дает фx+x1, y+y1 ) = 1. Но (2.86) означает, что фx + x1, x2) = 1. В силу условий

2, 3 [1] тогда Ф(y + x1, x2) = 1. Из условия 5 следует, что последнее равенство может выполняться лишь при x1 = y1; x2 = y2. Поэтому Ax = Ay. Пусть, обратно, Ax = Ay . Так как система {ei }п=1 линейнонезависима, отсюда вытекает, что x1 = y1; x2 = y2. Значит, вместе с равенством ф x + x1, x2) = 1 справедливо равенство Ф(у+x1, x2) = 1. Но тогда фx+x1, y+у1) = 1. Применяя условие 6, получаем Ф x, у ) = 1.

Покажем, что оператор А аддитивен. Пусть x, у — произвольные точки конуса. Для векторов x1, x2, y1, y2, определенных формулой (3.40), имеют место равенства х1 + у1 =81e1 +... + 5nen, х2 + у2 =8'1e1 +... + 5'nen , где 5i, d'i — некоторые неотрицательные числа. Положим N = {i | Si >5'} и

и = Z (5 і-5і ')et , v = Z (5 і '-5 і )Єі ,

ieN igN

z = Z 5і ' Єі + Е5іЄі .

ieN igN

Тогда x1 + y1 = u + z1; x2 + y2 = v + z . Из равенств Ф( x + x1, x2 ) = 1 и Ф( y + y1, y2 ) = 1 следует, что

Ф( x + y + Х1 + У1, х 2 + у 2 ) = 1, т.е. ф x + У + и + z, v + z ) = 1. Применяя условие 6,

получаем Ф(x + у + и, v) = 1. Но последнее есть равенство (2.79) для вектора x + у . Поэтому

A(x + y) = v-u = (Х2 + у2)- (х + У1) = Ax + Ay. Равенства (2.86), (2.87) можно переписать в виде

Ax = ZPi(x)ei, Pi(x) =

І а і (x), i Є і (x),

і=1 [-аі

Из аддитивности оператора А вытекает аддитивность функционалов Pi. Но | Pi (x) |= ai (x) | и фун-

кции ai непрерывны. Поэтому на основании леммы 2.7 можно заключить, что функционалы рг- допускают единственное продолжение до линейных функционалов на L2 [0, 1]. Чтобы не усложнять обозначений, будем продолженные функционалы обозначать теми же символами Pi.

При любых неотрицательных числах для вектора x = Y1e1 +... + Y nen имеет место равенство Ф(x, Y1e1 +... + Ynen) = 1. Следовательно, Pi(x) = yi и Ax = x . Это значит, что Im A содержит положитель-

ный конус L линейной оболочки L системы векторов {e1,..., en} . ПосколькуL — воспроизводящий конус в L, то отсюда следует, что Im A = L . Следовательно, система {pi }n=1 — линейно-независима. Для окончания доказательства достаточности осталось сослаться на лемму 2.3.

Докажем необходимость. Если предикат ф является n -мерным линейным, то условия 4 и 6, очевидно, выполняются. Выполнимость условий 5 и 7 вытекает из леммы 2.3.

Теорема 2.4 доказана.

Литература: 1. Походенко В.А., Тарасова Т.Т., Шабанов-Кушнаренко С.Ю. Теория цветового зрения. I // Радиоэлектроника и информатика. 1998. №1. С. 106-117. 2. Рокафеллар Р. Выпуклый анализ. М.: Мир, 1973. 347 с. 3. Никайдо X. Выпуклые структуры и математическая экономика. М.: Мир, 1972. 533 с. 4. Алексеев В.М., Тихомиров В.М., Фомин С.В. Оптимальное управление. М.: Наука, 1979. 278 с. 5. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1976. 402 с. 6. Люстерник Л.А., Соболев В.И. Элементы функционального анализа. М.: Наука, 1965. 389 с.

Поступила в редколлегию 29.08.1998

Рецензент: д-р техн. наук, проф. Левыкин В.М.

Бондаренко Михаил Федорович, д-р техн наук, профессор, академик АН ВШ, ректор ХТУРЭ. Научные интересы: информатика. Адрес: Украина, 310726, Харьков, пр. Ленина 14, тел. 43-30-53.

Шабанов-Кушнаренко Сергей Юрьевич, д-р техн. наук, ведущий научный сотрудник кафедры ПО ЭВМ ХТУРЭ. Научные интересы: идентификация механизмов интеллекта человека. Адрес: Украина, 310726, Харьков, пр. Ленина 14, тел.: 40-94-46.

122

РИ, 1998, № 4