Matematyka.pl

Wykaż, że jeśli \(\displaystyle{ \langle A, qslant \rangle}\) jest porządkiem liniowym, to \(\displaystyle{ \langle A ^{*} , \preceq \rangle}\) też jest porządkiem liniowym (udowodnij tylko liniowość). Czy zachodzi implikacja w drugą stronę?

raphel pisze:Wykaż, że jeśli \(\displaystyle{ \langle A, qslant \rangle}\) jest porządkiem liniowym, to \(\displaystyle{ \langle A ^{*} , \preceq \rangle}\) też jest porządkiem liniowym (udowodnij tylko liniowość). Czy zachodzi implikacja w drugą stronę?

Wypadałoby dodać, że \(\displaystyle{ \langle A ^{*} , \preceq \rangle}\) to zbiór słów nad alfabetem \(\displaystyle{ A}\) z porządkiem leksykograficznym, bo inaczej mało kto domyśli się, o co chodzi...

JK