Alt uzayını hedefleyen metrik uzay - Metric space aimed at its subspace

İçinde matematik, bir alt uzayını hedefleyen metrik uzay bir kategorik doğrudan geometrik bir anlamı olan yapı. Aynı zamanda inşaatın inşası için yararlı bir adımdır. metrik zarfveya dar aralık kategorisinin temel (enjekte edici) nesneleri olan metrik uzaylar.

Takip etme (Holsztyński 1966 ), bir metrik uzay kavramı Y alt uzayına yönelik X tanımlanmış.

Gayri resmi giriş

Gayri resmi olarak araziyi hayal edin Yve parçası Xöyle ki nerede olursa olsun Y bir keskin nişancı ve başka bir yere elma koyarsın Yve sonra keskin nişancının ateş etmesine izin verin, mermi elmanın içinden geçecek ve her zaman bir noktaya çarpacaktır. Xveya en azından keyfi olarak şu noktalara yakın uçacak X - sonra bunu söyleriz Y hedefleniyor X.

A priori, belirli bir süre için makul görünebilir X süper uzaylar Y hedefleyen X keyfi olarak büyük veya en azından çok büyük olabilir. Durumun bu olmadığını göreceğiz. İzometrik bir altuzayı hedefleyen uzaylar arasında Xbenzersiz bir (kadar izometri ) evrensel Bir, Amaç (X), kanonik bir anlamda izometrik gömmeler (izometrik bir görüntüsü) X. Ve rastgele bir kompakt metrik uzay özel durumunda X keyfi bir metrik uzayın her sınırlı alt uzayı Y Amaçlanan X dır-dir tamamen sınırlı (yani metrik tamamlanması kompakttır).

Tanımlar

İzin Vermek metrik uzay olabilir. İzin Vermek alt kümesi olmak , Böylece (set metrik ile sınırlı ) bir metrik alt uzayıdır . Sonra

Tanım. Uzay Amaçlıyor ancak ve ancak tüm noktalar için nın-nin ve her gerçek için bir nokta var nın-nin öyle ki

İzin Vermek tüm gerçek değerli alan ol metrik haritalar (olmayan-daralan ) nın-nin . Tanımlamak

Sonra

her biri için bir metrik . Ayrıca, , nerede izometrik bir yerleştirmedir içine ; Bu aslında Kuratowski-Wojdysławski'nin sınırlı metrik uzayların gömülmesinin bir genellemesidir. içine burada keyfi metrik uzayları (sınırlı veya sınırsız) dikkate aldığımız yerde. Açıktır ki alan hedefleniyor .

Özellikleri

İzin Vermek izometrik bir gömme olabilir. Sonra doğal bir metrik harita var öyle ki :

her biri için ve .

Teoremi Boşluk Y yukarıdaki alt uzayı hedefliyor X ancak ve ancak doğal haritalama izometrik bir yerleştirmedir.

Böylece, her alanın amaçladığı X Hedef (X) ile izometrik olarak eşleştirilebilir ve bazı ek (temel) kategorik gereklilikler karşılanabilir.

Alan Amaç (X) enjekte edici (anlamında hiperkonveks Aronszajn -Panitchpakdi) - bir metrik uzay verildiğinde M, Metrik alt uzay olarak Aim (X) içeren, kanonik (ve açık) bir metrik geri çekilme vardır. M Aim (X) üzerine (Holsztyński 1966 ).

Referanslar

  • Holsztyński, W. (1966), "Alt uzaylarını hedefleyen metrik uzaylar üzerine.", Prace Mat., 10: 95–100, BAY  0196709