<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> be a locally compact topological space. We consider two spaces of continuous preference relations on <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation>. A <i>local continuous quasiorder</i> is a continuous, complete, quasitransitive binary relation defined on a closed subset of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(Q({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the set of all such relations. A <i>local continuous strict partial order</i> is a continuous partial order (with no indifference) defined on a closed subset of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(P({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the set of all such relations. There is a natural bijection between <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(Q({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(P({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We endow both sets with the Fell topology, and show that under mild conditions, they are compact Hausdorff spaces, compact metrizable spaces, continua, or even contractible Peano continua. If <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> is a compact metric space, then duplex multiutility representations define continuous functions into <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(Q({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(P({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> from a space of compact collections of utility functions, endowed with its own Fell topology. Furthermore, any continuous function <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\phi :{\mathcal {X}}{{\longrightarrow }}{\mathcal {Y}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo>:</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">⟶</mo> <mi mathvariant="script">Y</mi> </mrow> </math></EquationSource> </InlineEquation> induces continuous functions <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\phi ^@:Q({\mathcal {X}}){{\longrightarrow }}Q({\mathcal {Y}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ϕ</mi> <mo>@</mo> </msup> <mo>:</mo> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟶</mo> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">Y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\phi ^\P :P({\mathcal {X}}){{\longrightarrow }}P({\mathcal {Y}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ϕ</mi> <mi mathvariant="normal">¶</mi> </msup> <mo>:</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟶</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">Y</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We thus obtain two endofunctors <i>Q</i> and <i>P</i> on the category of compact Hausdorff spaces, which are naturally isomorphic to each other. Finally, we show that these endofunctors are “continuous”: if <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\({\mathcal {X}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">X</mi> </math></EquationSource> </InlineEquation> is the limit of a chain <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\({\mathcal {X}}_1 \longleftarrow {\mathcal {X}}_2 \longleftarrow {\mathcal {X}}_3 \longleftarrow \cdots \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">X</mi> <mn>1</mn> </msub> <mo stretchy="false">⟵</mo> <msub> <mi mathvariant="script">X</mi> <mn>2</mn> </msub> <mo stretchy="false">⟵</mo> <msub> <mi mathvariant="script">X</mi> <mn>3</mn> </msub> <mo stretchy="false">⟵</mo> <mo>⋯</mo> </mrow> </math></EquationSource> </InlineEquation> of compact Hausdorff spaces, then <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(Q({\mathcal {X}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the limit of the corresponding chain <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(Q({\mathcal {X}}_1) \longleftarrow Q({\mathcal {X}}_2) \longleftarrow Q({\mathcal {X}}_3) \longleftarrow \cdots \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">X</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟵</mo> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">X</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟵</mo> <mi>Q</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">X</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">⟵</mo> <mo>⋯</mo> </mrow> </math></EquationSource> </InlineEquation> (and likewise for <i>P</i>).</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Compact spaces of continuous preferences

  • Marcus Pivato

摘要

Let \({\mathcal {X}}\) X be a locally compact topological space. We consider two spaces of continuous preference relations on \({\mathcal {X}}\) X . A local continuous quasiorder is a continuous, complete, quasitransitive binary relation defined on a closed subset of \({\mathcal {X}}\) X . Let \(Q({\mathcal {X}})\) Q ( X ) be the set of all such relations. A local continuous strict partial order is a continuous partial order (with no indifference) defined on a closed subset of \({\mathcal {X}}\) X . Let \(P({\mathcal {X}})\) P ( X ) be the set of all such relations. There is a natural bijection between \(Q({\mathcal {X}})\) Q ( X ) and \(P({\mathcal {X}})\) P ( X ) . We endow both sets with the Fell topology, and show that under mild conditions, they are compact Hausdorff spaces, compact metrizable spaces, continua, or even contractible Peano continua. If \({\mathcal {X}}\) X is a compact metric space, then duplex multiutility representations define continuous functions into \(Q({\mathcal {X}})\) Q ( X ) and \(P({\mathcal {X}})\) P ( X ) from a space of compact collections of utility functions, endowed with its own Fell topology. Furthermore, any continuous function \(\phi :{\mathcal {X}}{{\longrightarrow }}{\mathcal {Y}}\) ϕ : X Y induces continuous functions \(\phi ^@:Q({\mathcal {X}}){{\longrightarrow }}Q({\mathcal {Y}})\) ϕ @ : Q ( X ) Q ( Y ) and \(\phi ^\P :P({\mathcal {X}}){{\longrightarrow }}P({\mathcal {Y}})\) ϕ : P ( X ) P ( Y ) . We thus obtain two endofunctors Q and P on the category of compact Hausdorff spaces, which are naturally isomorphic to each other. Finally, we show that these endofunctors are “continuous”: if \({\mathcal {X}}\) X is the limit of a chain \({\mathcal {X}}_1 \longleftarrow {\mathcal {X}}_2 \longleftarrow {\mathcal {X}}_3 \longleftarrow \cdots \) X 1 X 2 X 3 of compact Hausdorff spaces, then \(Q({\mathcal {X}})\) Q ( X ) is the limit of the corresponding chain \(Q({\mathcal {X}}_1) \longleftarrow Q({\mathcal {X}}_2) \longleftarrow Q({\mathcal {X}}_3) \longleftarrow \cdots \) Q ( X 1 ) Q ( X 2 ) Q ( X 3 ) (and likewise for P).