>>Возможно, в силу дополнительных предположений, высказанных в явной форме:
>
>Невозможно, ибо следует из структуры модели.
Это не аргумент.
>>1) Сан-Комарик недонаселён, и дальнейшее снижение его населения приводит к снижению среднего благосостояния в Сан-Комарике.
>
>Давилон тоже недонаселён.
Как это недонаселён, если перенаселён? (И его перенаселённость следует из неоптимальности размещения имеющегося населения.)
>>2) Распределение населения происходит до тех пор, пока не выровняется среднее благосостояние.
>
>>В этом случае ответ однозначный - увеличение инфраструктуры Давилона приведёт к снижению среднего благосостояния (по крайней мере, до тех пор, пока Сан-Комарик всё ещё существует). Простой логический вывод из двух посылок. Раз в Сан-Комарике снизилось среднее благосостояние, а в Давилоне выровнялось с таковым в Сан-Комарике, то, следовательно, среднее благосостояние снизилось повсюду. И суммарное тоже, потому что общее население планеты неизменно по условиям задачи.
>
>Ха! А если уменьшение благосостояния в Сан-Комарике происходит с меньшим темпом, чем сокращение населения? Тогда среднее благосостояние будет расти.
Не будет. Предположение именно таково, что мы попали на тот участок загрузки ресурса "Сан-Комарик", где действует возрастающая предельная отдача, т.е. дополнительные жители приносят увеличивающийся прирост.
>Ваш вывод основан на конкретных типах функциональных зависимостей. В общем случае он не верен.
В общем случае вообще ни один вывод не верен. А конкретный тип функций я обосновал текстуально. Считается, что при неизменной инфраструктуре, если население города растёт начиная от нуля, то сначала предельная отдача возрастает, затем убывает. Это стандартная ситуация загрузки ресурса, и, насколько я понимаю, она распространяется и на случай, когда ресурс - это город с уже данной инфраструктурой. Суммарное благосостояние от населения в этом случае - s-образная функция, тоже вполне стандартно. Вы текст посмотрите, а не только картинки с ошибочными подписями - там, по крайней мере, предпринята попытка обосновать конкретный тип функциональных зависимостей".
