Művelet

A Wikipédiából, a szabad lexikonból.

A művelet a matematikában általában speciális függvényt jelent. Nemcsak a matematika, de az informatika és más tudományágak is építenek erre a fogalomra, a műveletfogalommal magával azonban a matematika algebra nevű ága foglalkozik, mely utóbbit úgy is meghatározhatnánk, mint a műveletek elméleti, matematikai vizsgálatát, tudományát.

Általában a „művelet” szóval rokon értelemben (néha azonban tágabb vagy részlegesebb fogalmat jelölve) használjuk az összekapcsolás és az operáció vagy operátor szavakat is.

Tartalomjegyzék 1 Belső művelet 1.1 Speciális esetek 1.1.1 Egyváltozós művelet 1.1.2 Kétváltozós művelet 1.1.3 Háromváltozós művelet 1.2 Asszociált reláció 1.3 Belső műveletek írásmódjai 2 Külső művelet 2.1 Speciális esetek 2.1.1 Nullváltozós külső művelet 2.1.2 Egyváltozós külső művelet 2.2 Külső művelethez asszociált belső művelet 3 Struktúra 4 Hivatkozások 4.1 Jegyzetek 4.2 Források 4.3 Lásd még

[szerkesztés] Belső művelet

Amikor a hétköznapi életben matematikai műveletről beszélünk, általában ezt a fogalmat, a belső művelet fogalmát értjük alatta (különösen pedig a kétváltozós belső műveletét).

Legyen adott az A halmaz. Az A halmazon értelmezett - avagy az A halmaz feletti - belső (vagy homogén) n-változós (vagy n-áris, n∈ℕ⁺) műveleten egy

leképezést értünk; ahol , vagyis az A halmaz önmagával vett n-szeres Descartes-szorzata.

A definícióba tehát beleértjük, hogy a művelet mint függvény értelmezési tartománya Aⁿ (D(μ) = Aⁿ), azaz mindegyik x∈Aⁿ elem-n-esre értelmezve kell hogy legyen a μ(x) függvényérték.

A „belső” jelzőt azért kell alkalmazni, mert léteznek „külső” műveletek is. Ha félreértés veszélye nem fenyeget, „művelet”-en általában belső műveletet értünk, és a „belső” jelzőt elhagyjuk.

Legyen a₁, a₂, ..., a_n∈A, ekkor a μ(a₁, a₂, ..., a_n) = a_n+1 esetén az a₁, a₂, ..., a_n elemeket a μ művelet argumentumainak vagy operandus(z)ainak (tényezők, tagok, koordináták) nevezzük; míg magát az a_n+1∈A elemet a μ művelet ezen argumentumokon vett eredményének, vagy értékének.

A művelet neveként alkalmazott szimbólumot (itt: μ) műveleti jelnek (vagy, inkább az informatikában, mint a matematikában) operátornak is nevezzük (az „operátor” szó a matematikában mást is jelenthet, ld. operátor (matematika)).

Az A halmazon értelmezett n-változós műveletek halmaza épp az halmaz (ld. halmaz hatványa).

[szerkesztés] Speciális esetek

[szerkesztés] Egyváltozós művelet

Egyváltozós avagy unáris művelet egy A¹ → A, tehát egy, az A-n értelmezett egyváltozós A → A függvény.

A hétköznapi élet és az elemi matematika köréből ismert legfontosabb példák és ellenpéldák:

• az ellentettképzés az egész számok között, vagyis amikor egy egész számból képezzük az ellentettjét, a számot -1-gyel szorozva. Ez egy e(z): ℤ → ℤ; e(z) := -z egyváltozós függvény.
• Minden nem nulla t(∈ℚ\{0}) törtszám esetében képezni tudjuk a t reciprokát, azaz az 1/t számot. Tehát a r(t): ℚ\{0} → ℚ\{0}; r(t):=1/t előírással értelmezett reciprok-függvény egyváltozós művelet. Az s(t): ℚ → ℚ; s(t):=1/t előírással értelmezett függvény viszont nem egyváltozós művelet ℚ-n, mivel a 0-hoz nem tud semmit sem rendelni, 0-ra nincs értelmezve!

[szerkesztés] Kétváltozós művelet

A „matematikai művelet” fogalmának leggyakrabban előforduló típusa a kétváltozós/bináris (avagy binér) belső művelet, röviden kétváltozós művelet.

Kétváltozós avagy bináris művelet egy A² → A alakú függvény, azaz az A-n értelmezett kétváltozós A×A → A alakú függvény.

A hétköznapi élet és az elemi matematika köréből ismert legfontosabb példák és ellenpéldák:

• az összeadás, a kivonás és a szorzás az egész számok között, vagyis amikor két egész számból képezzük az a+b összeget vagy az a-b különbséget. Ezek a +(z, y): ℤ×ℤ → ℤ; +(z,y) := z+y , illetve a -(z, y): ℤ×ℤ → ℤ; -(z,y) := z-y, illetve a ·(z, y): ℤ×ℤ → ℤ; ·(z,y) := z·y kétváltozós függvények.
• Az osztás viszont nem művelet sem az egész, de még a racionális számok körében sem. A nem nulla racionális számok körében viszont művelet.

[szerkesztés] Háromváltozós művelet

Háromváltozós avagy ternáris művelet egy A³ → A alakú függvény, azaz az A-n értelmezett háromváltozós A×A×A↦A alakú függvény. Ritkábban ugyan, de ezek is fontosak a matematikában.

• Könnyű háromváltozós műveletet kétváltozós művelet segítségével definiálni, pl. +(a,b,c): ℤ×ℤ×ℤ↦ℤ; +(a,b,c) = (a+b)+c,
• μ(a,b,c): ℤ×ℤ×ℤ↦ℤ; μ(a,b,c) = „az argumentumok közül a nem-szigorú értelemben véve legkisebb” (minimumképzés).

[szerkesztés] Asszociált reláció

Ha a μ: Aⁿ → A n-változós művelet, értelmezhető hozzá a ρ_μ n+1-változós reláció a következőképp: ha a₁, a₂, ..., a_n∈A, akkor legyen

ρ_μ(a₁, a₂, ..., a_n, a_n+1) :⇔ μ(a₁, a₂, ..., a_n) = a_n+1

tehát ha μ művelet az első n db. elemet a b = a_n+1∈A elemre képezi. Ez esetben ρ-t a μ művelet asszociáltjának nevezzük; illetve fordítva is; összességében, a relációt és a műveletet is egymás asszociáltjának mondjuk és a következő jelöléseket alkalmazzuk:

ρ = ass(μ)   μ = ass(ρ)

Megjegyzés: halmazelméleti szempontból a művelet is függvény, tehát reláció. A relációfogalom halmazelméleti felépítését elfogadva, egy művelet és asszociált relációja teljességgel azonos, csupán ugyanannak a fogalomnak kétféle (egy „operatív” és egy „predikatív”) jelöléséről van szó.

[szerkesztés] Belső műveletek írásmódjai

Többféle megállapodás, hagyomány alakult ki a matematikában az idők során az n-változós belső műveletek jelölésére (a prefix, infix, index stb. írásmódok). Ezeket a műveleti jel szócikkben, illetve saját szócikkeikben tárgyaljuk.

[szerkesztés] Külső művelet

Legyen adott két diszjunkt halmaz, az O (ún. operátortartomány) és az A (alaphalmaz); tehát O∩A = ∅. Az A halmazon értelmezett - avagy az A halmaz feletti - n-változós (vagy n-áris, n∈ℕ⁺) külső (vagy inhomogén) műveleten egy

μ: (0ⁿ×A)↦A

leképezést értünk; ahol .

Az O halmaz elemeit operátoroknak szokás nevezni ^[1]. Legyen ω₁, ω₂, ..., ω_n∈O és a∈A, ekkor a b =μ(ω₁, ω₂, ..., ω_n,a)∈A elemet a μ külső művelet eredményének nevezzük.

A „külső” jelzőt azért kell alkalmazni, mert léteznek belső műveletek is, sőt általában csak az utóbbiakat nevezzük egyszerűen „művelet”-nek. Az operátortartomány elemeit gyakran - hagyományosan - görög kisbetűkkel jelölik.

Az A halmazon értelmezett n-változós külső műveletek halmaza épp az halmaz (ld. halmaz hatványa).

[szerkesztés] Speciális esetek

[szerkesztés] Nullváltozós külső művelet

Nullváltozós avagy nulláris (külső) művelet egy μ: O⁰×A↦A függvény. Mivel általában az B⁰ := ∅ és az ∅×B = B×∅ = B megállapodással szoktunk élni (tetszőleges B halmaz esetén), nulláris művelet egy ∅×A↦A, azaz egy A↦A egyváltozós függvény; ami semmi más, mint egy egyváltozós belső művelet. Ezt szokás egyetlen A-beli a elemmel azonosítani.

[szerkesztés] Egyváltozós külső művelet

Egyváltozós avagy unáris külső művelet egy O¹×A↦A, tehát egy, O×A↦A alakú függvény.

Ez a fogalom központi fontosságú a lineáris algebra felépítésében (ld. modulus, vektortér).

• Legismertebb példa külső műveletre a vektorok szorzása skalárral. Legyen V az euklidészi tér sík- vagy a térvektorainak halmaza, ℝ pedig a valós számok halmaza. Értelmezhető az ismert módokon (ld. vektor) a vektorok számmal (skalárral) való szorzása, a v∈V vektor α∈ℝ skalárral való szorzatát („α-szorosra nyújtás”) αv-vel jelöljük; így egy s: ℝ×V→V; s(α, v) = αv V-feletti egyváltozós külső művelet, melynek operátortartománya a valós számok ℝ halmaza.

[szerkesztés] Külső művelethez asszociált belső művelet

Legyen adott a diszjunkt O operátortartomány és A alaphalmaz felett értelmezett μ: (0ⁿ×A)→A n-változós külső művelet. Ekkor tekintve a rögzített ω = (o₁, o₂, ..., o_n)∈Oⁿ elemet, értelmezhető a következő egyváltozós művelet:

μ_ω: A→A;   μ_ω(x) = (o₁, o₂, ... o_n, x)

Tehát minden ω∈Oⁿ és minden μ külső művelet esetén értelmezhető egy belső művelet A-n, melynek eredménye ugyanaz, mint ha eme elem koordinátáival a külső műveletet hajtanánk végre. ^[2]

[szerkesztés] Struktúra

Egy adott A halmazon gyakran többféle művelet értelmezhető. A halmaz és a műveletek rendszere matematikai struktúrát alkot.

[szerkesztés] Hivatkozások

[szerkesztés] Jegyzetek

1. ^ Ahogy fentebb említettük, ezt a kifejezést a matematikában több másra is alkalmazzák, ld. operátor (matematika))
2. ^ Ennélfogva a külső művelet fogalma elvileg kiküszöbölhető lenne az algebrából. A gyakorlatban például azért nem szokott ez megtörténni, mivel az O operátortartomány és annak minden n-edik hatványa is, végtelen; a legfontosabb alkalmazásokban legalább kontinuum számosságú, tehát legalább kontinuum sok belső műveletet kellene számontartani minden adott külső művelet helyett.

[szerkesztés] Források

• Maurer Gyula–Virág Imre: Bevezetés a struktúrák elméletébe. Dacia könyvkiadó, Kolozsvár/Cluj-Napoca, 1976.

[szerkesztés] Lásd még

• kétváltozós művelet
• műveleti jel
• operátor (matematika)
• algebrai struktúra
• logikai művelet
• halmazművelet</ref>