فضای پریستلی (Priestley Space)، در ریاضیات (Mathematics)
انواع فضاهای توپولوژیک (Topological Space) را در آموزش زیر شرح دادیم :
فضای پریستلی (Priestley Space) :
فضای پریستلی (Priestley space) یک فضای توپولوژیک همراه با یک ترتیب جزئی است که در نظریه نمایش جبرهای هایتینگ (Heyting algebras) و جبرهای بولی ظاهر می شود. این فضا توسط هیلدا پریستلی (Hilda Priestley) معرفی شد و یک ابزار مهم در نظریه رسته ها و منطق ریاضی است.
یک فضای پریستلی یک فضای فشرده (compact) و هاسدورف (Hausdorff) است که مجهز به یک ترتیب جزئی است و دارای خاصیت زیر است: برای هر دو نقطه
\[ x \not\le y \]، یک مجموعه باز و بالارونده (upper set)
\[ U \]وجود دارد که
\[ x \in U \]و
\[ y \notin U \]و همچنین
\[ U \]باز-بسته (clopen) است. این خاصیت شبیه به اصل جداگانگی برای فضاهای ترتیبی است.
فضاهای پریستلی دوگان (dual) فضاهای جبرهای بولی و جبرهای توزیع پذیر هستند. قضیه دوگان سازی پریستلی (Priestley duality) بیان می کند که رسته جبرهای بولی با رسته فضاهای پریستلی (با نگاشت های پیوسته و ترتیب پذیر) معادل است.
\[ \text{فضای پریستلی: } (X, \mathcal{T}, \le) \quad \text{که } X \text{ فشرده-هاسدورف، } \le \text{ ترتیب جزئی} \]این فضاها در منطق ریاضی و نظریه مدل کاربرد دارند.
