コメントしたい人を助けるために、林から引用することから始めます。書式と元の方程式番号を保持しようとしました。
林ページ126、セクション2.6から引用を開始します。
条件付き対無条件同相性
条件付きの等分散性の仮定は次のとおりです。
仮定2.7(条件homoskedasticity):
この仮定は、無条件二次モーメントことを意味E (ε 2 iは)等しいσ 2
E(ϵ2i|xi)=σ2>0.(2.6.1)
E(ϵ2i)σ2法則合計の期待で。無条件と条件付きホモスケダスティクスの違いを明確にするために、次の例を考慮してください[例2.6(無条件にホモスケダスチックだが条件付きヘテロスケダスチックエラー)...]
引用を終了します。
E(ϵ2i|X)=σ2>0(i=1,2,…,n) E(ϵ2i|xi)=σ2>0(i=1,2,.…,n).(1.1.12)(1.1.17)
(ϵi,xi)iE(ϵ2i)iE(ϵ2i|xi)iiE(ϵ2i|xi)ixi
[林からの引用はこれ以上ない。この時点以降は私の理解だけである。]
E(ϵ2i|xi)=σ2, then E(ϵ2i)=E[E(ϵ2i|xi)]=E[σ2]=σ2, as Hayashi notes on page 126 (that conditional homoskedasticity implies unconditional homoskedasticity by the Law of Total Expectations).
So I think part of the issue may be the interpretation of Hayashi's statements. Conditional homoskedasticity says (1.1.17) even for different xi, the variance of ϵi is the same constant σ2. Unconditional homoskedasticity is a weaker statement, in that you could have E(ϵ2i)=σ2 but E(ϵ2i|xi)≠σ2; Examples 2.6 (page 127) illustrates this. It also perhaps answers the question of the overlap between homo- and heteroskedasticity: it gives an example where there is unconditional homoskedasticity as well as conditional heteroskedasticity.
These are confusing concepts, especially without a lot of experience with conditional expectations/distributions, but hopefully this adds some clarity (and source material for any future discussions).