3
svar
332
visningar
Relationer, partialordning
Har jag skrivit detta korrekt?
Hur skall jag sedan tänka för att veta det maximala samt minimala elementet?
Antisymmetrin verkar lite skum. Är det inte x och z man ska jämföra, snarare än x och w?
I transitiviteten finns t.ex. fallet x<w inte med. Dessutom är det så att om (x,y)R(w,z) och du antar x=w så vet du att y<=z, du behöver inte anta det sista.
Du kan ta en lite mindre mängd, t.ex. x+y < 8, och rita prickar och pilar i ett koordinatsystem, så blir det tydligt vilka som är mindre än vilka. Är det kanske t o m en total ordning?
Vad menar du med att jag inte behöver anta y<=z?
Apex skrev:Vad menar du med att jag inte behöver anta y<=z?
För att om x=w så säger definitionen av R att om (x,y)R(w,z) så gäller y<=z.
