「《効用関数》」の版間の差分
5行目: | 5行目: | ||
効用関数とは, 一言でいえば人間の価値観を定量的に表現するための数学モデルである. 価値に関する科学的アプローチは経済学の分野で古くから扱われてきた. 人びとは財を消費したりサービス受けることによって一定の心理的満足感を得るが, この満足の度合いを効用という. この概念は消費者行動理論において基本的役割を担う [1]. | 効用関数とは, 一言でいえば人間の価値観を定量的に表現するための数学モデルである. 価値に関する科学的アプローチは経済学の分野で古くから扱われてきた. 人びとは財を消費したりサービス受けることによって一定の心理的満足感を得るが, この満足の度合いを効用という. この概念は消費者行動理論において基本的役割を担う [1]. | ||
− | いま, 財Aを $x_1$ 量, 財Bを $x_2$ 量だけ消費するときに得られる効用(または価値)を $u(x_1,x_2)$ で表し, これを[[効用関数]](または[[価値関数]])という. ここで予算 $b$ が与えられたとして, 財A, Bの単位量あたりの価格をそれぞれ $p_1$, $p_2$ とすれば, 消費者は | + | いま, 財Aを $<math>x_1</math>$ 量, 財Bを $<math>x_2</math>$ 量だけ消費するときに得られる効用(または価値)を $<math>u(x_1,x_2)</math>$ で表し, これを[[効用関数]](または[[価値関数]])という. ここで予算 $<math>b</math>$ が与えられたとして, 財A, Bの単位量あたりの価格をそれぞれ $<math>p_1</math>$, $<math>p_2</math>$ とすれば, 消費者は |
− | + | :<math>\mbox{max.} \qquad \quad u(x_1,x_2)</math> | |
− | + | :<math>\mbox{s. t.} \quad p_1 x_1 + p_2 x_2 \le b,</math> | |
26行目: | 26行目: | ||
− | 結果の集合 $X$ 上の基数効用関数 $u : X \rightarrow \mathbf{ R}$ の, $X$ 上の確率についての期待値 | + | 結果の集合 $<math>X</math>$ 上の基数効用関数 $<math>u : X \rightarrow \mathbf{ R}</math>$ の, $<math>X</math>$ 上の確率についての期待値 |
− | + | :<math>E(u,p)= \sum_{x\in X}u(x)p(x)</math> | |
− | を期待効用(expected utility)という. $X$ 上の確率の集合を $P=\{p_1,p_2,...\}$ とするとき, 期待効用の大小によって $p$ 上の[[選好関係]] (preferencerelation)$\displaystyle {\mathop {\succ }_\sim} $を表現することを考える. | + | を期待効用(expected utility)という. $<math>X</math>$ 上の確率の集合を $<math>P=\{p_1,p_2,...\}</math>$ とするとき, 期待効用の大小によって $<math>p</math>$ 上の[[選好関係]] (preferencerelation)$<math>\displaystyle {\mathop {\succ }_\sim}</math> $を表現することを考える. |
定理: 基数効用関数の存在と一意性 | 定理: 基数効用関数の存在と一意性 | ||
− | $P$ を $X$ 上の確率の全集合とし, $(P,\displaystyle {\mathop{\succ }_\sim})$ を $P$ 上の選好構造とするとき, 任意の $p,q \in P$ に対して | + | $<math>P</math>$ を $<math>X</math>$ 上の確率の全集合とし, $<math>(P,\displaystyle {\mathop{\succ }_\sim})</math>$ を $<math>P</math>$ 上の選好構造とするとき, 任意の $<math>p,q \in P</math>$ に対して |
− | |||
− | + | :<math>p \displaystyle{\mathop{\succ}_\sim} q \Leftrightarrow E(u,p)\geq E(u,q)</math> | |
− | |||
− | + | を満たす $<math>X</math>$ 上の基数効用関数 $<math>u : X \rightarrow \mathbf{ R}</math>$ が存在するための必要十分条件は次のように与えられる. | |
− | ''' | + | '''NM1''' $<math>(P,\displaystyle{\mathop{\succ}_\sim})</math>$ は弱順序である. |
− | さらに, このような $u$ は正線形変換($u'=h+ku$ を満たす定数 $h$ と $k>0$ が存在)の範囲で一意であり, 別名フォン・ノイマン=モルゲンシュテルン効用関数という. | + | '''NM2''' $<math>p \succ q \Rightarrow \alpha p + (1 - \alpha )r \succ\alpha q + (1-\alpha )r,{ } \forall r \in P,{ } \alpha \in (0,1)</math>$ |
+ | |||
+ | '''NM3''' $<math>p \succ q \succ r \Rightarrow \alpha p + (1 - \alpha)r\succ q \succ \beta p + (1- \beta )r</math>$, for some $<math>\alpha, \beta \in(0,1)</math>$ | ||
+ | |||
+ | さらに, このような $<math>u</math>$ は正線形変換($<math>u'=h+ku</math>$ を満たす定数 $<math>h</math>$ と $<math>k>0</math>$ が存在)の範囲で一意であり, 別名フォン・ノイマン=モルゲンシュテルン効用関数という. | ||
さらに, サヴェージは, 結果の集合上に客観確率を考える代りに, 自然の状態の集合上に主観確率を考え, 期待効用最大化の仮説が成り立つ基数効用関数と主観確率が存在するための必要十分条件を求めた. [4] | さらに, サヴェージは, 結果の集合上に客観確率を考える代りに, 自然の状態の集合上に主観確率を考え, 期待効用最大化の仮説が成り立つ基数効用関数と主観確率が存在するための必要十分条件を求めた. [4] | ||
54行目: | 56行目: | ||
期待効用最大化仮説に基づく期待効用モデルは, 「決定がいかにあるべきか」を議論する規範的(normative)モデルとしては有用なモデルであるが, 「決定が実際にどのようになされているか」を議論する記述的(descriptive)モデル(あるいは行動科学的モデル)としては問題がある. すなわち, アレーの反例やエルスバーグの反例に見られるように期待効用モデルでは説明できない現象がいくつか存在する. これらを適切に説明するモデルとして, 期待効用モデルを一般化したリスク下の価値関数や不確実性下の価値関数が提案されていて, そこでは事象の生起確率(またはDempster-Shaferの確率理論 [5] でいう焦点要素の基本確率)も評価属性のひとつとして扱われる [6]. | 期待効用最大化仮説に基づく期待効用モデルは, 「決定がいかにあるべきか」を議論する規範的(normative)モデルとしては有用なモデルであるが, 「決定が実際にどのようになされているか」を議論する記述的(descriptive)モデル(あるいは行動科学的モデル)としては問題がある. すなわち, アレーの反例やエルスバーグの反例に見られるように期待効用モデルでは説明できない現象がいくつか存在する. これらを適切に説明するモデルとして, 期待効用モデルを一般化したリスク下の価値関数や不確実性下の価値関数が提案されていて, そこでは事象の生起確率(またはDempster-Shaferの確率理論 [5] でいう焦点要素の基本確率)も評価属性のひとつとして扱われる [6]. | ||
− | 結果 $x \in X$ が $n$ 個の属性 $X_1,X_2,\ldots ,X_n$ によって特徴づけられているとき, 結果 $x$ は | + | 結果 $<math>x \in X</math>$ が $<math>n</math>$ 個の属性 $<math>X_1,X_2,\ldots ,X_n</math>$ によって特徴づけられているとき, 結果 $<math>x</math>$ は |
+ | |||
+ | |||
+ | :<math>x=(x_1,x_2,\ldots ,x_n),{ }x_i \in X_i,{ }i =1,2,\ldots ,n</math> | ||
+ | |||
+ | で表される. 起こりうるすべての結果の集合 $<math>X</math>$ は, 直積集合 $<math>X_1 \times X_2\times \ldots \times X_n</math>$ で表され, これを $<math>n</math>$ 属性空間という. $<math>n</math>$ 属性効用関数は, $<math>X=X_1 \times X_2 \times \ldots \times X_n</math>$ 上に $<math>u:X_1 \times X_2\times \ldots \times X_n \rightarrow [0,1]</math>$ として定義される. このような $<math>n</math>$ 属性効用関数を直接求めるには, 複数の属性を同時に考慮して選好判断をしなければならず, 実際にはほとんど不可能である. そこで, 複数の属性間に種々の独立性を仮定して, 直接評価する効用関数の属性の次元を少なくする分解表現を得ることが重要になる. とくに, $<math>n</math>$ 個の属性が相互に効用独立という性質を満たすときには, [[加法型効用関数]]または[[乗法型効用関数]]を得ることができる. | ||
− | |||
+ | :<math>\begin{equation} u(x)=u(x_1,x_2,\ldots ,x_n)=\sum_{i=1}^{n} k_i u_i(x_i)</math> (1) | ||
− | |||
+ | または | ||
− | |||
− | |||
− | |||
− | |||
− | \ | + | :<math>ku(x)+1=\prod_{i=1}^{n}(kk_iu_i(x_i)+1)</math> (2) |
− | |||
− | |||
− | |||
− | |||
− | ただし, $u_i:X_i \rightarrow [0,1]$ すなわち $u_i$ は属性 $X_i$ 上の効用関数を表す. このとき, (1)式を加法型効用関数, (2)式を乗法型効用関数という. 分解表現が(1)式のような加法型で表現されるのは, $n$ 個の属性が相互効用独立性はもとより加法独立性という性質を満足するときである. | + | ただし, $<math>u_i:X_i \rightarrow [0,1]</math>$ すなわち $<math>u_i</math>$ は属性 $<math>X_i</math>$ 上の効用関数を表す. このとき, (1)式を加法型効用関数, (2)式を乗法型効用関数という. 分解表現が(1)式のような加法型で表現されるのは, $<math>n</math>$ 個の属性が相互効用独立性はもとより加法独立性という性質を満足するときである. |
複数の属性間で効用独立性が満たされないときには属性間に凸依存性という性質を仮定することによりさらに広範囲の分解表現を得ることができる [5]. | 複数の属性間で効用独立性が満たされないときには属性間に凸依存性という性質を仮定することによりさらに広範囲の分解表現を得ることができる [5]. |
2007年7月12日 (木) 19:44時点における版
【こうようかんすう (utility function) 】
自然科学の領域で「価値」が陽に議論されることは少ないが, 人間を主体にした方策を論じるオペレーションズ・リサーチの分野では「価値」の問題を避けて通ることはできない.
効用関数とは, 一言でいえば人間の価値観を定量的に表現するための数学モデルである. 価値に関する科学的アプローチは経済学の分野で古くから扱われてきた. 人びとは財を消費したりサービス受けることによって一定の心理的満足感を得るが, この満足の度合いを効用という. この概念は消費者行動理論において基本的役割を担う [1].
いま, 財Aを $$ 量, 財Bを $$ 量だけ消費するときに得られる効用(または価値)を $$ で表し, これを効用関数(または価値関数)という. ここで予算 $$ が与えられたとして, 財A, Bの単位量あたりの価格をそれぞれ $$, $$ とすれば, 消費者は
を満たす解, すなわち予算制約のもとで最も大きい満足感が得られる財Aと財Bの量の組を購入するであろう. すなわち, 「消費者は自己の効用を最大にするように行動する」と考えて消費者行動を説明することが試みられている.
近代経済学の初期においては, 主観価値説として基数尺度 (cardinal scale)に従う基数効用関数(cardinal utilityfunction)の存在を仮定することによってさまざまな経済理論を展開した. それは限界効用(marginal utility)を中心にした議論で限界革命とも呼ばれている. しかし, その後, 効用の可測性はあまりにも強い要請であるとして批判され, 人々の主観的価値を表現する効用関数として基数効用関数を排除し, 大きさの大小関係だけを表す順序尺度 (ordinalscale)に従う序数効用関数(または順序効用関数)(ordinal utility function)のみの存在を仮定することによって経済分析を行う方向に移ってゆく [1]. これは, 経験的に与えられる無差別曲線(indifferencecurve)を使って消費者行動を説明しようとするパレートの提案によるものである.
無差別曲線から導かれる序数効用に対しては限界効用(効用の微分値)の概念は使えない. そのかわりに無差別曲線の傾きを表す限界代替率(marginalrate of substitution)が使われる [2].
消費者行動の均衡条件を導出するうえでは序数効用関数によってその目的を達成することができるが, 多目的意思決定(multiple criteria decisionmaking)を目的とした選好解を導出するには, 基数効用関数の存在を仮定することが必要になる. さらに, リスクを伴う意思決定問題では, 評価の対象となる結果がある確率分布のもとで発生するので, 選好順序を求めるうえで効用の期待値を評価する必要があり, そのためには基数効用関数が必要になる. リスク下の意思決定問題に対して期待効用最大化の仮説が意味をもつように公理系をはじめて作ったのはフォン・ノイマンとモルゲンシュテルンである [3}.
結果の集合 $$ 上の基数効用関数 $$ の, $$ 上の確率についての期待値
を期待効用(expected utility)という. $$ 上の確率の集合を $$ とするとき, 期待効用の大小によって $$ 上の選好関係 (preferencerelation)$ $を表現することを考える.
定理: 基数効用関数の存在と一意性
$$ を $$ 上の確率の全集合とし, $$ を $$ 上の選好構造とするとき, 任意の $$ に対して
を満たす $$ 上の基数効用関数 $$ が存在するための必要十分条件は次のように与えられる.
NM1 $$ は弱順序である.
NM2 $構文解析に失敗 (構文エラー): {\displaystyle p \succ q \Rightarrow \alpha p + (1 - \alpha )r \succ\alpha q + (1-\alpha )r,{ } \forall r \in P,{ } \alpha \in (0,1)} $
NM3 $$, for some $$
さらに, このような $$ は正線形変換($$ を満たす定数 $$ と $$ が存在)の範囲で一意であり, 別名フォン・ノイマン=モルゲンシュテルン効用関数という.
さらに, サヴェージは, 結果の集合上に客観確率を考える代りに, 自然の状態の集合上に主観確率を考え, 期待効用最大化の仮説が成り立つ基数効用関数と主観確率が存在するための必要十分条件を求めた. [4]
期待効用最大化仮説に基づく期待効用モデルは, 「決定がいかにあるべきか」を議論する規範的(normative)モデルとしては有用なモデルであるが, 「決定が実際にどのようになされているか」を議論する記述的(descriptive)モデル(あるいは行動科学的モデル)としては問題がある. すなわち, アレーの反例やエルスバーグの反例に見られるように期待効用モデルでは説明できない現象がいくつか存在する. これらを適切に説明するモデルとして, 期待効用モデルを一般化したリスク下の価値関数や不確実性下の価値関数が提案されていて, そこでは事象の生起確率(またはDempster-Shaferの確率理論 [5] でいう焦点要素の基本確率)も評価属性のひとつとして扱われる [6].
結果 $$ が $$ 個の属性 $$ によって特徴づけられているとき, 結果 $$ は
- 構文解析に失敗 (構文エラー): {\displaystyle x=(x_1,x_2,\ldots ,x_n),{ }x_i \in X_i,{ }i =1,2,\ldots ,n}
で表される. 起こりうるすべての結果の集合 $$ は, 直積集合 $$ で表され, これを $$ 属性空間という. $$ 属性効用関数は, $$ 上に $$ として定義される. このような $$ 属性効用関数を直接求めるには, 複数の属性を同時に考慮して選好判断をしなければならず, 実際にはほとんど不可能である. そこで, 複数の属性間に種々の独立性を仮定して, 直接評価する効用関数の属性の次元を少なくする分解表現を得ることが重要になる. とくに, $$ 個の属性が相互に効用独立という性質を満たすときには, 加法型効用関数または乗法型効用関数を得ることができる.
- 構文解析に失敗 (不明な関数「\begin{equation}」): {\displaystyle \begin{equation} u(x)=u(x_1,x_2,\ldots ,x_n)=\sum_{i=1}^{n} k_i u_i(x_i)} (1)
または
- (2)
ただし, $$ すなわち $$ は属性 $$ 上の効用関数を表す. このとき, (1)式を加法型効用関数, (2)式を乗法型効用関数という. 分解表現が(1)式のような加法型で表現されるのは, $$ 個の属性が相互効用独立性はもとより加法独立性という性質を満足するときである.
複数の属性間で効用独立性が満たされないときには属性間に凸依存性という性質を仮定することによりさらに広範囲の分解表現を得ることができる [5].
参考文献
[1] P.A. Samuelson, Foundations of Economic Analysis, Harvard Univ. Press, Cambridge, USA, 1947. 佐藤隆三訳, 『経済分析の基礎』, 勁草書房, 1967.
[2] 中山弘隆, 谷野哲三, 『多目的計画法の理論と応用』, 計測自動制御学会, 1994.
[3] R.L. Keeney and H. Raiffa, Decisions with Multiple Objectives, Cambridge Univ. Press (First published by Wiley, New York in 1976), Cambridge, England, 1993.
[4] 市川惇信, 『意思決定論』, 共立出版, 1983.
[5] G. Shafer, A Mathematical Theory of Evidence, Princeton University Press, Princeton, N. J. 1976.
[6] 田村坦之, 中村 豊, 藤田眞一, 『効用分析の数理と応用』, 計測自動制御学会編, コロナ社, 1997.