F alanı - F-space

Olarak fonksiyonel analiz , bir F alanı a, vektör uzayı V üzerinde gerçek veya karmaşık bir birlikte sayıları metrik d  : V x V → ℝ böylece

  1. Skaler çarpım V olan sürekli göre d ve ℝ veya ℂ standart metrik.
  2. İçinde Eklenen V ile ilgili olarak sürekli , d .
  3. Metrik, çeviri değişmezdir ; yani, D ( x + bir , y + a ) = D ( x , y ), tüm X , y ve bir de V .
  4. Metrik uzay ( V , d ) olan tam .

x işlemi || x || := d(0, x ) bir F-norm olarak adlandırılır , ancak genel olarak bir F-normunun homojen olması gerekli değildir. Çeviri değişmezliği ile, metrik F-normundan kurtarılabilir. Böylece, gerçek veya karmaşık bir F-uzayı, tam bir F-normu ile donatılmış bir gerçek veya karmaşık vektör uzayıdır.

Bazı yazarlar F- uzayı yerine Fréchet uzayı terimini kullanır , ancak genellikle "Fréchet uzayı" terimi yerel dışbükey F-uzayları için ayrılmıştır . Diğer bazı yazarlar, "F-uzayı" terimini, yerel dışbükey tam metrikleştirilebilir topolojik vektör uzayı anlamına gelen "Fréchet uzayı" ile eşanlamlı olarak kullanırlar . Metrik, bir F uzayındaki yapının parçası olabilir veya olmayabilir; birçok yazar, yalnızca böyle bir alanın yukarıdaki özellikleri karşılayacak şekilde ölçülebilir olmasını ister.

Örnekler

Tüm Banach uzayları ve Fréchet uzayları F uzaylarıdır. Özellikle, bir Banach uzayı, d ( αx , 0) = |α|⋅ d ( x , 0) için ek bir gereklilik olan bir F uzayıdır .

L p alanlarda , tüm için F-boşluklar içine yapılabilir p ≥ 0 ve için 1 ≥ p yerel olarak dışbükey ve bu nedenle Frechet alanlara ve Banach boşluklar içine yapılabilir.

örnek 1

bir F uzayıdır. Sürekli seminormları ve sürekli lineer fonksiyonelleri kabul etmez - önemsiz ikili uzaya sahiptir .

Örnek 2

Tüm karmaşık değerli Taylor serilerinin uzayı olsun

birim diskinde öyle

o zaman ( 0 < p < 1 için ) p-norm altındaki F boşluklarıdır :

Aslında, bir yarı-Banach cebiridir . Ayrıca, harita ile herhangi biri için sınırlı bir doğrusaldır (çarpımsal işlevsel) .

Yeterli koşullar

Teoremi  (Klee)  -  Let d olmak herhangi bir vektör alanı mt x topolojisi şekilde τ ile indüklenen d üzerine X yapar ( X , τ) bir topolojik vektör boşluğa. Eğer ( X , d ), sonra da tam bir metrik uzay ( X , τ) tam-TVS olup.

İlgili özellikler

Ayrıca bakınız

Referanslar