توپولوژی ترتیبی

در ریاضیات، توپولوژی ترتیبی (به انگلیسی: Order Topology) نوع خاصی از فضای توپولوژی است که روی مجموعه مرتب کلی دلخواه تعریف می شود. این نوع فضاها تعمیمی از توپولوژی اعداد صحیح به مجموعه های دلخواه مرتب کلی می باشد.

اگر $X$ یک مجموعه کاملاً مرتب باشد، توپولوژی ترتیبی روی $X$ توسط زیرپایه "اشعه‌های باز" تولید می گردد (برای هر $a,b\in X$):

$\{x\mid a<x\}$

$\{x\mid x<b\}$

با فرض این که $X$ حداقل دو عضو داشته باشد، تعریف فوق را می توان به صورت بازه ها نمایش داد:

$(a,b)=\{x\mid a<x<b\}$

زیرپایه بالا تشکیل یک پایه می دهد. مجموعه های باز $X$، مجموعه هایی هستند که به صورت اجتماعی (بر اساس تعریف پایه، اجتماع روی تعداد دلخواهی از اعضای پایه ممکن است گرفته شود) از چنین بازه ها و شعاع هایی تعریف می گردد.

یک فضای توپولوژیکی $X$ را ترتیب‌پذیر گویند اگر ترتیبی کلی روی عناصرش چنان موجود باشد که توپولوژی القایی توسط آن ترتیب برابر با توپولوژی خود فضا گردد. توپولوژی ترتیبی، $X$ را تبدیل به فضای کاملاً هاسدورف نرمال می کند.

توپولوژی های استاندارد روی $\mathbb {R} ,\mathbb {Q} ,\mathbb {Z} ,\mathbb {N}$، توپولوژی های ترتیبی اند.

منابع

• Steen, Lynn A. and Seebach, J. Arthur Jr.; Counterexamples in Topology, Holt, Rinehart and Winston (1970). ISBN 0-03-079485-4.
• Stephen Willard, General Topology, (1970) Addison-Wesley Publishing Company, Reading Massachusetts.
• This article incorporates material from Order topology on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

• مشارکت‌کنندگان ویکی‌پدیا. «Order Topology». در دانشنامهٔ ویکی‌پدیای انگلیسی.