A Non-constructive Elementary Proof of the Existence of Stable Marriages

Abstract Gale and Shapley showed in their well known paper of 1962 ( Amer. Math. Monthly 69 , 9–14) that stable matchings always exist for the marriage market. Their proof was constructed by means of an algorithm. Except for the existence of stable matchings, all the results for the marriage market which were proved by making use of the Gale and Shapley algorithm could also be proved without the algorithm. The purpose of this note is to fill out this case. We present here a nonconstructive proof of the existence of a stable matching for the marriage market, which is quite short and simple and applies directly to both cases of preferences: strict and nonstrict.