Prove that

length(P x Q) = length(P) + length(Q)

where P, Q are ordered sets of finite length.

Any ideas of where to start...

Printable View

- October 4th 2011, 11:28 PMGokulength of Lattices
Prove that

**length(P x Q) = length(P) + length(Q)**

where P, Q are ordered sets of finite length.

Any ideas of where to start... - October 5th 2011, 11:21 AMemakarovRe: length of Lattices
What is the definition of the length of an ordered set? Are we talking about partial or total orders?

- October 5th 2011, 01:37 PMGokuRe: length of Lattices
partially ordered sets, where the length is the the size of the longest chain in the poset.

- October 5th 2011, 02:10 PMemakarovRe: length of Lattices
If and are chains in P and Q, respectively, then is a chain in P x Q, so length(P x Q) >= length(P) + length(Q). Conversely, if you have a chain in P x Q, then for each you have or (or both). So, you can construct chains in P and Q whose total length is >= n. This means that length(P) + length(Q) >= length(P x Q).