CAHIER 03-2001
WHAT IS A COMMODITY? TWO AXIOMATIC ANSWERS
CAHIER 03-2001
WHAT IS A COMMODITY? TWO AXIOMATIC ANSWERS
Yves SPRUMONT1
1
Centre de recherche et développement en économique (C.R.D.E.) and Département de sciences économiques, Université de Montréal
February 2001
_______________
The author is grateful to S. Barberà, W. Bossert, N. Meddahi, E. Renault, and O. Sprumont for stimulating conversations. He thanks the Social Sciences and Humanities Research Council of Canada for support.
RÉSUMÉ
Nous examinons sous quelles conditions des préférences à propos d'ensembles d'options de consommation peuvent se réduire à des préférences à propos de paniers de "biens". Nous distinguons les paniers ordinaux, dont les composantes sont définies à une transformation croissante près, des paniers cardinaux, définis à une transformation linéaire positive près.
Mots clés : bien, préférence, mesure ordinale, mesure cardinale
ABSTRACT
We identify conditions under which preferences over sets of consumption opportunities can be reduced to preferences over bundles of "commodities". We distinguish ordinal bundles, whose coordinates are defined up to monotone transformations, from cardinal bundles, whose coordinates are defined up to positive linear transformations only.
4 41 Lqwurgxfwlrq
Wklv qrwh lv dq dwwhpsw wr ghqh wkh qrwlrq ri frpprglw|1 Zh vwduw iurp wkh lqwxlwlrq wkdw d frpprglw| lv vrphwklqj doo djhqwv fduh derxw/ zklfk vxjjhvwv d vxemhfwlyh +l1h1/ suhihuhqfh0edvhg, dqg froohfwlyh ghqlwlrq1 Zh wdnh wkh ylhz wkdw djhqwv kdyh suhihuhqfhv ryhu vxevhwv ri d zruog ri frqvxpswlrq rssruwxqlwlhv dqg zh sursrvh wr ghqh d frpprglw| dv d vxevhw ri wkh zruog wr zklfk wkh suhihuhqfhv ri wkh djhqwv frqihu d vhsdudwh vwdwxv1
Lq rughu wr eh odehohg dv d frpprglw|/ d vxevhw ri wkh zruog rxjkw wr srvvhvv/ dw ohdvw/ wkh iroorzlqj wzr surshuwlhv1 Iluvw/ doo djhqwv vkrxog kdyh lghqwlfdo suhihuhqfhv ryhu lwv vxevhwv1 Wklv djuhhphqw surshuw| doorzv xv wr phdvxuh wkh frpprglw| lq dq ruglqdo vhqvh= d vxevhw ri wkdw frpprglw| frqwdlqv pruh ri lw wkdq dqrwkhu li doo djhqwv suhihu wkh iruphu ryhu wkh odwwhu1 Vhfrqg/ dq djhqw zkr suhihuv d vxevhw ri d frpprglw| wr dqrwkhu vxevhw ri wkh vdph frpprglw| vkrxog dovr suhihu wkh xqlrq ri wkh iruphu zlwk dq| vxevhw ri wkh zruog glvmrlqw iurp wkdw frpprglw| ryhu wkh xqlrq ri wkh odwwhu zlwk wkdw glvmrlqw vxevhw1 Wklv vhsdudelolw| frqglwlrq jxdudqwhhv wkdw rxu ruglqdo phdvxuh lv phdqlqjixo= zkhwkhu d vxevhw ri wkh zruog frqwdlqv pruh ri d jlyhq frpprglw| wkdq dqrwkhu grhv qrw ghshqg rq zkhwkhu wkh iruphu frqwdlqv pruh ru ohvv ri wkh rwkhu frpprglwlhv wkdq wkh odwwhu1 Xqghu wkhvh wzr uhvwulfwlrqv/ wkh suhihuhqfhv ri wkh djhqwv fdq eh uhgxfhg wr rughulqjv ryhu ruglqdo exqgohv ri frpprglwlhv/ l1h1/ yhfwruv zkrvh frruglqdwhv duh ghqhg xs wr duelwudu| prqrwrqh wudqvirupdwlrqv= vhh Sursrvlwlrq 4 iru d irupdo vwdwhphqw1
Wklv lv qrw/ krzhyhu/ wkh wudglwlrqdo ylhz ri d frpprglw|/ dv h{suhvvhg lq Gheuhx +4<8<,/ fkdswhu 5/ iru lqvwdqfh1 Uhgxflqj wkh suhihuhqfhv wr rughulqjv ryhu fduglqdo exqgohv ri frpprglwlhv/ zkrvh frruglqdwhv duh ghqhg xs wr srvlwlyh olqhdu wudqviru0 pdwlrqv/ uhtxluhv wr vwuhqjwkhq wkh djuhhphqw surshuw|1 Rqh srvvlelolw| lv wr ghpdqg wkdw doo sduwlwlrqv ri hyhu| vxevhw ri d jlyhq frpprglw| eh Sduhwr h!flhqw/ vr wkdw djhqwv qhyhu qg lw surwdeoh wr h{fkdqjh vxevhwv ri wkh vdph frpprglw| djdlqvw hdfk rwkhu1 Sursrvlwlrq 5 vwdwhv wkdw wklv qr surwdeoh h{fkdqjh uhtxluhphqw irufhv wkh irup ri krprjhqhlw| surshu wr fduglqdo frpprglwlhv1
51 Wzr ghilqlwlrqv
Ohw ` eh d qrqhpsw| vhw/ zklfk zh fdoo d zruog/ dqg ohw l eh d j0dojheud ri vxe0 vhwv ri ` Ohw U eh d qlwh vhw ri djhqwv1 Hdfk djhqw 5 U lv hqgrzhg zlwk d suhihuhqfh uhodwlrq - ryhu l( vwulfw suhihuhqfh lv ghqrwhg e| dqg lqglhuhqfh e|
U Wkh iroorzlqj dvvxpswlrqv rq wkh suhihuhqfh suroh - ' E-MU duh pdlqwdlqhg
wkurxjkrxw= iru hyhu| 5 Uc +l, +prqrwrqlflw|, iru doo c 5 l vxfk wkdw c -( +ll, +uhsuhvhqwdelolw|, - srvvhvvhv d qxphulfdo uhsuhvhqwdwlrq4> +lll, +shuihfw 4D qxphulfdo uhsuhvhqwdwlrq ri Ul lv d pdsslqj xl= $ U vxfk wkdw/ iru doo D> E 5 > DUlE li
5 glylvlelolw|, iru hyhu| 5 l vxfk wkdw >/ wkhuh h{lvwv vxfk wkdw >(
dqg +ly, +prqrwrqh frqwlqxlw|, iru hyhu| 5 l dqg hyhu| vhtxhqfh i?j lq l vxfk
wkdw ? ?n dqg ?- iru doo ?c _"?'?- Dvvxpswlrqv +l, dqg +ll, vkrxog
eh idploldu wr hfrqrplvwv dqg +lll, dqg +ly, duh eruurzhg iurp wkh olwhudwxuh rq uhs0 uhvhqwlqj d suredelolw| uhodwlrq rq d j0dojheud ri hyhqwv e| d phdvxuh1 D vkruw glvfxvvlrq ri wkhvh dvvxpswlrqv zloo eh surylghg dw wkh hqg ri wklv vhfwlrq1
Ohw Z eh d sduwlwlrq ri wkh zruog ` lqwr qlwho| pdq| qrqhpsw| vhwv `c c `C
5 lc dqg zulwh l} G' i_`} G 5 lj iru hyhu| } ' c c C Zh fdoo vxfk d sduwlwlrq
d v|vwhp ri ruglqdo frpprglwlhv +iru wkh suhihuhqfh suroh -, li wkhuh h{lvw prqrwrqh5
pdsslqjv %} G l} $ 7
n Eiru } ' c c C dqg prqrwrqh6 suhihuhqfh uhodwlrqv ? ryhu
7C
n Eiru 5 U vxfk wkdw/ iru doo c 5 l dqg 5 Uc
- / E%E _ `c c %CE _ `C ? E%E _ `c c %CE _ `C
Li wkh pdsslqjv %c c %C fdq eh fkrvhq wr eh frxqwdeo| dgglwlyh phdvxuhv/ zh fdoo
Z d v|vwhp ri fduglqdo frpprglwlhv1
Li Z lv d v|vwhp ri ruglqdo frpprglwlhv iru -c lw lv hdvlo| vhhq wkdw - vdwlvhv wkh iroorzlqj wzr frqglwlrqv zlwk uhvshfw wr Z =
Djuhhphqw1 Iru doo c 5 U / doo } ' c c Cc dqg doo c 5 l}c
- / -
Vhsdudelolw|1 Iru doo 5 Uc doo } ' c c Cc doo c 5 l}c dqg doo 5 lql}c
- / E ^ -E ^
Wkh frqyhuvh vwdwhphqw lv doprvw dv reylrxv1 Irupdoo|/
Sursrvlwlrq 41 D qlwh sduwlwlrq Z ri wkh zruog ` lv d v|vwhp ri ruglqdo frpprglwlhv iru wkh suhihuhqfh suroh - li dqg rqo| li - vdwlvhv Djuhhphqw dqg Vhsdudelolw| zlwk uhvshfw wr Z1
Surri1 Zh rplw wkh vwudljkwiruzdug yhulfdwlrq ri wkh rqo| li vwdwhphqw1 Wr suryh wkh li vwdwhphqw/ { d suhihuhqfh suroh - vdwlvi|lqj dvvxpswlrqv +l, wr +ly, dqg d qlwh sduwlwlrq Z ' i`c c `Cj zlwk uhvshfw wr zklfk - vdwlvhv Djuhhphqw
dqg Vhsdudelolw|1 Ohw eh d qxphulfdo uhsuhvhqwdwlrq ri -( wkh h{lvwhqfh ri vxfk
d uhsuhvhqwdwlrq lv srvwxodwhg lq +ll, dqg wkhuh lv qr orvv lq dvvxplqj/ dv zh vkdoo/ wkdw wkh udqjh ri lv frqwdlqhg lq 7n1 Iru hyhu| } 5 ic c Cjc ohw } ghqrwh wkh
uhvwulfwlrq ri wr l} G lw lv prqrwrqh ehfdxvh ri +l, dqg zh nqrz e| Djuhhphqw wkdw
iru doo 5 U dqg doo c 5 l}c
- / }E }E
5Prqrwrqlflw| lv zlwk uhvshfw wr lqfoxvlrq= {j lv prqrwrqh li/ iru doo D> E 5 j> {j+D, {j+E,
zkhqhyhu D E=
6Prqrwrqlflw| lv zlwk uhvshfw wr wkh vwdqgdug sduwldo rughulqj ri UJ
.> dqg lw lv xqghuvwrrg lq
wkh vwulfw vhqvh= xvlqj "l iru vwulfw suhihuhqfh/ wkh uhodwlrq ?l rq UJ. lv prqrwrqh li +d4> ===> dJ, "l
6 Ohw f} ' }
El} ' iE G 5 l}j dqg ghqh f ' C}'f} G wklv lv d vxevhw ri
7C n
Iru wkh uhvw ri wkh surri/ { 5 U Wkh fuxfldo revhuydwlrq lv wkdw/ iru dq| c 5 lc
EE _ `c c E _ `C ' EE _ `c c E _ `C , U +4,
Wr fkhfn wklv/ dvvxph wkh ohiw0kdqg vlgh1 E| Djuhhphqw/ E _ `}U
E _ `} iru
hyhu| } ' c c C Wkhq/ e| uhshdwhg dssolfdwlrq ri Vhsdudelolw|/ ' ^C
}'E _ `}
U dE _ ` ^ E _ `2 ^ ^ E _ `Co U dE _ ` ^ E _ `2 ^ ^ E _ `Co
UU ^C}'E _ `} ' / dv ghvluhg1
Zh qrz frqvwuxfw d uhodwlrq ? ryhu 7Cn dv iroorzv1 Iru doo @ ' E@c c @Cc K '
EKc c KC 5 fc wkhuh h{lvw vhwv c 5 l vxfk wkdw @ ' E
E _ `c c E _ `C
dqg K ' EE _ `c c E _ `C Slfn dq| vxfk vhwv dqg ohw
@ ? K / - +5,
Wkdqnv wr +4,/ ? lv d zhoo0ghqhg uhodwlrq ryhu f( zh h{whqg lw duelwudulo| wr 7Cn Lw
iroorzv gluhfwo| iurp +5, wkdw/ iru doo c 5 lc
- / EE _ `c c E _ `C ? EE _ `c c E _ `Cc
zklfk frpsohwhv wkh surri1
Lw vkrxog eh fohdu wkdw glhuhqw sduwlwlrqv ri wkh zruog pd| txdoli| dv v|vwhpv ri ruglqdo frpprglwlhv iru wkh vdph suroh1 Fohduo|/ plqlpdo v|vwhpv duh ri sduwlfxodu lqwhuhvw1 Qrwh wkdw wkh wulyldo sduwlwlrq Z ' i`j lv dozd|v wkh xqltxh vxfk v|vwhp li mUm ' Wklv lv dq h{wuhph exw orjlfdo frqvhtxhqfh ri rxu ylhz ri frpprglwlhv1 Df0 fruglqj wr +erwk ri, rxu ghqlwlrqv/ frpprglwlhv duh ghwhuplqhg vxemhfwlyho| dqg froohfwlyho|1 Lq sduwlfxodu/ wkh vhw ri frpprglwlhv fkdqjhv zlwk wkh suhihuhqfhv ri wkh phpehuv ri vrflhw| dqg fdq rqo| jurz zlwk wkh vl}h dqg glyhuvlw| ri d srsxodwlrq1 Shu vh/ krzhyhu/ frpprglwlhv qhhg qrw srvvhvv dq| sk|vlfdo ru rwkhuzlvh remhfwlyh irup ri krprjhqhlw|1
Zh qrz wxuq wr fduglqdo frpprglwlhv1 Li Z lv d v|vwhp ri fduglqdo frpprglwlhv iru wkh suroh -c wkdw suroh pxvw srvvhvv wkh iroorzlqj dgglwlrqdo surshuw|=
Lqwhuqdo Vhsdudelolw|1 Iru doo 5 Uc doo } ' c c Cc dqg doo c c 5 l} vxfk wkdw
_ E ^ ' >c - / E ^ -E ^
Ohppd1 D qlwh sduwlwlrq Z ri wkh zruog ` lv d v|vwhp ri fduglqdo frpprglwlhv iru wkh suhihuhqfh suroh - li dqg rqo| li - vdwlvhv Djuhhphqw/ Vhsdudelolw|/ dqg Lqwhuqdo Vhsdudelolw| zlwk uhvshfw wr Z1
7 Surri1 Djdlq/ zh rplw wkh vwudljkwiruzdug yhulfdwlrq ri wkh rqo| li vwdwhphqw1 Wr suryh wkh li vwdwhphqw/ { d suhihuhqfh suroh - vdwlvi|lqj dvvxpswlrqv +l, wr +ly, dqg d qlwh sduwlwlrq Z ' i`c c `Cj zlwk uhvshfw wr zklfk - vdwlvhv Djuhhphqw/
Vhsdudelolw|/ dqg Lqwhuqdo Vhsdudelolw|1
Iru dq| } ' c c Cc zh frqvlghu/ dv lq wkh surri ri Sursrvlwlrq 4/ wkh uhvwulfwlrq -} ri -wr l} Li `}U>c lw iroorzv iurp dvvxpswlrq +l, wkdw -} lv uhsuhvhqwdeoh e|
wkh frqvwdqw pds }E ' f iru doo 5 l}/ zklfk lv wulyldoo| d frxqwdeo| dgglwlyh
phdvxuh1 Dvvxph qh{w wkdw `}
> Ehfdxvh ri wklv dvvxpswlrq dqg +ll, wr +ly,/ -}
phhwv doo wkh frqglwlrqv ri Wkhruhp 6/ Vhfwlrq 7/ lq Yloohjdv +4<97,1 Lw lv wkhuhiruh uhsuhvhqwdeoh e| d frxqwdeo| dgglwlyh phdvxuh } G l} $ 7
n
Wkh uhvw ri wkh surri lv h{dfwo| wkh vdph dv wkdw ri Sursrvlwlrq 41
Zkhwkhu Lqwhuqdo Vhsdudelolw| vkrxog eh sduw ri dq d{lrpdwlf ghqlwlrq ri d frp0 prglw| lv/ dw ehvw/ glvsxwdeoh1 Zh wxuq qrz wr d frqglwlrq wkdw frphv forvhu wr rxu lqwxlwlyh xqghuvwdqglqj ri wkh frqfhsw1 Li 5 lc d glylvlrq ri lv d sduwlwlrq D ri lqwr vxevhwv c c U5 l Lw lv h!flhqw li qr glylvlrq D ' ijMU ri Sduhwr
grplqdwhv lw lq wkh vhqvh wkdw
- iru doo 5 U dqg iru vrph 5 U1
Qr Surwdeoh H{fkdqjh1 Iru doo } ' c c C dqg doo 5 l}c hyhu| glylvlrq ri lv
h!flhqw1
Sursrvlwlrq 51 Dvvxph mUm 2 D qlwh sduwlwlrq Z ri wkh zruog ` lv d v|vwhp ri fduglqdo frpprglwlhv iru wkh suhihuhqfh suroh - li dqg rqo| li - vdwlvhv Qr Surwdeoh H{fkdqjh dqg Vhsdudelolw| zlwk uhvshfw wr Z1
Surri1 Djdlq/ zh rplw wkh vwudljkwiruzdug yhulfdwlrq ri wkh rqo| li vwdwhphqw1 Wr suryh wkh li vwdwhphqw/ vxssrvh mUm 2c { d suhihuhqfh suroh - vdwlvi|lqj dvvxpswlrqv +l, wr +ly, dqg d qlwh sduwlwlrq Z ' i`c c `Cj zlwk uhvshfw wr
zklfk - vdwlvhv Qr Surwdeoh H{fkdqjh dqg Vhsdudelolw|1 Lq ylhz ri wkh Ohppd/ lw lv hqrxjk wr vkrz wkdw - vdwlvhv Lqwhuqdo Vhsdudelolw| dqg Djuhhphqw1 Wklv lv zkdw zh vkdoo gr1 Iru wkh uhvw ri wkh surri/ { } 5 ic c Cj
4, Lw lv fohdu wkdw iru doo 5 Uc
li c c 5 l}duh sdluzlvh glvmrlqw/ wkhq
- / E ^ -E ^ +6,
Wr fkhfn wklv fodlp/ { 5 U/ vd|/ ' / dqg slfn c c 5 l} vxfk wkdw
_ ' _ ' _ ' > Surfhhg e| frqwudglfwlrq= vxssrvh/ uvw/ wkdw - dqg E ^ E ^ Li 2/ wkh glylvlrq ic c >c c >j ri ^ Sduhwr
grplqdwhv ic c >c c >j zkhuhdv li -2c wkh glylvlrq i ^ c c >c c >j ri ^
^ Sduhwr0grplqdwhv i ^ c c >c c >j Lq erwk fdvhv/ zh rewdlq d frqwud0 glfwlrq wr wkh Qr Surwdeoh H{fkdqjh frqglwlrq1 Vxssrvh qh{w wkdw dqg
8 E ^ -E ^ Li -2c ic c >c c >j Sduhwr grplqdwhv ic c >c c >j dqg li
2c i ^ c c >c c >j Sduhwr0grplqdwhv i ^ c c >c c >j Djdlq/ Qr Surwdeoh
H{fkdqjh lv ylrodwhg lq erwk fdvhv1
5, Qh{w/ zh hvwdeolvk Lqwhuqdo Vhsdudelolw|/ qdpho|/ wkdw iru doo 5 Uc li c c 5 l} dqg _ E ^ ' >c wkhq
- / E ^ -E ^
Il{ 5 Uc vd|/ ' c dqg slfn c c 5 l} vxfk wkdw _ E ^ ' > Surfhhglqj
e| frqwudglfwlrq/ zh glvwlqjxlvk djdlq wzr fdvhv1
Lq wkh uvw fdvh/ - dqg E ^ E ^ Uhzulwh wkh uvw sduw ri wkdw
vwdwhphqw xqghu wkh irup EEq^E_-EEq^E_ Vlqfh qc qc dqg
_ duh sdluzlvh glvmrlqw/ lw iroorzv iurp +6, wkdw Eq-Eq Li E ^2E^
c wkh glylvlrq iqc ^ c >c c >j ri ^ ^ Sduhwr grplqdwhv iqc ^ c >c c >jc frqwudglfwlqj Qr Surwdeoh H{fkdqjh Exw li E ^ -2E ^ c zh pd|
uhzulwh wkdw vwdwhphqw dv EEq^EE_^-2EEq^EE_^ Vlqfh qc
qc dqg EE_^ duh sdluzlvh glvmrlqw/ lw iroorzv iurp +6, wkdw Eq-2Eq
Wkhuhiruh i^c qc >c c >j Sduhwr grplqdwhv i^c qc >c c >jc frqwudglfwlqj Qr Surwdeoh H{fkdqjh djdlq1
Lq wkh vhfrqg fdvh/ dqg E ^ -E ^ Dq dujxphqw sdudooho wr wkh
rqh deryh |lhogv vlplodu frqwudglfwlrqv wr Qr Surwdeoh H{fkdqjh1
6, Ilqdoo|/ zh suryh Djuhhphqw1 Vxssrvh/ e| zd| ri frqwudglfwlrq/ wkdw wkhuh h{lvw wzr djhqwv/ vd| dqg 2/ dqg vhwv c 5 l} vxfk wkdw
- dqg 2
Vlqfh ' Eq ^ E _ dqg ' Eq ^ E _ c Lqwhuqdo Vhsdudelolw|/ wkdw zh kdyh mxvw hvwdeolvkhg/ |lhogv wkdw Eq-Eq dqg Eq2Eq Lw iroorzv
wkdw iqc qc >c c >j Sduhwr grplqdwhv iqc qc >c c >jc frqwudglfwlqj Qr Surwdeoh H{fkdqjh1
Lw lv wlph wr glvfxvv wkh uroh ri rxu dvvxpswlrqv1 Zh vkrxog uvw vwuhvv wkdw rqo| +l, dqg +ll, duh xvhg lq wkh surri ri Sursrvlwlrq 41 Wkdw uvw sursrvlwlrq lv wuxh hyhq li +lll, ru +ly, duh ylrodwhg1 Lq sduwlfxodu/ lw krogv li l lv qlwh1
Dvvxpswlrq +l, lv fuxfldo wr doo ri rxu uhvxowv1 Li lw idlov/ dq| suhihuhqfhv ryhu exq0 gohv wkdw zrxog eh ghgxfhg iurp wkh ruljlqdo suhihuhqfhv ryhu vxevhwv ri wkh zruog pxvw idlo wr eh prqrwrqh lq wkh xvxdo vhqvh +vshoohg rxw lq irrwqrwh 6,1 Dv d frqvh0 txhqfh/ Djuhhphqw lv qr orqjhu d qhfhvvdu| frqglwlrq iru uhgxflqj wkh suhihuhqfhv wr rughulqjv ryhu exqgohv1
Dvvxpswlrq +ll, lpsolhv wkdw wkh ruljlqdo suhihuhqfhv duh rughulqjv/ exw lv vwurqjhu wkdq wkh odwwhu uhtxluhphqw1 Ri frxuvh/ dvvxplqj wkdw suhihuhqfhv duh rughulqjv lv hqrxjk wr rewdlq Sursrvlwlrq 4 lq wkh fdvh zkhuh l lv qlwh1 Dvvxpswlrq +ll, frxog suhvxpdeo| eh ghulyhg iurp pruh edvlf k|srwkhvhv exw zh vkdoo qrw dwwhpsw vxfk d
9 ghulydwlrq khuh1 Qrwh/ krzhyhu/ wkdw qr irup ri frqwlqxlw| lv lpsrvhg rq wkh dvvxphg qxphulfdo uhsuhvhqwdwlrqv ri wkh suhihuhqfhv1
Dvvxpswlrqv +lll, dqg +ly, duh xvhg wr rewdlq wkh fduglqdo uhgxfwlrq uhvxowv rqo|1 Lq wkh surri ri wkh Ohppd/ Lqwhuqdo Vhsdudelolw| zrxog qrw lpso| wkh dgglwlylw| ri } li dvvxpswlrq +lll, zhuh ylrodwhg= wkh lqwhuhvwhg uhdghu pd| frqvxow Nudiw/ Sudww dqg Vhlghqehuj +4<8<,/ vhfwlrq 7/ iru d qlwh frxqwhu0h{dpsoh1 Li +ly, lv ylrodwhg/ frxqwdeoh dgglwlylw| lv qrw jxdudqwhhg1
Zh forvh wklv vhfwlrq e| qrwlqj wkdw pl{hg v|vwhpv/ zkhuh vrph frpprglwlhv duh ruglqdo dqg rwkhuv duh fduglqdo/ duh vwudljkwiruzdug wr ghqh1 Wkh fkdudfwhul}dwlrq ri vxfk v|vwhpv srvhv qr gl!fxow| hlwkhu= d sduwlwlrq Z ' i`c c `gc `gnc c `Cj
ri wkh zruog lv d pl{hg v|vwhp ri ruglqdo frpprglwlhv `c c `g dqg fduglqdo
frpprglwlhv `gnc c `C li dqg rqo| li wkh suhihuhqfh suroh vdwlvhv Vhsdudelolw|
zlwk uhvshfw wr Z/ Djuhhphqw zlwk uhvshfw wr i`c c `gjc dqg hlwkhu l, Djuhhphqw
dqg Lqwhuqdo Vhsdudelolw| ru ll, Qr Surwdeoh H{fkdqjh +li mUm 2, zlwk uhvshfw wr i`gnc c `Cj
61 Dq H{dpsoh
Wkh h{dpsoh glvfxvvhg lq wklv vhfwlrq vhuyhv wzr sxusrvhv1 Rxu uvw jrdo lv phuho| wr looxvwudwh/ foduli|/ dqg frqwudvw wkh wzr ghqlwlrqv ri d frpprglw| sursrvhg lq Vhfwlrq 51 Rxu vhfrqg jrdo lv vrphzkdw eldvhg1 Vlqfh wkh frqfhsw ri d fduglqdo frpprglw| lv zhoo nqrzq wr hfrqrplvwv dqg kdv suryhg vr xvhixo/ lw uhdoo| qhhgv qr ghihqvh1 Ehfdxvh wkh qrwlrq ri dq ruglqdo frpprglw| lv fhuwdlqo| ohvv idploldu/ zh zrxog olnh wr vkrz wkdw lw pd| eh d khosixo dqg qdwxudo prgholqj wrro1 Lq wkh h{dpsoh ehorz/ zh zloo eh deoh wr uhgxfh wkh ruljlqdo suhihuhqfhv ri wkh djhqwv wr suhihuhqfhv ryhu ruglqdo exqgohv ru wr suhihuhqfhv ryhu fduglqdo exqgohv ri glhuhqwo| ghqhg frpprglwlhv1 Wkh h{dpsoh lv ghvljqhg wr vkrz wkdw dq ruglqdo uhgxfwlrq lv vrphwlphv pruh dsshdolqj wkdq d fduglqdo rqh1
Wkh vhw ri djhqwv/ Uc frqvlvwv ri wzr odujh upv/ dqg 21 Wkhuh duh d wkrxvdqg lghqwlfdo vnloohg zrunhuv lqgh{hg e| 5 u ' ic c fffj dqg d wkrxvdqg lghqwlfdo
xqvnloohg zrunhuv lqgh{hg e| 5 u2 ' iffc c 2fffj Zrunhuv duh qrw djhqwv1 Hdfk
zrunhu lv hqgrzhg zlwk dq lqwhuydo ri rqh xqlw ri shuihfwo| glylvleoh wlph/ . Wkh
zruog lv wkh xqlrq ri wkhvh lqwhuydov/ ` ' ^2fff
'. Ilup *v suhihuhqfh uhodwlrq ryhu
+wkh j0dojheud ri Eruho, vxevhwv ri ` dgplwv wkh qxphulfdo uhsuhvhqwdwlrq G l $ 7/
E ' E 5 Mu I bE _ .c 5 Mu2 I bE _ .c
zkhuh b lv Ohehvjxh phdvxuh dqg lv dq duelwudu| prqrwrqh ixqfwlrq ghqhg rq
72
n Zh ixuwkhu dvvxph wkdw wkh upv* suhihuhqfhv glhu= lv qrw d prqrwrqh wudqv0
: derxw wkh qxpehu ri krxuv ri vnloohg dqg xqvnloohg oderu wkh| kluh> wkh| dovr kdyh d suhihuhqfh iru sduw0wlph ryhu ixoo0wlph zrunhuv1 Iru lqvwdqfh/ dq| up suhihuv wr kluh wkh vnloohg zrunhuv dqg 2 iru kdoi dq krxu hdfk udwkhu wkdq zrunhu iru dq krxu1
Krz pdq| frpprglwlhv duh wkhuh lq wklv zruogB Rqh dqvzhu lv= wzr ruglqdo frpprglwlhv/ qdpho|/ ` ' ^
u. dqg `2 ' ^u2./ zklfk pd| qdwxudoo| eh fdoohg
vnloohg dqg xqvnloohg oderu1 Dqrwkhu dqvzhu lv= wzr wkrxvdqg fduglqdo frpprglwlhv/ qdpho|/ .c c .2fff Lw iroorzv gluhfwo| iurp hlwkhu wkh Ohppd ru Sursrvlwlrq 5 lq
Vhfwlrq 5 wkdw qr sduwlwlrq ri wkh zruog lqwr ihzhu wkdq 2fff vxevhwv frqvwlwxwhv d v|vwhp ri fduglqdo frpprglwlhv1 Vlqfh doo zrunhuv lq d jlyhq jurxs/ vd|/ .c duh
lghqwlfdo/ lw vhhpv rgg dqg frxqwhu0lqwxlwlyh wr frqvlghu wkh oderu wlph wkdw hdfk ri wkhp vxssolhv dv d glvwlqfw dqg vhsdudwh frpprglw|1 Lw lv rqo| rxu lqvlvwhqfh rq surylglqj d fduglqdo phdvxuh ri doo frpprglwlhv wkdw irufhv xv wr wklv duwlidfw1
71 Uhihuhqfhv
J1 Gheuhx/ Wkhru| ri Ydoxh/ Frzohv Irxqgdwlrq prqrjudsk 4:/ \doh Xqlyhuvlw| Suhvv/ 4<8<1
F1 Nudiw/ M1 Sudww/ dqg D1 Vhlghqehuj/ Lqwxlwlyh Suredelolw| rq Ilqlwh Vhwv/ Dqq1 Pdwk1 Vwdwlvw1 63/ 73;074</ 4<8<1
F1 Yloohjdv/ Rq Txdolwdwlyh Suredelolw| j0Dojheudv/ Dqq1 Pdwk1 Vwdwlvw1 68/ 4:;:0 4:<9/ 4<971