Maximal element, I would like a suggestion to be able to prove it

52 Views Asked by At

Let $A$ and $B$ be partially ordered sets, and let $f:A\rightarrow B$ be strictly increasing function. Prove that if $b$ is maximal element of $B$ , then each of $f^{-1}( b)$ is a maximal element of $A$.

1

There are 1 best solutions below

0
On BEST ANSWER

Suppose that, on the contrary, there exists some $a\in A$ such that $f^{-1}(b)<_Aa$. Since $f$ is strictly increasing, then we would have that $f(f^{-1}(b))=b<_Bf(a)$, contradicting the fact that $b$ is a maximal element in the sense of the partial order $<_B$ of $B$.