Sums of finitely many distinct rationals
${\cal E}$ denotes the family of all finite nonempty $S\subseteq{\mathbb N}:=\{1,2,\ldots\}$, and ${\cal E}(X):={\cal E}\cap\{S:S\subseteq X\}$ when $X\subseteq{\mathbb N}$. Similarly, ${\cal F}$ denotes the family of all finite nonempty $T\subseteq{\mathbb Q}^+$, and ${\cal F}(Y) := {\cal F}\cap\{T:T\subseteq Y\}$ where ${\mathbb Q}^+$ is the set of all positive rationals and $Y\subseteq{\mathbb Q}^+$. This paper treats the functions $σ:{\cal E}\rightarrow{\mathbb Q}^+$ given by $σ:S\mapstoσS :=\sum\{1/x:x\in S\}$, the function $δ:{\cal E}\rightarrow{\mathbb N}$ defined by $σS = νS/δS$ where the integers $νS$ and $δS$ are coprime, and the more general function $Σ:{\cal F}\rightarrow{\mathbb Q}^+$ where $ΣT$ denotes the sum of the elements in $T$ for $T\in{\cal F}$. Theorem 1.1. For each $r\in{\mathbb Q}^+$, there exists an infinite pairwise disjoint subfamily ${\cal H}_r\subseteq{\cal E}$ such that $r=σS$ for all $S\in{\cal H}_r$. Theorem 1.2. Let $X$ be a pairwise coprime set of positive integers. Then $σ$ restricted to ${\cal E}(X)$ and $δ$ restricted to ${\cal E}(X)$ are injective. Also, $σC\in{\mathbb N}$ for $C\in{\cal E}(X)$ only if $C=\{1\}$. Theorem 6.5. There is a set $X$ of positive rational numbers for which $Σ:{\cal F}(X)\rightarrow{\mathbb Q}^+$ is a surjection, but for which $1\in X$ and the only $S\in{\cal F}(X)$ with $ΣS = 1$ is $S = \{1\}$.