Binárna operácia alebo dvojmiestna operácia alebo dvojprvková operácia alebo dvojčlenná operácia je úkon v matematike, ktorým sa ku každej usporiadanej dvojici prvkov (napríklad dvojici čísiel) z nejakej množiny (ľubovoľným spôsobom) priraďuje jediný tretí prvok (napríklad ďalšie číslo) z tej istej množiny. Ak existuje taký predpis, hovoríme, že na danej množine máme definovanú binárnu operáciu. Binárna operácia je jeden z najdôležitejších pojmov algebry.

Matematicky vyjadrené binárnou operáciou na množine M rozumieme ľubovoľné zobrazenie .

Je užitočné si všimnúť, že z tejto definície vyplývajú dva dôležité fakty:

  • každá operácia je "uzavretá", teda ,
  • výsledok operácie je definovaný pre každú usporiadanú dvojicu na , teda .

Ešte raz upozorňujeme, že tieto dva body nie sú súčasťou definície binárnej operácie a vyplývajú z toho, že je zobrazenie.

Príklady upraviť

Binárnymi operáciami sú také základné operácie ako sčítanie na celých číslach (dvom sčítavaným číslam sa priraďuje tretie - ich súčet), operácia násobenia na racionálnych či reálnych číslach (dvom násobeným číslam sa priraďuje tretie - ich násobok). Delenie na racionálnych či reálnych číslach však nie je binárnou operáciou, pretože delenie nulou nie je definované, inak by bola definícia binárnej operácie aj pri delení splnená.

Vlastnosti binárnych operácií upraviť

V ďalšom texte budeme uvažovať binárnu operáciu   definovanú na množine M.

Hovoríme, že   je neutrálnym prvkom binárnej operácie   na množine M, ak platí  .

V poliach sa neutrálnemu prvku aditívnej operácie hovorí nula a neutrálnemu prvku multiplikatívnej operácie jednotka.

Ľahko sa ukáže, že každá binárna operácia môže mať nanajvýš jeden neutrálny prvok.

Binárna operácia   na množine M sa nazýva asociatívna, ak  .

Príklad: Operácie sčítania a násobenia celých alebo reálnych čísel sú asociatívne operácie. Odčítanie na týchto množinách nie je asociatívne.

Matematickou indukciou sa ľahko dokáže rozšírenie, že pri asociatívych operáciach nezáleží na poradí uzátvorkovania viacerých činiteľov.

Nech   je neutrálny prvok operácie  . Hovoríme, že prvok   je inverzný k prvku  , ak  .

Pre ľubovoľnú asociatívnu binárnu operáciu s neutrálnym prvkom platí, že ku každému prvku existuje najviac jeden inverzný prvok.[1]

Referencie upraviť

  1. K. M. DELVENTHAL, A. KISSNER, M. KULICK. Kompendium matematiky. Banská Bystrica: Compact Verlag, 2004, [cit. 2004-03-25]. ISBN 80-242-1227-7.

Externé odkazy upraviť