A short proof and a generalization of Miranda’s existence theorem
Michael N. Vrahatis · Proceedings of the American Mathematical Society · 1989
Miranda gave in [5] an equivalent formulation of the famous Brouwer fixed point theorem. We give a short proof of Miranda’s existence theorem and then using the results obtained in this proof we give a generalization of a well-known variant of Bolzano’s existence theorem. Finally, we give a generalization of Miranda’s theorem.