1
$\begingroup$

Let there be two sets of points $S$ and $S'$ in $R^d$. $|S| = |S'|$, and for each point $s_i$ in $S$ it exists exactly one corresponding point $s'_i$ in $S'$, such that the ordering of $S$ equals the ordering of $S'$ with respect to any axis of $R^d$.

Is there any term that describes this relationship or 'morphism' between $S$ and $S'$?

E.g. in $R^2$, if $x_{s_i} < x_{s_j}$ then $x_{s'_i} < x_{s'_j}$, or if $y_{s_i} \ge y_{s_j}$ then $y_{s'_i} \ge y_{s'_j}$, etc.

$\endgroup$
  • $\begingroup$ Maybe a general term would be 'order isomorphic'? (en.wikipedia.org/wiki/Order_isomorphism) -- but there might be something more specific? $\endgroup$ – 0__ Jun 29 '11 at 1:09
  • 2
    $\begingroup$ A pointwise order-preserving function or pointwise monotone function. $\endgroup$ – Dave Clarke Jun 29 '11 at 6:47
  • $\begingroup$ I think that simply monotone suffices in this case, because the function maps $S\to S'$. $\endgroup$ – John Moeller Jun 29 '11 at 14:50
1
$\begingroup$

Associate with $S$ and $S'$ the posets $P = (\leq, S)$ and $P' = (\leq, S')$, where $\leq$ is the dominance order in $\mathbb{R}^d$. The function you describe is an isomorphism between $P$ and $P'$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.