Preference
What is preference
๊ฐ์ธ(individual)์ ๊ฒฐ์ ์ ๋ชจ๋ธ๋ง ํ๋ ์ฒซ๊ฑธ์.
์ ํธ(Preference)๋ ์ด๋ค ๋์์ ๋ํด ํ ์ฌ๋์ด ๋งค๊ธฐ๋ ์์(ranking)์ ๋ํ ๊ฒ์.
๊ฒฝ์ ํ์์๋ ๊ฐ์ธ์ ์ ํธ๋ฅผ โ์ดํญ ๊ด๊ณ(binary relation)โ์ผ๋ก ํํํจ.
- $x \succeq y$ := prefer $x$ than $y$
- $x \sim y$ := prefer $x$ and $y$ equally
$x \sim y$๋ ํ์ด์ ์์ฑํ๋ฉด, $x \succeq y$ and $x \preceq y$์ธ ์ํฉ์. ์ด๊ฑธ ๋ ๋์์ด โindifferenceโํ๋ค๊ณ ํจ.
$x \succ y$๋ $x \succeq y$ but not $x \preceq y$์ธ ์ํฉ์. ์ด ์ํฉ์ โstrict preferenceโ๋ผ๊ณ ํจ.
Binary Relation
์ ์ฒด ๋์์ ๋ชจ์ ์งํฉ $X$์ ๋ํด์ ๋ชจ๋ $(x, y)$ ์์ ๋ํด ์ดํญ ๊ด๊ณ(์ ํธ)๊ฐ ์กด์ฌํด์ผ ํจ(completeness).
๊ทธ๋ฆฌ๊ณ Complete Binary Relation์ โreflexiveโ ์ฑ์ง์ ๋ง์กฑํ๋ค. ๋ชจ๋ $x \in X$์ ๋ํด ์๊ธฐ ์์ ๊ณผ์ ์ดํญ ๊ด๊ณ๊ฐ ์ฑ๋ฆฝํ๋ค.
Binary Relation์ด $x R y$ and $y R z$ ์ผ ๋, $x R z$๋ฅผ ๋ง์กฑํ๋ฉด, โtransitiveโ๋ผ๊ณ ํ๋ค.
์์์ ์ ์ํ โPreference relationโ์ complete์ transitive ์ฑ์ง์ ๋ง์กฑํด์ผ ํ๋ค.
์ถ๊ฐ๋ก โsymmetricโ ์ฑ์ง์ $x R y$์ด๋ฉด, $y R x$์ ๋ง์กฑํ๋ค๋ ๊ฒ์. indifference relation $\sim$์ด ์ด ์์ฑ์ ๋ง์กฑํจ.
๊ทธ๋ฆฌ๊ณ Binary relation์ด โreflexiveโ, โsymmetricโ, โtransitiveโ๋ฅผ ๋ชจ๋ ๋ง์กฑํ๋ฉด, โequivalence relationโ๋ผ๊ณ ๋ถ๋ฆ.
Value Function
๊ฐ์ธ์ด ๋์์ ๊ฐ์น๋ฅผ ๋งค๊ธฐ๋ ํจ์ $v$๋ฅผ ๋งํจ. ๊ทธ๋์ $x \succeq y$ ์ ํธ ๊ด๊ณ๊ฐ ์ฑ๋ฆฝํ๋ค๋ฉด, $v(x) \succeq v(y)$๊ฐ ์ฑ๋ฆฝํจ.
๋ง์ฝ ํ์ฌ์์ ์ง์ ๊ตฌํ๋ ค๋๋ฐ, ์ฌ๋๋ค์ ํต๊ทผ ์๊ฐ์ ์ค์ด๊ธฐ ์ํด ํ์ฌ์ ๊ฐ๊น์ธ์๋ก ๊ทธ ์ง์ ๋ ์ ํธํ๋ค๊ณ ํฉ๋๋ค. ์ด ๊ฒฝ์ฐ, $d(x)$๋ผ๋ ๊ฑฐ๋ฆฌ ํจ์๋ฅผ ์ ์ํ ์ ์๊ณ , ์ฌ๋๋ค์ ์ ํธ๋ ์๋์ ๊ฐ์ด ๋ชจ๋ธ๋ง ๋ฉ๋๋ค.
\[x \succeq y \iff d(x) \le d(y)\]์ด ๊ฒฝ์ฐ, value function $v(x)$๋ $v(x) = - d(x)$๊ฐ ๋ฉ๋๋ค.
Lexicographic preferences
์ฌ๋๋ค์ด ์ด๋ค ์ํ์ ๊ณ ๋ฅผ ๋, ์ฌ๋ฌ ์์ฑ์ ๋น๊ตํ์ฌ ๊ตฌ๋งค๋ฅผ ๊ฒฐ์ ํ ์ ์์ต๋๋ค. ๋ง์ฝ ๋งฅ๋ถ์ ์ฐ๋ค๊ณ ํ๋ฉด CPU ์ฝ์ด ์์ Memory ์ฌ์ด์ฆ๋ฅผ ๋น๊ตํ ๊ฒ์ ๋๋ค.
โLexicographic preferenceโ๋ (1) ์ฒซ๋ฒ์งธ ์์ฑ์์ ์ฐ์๋ฅผ ๋ณด์ด๋ฉด ๊ทธ๊ฒ์ ์ ํํ๊ณ , (2) ๋ง์ฝ ์ฒซ๋ฒ์งธ ์์ฑ๊ฐ์ด ๋์ผํ๋ค๋ฉด ๋๋ฒ์งธ ์์ฑ์ ๋น๊ตํ์ฌ ์ฐ์๋ฅผ ๋ณด์ด๋ ๊ฑธ ์ ํํ๋ ์ ํธ ์ ๋๋ค.
์ด๊ฑธ ์์์ผ๋ก ์ ์ด๋ณธ๋ค๋ฉดโฆ
2๊ฐ์ง complete and transitive ์ดํญ ๊ด๊ณ $\succeq_1$๊ณผ $\succeq_2$๊ฐ ์๋ค๊ณ ํฉ์๋ค. ์ด๋, ๋์์ ๋ํ ์ ํธ $\succeq$๋ ์๋์ ๊ฐ์ด ๊ฒฐ์ ๋ฉ๋๋ค.
- $x \succeq y$, if $x \succeq_1 y$
- $x \succeq y$, if $x \sim_1 y$ and $x \succeq_2 y$
completeํ๊ณ transitiveํ 2๊ฐ์ง ์ดํญ ๊ด๊ฒ๋ฅผ ํ์ฉํด ์๋ก์ด ์ดํญ ๊ด๊ณ๋ฅผ ๋ง๋ค์์ต๋๋ค. ์ด ์ดํญ ๊ด๊ณ๋ complete์ transitive๋ฅผ ๋ง์กฑํ ๊น์?
Unanimity Rule
๋ง์ฅ์ผ์น(Unanimity) ๊ท์น ์ ๋๋ค. ์ฌ๋ฌ ๊ฐ์ ์ ํธ ๊ด๊ณ๋ฅผ ํ๋์ ์ดํญ ๊ด๊ณ๋ก ํตํฉํ๋ ๋ฐฉ๋ฒ ์ ๋๋ค.
์์ด๋์ด๋ $n$๊ฐ์ ๊ณ ๋ ค ์์์ ๋ํด ๋ชจ๋ ์์์ ๋ํด $x$๊ฐ $y$๋ณด๋ค ์ ํธ๋๊ฑฐ๋ ์ ์ด๋ ๋๋ฑํ๋ค๋ฉด, $x$๊ฐ $y$๋ณด๋ค ๋ซ๋ค๊ณ ํ๋จํฉ๋๋ค.
\[x \succeq y \quad \text{if} \quad x \succeq_i y \quad \text{for all } i = 1, 2, โฆ, n.\]์ด ๊ด๊ณ๋ Transitivity๋ฅผ ๋ง์กฑํ์ง๋ง, Completeness๋ ๋ณด์ฅํ์ง ์์ต๋๋ค. ์ผ๋ถ ์์ ๋ํด์๋ ๋ง์ฅ์ผ์น ์ ํธ๊ฐ ๋ฐ์ํ์ง ์์ ์ ์์ต๋๋ค.
Majority Rule
๋ค์๊ฒฐ ๊ท์น์ ์ฌ๋ฌ ๊ฐ์ ์ ํธ ๊ด๊ณ๋ฅผ ์ข ํฉํ์ฌ ์ต์ข ์ ์ธ ์ ํ์ ๋ด๋ฆฌ๋ ๋ฐฉ๋ฒ ์ ๋๋ค. $n$๊ฐ์ง ๊ธฐ์ค์ด ์์ ๋, ์ ๋ฐ ์ด์์ ์กฐ๊ฑด์ ๋ํด ์ ํธ๊ฐ ์ฑ๋ฆฝํด์ผ $x$๋ฅผ $y$๋ณด๋ค ์ ํธํ๊ฒ ๋ฉ๋๋ค.
์ด๋ฐ ์ ํธ๋ Completeness๋ฅผ ๋ง์กฑํฉ๋๋ค. ๋ชจ๋ $(x, y)$ ์์ ๋ํ ์ ํธ๋ฅผ ๊ตฌ์ฑํ ์ ์์ต๋๋ค. ๊ทธ๋ฌ๋ Transitivity๋ ๋ณด์ฅ๋์ง ์์ต๋๋ค.
Condorcet paradox
๋ค์๊ฒฐ ํฌํ๊ฐ ๋น์ผ๊ด์ฑ์ ๊ฐ์ง ์ ์์์ ๋ณด์ฌ์ฃผ๋ ์ฌ๋ก ์ ๋๋ค.
โฆ