*定義 [#v45a942c]
Kを非Archimedes的でnontrivially valuedな完備体とする。
EをK上のHausdorffな局所凸空間とし、Aをその絶対凸部分集合とする。このとき、Aがlocal compactoidであるとはEの任意の0の近傍Uに対してEの有限次元K-部分線形空間Dが存在してAがU+Dに含まれることをいう。

*性質 [#m1d9d62a]


*注意 [#xe0a3170]


*出典 [#fa1bf97d]
W. H. Schikhof, [[''Compact-like sets in non-archimedean functional analysis''>http://dare.ubn.kun.nl/bitstream/2066/59396/1/39______.PDF]], Proc. conference of p-adic analysis, Hengelhoel, 1986.