请输入您要查询的字词:

 

单词 TheCategoryOfT0AlexandroffSpacesIsEquivalentToTheCategoryOfPosets
释义

the category of T0 Alexandroff spaces is equivalent to the category of posets


Let 𝒜𝒯 be the category of all T0, Alexandroff spaces and continuous maps between them. Furthermore let 𝒫𝒪𝒮𝒯 be the category of all posets and order preserving maps.

Theorem. The categories 𝒜𝒯 and 𝒫𝒪𝒮𝒯 are equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath.

Proof. Consider two functors:

T:𝒜𝒯𝒫𝒪𝒮𝒯;
S:𝒫𝒪𝒮𝒯𝒜𝒯,

such that T(X,τ)=(X,), where is an induced partial orderMathworldPlanetmath on an Alexandroff space and T(f)=f for continuous map. Analogously, let S(X,)=(X,τ), where τ is an induced Alexandroff topologyMathworldPlanetmath on a poset and S(f)=f for order preserving maps. One can easily show that T and S are well defined. Furthermore, it is easy to verify that equalities TS=1𝒫𝒪𝒮𝒯 and ST=1𝒜𝒯 hold, which completesPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath the proof.

Remark. Of course every finite topological space is Alexandroff, thus we have very nice ,,interpretationMathworldPlanetmathPlanetmath” of finite T0 spaces - finite posets (since functors T and S do not change set-theoretic properties of underlying sets such as finitness).

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 8:09:10