Relasjoner

Relasjoner er sammenhenger som eksisterer mellom elementer i en mengde.

Definisjoner

La <tex>X</tex> være en mengde, og la <tex>a,b,c\in X</tex>. Vi noterer en relasjone mellom <tex>a</tex> og <tex>b</tex> ved å skrive <tex>a\sim b</tex>. La oss se på følgende egenskaper en relasjon kan tenkes å ha:

1. <tex>a\sim a</tex> (Refleksivitet)

2. <tex>a\sim b \, \Leftrightarrow \, b\sim a</tex> (Symmetri)

3. Hvis <tex>a\sim b</tex> og <tex>b\sim a</tex>, så er <tex>a=b</tex> (Antisymmetri)

4. Hvis <tex>a\sim b</tex> og <tex>b\sim c</tex>, så er <tex>a\sim c</tex> (Transitivitet)

Ordningsrelasjoner

En relasjon som oppfyller 1., 3. og 4. kalles en partiell ordningsrelasjon på <tex>X</tex>. I dette tilfellet kan vi skrive <tex>\sim</tex> som <tex>\leq</tex>. En ordning er total (evt. lineær eller enkel), hvis vi for hvert par <tex>a,b\in X</tex> har enten <tex>a\leq b</tex> eller <tex>b\leq a</tex>.

Hausdorffs maksimalitetsprinsipp

La <tex>X</tex> være en mengde med en partiell ordningsrelasjon. Da sier Hausdorffs maksimalitetsprinsipp an enhver totalt ordnet undermengde av <tex>X</tex> er inkludert i en maksimal totalt ordnet undermengde.

Utsagnet er ekvivalent med Zorns lemma, som sier at enhver totalt ordnet undermengde har en øvre grense i <tex>X</tex>.

Det er også et av mange utsagn som er ekvivalent til utvalgsaksiomet i mengdelære.