Relationer (6)
A = {1, 2, 3, 4} R = Ø
REFLEXIV: Nej, då inte alla noder kräver var sin ögla/självslinga.
TRANSITIV: Vad jag hittills har förstått så om vi ser någon ögla så räknas det som om noden är transitiv. Men här finns ingen alls. Hur kan den då ses som transitiv?
SYMMETRISK: Inga pilar så hur bevisar man att den är symmetrisk?
ANTISYMMETRISK: Samma som symmetrisk; hur bevisar man att den är antisymmetrisk utan några riktningar?
För alla noder som pekar på en annan nod så gäller också att den andra noden pekar på den första eftersom det inte finns några. Slutligen så gäller att om nod a pekar på b och b pekar på c så medför det a pekar på c, än en gång för att det inte finns några noder som pekar på varandra.
Edit: Rättade fel. R är inte reflexiv av anledningen du skriver.
Antisymmetri säger att . Finns det inga noder som uppfyller kravet är implikationen automatiskt sann. Eftersom det inte finns några relationer alls, måste grafen vara antisymmetrisk. På samma sätt fungerar det för symmetri, där regeln är att . Det finns inga relationer, alltså är grafen symmetrisk. Detta är ett av få tillfällen då en graf är både symmetrisk och antisymmetrisk.
