请输入您要查询的百科知识:

 

词条 Containment order
释义

  1. See also

  2. References

In the mathematical field of order theory, a containment order is the partial order that arises as the subset-containment relation on some collection of objects. In a simple way, every poset P = (X,≤) is (isomorphic to) a containment order (just as every group is isomorphic to a permutation group - see Cayley's theorem). To see this, associate to each element x of X the set

then the transitivity of ≤ ensures that for all a and b in X, we have

There can be sets of cardinality less than such that P is isomorphic to the containment order on S. The size of the smallest possible S is called the 2-dimension of S.

Several important classes of poset arise as containment orders for some natural collections, like the Boolean lattice Qn, which is the collection of all 2n subsets of an n-element set, the interval-containment orders, which are precisely the orders of order dimension at most two, and the dimension-n orders, which are the containment orders on collections of n-boxes anchored at the origin. Other containment orders that are interesting in their own right include the circle orders, which arise from disks in the plane, and the angle orders.

See also

  • Birkhoff's representation theorem
  • Intersection graph
  • Interval order

References

  • {{cite journal

|author1=Fishburn, P.C. |author2=Trotter, W.T.
| title = Geometric containment orders: a survey
| journal = Order
| volume = 15
| year = 1998
| pages = 167–182
| doi = 10.1023/A:1006110326269
| issue = 2}}
  • {{cite journal

| author = Santoro, N., Sidney, J.B., Sidney, S.J., and Urrutia, J.
| title = Geometric containment and partial orders
| journal = SIAM Journal on Discrete Mathematics
| volume = 2
| year = 1989
| pages = 245–254
| doi = 10.1137/0402021
| issue = 2| citeseerx = 10.1.1.65.1927{{algebra-stub}}

1 : Order theory

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/22 4:29:27