Bài tập 16, § 1

Cho $R$ là một hệ nghiệm. $B$ là một cơ sở của $R$, và $R_+$ là tập hợp các nghiệm dương đối với cơ sở này. Với $w \in W(R)$, đặt $F_w = R_+ \cap w(-R_+)$. Hãy chỉ ra rằng ánh xạ $w \mapsto F_w$ là một song ánh từ $W(R)$ lên tập hợp các tập con $F$ của $R_+$ sao cho $F$ và $R_+ - F$ là đóng. (Áp dụng Hệ quả 1 của Mệnh đề 20 cho tập con $P = (R_+ - F) \cup (-F)$.)