Enjeksiyon metrik uzay - Injective metric space

İçinde metrik geometri, bir enjekte metrik uzayveya eşdeğer olarak a hiperkonveks metrik uzay, bir metrik uzay gerçek çizgiyi ve gerçek çizgiyi genelleyen belirli özelliklere sahip L_∞ mesafeler yüksek boyutlu vektör uzayları. Bu özellikler, görünüşte farklı iki şekilde tanımlanabilir: hiperkonveksite, uzaydaki kapalı topların kesişme özelliklerini içerirken, enjektivite şunları içerir: izometrik gömmeler daha geniş alanlara. Bununla birlikte, Aronszajn ve Panitchpakdi'nin bir teoremidir (1956; bkz. ör. Chepoi 1997 ) bu iki farklı tanım türü eşdeğerdir.

Hiperkonveksite

Bir metrik uzay X olduğu söyleniyor hiperkonveks Öyleyse dışbükey ve kapalı toplar ikili var Helly mülk. Yani,

1. herhangi iki nokta x ve y ile bağlanabilir izometrik görüntü noktalar arasındaki mesafeye eşit uzunlukta bir çizgi parçasının (yani X bir yol alanıdır) ve
2. Eğer F herhangi bir kapalı top ailesi

${ displaystyle { bar {B}} _ {r} (p) = {q orta d (p, q) leq r }}$

öyle ki her bir çift top F tanış, o zaman bir nokta var x tüm toplarda ortak F.

Eşdeğer olarak, eğer bir dizi nokta p_ben ve yarıçaplar r_ben > 0 tatmin eder r_ben + r_j ≥ d(p_ben,p_j) her biri için ben ve jo zaman bir nokta var q mesafe içindeki metrik uzay r_ben her biri için p_ben.

Enjeksiyonluk

Bir geri çekme bir metrik uzay X bir işlev ƒ haritalama X kendi alt uzayına, öyle ki

1. hepsi için x, ƒ(ƒ(x)) = ƒ(x); yani, ƒ ... kimlik işlevi görüntüsünde (yani, etkisiz ), ve
2. hepsi için x ve y, d(ƒ(x), ƒ(y)) ≤ d(x, y); yani, ƒ dır-dir genişlemeyen.

Bir geri çekmek bir alanın X alt uzayı X bu bir geri çekmenin görüntüsüdür. bir metrik uzayX olduğu söyleniyor enjekte edici ne zaman olursa olsun X dır-dir eş ölçülü bir altuzayaZ bir alanınY, bu alt uzay Z geri çekilmiştirY.

Örnekler

Hiperkonveks metrik uzayların örnekleri şunları içerir:

• Gerçek çizgi
• Herhangi bir vektör uzayı R^d ile L_∞ mesafe
• Manhattan mesafesi (L₁) düzlemde (döndürme ve ölçeklemeye eşdeğerdir) L_∞), ancak daha yüksek boyutlarda değil
• dar aralık bir metrik uzay
• Hiç gerçek ağaç
• Amaç(X) - görmek Alt uzayını hedefleyen metrik uzay

Hiperkonveksite ve enjektivite arasındaki eşdeğerlik nedeniyle, bu boşlukların hepsi aynı zamanda enjekte edicidir.

Özellikleri

Enjeksiyon alanında, yarıçapı minimum top herhangi bir set içeren S yarısına eşittir çap nın-nin S. Bu, yarıçaplı topların yarıçaplı, noktalarında ortalanmış olmasından kaynaklanır. S, ikili olarak kesişir ve bu nedenle hiper konveksite ile ortak bir kesişme vardır; Bu ortak kesişme noktasında ortalanmış çapın yarısı kadar yarıçaplı bir top tüm S. Bu nedenle, enjeksiyon alanları özellikle güçlü bir formu tatmin eder Jung teoremi.

Her enjeksiyon alanı bir tam alan (Aronszajn ve Panitchpakdi 1956 ), ve hepsi metrik harita (Veya eşdeğer olarak, genişlemeyen haritalama veya kısa harita ) sınırlı bir enjeksiyon uzayında bir sabit nokta (Sinüs 1979; (Soardi 1979 )). Bir metrik uzay, ancak ve ancak bir enjekte edici nesne içinde kategori nın-nin metrik uzaylar ve metrik haritalar. Enjeksiyon alanlarının ek özellikleri için bkz. Espínola ve Khamsi (2001).

Referanslar

• Aronszajn, N.; Panitchpakdi, P. (1956). "Düzgün sürekli dönüşümlerin ve hiper konveks metrik uzayların uzantıları". Pacific Journal of Mathematics. 6: 405–439. doi:10.2140 / pjm.1956.6.405. BAY  0084762.CS1 bakimi: ref = harv (bağlantı) Düzeltme (1957), Pacific J. Math. 7: 1729, BAY0092146.
• Chepoi Victor (1997). "A T_X kesintiler ve ölçümlerle ilgili bazı sonuçlara yaklaşım ". Uygulamalı Matematikteki Gelişmeler. 19 (4): 453–470. doi:10.1006 / aama.1997.0549. BAY  1479014.CS1 bakimi: ref = harv (bağlantı)
• Espínola, R .; Khamsi, M.A. (2001). "Hiperkonveks uzaylara giriş" (PDF). Kirk, W. A .; Sims B. (editörler). Metrik Sabit Nokta Teorisi El Kitabı. Dordrecht: Kluwer Academic Publishers. BAY  1904284.CS1 bakimi: ref = harv (bağlantı)
• Isbell, J. R. (1964). "Enjektif metrik uzaylar hakkında altı teorem". Commentarii Mathematici Helvetici. 39: 65–76. doi:10.1007 / BF02566944. BAY  0182949.CS1 bakimi: ref = harv (bağlantı)
• Sine, R.C. (1979). "Doğrusal olmayan kasılma yarıgruplarında sup norm uzaylarında". Doğrusal Olmayan Analiz. 3 (6): 885–890. doi:10.1016 / 0362-546X (79) 90055-5. BAY  0548959.CS1 bakimi: ref = harv (bağlantı)
• Soardi, P. (1979). "Belirli Banach kafeslerinde genişlemeyen eşlemelerin sabit noktalarının varlığı". American Mathematical Society'nin Bildirileri. 73 (1): 25–29. doi:10.2307/2042874. JSTOR  2042874. BAY  0512051.CS1 bakimi: ref = harv (bağlantı)