Choice
What is Choice Problem
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
νμ€μμ μ€μ μΈκ°μ μ νμ νμ κ³ μ λ μ νΈμ μν΄ μ΄λ€μ§λ κ²μ΄ μλκ³ λ§₯μμ μΈ μ 보λ₯Ό λ°μν΄μΌ ν¨. -> μ°μ΄μ μ€ν μ΄ν¬ λ¬Έμ
λ§₯λ½μ΄ λ°λλ©΄, μ¬λμ μ νλ λ°λ μ μλ€.