توپولوژی دوگانه (Dual Topology)، در ریاضیات (Mathematics)
انواع فضاهای توپولوژیک (Topological Space) را در آموزش زیر شرح دادیم :
توپولوژی دوگانه (Dual Topology) :
توپولوژی دوگانه (Dual topology) معمولا در زمینه فضاهای برداری توپولوژیک و آنالیز تابعی به کار می رود. برای یک فضای برداری توپولوژیک
\[ X \]، توپولوژی های مختلفی روی فضای دوگان
\[ X^* \](عملگرهای خطی پیوسته) وجود دارد که با دوگان سازی (duality) مرتبط هستند.
مهم ترین توپولوژی های دوگانه عبارتند از:
توپولوژی ضعیف (weak topology) روی
\[ X^* \]که با نیم نرم های
\[ p_x(f) = |f(x)| \]تعریف می شود.
توپولوژی قوی (strong topology) که با نیم نرم های
\[ p_B(f) = \sup_{x \in B} |f(x)| \]برای زیرمجموعه های کراندار
\[ B \subseteq X \]تعریف می شود.
توپولوژی مکی (Mackey topology) که قوی ترین توپولوژی موضعا محدب سازگار با دوگان است.
انتخاب توپولوژی مناسب روی دوگان در آنالیز تابعی و نظریه عملگرها اهمیت دارد. قضیه دوگان سازی مک کی-آرنس (Mackey–Arens theorem) مشخص می کند که کدام توپولوژی ها با دوگان اصلی سازگار هستند.
\[ \text{روی } X^* \text{ توپولوژی های مختلفی مانند } \sigma(X^*,X), \beta(X^*,X), \tau(X^*,X) \]توپولوژی دوگانه ابزاری اساسی برای مطالعه فضاهای برداری توپولوژیک است.