Choice Functions
μ‘Έμ μ μν΄ λ§μ§λ§ νκΈ°μ βλ―Έμκ²½μ νβ μμ μ λ£κ² λμμ΅λλ€. κ²½μ νμλ‘ μμ μ μ¬λ°κ² λ€μ΄μ κ²½μ μͺ½μ΄λ κΆν©μ΄ μ’μ μ€ μκ³ μ μ² νλλ°, μ¬κ±Έβ¦ μ΄ κ³Όλͺ©μ μ¬μ€μ μνκ³Ό κ³Όλͺ© μ΄μμ΅λλ€.. γ γ κ·Έλλ μ΄μλΆμ μνκ³Ό 볡μμ 곡μ νκ³ μμΌλ, μ΄ μμ λ νλ΄μ μ λ€μ΄λ΄ μλ€! μ 체 ν¬μ€νΈλ βλ―Έμκ²½μ νβ μΉ΄ν κ³ λ¦¬μμ νμΈνμ€ μ μμ΅λλ€.
What is Choice Problem
μ§κΈκΉμ§λ κ°μΈμ μ νΈκ° μ΄νκ΄κ³ $\succeq$λ‘ λͺ νν μ μλκ±°λ, ν¨μ© ν¨μλ₯Ό ν΅ν΄ μμΉμ μΌλ‘ κ³μ°νμμ΅λλ€.
μ΄μ λΆν°λ κ°μΈμ μ νΈλ₯Ό βμ ν ν¨μ(Choice Function)βλ₯Ό ν΅ν΄ νννλ λ°©λ²μ μ΄ν΄λ΄ λλ€.
Choice Function $c$ is a function that select one element from subsets of $X$.
\[c: \mathsf{P}(X) \setminus \emptyset \rightarrow X\]For any subset $A \subseteq X$, $c(A) \in A$ should be hold.
μμλ₯Ό λ€μ΄λ³΄μλ©΄, μ ν ν¨μλ μλμ κ°μ΄ μ μν μ μμ΅λλ€.
- $c(\left\{a, b, c\right\}) = a$
- $c(\left\{a, b\right\}) = a$
- $c(\left\{b, c\right\}) = b$
- $c(\left\{a, c\right\}) = a$
Rationality
μ΄λ€ μ§ν© $X$κ° μ£Όμ΄μ‘μ λ, κ·Έ μμμλ κ°λ₯ν μ ν ν¨μκ° μμ£Ό λ§μ΅λλ€. κ·Έλ°λ°, μ΄ μ ν ν¨μλ ν©λ¦¬μ (rational) νκΈ°λ νκ³ , λΉν©λ¦¬μ (irrational) νκΈ°λ ν©λλ€. βν©λ¦¬μ βμ΄λΌλ ννμ μ ν ν¨μκ° μ΄λ€ ν¨ν΄μ λ°λ₯Έ κ²μ΄μ§, κ·Έ μ νμ΄ μ³λ€λ κ²μ λ§νμ§λ μμ΅λλ€.
Example - rational
μλμ μ ν ν¨μλ ν©λ¦¬μ μ λλ€.
- $c(\left\{a, b, c\right\}) = a$
- $c(\left\{a, b\right\}) = a$
- $c(\left\{b, c\right\}) = b$
- $c(\left\{a, c\right\}) = a$
λΆλΆ μ§ν©μ λν΄ μΌκ΄λ μ νΈ κ΄κ³λ₯Ό 보μ λλ€.
Example - irrational
μλμ μ ν ν¨μλ βλΉν©λ¦¬μ βμ λλ€.
- $c(\left\{a, b\right\}) = a$
- $c(\left\{b, c\right\}) = c$
- $c(\left\{a, c\right\}) = b$
μ΄ κ²½μ°, λ μμ μ¬μ΄μ μ‘΄μ¬νλ preferenceκ° μΌκ΄ λμ§ μκΈ° λλ¬Έμ, $c(\left\{a, b, c\right\})$μ κ°μ κ²°μ ν μ μμ΅λλ€.
Rationalizable
A choice function is βrationalizableβ if there is a preference relation
s.t. for every choice problem the alternative specified by the choice function is the best alternative according to the preference relation.
ν©λ¦¬μ μΈ μ ν ν¨μλ κ·Έ κ²°κ³Όκ° μΌμ ν κΈ°μ€(ex: μ νΈ κ΄κ³)μ λ°λΌ νμ μΌκ΄λ λ°©μμΌλ‘ μ νμ μν ν©λλ€. μ΄λλ μ ν ν¨μμ μ΄λ€ μ ν κ²°κ³Όκ° λ€λ₯Έ μ νμ κ²°κ³Όμ λͺ¨μλμ§ μμ΅λλ€. μ ν ν¨μκ° μΌκ΄μ±μ κ°λλ€λ©΄ μλ 쑰건μ λ§μ‘±ν΄μΌ ν©λλ€.
- Transitivity
- If $c(\left\{a, b\right\}) = a$ and $c(\left\{b, c\right\}) = c$,
- then $c(\left\{a, c\right\}) = a$κ° λμ΄μΌ νλ€.
- Completeness
- μ΄λ€ λ κ°μ λμ $a$, $b$κ° μ£Όμ΄μ§λ©΄ λ μ€ νλλ₯Ό λ°λμ μ νν΄μΌ ν©λλ€.
- Consistency in Choice
- λ§μ½ value(or distance) ν° κ²μ μ ννλ€κ³ νλ€λ κ·μΉμ΄ μμΌλ©΄, μ΄κ²μ΄ λͺ¨λ λΆλΆμ§ν©μ λν΄ μΌκ΄λκ² μ μ© λμ΄μΌ ν©λλ€.
In Reality
TODO
νμ€μμ μ€μ μΈκ°μ μ νμ νμ κ³ μ λ μ νΈμ μν΄ μ΄λ€μ§λ κ²μ΄ μλκ³ λ§₯μμ μΈ μ 보λ₯Ό λ°μν΄μΌ ν¨. -> μ°μ΄μ μ€ν μ΄ν¬ λ¬Έμ
λ§₯λ½μ΄ λ°λλ©΄, μ¬λμ μ νλ λ°λ μ μλ€.
λ§Ίμλ§
μ¬κΈ°μμ μ΄ν΄λ³Έ μΌκ΄λ μ νμ νλ μμ£Ό λμ΄μ€ν βμ ν ν¨μβλ₯Ό λͺ¨μμ, κ·Έλ€μ΄ βProperty $\alpha$β μ±μ§μ κ°λλ€κ³ ν©λλ€.
μ΄μ΄μ§λ ν¬μ€νΈμμλ μ ν ν¨μκ° λμ΄μ€νλλ‘ νλ μ±μ§μΈ βProperty $\alpha$βμ λν΄ μ΄ν΄λ³΄κ² μ΅λλ€.