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


[Старт] [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]


136

означает, что

(47:5)

либо сХЗ1, а2>р2 иа3>-(1-) , • либо а11, а3>р3 и а2-(lД°) , [либо а2>р2, а3>р3 и а1-(l--)

47.3. Рассмотрение шести случаев. Случаи (I) - (III)

47.3.1. После этих предварительных замечаний мы можем перейти к рассмотрению решений V игры Г для Е (е0) для всех значений е0.

Окажется удобным различать шесть случаев. Из этих случаев случай (I) соответствует (45:0:а), случаи (II) - (IV) и одна часть из случая (V) - (45.0:Ь) (нормальной зоне), а случаи (V) и (VI) (исключая эту часть) - (45:0:с) (все в п. 45.6.1).

47.3.2. Случай (I): е0 < - 3. В этом случае 1 + е-~ < 0, так что

условия (47:2*) и (47 : 3*) несовместны, и Е (е0) пусто (см. сноску 1 на стр. 418); следовательно, множество V также должно быть пустым.

Случай (II): е0 = -3. В этом случае 1 + = 0 и из (47 : 2*) и

(47 : 3*) следует, что а1 = а2 = а3 = 0, т. е. at = а2 = а3 = е0/3 = -1,

а = { - 1, -1, -1}. Таким образом, Е (е0) состоит из одного элемента, и должно быть V = Е (е0) ввиду тех же рассуждений, которые использовались при доказательстве (31:0) из п. 31.2.3. Таким образом, эта ситуация очень похожа на ту, которая встретилась в несущественной игре (см. соответствующее место).

Случай (III): -3 < е0 0. В этом случае 1 + > 0, так что мы можем использовать рис. 49. Кроме того, 1 + ~ :g 1 - так что

дополнительные условия (47:5) из п. 47.2.3 автоматически выполнены во всем фундаментальном треугольнике. Итак, (47:5) совпадает с (32:4) из п. 32.1.3 (см. сноску на этой стр.). Следовательно, снова применимы все рассуждения пп. 32.1.3-32.2.3, если ввести множитель пропорциональности 1 + ~.

Таким образом, в этом случае мы получаем решения для Е (е0) простым умножением на 1 + каждой компоненты описанного в п. 32.2.3 решения и прибавлением к результату £0/3 (для перехода от а1 к аг).

х) Эти условия отличаются от соответствующих условий (32:4) из п. 32.1.3 только дополнительным неравенством в конце каждой строки.

47.4. Случай (IV). Первая часть

47.4.1е. Случай (IV): 0 < е0 < 3/2. В этом случае 0 < 1 - < 1 -f

-f -~. Следовательно, прямые



Таблица 25. К рис. 51

Область

Эффективные двухэлементные множества S

(1,2)

(1,3) (2,3)

(1,2)

(1,3)

(1,2)

(2,3)

(1,3) (2,3)

(2,3)

(1,3)

(1,2)

(которые соответствуют границам для дополнительных условий (47.5)) расположены по отношению к фундаментальному треугольнику на рис. 49 так, как это показано на рис 50. Они разбивают фундаментальный треугольник на семь областей, каждую из которых можно охарактеризовать

теми двухэлементными множествами S, которые являются эффективными в этой области в смысле (47:5). Список этих множеств приводится в табл. 25. Теперь мы можем вычертить аналог рис. 33, на котором для каждой точки фундаментального треугольника указаны заштрихованные области х), которые она доминирует. Это сделано на рис. 51 (см. табл. 25) в соответствии с (47.5). Необходимо рассматривать отдельно каждую из семи областей рис 50, а каждую заштрихованную область рис 51 нужно распространить на весь фундаментальный треугольник.

Из рис. 51 ясно, что никакая точка области 2 не может доминироваться точкой, лежащей вне этой области 2). Следовательно, условие (44:Е:с) п. 44.7.3, которое характеризует решение V для Е (е0), т. е. для всего фундаментального треугольника, должно также выполняться для части V, содержащейся в области 2, если рассматривается область 2 (вместо всего фундаментального треугольника, т. е. Е (е0)). Но область 2 есть треугольник, аналогичный фундаментальному треугольнику на рис. 32,

за исключением коэффициента пропорциональности 1--- 3). Сравнение

рис. 33 с областью 2 рис. 51 показывает, что условия доминирования те же самые.

47 Л .2. Следовательно, если ввести множи-

Рис. 50.

Рис. 51.

то все рассуждения пп. 32.1.3-32.2.3

л %е0

тель пропорциональности 1--

применимы к части V содержащейся в области 2.

Следовательно, часть V, содержащаяся в 2, должна быть либо мно* жеством ° °, либо множеством-----, которые указаны на рис 52. (Пря-

*) Исключая их границы. 2) Включая ее границу.



мая-----может находиться в любом положении ниже точек °°). Однако

для того чтобы получить все решения, нужно произвести все перестановки

элементов 1, 2, 3, т. е. треугольник с прямой-----повернуть на 0°,

60° и 120°. (См. п. 32.2.3; множество °0° соответствует (32:В), а прямая

-----соответствует (32:А).) После того как часть V, содержащаяся в

области 1, найдена, мы перейдем к нахождению остальной части V. Так как V есть решение, эта остальная часть V должна лежать в области, которая не доминируется частью V, содержащейся в области 1. Сравнение рис. 52 с рис. 51 показывает, что эта недоминируемая область следующая.

Для множества °0° она состоит из трех заштрихованных треугольников рис. 53, для ггрямой

-----она состоит из трех заштрихованных

треугольников на рис. 54 *).

Из рис. 51 ясно, что никакая точка ни в одном из этих треугольников не может доминиро-ваться точкой из другого треугольника 2). Следовательно, условие (44:Е:с) п. 44.7.3, которое характеризует решение V для Е (е0), т. е. для всего фундаментального треугольника, и которое выпол-

Рис. 53. Рис. 54.

нено также для части V, содержащейся в области 1, если рассматривается эта область (вместо всего фундаментального треугольника, т. е. Е (е0)), утверждает в точности следующее: (44:Е:с) выполнено для части V, содержащейся в каждом заштрихованном треугольнике, если рассматривается этот треугольник.

47.5. Случай (IV). Вторая часть

47.5.1. Рассмотрим поэтому один из этих треугольников; обозначим его через Т. Его положение щ фундаментальном треугольнике 3) и

2) Положение всех этих треугольников ясно указано на рисунках, за исключением нижнего треугольника на рис. 54. Этот треугольник лежит, конечно, вне внутреннего треугольника (области 1) - это утверждение эквивалентно ограничению (32:8) из п. 32.2.2, см. также рис. 40 из этого пункта. Его положение по отношению к внешнему (фундаментальному) треугольнику менее определенно: он может стянуться в точку или даже исчезнуть совсем.

Нетрудно видеть, что последнее явление исключено, если размер (линейный)

внутреннего треугольника меньше 1/4 внешнего; это означает, что 1--( "з*)

т. е. е0 >> 1. Мы не предполагаем обсуждать далее этот вопрос.

2) Все это относится либо к рис. 53, либо к рис 54, но, конечно, не к обоим в одних и тех же рассуждениях!

3) С точностью до поворота на 0° или 120°. Для нижнего треугольника на рис. 54 вершина лежит не на внутреннем треугольнике, а ниже его (см. сноску 1 на этой стр.), но это не меняет наших рассуждений.

[Старт] [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]