囿空间

囿空间(bornologic space)是一类局部凸空间，设E是局部凸空间，如果E中每个均衡凸的囿集都是零元的邻域，则称E是囿空间或有界型空间。局部凸空间是囿的，当且仅当在每个有界集上有界的半范数是连续的。设E是囿空间，E1是局部凸空间，则由E到E1的有界线性映射必是连续的。