一个格 是局部有界的,当且仅当它的每个有限生成子格是有界的。
每个局部有界格是局部次有界的,并且每个局部有界格 在任何非标准放大
中都有一个有界的超有限扩张。后一个非标准性质表征了局部次有界格。
一个局部有界格是局部紧致的,当且仅当它的每个超有限生成扩张是内部紧致的。 也可以证明以下结果,使用这些概念的非标准表征:设 是一个局部有限格,至少有一个严格递增的交自同态和至少一个严格递减的并自同态。 如果
是局部紧致的,那么它是有界的。
一个格 是局部有界的,当且仅当它的每个有限生成子格是有界的。
每个局部有界格是局部次有界的,并且每个局部有界格 在任何非标准放大
中都有一个有界的超有限扩张。后一个非标准性质表征了局部次有界格。
一个局部有界格是局部紧致的,当且仅当它的每个超有限生成扩张是内部紧致的。 也可以证明以下结果,使用这些概念的非标准表征:设 是一个局部有限格,至少有一个严格递增的交自同态和至少一个严格递减的并自同态。 如果
是局部紧致的,那么它是有界的。
此条目由 Matt Insall (作者链接) 贡献
Insall, Matt. "局部有界格". 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/LocallyBoundedLattice.html