Der Satz von Berge besagt
Sei , eine gemeinsam stetige Funktion, eine stetige (beide obere und untere hemikontinuierliche) Korrespondenz mit kompaktem Wert. Die Maximierungswertfunktion und der Maximierer sind V (\ theta): = \ max_ {x \ in X} f (x, \ theta) C ^ \ ast (\ theta): = \ {x \ in C (\ theta) \ mid f (x, \ theta) = V (\ theta) \} Dann ist V: \ Theta \ bis \ mathbb R stetig und C ^ \ ast: \ Theta \ rechteckige Pfeile X ist obere halbkontinuierlich.
Nach Varian's Microeconomic Analysis (1992), Seite 490, lautet der Umschlagsatz einfach:
ist der Maximierer von .
Es scheint mir, dass der Umschlagsatz den Satz von Berge beinhaltet, aber die Ableitung sieht viel einfacher aus. Gibt es eine Beziehung zwischen den beiden?
Antworten:
Sie sind verwandt und fallen normalerweise in dieselbe Diskussion, aber wie @Alecos in den Kommentaren erwähnt, zeigen die beiden Sätze unterschiedliche Dinge.
Ich nehme an, die Verbindung, nach der Sie suchen, ist die Tatsache, dass, wenn die Ableitung existiert, Dann, weil Differenzierbarkeit Kontinuität impliziert, können Sie möglicherweise einen Teil des Theorems des Maximums daraus ziehen. Um jedoch zwei Theoreme zu vergleichen und gegenüberzustellen, müssen Sie nicht nur die Ergebnisse betrachten. Sie müssen sich auch die Annahmen ansehen. Zum Beispiel setzt der Satz des Maximums keinerlei Differenzierbarkeit voraus. Der Hüllkurvensatz tut dies (zumindest einige Formen davon). In jedem Fall sind die Annahmen, die in jedem enthalten sind, unterschiedlich (einige stärker, andere schwächer).
Auch das gibt es. Der Hüllkurvensatz sagt Ihnen nichts über die Steuerfunktion. Daher werden Sie definitiv nicht in der Lage sein, das Ergebnis zu erhalten, dass oberhalb hemikontinuierlich ist.C∗
quelle
Zitieren des OP aus einem Kommentar
In dem zitierten Artikel von Lucas (1978) stellt Proposition 1 dies fest
wobei die Wertfunktion ist und ihre Definition ist. Es scheint also, dass hier die Kontinuität der Preisfunktion als Bedingung herausgestellt wird, aber weiter oben in diesem Artikel definiert Lucas die Utility-Funktion als eine nicht negative Funktion( i )v(z,y;p) (i)
Satz 2 des Papiers legt die Differenzierbarkeit der Wertfunktion fest, ohne dass weitere Annahmen erforderlich sind.
quelle