The Intermediate Value Theorem and Decision-Making in Psychology and Economics: An Expositional Consolidation

: On taking the intermediate value theorem (IVT) and its converse as a point of departure, this paper connects the intermediate value property (IVP) to the continuity postulate typically assumed in mathematical economics, and to the solvability axiom typically assumed in mathematical psychology. This connection takes the form of four portmanteau theorems, two for functions and the other two for binary relations, that give a synthetic and novel overview of the subject. In supplementation, the paper also surveys the antecedent literature both on the IVT itself, as well as its applications in economic and decision theory. The work underscores how a humble theorem, when viewed in a broad historical frame, bears the weight of many far-reaching consequences; and testiﬁes to a point of view that the apparently complicated can sometimes be under-girded by a most basic and simple execution.


Introduction
Lagrange's 1767 treatise begins by giving prominence to the following statement: If we have any equation, and if we know two numbers such that, if they are successfully substituted for the unknown in that equation, they give results of opposite signs, the equation will necessarily have at least one real root whose value will be between those two numbers. 3  Grabiner [1] makes clear that Lagrange's theorem was limited to polynomials, and that the intermediate value theorem (IVT) in its modern form was independently discovered and rigorously proved only later by [3,4].We furnish a version given in [5], and typically taught to incoming undergraduates in mathematics. 4 Theorem 1 (Bolzano-Cauchy).Let a, b ∈ R, a < b, and f : [a, b] → R be a function.If f is continuous, and f (a) f (b) < 0, then there exists c ∈ R such that f (c) = 0.
The theorem is basic and elementary, but this elementary nature notwithstanding, it is now the lens through which the contemporary reader sees the "revolutionary character of Cauchy's and his contemporaries' efforts to set mathematical analysis on a rigorous footing, and apply a fundamentally new point of view to the problems and methods of their eighteenth-century forebears". 5It is understood that the proofs of the theorem are crucial for the "arithmetization of analysis," as well as the ground on which the quarrel between geometry and algebra can be contested. 6 The primary emphasis of this paper, however, is neither epistemological nor historical: it is simply an expositional consolidation based on a distinction between the theorem and the property that the theorem formalizes. 7The intermediate value property (IVP) articulates the raw, and most primitive, intuition furnished by the theorem: any value in the interior of the range is attained in the interior of the domain of an up-and-down function when there are no jumps and no gaps in either its domain or its range.The goal of this paper is to obtain results that connect the IVP to the continuity property in mathematical economics and the solvability property in mathematical psychology, and thereby also to provide an up-to-date exposition of the state of the art concerning it.As such, it is both a critical survey and a contribution to the subject.
Given the recent surveys of the IVT and the associated IVP already available, 8 the marginal contribution of the paper needs to be clearly spelled out: taking the framing as given, what is the substance of that which is being framed?The subject rests on two pioneering papers: Eilenberg [16], Rosenthal [17].Eilenberg was the first to consider an "ordered topological space" and by bringing together the registers of order and topology, the first to consider the representation of binary relations by real-valued functions.In particular, his paper drew attention to the role of hidden behavioral implications in the interplay of the attendant hypotheses of continuity and connectedness. 9Moreover, once the two structures were brought together, it took Rosenthal's theorem on joint continuity of functions to bring out the subtleties and subdue the Genocchi-Peano counterexamples. 10The literature is by now replete with the usage of the adjective continuous applied to a function, as well as to a binary relation, and this equivalence of different continuity assumptions under seemingly orthogonal behavioral and technical hypotheses continues to be explored in the context of mathematical economics without any reference to the IVP. 11Two other independently pioneering papers, Marschak [29], Nash [30], can be mentioned in this connection: they correctly and completely axiomatized expected utility representation that in hindsight can be seen as making a continuity assumption. 12 Somewhat independently, a line of investigation in a similar vein was being pursued by Luce and Tukey [33], Suppes [34] and their followers in the context of decision theory as conceived in mathematical psychology.This work also provided axiomatics guaranteeing the representation of binary relations by real-valued functions, but this time appealing to what was termed solvability notions arising in measurement theory, and again without any explicit reference to the IVP. 13 The fact that the IVP is a useful property for a binary relation in measure-theoretic and topological structures, be they of finite or of infinite cardinality, is now being increasingly appreciated in this line of work.Thus [36] write: Solvability is reminiscent of the intermediate value property of continuous realvalued functions.Without richness conditions such as solvability . . .axiomatizations become considerably more complex.(p. 5) In short, this literature, along with the other economic one, can also be related to Rosenthal's 1955 theorem and viewed as uplifting of insights and results for functions to binary relations, and to use this to connect the solvability postulate to the IVP, and thereby to effect a synthesis of sorts of unconnected results in mathematical economics and mathematical psychology. 14In a nutshell, in keeping with the theme of understanding the richness of a structure, the connections of the continuity postulate and the solvability to the IVP that we forge, provide a novel overview of the subject summarized in four portmanteau theorems. 15 It is the lens through which the equivalence of these postulates for binary relations can now be viewed.
It is perhaps because of its apparently deceptive simplicity that the theorem comes late to ongoing work in mathematical economics and decision theory.If one may paraphrase Sen's remark regarding topological structures, one may say "Just as it is possible to speak prose without noticing that fact . . ., it is possible also to be talking about the IVT without sensing IVT or any IVP around us". 16 An outstanding example of this, and also a testimonial to the synthetic treatment offered here, is the reading of Wold's work as the first application of solvability considerations not in decision theory as studied in mathematical psychology, but in the classical theory of demand as exposited in textbooks of economic theory. 17There are perhaps two additional considerations that need to be adduced.The first concerns the second epigraph: "what can or needs to be proved"-the nature of mathematical truth and rigor that is in operation at a particular point in time.The second involves a first attack on a hitherto novel problem, and so, rather than an inevitably-elusive fuller understanding, investigators typically have to make do with handiest, tailor-made theorems that are then available.A reliance on such theorems for a variety of equilibrium problems in a variety of structures is initially indispensable to give a broad and synthetic overview of the basic problem, but it also obscures the concrete structural details of a particular and concrete specification of it that subsequent investigations can bring to light, and it is here that IVT plays a role. 18 It is perhaps worth giving examples of each of these considerations as they pertain to the IVT.As regards the first, it is to be noted that one of the earliest applications of the IVT in mathematical economics is to the neoclassical theory of economic growth where the result was used to show the existence of a balanced growth path in the aggregative Solow-Swan growth model, and where the application went beyond the merely technical to bring out the substantive. 19The essential point, at least as regards the work reported in this paper is concerned, is that a decade earlier, the model was comprehensively investigated with a chapter devoted to this precise (existence) issue, but rather than the IVT, a geometric apparatus and argumentation was used. 20Turning to the second consideration, one may sight the use of the IVT to prove the existence of a Walrasian equilibrium in a two-commodity economy as a simple corollary of the original Bolzano-Cauchy version of the IVT: the essential point here is that the profession had to wait almost two decades for this demonstration. 21In any case, once these pioneering applications of the seventies are in place, the floodgates regarding the IVT and the IVP opened up, and they concerned the theory of games as well as Walrasian and decision theory.
The presentation of the material-the plan of the paper if one prefers-then falls naturally and easily in place into two parts: Sections 2 and 3 on the old and the available, and Sections 4 and 5 on the new.More specifically, Section 2 presents an overview of the theorem in so far as it pertains to functions, and also by viewing the IVP in a measuretheoretic context, 22 allows a connection to Liapounoff's 1940 theorem on the range of an atomless vector measure.Despite the material being well-known, the reader hopefully will see some novelty in the arrangement of it. 23In addition to the notion of the up-and-down function abstracted into a binary relation, Section 3 can also be viewed as an abstraction of the notion of equality into an equivalence relation, and it is this that facilitates the formulation of the solvability and restricted solvability properties.This section then turns to the discipline that gave rise to measurement and decision theory: 24 Section 4 turns to the new material as categorized under extensions and use of the IVP for functions separately from binary relations, and summarized in four portmanteau theorems, and two main Propositions. 25Section 5 is devoted to the proofs.Section 6 concludes the basics of this essay with three open questions that provide a brief programmatic statement for future work that would allow a reading of the subject that opens the doors for a further investigation.Appendix A contains a selected listing for a reader interested in ongoing work centered around the IVT and IVP, and their extensions.

The IVT and Its Generalizations
This section is composed of five parts.The first part surveys the classical theorem of Bolzano and its variants.In the second part, we touch upon the extensions of the IVT for functions with weakened continuity properties.The third and the fourth parts provide an exploratory overview of the conception of the IVT for topological, algebraic, and measure-theoretic registers.Lastly, we conclude with a brief discussion of IVT on finite-dimensional spaces.

The Classical Theorem
We begin this section by defining the intermediate value property (IVP) for functions defined on subsets of the real line.Let X ⊆ R. A function f : X → R has the IVP if for all x, y ∈ X, x < y and all c lying between f (x) and f (y), there exists z ∈ [x, y] such that f (z) = c.
Bolzano [3] proves the classic intermediate value theorem as stated in the introduction for functions defined on an interval in R. The following theorem is a slightly general version of Bolzano's theorem; its proof easily follows from Bolzano's theorem, hence omitted.Theorem 2. Every continuous real-valued function defined on an interval in R has the IVP.
This theorem provides a one-directional relationship between the usual continuity assumption and the IVP, a weak continuity assumption on functions.It is well-known that the converse of this theorem is false without additional assumptions on functions.Sohrab [59] (p.167) shows that for a class of functions satisfying a weak monotonicity assumption, the two continuity concepts are equivalent.Definition 1.Let a, b ∈ R, a < b, be an interval.A function f : [a, b] → R is piecewise monotone if, for some n > 1, there exists n − 1 numbers x 1 , . . ., x n ∈ (0, 1) satisfying a = x 0 < x 1 < . . .< x n = b such that for each k such that 1 ≤ k ≤ n, f is weakly increasing or weakly decreasing on Theorem 3 (Sohrab).Let a, b ∈ R, a < b, and f : [a, b] → R be a function that is piecewise monotone.Then, f is continuous if and only if it has the IVP.
Note that every quasi-concave, or quasi-convex, or injective (see [59,60]) function on an interval is piecewise monotone, the following is a corollary of the theorem above.
Corollary 1.Let a, b ∈ R, a < b, and f : [a, b] → R be a function satisfying any of the following three properties: quasi-concavity, quasi-convexity, or injectivity.Then, f is continuous if and only if it has the IVP.
Sohrab's theorem and the corollary above provides an equivalence result for different continuity concepts on functions.This result is limited to the one-dimensional setting, but illustrates an equivalence result analogous to the equivalence results on different continuity concepts for various classes of binary relations.There are many results generalizing Bolzano's theorem to multidimensional settings; see [5,14,61] for three recent surveys.We return to the equivalence of different continuity concepts for functions in a multidimensional setting in Section 4.

Beyond Continuous Functions
Milgrom and Roberts [62] and Guillerme [63] independently prove a generalization of (an equivalent version of) the IVT by weakening the continuity assumption.We present their result below, as summarized in [64] as a fixed point theorem, but first we provide two weak continuity properties for functions.Let [a, b] ⊂ R be an interval.A function f : [a, b] → R is continuous but for upward jumps if for all x ∈ [a, b] and any sequence x n approaching x from above (x n ↓ x), lim inf x n ↓x f (x n ) ≥ f (x), and for any sequence x n approaching x from below (x n ↑ x), lim sup x n ↑x f (x n ) ≤ f (x).
Wu [64] proves a generalization of the above theorem for correspondences by using the following weak continuity assumptions on correspondences. 26Let T : R Y be a non-emptyvalued correspondence, where Y is a metric space.T is said to be upper semicontinuous on the right (RUS) if for any x ∈ R and any sequence x n ↓ x, if a sequence (y n ) converging to y is such that y n ∈ T(x n ) ∀n, then y ∈ T(x); T is said to be lower semicontinuous on the left (LLS) if for any sequence x n ↑ x and every y ∈ T(x), there is a sequence (y n ) converging to y such that for every n, one has y n ∈ T(x n ).
Ricci [66] proves a further generalization of IVT (which is also related to Amir and DeCastro [67]'s theorem) by allowing additional discontinuities for which we need additional notation and definitions.Assume that T : X Y is a closed-valued correspondence with non-empty values, where X, Y are two non-empty and compact intervals in R. Denote by m T : X → Y and M T : X → Y the mappings given by m T (x) = min T(x) and M T (x) = max T(x).Note that these two functions are well-defined due to the fact that T has non-empty and closed values.Further, denote by s T : X → Y the mapping such that s T (x) is the supremum of the maximal connected subset of T(x), also called component, containing m T (x).Note that this function is well-defined because of the properties of the components, and that m T (x) ≤ s T (x) ≤ M T (x) and [m T (x), s T (x)] ⊆ T(x) for any x ∈ X. Theorem 6 (Ricci).Let X be a non-empty and compact interval in R and T : X X be a correspondence with non-empty and closed values.Assume for all x 0 ∈ X, Then there exists x * ∈ X such that x * ∈ T(x * ).
These generalized versions of the IVT have been applied in economic theory, we provide references to a selection of them in Appendix A.

A Topological and Algebraic Conception
In this subsection, we provide a generalization of the IVT for functions that have general domain and range.First, we need the following notation and concepts.We assume throughout this paper that [0, 1] is endowed with the usual topology.An arc in a topological space X is a continuous injective function m : [0, 1] → X.A curve in X is the image of an arc m : [0, 1] → X.Since an arc m is continuous and injective, it is a bijection from [0, 1] to its image m([0, 1]). 27A topological space X is connected if there does not exist two non-empty and disjoint open sets U, V in X such that X = U ∪ V.A subset of X is connected if it is connected under its subspace topology. 28An ordered set X is a set on which a binary relation is defined with the following properties: (i) x y z implies x z for all x, y, z ∈ X (transitivity), (ii) x y for all x ∈ X (irreflexivity), (iii) x y or y x for all x, y ∈ X, x = y (total).The order topology on an ordered set X is the topology with a basis consists of the collection of all sets of the following types: for all a, b ∈ X, Next, we provide an algebraic property of a set that is weaker than a linear space.A set S is said to be a mixture set if for any x, y ∈ S and for any µ we can associate another element, 29 which we write as xµy, which is again in S, and where for all x, y ∈ S and all λ, µ, (S1) x1y = x, (S2) xµy = y(1 − µ)x, (S3) (xµy)λy = x(λµ)y.In decision theory, it is common to assume that the choice set on which preferences are defined has an algebraic structure instead of a topological structure.Such a setup is introduced by [23] and defined as above.It is easy to see that any convex set is a mixture set, but the converse relationship is false; see [69] for a detailed discussion.Now, we define three versions of the IVP for functions with general domain and range.
Definition 2. Let X be a mixture set and Y an ordered set.A function f : X → Y has the IVP if for all x, y ∈ X and all c lying between f (x) and f (y) (with respect to the order on Y), there exists Definition 3. A real-valued function f on a topological space X has the strong IVP if for all x, y ∈ X, all c lying between f (x) and f (y) and all curves C xy connecting x and y, there exists z ∈ C xy such that f (z) = c.When the domain of a function f is a topological vector space, then the three definitions of the IVP are well defined for f .It follows from the definitions of these three properties that strong IVP implies IVP, and IVP implies weak IVP.
Next, we provide generalizations of the IVP.Different versions of these results are provided in different works in the literature, hence we provide proofs for the convenience of the reader; they all rely on the connectedness assumption.Proposition 1.Let X be a mixture sets, Y an ordered set endowed with the order topology and f : X → Y be a function with the following continuity property: for all x, y ∈ X and all open sets U ∈ Y, the set {λ ∈ It is easy to observe that if the domain of the function in this proposition is a convex subset of a topological vector space, then the continuity of a function (preimage of every open set is open) implies the continuity assumption above.Hence, this proposition uses both general domain and range, and also a weaker continuity assumption.Proposition 2. Let X be a topological space, Y an ordered set endowed with the order topology and f : X → Y be a continuous function.Then, f satisfies the strong IVP.
Munkres [70] (Theorem 24. 3, p. 154) provides a similar result showing that the function satisfies the weak IVP.The theorem depends not only on the continuity of f but also on the (topological) connectedness property of its domain.Next, we present an equivalence result showing that connectedness of the domain is not only sufficient but also necessary for all continuous functions to have the IVP.Proposition 3. Let X be a non-empty topological space and Y be a non-empty ordered set with the order topology.Then, every continuous function f : X → Y has the weak IVP if and only if X is connected.
Given its trivial nature, the proof is omitted.Note that in this proposition, the weak IVP can be replaced by the strong IVP.

A Measure-Theoretic Conception
In this subsection, we begin with the strong IVP of measure spaces as defined in Hahn and Rosenthal [57] and Mizel and Martin [58], and connect it with Liapounoff's 1940 theorem on the range of an atomless vector measure.
Let (X, A, µ) be a measure space where X is a set, A a σ-algebra on X, and a measure, µ : A → [0, +∞].Then, following [58], we define the IVP for measure spaces.Definition 5. A measure space (X, A, µ) is said to have the weak IVP if for every real number a, 0 ≤ a ≤ µ(X), there exists a measurable subset A of X such that µ(A) = a.Definition 6.A measure space (X, A, µ) is said to have the strong IVP, if for every measurable subset S of X and every real number a, 0 ≤ a ≤ µ(S), there exists a measurable subset A of S such that µ(A) = a.
It is trivial to observe that for a measure space, the strong intermediate value property implies the weak IVP.
A measurable subset A of X is called an atom if µ(A) = 0 and if every A-measurable subset of A is either of measure 0 or else has the same measure as A. A measure space X is said to be atomless if it has no atoms and a measure is atomless if its support has no atom.Next, we present a result of [57] 30 that establishes equivalence between the IVP of a measure space and the atomless property of the measure.
Theorem 7 (Hahn-Rosenthal).A measure space has the strong IVP if and only if it is atom free.
Suppose that µ 1 , µ 2 , . . .µ n are finite atomless measures on (X, A).We denote the vector of n-measures, (µ 1 , µ 2 , . . ., µ n ) by µ.Next, we present the famous theorem of Liapounoff [71] on the range of a vector-valued measure 31 where the convexity of the range has a similar flavor to the IVT which is followed by a re-statement of an equivalence theorem from Ross [74].
(LT1) For each S ∈ A and r ∈ [0, 1] there is a measurable subset A of S such that µA = r µS.(LT2) For each S ∈ A there is a r ∈ (0, 1) and a measurable subset A of S such that µA = r µS.
and each of LT1, LT2, and LT3 is true.
Ross [74] uses the classic Bolzano's theorem in his proof and shows that convexity of the range of the vector measure follows from any of the three parts (a)-(c) in Theorem (Ross).Next, we connect the theorem of Hahn and Rosenthal [57] to Ross [74].The proof is trivial.Since the strong IVP is equivalent to part (a) of Theorem (Ross) which, in turn, is equivalent to parts (b) and (c).This completes the proof.

More on Finite-Dimensional Spaces
The classical intermediate value theorem is defined on the subsets of the real line.Section 2.3 provides different multi-dimensional extensions of the IVT where the range of the function is an ordered set (such as the real line).There is also a different class of extensions to multi-dimensional setting where the domain and the range of the function have the same dimension and this section is devoted to such class of extensions.The one-dimensional versions of the following three well-known and widely applied theorems in topology are equivalent to the classical intermediate value theorem: the Brouwer fixed point theorem, the Borsuk-Ulam theorem and the Poincaré-Miranda theorem. 32Theorem 10 (Borsuk-Ulam).Let S n = {x ∈ R n+1 : |x| = 1} denote the unit n-sphere in R n+1 and f : S n → R n be a continuous function.Then, there exists x * ∈ S n such that f (x * ) = f (−x * ).
Theorem 11 (Brouwer).Let B n = {x ∈ R n : |x| ≤ 1} denote the unit n-ball in R n and f : B n → B n be a continuous function.Then, there exists x * ∈ S n such that f (x * ) − x * = 0.The two theorems above provide a generalization of Bolzano's theorem as a fixed point theorem.There is very rich literature on generalizations of fixed point theorems, and they are very useful tools not only in economics but also in many other disciplines.A generalization more in the spirit of Bolzano's theorem is provided by Poincaré-Miranda.
where a i ∈ R ++ for all i = 1, . . ., n and f = ( f 1 , . . . ,f n ) : A → R n be a continuous function such that Then there exists x * ∈ K such that f (x * ) = 0.
There are different versions of generalization of Bolzano's theorem to higher dimensional settings (finite or infinite) in the spirit of Poincaré-Miranda's theorem; see for example [14,80], and an application of Vrahatis' result in economics presented in [81]; see Appendix A for details.Moreover, as we provide above for Bolzano's theorem, there are generalizations of Poincaré-Miranda's theorem to discontinuous correspondences; on this, see for example, Refs.[5,[82][83][84] for some recent surveys.

The IVP in Psychology and Economics
Binary relations are the basic tool in many disciplines, including mathematical psychology and mathematical economics.Continuity of a binary relation is usually imposed to enforce enough richness on the structure being investigated so that the mathematical machinery works smoothly. 33In this section, we hinge our discussion around the concept of intermediate valuedness for binary relations as practiced in the field of decision theory and mathematical psychology.In particular, the plan of this section is as follows.The first subsection provides the preliminaries.The second and the third subsection detail the IVP property as practiced in economics and measurement theory literature, respectively.

Binary Relations: Preliminaries
We begin by listing the preliminaries.Let X be a set.A subset of X × X denote a binary relation on X.We denote an element (x, y) ∈ as x y.The asymmetric part of is defined as x y if x y and y x, and its symmetric part ∼ is defined as x ∼ y if x y and y x.The inverse of is defined as x y if y x.Its asymmetric part ≺ is defined analogously and its symmetric part is ∼.A binary relation on X is complete if x y or y x ∀x, y ∈ X, and transitive if x y z ⇒ x z, ∀x, y, z ∈ X.We call a subset A of X bounded by if for all x, y ∈ A there exists a, b ∈ X such that a x, y and x, y b.A relation is weakly monotonic if for all x, y ∈ X, x > y implies 34 x y.A relation on a set X is order dense if x y implies that there exists z ∈ X such that x z y.Now, let X be endowed with a topology.A binary relation on X is continuous if for any x ∈ X, the sets A (x) = {y ∈ X|y x} and A (x) = {y ∈ X|y x} are closed.Moreover, is graph continuous if it has a closed graph.A relation on a convex subset X of R n is separately continuous if the restriction of the relation on any line parallel to a coordinate axis is continuous and linearly continuous if its restriction to any straight line in X is continuous.
Next, we provide continuity assumptions on binary relations that are defined on a mixture set.A topological structure is absent in a mixture set and hence topological properties of a binary relation are defined by using the topology on the unit interval.A binary relation on a mixture set S is mixture continuous if for any x, y, z ∈ X, the sets {λ ∈ [0, 1]|xλy z} and {λ ∈ [0, 1]|xλy z} are closed (in [0, 1]).Finally, a binary relation defined on a mixture set S is Archimedean if x, y, z ∈ X, x y implies that there exist λ, δ ∈ (0, 1) such that xλz y and x yδz.

IVP for Binary Relations
In his pioneering work, Wold [45] develops consumer theory and provides a result on numerical representation of binary relations by a continuous function 35 based on the following continuity assumption.

Definition 7.
A binary relation on a subset X of R n is Wold-continuous if it is order dense and x z y implies that any curve joining x to y meets the indifference class of z.
In a subsequent work, Wold and Jureen [46] use the following weaker continuity assumption.Definition 8.A binary relation on a subset X of R n is weakly Wold-continuous if it is order dense and x z y implies that the straight line joining x to y meets the indifference class of z. 36   This weaker continuity assumption is first used in decision theory independently by Nash [87] and Marschak [29] who provide complete axiomatization of the expected utility theory initiated by von Neumann and Morgenstern [88]. 37This continuity assumption has become one of the standard assumptions in decision theory and mathematical psychology.
Comparing Definitions 2 and 3 with Definitions 7 and 8, respectively, shows that weak Wold-continuity has the essence of the IVP and Wold continuity has the essence of strong IVP in the context of a binary relation.Motivated by this observation, we provide a definitions of the strong IVP and IVP for binary relations that are analogous to their counterparts for functions.Definition 9. Let X be a non-empty topological space.A binary relation on X has the strong IVP if for all x, y, z ∈ X with x y z and all curves C xy connecting x and z, there exists c ∈ C xy such that c ∼ y.
Next, we introduce a weak version of the IVP for binary relations defined on a mixture set which replaces curves connecting two points by the mixtures of the two points.Definition 10.Let X be a non-empty mixture set.A binary relation on X has the IVP if for all x, y, z ∈ X with x y z, there exists λ ∈ [0, 1] such that xλz ∼ y.
Next, we present an intermediate value theorem for a complete and transitive binary relation defined on a connected set-it implies that the continuity postulate characterized by the IVP is implied by the continuity of the relation.

Proposition 5.
Let X be a non-empty and connected topological space.Every complete, transitive and continuous binary relation on X has the strong IVP.
The following result presents an intermediate value theorem for a complete and transitive binary relation defined on a mixture set.Proposition 6.Let X be a non-empty mixture set.Every complete, transitive and mixture continuous binary relation on X has the IVP.
Note that a convex set in a topological vector space is connected and it is not difficult to show that in the context of a topological vector space, a continuous binary relation is mixture continuous; see [20] for details.Therefore, the following result follows from the two propositions above.
Corollary 2. Let X be a non-empty convex subset of a topological vector space.Every complete, transitive and continuous binary relation on X has the strong IVP.

A Restricted IVP in Measurement Theory
In this subsection, we interpret the restricted solvability axiom in the measurement theory literature as a restricted version of the IVP.The usage of this axiom can be traced back to [33,34] with its full consequences for representation theory brought out in Krantz, Luce, Suppes, and Tversky [35]. 38 Let X 1 , X 2 . . .X n be n non-empty sets where n ∈ N, n ≥ 2. We denote an element in X by x = (x 1 , x 2 , . . ., x n ), where x i ∈ X i , for all 1 ≤ i ≤ n, For any x ∈ X, x −i denotes the element (x 1 , . . ., x i−1 , x i+1 , . . ., x n ) and (x i , x −i ) denotes x.Definition 11.A relation on a subset A of X = ∏ n i=1 X i satisfies restricted solvability with respect to the ith component if for any x, y ∈ A and any (a i , When this holds for all i ∈ {1, . . ., n}, the binary relation is said to satisfy restricted solvability.
The following two examples illustrate the definition above.
For any given 2n − 1 out of the 2n variables, there exists a value for the 2n-th variable such that the indifference of the binary relation is met.It is easy to verify that Example 1 satisfies restricted solvability for all the components.For any i ∈ {1, . . ., n}, y 1 + . . .
Restricted solvability with respect to the ith component is analogous to the IVP of a binary relation restricted to the ith component while keeping all other components fixed.Hence, we can interpret the restricted solvability as a restricted IVP for binary relations.The following result directly follows from Definitions 10 and 11, and shows that the IVP implies restricted solvability (restricted IVP).Proposition 7. If a binary relation satisfies the IVP, then it satisfies restricted solvability.

The Principal Results
In this section, we provide new results on the relationship among different continuity postulates.The first subsection concerns equivalence results on functions under weak monotonicity or quasi-concavity, or quasi-convexity assumptions.These results not only provide converse of the IVT, but also provide equivalences of various well-known continuity assumptions on functions.In the second subsection, we provide equivalence theorems for binary relations.Most of these equivalences on binary relations are already presented in authors' recent work.In this subsection, we observe that the IVP (with added order denseness) is analogous to weak Wold-continuity and include the IVP (and strong IVP) in the equivalences.The novelty of these theorems lies in obtaining results that go beyond forging connections that were not brought into salience, hitherto; they give a new perspective on the continuity property. 39

Equivalence Theorems for Functions
For a function on a finite-dimensional Euclidean space, many versions of continuity have been provided: (joint) continuity, linear continuity and separate continuity, in addition to the IVP.A real valued function is linearly continuous if it is continuous on any arbitrary straight line in its domain and it is separately continuous if it is continuous on any straight line in its domain that is parallel to a coordinate axis.The distinction between continuity and separate continuity in each individual variable is to be sure a staple of the first course in real analysis, but linear continuity is perhaps less a part of the vernacular, at least in so far it is current in economics curriculum; see Ciesielski and Miller [92] for a detailed discussion on these different continuity postulates.It follows from their definitions that continuity implies linear continuity, and linear continuity implies separate continuity.Genocchi and Peano [93] (pp.173-174) provide examples showing that the converse relationships are false. 40There are partial results showing that converse relationships hold under additional assumptions on functions.On this, Kruse and Deely [94] and Young [95] show that for the class of functions satisfying a weak monotonicity assumption, continuity, separate continuity and linear continuity are equivalent.Similarly, Uyanik and Khan [20] show that for the class of quasi-concave, or quasi-convex, functions, linear continuity is equivalent to continuity. 41 In this section, we carry this direction forward and provide equivalence theorems among continuity postulates for functions under quasi-concavity, or quasi-convexity or weak monotonicity assumptions.These postulates include, in addition to the three continuity postulates above, the strong IVT, the IVP and the restricted solvability concept for functions that is analogous to Definition 11 for restricted solvability of binary relations.Definition 12. Let f be a real-valued function defined on X ⊆ R n .We say f satisfies restricted solvability with respect to the ith component if for any k ∈ R, (a i , y When this holds for all n-components, the function f is said to satisfy restricted solvability.
Next, we present a result on the relationship between different continuity assumptions on functions.Proposition 8. Let X ⊆ R n be a convex set and f : X → R be a function.Then, the following relationships among the continuity postulates are true: (a) continuity ⇒ linear continuity ⇒ IVP ⇒ restricted solvability, (b) linear continuity ⇒ separate continuity ⇒ restricted solvability, (c) continuity ⇒ strong IVP ⇒ IVP ⇒ weak IVP.Now, we provide two theorems on the equivalence among various continuity postulates on functions under quasi-concavity, or quasi-convexity, or weak monotonicity assumptions.

Theorem 13 (Portmanteau A).
Let f be a quasi-concave (or quasi-convex) real-valued function on a convex subset X of R n that is either open or a polyhedron. 42Then, the following continuity postulates are equivalent: continuity, linear continuity, strong IVP and IVP.Theorem 14 (Portmanteau B).Let f be a weakly monotone 43 real-valued function on a convex subset X of R n that is bounded by the usual binary relation ≥.Then on intX, 44 , the following continuity postulates are equivalent: continuity, linearly continuity, separate continuity, restricted solvability, strong IVP and IVP.
The proposition and the two theorems in this subsection not only provide converses of the IVT on multi-dimensional spaces, but also provide portmanteau equivalence results among various continuity postulates for functions defined on subsets of product spaces.Figure 1 illustrates these relationships.We end this section by illustrating an example showing that the weak IVP provided in Definition 4 does not imply any of the continuity assumptions in Figure 1 even under weak monotonicity and quasi-concavity assumptions.
Example 3. Let X = [0, 1] 2 and f : X → R defined as follows: f (x) = x 1 for all x such that x 2 = 0, and f (x 1 , 0) = 0 if x 1 < 1 and f (1, 0) = 1.It is easy to observe that f is quasi-concave and weakly monotone, satisfies the weak IVP, but it is discontinuous.By the two equivalence theorems above, this function does not satisfy any of the continuity assumptions in Figure 1 except the weak IVP.

Equivalence Theorems for Binary Relations
In this subsection, we present a proposition and two equivalence theorems that establish relationships among various continuity postulates, the solvability axiom and IVP for a binary relation under minimal assumptions.These extend the results of Uyanik and Khan [20] and Ghosh, Khan, and Uyanik [21] by integrating the IVP with continuity postulates, which is one of the novel contributions of this survey. 45The proposition provides the relationships without imposing additional assumptions on the binary relation.The first equivalence theorem presents additional relationships forming equivalences for convex binary relations, the second equivalence theorem shows that additional relationships and equivalences are formed under weak monotonicity assumption.Theorem 15 (Portmanteau C).Let be a complete, transitive, order dense and convex binary relation on X ⊆ R n that is either open or a polyhedron.Then the following continuity postulates are equivalent: graph continuity, continuity, mixture continuity, linear continuity, Archimedean, Wold-continuity, weak Wold-continuity, strong IVP and IVP.
We require the weak monotonicity assumption to establish equivalence between restricted solvability, separate continuity and continuity assumptions. 46The following theorem shows that under the weak monotonicity assumption, all continuity postulates for a complete and transitive binary relation we present in this paper are equivalent on a large class of subsets of R n .
Theorem 16 (Portmanteau D).Let be a complete, transitive, order dense and weakly monotonic binary relation on convex set X ⊆ R n that is bounded by the usual relation ≥ on R n .Then on intX, the following continuity postulates are equivalent: graph continuity, continuity, mixture continuity, linear continuity, Archimedean, Wold-continuity, weak Wold-continuity, strong IVP, IVP, restricted solvability and separate continuity.
The proposition and the two theorems in this subsection are presented in Uyanik and Khan [20] and Ghosh, Khan, and Uyanik [21] except the relationships concerning the IVP and the strong IVP.Proposition 9 establishes the equivalence of the IVP and weak Wold continuity, as well as the strong IVP and Wold continuity.Therefore, the proofs of Theorems 15 and 16 follow from the two earlier work of the authors and Proposition 9.

Proofs of the Results
Proof of Proposition 1. Assume a function f : X → Y satisfies the continuity property provided in the theorem but fails the IVP.Then, there exists x, y ∈ X and c ∈ Y lying between f (x) and f (y) such that for all λ ∈ [0, Proof of Proposition 8. Let X be a convex subset of R n and f : X → R a function.
(a) The statement that continuity implies linear continuity, and that IVP implies restricted solvability follow from their definitions.Next, we show that linear continuity implies Proof of Theorem 13.Let X be a convex subset of R n that is either open or polyhedron and f : X → R a quasi-concave function.Proposition 8 provides one-directional relationships.Uyanik and Khan [20] (Theorem 1) shows that linear continuity implies continuity.Hence, it remains to show that IVP implies linear continuity to complete the proof.Assume f satisfies IVP but fails linear continuity.Then, there exists a straight line L in X such that the restriction of f on L is not continuous.Since f is continuous on L if and only if it is both upper and lower semicontinuous on L, the restriction of f on L fails upper or lower semicontinuity.
First, assume the restriction of f on L is not upper semicontinuous.Then, there exist x, y ∈ L, c ∈ R and a convergent sequence for some k, m, then quasi-concavity of f implies that f (xλy) ≥ c.Therefore, either λ n > λ for all n or λ n < λ for all n.Assume without loss of generality that λ n > λ for all n.Then, quasi-convexity of f and λ k → λ imply that f (xλ y) ≥ c for all λ ∈ (λ, λ 1 ].Next, we show that there exists λ ∈ (λ, λ 1 ] such that c = f (x λy).If f (xλ y) > c for some λ ∈ (λ, λ 1 ], then c > f (xλy) and weak IVP imply that there exists δ ∈ (0, 1) such that c = f ((xλ y)δ(xλy)) = f (x(δλ + (1 − δ)λ)y).Otherwise, f (xλ y) = c for all λ ∈ (λ, λ 1 ].Now, it follows from weak IVP of f , and f (x λy) = c > f (xλy) that there exists λ ∈ (λ, λ) such that f (x λy) > f (x λy) > f (xλy).Then, c = f (x λy) > f (x λy) imply that c > f (x λy).Then, λ ∈ (λ, λ 1 ] contradicts quasiconcavity of f .Second, assume the restriction of f on L is not lower semicontinuous.Then, there exist x, y ∈ X, c ∈ R and a convergent sequence λ k → λ such that c ≥ f (xλ k y) for all k and f (xλy) > c.Assume without loss of generality that there exists a subsequence λ k i of λ k such that λ k i > λ for all i = 1, 2, . ... Next, we show that there exists λ ∈ (λ, Then, it follows from weak IVP of f and f (xλy) > c = f (x λy) that there exists λ ∈ (λ, λ) such that f (xλy) > f (x λy) > f (x λy).Then, c = f (x λy) < f (x λy) implies that c < f (x λy).Moreover, quasi-concavity of f implies that for all Proof of Theorem 14.Let X be a convex subset of R n that is bounded by the usual relation in R n , and f : X → R a weakly monotone function.Proposition 8 provides one-directional relationships.Young [95] and Kruse and Deely [94] show that separate continuity implies continuity.Hence, showing that restricted solvability implies separate continuity completes the proof. 47Assume f satisfies restricted solvability but fails separate continuity.Then, there exists a straight line L i in X that is parallel to a coordinate axis i such that the restriction of f on L i is not continuous.Since f is continuous on L i if and only if it is both upper and lower semicontinuous on L i , the restriction of f on L i fails upper or lower semicontinuity.
First, assume the restriction of f on L i is not upper semicontinuous.Then, there exist y ∈ L i , c ∈ R and a convergent sequence y k → y on the line L i such that f (y k ) ≥ c for all k and f (y) < c.Then, it follows from weak monotonicity of f and y k , y ∈ L i that y k i > y i for all k.Pick m ∈ N. Since f (y) < c ≤ f (y m ), there exists c < c such that f (y) < c < f (y m ), and hence restricted solvability implies there exists z ∈ L i such that f (z) = c .It follows from weak monotonicity that y i < z i < y m i .Then, for all z i ∈ (y i , z i ], f (z i , z −i ) ≤ c < c.Since y k → y, there exists z i ∈ (y i , z i ], such that z i = y k i for some k and f (z i , z −i ) ≥ c.This yields a contradiction.An analogous argument show that the failure of the restriction of f on L i being lower semicontinuous yields a contradiction.
Proof of Proposition 9. First, note that a careful investigation of the definitions of weak Wold continuity and the IVP shows that weak Wold continuity is equivalent to the IVP and order denseness.Analogously, Wold continuity is equivalent to the strong IVP and order denseness.Moreover, a similar investigation shows that the IVP implies restricted solvability.Next, we show that IVP implies Archimedean property.Towards this end, assume satisfies the IVP but does not satisfy the Archimedean property.Then, there exists x, y, z ∈ X such that x y but for all λ ∈ (0, 1), xλz y (the proof of the case where x yλz is analogous).By completeness, y xλz.Pick λ ∈ (0, 1).If y xλz, then x y xλz and the IVP imply there exist δ ∈ (0, 1) such that y ∼ xδz.If y ∼ xλz, then set δ = λ.Then, by transitivity, x xδz.By order denseness, there exists γ ∈ (0, 1) such that x xγz xδz ∼ y.By transitivity, xγz y.This furnishes us a contradiction with the assumption that for all λ ∈ (0, 1), xλ z y.
All the remaining relationships are proved in [20,21].

Conclusions
The perceptive reader may have already noted that the entire investigation hinged on the binary relation being a weak order (complete and transitive).In 1956, Duncan Luce questioned the notion of an indifference curve and noted that "this assumption is contrary to experience and that utility is not perfectly discriminable, as such a theory necessitates".He then presented a theory that admits intransitive indifferences by proposing semiorders: a "class that can be shown to be substantially equivalent to a utility theory in which there are just noticeable difference functions which state for any value of utility the change in utility so that the change is just noticeable".We recall the setup of Luce [109] for the convenience of our readers: in what follows, X is a set and P and I two binary relations defined over X.
Theorem 17 (Luce).(P, I) is a semiorder if and only if P is transitive and ( , ∼) is a weak order, the latter defined as being induced on X by a given relation (P, I) as follows: (i) a b if either (a) aPb, (b) aIb and there exists c ∈ X such that aIc and cPb, or (c) aIb and there exists d ∈ X such that aPd and dIb, (ii) If neither a b nor b a, then a ∼ b.
Luce's theory has by now attained substantial maturity, and a distinguished following.In Giarlotta and Watson [110], for example, we read: The concept of semiorder originally appeared in 1914-albeit under a different name-in the work of Fishburn and Monjardet (1992) and Wiener (1914).Nowadays, a semiorder is equivalently defined as either a reflexive and complete relation that is Ferrers and semitransitive (sometimes called a weak semiorder), or an asymmetric relation that is Ferrers and semitransitive (sometimes called a strict semiorder). 48  The first open direction of work that we want to single out is whether, and how, the consolidated theory of equivalences between continuity, solvability and intermediate valuedness presented in this paper carries over to a semiorder.
The second direction for further investigation that we single out, and this time from the side of economics, revolves around the notion of a bi-preference.This has recently been given increased life and attention in the work of Giarlotta and his followers: in addition to [28,[112][113][114].However, the point worth noting is that this recent emphasis notwithstanding, bi-preferences entered mathematical economics not only with Sen, Marglin and Feldstein in their Kantian distinctions between the personal and the public preferences, 49  but also more directly with the monotonicity assumption in both Walrasian and Cournot-Nash equilibrium theory, as well as in decision theory.The point emphasized in the bi-preference literature relates to an investigation of conditions under which properties of a hard relation imply corresponding properties of a soft relation.This is precisely what is being accomplished by the monotonicity postulate, and so, the open question is whether, and how, the consolidated theory presented in this paper carries over to the setting of bi-preferences.
We conclude as we began, by referring to IVT and IVP for functions and bring to the attention of the reader the the converse of Poincaré-Miranda theorem, or similar extensions of the IVT, for functions mapped from a subset of finite dimensional space to the space itself still remain open.on the following result from [127], which is another generalized form of the intermediate value theorem. 56  Theorem A2 (Rockafellar).Let X be a reflexive Banach space over R with X * denoting the dual of X and let M : X → X * be a maximal monotone operator.Suppose that there exists a subset B ⊂ X such that 0 ∈ int(conv(M(B))).Then there exists an x ∈ X such that 0 ∈ M(x).
Moving on to game theory, IVT and its generalizations have been used to prove existence theorems for equilibrium in two-person games.Refs.[64,66] apply their theorems (presented above under their own names) to provide existence of an equilibrium in two-person games.Furthermore, and staying with the question of the existence of equilibrium in two-person games, Amir and DeCastro [67] generalize the result of Milgrom and Roberts [62] on the IVT 57 and apply it.Ref.
[62] apply a theorem, also due to [63] and themselves, that we cite above so as to provide comparative statics analyses and robustness checks of models in economic theory.
In a turn towards further application of game-theoretic methods, Milgrom and Mollner [81] use the generalized IVT due to Vrahatis [80] to prove an important step of their main result on equilibrium selection in games with an emphasis on auctions.Note that the version of the IVT that they use is of the same flavor as the Poincaré-Miranda theorem with identical dimension of the domain and the range of the function that is involved.To be sure, there are many other applications using this type of generalized versions of the IVT.
Finally, we note for the reader that the turn towards the IVP and the IVT in recent economic theory is not limited to models of economic dynamics, or to situations emphasizing generalized interaction in economies and games.In this connection, in ongoing work, ref. [130] present an IVT for correspondences and use it to derive comparative-static results in the partial equilibrium theory of consumer demand.For an another IVT for a correspondence, see [124]: this is of interest in that Wald transfers an acceptable individual assumption for the economy as a whole, and thereby fuses partial and general equilibrium analysis.

Notes
1 See the concluding paragraph on page 120 in Grabiner [1].The last sentence of the epigraph is taken from the third full paragraph on page 111 in the same reference.This is an important historical reference on the IVT that goes into the similarity and the dissimilarity of the investigations of Bolzano and Cauchy, after subscribing to Lagrange's influence on both. 2 See Grabiner [2] (p.355).She asks whether "mathematical truth is time-dependent [and highlights] how 19th-century mathematicians looked at 18th-century approximations as a construction of the solution, and therefore as a proof of its existence".It explicitly mentions Cauchy's proof of the IVT in this connection; see pages 361-362.As Barany [6] notes: "Today the intermediate value theorem [IVT] is one of the first theorems about functions that advanced undergraduates learn in courses on mathematical analysis.These courses in turn are often the first places such students are comprehensively taught the methods of rigorous proof at the heart of contemporary mathematics".5 See Barany [6] referring to Grabiner [7].Barany [8] had already read Cauchy's introduction to his Cours d'analyse as a "rich snapshot of a scholarly paradigm in transition, a prefatory drama that attempts to rework the ground of an entire discipline": a drama in three acts and three paragraphs.The engine of this interesting reading is the double meaning and the evolution of the terms geometry and algebra as they play out in (i) curricular developments reflecting theory and practice, (ii) the role of algebra within mathematics, and (ii) the epistemological positioning of mathematics in systems of knowledge.The phrasing of the result in the geometric register as the intersection of two lines as opposed to the existence and computation of the root of an equation in an algebraic one; see Footnote 16 in [8] and the text it footnotes.He writes, "The crucial distinction between geometry and algebra, for Cauchy, signified far more than the contrast between unguarded formalism and rigorous foundations.The difference comes from the double meaning, dating to the early Moderns, of the two terms".Also see [7].In addition to Cauchy's two proofs, it has also been well-noted that he used infinitesimally small quantities in his definition of continuity, and thereby can be seen as one of the worthy precursors of Abraham Robinson's nonstandard analysis; see [9] and Footnotes 12 and 4 in [6,8], respectively.Also see Note 7 below.As emphasized to the authors by David Ross, one can prove results of the form "if f satisfies the IVP and some property P, then f is continuous".P, for example, can be " f −1 (x) is closed for every x in a dense set" or " f is injective".Ross adds that "These results allow pretty, natural, and practically trivial nonstandard proofs".The first conditions was first discovered by [10]; on this see also [11,12].We are grateful to David Ross for bringing these references to our attention.See [5,13,14], and the investigation of algorithmic and computational properties of fixed point theorems, as, for example, in [15].9 To wit, the "hiddenness" of completeness when non-degeneracy, transitivity and continuity is assumed; or that of full transitivity when non-degeneracy, partial transitivity and continuity is assumed, all in the setting of topological connectedness.It is this connection that is made transparent in [18].In this connection, also see Preface and the opening sections of [19].For details as to the counterexamples, and a fuller discussion of the subtleties involved, see [20], and also its follow-up in [21].

11
As detailed in [18,22] is a crucial complementary input to this point of view, and by now a comprehensive overview, pertaining not only to his original contribution, but also for bi-preferences and hybrid structures inspired by [23], is well-documented in the literature; see [18,[24][25][26][27][28] and their references.
12 See [31,32] for comprehensive investigation of the independence assumption in the von Neumann's expected utility theorem.13 The papers of [29,30] sighted above are surely relevant here.This viewpoint can also be discerned in the recent survey of Moscati (2016) on the one hand, and that expressed in the survey of Karni, Maccheroni, and Marinacci (2015) on the other.It goes quite a way back to Krantz-Luce-Suppes-Tversky [35] and their followers.Please see [21,[37][38][39][40][41][42] for an overview of the literature.15 We refer the curious reader to Figures 1 and 2 to get a sense of this overview.
16 See [43], and a topological elaboration of some of Sen's non-topological results in [18].As to alternative phrasing and incorporation of the IVT where one would not always expect it, see [19,44].Lax's alternative formulation of the result is especially illuminating for the ideas pursued in this paper.17 As the authors have emphasized in [20] and in [21,45,46] can also be seen as independent initiators of what is now termed by Khan-Uyanik as the Eilenberg-Sonnenschein research program.This is already apparent to a careful reader if he or she compares the proof in [47,48], on the one hand, and that in [30] on the other.Nash sees his second proof as a "considerable improvement" over his first, something that can also be related to Cauchy's proofs of the IVT as highlighted in [6,8], and also referred to in Note 6. 19 See Theorem 1 of Chapter 2 of [49].The application highlighted the importance of what are now referred to as the Inada conditions, and also of the importance of the assumption that the marginal productivity of capital goes to zero as capital becomes arbitrarily large.20 See Chapter 4 titled "The state of steady economic growth".As such, Meade's analysis has a resonance with the discussion of Bolzano and Cauchy in [1]; also see Note 6 on the quarrel between geometry and analysis.21 See Chapter 2 in [50].Whereas the Arrow-Hahn demonstration went against the grain of the self-congratulatory equivalence between the GND lemma and the Brouwer fixed point theorem, its primary importance lies in looking beyond the work of the fifties towards constructive proofs and speeds of convergence.The pioneering papers of [30,48,51,52] all applied tailor-made fixed-point theorems of Brouwer, Kakutani and Eilenberg-Montgomery to prove existence theorems in Walrasian competitive analysis and Cournot-Nash non-cooperative game theory.It was clearly understood by [53] that the Gale-Nikaido-Debreu lemma forms one possible underpinning of the very notion of a Walrasian equilibrium; see [54] and its references for a discussion of the Gale-Nikaido-Debreu lemma, as well as [55] for a reception of Uzawa's result in Walrasian theory, and [56] for a narrative of the history of the problematic.Also see Note 54 below.22 As conceptualized by [57], and later advanced by [58].23 In this connection we may point out that while the basic observation is already implicit in the raw and primitive Bolzano-Cauchy version of the IVP furnished above, the interval is not rich enough to provide a further and fuller elaboration.An execution of this observation for functions with a finite-dimensional Euclidean domain and one-dimensional range admitting of a veritable diversity of continuity assumptions is provided in Section 4.1.The execution of this observation for generalizations of Bolzano's theorem to higher dimensional settings (finite or infinite) in the spirit of Poincaré-Miranda's theorem is still an open problem.24 See the importance, and the priority of Otto Holder in [40].Also see some relevant references in Note 11.

25
The following convention is being maintained throughout the paper: none of the named theorems are new and all of the lettered theorems and numbered propositions are original.26 These definitions are provided in Wu [64] and are weaker directional versions of the usual upper and lower semicontinuity of correspondences; see for example Debreu [65] (p.17).

27
When X is Hausdorff, it follows from [0, 1] being compact and m([0, 1]) being Hausdorff that m is a homeomorphism between [0, 1] and m([0, 1]).Hence, these two spaces are homeomorphic; see for example Willard [68] (Theorem 17.14, p. 123).28 It is clear that an equivalent definition can be provided by replacing U, V with closed sets.29 In deference to Herstein-Milnor [23], lower case Greek letters consistently denote real numbers in [0, 1].30 See Chapter (1; p. 51).Note 21 above.Note that the essentials of Chapter 2 of Arrow-Hahn were already available in Arrow's Northwestern Lectures given in July 1962; see [125].55 See [126] and her references for further details on recursive equilibria in economics.Moreover, the IVT-like theorems of [128,129] are special cases.

Definition 4 .
Let X be a non-empty set and Y a non-empty ordered set.A function f : X → Y has the weak IVP if for all a, b ∈ X and r ∈ Y lying between f (a) and f (b), there exists c ∈ X such that f (c) = r.

Proposition 4 .
For n = 1, each of the three parts (a)-(c) in Theorem (Ross) are equivalent to the strong IVP of a measure space.

Figure 1 .
Figure 1.A pictorial representation of Proposition 8, and Theorems 13 and 14 connecting continuity postulates for a function.

Proposition 9 .
Let be a complete and transitive binary relation on a convex set in R n .Then, the following relationships among the continuity postulates hold.(a) Graph continuity ⇔ continuity ⇒ linear continuity ⇔ mixture continuity ⇒ Archimedean and separate continuity and weak Wold continuity and IVP (b) Continuity ⇒ Wold-continuity ⇔ strong IVP and order denseness ⇒ weak Wold-continuity ⇔ IVP and order denseness ⇒ Archimedean (c) Separate continuity or IVP ⇒ restricted solvability Next, we present the first equivalence theorem for convex binary relations.

Figure 2
illustrates the relationship among different continuity postulates.

Figure 2 .
Figure 2. A pictorial representation of Proposition 9, and Theorems 15 and 16 connecting continuity postulates for a binary relation.

Proof of Proposition 6 .
1], f (xλy) = c.By the argument in Munkres [70] (p.86), the sets Y (c) = {a ∈ Y : a c} and Y ≺ (c) = {a ∈ Y : c a} are open in Y.By the continuity assumption on f , {λ ∈ [0, 1] : f (xλy) ∈ Y (c)} and {λ ∈ [0, 1] : f (xλy) ∈ Y ≺ (c)} are open in [0, 1].Since is transitive, these two sets are disjoint.By assumption that f (xλy) = c for all λ ∈ [0, 1] and c lies between f (x) and f (y), these two sets are disjoint.This contradicts the connectedness of [0, 1].Therefore, f satisfies the IVP.Proof of Proposition 2. Assume a function f : X → Y continuous but fails the strong IVP.Then, there exists x, y ∈ X, a curve C xy connecting x and y, and c ∈ Y lying between f (x) and f (y) such that for all z ∈ C xy , f (z) = c.By the argument in Munkres [70] (p.86), the sets Y (c) = {a ∈ Y : a c} and Y ≺ (c) = {a ∈ Y : c a} are open in Y.By the continuity of f , {z ∈ C xy : f (z) ∈ Y (c)} and {z ∈ C xy : f (z) ∈ Y ≺ (c)} are open in C xy .Since is transitive, these two sets are disjoint.By assumption that f (z) = c for all z ∈ C xy and c lies between f (x) and f (y), these two sets are disjoint.This contradicts the connectedness of C xy .Therefore, f satisfies the strong IVP.Proof of Proposition 5. Assume is continuous but does not satisfy the strong IVP.Then, there exists x, y, z ∈ X with x y z and a curve C connecting x and z (which is induced by a continuous and injective function m xz : [0, 1] → X) such that for all c ∈ C, y c or c y. Since [0, 1] is connected and m xz is continuous, the curve C induced by m xz is a connected subset of X. Define C (y) = {y ∈ C|y y} and C (y) = {y ∈ C|y y }.Since is complete and continuous, C (y) and C (y) are closed and covers C. Since x y z, C (y) and C (y) are non-empty.Finally, since is transitive (which implies is transitive), C (y) and C (y) are disjoint.This contradicts connectedness of C. Therefore, satisfy the strong IVP.Assume is mixture continuous but does not satisfy the IVP.Then, there exists x, y, z ∈ X with x y z such that for all λ ∈ [0, 1], xλz y or y xλz.Note that [0, 1] is connected.It follows from completeness and mixture continuity of that, the sets L (y) = {λ ∈ [0, 1]|xλz y} and L (y) = {λ ∈ [0, 1]|y xλz} are closed and covers [0, 1].Since x y z, L (y) and L (y) are non-empty.It follows from transitivity of (which implies is transitive) that L (y) and L (y) are disjoint.This contradicts connectedness of [0, 1].Therefore, satisfy the IVP.
linearly continuous, it is continuous on the straight line segment L xy connecting x and y.Consider the following sets: f −1 (c, ∞) ∩ L xy and f −1 (−∞, c) ∩ L xy .These sets are non-empty, disjoint and open in L xy .If there is no z ∈ L xy such that f (z) = c, these two sets is an open covering of L xy .Since L xy is a connected set, this furnishes us a contradiction.Therefore, f satisfies the IVP.(b) The argument that linear continuity implies separate continuity follows from their definitions.Next, we show that separate continuity implies restricted solvability.Separate continuity implies that f is continuous in any line parallel to any coordinate axis, and restricted solvability is implied by the fact that IVP holds on any given index.Hence, Theorem 2 completes the proof.(c) The strong IVP implies the IVP, and the IVP implies the weak IVP follow from their definitions.It remains to prove that continuity implies the strong IVP.Pick x, y ∈ X, a curve C xy connecting x and y and c ∈ R such that f (x) < c < f (y).Consider the following sets: f −1 (c, ∞) ∩ C xy and f −1 (−∞, c) ∩ C xy .These sets are non-empty, disjoint and open in C xy .If there is no z ∈ C xy such that f (z) = c, these two sets are an open covering of C xy .Since a curve is a connected set, this furnishes us a contradiction.Therefore, f satisfies the strong IVP.

3 See Grabiner [ 1 ]
(p. 114), and for the precise reference to Lagrange's text, see her Footnote 54.Cauchy's interventions in the discourse of mathematics bears an obvious parallel to the interventions of Gerard Debreu in the discourse of economic theory, a parallel surely worth further investigation.