e 2ernstein ¥arado5 Jos Uffink * September 20, 1999 Abstract I ...

uv w vCt x9y{z+y | v } ~.| v w t uvC€y¦w t y ‚w#ƒ ‚.„@z+y z+v ‚¦t ƒ…y †ƒ ||9y t uv ‡#z+y | v } ~.| v w=uƒ ˆ vt y…‰vCt ƒ Š v ‚
t
yƒ } } y ~‚¦t ‹ Œu¦~wy ‚.v#z+Ž u¦tuy €v#t uƒ t‰¦…„.v zCƒ ‚.„‚Ž+t uƒ tv ˆ v ‚¦t w ƒ ‡ v#„.v w } ‡ ‰v „…‰¦…|y¦} ƒ |
‚¦t
ƒ ‡ ƒ ‰.| v w ƒCz+y ‡ v+‚¦t v ‡ v w t ‚.Ž…ˆ v ‡ w y ‚@x,y ~.| „{‡ v w ~|t ‹C ‘‚.„’t u.v ‚y †,} y ~.‡ w v *t ‡ v zCƒ ‚wt y‰v
ˆ
‡ v »C ½  ¿’ƒ ‡ v t u.v u w t y ‡ v w9y †t uv ‡ v Ž y ‚w9#.·¢ƒ ‚„…©+¦ ‹v ‹¦} y z+€.| v t v#w €v } ›} ƒ t y ‚w9y †ƒ | |
xu.v
ˆ v ‚¦t w‚…t uy w v=‡ v Ž y ‚w ‹ v
‡9y ~‡,„. w } ~w w y ‚ t uvw ƒ | v ‚¦t9€y ‚¦t w ‚+xu} u+t u. w† y ‡ z#~.| ƒ t y ‚C„. Ãv ‡ w† ‡ y z£y t u.v ‡,† y ‡ z=~˜
¸y
w v v ‚ † tx,y ~.| „¦ v |„{ƒ+w ~.} } v w w † ~|} ‡ t v ‡ y ‚{† y ‡„ w t ‚Ž ~ w u‚Ž#€ƒ w tƒ ‚„† ~t ~‡ v ‹“
‘‡ ‚¦t ” v ‚. ~wƒ | w yCw u.y xw9t uƒ tt uv •9––¨} ƒ ‚† ƒ |* ‚…‚„.v t v ‡ z+‚ w t~.‚ˆ v ‡ w v w .‰¦ƒ ‚…v —.ƒ z+€|v
y †t z+v ˜ uy z+y Ž v ‚v y ~w,{ƒ ‡ Š y ˆ+€.‡ y¦} v w w v w ‹š¨u. |vt,x,y ~.| „+t ƒ Š v~wt y¦y=† ƒ ‡9ƒ ›v |„Ct y=Ž y ‚¦t y=t u. w
v —.ƒ z+€|v .œ9‚.y t v=t uƒ t .uv ‡ v t y¦yCƒ ‚ ‚ v } t y ‚…y †v —¦€.| } t| y¦} ƒ | t z+ Ž u¦tu.v | €*‹
ž y t v…t uƒ t+‰¦6x,v „„. ‚.Ž’t uv…•9––¢t y@ƒ ‚¨ƒ w w ~z+€.t y ‚y † |y¦} ƒ | t 9t u.v…€.‡ ‚.} €.| vx ||Ž¦ƒ ‚
v z+€. ‡ } ƒ |9} y ‚¦t v ‚¦t ‹’Œu w y †} y ~‡ w v w=‚y t+w ~‡ €.‡ w ‚Ž…‰v } ƒ ~w vCt uvƒ w w ~.z+€t y ‚@t uƒ t#v ˆ v ‚¦t w
ƒ ‡ vCv —¦uƒ ~w t ˆ v | ’} uƒ ‡ ƒ } t v ‡ ” v „‰¦{| y¦} ƒ |9ˆ ƒ ‡ ƒ ‰|v w# w=t w v |†‚.y ‚.˜ t ‡ ˆ¦ ƒ | ‹…Œu¦~w t u.vCŸ¦~ƒ ‚¦t ~z
z+v } uƒ ‚} ƒ |ˆ¦ y | ƒ t y ‚y †t u.v 9v ||˜ ‚v Ÿ¦~ƒ | t v w9‚C¡,‚w t v ‚.˜ •y¦„.y | w Š¦ ˜ ¢y¦w v ‚Cv —¦€v ‡ z+v ‚¦t w wy ‚.|
ƒ€‡ y ‰|v z£† y ‡t u.v•9––6xu.v ‚+y ‚.v ‚w w t wt uƒ t,y ‚|#| y¦} ƒ | ” v „Cv ˆ v ‚¦t w9ƒ ‡ vƒ } } v €t ƒ ‰.| v} ƒ ~w v w ‹œ ‚
9y uz…¤w ‚¦t v ‡ €.‡ v t ƒ t y ‚@y †9Ÿ¦~ƒ ‚¦t ~z¥z+v } uƒ ‚} w=ƒ w=ƒC„.v t v ‡ z+‚ w t }+‰~.t ‚.y ‚.˜ | y¦} ƒ |,t u.v y ‡ *t uv
•9–– w9‚y tˆ¦ y | ƒ t v „*‹
¦ ~.‡#w ~.Ž Ž v w t y ‚@} ƒ ‚6ƒ | w y…u.v | €’t y{w v v+xu¦{t uv+~.‚† y ‡ z+t {y †9t uv+} y w z+ }+‰ƒ } Š¦Ž ‡ y ~.‚„’‡ ƒ ˜
„. ƒ t y ‚{ w} y ‚w „v ‡ v „…t yC‰v#ƒ+€.‡ y ‰.| v z…‹9š¨u.v ‚{x,v#„.v w } ‡ ‰v=t u w~.‚† y ‡ z+t …ƒ wƒ ‚{ƒ ‰w v ‚} v=y †
} y ‡ ‡ v | ƒ t y ‚{‰v t x9v v ‚{ ‚¦t v ‚w t {ƒ ‚.„’ƒ ‚Ž | v x9v#ƒ ‡ v=} y ‚w „.v ‡ ‚.ŽC€‡ y ‰ƒ ‰| t v w‚’ƒ+€uƒ w v#w €ƒ } v
„.v ›‚.v „@‰¦’t uvCˆ ƒ ‡ ƒ ‰.| v w=‚¦t v ‚w t 6ƒ ‚„6ƒ ‚Ž | v ‹…Œu. w w=‚.y t=t u.vw €ƒ } vC ‚@xu} u@x,v| ˆ v…ƒ ‚„
‰.‡ v ƒ t uv ‹9š¨uƒ t ww t ‡ Š¦‚ŽC‚…t u.v=~‚. † y ‡ z+ t wt uƒ tt|v ƒ ‡ ‚w~wt uƒ t€.u¦.w } ƒ |} y ‚.„t y ‚wƒ t
t uv=w y ~.‡ } v w9y †t u. w9‡ ƒ „. ƒ t y ‚…z=~w tuƒ ˆ v ‰v v ‚…ˆ v ‡ …w z+ | ƒ ‡ . ‚…w €t v y †t u.v ‡z+z+v ‚w v=w €ƒ t ƒ |
w v €ƒ ‡ ƒ t y ‚*‹,Œu¦~w .†x,v#w ~.€€y w v t uƒ tt u.v=‚ƒ t ~‡ ƒ |*uƒ ‰t ƒ t† y ‡t uv •9––¨ wƒ ‚…ƒ €.€| } ƒ t y ‚…† y ‡
|y¦} ƒ | ” v „…v ˆ v ‚¦t w ‚…w €ƒ } v ˜ t z+v ‡ ƒ t u.v ‡t uƒ ‚…‚…† y ‡ zCƒ |€uƒ w v=w €ƒ } v w .x,v=} ƒ ‚…~‚.„v ‡ w t ƒ ‚.„xu¦
t uv y ‰w v ‡ ˆ v „~‚. † y ‡ z+ t C w} y ‚w „v ‡ v „€‡ y ‰|v zCƒ t } ‹§
‘| w y.¦‚+y ‡ „.v ‡,t y=v ˆ ƒ „vt uv ¨ z+€w y ‚+€ƒ ‡ ƒ „y — t9w v v zCwt uƒ t,y ‚v} ƒ ‚w ƒ ˆ vt u.v€‡ ‚} €|v‰¦
w €v } † ¦ ‚.Ž+t uƒ tt u.v } ƒ ~w v#© wƒ+w ~.ª+} v ‚¦t9} ƒ ~w ƒ |*† ƒ } t y ‡xt u‡ v w €v } tt yCƒ#} | ƒ w wy †v ˆ v ‚¦t w ‹,œ t
x,y ~.| „+‰v9‡ v ƒ w y ‚ƒ ‰|vt y=t ƒ Š vt u w} | ƒ w wt y=‚} |~„.vƒ t,|v ƒ w t9ƒ | |v ˆ v ‚¦t w ‚+t uv€ƒ w ty †©+ €v ‡ uƒ €w
ƒ | w yt u.y¦w v9y ~t w „.v9y †©+¤w} ƒ ~w ƒ |.† ~.t ~.‡ v ‹*«y x9v ˆ v ‡ t u. w*z+v ƒ ‚wy ‚v9‚.v v „w*t y ‚¦t ‡ y¦„.~} v,} y ‚.} v €t w
† ‡ y z¬t u.v=w €ƒ } v ˜ t z+v=‰ƒ } Š¦Ž ‡ y ~.‚„…‚…t uv €.‡ ‚.} €.| v ‹
Œu w€y ‚¦t,t uƒ t,y ‚v‚v v „w,ƒ ‡ v w t ‡ } t y ‚Cy †t uv€‡ ‚} €|vt y=| y¦} ƒ | ” v „v ˆ v ‚¦t w, w,ƒ | w y=} | v ƒ ‡9‚
ƒ‡ v } v ‚¦t„. w } ~w w y ‚#y †t uv,•9––@‚#t u.v9} y ‚¦t v —¦ty †‡ v | ƒ t ˆ¦ w t }~‚. ˆ v ‡ w v w9 ¡9ƒ ‡ zCƒ ‚.­ ® ® ¯¦ } u‹ ¯¦‹“ ‹
° ‚.† y ‡ t ~‚ƒ t v | ¦¡9ƒ ‡ zCƒ ‚¤wƒ t t v z+€tƒ t€.‡ y ˆ¦ „. ‚.Ž+ƒ=t ‡ ƒ ‚w | ƒ t y ‚…y †*t u.v=w €. ‡ t9y †*t u.v €.‡ ‚.} €.| v‚
t u ww €ƒ } v ˜ t z+v#w v t t ‚.ŽCx9ƒ w .‰¦Cu. w9y x‚# ~„.Ž v z+v ‚¦t .~‚w ƒ t w † ƒ } t y ‡ ’ y €*‹.} t ‹€*‹*­ ± ² “ ‹
¢v zCƒ ‡ Š ƒ ‰| *ƒCˆ ƒ ‡ ƒ ‚¦ty †,t uv=€‡ ‚} €|v#y †,t u.v#} y z+z+y ‚{} ƒ ~w v#t ƒ Š¦ ‚.Žv —¦€.| } t=ƒ } } y ~.‚¦t y †
‡ v | ƒ t ˆ¦ w t }’w €ƒ } v ˜ t z+v…uƒ w+‰v v ‚¨ƒ ‡ y ~.‚„6† y ‡Cƒ{| y ‚Ž’t z+v ƒ |t u.y ~.Ž u t+ wCw v | „.y z³„ w } ~w w v „
‚{t u.v#€u. |y¦w y €u. } ƒ || t v ‡ ƒ t ~‡ v ‹ œ t w•v ‚‡ y w v+ƒ ‚.„{•v ‡ } ˆ ƒ | ¤w+ ­ ® ´ µ “ €.‡ ‚.} €.| v#y †,} y ‚.„t y ‚ƒ |
‚„.v €v ‚„.v ‚} v ‹
Œuv w v ƒ ~t uy ‡ w,} y ‚w „.v ‡9t x9y+w €ƒ } v | Š v=w v €ƒ ‡ ƒ t v „‰y ~‚.„v „+‡ v Ž y ‚w9ƒ ‚„·‚w €ƒ } v t z+v
ƒ ‚„{| v t=©¢‰v+ƒ ‚¦{‡ v Ž y ‚@xu. } u’„. w w v } t w t uv#~‚. y ‚{y †,t u.v+€ƒ w t | Ž u¦t ˜ } y ‚v w y †9¢ƒ ‚.„@·¬‚¦t y
x,yC€ƒ ‡ t w .y ‚v } y ‚¦t ƒ ‚‚Ž+ƒ ‚.„…t uv y t u.v ‡} y ‚¦t ƒ ‚. ‚.Ž·C‹9 ¨ v v=¸ Ž.‹¹.‹“#Œu.v ‚
t
»+¼½=¾¿“,À º »¾¿*“ º ½ ¾¿“ ± Á “
º
| ƒ t y ‚w=ƒ ‡ v ›.‡ w t ‚’t u w ˆ v ‡ w y ‚@y ‚|{‚y ‚˜ |y¦} ƒ |} y ‡ ‡ v | ƒ t y ‚w=ƒ ‡ v+t y…‰v#v —¦€| ƒ ‚v „*Äw v } y ‚„.|
ÆÇÈ É Ê ÈË È Ì ÈÉ Í ÎÏ ÈÐ Ë ÈÑ Ò È Í Ð ÎÓ ÔÓ Õ.Ë Ó Ö…Ð Ó9ÎÔ Ð È Ì × Ì È Ð*Ð Ë ÈÌ È Ñ Ò ÎÌ È Ï× Ì Ó Ø É Ø ÎÇÎÐ ÎÈ Í*ÎÔÐ Ë ÎÍ*× Ì Ó Ø ÇÈ ÙÚ
Å
®