خريطة مترية

في التحليل الرياضي ، يُعرَّف التطبيق المتري بأنه دالة بين فضاءات مترية لا تزيد المسافة بينها. تُعرف هذه التطبيقات باسم التشكلات في فئة الفضاءات المترية ، Met . [ 1 ] وتكون هذه الدوال متصلة دائمًا . وتُسمى أيضًا دوال ليبشيتز ذات ثابت ليبشيتز يساوي 1، أو التطبيقات غير التوسعية ، أو التطبيقات غير المتوسعة ، أو الانقباضات الضعيفة ، أو التطبيقات القصيرة .

على وجه التحديد، لنفترض أنX{\displaystyle X}وY{\displaystyle Y}هي فضاءات مترية وو{\displaystyle f}هي دالة منX{\displaystyle X}لY{\displaystyle Y}وبالتالي، لدينا خريطة مترية عندما، لأي نقاطx{\displaystyle x}وy{\displaystyle y}فيX{\displaystyle X}، دY(و(x)،و(y))دX(x،y).{\displaystyle d_{Y}(f(x),f(y))\leq d_{X}(x,y).\!} هنادX{\displaystyle d_{X}}ودY{\displaystyle d_{Y}}تشير إلى المقاييس علىX{\displaystyle X}وY{\displaystyle Y}على التوالى.

أمثلة

لنفترض الفضاء المتري[0،1/2]{\displaystyle [0,1/2]}باستخدام المقياس الإقليدي . ثم الدالةو(x)=x2{\displaystyle f(x)=x^{2}}هي خريطة مترية، لأن لـxy{\displaystyle x\neq y}،|و(x)-و(y)|=|x+y||x-y|<|x-y|{\displaystyle |f(x)-f(y)|=|x+y||xy|<|xy|}في هذا المثال، ثابت ليبشيتز هو 1، وهذا يعني وجود خريطة مترية.

فئة الخرائط المترية

إن تركيب دالة لخريطتين متريتين هو خريطة مترية أخرى، وخريطة التطابق.أنادم:مم{\displaystyle \mathrm {id} _{M}\colon M\rightarrow M}في فضاء متريم{\displaystyle M}هي دالة مترية، وهي أيضًا العنصر المحايد لتركيب الدوال. بالتالي، تُشكّل الفضاءات المترية مع الدوال المترية فئةً تُسمى Met . تُعدّ Met فئةً فرعيةً من فئة الفضاءات المترية ودوال ليبشيتز. تكون الدالة بين الفضاءات المترية متساوية القياس إذا وفقط إذا كانت دالة مترية تقابلية ، وعكسها دالة مترية أيضًا. لذا، فإن التشاكلات في Met هي تحديدًا المتساويات القياس.

نسخة متعددة القيم

رسم الخرائطتي:Xشمال(X){\displaystyle T\colon X\to {\mathcal {N}}(X)}من فضاء متريX{\displaystyle X}إلى عائلة المجموعات الفرعية غير الفارغة منX{\displaystyle X}يُقال إنها ليبشيتز إذا وُجدل0{\displaystyle L\geq 0}بحيث ح(تيx،تيy)لد(x،y)،{\displaystyle H(Tx,Ty)\leq Ld(x,y),} للجميعx،yX{\displaystyle x,y\in X}، أينح{\displaystyle H}هي مسافة هاوسدورف . عندمال=1{\displaystyle L=1}،تي{\displaystyle T}يُطلق عليه اسم غير قابل للتمدد ، وعندمال<1{\displaystyle L<1}،تي{\displaystyle T}يُطلق عليه اسم الانقباض .

انظر أيضاً

مراجع