Voting by Committees under Constraints



separable ones. Section 4 contains a final remark. Section 5 contains the
proof of Theorem 1, omitted in Section 3.

2 Preliminaries

Agents are the elements of a finite set N = {1,2, ...,n}. The set of objects
is
K = {1,...,⅛}. We assume that n and к are at least 2. Generic elements
of
N will be denoted by i and j and generic elements of K will be denoted
by
x, y, and z. Alternatives are subsets of K which will be denoted by X,
Y,
and Z. Subsets of N will be represented by I and J. Calligraphic letters
will represent families of subsets; for instance,
X. У, and Z will represent
families of subsets of alternatives and TV, ɪ, and
J families of subsets of
agents (coalitions).

Preferences are binary relations on alternatives. Let P be the set of
complete, transitive, and asymmetric preferences on
2κ. Preferences in P
are denoted by Pi, Pj, P'i, and F∙. For Pi P and X Ç 2κ, we denote the
alternative in
X most-preferred according to Pi as τχ (Pf), and we call it the
top of Pi on X.
We will use τ (Pf) to denote the top of Pi on 2κ. Generic
subsets of preferences will be denoted by
P.

Preference profiles are n-tuples of preferences. They will be represented
by F = (Fl,...,
Pn) or by F= (Pi, P_f) if we want to stress the role of agents
i,s preference.

A social choice function on P is a function F: P" → 2κ.

Definition 1 The social choice function F : Pn2κ respects voter’s
sovereignty
if for every X E 2κ there exists P P" such that F(P) = X.

The range of a social choice function F: Pn —> 2κ is denoted by ''Rp : that



More intriguing information

1. Cryothermal Energy Ablation Of Cardiac Arrhythmias 2005: State Of The Art
2. Moffett and rhetoric
3. The name is absent
4. The name is absent
5. The name is absent
6. THE CO-EVOLUTION OF MATTER AND CONSCIOUSNESS1
7. Deletion of a mycobacterial gene encoding a reductase leads to an altered cell wall containing β-oxo-mycolic acid analogues, and the accumulation of long-chain ketones related to mycolic acids
8. The name is absent
9. Who runs the IFIs?
10. The name is absent