Ordnet par

Et ordnet par er i mengdelære en gruppering av to uavhengige objekter, hvor det første kalles første koordinat og det andre kalles andre koordinat. Vanlig notasjon for et ordnet par er (a,b) eller <a,b>. 

To ordnede par (a,A) og (b,B) er like hvis og bare hvis a = b og A = B.  Generelt trenger ikke a og A være objekter fra samme mengde.

Ordnede par danner grunnlaget for en formell introduksjon av binære relasjoner og funksjoner.

 Formell definisjon 
Ofte blir et ordnet par ikke presist definert, og likhet mellom to ordnete par blir tatt underforstått eller som et aksiom.*
I en mengde  vil rekkefølgen til elementene ikke ha betydning, men fra en slik mengde kan en formelt definere et ordnet par med  som første koordinat og  som andre koordinat ved


Fra denne definisjonen kan en vise at to ordnede par er like hvis og bare hvis de to førstekoordinatene er like og de to andreekoordinatene er like.  

Denne mengdeteoretiske definisjonen ble først gitt av Kazimierz Kuratowski i 1921, etter at Norton Wiener hadde presentert en lignende definisjon i 1914.
Definisjonen er historisk viktig, fordi den gjorde det mulig å knytte binære relasjoner og funksjoner til mengdelære.

En kunstig sideeffekt av mengdedefinisjonen er at 

.

Et ordnet par kan skrives både som  og som .

 Eksempler 

I et kartesisk koordinatsystem er et punkt i planet representert ved et ordnet par (x,y).

Et komplekst tall kan defineres som et ordnet par.

En binær relasjon kan defineres som en mengde av ordnede par.

En funksjon kan defineres som en mengde  av ordnede par (x,f(x)). For å representere en funksjon må elementene i mengden oppfylle

.

 Kartesiske produkt 
Et kartesisk produkt av to mengder  og  er mengden av alle ordnede par med første koordinat fra   og andre koordinat fra og :

Enhver mengde  av ordnede par vil være en delmengde av et kartesisk produkt av to mengder. Definer

Da vil . Mengdene  og  kalles projeksjonene av  på henholdsvis første og andre koordinat. 

 Se også 

 Tuppel – en endelig ordnet liste av elementer

 Referanser 

Kategori:Mengdelære

ru:Пара (математика)#Упорядоченная пара