نقشه های یکنواخت مداوم [ ویرایش ]
نقشهاگر برای همه باشد به طور یکنواخت ادامه دارد
وجود دارد
به طوری که
هر نقشه یکنواخت مداوم پیوسته است اگر این حرف درست باشد
جمع و جور است ( قضیه هاینه – کانتور ).
نقشه های یکنواخت پیوسته توالی های کوشی را به داخل تبدیل می کنند به توالی های کوشی در
. برای نقشه های مداوم ، این معمولاً اشتباه است. به عنوان مثال ، یک نقشه مداوم از فاصله باز
به خط واقعی برخی از توالی های کوشی را به توالی های بی حد و حصر تبدیل می کند.
نقشه ها و انقباضات مداوم لیپشیتس [ ویرایش ]
مقاله اصلی: تداوم لیپشیتس
با توجه به یک عدد واقعی، نقشه
است K -Lipschitz مداوم اگر
هر نقشه مداوم با لیپشیتس به طور یکنواخت مداوم است ، اما عکس العمل به طور کلی درست نیست.
اگر، سپس
انقباض نامیده می شود . فرض کنید
و
کامل است اگر
انقباض است ، پس
یک نقطه ثابت منحصر به فرد را قبول می کند ( قضیه نقطه ثابت Banach ). اگر
جمع و جور است ، شرایط را می توان کمی تضعیف کرد:
اگر یک نقطه ثابت منحصر به فرد را بپذیرد
.
ایزومتری [ ویرایش ]
نقشهیک IS همسان اگر
ایزومتری همیشه م injثر است . تصویر یک مجموعه جمع و جور یا کامل در زیر ایزومتری به ترتیب فشرده یا کامل است. با این حال اگر همسان است پوشا ، سپس تصویر از یک بسته (یا باز) مجموعه نیاز نیست بسته شود (یا باز).
شبه ایزومتری [ ویرایش ]
نقشهدر صورت ثابت بودن شبه ایزومتری است
و
به طوری که
و یک ثابت به گونه ای که هر نقطه در
حداکثر فاصله دارد
از نقطه ای از تصویر
.
توجه داشته باشید که شبه ایزومتری برای ادامه دار بودن لازم نیست. شبه ایزومتری ها "ساختار در مقیاس بزرگ" فضاهای متریک را مقایسه می کنند. آنها در تئوری گروه هندسی در رابطه با کلمه متریک استفاده می کنند .
مفاهیم معادل سازی فضای متریک [ ویرایش ]
با توجه به دو فضای متریک و
:
- آنها به نام homeomorphic (توپولوژیکی ریخت) اگر وجود داشته باشد وجود دارد همسانریختی بین آنها (به عنوان مثال، یک پوشا و یکبهیک مداوم در هر دو جهت).
- آنها به نام uniformic (یکنواخت ریخت) اگر وجود داشته باشد وجود دارد ریخت یکنواخت بین آنها (به عنوان مثال، یک پوشا و یکبهیک یکنواخت در هر دو جهت مداوم).
- آنها به نام ایزومتریک اگر وجود داشته باشد وجود دارد دوسویی همسان بین آنها. در این حالت ، دو فضای متریک اساساً یکسان هستند.
- اگر شبه ایزومتری بین آنها وجود داشته باشد ، آنها را شبه ایزومتریک می نامند .
خواص توپولوژیکی [ ویرایش ]
فضاهای متریک پارامپکتاکتیو هستند [7] فضاهای هاوسدورف [8] و از این رو طبیعی هستند (در واقع کاملاً طبیعی هستند). یک پیامد مهم این است که هر فضای متریک پارتیشن های وحدت را می پذیرد و هر تابع با ارزش واقعی پیوسته که در یک زیر مجموعه بسته از یک فضای متریک تعریف شده است ، می تواند به یک نقشه مداوم در کل فضا گسترش یابد (قضیه پسوند Tietze ). همچنین درست است که هر نقشه پیوسته لیپشیتس با ارزش واقعی که در زیرمجموعه ای از یک فضای متریک تعریف شده است ، می تواند به یک نقشه پیوسته لیپشیتس در کل فضا گسترش یابد.
فضاهای متریک ابتدا قابل شمارش هستند زیرا می توان از توپهایی با شعاع منطقی به عنوان پایه محله استفاده کرد.
توپولوژی متریک در یک فضای متریک درشتترین توپولوژی موجود است
نسبت به آن معیار
یک نقشه مداوم از محصول است
با خودش به اعداد واقعی غیر منفی.
فاصله بین نقاط و مجموعه ها ؛ فاصله هاوسدورف و معیار Gromov [ ویرایش ]
یک روش ساده برای ساختن تابعی که یک نقطه را از یک مجموعه بسته جدا می کند (همانطور که برای یک فضای کاملاً منظم لازم است) در نظر گرفتن فاصله بین نقطه و مجموعه است . اگر یک فضای متریک است ،
یک زیر مجموعه از
و
یک نقطه از است
، فاصله را از تعریف می کنیم
به
مانند
جایی که
نشان دهنده حداقل است .
سپس اگر و تنها اگر
متعلق به بسته شدن از
. علاوه بر این ، ما تعمیم زیر را در مورد نابرابری مثلث داریم:
که به ویژه نشان می دهد که نقشه پیوسته است
با توجه به دو زیر مجموعه و
از
، خود را تعریف می کنیم فاصله هاسدورف به
جایی که
نمایندگی برتری است .
به طور کلی ، فاصله هاوسدورفمی تواند بی نهایت باشد اگر هر عنصر از هر یک از مجموعه ها به برخی از عناصر مجموعه دیگر نزدیک باشد ، دو مجموعه در فاصله Hausdorff به یکدیگر نزدیک هستند.
فاصله هاوسدورف مجموعه را برمی گرداند
از همه زیر مجموعه های جمع و جور غیر خالی از
به یک فضای متریک می توان این را نشان داد
کامل است اگر
کامل است (تصور متفاوتی از همگرایی زیرمجموعه های جمع و جور توسط همگرایی کوراتوفسکی ارائه شده است .)
سپس می توان فاصله Gromov – Hausdorff را بین هر دو فضای متریک با در نظر گرفتن حداقل فاصله Hausdorff از نسخه های تعبیه شده ایزومتریک از دو فضا تعریف کرد. با استفاده از این فاصله ، کلاس همه فضاهای متریک جمع و جور در نوع خود به یک فضای متریک تبدیل می شود.
فضاهای متریک محصول [ ویرایش ]
اگر فضاهای متریک هستند ، و
است هنجار اقلیدسی در
، سپس
یک فضای متریک است ، جایی که معیار محصول توسط آن تعریف می شود
و توپولوژی ناشی از آن با توپولوژی محصول موافق است . با معادل سازی هنجارها در ابعاد محدود ، اگر یک معیار معادل بدست آیداست هنجار تاکسی ، یک P-هنجار ، حداکثر هنجار، و یا هر هنجار دیگر است که غیر کاهش عنوان مختصات مثبت
افزایش دو برابر (تولید نابرابری مثلث).
به همین ترتیب ، یک محصول قابل شمارش از فضاهای متریک را می توان با استفاده از متریک زیر بدست آورد
یک محصول غیرقابل شمارش از فضاهای متریک لازم نیست قابل اندازه گیری باشد. مثلا،است اول قابل شمارش و در نتیجه ناتهی یک مجموعه میگر است.
تداوم مسافت [ ویرایش ]
در مورد یک فضای واحد ، نقشه فاصله
(از تعریف ) با توجه به هر یک از معیارهای محصول فوق به طور یکنواخت مداوم است
، و به ویژه با توجه به توپولوژی محصول مداوم است
.
فضاهای متریک کمیت [ ویرایش ]
اگر M یک فضای متریک با متریک است، و
یک رابطه معادل در است
، سپس می توانیم به مجموعه ضریب وقف دهیم
با یک شبه سنجی. با توجه به دو کلاس معادل سازی
و
، تعریف می کنیم
جایی که حداقل از تمام توالی های محدود گرفته می شود و
با
. به طور کلی این فقط یک شبه سنجی را تعریف می کند ، یعنی
لزوماً به این معنی نیست
. با این حال ، برای برخی از روابط معادل سازی (به عنوان مثال ، روابطی که با چسباندن چند وجهی در کنار صورتها داده شده است) ،
یک معیار است
معیار ضریب با ویژگی جهانی زیر مشخص می شود . اگر
یک نقشه متریک بین فضاهای متریک است (یعنی
برای همه
) رضایت بخش
هر زمان که
سپس تابع القا شده
، داده شده توسط
، یک نقشه متریک است
یک فضای توپولوژیکی ترتیبی است اگر و فقط اگر نصف یک فضای متریک باشد. [9]
تعمیم فضاهای متریک [ ویرایش ]
- هر فضای متریک به صورت طبیعی یک فضای یکنواخت است و هر فضای یکنواختی به طور طبیعی یک فضای توپولوژیک است . بنابراین می توان فضاهای یکنواخت و توپولوژیک را تعمیم فضاهای متریک دانست.
- اگر اولین تعریف از فضای متریک را در بالا در نظر بگیریم و نیاز دوم را آرام کنیم ، به مفاهیم یک فضای شبه سنجی یا یک فضای متریک دررفتگی می رسیم . [10] اگر سوم یا چهارم را حذف کنیم ، به یک فضای نیمه سنجی ، یا یک فضای نیم متری می رسیم .
- اگر تابع فاصله در خط عدد توسعه یافته واقعی مقادیر را بدست آورد
، اما در غیر این صورت هر چهار شرط را برآورده می کند ، سپس آن را یک متریک توسعه یافته و فضای مربوطه را an می نامند
فضای -metric . اگر تابع فاصله در برخی از مجموعه های مناسب (مناسب) مقادیر را بدست آورد (و نابرابری مثلث بر این اساس تنظیم شود) ، ما به مفهوم فوق متری تعمیم یافته خواهیم رسید . [10]
- فضاهای رویکرد ، تعمیم فضاهای متریک ، براساس فاصله از نقطه به نقطه ، به جای فاصله از نقطه به نقطه است.
- فضای تداوم یک کلیت از فضاهای متریک و posets ، که می تواند مورد استفاده قرار گیرد برای متحد کردن مفاهیم فضاهای متریک و دامنه .
- یک فضای متریک جزئی در نظر گرفته شده است تا حداقل تعمیم مفهوم فضای متریک باشد ، به این ترتیب که فاصله هر نقطه از خود دیگر لزوماً صفر نیست. [11]
فضاهای متریک به عنوان دسته های غنی شده [ ویرایش ]
مجموعه سفارش داده شده می تواند به عنوان دیده دسته با درخواست دقیقا یک
morphism اگر
و در غیر این صورت هیچ کدام با استفاده از
به عنوان محصول تانسور و
به عنوان هویت ، به یک دسته مونوئید تبدیل می شود
. هر فضای متریک
اکنون می توان به عنوان یک گروه مشاهده کرد
غنی شده بیش از
:
- تنظیم
- برای هر
تنظیم
- شکل ظاهری ترکیب
شکل منحصر به فرد در خواهد بود
از نابرابری مثلث داده شده است
- شکل شناسی هویت
مورفيسم منحصر به فرد خواهد بود از اين واقعيت
.
- از آنجا که
یک پیام است ، تمام نمودارهایی که برای یک گروه غنی شده به طور خودکار رفت و آمد می کنند.
مقاله FW Lawvere را که در زیر لیست شده است مشاهده کنید.
همچنین به [ ویرایش ] مراجعه کنید
- مشکل الکساندروف – راسیاس
- دسته فضاهای متریک
- فضای کلاسیک وینر
- انقباض نقشه - عملکرد کاهش فاصله بین تمام نقاط
- واژه نامه هندسه متریک و متریک - واژه نامه ریاضیات
- فضای هیلبرت - فضای محصول داخلی که از نظر متریک کامل است. یک فضای Banach که هنجار آن باعث تولید داخلی می شود (هنجار هویت متوازی الاضلاع را برآورده می کند)
- چهارمین مشکل هیلبرت
- ایزومتری
- تداوم Lipschitz - شکل قوی تداوم یکنواخت
- اندازه گیری (ریاضیات) - تعمیم طول ، مساحت ، حجم و انتگرال
- متریک (ریاضیات) - فاصله تعریف تابع ریاضی
- نقشه متریک
- امضای متریک
- تانسور متریک
- درخت متریک
- نرمال (ریاضیات) - طول در یک فضای بردار
- فضای بردار نرم شده - فضای بردار که در آن فاصله مشخص می شود
- متریک محصول
- فضا (ریاضیات) - مجموعه ای ریاضی با برخی ساختارهای اضافه شده
- نابرابری مثلث - ویژگی هندسه ، همچنین برای تعمیم مفهوم "فاصله" در فضاهای متریک استفاده می شود
- فضای فرا متریک - نوعی از فضای متریک که در آن نابرابری مثلث با نابرابری قوی تر با استفاده از حداکثر به جای جمع جایگزین می شود



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