назад Оглавление вперед


[Старт] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [ 35 ] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232]


35

их областей определения х). Во всяком случае, мы ограничиваем наши рассмотрения такими функциями, для которых max и min существуют.

13.2.2. Пусть теперь ср будет функцией многих переменных х, z/, £, . . . Выделяя одну из них, например х, и фиксируя значения других переменных г/, z, . . ., мы можем рассматривать ср (х, г/, z, . . .) как функцию одной переменной х. Следовательно, мы можем, как и в п. 13.2.1, образовать max ф (х, у, z, . . .), min ф (х, у, z, . . .) относительно х. Но так как мы можем проделать то же самое и для любой другой переменной у, z, . . ., необходимо указать, что операции max, min относятся именно к переменной х. Мы сделаем это, написав max ф (х, у, z, . . .) и

min ф (х, у, z, . . .) вместо неполных выражений max ф, min ф. Итак,

мы можем теперь применить к функции ф (х, у, z, > . .) любой из опера торов max, min, max, min, max, min. Все эти операторы различны,

x x у у z z

и наша запись становится недвусмысленной.

Даже для случая функции одной переменной эта запись является удобной, и мы будем ею пользоваться. Мы будем писать max ф (х) и

min ф (х) вместо соответственно max ф (х) и min ф (х).

Иногда удобно или даже необходимо явно указывать область S для максимума или минимума. Например, это будет в случае, когда функция Ф (х) определена также для некоторых значений х вне S, а желательно указать ее минимум или максимум только в пределах S. В таком случае мы пишем

тахф(я), ттф(х) вместо max ф (х), min ф (х).

В некоторых других случаях может оказаться проще перечислить все значения ф (х), скажем а, Ь, . . ., чем выражать ф (х) как функцию. Мы будем тогда писать max (a, fo, . . .) (или min (а, Ь, . . .)) вместо max ф (х) (или соответственно min ф (х)) 2).

13.2.3. Заметим, что, в то время как ф (х, у, z, . . .) является функцией от переменных х, у, z, . . ., max ф (х, у, z, . . .), min ф (х, у, z, . . .)

все еще являются функциями, но уже только от переменных у, zr . . . Чисто графически х по-прежнему присутствует в max ф (х, у, z, . . .).

min ф (я, у, z, . . .) но эта буква уже больше не является переменной.

*) Типичными примерами являются функции К (, rj), max К (£, т), min К (g, г\)

-> ->-

п 6 4 Ч

из п. 17.4, а также функции min Y Ж (т1т т2) £т , max J\ Ж (rd, т2) т) из п. 17.5.2.

-у ->

Для всех этих функций переменными являются \ или п (или они обе), относительно которых берется соответствующий максимум и минимум.

Другой пример рассмотрен в п. 46.2.1 (см. особенно замечание на стр. 397), где рассмотрены математическая сторона этого вопроса, а также литература. Здесь нет необходимости на этом останавливаться, так как упомянутые выше примеры достаточно элементарны.

2) Конечно, max (а, &, . . .) (равно как и min (а, Ь, . . .)) есть просто наибольшее (наименьшее) число среди чисел а, Ь, ...



Мы говорим, что операции max, min связывают выступающую в каче-

стве их индекса переменную х *).

Так как max ф (х, у, z, . . .) и min ф (х, у, z, . . .) по-прежнему

являются функциями переменных у, z, . . . 2), мы можем пойти дальше и составить выражения

max max ф (х, у, z, ...), max min ф (х, у, z, ...),

ух ух

min max ф (х, у, z, . . .), min min ф (о:, у, z, . . .).

ух ух

В равной мере мы можем рассматривать

max max ф (х, у, z, .. .), max min ф (я, г/, 2, ...)

ж у ас у

и т. д. 3), или использовать для максимизации или минимизации два других аргумента (если такие имеются), или использовать больше аргументов, чем два (если такие есть).

Наконец, после применения такого количества операций max или min, сколько имеется аргументов у ф (х, у, z, . . .), в любом порядке и комбинации, но в точности по одной для каждого аргумента х, у, z, . . ., мы получим функцию, вовсе не зависящую от каких-либо аргументов, т. е. постоянную.

13.3. Вопросы коммутативности

13.3.1. Рассуждения, приведенные в п. 13.2.3, дают основания смотреть на max, min, max, min, max, min, . . . как на функциональные

x x у у z z

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

Но действительно ли это столь важно? Сформулируем вопрос точно. Говорят, что два оператора коммутируют, если, в случае их последовательного применения (к одному и тому же объекту), порядок, в котором они применяются, не имеет значения. Теперь поставим вопрос: коммутируют друг с другом или нет max, min, max, min, max, min, . . .?

x x у у z 1

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

х) Хорошо известной операцией в анализе, которая «связывает» переменную х, является определенный интеграл: ф (х) - функция от х, а ф (х) dx есть константа.

2) Мы рассматривали у, z, ... как постоянные параметры в п. 13.2.2. Но когда переменная связана, мы будем считать у, z% ... переменными.

3) Заметим, что если применены две или более операции, то первой применяется самая правая операция, и она связывает соответствующую переменную; затем применяется следующад по порядку справа операция и т. д.

4) С числом аргументов, меньшим на единицу, так как каждая из этих операций связывает одну переменную.

5) Для целей дальнейшего анализа значения остальных аргументов можно фиксировать и рассматривать как постоянные.



Итак, рассмотрим функцию от двух переменных ф (х, у). Ясно, что вопросы коммутативности заключаются в следующем: какие из трех написанных ниже равенств справедливы?

(13:1) max max ф (х, у) - max max ф (х, у),

х у ух

(13:2) min min ф (х, у) = min min ф (х, у),

х у ух

(13:3) max min ф (х, у) = min max ф (х, у)г).

х у ух

Мы увидим, что равенства (13:1) и (13:2) справедливы, в то время как (13:3) - нет, т. е. любые два max или любые два min коммутируют, тогда как max и min, вообще говоря, не коммутируют. Мы найдем также критерий, который указывает, в каких частных случаях max и min коммутируют.

К вопросу о коммутативности max и min мы вернемся при рассмотрении игр двух лиц с нулевой суммой (см. п. 14.4.2. и п. 17.6).

13.3.2. Рассмотрим сначала равенство (13.1). Интуитивно должно быть ясно, что max max ф (х, у) есть максимум ф (х, г/), если рассматри-

х у

вать х и у вместе, как единую переменную. Это значит, что для некоторых надлежащим образом выбранных х0 и у0

ф (#(ь У о) = max max ф (х, у)

х у

и для всех х и у должно быть ф (х0, у0) ф (х, у).

Если, однако, желательно математическое доказательство, то мы приведем и его. Выберем х0 так, чтобы функция max ф (х, у) достигала

максимума по х при х = х0, а затем выберем у0 так, чтобы функция ф (#о> У) достигала максимума по у при у = у0. В таком случае

ф (#о> У о) = max ф (х0, у) = max max ф (х, у)

У х у

и для всех х и у

ф fan У о) = тах Ф (sot У) = тах Ф У) = Ф (х> У) •

Это завершает доказательство.

Теперь, меняя ролями х и у, мы убеждаемся, что max max ф (х, у)

у х

равно максимуму ф (х, у), если мы рассматриваем х, у как одну переменную.

Итак, обе части равенства (13:1) обладают одними и теми же характеристическими свойствами и поэтому они равны друг другу. Это доказывает (13:1).

Дословно та же аргументация применяется к min вместо max, только в этом случае необходимо всюду вместо написать Это доказывает равенство (13:2).

Такой способ рассмотрения двух переменных х, у как одной иногда оказывается очень удобным. Когда мы будем его применять (как, напри-

*) Комбинация min шах не требует отдельного рассмотрения, так как соответ-х у

ствующее равенство для нее получается из равенства для max min переменной ролями

х у

[Старт] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [ 35 ] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179] [180] [181] [182] [183] [184] [185] [186] [187] [188] [189] [190] [191] [192] [193] [194] [195] [196] [197] [198] [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] [222] [223] [224] [225] [226] [227] [228] [229] [230] [231] [232]