Ist dies auch eine * notwendige * Bedingung, um ein Bayes-Schätzer zu sein, oder nur eine ausreichende?

7

Ein Bayes-Schätzer minimiert das Bayes-Risiko. Insbesondere genau dann, wenn

δΛ=argminBR(Λ,δ):=R(θ,δ)dΛ(θ)=(L(θ,δ(x))dx)dΛ(θ)
wobei L(θ,δ(X)) eine gegebene Verlustfunktion ist, R(θ,δ) ist Die entsprechende Risikofunktion und BR(Λ,δ) wird als Bayes-Risiko definiert. δΛ ein Bayes-Schätzer.

Satz 4.1.1 auf S. 228 von Casella, Lehmann, Theorie der Punktschätzung , sowie Satz 7.1 auf S. 22. 116 von Keener, Theoretische Statistik: Themen für einen Kernkurs , geben die folgende ausreichende Bedingung an, damit δΛ ein Bayes-Schätzer ist:

x,δΛ=argminE[L(Θ,δ(X))|X=x]

Es ist offensichtlich, warum dies eine ausreichende Bedingung ist: Wenn wir zuerst über x , erhalten wir durch Monotonie der Integrale ein argmin für E[L(Θ,δ(X))]=L(Θ,δ(x))dx=R(Θ,δ) . θ wir dann über \ theta integrieren , erhalten wir ein argmin für das Bayes-Risiko, wiederum durch Monotonie der Integrale.

Frage: Ist die obige Bedingung erforderlich, damit δΛ ein Bayes-Schätzer ist?

Intuitiv sehe ich keinen Grund, warum dies notwendig ist, es sei denn, wir haben zusätzliche Bedingungen, die die Eindeutigkeit ( -as) des Bayes-Schätzers garantieren . Auch die Beweise in beiden Büchern, die ich oben erwähnt habe, scheinen nur ausreichend zu sein, nicht die Notwendigkeit.P

Allerdings Wikipedia sagt , dass: „Ein Schätzer ... gesagt wird ein Bayes - Schätzer sein , wenn sie das Bayes - Risiko bei allen Schätzern minimieren. Gleichwertig der Schätzer , die den hinteren erwarteten Verlust minimiert ... für jeden x.“ Das heißt, es scheint zu implizieren, dass die beiden Bedingungen äquivalent sind, dh dass die letztere Bedingung nicht nur ausreichend, sondern auch notwendig ist . Stimmt das überhaupt?

Chill2Macht
quelle

Antworten:

1

Erstens, wenn die Bedingung gilt fast sicher in , das gleiche Argument gilt. Daher ist der Bayes-Schätzer fast sicher definiert und kann daher auf einem beliebigen Satz von Maß Null willkürlich variieren.

δΛ=argminE[L(Θ,δ(X))|X=x]
x

Zweitens gibt es Situationen, in denen es mehrere Bayes-Schätzer gibt. Hier ist zum Beispiel eine Übung aus meinem Buch :

2.40 Betrachten Sie und . Zeigen Sie, dass unter dem Verlust (2.5.4) für jedes Werte von und so dass der Bayes-Schätzer nicht eindeutig ist.π(θ)=(1/3)(U[0,1](θ)+U[2,3](θ)+U[4,5](θ))f(x|θ)=θeθxxk1k2

wobei der Verlust (2.5.4)

Lk1,k2(θ,d)={k2(θd)if θ>d,k1(dθ)otherwise.

Drittens ist jeder Schätzer ein Bayes-Schätzer , wenn das Bayes-Risiko unendlich ist.minBR(Λ,δ)

Xi'an
quelle
Egal, nachdem ich meine ursprüngliche Frage noch einmal gelesen habe, sehe ich, wie dies eine Bemerkung in der Frage anspricht. Dies scheint jedoch die Hauptfrage nicht zu beantworten, obwohl dies möglicherweise ohnehin nicht Ihre Absicht war. Es ist jedoch hilfreich, da es einen verwandten Punkt verdeutlicht, den ich implizit angesprochen habe.
Chill2Macht