拓撲模/構造
外觀
定義(商拓撲模):
令 是拓撲環
上的拓撲模,並令
是具有子空間拓撲的子模。 那麼模
以及商拓撲,即由商對映
誘導的最終拓撲,被稱為
的 **商模**。
命題(商拓撲的商對映是開對映):
令 是拓撲模,並且
是子模。 那麼對映
是開對映。
證明:令 是任何開集。 我們有
它是開集的並集,因此是開集。
命題(商拓撲模是拓撲模):
令 是拓撲模,並且
是子模。 那麼商模
是具有子空間拓撲的拓撲模。
證明: