一個格 是區域性有界的,當且僅當它的每個有限生成子格是有界的。
每個區域性有界格是區域性次有界的,並且每個區域性有界格 在任何非標準放大
中都有一個有界的超有限擴張。後一個非標準性質表徵了局部次有界格。
一個區域性有界格是區域性緊緻的,當且僅當它的每個超有限生成擴張是內部緊緻的。 也可以證明以下結果,使用這些概念的非標準表徵:設 是一個區域性有限格,至少有一個嚴格遞增的交自同態和至少一個嚴格遞減的並自同態。 如果
是區域性緊緻的,那麼它是有界的。
一個格 是區域性有界的,當且僅當它的每個有限生成子格是有界的。
每個區域性有界格是區域性次有界的,並且每個區域性有界格 在任何非標準放大
中都有一個有界的超有限擴張。後一個非標準性質表徵了局部次有界格。
一個區域性有界格是區域性緊緻的,當且僅當它的每個超有限生成擴張是內部緊緻的。 也可以證明以下結果,使用這些概念的非標準表徵:設 是一個區域性有限格,至少有一個嚴格遞增的交自同態和至少一個嚴格遞減的並自同態。 如果
是區域性緊緻的,那麼它是有界的。
此條目由 Matt Insall (作者連結) 貢獻
Insall, Matt. "區域性有界格". 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/LocallyBoundedLattice.html