Skip to main content
added 833 characters in body
Source Link
Robert Israel
  • 54.2k
  • 1
  • 76
  • 152

If $a_{n+1} \ge a_n/2$ for all $n$, then $L(A) = [-s,s]$ where $s = \sum_n a_n$.

On the other hand, if $a_{n+1} < a_n/2$ for all $n$, then $L(A)$ is a nowhere dense Cantor-type set, and you can recover $A$ from $L(A)$.

EDIT: I don't have references, but these are not hard to prove. As Gerald Edgar remarks, it's equivalent to consider sums $S(A) = \sum_{j \in A} a_j$ for $A \subseteq \mathbb N$.

In the case $a_{n+1} \ge a_n/2$, so $\sum_{j > n} a_j \ge a_n$, you can use a greedy approach: to make a sum $s$, where $0 \le S(\mathbb N)$, include $n$ in $A$ iff $S(A \cap [0\ldots n-1]) + a_n \le s$, and note that by induction $$S(A \cap [0\ldots n]) + S([n+1 \ldots \infty)) \ge s \ge S(A \cap [0\ldots n])$$

In the case $a_{n+1} < a_n/2$, consider the intervals $J_n(A) = [S(A), S(A \cup [n+1\ldots \infty)]$ for $A \subseteq [1,\ldots, n]$, so that $S(B) \in J_n(A)$ if $A \subseteq B \subseteq A \cup [n+1\ldots\infty)$, and note that $J_{n+1}(A)$ and $J_{n+1}(A \cup \{n+1\})$ are disjoint closed subintervals of $J_n(A)$.

If $a_{n+1} \ge a_n/2$ for all $n$, then $L(A) = [-s,s]$ where $s = \sum_n a_n$.

On the other hand, if $a_{n+1} < a_n/2$ for all $n$, then $L(A)$ is a nowhere dense Cantor-type set, and you can recover $A$ from $L(A)$.

If $a_{n+1} \ge a_n/2$ for all $n$, then $L(A) = [-s,s]$ where $s = \sum_n a_n$.

On the other hand, if $a_{n+1} < a_n/2$ for all $n$, then $L(A)$ is a nowhere dense Cantor-type set, and you can recover $A$ from $L(A)$.

EDIT: I don't have references, but these are not hard to prove. As Gerald Edgar remarks, it's equivalent to consider sums $S(A) = \sum_{j \in A} a_j$ for $A \subseteq \mathbb N$.

In the case $a_{n+1} \ge a_n/2$, so $\sum_{j > n} a_j \ge a_n$, you can use a greedy approach: to make a sum $s$, where $0 \le S(\mathbb N)$, include $n$ in $A$ iff $S(A \cap [0\ldots n-1]) + a_n \le s$, and note that by induction $$S(A \cap [0\ldots n]) + S([n+1 \ldots \infty)) \ge s \ge S(A \cap [0\ldots n])$$

In the case $a_{n+1} < a_n/2$, consider the intervals $J_n(A) = [S(A), S(A \cup [n+1\ldots \infty)]$ for $A \subseteq [1,\ldots, n]$, so that $S(B) \in J_n(A)$ if $A \subseteq B \subseteq A \cup [n+1\ldots\infty)$, and note that $J_{n+1}(A)$ and $J_{n+1}(A \cup \{n+1\})$ are disjoint closed subintervals of $J_n(A)$.

edited body
Source Link
Robert Israel
  • 54.2k
  • 1
  • 76
  • 152

If $a(n+1) \ge a(n)/2$$a_{n+1} \ge a_n/2$ for all $n$, then $L(A) = [-s,s]$ where $s = \sum_n a_n$.

On the other hand, if $a(n+1) < a(n)/2$$a_{n+1} < a_n/2$ for all $n$, then $L(A)$ is a nowhere dense Cantor-type set, and you can recover $A$ from $L(A)$.

If $a(n+1) \ge a(n)/2$ for all $n$, then $L(A) = [-s,s]$ where $s = \sum_n a_n$.

On the other hand, if $a(n+1) < a(n)/2$ for all $n$, then $L(A)$ is a nowhere dense Cantor-type set, and you can recover $A$ from $L(A)$.

If $a_{n+1} \ge a_n/2$ for all $n$, then $L(A) = [-s,s]$ where $s = \sum_n a_n$.

On the other hand, if $a_{n+1} < a_n/2$ for all $n$, then $L(A)$ is a nowhere dense Cantor-type set, and you can recover $A$ from $L(A)$.

Source Link
Robert Israel
  • 54.2k
  • 1
  • 76
  • 152

If $a(n+1) \ge a(n)/2$ for all $n$, then $L(A) = [-s,s]$ where $s = \sum_n a_n$.

On the other hand, if $a(n+1) < a(n)/2$ for all $n$, then $L(A)$ is a nowhere dense Cantor-type set, and you can recover $A$ from $L(A)$.