A transversal generated by a system of distinct representatives (SDR) for a collection of sets consists of an element from each set (its representative) such that the representative uniquely identifies the set it belongs to. Theorem 1 gives a necessary and sufficient condition that an arbitrary collection, finite or infinite, of sets, finite or infinite, have an SDR. The proof is direct, short. A Corollary to Theorem 1 shows explicitly the application to matching problems. In the context of designing decentralized economic mechanisms, it turned out to be important to know when one can construct an SDR for a collection of sets that cover the parameter space characterizing a finite number of economic agents. The condition of Theorem 1 is readily verifiable in that economic context. Theorems 2-5 give different characterizations of situations in which the collection of sets is a partition. This is of interest because partitions have special properties of informational efficiency.
Download Info
To download:
If you experience problems downloading a file, check if you have the
proper application to
view it first. Information about this may be contained
in the File-Format links below. In case of further problems read
the IDEAS help
page. Note that these files are not on the IDEAS
site. Please be patient as the files may be large.
As the access to this document is restricted, you may want to look for a different version under "Related research" (further below) or search for a different version of it.