diff --git a/src/fa/norm/absolute.tex b/src/fa/norm/absolute.tex index 205863c..d418b6c 100644 --- a/src/fa/norm/absolute.tex +++ b/src/fa/norm/absolute.tex @@ -33,7 +33,7 @@ \begin{theorem}[Riemann's Rearrangement Theorem] \label{theorem:riemann-rearrangement} - Let $\seq{x_n} \subset \real$ and $N = P \sqcup N$ such that $x_n \ge 0$ for all $n \in P$ and $x_n \le 0$ for all $n \in N$, then + Let $\seq{x_n} \subset \real$ and $\natp = P \sqcup N$ be a partition such that $x_n \ge 0$ for all $n \in P$ and $x_n \le 0$ for all $n \in N$, then \begin{enumerate} \item If $\sum_{n \in P}x_n = \infty$ and $\sum_{n \in N}x_n = -\infty$, then there exists bijections $\sigma, \tau: \natp \to \natp$ such that