A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference

Bridges(1992) has constructively shown the existence of continuous demand function for consumers with continuous, uniformly rotund preference relations. We extend this result to the case of multi-valued demand correspondence. We consider a weakly uniformly rotund and monotonic preference relation, and will show the existence of convex-valued demand correspondence with closed graph for consumers with continuous, weakly uniformly rotund and monotonic preference relations. We follow the Bishop style constructive mathematics.