The weighted empirical distribution function estimator is given by:
$\hat{F}(x)=\frac{1}{\sum_{i=1}^{n}w_{i}}\sum_{i=1}^{n}w_{i}I(X_{i}\leq x)$
see also here: http://www.okstate.edu/sas/v8/sashtml/insight/chap38/sect25.htm
I fail to find proofs/discussions of the properties of this estimator. Is this estimator an unbiased estimator of $F(x)$? Or at least asymptotically unbiased? Or maybe consistent? Why? What assumptions are needed in order for it to be? You can assume anything you want, I am looking for a discussion.
Thanks.