Opo

El Vikipedio

En matematiko, opo estas finia vico de objektoj, aŭ listo de limigita nombro de objektoj. Opoj estas uzataj por priskribi matematikajn objektojn kiuj konsistas el certaj komponantoj. Ekzemple, orientita grafeo estas difinita kiel opo (V, E) kie V estas la aro de verticoj kaj E estas subaro de V × V kiu signifas la randojn.

Enhavo

[redaktu] Nomoj de opo

La termino devenas kiel abstraktado de la vico: unuopo, duopi, triopo, kvaropo, kvinopo, ... n-opo. Opo de longo n estas kutime priskribita kiel n-opo. n povas esti ĉiu pozitiva entjero.

[redaktu] Formalaj difinoj

La ĉefaj propraĵoj kiuj diferencigas opon de, ekzemple, aro estas tiuj ke: (1) ĝi povas enhavi la saman objekton pli unu foje kaj (2) la objektoj aperas en certa ordo. Noto ke (1) diferencigas opon de orda aro kaj ke (2) diferencigas opon de multaro. Ĉi tio estas ofte formaligita per jena regulo por idento de du n-opoj:

(a1, a2, ...,an) = (b1, b2, ..., bn) se kaj nur se a1 = b1, a2 = b2 kaj tiel plu.


[redaktu] Uzado en komputiko

En komputiko, opo povas havi du klarajn signifojn. Tipe en funkciaj kaj iuj aliaj programlingvoj, opo estas datuma objekto kiu tenas kelkajn objektojn, simila al matematika opo. Tia objekto estas ankaŭ sciata kiel rikordo.

En iuj lingvoj kaj aparte en datumbaza teorio, opo estas kutime difinita kiel finia funkcio kiu surĵetas nomojn de ĉelojn al certaj valoroj. Ĝia celo estas la sama kiel en matematiko, sed ĉi tie ĉi tiuj komponantoj estas identigitaj per unika kampa nomo sed ne per pozicio, kio ofte donas pli afablan skribmanieron.

Ekzemplo de tiaspeca opo:

( ludanto : "Elrabi", poentoj : 25 )

la sama opo povas ankaŭ esti skribita kiel:

( poentoj : 25, ludanto : "Elrabi" )

[redaktu] Vidu ankaŭ jenon:

  • Kartezia produto
  • Formala lingvo
  • Rilato (matematiko)
  • Opa kalkulo
  • Unuobla tipo