選好

**選好**（せんこう、）とは、選択肢の集合上に定義される二項関係である。**選好関係**（）とも呼ばれ、\succsim , Rなどの記号で表される。経済主体の嗜好を表現する最も基本的な概念である。

## 概要
ミクロ経済学では経済・社会の現象を経済主体の行動に還元するアプローチ（方法論的個人主義）が取られる。経済主体を規定する根源的なものとして、選択肢間の好みの順番の概念である選好関係がある。

経済主体は直面した多数の選択肢の中から一つを選んで行動する。あらゆる選択肢の集合をSとすると、選好関係はS上の二項関係と定義される。すなわち、選好関係\succsimは\succsim \subset S^2を満たす。ある経済主体の選好関係を\succsimとすると、「この経済主体にとってaはbと同等以上に好ましい」ことを a \succsim bと表す。

任意のa,b \in Sについてa \succsim b \iff u (a) \ge u (b)を満たす関数u :S \to \mathbb{R}を「選好関係\succsimを表現する効用関数」と言う。効用関数の値u(x)は経済主体にとっての選択xの主観的な好ましさを表していると解釈できる。
選択肢の集合Sが有限の場合、選好関係\succsimが完備性と推移性を満たすならば、\succsimを表現する効用関数が存在する。
選択肢の集合が無限の場合、選好関係\succsimを表現する効用関数の存在には、\succsimが完備性と推移性に加えて連続性を満たしていれば十分である。ただし、選好関係が連続性を満たさなくても選好関係を表現する効用関数が存在する場合があるので、これは十分条件ではあっても必要条件ではない。

選好関係はミクロ経済学やゲーム理論の中心的な枠組みである。また、マクロ経済学、公共経済学、金融経済学などの主流派経済学のあらゆる分野やマルクス経済学の一部でも用いられている。さらに、経営学、会計学、政治学、社会学、進化生物学など経済学以外の社会科学でも選好関係を用いた分析が行われている。

## 定義
経済主体の選択肢の集合をSとする。Sの元は必ずしも選択可能である必要はない。選好関係はS上の二項関係と定義される。すなわち、S^2の部分集合を選好関係と言う。ある経済主体の選好関係を\succsimとすると、「この経済主体にとってaはbと同等以上に好ましい」ことを a \succsim bと表す。

## 顕示選好
ある経済主体の選好関係\succsimについてのa \succsim bは「この経済主体にとってaはbと同等以上に好ましい」ことを意味する。しかし、この経済主体が2つの選択肢a,\ bについてどのような主観的な評価をしているのかは直接観察することが出来ない。そこで、経済学では直接観察することが可能な**実際の行動**を通じて経済主体の選好を推定する。例えば、ある学生が口では「漫画よりも文学書が好きだ」と言う一方で文学書を読まずに漫画ばかり読んでいたとしたら、彼の選好\succsimについて「*漫画* \succsim*文学書*」が成り立つと考えるのである。このような考え方は**顕示選好理論**（）と呼ばれる。

## 無差別関係と強い意味での選好関係
選好関係\succsim \subset S^2によって、経済主体の意思決定に関する次の2つの基本的な二項関係が導かれる。
* a \succsim bとb \succsim aが同時に成り立つとき、「選択肢aと選択肢bは**無差別**である（）」といい、a \sim b、a I bなどで表される。この二項関係は「無差別関係（）と呼ばれる。
* a \succsim bが成り立つがb \succsim aは成り立たないとき、「選択肢aは選択肢bよりも**強く選好される**（）」といい、a \succ b、a P bなどで表される。この二項関係は「強い意味での選好関係（）と呼ばれる。
選好関係\succsimを用いて無差別関係\simや強い意味での選好関係\succを定義することは可能であるが、逆に\simや\succが単独で\succsimを定義することは不可能である。この意味において、**選好関係は経済主体の嗜好を表現する最も基本的な概念である**。

## 選好関係の公理
理論経済学において公理として仮定されることのある選好関係の性質を以下に挙げる。なお、Sは選択肢全体の集合を表すものとする。
; 反射性（）
: *すべての<math>a \in S</math>について、<math>a \succsim a</math>が成り立つ。*
; 完備性（）
: *すべての<math>a, b \in S</math>について、<math>a \succsim b</math>または<math>b \succsim a</math>が成り立つ。*
: これは経済主体がすべての選択肢a,bについて嗜好がa \succ b,\  b \succ a,\  a \sim bのいずれであるか判断できることを意味する。
; 推移性（）
: *すべての選択肢<math>a, b, c \in S</math>について、<math>a \succsim b</math>かつ<math>b \succsim c</math>ならば、<math>a \succsim c</math>が成り立つ。*
: これは経済主体の選択が首尾一貫していることを意味する。
;連続性（）
;局所非飽和性（）
;弱い意味での単調性（）
;強い意味での単調性（）
;凸性（）

### 合理性
合理性（）はミクロ経済学において最も重要視される選好関係の性質である。選好関係\succsimが**合理性**（）を満たすとは、\succsimが**完備性**と**推移性**を満たすことをいう。また、合理性を満たす選好関係\succsimを持つ経済主体は**合理的な経済主体**であると定義される。合理性を満たす選好関係は完備な前順序 (）として数学的に表現されるため、合理的な選好関係は選好順序（）とも呼ばれる。

現実には人間は論理的整合性を欠いた行動をとるが、合理的な個人を前提とした理論モデルは非合理な個人の行動モデルを構築する上でも有効である。このように合理性モデルをベンチマークとして構築・活用するアプローチは一般に**方法論的合理主義**と呼ばれる。

## 効用関数（選好関係の効用表現）
任意のa,b \in Sについてa \succsim b \iff u (a) \ge u (b)を満たす関数u :S \to \mathbb{R}を「選好関係\succsimを表現する効用関数」と言う。効用関数の値u(x)は経済主体にとっての選択xの主観的な好ましさを表していると解釈できる。

### 効用関数の存在
選好関係\succsimが合理性を満たす（すなわち、完備性と推移性を満たす）ことは、\succsimを表現する効用関数が存在するための必要条件である。

選択肢の集合Sが有限の場合、選好関係\succsimが合理性を満たすならば、\succsimを表現する効用関数が存在する。
したがって、選好関係が合理性を満たすことは、選好関係を表現する効用関数が存在するための必要十分条件である。

選択肢の集合が無限の場合、\succsimが合理性を満たしていても、\succsimを表現する効用関数が存在しない場合がある。例えば、選択肢の集合Sがn次元の実数の集合\mathbb R^nである場合、その選択肢の集合上の辞書式選好は合理性を満たすが、それを表現する効用関数は存在しない。選好関係\succsimが合理性に加えて連続性を満たしていれば、\succsimを表現する効用関数が存在する。ただし、選好関係が連続性を満たさなくても選好関係を表現する効用関数が存在する場合があるので、合理性と連続性を満たすことは効用関数が存在するための十分条件ではあっても必要条件ではない。

### 選好関係と効用関数の関係
効用表現が存在する場合の選好関係と効用関数の各性質の対応関係は次の表にまとめられる。

### 効用表現を用いることの利点
選択可能な選択肢の集合をX \subset Sとする。経済主体の選好関係\succsimが合理性の仮定を満たすとき、選好関係の定義から、経済主体はに含まれる選択肢を選択する。つまり、経済主体は選択可能な選択肢の集合の中で最も選好される選択肢を選択する（**合理的行動**）。選好関係\succsimを用いた上記の表現では選択可能な選択肢の集合が変化した際の経済主体の行動の変化を分析するのは技術的に難しい。他方、効用表現uを用いるとX \subset Sに直面した経済主体の行動はと定式化することができ(**効用最大化問題**)、効用関数uが微分可能であれば解析的な手法によって比較的容易に分析することが可能である。

## 脚注
### 注釈

### 出典

## 引用文献
*  
* 
*  
*  
* 
* 
* 
* 
* 
* 
* 
* 
## 関連項目
* 効用
* 無差別曲線
*  - 個人的嗜好とは異なる大衆やメディアなどが好む選択を選ぶこと。