Univerzální algebra

odvětví abstraktní algebry, které zkoumá vlastnosti společné různým druhům algebraických struktur

Univerzální algebra je odvětví abstraktní algebry, které zkoumá vlastnosti společné různým druhům algebraických struktur. Abstraktní algebra zkoumá vlastnosti platné pro jednotlivé struktury (například nějaká věta je dokázána pro grupu a není ji tedy nutné dokazovat pro nejrůznější matematické objekty, které splňují definici grupy), univerzální algebra míru abstrakce a obecnosti dále zvyšuje zkoumáním výsledků, které platí pro všechny variety (varietu grup, varietu svazů, varietu lineárních prostorů apod.) Výsledky univerzální algebry lze ještě dále zobecnit v teorii kategorií.

Neformální úvod

editovat

Elementární algebra zkoumá vlastnosti konkrétních objektů, zejména celých a reálných čísel. Dává řešení na různé otázky z této oblasti, například jak řešit různé druhy rovnic, například celočíselné rovnice, anebo lineární, kvadratické (obecně polynomiální), logaritmické atd. rovnice v oboru reálných a komplexních čísel.

Abstraktní algebra naproti tomu pracuje s obecnými (abstraktními) strukturami. Každá množina s operací, které splňují jisté podmínky, se nazývá grupa. Množina s operacemi, která splňuje jinou soustavu podmínek, se nazývá svaz, podobně lineární prostor, okruh apod.

V abstraktní algebře se dokáže, že nějaké tvrzení platí pro každou grupu, a není pak potřeba je ověřovat zvlášť pro grupu celých čísel, grupu komplexních čísel, grupu permutací apod. Nějaká věta se ověří pro lineární prostory, a není nutné je ověřovat zvlášť pro prostor spojitých funkcí, prostor integrovatelných funkcí, prostor matic, prostor omezených posloupností apod.

Univerzální algebra tuto obecnost a abstrakci dovádí ještě dále. Zkoumá tvrzení, která

V univerzální algebře tedy dokážeme, že něco platí pro každou strukturu (například věty o izomorfismu) a nemusíme to již dokazovat zvlášť pro grupy, zvlášť pro svazy apod.

Ještě obecnější je teorie kategorií, jejíž výsledky platí nejen pro algebraické struktury, ale pro všechny struktury, jejichž vlastnosti lze v nějaké míře popsat množinou všech "rozumných zobrazení" (v algebře je "rozumným zobrazením" homomorfismus).

Význam použitého formalismu

editovat

Pro dosažení tohoto cíle musí univerzální algebra pracovat s definicí, která obsáhne nejrůznější matematické struktury. Například:

  • grupa je čtveřice  , kde   je binární operace (tj. vyžadující dva argumenty) nad  ,   je konstanta (nulární operace) z   a   je unární operace (vyžadující jeden argument).
  • svaz je trojice  , kde   i   jsou binární operace nad  

Aby bylo možno jednotně pracovat s tak odlišnými strukturami, zavádí se pojem signatura, což je výčet symbolů s uvedenou aritou. Například u grup předpokládáme, že existují matematické symboly " ", " " a " " a signatura grup je zobrazení, které každému z nich přiřadí jeho aritu. Označíme-li signaturu grup  , pak tedy platí:

 
 
 

Jelikož zobrazení v matematice reprezentujeme jako množinu uspořádaných dvojic, platí:

 

Striktně vzato pak signatura není množina symbolů, ale zobrazení, jehož definičním oborem je množina symbolů. Tam, kde nehrozí nedorozumění, však tento rozdíl opomíjíme a běžně říkáme, že symbol je prvkem signatury (například říkáme, že něco platí pro každý symbol  ). Formálně správné by však bylo psát  , kde   značí doménu (definiční obor) zobrazení.

Algebru dané signatury pak reprezentujeme jako uspořádanou dvojici  , kde   je nosná množina algebry a   je zobrazení, které každému symbolu signatury přiřadí konkrétní operaci.

Například grupu celých čísel reprezentujeme jako dvojici  , kde   je množina celých čísel a   je zobrazení, které symbolu " " přiřadí matematickou operaci "sčítání na celých čísel", tedy množinu uspořádaných dvojic  , takových, že   a  .

Pojmem operace se označují jak symboly ze signatury, tak i konkrétní operace na nosné množině.

Základní pojmy

editovat

Signatura

editovat

Signatura je jakékoli zobrazení, jehož obor hodnot jsou přirozená čísla  . Jeho definiční obor nazýváme množina symbolů.

Pro porozumění je vhodné si symboly představovat jako znaménka (textové řetězce), (například symbol + nepředstavuje žádnou konkrétní operaci a konkrétní algebry mu přiřadí různé konkrétní operace). V axiomatické teorii množin však nemáme k dispozici žádné jiné objekty, než množiny vytvořené několika základními operacemi z prázdné množiny. Proto se za symboly používají přirozená čísla, protože pojem "symbol +" nelze jejími prostředky exaktně definovat, ačkoli jeho význam je zřejmý.

Algebra

editovat

Algebrou signatury   rozumíme dvojici (A, Op), kde A je množina a Op je zobrazení, které každému symbolu v   přiřadí algebraickou operaci nad A příslušné arity n. Operací rozumíme zobrazení, které n-tici prvků z A přiřadí prvek z A.

Příkladem algeber s výše uvedenou signaturou (+,2 ; -,1 ; .,2) jsou tyto struktury:

  • Množina celých čísel s obvyklým sčítáním, opačným prvkem a násobením; taktéž množina racionálních, reálných či komplexních čísel
  • Množina {0, 1} s obvyklými operacemi, kde 1 + 1 = 0 (toto tzv. těleso modulo 2 má mnoho využití např. v šifrování)
  • Množina {0, 1} s obvyklými operacemi, kde 1 + 1 = 1 (tato Booleova algebra má aplikací například ve výrokové logice)
  • Množina celých čísel s klasickým sčítáním a opačným prvkem, kde ovšem symbol . bude představovat funkci
a.b = 123a + 456b + 789

Poslední uvedený příklad není přirozený ani užitečný, ale lze na něm demonstrovat, že na téže množině je možno tutéž signaturu realizovat mnoha různými operacemi.

Množina všech přirozených čísel včetně nuly s obvyklými operacemi není algebrou, protože nesplňuje podmínku, že výsledek operace musí ležet opět v algebře (například 0-1 nebo 5-10 v ní neleží). Kdybychom však uvažovali signaturu, která obsahuje jen sčítání a násobení (nikoli odčítání), pak by algebrou byla.

Podalgebra

editovat

Pojem podalgebra je zobecněním pojmů podgrupa, podprostor, podmonoid apod. Podmnožina A tvoří podalgebru, pokud je uzavřená na všechny operace z příslušné signatury (tzn. pokud argumenty operace náleží této podmnožině, musí v ní ležet i výsledek).

Například přirozená čísla   tvoří podalgebru celých čísel, pokud na nich uvažujeme jen operaci sčítání. Pokud i odčítání, pak podalgebrou není, protože 2-5 v ní neleží, ačkoli 2 i 5 v ní leží. Jinými slovy, přirozená čísla (včetně nuly) jsou podpologrupou podpologrupy celých čísel se sčítáním, ale nejsou její podgrupou, ačkoli celá čísla se sčítáním grupu tvoří.

Striktně vzato jsou operace na podalgebře restrikcí operací na původní algebře, například sčítání na přirozených číslech je restrikcí operace sčítání na celých číslech.

Formálně: Budiž   algebra signatury  . Potom   je podalgebrou  , pokud:

  •  ) je rovněž algebra signatury  
  •  
  • Pro každý symbol   arity n platí, že  

Význam definice

Poslední podmínka říká, že operace v podalgebře musí dávat přesně stejné výsledky, jako v původní algebře (pokud v původní algebře 1+3 bylo 0, nemůže být v podalgebře 1+3 být nic jiného než opět 0).

Pro pochopení zápisu   je třeba si uvědomit, že signatura   obsahuje symbol, který značíme +, nikoli konkrétní matematickou funkci. Pokud chceme ukázat, že sudá čísla s obvyklým sčítáním jsou podalgebrou (tedy podpologrupou) pologrupy celých čísel s obvyklým sčítáním, pak má signatura jen jediný symbol "+", označme jej  . Potom zobrazení Op symbolu "+" přiřadí operaci sčítání na celých čísel, zatímco zobrazení   témuž symbolu přiřadí operaci sčítání na přirozených číslech, což je restrikce sčítání na celých číslech.

Výraz   značí množinu všech uspořádaných n-tic prvků z  . V našem případě   značí množinu všech přirozených čísel a   množinu dvojic přirozených čísel. Sčítání přirozených čísel je totiž zobrazení, které dvojici přirozených čísel přiřadí přirozené číslo. Proto by bylo nepřesné použít zápis   (v našem případě  ). Ovšem když nehrozí nedorozumění, běžně se mluví o "restrikci na přirozená čísla" apod.

Tam, kde nehrozí nedorozumění, je obvyklé značit různé, navzájem související operace stejným symbolem. Když řekneme, že monoid   je podmonoidem monoidu  , pak symbolem + jednou značíme sčítání na celých číslech a jednou na celých.

Homomorfismus a jádro

editovat

Homomorfismus je definován podobně, jako v jiných algebraických strukturách. Jsou-li A, B dvě algebry téže signatury  , pak zobrazení f z A do B je homomorfismem právě tehdy, pokud pro každou operaci g ze   (její aritu značme n) a každé x1 až xn   A, platí

f (gA (x1, x2 ..., xn)) = gB(f(x1), f(x2), ... f(xn))

přičemž gA a gB je označení pro operaci, kterou je symbol g realizován v algebrách A a B.

Například pro výše uvedenou signaturu okruhů je zobrazení f homomorfismem, pokud pro každé x,y   A platí:

  • f(x+y) = f(x) + f(y)
  • f(-x) = -f(x)
  • f(x*y) = f(x) * f(y)

Jádro homomorfismu f z A do B (značené Ker f) je označení pro binární relaci R takovou, že

x~Ry právě když f(x) = f(y)

Kongruence a faktoralgebry

editovat

Binární relace R na nosné množině algebry A se nazývá kongruencí, pokud pro všechny operace algebry platí

 

Relace na A je kongruencí právě tehdy, pokud je jádrem nějakého homomorfismu (příklad je v článku o kongruencích).

Na faktormnožině A/R je možné přirozeným způsobem definovat strukturu algebry s touž signaturou, tzv. faktoralgebru.

Příklad: Uvažujme homomorfismus  . Tento homomorfismus sudým celým číslům přiřadí hodnotu 1 a lichým -1. Jeho jádrem je relace " x - y je sudé číslo" a faktoralgebrou je dvouprvková množina, která obsahuje množinu sudých čísel a množinu lichých čísel, tzv. těleso modulo n.

Variety algeber

editovat
Související informace naleznete také v článku Varieta algeber.

Varieta je klíčový pojem univerzální algebry, neboť mnoho výsledků se týká právě variet. Varieta je třída algeber popsatelná identitami, neboli soustavou rovností. Například třída všech grup je podtřída třídy všech algeber s příslušnou signaturou  . Tato třída je varietou.

(Pojem třída zde znamená prakticky totéž, co množina, ovšem v axiomatické teorii množin je nutné příliš velké kolekce objektů nepokládat za množiny. Pro pochopení univerzální algebry je rozdíl mezi množinou a třídou nepodstatný.)

Formální definice: Je-li   signatura,   třída všech algeber této signatury a   je podtřídou  , pak   je varietou, právě když existuje soustava identit taková, že v   jsou právě ty algebry z  , které splňují všechny identity této soustavy. Například grupu lze definovat těmito identitami:

(a.b).c = a.(b.c)
a.e = a
e.a = a
a.a−1 = e
a−1.a = e

Formálně se identita definuje jako dvojice termů. Identitou tedy není žádná z následujících formulí (protože v identitě není dovoleno nic více, než rovnost dvou výrazů):

a.b = 1   a.c = 1
 c: a.c = b