Mod 2 Flashcards
Weak preference relation
x is as least as good as y
or y is no better than x
Strict preference relation
x is preferred to y, must satisfy the weak preference.
Indifferent
x is equal to y
BR1
Reflexivity
Reflexivity
xRx, x is related to its self
eg. weak preference realtion should satisfy this, “equality”
BR2
Irreflexive
Irreflexive
For all of x in X no xRx. opposite of reflexive.
e.g strictly greater than.
BR3
Completeness
Completeness
For all X & Y in X either xRy or yRx (or both)
if you have two bundles of goods at least the first bundle is as good as the second or vice versa.
Weak preference is complete
BR4
Transitivity
Transitivity
For all x, y & z in X if xRy & yRz the xRz
e.g if x is as least as great as y and y is as least as great as z then x is as least as great as z
BR5
Negative Transitivity
Negative Transitivity
For all x,y, z in X if xRy then either xRz or zRy or both
BR6
Symmetry
Symmetry
For all x & y in X if xRy then yRx
indifferent, not worried about direction
BR7
Antisymmetric
Antisymmetric
For all x & y in X if XRy & yRx then x=y
BR8
Asymmetry
Asymmetry
For all x & y in X if xRy then not yRx
implied by irreflexive
What do BR3 and BR4 define
weak preferences
What do BR2 and BR5 define
Strict preferences
What do BR1, BR4 and BR6 satisfy
indifferent relations
Weak order
transitive and complete
strict partial order
transitive and asymmetric
equivalence
reflexive, symmetric, transitive
if weak preference not complete then
incomparable
If weak preference is transitive and complete then
strict preference is transitive and irreflexive
indifference relation is reflexive, symmetric, transitive
The strict preference relation is rational if it is
both asymmetric and negatively transitive
The strict preference relation is both asymmetric and negatively transitive (rational) then it is
also irreflexive and transitive
that completeness implies reflexivity,
To show that it is reflexive we must show that for
all x in X we have xRx.
But since the relation is complete we
have, for any y and z in X either yRz or zRy. In particular if
we let y = x and z = x then we have either xRx or xRx, that
is, xRx, as required.