فضای متریک یکنواخت (Uniform Space)، در ریاضیات (Mathematics)
انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :
فضای متریک یکنواخت (Uniform Space) :
تعریف: فضای یکنواخت (Uniform space) یک مفهوم در توپولوژی است که تعمیمی از فضای متریک می باشد. در یک فضای یکنواخت، به جای متریک، یک ساختار یکنواخت (uniform structure) تعریف می شود که امکان تعریف مفاهیمی مانند پیوستگی یکنواخت، دنباله کوشی و کامل بودن را بدون نیاز به متریک فراهم می کند. هر فضای متریک یک فضای یکنواخت است (با ساختار ناشی از متریک).
یک ساختار یکنواخت یک فیلتر روی
\[ X \times X \]است با خواص خاص.
توضیح مفهونی: مفهوم فضای یکنواخت توسط آندره ویل (André Weil) در سال ۱۹۳۷ معرفی شد. این فضاها پل ارتباطی بین فضاهای متریک و فضاهای توپولوژیک عمومی هستند. آنها امکان صحبت درباره "نزدیکی یکنواخت" را بدون داشتن متریک دقیق فراهم می کنند.
ویژگی های اصلی:
هر فضای متریک یک فضای یکنواخت است (با پایه
\[ U_\epsilon = \{(x,y): d(x,y) < \epsilon\} \]).
هر گروه توپولوژیک یک ساختار یکنواخت طبیعی دارد (چپ-ناوردا یا راست-ناوردا).
مفهوم کامل بودن در فضاهای یکنواخت تعریف می شود.
نگاشت های یکنواخت پیوسته (uniformly continuous) بین فضاهای یکنواخت تعریف می شوند.
فضاهای یکنواخت را می توان تکمیل کرد (تکمیل یکنواخت).
کاربردها: فضاهای یکنواخت در آنالیز تابعی (برای مطالعه گروه های توپولوژیک)، توپولوژی، و نظریه فضاهای برداری توپولوژیک کاربرد دارند.
📌 مثال ساده:
\[ \mathbb{R} \]با ساختار یکنواخت ناشی از متر
\[ d(x,y)=|x-y| \].
یک گروه توپولوژیک (مانند
\[ GL(n,\mathbb{R}) \]) با ساختار یکنواخت چپ-ناوردا.
