Talk:Order dimension

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Low-priority)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Low Priority
 Field: Foundations, logic, and set theory

Following claim is incorrect: It can be shown that any nonempty family R of linear extensions is a realizer if and only if, for every critical pair (x,y) of P, y <i x for some order <i in R.

If we take 2 copies of \mathbb{Z}, each with the default ordering, but no relation between the copies, then there are obviously no critical pairs at all. Now assume that we extend this to a total ordering by requiring that all the elements of the first copy are smaller than all the elements of the second copy. The claim says that this single linearly ordered set is a realizer of our original partial order, which is clearly untrue. Finiteness (of P) seems to be sufficient, but not necessary.

Leen Droogendijk (talk) 15:04, 20 June 2012 (UTC)