Research Article A Constructive Analysis of Convex-Valued Demand Correspondence for Weakly Uniformly Rotund and Monotonic Preference

Similar documents
Constructive Proof of the Fan-Glicksberg Fixed Point Theorem for Sequentially Locally Non-constant Multi-functions in a Locally Convex Space

A constructive analysis of convex-valued demand correspondence for weakly uniformly rotund and monotonic preference

The Arrow Impossibility Theorem Of Social Choice Theory In An Infinite Society And Limited Principle Of Omniscience

Research Article Convergence Theorems for Infinite Family of Multivalued Quasi-Nonexpansive Mappings in Uniformly Convex Banach Spaces

Research Article Remarks on Asymptotic Centers and Fixed Points

Research Article Iterative Approximation of Common Fixed Points of Two Nonself Asymptotically Nonexpansive Mappings

Research Article Generalized Mann Iterations for Approximating Fixed Points of a Family of Hemicontractions

Research Article The Existence of Fixed Points for Nonlinear Contractive Maps in Metric Spaces with w-distances

Research Article Solvability of a Class of Integral Inclusions

Research Article Hybrid Algorithm of Fixed Point for Weak Relatively Nonexpansive Multivalued Mappings and Applications

Research Article Another Aspect of Triangle Inequality

Research Article Strong Convergence of a Projected Gradient Method

Research Article Cyclic Iterative Method for Strictly Pseudononspreading in Hilbert Space

Research Article A Characterization of E-Benson Proper Efficiency via Nonlinear Scalarization in Vector Optimization

Research Article Existence and Duality of Generalized ε-vector Equilibrium Problems

Research Article On Multivalued Nonexpansive Mappings in R-Trees

Research Article Modulus of Convexity, the Coeffcient R 1,X, and Normal Structure in Banach Spaces

Research Article Some New Fixed-Point Theorems for a (ψ, φ)-pair Meir-Keeler-Type Set-Valued Contraction Map in Complete Metric Spaces

Research Article Fixed Point Theorems in Cone Banach Spaces

Research Article The (D) Property in Banach Spaces

Research Article Some Generalizations of Fixed Point Results for Multivalued Contraction Mappings

Research Article On Decomposable Measures Induced by Metrics

Strong convergence theorems for total quasi-ϕasymptotically

Research Article Solving the Matrix Nearness Problem in the Maximum Norm by Applying a Projection and Contraction Method

Research Article An Inverse Eigenvalue Problem for Jacobi Matrices

Research Article Circle-Uniqueness of Pythagorean Orthogonality in Normed Linear Spaces

Research Article The Solution Set Characterization and Error Bound for the Extended Mixed Linear Complementarity Problem

CONSUMER DEMAND. Consumer Demand

Research Article Function Spaces with a Random Variable Exponent

On Firmness of the State Space and Positive Elements of a Banach Algebra 1

Research Article Generalized Derivations of BCC-Algebras

Research Article A New Global Optimization Algorithm for Solving Generalized Geometric Programming

Research Article Quasilinearization Technique for Φ-Laplacian Type Equations

Research Article Existence and Uniqueness of Homoclinic Solution for a Class of Nonlinear Second-Order Differential Equations

Convexity and unique minimum points

Research Article Fixed Point Theorems of Quasicontractions on Cone Metric Spaces with Banach Algebras

On the topological equivalence of the Arrow impossibility theorem and Amartya Sen s liberal paradox

Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption

Convexity and constructive infima

Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai 50200, Thailand

Caristi-type Fixed Point Theorem of Set-Valued Maps in Metric Spaces

Research Article New Oscillation Criteria for Second-Order Neutral Delay Differential Equations with Positive and Negative Coefficients

Relative Profit Maximization and Bertrand Equilibrium with Convex Cost Functions

Research Article Equivalent Extensions to Caristi-Kirk s Fixed Point Theorem, Ekeland s Variational Principle, and Takahashi s Minimization Theorem

Research Article The Solution by Iteration of a Composed K-Positive Definite Operator Equation in a Banach Space

Research Article Attracting Periodic Cycles for an Optimal Fourth-Order Nonlinear Solver

Research Article Strong Convergence of Parallel Iterative Algorithm with Mean Errors for Two Finite Families of Ćirić Quasi-Contractive Operators

Research Article Fixed Points for Multivalued Mappings and the Metric Completeness

Research Article Existence of Periodic Positive Solutions for Abstract Difference Equations

Research Article Variational-Like Inclusions and Resolvent Equations Involving Infinite Family of Set-Valued Mappings

Research Article Generalized α-ψ Contractive Type Mappings and Related Fixed Point Theorems with Applications

Research Article On λ-statistically Convergent Double Sequences of Fuzzy Numbers

Research Article Convergence Theorems for Common Fixed Points of Nonself Asymptotically Quasi-Non-Expansive Mappings

Research Article Translative Packing of Unit Squares into Squares

Research Article Cocompact Open Sets and Continuity

Research Article An Iterative Algorithm for the Split Equality and Multiple-Sets Split Equality Problem

A topological approach to Wilson s impossibility theorem

Research Article Singular Cauchy Initial Value Problem for Certain Classes of Integro-Differential Equations

On the relation between Sion s minimax theorem and existence of Nash equilibrium in asymmetric multi-players zero-sum game with only one alien

Research Article Exact Solutions of φ 4 Equation Using Lie Symmetry Approach along with the Simplest Equation and Exp-Function Methods

INEQUALITIES FOR DUAL AFFINE QUERMASSINTEGRALS

Research Article Algorithms for a System of General Variational Inequalities in Banach Spaces

Sion s minimax theorem and Nash equilibrium of symmetric multi-person zero-sum game

Research Article A New Fractional Integral Inequality with Singularity and Its Application

Research Article Implicative Ideals of BCK-Algebras Based on the Fuzzy Sets and the Theory of Falling Shadows

Research Article Domination Conditions for Families of Quasinearly Subharmonic Functions

PDF hosted at the Radboud Repository of the Radboud University Nijmegen

Research Article Product of Extended Cesàro Operator and Composition Operator from Lipschitz Space to F p, q, s Space on the Unit Ball

Research Article Solvability for a Coupled System of Fractional Integrodifferential Equations with m-point Boundary Conditions on the Half-Line

Research Article Almost Periodic Solutions of Prey-Predator Discrete Models with Delay

Research Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components

Research Article Differential Subordinations of Arithmetic and Geometric Means of Some Functionals Related to a Sector

Research Article Improved Estimators of the Mean of a Normal Distribution with a Known Coefficient of Variation

Research Article Bounds of Solutions of Integrodifferential Equations

Research Article Some Nonunique Fixed Point Theorems of

Existence of Equilibria with a Tight Marginal Pricing Rule

Strong convergence theorems for asymptotically nonexpansive nonself-mappings with applications

Research Article On the Variational Eigenvalues Which Are Not of Ljusternik-Schnirelmann Type

Research Article Soliton Solutions for the Wick-Type Stochastic KP Equation

Research Article Parametric Evaluations of the Rogers-Ramanujan Continued Fraction

Research Article Sufficient Optimality and Sensitivity Analysis of a Parameterized Min-Max Programming

Research Article A New Roper-Suffridge Extension Operator on a Reinhardt Domain

Research Article Normal and Osculating Planes of Δ-Regular Curves

Research Article On the Convergence of Implicit Picard Iterative Sequences for Strongly Pseudocontractive Mappings in Banach Spaces

Research Article Coefficient Conditions for Harmonic Close-to-Convex Functions

Research Article On Some Lacunary Almost Convergent Double Sequence Spaces and Banach Limits

Research Article Some Results on Warped Product Submanifolds of a Sasakian Manifold

Research Article Almost α-hyponormal Operators with Weyl Spectrum of Area Zero

Maximin and minimax strategies in symmetric oligopoly: Cournot and Bertrand

Research Article Least Squares Estimators for Unit Root Processes with Locally Stationary Disturbance

Research Article A Two-Grid Method for Finite Element Solutions of Nonlinear Parabolic Equations

Research Article Fixed Point Theorems for Nonlinear Contractions in Menger Spaces

Research Article Applying GG-Convex Function to Hermite-Hadamard Inequalities Involving Hadamard Fractional Integrals

Research Article The Dirichlet Problem on the Upper Half-Space

DOMAINS WHICH ARE LOCALLY UNIFORMLY LINEARLY CONVEX IN THE KOBAYASHI DISTANCE

Research Article Fuzzy Soft Multiset Theory

Note on social choice allocation in exchange economies with Cobb-Douglas preferences

Research Article Existence of Strong Coupled Fixed Points for Cyclic Coupled Ciric-Type Mappings

Research Article Identifying a Global Optimizer with Filled Function for Nonlinear Integer Programming

Research Article Bessel Equation in the Semiunbounded Interval x [x 0, ]: Solving in the Neighbourhood of an Irregular Singular Point

Transcription:

Advances in Decision Sciences Volume 2011, Article ID 960819, 7 pages doi:10.1155/2011/960819 Research Article A Constructive Analysis of Convex-Valued Demand Correspondence for Weakly Uniformly Rotund and Monotonic Preference Yasuhito Tanaka 1 and Atsuhiro Satoh 2 1 Faculty of Economics, Doshisha University, Kamigyo-ku, Kyoto 602-8580, Japan 2 Graduate School of Economics, Doshisha University, Kamigyo-ku, Kyoto 602-8580, Japan Correspondence should be addressed to Yasuhito Tanaka, yasuhito@mail.doshisha.ac.jp Received 23 December 2010; Accepted 14 February 2011 Academic Editor: Chenghu Ma Copyright q 2011 Y. Tanaka and A. Satoh. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Bridges 1992 has constructively shown the existence of continuous demand function for consumers with continuous, uniformly rotund preference relations. We extend this result to the case of multivalued demand correspondence. We consider a weakly uniformly rotund and monotonic preference relation and will show the existence of convex-valued demand correspondence with closed graph for consumers with continuous, weakly uniformly rotund and monotonic preference relations. We follow the Bishop style constructive mathematics according to Bishop and Bridges 1985, Bridges and Richman 1987, and Bridges and Vîţă 2006. 1. Introduction Bridges 1 has constructively shown the existence of continuous demand function for consumers with continuous, uniformly rotund preference relations. We extend this result to the case of multivalued demand correspondence. We consider a weakly uniformly rotund and monotonic preference relation and will show the existence of convex-valued demand correspondence with closed graph for consumers with continuous, weakly uniformly rotund and monotonic preference relations. In the next section, we summarize some preliminary results most of which were proved in 1. InSection 3, wewillshowthemainresult. We follow the Bishop style constructive mathematics according to 2 4. 2. Preliminary Results Consider a consumer who consumes N goods. N is a finite natural number larger than 1. Let X R N be his consumption set. It is a compact totally bounded and complete and convex

2 Advances in Decision Sciences set. Let Δ be an n 1-dimensional simplex and p Δ a normalized price vector of the goods. Let p i be the price of the ith good, then N i 1 p i 1andp i 0foreachi. For a given p, the budget set of the consumer is β ( p, w ) { x X : p x w }, 2.1 where w>0 is the initial endowment. A preference relation of the consumer is a binary relation on X. Letx, y X. Ifheprefersx to y, wedenotex y. A preference-indifference relation % is defined as follows; x % y, iff ( y x ), 2.2 where x y entails x % y, therelations and % are transitive, and if either x % y z or x y % z, thenx z. Alsowehave x % y iff z X ( y z x z ). 2.3 A preference relation is continuous if it is open as a subset of X X,and% is a closed subset of X X. A preference relation on X is uniformly rotund if for each ε there exists a δ ε with the following property. Definition 2.1 uniformly rotund preference. Letε>0, x,andy points of X such that x y ε,andz a point of R N such that z δ ε, then either 1/2 x y z x or 1/2 x y z y. Strict convexity of preference is defined as follows. Definition 2.2 strict convexity of preference. Ifx, y X, x / y, and0<t<1, then either tx 1 t y x or tx 1 t y y. Bridges 5 has shown that if a preference relation is uniformly rotund, then it is strictly convex. On the other hand, convexity of preference is defined as follows. Definition 2.3 convexity of preference. Ifx, y X, x / y, and0<t<1, then either tx 1 t y % x or tx 1 t y % y. We define the following weaker version of uniform rotundity. Definition 2.4 weakly uniformly rotund preference. Letε>0, x and y points of X such that x y ε.letz be a point of R N such that z δ for δ>0andz 0 every component of z is positive, then 1/2 x y z x or 1/2 x y z y. We assume also that consumers preferences are monotonic in the sense that if x >x it means that each component of x is larger than or equal to the corresponding component of x, and at least one component of x is larger than the corresponding component of x,then x x.

Advances in Decision Sciences 3 Now, we show the following lemmas. Lemma 2.5. If x, y X, x / y, then weak uniform rotundity of preferences implies that 1/2 x y % x or 1/2 x y % y. Proof. Consider a decreasing sequence δ m of δ in Definition 2.4. Then, either 1/2 x y z m x or 1/2 x y z m y for z m such that z m <δ m and z m 0foreachm. Assume that δ m converges to zero. Then, 1/2 x y z m converges to 1/2 x y. Continuityof the preference closedness of % implies that 1/2 x y % x or 1/2 x y % y. Lemma 2.6. If a consumer s preference is weakly uniformly rotund, then it is convex. This is a modified version of Proposition 2.2 in 5. Proof. 1 Let x and y be points in X such that x y ε. Considerapoint 1/2 x y. Then, x 1/2 x y ε/2 and 1/2 x y y ε/2. Thus, using Lemma 2.5, wecan show 1/4 3x y % x or 1/4 3x y % y, and 1/4 x 3y % x or 1/4 x 3y % y. Inductively, we can show that for k 1, 2,...,2 n 1, k/2 n x 2 n k /2 n y % x or k/2 n x 2 n k /2 n y % y, foreachnaturalnumbern. 2 Let z tx 1 t y with a real number t such that 0 <t<1. We can select a natural number k so that k/2 n t k 1 /2 n for each natural number n. k 1 /2 n k/2 n 1/2 n is a sequence. Since, for natural numbers m and n such that m>n, l/2 m t l 1 /2 m and k/2 n t k 1 /2 n with some natural number l,wehave ( l 1 2 m l 2 m ) ( k 1 2 n k ) 2 n 2n 2 m 2 m 2 n < 1 2 n, 2.4 k 1 /2 n k/2 n is a Cauchy sequence, and converges to zero. Then, k 1 /2 n and k/2 n converge to t.closednessof% implies that either z % x or z % y. Therefore, the preference is convex. Lemma 2.7. Let x and y be points in X such that x y. Then, if a consumer s preference is weakly uniformly rotund and monotonic, tx 1 t y y for 0 <t<1. Proof. By continuity of the preference openness of, there exists a point x x λ such that λ 0andx y. Then, since weak uniform rotundity implies convexity, we have tx 1 t y % y or tx 1 t y % x.iftx 1 t y % x, then by transitivity tx 1 t y tx 1 t y tλ % x y. Monotonicity of the preference implies tx 1 t y y. Assume tx 1 t y % y. Then, again monotonicity of the preference implies tx 1 t y y. Let S be a subset of Δ R such that for each p, w S, 1 p Δ, 2 β p, w is nonempty, 3 There exists ξ X such that ξ x for all x β p, w. In 1, the following lemmas were proved. Lemma 2.8 1, Lemma 2.1. If p Δ R N, w R, andβ p, w is nonempty, then β p, w is compact.

4 Advances in Decision Sciences Lemma 2.8 with Proposition 4.4 in Chapter 4 of 2 or Proposition 2.2.9 of 4 implies that for each p, w Sβ p, w is located in the sense that the distance ρ ( x, β ( p, w )) inf { ( )} x y : y β p, w 2.5 exists for each x R N. Lemma 2.9 1, Lemma 2.2. If p, w S and ξ β p, w (it means ξ x, for all x β p, w ), then ρ ξ, β p, w > 0 and p ξ>w. Lemma 2.10 1, Lemma 2.3. Let p, c S, ξ X and ξ β p, c. LetH be the hyperplane with equation p x c. Then,foreachx β p, c, there exists a unique point ϕ x in H x, ξ. The function ϕ so defined maps β p, c onto H β p, c and is uniformly continuous on β p, c. Lemma 2.11 1, Lemma 2.4. Let p, w S, r>0, ξ X, andξ β p, w. Then, there exists ζ X such that ρ ζ, β p, w <rand ζ β p, w. Proof. See the appendix. And the following lemma. Lemma 2.12 1, Lemma 2.8. Let R, c, andt be positive numbers. Then, there exists r>0 with the following property: if p, p are elements of R N such that p c and p p <r, w, w are real numbers such that w w <r,andy is an element of R N such that y R and p y w,then there exists ζ R N such that p ζ w and y ζ <t. It was proved by setting r ct/ R 1. 3. Convex-Valued Demand Correspondence with Closed Graph With the preliminary results in the previous section, we show the following our main result. Theorem 3.1. Let % be a weakly uniformly rotund preference relation on a compact and convex subset X of R N, Δ a compact and convex set of normalized price vectors (an n 1-dimensional simplex), and S a subset of Δ R such that for each p, w S 1 p Δ, 2 β p, w is nonempty, 3 There exists ξ X such that ξ x for all x β p, w. Then, for each p, w S, there exists a subset F p, w of β p, w such that F p, w % x (it means y % x for all y F p, w ) for all x β p, w, p F p, w w (p y w for all y F p, w ), and the multivalued correspondence F p, w is convex-valued and has a closed graph. A graph of a correspondence F p, w is G F p,w S ( p, w ) F ( p, w ). 3.1 If G F is a closed set, we say that F has a closed graph.

Advances in Decision Sciences 5 Proof. 1 Let p, w S, and choose ξ X such that ξ β p, w. ByLemma 2.11, construct asequence ζ m in X such that ζ m β p, w and ρ ζ m,β p, w < r/2 m 1 with r>0foreach natural number m. By convexity and transitivity of the preference tζ m 1 t ζ m 1 β p, w for 0 < t < 1andeachm. Thus, we can construct a sequence ζ n such that ζ n ζ n 1 < ε n, ρ ζ n,β p, w < δ n and ζ n β p, w for some 0 < ε < 1and0 < δ < 1, and so ζ n is a Cauchy sequence in X. It converges to a limit ζ X. By continuity of the preference closedness of % ζ % β p, w, andρ ζ,β p, w 0. Since β p, w is closed, ζ β p, w. By Lemma 2.9, p ζ n >wfor all n. Thus, we have p ζ w. Convexity of the preference implies that ζ may not be unique, that is, there may be multiple elements ζ of β p, w such that p ζ w and ζ % β p, w. Therefore, F p, w is a set and we get a demand correspondence. Let ζ F p, w and ζ F p, w. Then, ζ % β p, w, ζ % β p, w, and convexity of the preference implies tζ 1 t ζ % β p, w. Thus,F p, w is convex. 2 Next, we prove that the demand correspondence has a closed graph. Consider p, w and p,w such that p p <rand w w <rwith r>0. Let F p, w and F p,w be demand sets. Let y F p,w, c ρ 0, Δ > 0, and R>0suchthatX B 0,R. Given ε>0, t δ>0suchthatδ<ε, and choose r as in Lemma 2.12. By that lemma, we can choose ζ R N such that p ζ w and y ζ <δ. Similarly, we can choose ζ y R N such that p ζ y w and y ζ y <δfor each y F p, w. y F p,w means y % ζ y. Either y y >ε/2forally F p, w or y y <εfor some y F p, w. Assume that y y >ε/2 for all y F p, w and y ζ. Ifδ is sufficiently small, y y >ε/2means y ζ >ε/kand y ζ y >ε/kforsome finite natural number k. Then, by weak uniform rotundity, there exist z n and z n such that z n <τ n, z n <τ n with τ n > 0, z n 0andz n 0, 1/2 y ζ z n ζ and 1/2 y ζ y z n ζ y for n 1, 2,... Again if δ is sufficiently small, y ζ y <δ and y ζ <δimply 1/2 y ζ z n y and 1/2 y ζ y z n y. And it follows that 1/2 y ζ 1/2 y ζ y <δ. By continuity of the preference openness of 1/2 y ζ z n y. Lety 1 1/2 y ζ. Consider a sequence τ n converging to zero. By continuity of the preference closedness of % y 1 % y and y 1 % y. Notethatp y 1 w. Thus, y 1 β p, w. Sincey F p, w, wehavey 1 F p, w. Replacingy with y 1,wecan show that y 3ζ /4 F p, w. Inductively,weobtain y 2 m 1 ζ /2 m F p, w for each natural number m. Then, we have y ζ <ηfor some y F p, w for any η>0. It contradicts y ζ >ε/k. Therfore, we have y y <εor ζ % y it means y ζ <δ ε and ζ F p, w, and so F p, w has a closed graph. Appendix A. Proof of Lemma 2.11 This proof is almost identical to the proof of Lemma 2.4 in Bridges 1.Theyaredifferent in a few points. Let H be the hyperplane with equation p x w and ξ the projection of ξ on H. Assume ξ ξ > 3r. Choose R such that H β p, w is contained in the closed ball B ξ,r around ξ and let c 1 ( ) R 2 ξ ξ. A.1

6 Advances in Decision Sciences x ϕ(x) ϕ (x) ξ ξ H H Figure 1: Calculation of ϕ x ϕ x. Let H be the hyperplane parallel to H, between H and ξ and a distance r/2c from H, and H the hyperplane parallel to H, between H and ξ and a distance r/c from H. Foreach x β p, w let ϕ x betheuniqueelementofh x, ξ, ϕ x the unique element of H x, ξ, and ϕ x theuniqueelementofh x, ξ. Sinceξ β p, w, wehaveϕ x ϕ x % x by convexity and continuity of the preference. ϕ x is uniformly continuous, so T { ϕ x : x β ( p, w )} A.2 is totally bounded by Lemma 2.8 and Proposition 4.2 in Chapter 4 of 2. Since ϕ x ϕ x and ϕ x 1/2 ϕ x 1/2 ϕ x, wehaveϕ x x, andso continuity of the preference openness of means that there exists δ>0suchthatϕ x i x when ϕ x i ϕ x <δ.let x 1,...,x n be points of β p, w such that ϕ x 1,...,ϕ x n is a δ-approximation to T. Givenx in β p, w, choose i such that ϕ x i ϕ x <δ. Then, ϕ x i x. Now, from our choice of c, wehave ϕ x ϕ x <r/2foreachx β p, w. Itis proved as follows. Since by the assumption ϕ x ξ <R, ϕ x ξ < R 2 ξ ξ 2.Thus, we have ϕ x ϕ x r < 2c R 2 ξ ξ 2 ξ ξ r ( ) R 2 1 2c ξ ξ r 2. A.3 See Figure 1. Let t 1 1 r 2n ϕ x 1 ξ, η 1 t 1 ϕ x 1 1 t 1 ξ. A.4 Then, η 1 ϕ x 1 r/2n, ρ η 1,β p, w <r n 1 /2n because ϕ x 1 ϕ x 1 <r/2and ϕ x 1 β p, w, and by convexity of the preference η 1 % ξ or η 1 % ϕ x 1.

Advances in Decision Sciences 7 In the first case, we complete the proof by taking ζ η 1. In the second, assume that, for some k 1 k n 1, wehaveconstructedη 1,...,η k in X such that η k % ϕ x i ρ ( η k,β ( p, w )) < 1 i k, r n k. 2n A.5 As ξ η k >r because ξ ξ > 3r, we can choose y η k,ξ such that y η k r/2n. Then, ρ y, β p, w <r n k 1 /2n and either y % ξ or y % η k. In the former case, the proof is completed by taking ζ y. Ify % η k, y λ/2 η k λ/2 forallλ such that λ 0. Then, either y λ/2 ϕ x k 1 for all λ and so y % ϕ x k 1, in which case we set η k 1 y; orelse ϕ x k 1 η k λ/2forallλ and so ϕ x k 1 % η k,thenwesetη k 1 ϕ x k 1. If this process proceeds as far as the construction of η n, then, setting ζ η n,weseethat ρ ζ, β p, w <rand that ζ % ϕ x i for each i; soζ x for each x β p w. Acknowledgment This research was partially supported by the Ministry of Education, Science, Sports and Culture of Japan, Grant-in-Aid for Scientific Research C, no. 20530165, and the Special Costs for Graduate Schools of the Special Expenses for Hitech Promotion by the Ministry of Education, Science, Sports and Culture of Japan in 2010. References 1 D. S. Bridges, The construction of a continuous demand function for uniformly rotund preferences, Mathematical Economics, vol. 21, no. 3, pp. 217 227, 1992. 2 E. Bishop and D. Bridges, Constructive Analysis, vol. 279 of Grundlehren der Mathematischen Wissenschaften, Springer, Berlin, Germany, 1985. 3 D. Bridges and F. Richman, Varieties of Constructive Mathematics, vol.97oflondon Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, UK, 1987. 4 D. Bridges and L. Vîţă, Techniques of Constructive Mathematics, Springer, 2006. 5 D. S. Bridges, Constructive notions of strict convexity, Mathematical Logic Quarterly, vol. 39, no. 3, pp. 295 300, 1993.

Advances in Operations Research Advances in Decision Sciences Mathematical Problems in Engineering Algebra Probability and Statistics The Scientific World Journal International Differential Equations Submit your manuscripts at International Advances in Combinatorics Mathematical Physics Complex Analysis International Mathematics and Mathematical Sciences Stochastic Analysis Abstract and Applied Analysis International Mathematics Discrete Dynamics in Nature and Society Discrete Mathematics Applied Mathematics Function Spaces Optimization