فضای یکنواخت (Uniform Space)، در ریاضیات (Mathematics)
انواع فضاهای توپولوژیک (Topological Space) را در آموزش زیر شرح دادیم :
فضای یکنواخت (Uniform Space) :
فضای یکنواخت (Uniform space) یک فضای توپولوژیک است که مجهز به ساختاری برای بیان یکنواختی (uniformity) و همگرایی یکنواخت است. این مفهوم توسط آندره ویل (André Weil) در سال ۱۹۳۷ معرفی شد و حد واسط بین فضاهای متریک و فضاهای توپولوژیک است.
یک ساختار یکنواخت روی مجموعه
\[ X \]خانواده ای از زیرمجموعه های
\[ X \times X \](به نام پیرامون ها) است که شرایطی شبیه به قطر و ترکیب و تقارن را ارضا می کند. این ساختار امکان تعریف مفاهیمی مانند پیوستگی یکنواخت، دنباله کوشی، و کامل بودن را فراهم می کند.
ویژگی ها:
هر فضای متریک، یک فضای یکنواخت است (با پیرامون های
\[ \{(x,y): d(x,y)<\epsilon\} \]).
هر گروه توپولوژیک یک ساختار یکنواخت دارد.
فضاهای یکنواخت در آنالیز تابعی و توپولوژی جبری کاربرد دارند.
\[ \mathcal{U} \subseteq 2^{X \times X}, \quad \forall x, \Delta \subseteq U \in \mathcal{U}, U^{-1} \in \mathcal{U}, \forall U \exists V: V^2 \subseteq U \]فضاهای یکنواخت امکان مطالعه همگرایی کوشی را بدون نیاز به متر فراهم می کنند.