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

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

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

{x ∣ a < x}

{x ∣ x < b}

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

(a, b) = {x ∣ a < x < b}

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

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

توپولوژی های استاندارد روی $ℝ, ℚ, ℤ, ℕ$ ، توپولوژی های ترتیبی اند.