笔记选用了Barro的一般均衡模型，而不是Romer的社会计划者模型。虽然二者结果都是一致的，但对于学习来说，一般均衡模型的推导更加细致，模型的经济涵义更加丰富。

技术上复杂的问题，诸如总效用函数的可和性、投资品的不可逆性等等，在此都略过了。即便是Barro和Romer的教科书，也省略了大量细节。请大家留意。

学习愉快！

Working in Progress:
Equivalent Formulations of Compact Set