EDB — 0DQ

Esercizi

1. [0DQ]Difficoltà:*.(Proposto il 2022-12) Sia dato l’insieme (parzialmento) ordinato $(X,\le )$; definiamo

   $$P_x\stackrel{.}{=}\{w\in X:w<x\}.$$

   supponiamo che $(X,\le )$ soddisfi questi due requisiti:

   • $$\forall x,y\in X,P_x=P_y\Rightarrow x=y$$

   • ogni insieme non-vuoto $A\subseteq X$ contiene almeno un elemento minimale, cioè

     $$\exists a\in A,\forall b\in A\neg (b<a);$$

   allora $(X,\le )$ è bene ordinato.

   Soluzione 1

   [26R]↺↻