习题 3, § 7

令$(\mathrm{E}_\alpha, f_{\alpha\beta})$和$(\mathrm{F}_\alpha, g_{\alpha\beta})$是集合相对于同一个指标集合I的两个逆系。对于每个$\alpha \in \mathrm{I}$，令$u_\alpha$为$\mathrm{E}_\alpha$的映射到$\mathrm{F}_\alpha$，这样$u_\alpha$形式逆系为映射。设$\mathrm{G}_\alpha \subset \mathrm{E}_\alpha \times \mathrm{F}_\alpha$为$u_\alpha$的图。证明$(\mathrm{G}_\alpha)$是$\mathrm{E}_\alpha \times \mathrm{F}_\alpha$的子集的逆系并且其逆极限可以与$u = \varprojlim u_\alpha$的图规范地标识。