Abstract.
Given a binary relation R between the elements of two sets X and Y and a natural number k, it is shown that there exist k injective maps f 1, f 2,...,f k : \( X \hookrightarrow Y \) with \( \# \{f_1(x), f_2(x),...,f_k(x)\}=k \quad{\rm and}\quad (x,f_1(x)), (x, f_2(x)),...,(x, f_k(x)) \in R \) for all \( x \in X \) if and only if the inequality \( k \cdot \# A \leq \sum_{y \in Y} min(k, \#\{a \in A \mid (a,y) \in R\}) \) holds for every finite subset A of X, provided \( \{y \in Y \mid (x,y) \in R\} \) is finite for all \( x \in X \).¶Clearly, as suggested by this paper's title, this implies that, in the context of the celebrated Marriage Theorem, the elements x in X can (simultaneously) marry, get divorced, and remarry again a partner from their favourite list as recorded by R, for altogether k times whenever (a) the list of favoured partners is finite for every \( x \in X \)and (b) the above inequalities all hold.¶In the course of the argument, a straightforward common generalization of Bernstein's Theorem and the Marriage Theorem will also be presented while applications regarding (i) bases in infinite dimensional vector spaces and (ii) incidence relations in finite geometry (inspired by Conway's double sum proof of the de Bruijn-Erdös Theorem) will conclude the paper.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received July 21, 1999
Rights and permissions
About this article
Cite this article
Dress, A. The Theorem of the k-1 Happy Divorces. Annals of Combinatorics 4, 183–194 (2000). https://doi.org/10.1007/s000260050005
Issue Date:
DOI: https://doi.org/10.1007/s000260050005