Röðun (mengjafræði)

Úr Wikipediu, frjálsa alfræðiritinu

Röðun er aðgerð, sem skipar stökum mengis í innbyrðis röð. Mengi með röðuðum stökum kallast raðað mengi.

Skilgreining[breyta | breyta frumkóða]

Raðað mengi er mengi X, með aðgerð og eftirfarandi eiginleika:

  • Sjálfhverfni:
  • Andsamhverfni: ef og þá
  • Gegnvirkni: ef og þá .

Slíkt raðað mengi gerir ekki kröfu um að mögulegt sé að bera saman öll stök og kallast því hlutraðað mengi, en ef eftirfarandi skilyrði er bætt við:

  • Altækni: eða gildir um öll stök a og b úr X, þ.e. öll stök úr X þarf að vera hægt að bera saman tvö og tvö.

kallast mengið fullraðað, en þá er fyrsta skilyrðið jafnframt óþarft.

Dæmi[breyta | breyta frumkóða]

Tengt efni[breyta | breyta frumkóða]

  Þessi stærðfræðigrein er stubbur. Þú getur hjálpað til með því að bæta við greinina.