strictly-increasing-map-that-is-not-one-to-one-image

A strictly increasing map that is not one-to-one

Consider two partially ordered sets (E,) and (F,) and a strictly increasing map f:EF. If the order (E,) is total, then f is one-to-one. Indeed for distinct elements x,yE, we have either x<y or y<x and consequently f(x)<f(y) or f(y)<f(x). Therefore f(x) and f(y) are different. This is not true anymore for a partial order (E,). We give a counterexample.

Consider a finite set E having at least two elements and partially ordered by the inclusion. Let f be the map defined on the powerset (E) that maps AE to its cardinal |A|. f is obviously strictly increasing. However f is not one-to-one as for distincts elements a,bE we have f({a})=1=f({b})

Leave a Reply