Tam metrik uzay

Matematiksel analizde, *M* metrik uzay olmak üzere*,* elemanları *M* 'de olan her Cauchy dizisinin yine *M*'de bir limiti varsa veya alternatif olarak, *M'<nowiki/>*deki her Cauchy dizisi yine *M*'de yakınsaksa *M* metrik uzayına **tam (veya Cauchy uzayı) denir.**

Sezgisel olarak, bir uzay içinde veya sınırlarında eksik bir nokta yoksa tamdır. Örneğin, rasyonel sayılar kümesi tam değildir, çünkü her ne kadar <math>\sqrt{2}</math> 'ye yakınsayan rasyonel sayılardan oluşan bir Cauchy dizisi oluşturulabilse de bu nokta uzayda eksiktir (aşağıdaki diğer örneklere bakınız). Aşağıda açıklandığı gibi verilen bir uzayı *tamlaştırılmak* için "tüm delikleri doldurmak" her zaman mümkündür.

## Örnekler
Rasyonel sayılar uzayı \scriptstyle\mathbb{Q}, farkın mutlak değeri olarak tanımlanan standart metrik ile tam değildir. Örneğin, x_1 = 1 ve x_{n+1} = \frac{x_n}{2} + \frac{1}{x_n}  şeklinde verilen dizi göz önüne alınsın. Bu rasyonel sayılardan oluşan bir Cauchy dizisidir, ancak herhangi bir rasyonel bir limite yakınsamaz: Eğer bu dizinin limiti var ve limit x ise, o zaman x = \frac{x}{2} + \frac{1}{x} eşitliğinden x^2=2 bulunur ki  hiçbir rasyonel sayı bu özelliği taşımaz. Bununla birlikte, aynı dizi gerçek sayıların bir dizisi olarak kabul edilirse  \sqrt{2} irrasyonel sayısına yakınsar.

Yine mutlak değer metriğiyle (0, 1) açık aralığı  da tam değildir.x_n= \frac{1}{n} ile tanımlanan dizi Cauchy dizisidir, fakat verilen uzayda bir limiti yoktur. Ancak [0, 1] kapalı aralığı tamdır; örneğin, verilen dizinin bu aralıkta bir limiti vardır ve bu limit sıfırdır.

Reel sayılar uzayı \scriptstyle\mathbb{R} ve karmaşık sayılar uzayı \scriptstyle\mathbb{C}(mutlak değer yardımıyla oluşturulan metrikle) tamdır ve bu nedenle Öklit uzaklık metriği ile verilen Öklid uzayı \scriptstyle\mathbb{R}^n de  tamdır. Buna karşılık, sonsuz boyutlu normlu vektör uzayları tam olabilir de olmayabilir de; tam olanları Banach uzaylarıdır. Kapalı ve sınırlı bir aralıkta sürekli reel değerli fonksiyonların uzayı C[a,b] bir Banach uzayıdır ve dolayısıyla supremum normuna göre tam bir metrik uzaydır. Ancak supremum normu (a,b) aralığındaki sürekli fonksiyonlar uzayı C(a,b) üzerinde bir norm oluşturmaz, çünkü sınırsız fonksiyonlar içerir. Bunun yerine, kompakt yakınsamanın topolojisi ile, C(a,b) uzayına bir Fréchet uzayı yapısı verilebilir: bu uzay, üzerindeki topoloji öteleme dönüşümü altında değişmeyen tam bir metrik ile oluşturulabilen lokal konveks bir topolojik vektör uzayıdır.

''P'' -sel sayıların uzayı \scriptstyle\mathbb{Q}_p, herhangi bir p asal sayısı için tamdır. Bu uzay, p-sel metriğiyle \scriptstyle\mathbb{Q}**<nowiki/>'<nowiki/>**yu, tıpkı \scriptstyle\mathbb{R}**<nowiki/>'<nowiki/>**nin \scriptstyle\mathbb{Q}**<nowiki/>**'yu normal metrikle tamamladığı gibi tamamlar.

S keyfi bir küme olmak üzere, S kümesi üzerindeki tüm dizilerin kümesi S^N tam metrik uzaydır. Gerçekten (x_n) ve (y_n) dizileri arasındaki uzaklığı; x_N ile  y_N *yi* farklı yapan en küçük indis N olmak üzere , böyle bir indis yoksa 0 olarak tanımlanırsa görülebilir. Bu uzay, S ayrık uzayının sayılabilir sayıda kopyasının çarpımı ile homeomorftur.

## Bazı teoremler
*X* metrik uzayının tam olması için gerek ve yeter koşul, *X*'in boş olmayan kapalı alt kümelerinin, çapları 0'a yakınsayan, her azalan dizisinin arakesitinin boş kümeden farklı olmasıdır: *F**n* kapalı ve boş olmayan küme, her *n* için  ve  ise o zaman tüm *F**n* kümelerinde ortak bir  noktası vardır.

Her kompakt metrik uzay tamdır, ancak her tam uzay kompakt olmayabilir. Aslında, bir metrik uzayın kompakt olması için gerek ve yeter koşul tam ve tamamen sınırlı olmasıdır. Bu ifade, \scriptstyle\mathbb{R}^n\scriptstyle\mathbb{R}^n  nin herhangi bir kapalı ve sınırlı S  alt uzayı kompakt (dolayısıyla tam) olduğunu ifade eden Heine Borel teoreminin bir genellemesidir.

 tam bir metrik uzay olsun.  kapalı ise, *A* aynı zamanda tamdır.  metrik bir uzay olsun.  tam bir alt uzaysa, *A* kapalıdır.

*X* bir küme ve *M* bir tam metrik uzay olmak üzere, X'ten M'ye giden tüm sınırlı  fonksiyonların kümesi B(X, M) bir tam metrik uzaydır. Burada B(X, M)'dek uzaklık fonksiyonunu supremum normu ile *M*'deki metrik cinsinden şöyledir:

: d(f, g) \equiv \sup\left\{d[f(x), g(x)]: x \in X \right\}.

*X* bir topolojik uzay ve *M* bir tam metrik uzay ise, **'<math>X</math>'<nowiki/>**'ten **'<math>M</math>***ye sürekli ve sınırlı  *f* fonksiyonların kümesi <math>C_b(X,M)</math>, <math>B(X,M)</math>'nin kapalı bir alt uzayıdır ve böylece tamdır.

Baire kategori teoremi, her tam metrik uzayın bir Baire uzayı olduğunu ifade eder. Yani, bu uzayın hiçbir yerde yoğun olmayan alt kümeleri sayılabilir [[Birleşme özelliği (küme teorisi)|birleşiminin]] içi boştur.

[[Banach sabit nokta teoremi]], tam metrik uzaydaki bir daraltan(büzülme) dönüşümün sadece ve sadece bir tek sabit noktaya sahip olduğunu belirtir. Bu sabit nokta teoremi genellikle Banach uzayları gibi tam metrik uzaylarda [[ters fonksiyon teoremi]]ni kanıtlamak için kullanılır.

Bir metrik uzayın genişleme sabiti, tüm <math>\textstyle \mu</math> sabitlerin infimumudur öyle ki  <math>\textstyle \left\{ \overline{B}(x_\alpha,\, r_\alpha) \right\}</math> ailesi ikişerli olarak kesiştiğinde,

: <math>\bigcap_\alpha \overline{B}(x_\alpha, \mu r_\alpha)</math>

kesişimi boştan farklı olur. Bir metrik uzay ancak ve ancak genişleme sabiti 2'den küçükse tamdır.

== Tamlaştırma ==
Herhangi bir <math>M</math> metrik uzayı için, <math>M</math>'yi yoğun alt uzay olarak ihtiva eden bir *M^{\prime}*(veya <math>\overline{M}</math> ile de gösterilir) tam metrik uzay elde edilebilir. Bu uzay aşağıdaki evrensel özelliğe sahiptir: *N* herhangi bir tam metrik alan ve *ön* herhangi biri olup olmadığını düzgün sürekli fonksiyon *N* *M,* daha sonra vardır [[Biricik|benzersiz]] *f* uzanan *N* **<nowiki/>'M'<nowiki/>** düzgün sürekli fonksiyon *f.* *M *' boşluğu, bu özellik tarafından izometriye kadar belirlenir (izometrik olarak *M* içeren tüm tam metrik uzaylar arasında) ve *M'nin* *tamamlanması* olarak adlandırılır.

== Kaynakça ==


== Bibliyografya ==
* 
* Kreyszig, Erwin, *Introductory functional analysis with applications'' (Wiley, New York, 1978). 
* Lang, Serge, "Real and Functional Analysis"     
*