定義
Kを非Archimedes的でnontrivially valuedな完備体とする。
EをK上のHausdorffな局所凸空間とし、Aをその絶対凸部分集合とする。このとき、Aがc-compactであるとはAの任意の相対閉である凸集合の族で有限交叉性をもつものが空でない共通部分を持つことをいう。
性質
注意
出典
W. H. Schikhof, Compact-like sets in non-archimedean functional analysis, Proc. conference of p-adic analysis, Hengelhoel, 1986.http://dare.ubn.kun.nl/bitstream/2066/59396/1/39______.PDF
T. A. Springer, Une notion de compacité dans le théorie des espaces vectorials topologiques, Indag. Math. 27, pp.182-189.