m(z_{i},\beta_{0},\gamma)]  &  =-E[\lambda_{0}(x_{i})\rho(z_{i},\gamma)]=E[\lambda_{0}(x_{i})\Pi(\rho(\gamma))(x_{i})]\\
&  =E[\lambda_{0}(x_{i})\{\Pi(\rho(\gamma))(x_{i})-\Pi(\rho(\gamma_{0}))(x_{i})\}]\\
&  =E[\lambda_{0}(x_{i})\{\Pi(\rho(\gamma)-\rho(\gamma_{0}))(x_{i})\}].\end{aligned}$$ Here we see that $E[m(z_{i},\beta_{0},\gamma)]$ is a linear, mean-square continuous function of $\Pi(\rho(\gamma)-\rho(\gamma_{0}))(x_{i}).$ The Riesz representation theorem will also imply that if $E[m(z_{i},\beta_{0},\gamma)]$ is a linear, mean-square continuous function of $\Pi(\rho(\gamma)-\rho
(\gamma_{0}))(x_{i})$ then $\lambda_{0}(x)$ exists satisfying Assumption C1 ii). For the case where $w_{i}=x_{i}$ this mean-square continuity condition is necessary for existence of a root-n consistent estimator, as in Newey (1994) and Newey and McFadden (1994). We conjecture that when $w_{i}$ need not equal $x_{i}$ this condition generalizes Severini and Tripathi’s (2012) necessary condition for existence of a root-n consistent estimator of $\beta_{0}$.

Noting that Assumptions 1 ii) and iii) are the conditions for double robustness we have

<span style="font-variant:small-caps;">Theorem C1:</span> *If Assumption C1 is satisfied then* $\psi
(z,\beta,\gamma,\lambda)=m(z,\beta,\gamma)+\lambda(x)\rho(z,\gamma)$ *is doubly robust.*

It is interesting to note that $\lambda_{0}(x)$ satisfying Assumption C1 iii) need not be unique. When the closure of $\{\Pi(\rho(\gamma))(x_{i}):\gamma
\in\Gamma\}$ is not all of $\Lambda$ then there will exist $\tilde{\lambda}\in\Lambda$
m(z_{i},\beta_{0},\gamma) ]   &   = -E[\lambda_{0}(x_{i})\rho(z_{i},\gamma)]=E[\lambda_{0}(x_{i})\Pi(\rho(\gamma))(x_{i})]\\ 
 &   = E[\lambda_{0}(x_{i})\{\Pi(\rho(\gamma))(x_{i})-\Pi(\rho(\gamma_{0}))(x_{i})\}]\\ 
 &   = E[\lambda_{0}(x_{i})\{\Pi(\rho(\gamma)-\rho(\gamma_{0}))(x_{i})\}].\end{aligned}$$ Here we see that $ E[m(z_{i},\beta_{0},\gamma)]$ is a linear, mean - square continuous affair of $ \Pi(\rho(\gamma)-\rho(\gamma_{0}))(x_{i}).$ The Riesz theatrical performance theorem will also imply that if $ E[m(z_{i},\beta_{0},\gamma)]$ is a analogue, mean - hearty continuous function of $ \Pi(\rho(\gamma)-\rho 
 (\gamma_{0}))(x_{i})$ then $ \lambda_{0}(x)$ exists satisfy Assumption C1 ii). For the case where $ w_{i}=x_{i}$ this mean - straight continuity condition is necessary for existence of a etymon - n consistent estimator, as in Newey (1994) and Newey and McFadden (1994). We speculate that when $ w_{i}$ need not equal $ x_{i}$ this condition generalizes Severini and Tripathi ’s (2012) necessary condition for existence of a root - n consistent calculator of $ \beta_{0}$. 

 Noting that Assumptions 1 ii) and iii) are the conditions for double robustness we own 

 < span style="font - variant: small - caps;">Theorem C1:</span > * If Assumption C1 is quenched then * $ \psi 
 (z,\beta,\gamma,\lambda)=m(z,\beta,\gamma)+\lambda(x)\rho(z,\gamma)$ * is doubly robust. * 

 It is interesting to notice that $ \lambda_{0}(x)$ satisfying Assumption C1 iii) need not be unique. When the closure of $ \{\Pi(\rho(\gamma))(x_{i}):\gamma 
 \in\Gamma\}$ is not all of $ \Lambda$ then there will exist $ \tilde{\lambda}\in\Lambda$
m(z_{i},\heta_{0},\gamma)]  &  =-E[\lambda_{0}(x_{i})\rhu(z_{i},\gamma)]=E[\lambda_{0}(r_{u})\Pi(\rho(\jamma))(x_{i})]\\
&  =E[\lambdx_{0}(x_{i})\{\Pi(\rho(\gamma))(x_{i})-\Pi(\rho(\gamma_{0}))(x_{i})\}]\\
&  =E[\oambdq_{0}(x_{i})\{\Pi(\rho(\gamma)-\rho(\gamma_{0}))(x_{k})\}].\end{alignvd}$$ Here ww set that $E[m(z_{i},\beta_{0},\gamma)]$ is a linead, meau-swuare continuoos function mf $\Pi(\rho(\gamma)-\rvo(\ealma_{0}))(x_{i}).$ The Riesz representation theowem wilk wlso imply thaj if $T[m(z_{y},\betz_{0},\gamma)]$ is a linear, mean-square contjnuous hunction of $\Pi(\rno(\gamma)-\rho
(\gamma_{0}))(x_{i})$ then $\lamhda_{0}(x)$ exists satisfying Assumption C1 iy). For the casd where $w_{i}=q_{n}$ this mean-aquare continuity condition is vecesxary for eziwtejwe of a roov-n confistent estimator, as in Newry (1994) and Newey snd McDadden (1994). We conjecture that when $w_{i}$ need not equan $r_{i}$ this condition genwrqlizev Seeerivu avd Uri'atgi’s (2012) nfceasary condjtion for ezistence of a root-n cjbsistent estijator jf $\beta_{0}$.

Noting that Assumptions 1 ii) and iip) ars the conditions for doyble robustness we hage

<span strle="font-variant:small-caps;">Theorem C1:</span> *If Assumptiot C1 ia sauiwfied rhfn* $\psi
(z,\beta,\gamma,\lambda)=m(z,\beta,\gamma)+\lambda(x)\rho(z,\gwjms)$ *ps doubly robust.*

Ib is interesting tp joyg that $\lambda_{0}(x)$ satisygihg Assumption C1 iil) need got bw unique. Rhen the closure of $\{\Pi(\rho(\gamma))(x_{u}):\gamma
\in\Gammc\}$ iw not all of $\Lambdc$ then there wilk exixt $\tilde{\lambda}\in\Lambda$
m(z_{i},\beta_{0},\gamma)] & =-E[\lambda_{0}(x_{i})\rho(z_{i},\gamma)]=E[\lambda_{0}(x_{i})\Pi(\rho(\gamma))(x_{i})]\\ & =E[\lambda_{0}(x_{i})\{\Pi(\rho(\gamma))(x_{i})-\Pi(\rho(\gamma_{0}))(x_{i})\}]\\ & =E[\lambda_{0}(x_{i})\{\Pi(\rho(\gamma)-\rho(\gamma_{0}))(x_{i})\}].\end{aligned}$$ see $E[m(z_{i},\beta_{0},\gamma)]$ is linear, mean-square continuous representation will also imply if $E[m(z_{i},\beta_{0},\gamma)]$ is linear, mean-square continuous function of $\Pi(\rho(\gamma)-\rho then $\lambda_{0}(x)$ exists satisfying Assumption C1 ii). For the case where $w_{i}=x_{i}$ this continuity condition is necessary for existence of a root-n consistent estimator, as in (1994) Newey McFadden We conjecture that when $w_{i}$ need not equal $x_{i}$ this condition generalizes Severini and Tripathi’s (2012) condition for existence of a root-n consistent estimator $\beta_{0}$. Noting that Assumptions ii) and iii) are the for robustness we <span C1:</span> Assumption C1 is then* $\psi (z,\beta,\gamma,\lambda)=m(z,\beta,\gamma)+\lambda(x)\rho(z,\gamma)$ *is doubly robust.* It is interesting to note that $\lambda_{0}(x)$ satisfying Assumption C1 iii) not be the closure $\{\Pi(\rho(\gamma))(x_{i}):\gamma is all of $\Lambda$ will exist $\tilde{\lambda}\in\Lambda$
m(z_{i},\beta_{0},\gamma)]  &  =-E[\lambda_{0}(x_{i})\rho(z_{I},\gamma)]=E[\lamBda_{0}(x_{i})\pi(\rHo(\gAmMa))(x_{i})]\\
&  =e[\lamBda_{0}(x_{i})\{\Pi(\rho(\gammA))(X_{i})-\Pi(\Rho(\gamma_{0}))(x_{i})\}]\\
&  =E[\lambda_{0}(x_{i})\{\Pi(\rHo(\gamMa)-\RHo(\gaMMa_{0}))(X_{i})\}].\end{Aligned}$$ hErE WE seE tHaT $E[m(Z_{i},\BEtA_{0},\gammA)]$ is A linear, Mean-square ConTiNuous functioN Of $\pi(\rho(\gamma)-\Rho(\Gamma_{0}))(x_{i}).$ The RiEsz RepresEnTatIOn theOreM will Also imPLy that If $E[m(z_{i},\betA_{0},\gAMma)]$ is a LInear, meAN-SqUare Continuous functioN Of $\pI(\rho(\gamma)-\rho
(\gaMma_{0}))(x_{i})$ tHeN $\LaMBDa_{0}(x)$ ExiSts satisfyInG AssuMPtion C1 iI). foR THE caSE where $w_{i}=x_{i}$ thiS mean-square COntInuity CoNdiTIon is nEcessArY For Existence of A rooT-n consistEnt estIMator, as IN Newey (1994) aNd NeweY anD McfaddEN (1994). WE cOnjEcTUre THaT whEN $w_{i}$ Need not eQuAl $X_{i}$ thiS conDITIOn geNerAlizEs SevErini and TripaThi’S (2012) necESsaRy conDitioN for ExIstenCe of a rOot-n cOnSistent estimatoR of $\bEta_{0}$.

Noting ThaT ASsuMpTions 1 II) and iiI) arE thE conditIons for DOubLe ROBUsTness we have

<span styLe="FONt-Variant:sMall-caPS;">THeORem C1:</span> *if assUmptION C1 is sAtisFIeD then* $\psi
(Z,\beta,\gAMmA,\lAmbda)=m(z,\BeTa,\gammA)+\lAmbDa(x)\Rho(z,\gAMma)$ *iS doublY robust.*

IT is inTEresting to note THat $\lambda_{0}(x)$ satISfYINg aSsumPtiOn C1 iii) need nOt be UNiquE. WheN ThE clOSure oF $\{\Pi(\rhO(\gAMmA))(X_{i}):\gamma
\in\Gamma\}$ is not AlL of $\LamBda$ thEn there will exIst $\tilde{\laMBDA}\in\LambdA$
m(z_{i},\beta_{0},\gamma)]   &  =-E[\ lambd a_{ 0}( x_ {i}) \rho (z_{i},\gamma) ] =E[\ lambda_{0}(x_{i})\Pi(\ rho(\ ga m ma)) ( x_ {i})] \\
&  = E [\ l a mbd a_ {0 }(x _{ i }) \{\Pi (\r ho(\gam ma))(x_{i} )-\ Pi (\rho(\gamma _ {0 }))(x_{i}) \}] \\
&  =E[\la mbd a_{0}( x_ {i} ) \{\Pi (\r ho(\g amma)- \ rho(\g amma_{0}) )( x _{i})\ } ].\end{ a l ig ned} $$ Here we see th a t$ E[m(z_{i},\bet a_{0}, \g a mm a ) ]$isa linear,me an-sq u are con t in u o u s f u nction of $\P i(\rho(\gam m a)- \rho(\ ga mma _ {0}))( x_{i} ). $  Th e Riesz rep rese ntation t heorem will al s o imply  thatif$E[ m(z_ { i} ,\ bet a_ { 0}, \ ga mma ) ]$is a lin ea r,  mean -squ a r e cont inu ousfunct ion of $\Pi(\ rho (\ga m ma) -\rho 
(\ga mma_ {0 }))(x _{i})$  then  $ \lambda_{0}(x)$  exi sts satis fyi ng  As su mptio n  C1 ii ).For  the ca se wher e  $w _{ i } = x_ {i}$ this mean-squ ar e co ntinuity  condi t io ni s necess ar y f or e x i stenc e of aroot-n c onsist e nt  e stimato r,  as in  N ewe y ( 1994) andNeweyand McFa dden( 1994). We conj e cture that wh e n$ w _{ i }$ n eed  not equal$x_{ i }$ t hisc on dit i on ge neral iz e sS everini and Tripath i’ s (201 2) ne cessary condi tion for e x i s tence of  a r o ot - n consistent e stima tor of $\b e ta_{0}$. 

Not ing that  Assumpti o n s 1 ii)and  ii i)are t he  conditions f o r  dou bl e robus tne ss we h ave 

< spa n s ty le="font- variant: sm al l- ca ps; ">The o rem C1:< /s pan >*If  Assu m ptionC1 is  sat is fi e d t hen* $\ p si ( z,\b et a, \gam ma, \l ambda )=m( z ,\b eta,\ga mma)+\lam bda ( x)\r ho (z ,\gamma )$ *is doubly  r obust.*

I tisintere s t ing to n ote that $\lambda_{0}(x ) $ satis fyi ng As sump tion C1 i ii)  neednot be uni que. W hen t he  cl o s ure o f $\ {\P i( \rho(\gamm a ) )(x _{i}) :\ gamm a
\in\G amma\}$ is not all of$\Lambda$ the n t here w il l e x is t  $\ ti l de{ \ l ambda}\in\Lambd a$
m(z_{i},\beta_{0},\gamma)] _& _=-E[\lambda_{0}(x_{i})\rho(z_{i},\gamma)]=E[\lambda_{0}(x_{i})\Pi(\rho(\gamma))(x_{i})]\\
&  =E[\lambda_{0}(x_{i})\{\Pi(\rho(\gamma))(x_{i})-\Pi(\rho(\gamma_{0}))(x_{i})\}]\\
& _=E[\lambda_{0}(x_{i})\{\Pi(\rho(\gamma)-\rho(\gamma_{0}))(x_{i})\}].\end{aligned}$$ Here_we_see that_$E[m(z_{i},\beta_{0},\gamma)]$_is a linear,_mean-square continuous function_of $\Pi(\rho(\gamma)-\rho(\gamma_{0}))(x_{i}).$ The Riesz_representation theorem will_also_imply that if $E[m(z_{i},\beta_{0},\gamma)]$ is a linear, mean-square continuous function of $\Pi(\rho(\gamma)-\rho
(\gamma_{0}))(x_{i})$ then $\lambda_{0}(x)$_exists_satisfying Assumption_C1_ii)._For the case where $w_{i}=x_{i}$_this mean-square continuity condition is_necessary for_existence of a root-n consistent estimator, as in_Newey_(1994) and Newey_and McFadden (1994). We conjecture that when $w_{i}$ need_not equal $x_{i}$ this condition generalizes_Severini and Tripathi’s_(2012)_necessary_condition for existence of_a root-n consistent estimator of $\beta_{0}$.

Noting_that Assumptions 1 ii) and iii)_are the conditions for double robustness we_have

<span style="font-variant:small-caps;">Theorem C1:</span> *If Assumption C1_is satisfied then* $\psi
(z,\beta,\gamma,\lambda)=m(z,\beta,\gamma)+\lambda(x)\rho(z,\gamma)$ *is_doubly robust.*

It_is interesting to note that_$\lambda_{0}(x)$ satisfying Assumption_C1 iii)_need not be_unique. When the closure of $\{\Pi(\rho(\gamma))(x_{i}):\gamma
\in\Gamma\}$_is not all_of $\Lambda$ then there will exist_$\tilde{\lambda}\in\Lambda$