《拓扑学》次作业参考解答.docVIP

《拓扑学》第三次作业参考解答 4.16.设表示所有阶实方阵的集合.对每个及正数，定义 证明:全体构成的集合是上一个拓扑基. 证明：为方便起见，记全体构成的集合为B ，则只需证明B 满足拓扑基的两条公理。 （1）B 是的覆盖这一点是显然的。 （2）设是两个阶实方阵，是两个正数，不妨设并设 则依题意知，令则不难看出， 因此，B 确实是的拓扑基。■ 4.17.设是一个给定的素数，对每个正整数，定义，证明：是整数集上的一个拓扑基. 证明：由定义可知，（取就知道了），故是的一个覆盖。 再设（其中是两个正整数，），则存在两个整数使得 不妨设，则从而使得于是 这表明， 由此可见，确实是上的一个拓扑基。■ 5.3.设是空间,为一连续映射,试证明其不动点集是一个闭集. 证明：只需证明不动点集的余集是开集就可以了。设，则，于是由分离性知，存在开集使得又由的连续性，存在开集使得令，则且，这表明是的内点。再由的任意性知是开集。■ 5.5.证明：（1）空间的子空间也是空间； （2）如果是一个闭的双射（即一一映射），而为空间，则也是空间； （3）如果是一个连续的单射，为空间，则也是空间. 证明：（1）设是一个空间，为其一个子空间。对于任意不同的两点，由是空间知，存在中的开集使得令，则易见有，并且可见也是空间。 （2）设是一个闭的双射（即一一映射），而为空间，对中任意两个不同的点，记，则是中两个不同的点，因此由假设，存在邻域使得由于是闭映射，故由定理3.3，存在两个中的开集使得显然，可见也是空间。 （3）设是一个连续的单射，为空间，对于中任意两个不同的点，令，则是空间中两个不同的点，从而由假设，存在使得由于是一个连续的单射，故存在使得由是单射知， ， 可见因此也是空间.■ 5.8.证明：如果是正则空间，则对任意不同的两个点，存在使得 证明：设是空间，则对任意不同的两个点，都是闭集，又由正则性知，存在使得再利用定理5.3,知，存在使得 显然，，因此■ 5.9.如果是正规空间，则对任意不相交的两个闭集，存在使得 证明：设是正规空间，则对任意不相交的两个闭集，由定义知，存在使得又由定理5.4可知，存在使得，且显然■ 5.15.证明：可数的正则空间是正规的. 证明：设是一个可数的正则空间，是其任一闭子集，不妨记，其中为可数集。则，故由正则性知，存在使得由于显然有，故由定理5.4即知，是正规空间。■ 5.16.证明：正则的空间必定是正规的空间. 证明：设是正则的空间，是任一闭子集，对于任一，也有，因此由正则性，存在开集使得这样就得到空间的一个开覆盖由于是空间，故有可数的子覆盖显然，且对于每个，都有因此由定理5.4可知，是一个正规空间。■ 5.17.设满足分离公理,为一满连续闭映射,则也满足分离公理. 证明：设为一满连续闭映射, 满足分离公理,对于中的任意两个开集，若，则，因此由定理5.4知，中有闭集使得，且由是满的闭映射，知都是中的闭集，且 ， 因此由定理5.4知，满足分离公理.■ 6.3.设为完全正则空间,.证明:存在连续映射使得，且的充分必要条件是为集. 证明：（设必要性）存在连续映射使得，且，则由 以及每个都是开集，即可知为集. （充分性）设为集，则存在可数个开集使得对于每个自然数，显然，因此由的完全正则性，存在连续函数使得令 则容易验证，是连续映射，且，又对于任一，，必定存在一个使得，从而，进而有可见此外，由于，故存在一个连续函数使得最后，令，则连续，并且，■ 6.4.设是正规空间,是闭子集,满足.试证明:存在使得. 证明：我们先证明如下这个结论： （1）若是的一个开覆盖，则存在的一个开覆盖使得 事实上，不妨设令，则是闭集，且于是由正规性，存在使得这样也是的一个开覆盖。再令，则是闭集，且于是由正规性，存在使得这样也是的一个开覆盖。设已经得到的开覆盖，其中每个最后令，则是闭集，且于是由正规性，存在使得显然满足要求。 现在我们再来证明原先的结论。 对于闭集，若满足，则，因此由（1），存在开集使得覆盖，且记，则每个都是开集，并且从而 因此有■ 6.5.证明:是正规空间的对的每个有限开覆盖,存在个连续函数使得,并且. 证明：给定的一个有限开覆盖，则由习题6.4证明的前半部分知，存在的一个开覆盖使得对每个，由引理，有连续函数使得 由此得到一个连续函数 ，任一 ，由于是的覆盖，故存在使得，于是可见 ，令，则是一个连续函数，且显然又对于任一，由可知，也有■ 6.8.设是正规空间，是闭子集，试证明：存在开的集使得 证明：设是正规空间，是闭子集，则由引理知，有一个连续函数使得可见显然是的开子集，并且由于 ， 可见，也是集。因此令即可知，所要证明的结论为真。■