9.3.5 从高维到无穷维