契约曲线 非欧空间 效用函数 阿罗不可能定理 无差异函数 猜想模型