Order Embeddings with Irrational Codomain: Debreu Properties of Real Subsets

The objective of this paper is to investigate the role of the set of irrational numbers as the codomain of order-preserving functions defined on topological totally preordered sets. We will show that although the set of irrational numbers does not satisfy the Debreu property it is still nonetheless true that any lower (respectively, upper) semicontinuous total preorder representable by a real-valued strictly isotone function (semicontinuous or not) also admits a representation by means of a lower (respectively, upper) semicontinuous strictly isotone function that takes values in the set of irrational numbers. These results are obtained by means of a direct construction. Moreover, they can be related to Cantor’s characterization of the real line to obtain much more general results on the semicontinuous Debreu properties of a wide family of subsets of the real line.

[1]  Gerhard Herden,et al.  The Debreu Gap Lemma and some generalizations , 2004 .

[2]  P. Hammond,et al.  Handbook of Utility Theory , 2004 .

[3]  G. Debreu.  Mathematical Economics: Representation of a preference ordering by a numerical function , 1983 .

[4]  R. Courant,et al.  What Is Mathematics , 1943 .

[5]  G. Mehta.  Preference and utility , 1998 .

[6]  Gianni Bosi,et al.  Existence of a semicontinuous or continuous utility function: a unified approach and an elementary proof , 2002 .

[7]  Alan F. Beardon.  Debreu's Gap Theorem , 1992 .

[8]  D. Bridges,et al.  Representations of Preferences Orderings , 1995 .

[9]  Gianni Bosi,et al.  On the structure of completely useful topologies , 2002 .

[10]  J. Liouville.  Sur des classes très-étendues de quantités dont la valeur n'est ni algébrique, ni même réductible à des irrationnelles algébriques. , 1851 .

[11]  Alan F. Beardon,et al.  Utility functions and the order type of the continuum , 1994 .

[12]  Kim C. Border,et al.  Infinite Dimensional Analysis: A Hitchhiker’s Guide , 1994 .

[13]  A. Arnaud,et al.  in the Approximation , 1974 .

[14]  A. Beardon,et al.  Lexicographic decomposition of chains and the concept of a planar chain , 2002 .

[15]  Alan F. Beardon.  Utility theory and continuous monotonic functions , 1994 .

[16]  F. Stephan,et al.  Set theory , 2018, Mathematical Statistics with Applications in R.

[17]  A. Beardon,et al.  The non-existence of a utility function and the structure of non-representable preference relations , 2002 .