Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $(\mathbb N^* \times \mathbb N^*, \varphi)$ be a poset defined as follows:

$$\begin{aligned} (a,b)\varphi(c,d)\Leftrightarrow ab<cd \text{ or } (a,b) = (c,d)\end{aligned}$$

Check if $\varphi$ is a total order and determine maximum, minimum, maximal and minimal elements.

It's easy to prove that $\varphi$ is not total because as we consider $(a,b),(c,d) \in \mathbb N^* \times \mathbb N^* : a = d \text{ and } b = c$ then

$$\begin{aligned} ab \nless cd \text{, } cd \nless ab \text{ and } (a,b) \neq (c,d)\end{aligned}$$

What I am having a very hard time with is spotting maximum, minimum, maximal and minimal elements. In my opinion the poset doesn't have any maximum or maximal elements as $\mathbb N^* \times \mathbb N^*$ is infinite, but it does have a minimal element which is $(1,1)$. Given that $\nexists (\varepsilon, \varepsilon') : 1 = \varepsilon' \text{ and } 1 = \varepsilon$ and $(1,1) \neq (\varepsilon, \varepsilon')$ then $(1,1)$ is comparable to all elements in $\mathbb N^* \times \mathbb N^*$, does this make it also the minimum?

share|improve this question
    
Pardon my ignorance, but what is $\mathbb{N}^*$ again? –  01000100 Aug 26 '12 at 11:12
    
@DanielPietrobon $\mathbb N^* = \mathbb N \backslash \{0\}$. –  haunted85 Aug 26 '12 at 11:15
add comment

1 Answer 1

up vote 2 down vote accepted

I think your reasoning is sound enough.

If there is a maximal element, $(c,d)$ say, then $(a,b) \varphi (c,d)$ for all other elements $(a,b)$ in $\mathbb{N}^* \times \mathbb{N}^*$ which implies that: \begin{equation} ab < cd \text{ or } (a,b)=(c,d) \end{equation} But then $(c,d) \varphi (c+1,d)$ since $cd < (c+1)d$ contradicting the maximality of $(c,d)$.

Finally, $(1,1)$ is the minimal element as $1 \cdot 1=1$ is the smallest a product of two elements in $\mathbb{N}^*$ can be. That is, any other element $(e,f)$ has $e>1$ or $f>1$ In the first case, $(1,1) \varphi (e,f)$ since $1\cdot 1 < e \leq ef$. The second case is similar.

Also I like your profile: "Just a guy who hopes to live through his algebra exam." +1 for having realistic goals, haha.

share|improve this answer
1  
Also, the existence of a maximum element implies the existence of a maximal element. Your proof shows there is no maximal element, so by the contraposition, there is no maximum element. –  ladaghini Aug 26 '12 at 11:46
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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