设[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]和[tex=0.786x1.0]9Zhj9WJRAwEw/9RNycpEcw==[/tex]是两个拓扑空间，[tex=3.929x1.214]QMdjVDLE7+KCtqQUHHExMuOahKiPzLRrtzSIbjGFDt4=[/tex]是一个连续映射。证明：如果[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]是一个可分空间。则[tex=2.143x1.357]xJaoe4pZjHAOnCWvdJIScg==[/tex]也是可分的。(这说明可分性是一个连续映射所保持的性质，并且由此可见，它是一个拓扑不 变性质，可商性质。)
举一反三
- 设[tex=0.929x1.286]uswT/CEcOIwMpCvTz/zeaA==[/tex]和[tex=0.857x1.286]h9C4nePGcGllh55hxKIsUw==[/tex]是两个拓扑空间，令[tex=4.786x1.286]YTQzLz+sesI1dQ5UGt8Nb7XN1gDRtIK2HjDLwQB/utY=[/tex]是一个连续映射。证明：如果[tex=0.929x1.286]uswT/CEcOIwMpCvTz/zeaA==[/tex]是一个可分空间，则[tex=2.214x1.286]Pg+l0RmQux/c4VWlzlwt1w==[/tex]也是可分的。（这说明可分性是一个连续映射所保持的性质，并且由此可见，它是一个拓扑不变性质，可商性质。）
- 设[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]和[tex=0.857x1.286]h9C4nePGcGllh55hxKIsUw==[/tex]是两个拓扑空间。证明：[tex=3.786x1.214]QMdjVDLE7+KCtqQUHHExMk7zKkZhF2bgTbHz3S0yf+A=[/tex]是一个连续映射当且仅当[tex=5.286x1.357]QqFixYebT/bIENpOaCF+iLSwrngb6SRC2Tn5gE953Mw=[/tex]是一个连续映射。
- 设[tex=2.571x1.357]RUJ/Tt2raOklywg1mc6VVQ==[/tex]为度量空间，并且[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]有一基只有有限个成员，证明[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]必为只含有有限个点的离散空间。
- 设[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]和[tex=0.786x1.0]9Zhj9WJRAwEw/9RNycpEcw==[/tex]都是可数紧致空间。证明：积空间[tex=2.857x1.143]OBJvJRkGmR50oaHqcerUhA==[/tex]也是一个可数紧致空间。
- 拓扑空间[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]称为伪紧致的，如果对于任一连续映射[tex=6.571x1.357]QqFixYebT/bIENpOaCF+iOYIFpzQxTFHxwm4zQkZZEWoNPZ8j+8FX5pr7UM9yN0N[/tex]都是有界的。证明：度量空间[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]是紧致的当且仅当[tex=0.857x1.0]KGogyvwDAIJf/iL0H/9wjg==[/tex]是伪紧致的。