擬桶型空間

基本介紹

在局部凸空間E內，吸收的絕對凸閉集稱為桶集(barrel)，在序列完備空間內，因而在擬完備空間內，桶集吸收每個有界集。如果一個局部凸空間的每個桶集都是0的鄰域，則此空間稱為桶灶踏滲局型空間。在一個局部凸空間內，如果每個吸收一切有界集的桶集都是0的鄰域，則這樣的局部凸空間稱為擬桶型空間。又當吸收每個有界集的絕對凸集是0的鄰域時，這種局部凸空間就稱為有界型的。有界型空間是擬桶型的，但不一定是桶型的，桶型空間也不一定是有界型的，可度量化局部凸空間，即其拓撲由至多可數個半範數所確定的空間，是有界型空間。完備的並且可度量化的局部凸空間稱為局部凸Fréchet空間(locally convex Fréchetspace)或F空間((F)-space)。槳陵己淚F空間又簡稱Fréchet空間(Fréchet space)。為了和Banach空間那一條中的Fréchet空間有所區別，有時稱後者為Banach意義下的Fréchet空間(Fréchet space in the sense of Banach)。F空間是有界型的並且狼煉是桶型的。

兩個局部凸空間之間的連續線性映射

把E的有界集映為F的有界集。反之，當E是有界型空間時，把E的每個有界點列映成F的有界點列的線件映射是連續的。

相關概念

桶型空間

桶型空間(barreled space)是一類局部凸空間，設E是局部凸空間，E中的吸收的均衡凸閉集稱為桶集。在序列完備空間中，因而在有界完備空間中，桶集吸收每個有界集，如果局部凸空間E的每個桶集都是零元的鄰域，則E稱為桶型空間，E成為桶型空間的充分必要條件是每個下半連續的半範數必是連續的。桶型空間的研究與一致有界定理在拓撲線性空間中的推廣有密切的聯繫。

麥基空間

擬桶型空間是麥基空間。

麥基空間(Mackey space)是一類局部凸空間，設

為對偶線性空間，在Y的每個弱緊凸集上一致收斂的拓撲是一種可允許拓撲，稱為X上的麥基拓撲，記為

。X上一個局部凸拓撲成為相容拓撲的充分必要條件是它比弱拓撲

強，而比

弱。麥基拓撲是最強的相容拓撲。原來的拓撲與麥基拓撲

相同的局部凸空間E稱為麥基空間。擬桶型空間是麥基空間。

自反局部凸空間

自反局部凸空間(reflexive locally convex space)是一類局部凸空間。設E是局部凸空間，則賦予強拓撲的共軛空問

的共軛空間

包含原來的空間E，當

時，稱E是半自反的。進一步當E的拓撲和強拓撲

一致時，稱E為自反的。E為半自反的充分必要條件是E的任意有界弱閉凸集是弱緊的，E為自反的充分必要條件是E為半自反的且是擬桶型的。對於賦可列范線性空間，自反和半自反是一致的。

DF空間

DF空間是一頸贈樂種可數的擬桶型空間。滿足下面兩個條件的局部凸空間稱為DF空間((DF)-space)：1)具有有界集的可數基，ii)如果0的可數個絕對凸且閉的鄰域的交V吸收一切有界集，則V也是0的鄰域。F空間的對偶空間是DF空間，DF空間的對偶空間是F空間。為使DF空間E到局部凸空間F內的線性映射是連續的，其充分必要條件是此映射在任一有界集上的限制是連續的。擬完備DF空間是完備空間。

由兩個局部凸空間