Well-founded ordering on natural numbers

Question

Let us define the following ordering on $\mathbb{N} = \{1,2,3,\ldots\}$.

$\forall x,y \in \mathbb{N}, \ x \succ y \Leftrightarrow \exists k \in \mathbb{N}-\{1\}\text{ s.t. } x = ky$

Is this ordering well-founded?

---

Our definition of a well-founded ordering, is that it is a strict partial order, and there are no infinite descending chains.

I have already shown that this defines a strict partial order. I have also read that the second condition is equivalent to: "For every subset $S \subseteq \mathbb{N}$, there exists a minimal element."

For this relation, for every $S$, there exists an element $m$ such that there does not exist an $x \in S$ such that $m \succ x$.

It is also the case that, there does not exist an $m \in S$ such that $x \succ m$ for every $x \in S$ ($m \neq x$).

Obviously, I am a bit unclear on the precise definition of well-founded ordering! Which argument is correct?

Answer 1

"For this relation, for every S, there exists an element m such that there does not exist an x∈S such that m≻x. "

Yes, and there may be more than 1. They are all minimal. minimal means there is no $y < m$. It does not mean that $m < w$ for all $w$. As $>$ is a partial, not total, this is perfectly acceptable.

Let $S$ be all multiples of $5$ and $7$. Then there is no $x < 5$ and there is no $x < 7$. They are both minimal. $5$ and $7$ can not be related to each other.

"It is also the case that, there does not exist an m∈S such that x≻m for every x∈S (m≠x)."

Um, it depends on $S$. If $S$ is all multiples of $3$ then $3 < x$ for every $s \in S$. But in general, no there need not be any such element.

Answer 2

Maybe the quickest way to answer the well-foundedness question in this case begins by noting that if $x\succ y$ then $x>y.$ (Exercise: Figure out what that is true.) For any $\varnothing\ne S\subseteq\mathbb N,$ find a member of $S$ that is smallest with respect to the familiar order. Show that it is minimal, i.e. no other element is smaller than it in this proposed order, although some may be incomparable with it.

Answer 3

Given your analysis so far, you should be able to see that the property equivalent to lack of infinite descending chains is the one that says that for every nonempty subset there exists a minimal element.

That is, an element $m$ such that no other element in the subset precedes it in the strict partial order.