間接効用関数は価格ベクトルに関して単調減少（単調非増加）関数であるとともに、所得に関して単調増加（単調非減少）関数です。

消費者の選好がストーン・ギアリー型効用関数によって表現されるとき、支出最小化問題には内点解が存在することが保証されるため、補償需要関数や支出関数もまた存在します。

消費者の選好がストーン・ギアリー型効用関数によって表現されるとき、効用最大化問題には内点解が存在することが保証されるため、需要関数や間接効用関数もまた存在します。

それぞれの商品に関して、消費者が生存を維持するために必ず消費しなければならない数量が設定されている状況を描写する効用関数をストーン・ギアリー型効用関数と呼びます。これはコブ・ダグラス型効用関数の一般化です。

無差別な消費ベクトル x,y を任意に選んだとき、すべての商品の消費量を同じ割合 α で増やして得られる消費ベクトル αx,αy どうしもまた無差別であるならば、選好は相似拡大性を満たすとか、ホモセティックであるなどと言います。1次同次関数であるような効用関数によって表現される選好は相似拡大性を満たします。

消費者の選好が線型効用関数によって表現されるとき、支出最小化問題には解が存在することが保証されるため、非空な補償需要対応や支出関数もまた存在します。

消費者の選好が線型効用関数によって表現されるとき、効用最大化問題には解が存在することが保証されるため、非空な需要対応や間接効用関数もまた存在します。

消費者にとって複数の商品の間の主観的価値が一定であり両者が置き換え可能である場合、それらの商品を完全代替財と呼びます。完全代替財を消費する消費者の選好は線型効用関数によって表現されます。

消費者の選好がレオンチェフ型効用関数によって表現されるとき、支出最小化問題には解が存在することが保証されるため、補償需要関数や支出関数もまた存在します。

消費者の選好がレオンチェフ型効用関数によって表現されるとき、効用最大化問題には解が存在することが保証されるため、需要関数や間接効用関数もまた存在します。

複数の商品が一定の割合で組み合わされて消費されることで意味を持つ場合、それらの商品を完全補完財と呼びます。完全補完財を消費する消費者の選好はレオンチェフ型効用関数によって表現されます。

消費者の選好がコブ・ダグラス型効用関数によって表現されるとき、支出最小化問題には解が存在することが保証されるため、補償需要関数や支出関数もまた存在します。

消費者の選好がコブ・ダグラス型効用関数によって表現されるとき、効用最大化問題には内点解が存在することが保証されるため、需要関数や間接効用関数もまた存在します。

価格ベクトルと目標とする効用水準の組を入力とし、そこでの支出最小化問題の解における消費者の支出を出力する関数を支出関数と呼びます。

価格ベクトルと所得の組を入力とし、そこでの効用最大化問題の解において消費者が得る効用を出力する関数を間接効用関数と呼びます。

支出最小化問題の解において消費者は目標水準に等しい効用を得るとともに、少なくとも1つの商品の補償需要がゼロである場合、そのような解を端点解と呼びます。端点解において限界代替率と相対価格は一致するとは限りません。

支出最小化問題の解においてすべての商品の補償需要が正の実数であるとき、そのような解を内点解と呼びます。内点解において任意の2つの商品の間の限界代替率と相対価格は一致します。

クーンタッカー条件を満たす消費ベクトルが支出最小化問題の解であるための必要条件や十分条件を明らかにした上で、支出最小化問題の解を求める具体的な手順について解説します。

ヒックスの補償需要対応（補償需要関数）は価格ベクトルに関して0次同次です。つまり、すべての商品の価格を同じ割合で増加させても支出最小化問題の解集合は変化しません。

消費者が直面する支出最小化問題は価格ベクトルと目標となる効用水準に応じて変化します。そこで、価格ベクトルと目標効用水準のそれぞれの組に対して、そのときの支出最小化問題の解集合を定める対応をヒックスの補償需要対応（補償需要関数）と呼びます。

支出最小化問題にはそのままではベルジュの最大値定理を適用できないため、一般性を失わない形で、支出最小化問題をベルジュの最大値定理が適用可能な形へ変換します。

価格ベクトルと目標となる効用水準が与えられたとき、目標水準以上の効用をもたらす消費ベクトルの中から支出を最小化するようなものを特定することを支出最小化問題と呼びます。

消費集合が凸集合であるようなユークリッド空間の部分集合であるとともに、選好関係が合理性（完備性および推移性）と連続性を満たす場合、その選好関係を表す効用関数が必ず存在します。これをドブリューの定理と呼びます。

消費集合が可算集合であり、なおかつ消費集合上に定義された選好関係が合理性の仮定（完備性および推移性）を満たす場合には、その選好関係を表す効用関数が存在するとともに、そのような関数を具体的に構成することができます。

消費集合が有限集合であり、なおかつ消費集合上に定義された選好関係が合理性の仮定（完備性および推移性）を満たす場合には、その選好関係を表す効用関数が存在するとともに、そのような関数を具体的に構成することができます。

コブ・ダグラス型効用関数と呼ばれるクラスの効用関数を定義するとともに、その性質を解説します。コブ・ダグラス型効用関数は単調増加かつ1次同次な準凹関数であり、連続微分可能です。

すべての商品の価格と所得が同じ割合で増加する場合には、その変化の前後において、予算制約を満たす消費ベクトルからなる集合、すなわち予算集合は変化しません。予算対応が満たす以上の性質を0次同次性と呼びます。関連してニュメレール（価値尺度財）についても解説します。

予算対応が上半連続かつ下半連続である場合、すなわち連続対応である場合には、消費者が直面する最適化問題を解く際にベルジュの最大値定理を利用できるため、様々な望ましい性質を導くことができます。

消費者理論では予算集合がコンパクト集合であることを仮定することがあります。この仮定には、消費者が直面する最適化問題に解が存在することを保証する役割があります。

価格ベクトルと所得のそれぞれの組に対して、そこでの効用最大化問題の解に相当する消費ベクトルを1つずつ定める関数をワルラスの需要関数と呼びます。ここでは需要関数が存在するための条件を紹介します。

消費者は予算集合に属する消費ベクトルの中から、自身の選好（効用関数）に照らし合わせて最も望ましい消費ベクトルを選ぶものと仮定します。このような仮定のもとで、消費者が直面する最適化問題を選好最大化問題（効用最大化問題）と呼びます。

効用最大化問題に解において消費者が所得をすべて使い切るとともに、少なくとも1つの商品の需要がゼロである場合、そのような解を端点解と呼びます。端点解において限界代替率と相対価格は一致するとは限りません。

効用最大化問題の解において消費者は所得をすべて使い切るとともに、すべての商品の消費量が正の実数であるとき、そのような解を内点解と呼びます。内点解において、任意の2つの商品の限界代替率と相対価格は一致します。

クーン・タッカーの定理を用いて、効用最大化問題の解が満たす条件を明らかにします。さらに、ラグランジュの未定乗数法を使って効用最大化問題の解を求める方法を解説します。

消費者の選好が局所非飽和性を満たすとき、効用最大化問題の解において消費者は所得をすべて使い切ります。これをワルラスの法則と呼びます。

すべての商品の価格と所得が同じ割合で増加したとき、その変化の前後において効用最大化問題の解が変化しない場合、需要対応（需要関数）は0次同次性を満たすと言います。需要対応の0次同次性は予算対応の0次同次性から導かれます。また、0次同次な需要関数を微分することによりオイラーの定理を導くことができます。

ある消費ベクトルを出発点として、商品 i の消費量を 1 単位変化させてもなお、効用水準を保つために変化させる必要のある商品 j の量を、その消費ベクトルにおける商品 i の商品 j で測った限界代替率と呼びます。限界代替率は限界効用の比として表現できます。

ある消費ベクトルを出発点とし、そこからある商品の消費量だけを1単位変化させたときに発生する効用の変化量を限界効用と呼びます。限界効用を効用関数の偏微分係数として定義します。限界効用の絶対的な水準は重要ではありません。

無差別な消費ベクトル x,y を任意に選んだとき、ある経済財の消費量だけを同じ割合で増やして得られる消費ベクトルどうしもまた無差別になるのであれば、選好はその経済財について準線型性を満たすと言います。準線型性を満たす選好は準線型効用関数によって特徴づけられます。

消費ベクトル x 以上に望ましい消費ベクトル y,z を任意に選んだとき、それらを任意の割合で混ぜることで得られる消費ベクトルもまた x 以上に望ましいことが保証されるのであれば、選好は凸性を満たすと言います。凸性を満たす選好は準凹な効用関数によって特徴づけられます。

ある消費ベクトルが任意の消費ベクトル以上に望ましい場合、それを飽和点と呼びます。選好関係が非飽和性や局所非飽和性を満たすこととは、消費集合の中に飽和点が存在しないことを意味します。

選好関係が単調性を満たすこととは、消費者はすべての商品をより多く消費することを好むことを意味します。選好を表す効用関数が存在するとき、選好関係が単調であることは効用関数が単調増加であることと必要十分です。

ある選好関係のもとで任意の消費ベクトルに関する狭義の上方位集合と狭義の下方位集合がともに消費集合上で開集合である場合、その選好関係は連続性を満たすと言います。連続性の仮定のもとでは消費者の選好が連続的に変化することが保証されます。また、連続な効用関数によって表現される選好は連続性を満たします。

合理性の仮定はそれほど無理のない仮定ですが、それでも実際の消費者の選好は合理性を満たさないケースがあります。コンドルセの逆説や消費者の選択肢が連続的に変化する場合などが典型的なケースです。