Unionen av to ekvivalensrelasjoner.
Moderators: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa
La S={x,y,z} være en mengde bestående av elementene x,y og z.
La $R_1$ være ekvivalensrelasjonen bestående av parene (x,x), (y,y), (z,z), (x,y) og (y,x) , (der (x,y) betyr at x er ekvivalent med y osv.)
La $R_2$ være ekvivalensrelasjonen bestående av parene (x,x), (y,y), (z,z), (x,z) og (z,x)
(Disse er opplagt refleksive, symmetriske og transitive)
Vi ønsker å vise at $R_1\cup R_2$ som består av alle de 10 parene over, ikke er en ekvivalensrelasjon:
Vi har at (y,x) og (x,z) er elementer i $R_1\cup R_2$. Dersom $R_1\cup R_2$ skulle vært en ekvivalensrelasjon måtte den vært transitiv, og da måtte $(y,z)\in R_1\cup R_2$, men det er ikke tilfelle. Derfor er $R_1\cup R_2$ ikke en ekvivalensrelasjon.
La $R_1$ være ekvivalensrelasjonen bestående av parene (x,x), (y,y), (z,z), (x,y) og (y,x) , (der (x,y) betyr at x er ekvivalent med y osv.)
La $R_2$ være ekvivalensrelasjonen bestående av parene (x,x), (y,y), (z,z), (x,z) og (z,x)
(Disse er opplagt refleksive, symmetriske og transitive)
Vi ønsker å vise at $R_1\cup R_2$ som består av alle de 10 parene over, ikke er en ekvivalensrelasjon:
Vi har at (y,x) og (x,z) er elementer i $R_1\cup R_2$. Dersom $R_1\cup R_2$ skulle vært en ekvivalensrelasjon måtte den vært transitiv, og da måtte $(y,z)\in R_1\cup R_2$, men det er ikke tilfelle. Derfor er $R_1\cup R_2$ ikke en ekvivalensrelasjon.