1704633112
图1.1 局部非厌足性
1704633113
1704633114
1704633115
1704633116
1704633117
【公理5′】 局部非厌足性（locally nonsatiation）：对于所有对于所有ε>0，都存在某个消费计划使得
1704633118
1704633119
1704633120
1704633121
这里，x0是给定的消费计划。ε为某一距离半径，Bε（x0）是以x0为中心，以ε为半径所画的一个开球（不含极限点）。是指x所代表的消费计划仍在消费集X与x0的邻域内。表示x严格优于x0。因此公理5′说，消费者对于任一个特定的消费计划x0都是不会满足的。
1704633122
1704633123
公理5′意味着，不存在“无差异区域”（indifference zones）。因为，如有无差异区域，那么在该区域内以x0为圆心画一个邻域，其所有内点必与x0无差异。但这样一来会违背公理5′。
1704633124
1704633125
1704633126
1704633127
1704633128
【公理5】 单调性：对于所有的x0，如果x0≥x1，则但如果x0≫x1，则
1704633129
1704633130
请注意≥与≫两个符号。“≥”是一个数量大小的符号，表示一个消费计划x0所对应的每种物品的数量至少与另一个消费计划x1中的对应物品一样多。“≫”是一个消费计划x0中每一种物品的数量都比另一个消费计划x1中所对应的物品要多。
1704633131
1704633132
因此，≥意味着“至少与x一样好”；≫意味着“严格优于”。
1704633133
1704633134
公理5是说数量上的比较可以是偏好上的比较。
1704633135
1704633136
1704633137
1704633138
1704633139
图1.2
1704633140
1704633141
1704633142
1704633143
公理5与公理5′是什么关系呢？首先，公理5意味着公理5′。如果“≫→”，则必能对x0找出一个邻域，在该邻域中发现其次，公理5的要求比公理5′要严，满足公理5不仅需要满足5′，而且还需别的东西。什么是公理5比公理5′更多的要求呢？公理5排除了无差异集的“向上弯曲”，也即排除了无差异集中含有斜率为正的线段。考虑图1.2：按公理5，在x0的东北区中的任何点，都是严格优于x0；在x0的西南区中的任何点，都是严格次于x0；所以x1不可能与x0无差异，x2也不可能与x0无差异（这里是出现斜率为正的线段）。因此，图1.2中那条线不可能是无差异曲线。
1704633144
1704633145
1704633146
1704633147
1704633148
【公理6′】 凸性：如果那么对于所有λ∈［0，1］，都有
1704633149
1704633150
1704633151
1704633152
【公理6′】 严格凸性：如果x1≠x0，且那么对于所有的λ∈（0，1），都有
1704633153
1704633154
1704633155
1704633156
1704633157
图1.3 无差异曲线凹向原点会违反公理5
1704633158
1704633159
请注意，λ值的定义域在公理6′是闭区域，而在公理6中是开区域。“≠”指物品数量不相等。
1704633160
1704633161
公理6′表示无差异集不可能有凹向原点的线段。如图1.3所示。在图1.3中，如x1与x2是无差异的，那么由公理6′，xλ也应在x1与x2所代表的无差异集里，但由公理5可知，xλ明显地劣于x1与x2所代表的无差异集。