Formální mocninná řada

Formální řady jsou v matematice nekonečné sumy, které se uvažují bez jakéhokoli pojmu konvergence, a na které lze uplatňovat obvyklé algebraické operace na řady (sčítání, odčítání, násobení, dělení, částečné součty, atd.).

Formální mocninná řada je speciální druh formální řady, jejíž členy jsou tvaru $ax^{n},$ kde $x^{n}$ je $n$-tá mocnina proměnné $x$ ($n$ je nezáporné celé číslo), a $a$ se nazývá koeficient. Mocninnou řadu můžeme chápat jako zobecnění polynomu pro nekonečný počet členů a bez požadavku konvergence. Řada tedy již nemusí reprezentovat funkci své proměnné, ale pouze formální posloupnost koeficientů, což je rozdíl od mocninné řady, která definuje funkci tak, že pro proměnnou uvnitř poloměru konvergence nabývá číselných hodnot. Ve formálních mocninných řadách slouží $x^{n}$ pouze jako prostor pro koeficienty, tak, že koeficient $x^{5}$ je pátým členem posloupnosti. Metoda vytvořujících funkcí v kombinatorice používá formální mocninné řady pro reprezentaci numerických posloupností a multimnožin dovolující například stručné vyjádření rekurzivně definovaných posloupností bez ohledu na to, zda lze rekurzi explicitně vyřešit. Formální mocninné řady lze zobecnit povolením libovolného konečného (nebo spočetného) počtu proměnných a koeficientů z libovolného okruhu.

Okruhy formálních mocninných řad jsou úplné lokální okruhy, což umožňuje použití metod infinitezimálního počtu v čistě algebraickém rámci algebraické geometrie a komutativní algebry. Jsou mnoha způsoby analogické p-adickým celým číslům, která lze definovat jako formální řady mocniny p.

Úvod

Na formální mocninné řady lze volně pohlížet jako na objekty, které se podobají polynomům, ale mají nekonečně mnoho členů. Alternativně, pro tyto známější s Mocninná řada (nebo Taylorova řada), můžeme uvažovat formální mocninnou řadu za mocninnou řadu, u níž ignorujeme otázky konvergence tím, že nepředpokládáme, že proměnná X označuje nějakou číselnou hodnotu (ani nějakou neznámou hodnotu). Například uvažujeme řadu

$A=1-3X+5X^{2}-7X^{3}+9X^{4}-11X^{5}+\cdots .$

Pokud tuto řadu zkoumáme jako mocninnou řadu, k jejím vlastnostem například patří, že její poloměr konvergence je 1. Ale u formální mocninné řady můžeme tuto vlastnost zcela ignorovat; jediné, co je relevantní, je posloupnost koeficientů [1, −3, 5, −7, 9, −11, ...]. Jinými slovy, formální mocninná řada je objekt, který pouze zaznamenává posloupnost koeficientů. Je naprosto přijatelné uvažovat formální mocninnou řadu s koeficienty tvořenými faktoriály [1, 1, 2, 6, 24, 120, 720, 5040, ... ], přestože odpovídajícím mocninná řada diverguje pro libovolnou nenulovou hodnotu X.

Aritmetika s formálními mocninnými řadami se provádí jako by to byly polynomy. Pokud například

$B=2X+4X^{3}+6X^{5}+\cdots ,$

pak sečteme A a B člen po členu:

$A+B=1-X+5X^{2}-3X^{3}+9X^{4}-5X^{5}+\cdots .$

Formální mocninné řady můžeme násobit, opět jako kdyby to byly polynomy (viz konkrétně Cauchyho součin):

$AB=2X-6X^{2}+14X^{3}-26X^{4}+44X^{5}+\cdots .$

Všimněte si, že každý koeficient v součinu AB závisí pouze na konečném počtu koeficientů řad A a B. Například člen X⁵ popisuje vztah

$44X^{5}=(1\times 6X^{5})+(5X^{2}\times 4X^{3})+(9X^{4}\times 2X).$

Z tohoto důvodu můžeme formální mocninné řad násobit, aniž bychom se starali o obvyklé otázky absolutní konvergence, podmíněné a stejnoměrné konvergence, které se objevují v popisech mocninných řad v analýze.

Jakmile máme definované násobení formálních mocninných řad, můžeme definovat jejich multiplikativní inverzi takto. Multiplikativní inverze formální mocninné řady A je formální mocninná řada C taková, že AC = 1, za předpokladu, že taková formální mocninná řada existuje. Ukazuje se, že pokud A má multiplikativní inverzi, je jednoznačná, a označujeme ji A⁻¹. Nyní můžeme definovat dělení formálních mocninných řad tak, že definujeme B/A jako součin BA⁻¹, za předpokladu, že existuje inverze A. Můžeme použít například výše uvedenou definici násobení pro ověření známějšího vzorce

${\frac {1}{1+X}}=1-X+X^{2}-X^{3}+X^{4}-X^{5}+\cdots .$

Důležitou operací na formální mocninné řadě je extrakce koeficientu. Ve svém nejzákladnějším tvaru je operátor extrakce koeficientu $[X^{n}]$ aplikován na formální mocninnou řadu $A$ s jednou proměnnou extrahuje koeficient $n$-té mocniny proměnné, takže $[X^{2}]A=5$ a $[X^{5}]A=-11$. K dalším příkladům patří

${\begin{aligned}\left[X^{3}\right](B)&=4,\\\left[X^{2}\right](X+3X^{2}Y^{3}+10Y^{6})&=3Y^{3},\\\left[X^{2}Y^{3}\right](X+3X^{2}Y^{3}+10Y^{6})&=3,\\\left[X^{n}\right]\left({\frac {1}{1+X}}\right)&=(-1)^{n},\\\left[X^{n}\right]\left({\frac {X}{(1-X)^{2}}}\right)&=n.\end{aligned}}$

Podobně lze mnoho jiných operací definovaných pro polynomy rozšířit na formální mocninné řady, jak je vysvětleno níže.

Okruh formálních mocninných řad

Pokud uvažujeme množinu všech formálních mocninných řad v X s koeficienty v komutativním okruhu reálných čísel R, prvky této množiny dohromady tvoří jiný okruh, který zapisujeme $R[[X]],$ a nazýváme okruh formálních mocninných řad proměnné X nad R.

Definice okruhu formálních mocninných řad

$R[[X]]$ můžeme abstraktně charakterizovat jako zúplnění okruhu polynomů $R[X]$ opatřeného určitou metrikou. Díky tomu má $R[[X]]$ strukturu topologického okruhu (dokonce úplného metrického prostoru). Ale obecná konstrukce zúplnění metrického prostoru je komplikovanější, než co potřebujeme zde, a způsobila by, že by se formální mocninné řady zdály složitější, než jsou. $R[[X]]$ je možné popsat explicitněji, a strukturu okruhu a topologickou strukturu lze definovat odděleně, jak je uvedeno níže.

Struktura okruhu

Jako množina, $R[[X]]$ lze zkonstruovat jako množinu $R^{\mathbb {N} }$ všech nekonečných posloupností prvků z $R$, indexovaných přirozenými čísly (včetně 0). Pokud posloupnost, jejíž člen s indexem $n$ je $a_{n}$ budeme značit $(a_{n})$, pak sčítání dvou takových posloupností lze definovat zápisem

$(a_{n})_{n\in \mathbb {N} }+(b_{n})_{n\in \mathbb {N} }=\left(a_{n}+b_{n}\right)_{n\in \mathbb {N} }$

a násobení

$(a_{n})_{n\in \mathbb {N} }\times (b_{n})_{n\in \mathbb {N} }=\left(\sum _{k=0}^{n}a_{k}b_{n-k}\right)_{\!n\in \mathbb {N} }.$

Tento typ součinu se nazývá Cauchyho součin dvou posloupností koeficientů, a je druhem diskrétní konvoluce. S těmito operacemi tvoří $R^{\mathbb {N} }$ komutativní okruh s nulovým prvkem $(0,0,0,\ldots )$ a multiplikativní identitou $(1,0,0,\ldots )$.

Definice násobení je vlastně stejná, jaká se používá pro definici násobení polynomů s jednou proměnnou, což naznačuje použití podobné notace. $R$ lze vnořit do $R[[X]]$ použitím libovolné (konstanty) $a\in R$ pro posloupnost $(a,0,0,\ldots )$ a posloupnost $(0,1,0,0,\ldots )$ označíme $X$; pak použitím výše uvedené definice dostaneme, že každou posloupnost s pouze konečně mnoha nenulovými členy lze vyjádřit pomocí těchto speciálních prvků jako

$(a_{0},a_{1},a_{2},\ldots ,a_{n},0,0,\ldots )=a_{0}+a_{1}X+\cdots +a_{n}X^{n}=\sum _{i=0}^{n}a_{i}X^{i};$

což jsou právě polynomy v $X$. Díky tomu je docela přirozené a pohodlné pro určení obecné posloupnosti $(a_{n})_{n\in \mathbb {N} }$ formálním výrazem $\textstyle \sum _{i\in \mathbb {N} }a_{i}X^{i}$, přestože druhý není výraz tvořený operacemi sčítání a násobení definovanými výše (ze kterých lze konstruovat pouze konečný součty). Tento způsob zápisu umožňuje zapsat výše uvedené definice jako

$\left(\sum _{i\in \mathbb {N} }a_{i}X^{i}\right)+\left(\sum _{i\in \mathbb {N} }b_{i}X^{i}\right)=\sum _{i\in \mathbb {N} }(a_{i}+b_{i})X^{i}$

a

$\left(\sum _{i\in \mathbb {N} }a_{i}X^{i}\right)\times \left(\sum _{i\in \mathbb {N} }b_{i}X^{i}\right)=\sum _{n\in \mathbb {N} }\left(\sum _{k=0}^{n}a_{k}b_{n-k}\right)X^{n}.$

což je docela pohodlné, ale musíme si být vědomi rozdílu mezi formální sumací (pouhá konvence) a skutečným sčítáním.

Topologická struktura

Poté, co jsme konvenčně stanovili, že

$(a_{0},a_{1},a_{2},a_{3},\ldots )=\sum _{i=0}^{\infty }a_{i}X^{i},$

(1)

bychom chtěli interpretovat pravou stranu jako dobře definovanou nekonečnou sumaci. Kvůli tomu definujeme pojem konvergence v $R^{\mathbb {N} }$ a zkonstruujeme topologii na $R^{\mathbb {N} }$. Existuje několik ekvivalentních způsobů, jak požadovanou topologii definovat:

• Pro $R^{\mathbb {N} }$ použít součinovou topologii, přičemž pro jednotlivé složky $R$ se použije diskrétní topologie.
• Pro $R^{\mathbb {N} }$ použít I-adickou topologii, kde $I=(X)$ je ideál generovaný $X$, který sestává ze všech posloupností, jejichž první člen $a_{0}$ je nulový.
• Topologii lze také odvodit z následující metriky: Vzdálenost mezi různými posloupnostmi $(a_{n}),(b_{n})\in R^{\mathbb {N} },$ se definuje jako $d((a_{n}),(b_{n}))=2^{-k},$ kde $k$ je nejmenší přirozené číslo takové, že $a_{k}\neq b_{k}$; vzdálenost mezi dvěma stejnými posloupnostmi je samozřejmě nulová.

Neformálně se dvě posloupnosti $(a_{n})$ a $(b_{n})$ k sobě blíží právě tehdy, když více jejich členů přesně souhlasí. Formálně posloupnost částečných součtů nějaké nekonečné sumace konverguje, pokud se koeficient pro každou pevnou mocninu $X$ stabilizuje: neboli existuje bod, od kterého mají všechny další částečné součty stejný koeficient. To je zřejmě případ pravé strany vzorce (1), bez ohledu na hodnoty $a_{n}$, protože zahrnutí členu pro $i=n$ dává poslední (a vlastně jedinou) změnu koeficientu $X^{n}$. Je také zjevné, že limita posloupnosti částečných součtů je rovna levé straně.

Tato topologické struktura spolu s okruhovými operacemi popsanými výše tvoří topologický okruh, který nazýváme okruh formálních mocninných řad nad $R$ a značíme $R[[X]]$. Tato topologie má užitečnou vlastnost, že nekonečné sumy konverguje právě tehdy, když posloupnost jejích členů konverguje k 0, což pouze znamená, že libovolná pevná mocnina $X$ se objeví pouze v konečně mnoha členech.

Topologická struktura umožňuje mnohem flexibilnější použití nekonečných sum. Například pravidlo pro násobení lze přeformulovat jednoduše jako

$\left(\sum _{i\in \mathbb {N} }a_{i}X^{i}\right)\times \left(\sum _{i\in \mathbb {N} }b_{i}X^{i}\right)=\sum _{i,j\in \mathbb {N} }a_{i}b_{j}X^{i+j},$

protože pouze konečně mnoho členů na pravé straně ovlivňuje libovolné pevné $X^{n}$. Nekonečné součiny jsou také definovány vztahem topologických struktur; je vidět, že nekonečný součin konverguje právě tehdy, když posloupnost jeho členů konverguje k 1 (pak je součin nenulový) nebo když nekonečně mnoho členů nemá konstantní člen (v tomto případě je součin nulový).

Alternativní topologie

Výše uvedená topologie je nejjemnější topologií, pro kterou

$\sum _{i=0}^{\infty }a_{i}X^{i}$

vždy konverguje jako sumace k formální mocninné řadě určené stejným výrazem, a často postačuje, aby dávala význam nekonečným součtům a součinům nebo jiný druhům limity, které chceme používat pro definici určité formální mocninné řady. Může se ale příležitostně stát, že chceme používat hrubší topologii, takže určité výrazy, které by jinak divergovaly, se stanou konvergentními. To konkrétně platí, když bázový okruh $R$ má jinou už než diskrétní topologii, například pokud je sám také okruhem formálních mocninných řad.

V okruhu formálních mocninných řad $\mathbb {Z} [[X]][[Y]]$ se topologie výše uvedené konstrukce týká pouze neurčitého $Y$, protože topologie, které byl kladen $\mathbb {Z} [[X]]$ byla při definování topologie celého okruhu nahrazena diskrétní topologií. Proto

$\sum _{i=0}^{\infty }XY^{i}$

konverguje (a součet lze zapsat jako ${\tfrac {X}{1-Y}}$); ale

$\sum _{i=0}^{\infty }X^{i}Y$

lze považovat za divergentní, protože koeficient $Y$ je ovlivňován každým členem. Toto asymetrie zmizí, pokud okruh mocninných řad v $Y$ používá součinovou topologii, kde každé kopii $\mathbb {Z} [[X]]$ je dána topologie okruhu formálních mocninných řad místo diskrétní topologie. S toto topologií posloupnost prvků $\mathbb {Z} [[X]][[Y]]$ konverguje, pokud koeficient každé mocniny $Y$ konverguje k formální mocninné řadě proměnné $X$, což je slabší podmínka než úplná stabilizace. S touto topologií například v druhém výše uvedeném příkladě konverguje koeficient $Y$ k ${\tfrac {1}{1-X}}$, takže celá suma konverguje k ${\tfrac {Y}{1-X}}$.

Tento způsob definování topologie je pro opakované konstrukce okruhů formálních mocninných řad vlastně standardní, a dává stejnou topologii, jakou bychom dostali použitím formální mocninné řady ve všech neurčitých najednou. Ve výše uvedeném příkladě by to znamenalo zkonstruování $\mathbb {Z} [\langle X,Y\rangle ],$ a zde posloupnost konverguje právě tehdy, když se koeficient každého jednočlenu $X^{i}Y^{j}$ stabilizuje. Tato topologie, který je také $I$-adická, kde $I=(X,Y)$ je ideál generovaný $X$ a $Y$ má stále tu vlastnost, že sumace konverguje právě tehdy, když se její členy blíží 0.

Stejný princip by mohl být použit, aby jiné divergentní limity konvergovaly. Například v $\mathbb {R} [[X]]$ neexistuje limita

$\lim _{n\to \infty }\left(1+{\frac {X}{n}}\right)^{\!n},$

takže speciálně ani nekonverguje k

$\exp(X)=\sum _{n\in \mathbb {N} }{\frac {X^{n}}{n!}}.$

Důvodem je, že pro $i\geq 2$ se koeficient ${\tbinom {n}{i}}/n^{i}$ členu $X^{i}$ nestabilizuje, když $n\to \infty$. V obvyklé topologii $\mathbb {R}$ však konverguje, a to ke koeficientu ${\tfrac {1}{i!}}$ členu $\exp(X)$. Proto, pokud bychom pro $\mathbb {R} [[X]]$ použili součinovou topologii $\mathbb {R} ^{\mathbb {N} },$ kde by topologie $\mathbb {R}$ byla obvyklá topologie místo diskrétní, pak by výše uvedená limita konvergovala k $\exp(X)$. Tento benevolentnější přístup ale není standardní, pokud uvažujeme formální mocninné řady, protože by to vedlo k úvahám o konvergenci, které by byly stejně subtilní jako v analýze, zatímco filozofií formálních mocninných řad je naopak učinit otázky konvergence co možná nejjednodušší. S touto topologií by neplatilo, že sumace konverguje právě tehdy, když se její členy blíží k 0.

Univerzální vlastnost

Okruh $R[[X]]$ lze charakterizovat následující univerzální vlastností. Pokud $S$ je komutativní asociativní algebra nad $R$, pokud $I$ je ideál $S$ takový, že $I$-adická topologie na $S$ je úplná, a, pokud $x$ je prvkem $I$, pak existuje jednoznačné zobrazení $\Phi :R[[X]]\to S$ s následujícími vlastnostmi:

• $\Phi$ je homomorfismus $R$-algebry
• $\Phi$ je spojité
• $\Phi (X)=x$.

Operace na formálních mocninných řadách

Na mocninných řadách můžeme provádět algebraické operace, které generují další mocninné řady. Kromě operací struktury okruhu definovaných výše, máme následující.

Mocniny mocninných řad

Pro libovolné přirozené číslo n máme $\left(\sum _{k=0}^{\infty }a_{k}X^{k}\right)^{\!n}=\,\sum _{m=0}^{\infty }c_{m}X^{m},$ kde ${\begin{aligned}c_{0}&=a_{0}^{n},\\c_{m}&={\frac {1}{ma_{0}}}\sum _{k=1}^{m}(kn-m+k)a_{k}c_{m-k},\ \ \ m\geq 1.\end{aligned}}$

(Tento vzorec může být používán, pouze pokud m a A₀ jsou invertovatelné v okruhu koeficientů.)

V případě formální mocninné řady s komplexními koeficienty jsou komplexní mocniny dobře definované alespoň pro řadu f s konstantním členem rovným 1. V tomto případě lze $f^{\alpha }$ definovat skládáním s binomickou řadou (1+x)^α nebo skládáním s exponenciální funkcí a logaritmickou řadou, $f^{\alpha }=\exp(\alpha \log(f)),$ nebo jako řešení diferenciální rovnice $f(f^{\alpha })'=\alpha f^{\alpha }f'$ s konstantním členem 1, přičemž tyto tři definice jsou ekvivalentní. Pravidla počtu $(f^{\alpha })^{\beta }=f^{\alpha \beta }$ a $f^{\alpha }g^{\alpha }=(fg)^{\alpha }$ lze snadno odvodit.

Multiplikativní inverze

Řada

$A=\sum _{n=0}^{\infty }a_{n}X^{n}\in R[[X]]$

je invertovatelná v $R[[X]]$ právě tehdy, když její konstantní koeficient $a_{0}$ je invertovatelný v $R$. Tato podmínka je nezbytná z následujícího důvodu:, pokud předpokládáme, že $A$ má inverzi $B=b_{0}+b_{1}x+\cdots$ pak konstantní člen $a_{0}b_{0}$ $A\cdot B$ je konstantní člen řady identity, tj. je 1. Tato podmínka je také dostačující; můžeme vypočítat koeficienty inverzní řady $B$ pomocí explicitního rekurzivního vzorce

${\begin{aligned}b_{0}&={\frac {1}{a_{0}}},\\b_{n}&=-{\frac {1}{a_{0}}}\sum _{i=1}^{n}a_{i}b_{n-i},\ \ \ n\geq 1.\end{aligned}}$

Důležitým speciálním případem je, když vzorec pro geometrickou řadu je platný v $R[[X]]$:

$(1-X)^{-1}=\sum _{n=0}^{\infty }X^{n}.$

Pokud $R=K$ je komutativní těleso, pak řada je invertovatelná právě tehdy, když konstantní člen je nenulový, tj. právě tehdy, když řada není dělitelná $X$. To znamená, že $K[[X]]$ je diskrétní valuační okruh s uniformizačním parametrem $X$.

Dělení

Výpočet kvocientu $f/g=h$

${\frac {\sum _{n=0}^{\infty }b_{n}X^{n}}{\sum _{n=0}^{\infty }a_{n}X^{n}}}=\sum _{n=0}^{\infty }c_{n}X^{n},$

předpokládá, že jmenovatel je invertovatelný (tj. $a_{0}$ je invertovatelná v okruhu skalárů), lze provést jako součin $f$ a inverze $g$nebo přímo položením koeficientů, aby byly v $f=gh$ sobě rovné:

$c_{n}={\frac {1}{a_{0}}}\left(b_{n}-\sum _{k=1}^{n}a_{k}c_{n-k}\right).$

Extrakce koeficientů

Operátor extrakce koeficientů aplikovaný na formální mocninnou řadu

$f(X)=\sum _{n=0}^{\infty }a_{n}X^{n}$

v X se zapisuje

$\left[X^{m}\right]f(X)$

a extrahuje koeficient u X^m tak, že

$\left[X^{m}\right]f(X)=\left[X^{m}\right]\sum _{n=0}^{\infty }a_{n}X^{n}=a_{m}.$

Skládání řad

Jsou-li dány formální mocninné řady

$f(X)=\sum _{n=1}^{\infty }a_{n}X^{n}=a_{1}X+a_{2}X^{2}+\cdots$

$g(X)=\sum _{n=0}^{\infty }b_{n}X^{n}=b_{0}+b_{1}X+b_{2}X^{2}+\cdots ,$

můžeme definovat skládání

$g(f(X))=\sum _{n=0}^{\infty }b_{n}(f(X))^{n}=\sum _{n=0}^{\infty }c_{n}X^{n},$

kde koeficienty c_n jsou určeny „expandováním“ mocnin f(X):

$c_{n}:=\sum _{k\in \mathbb {N} ,|j|=n}b_{k}a_{j_{1}}a_{j_{2}}\cdots a_{j_{k}}.$

Zde je součet rozšířen na všechna (k, j) s $k\in \mathbb {N}$ a $j\in \mathbb {N} _{+}^{k}$ s $|j|:=j_{1}+\cdots +j_{k}=n.$

Explicitnější popis těchto koeficientů poskytl Faà di Brunoův vzorec, alespoň v případě, když okruh koeficientů je komutativním tělesem charakteristiky 0.

Skládání je platné pouze tehdy, když $f(X)$ nemá žádný konstantní člen, takže každé $c_{n}$ závisí pouze na konečném počtu koeficientů $f(X)$ a $g(X)$. Jinými slovy, řada pro $g(f(X))$ konverguje v topologii $R[[X]]$.

Příklad

Předpokládejme, že okruh $R$ má charakteristiku 0 a nenulová celá čísla jsou invertovatelná v $R$. Pokud formální mocninnou řadu označíme $\exp(X)$

$\exp(X)=1+X+{\frac {X^{2}}{2!}}+{\frac {X^{3}}{3!}}+{\frac {X^{4}}{4!}}+\cdots ,$

pak výraz

$\exp(\exp(X)-1)=1+X+X^{2}+{\frac {5X^{3}}{6}}+{\frac {5X^{4}}{8}}+\cdots$

má smysl jako formální mocninná řada. Ale tvrzení

$\exp(\exp(X))\ {\stackrel {?}{=}}\ e\exp(\exp(X)-1)\ =\ e+eX+eX^{2}+{\frac {5eX^{3}}{6}}+\cdots$

není platným použitím operace skládání pro formální mocninnou řadu. Spíše jsou matoucí pojmy konvergence v $R[[X]]$ a konvergence v $R$; skutečně, okruh $R$ může nejen obsahovat libovolné číslo $e$ s vhodnými vlastnostmi.

Inverze pro skládání funkcí

Pokud formální řada

$f(X)=\sum _{k}f_{k}X^{k}\in R[[X]]$

má f₀ = 0 a f₁ je invertovatelný prvek R, pak existuje řada

$g(X)=\sum _{k}g_{k}X^{k},$

která je inverzí funkcí k $f$, což znamená, že složením $f$ s $g$ dostaneme řadu, která reprezentuje identitu $x=0+1x+0x^{2}+0x^{3}+\cdots$. Koeficienty řady $g$ je možné spočítat rekurzivně pomocí výše uvedeného vzorce pro koeficienty skládání tak, že se položí rovné s koeficienty identity skládání X (které jsou 1 pro stupeň 1 a 0 pro všechny stupně větší než 1). V případě, kdy okruh koeficientů je komutativním tělesem charakteristiky 0, Lagrangeův inverzní vzorec (diskutovaný níže) poskytuje výkonný nástroj pro výpočet koeficientů g, stejně jako koeficientů (multiplikativní) mocniny g.

Formální derivace

Je-li dána formální mocninná řada

$f=\sum _{n\geq 0}a_{n}X^{n}\in R[[X]],$

definujeme její formální derivaci značenou Df nebo f ′ vztahem

$Df=f'=\sum _{n\geq 1}a_{n}nX^{n-1}.$

Symbol D se nazývá operátor formální derivace. Tato definice jednoduše napodobuje derivaci polynomu člen po členu.

Tato operace je R-lineární:

$D(af+bg)=a\cdot Df+b\cdot Dg$

pro libovolné a, b z R a libovolné f, g z $R[[X]].$ Formální derivace má navíc mnoho vlastností jako normální derivace. Platí například součinové pravidlo:

$D(fg)\ =\ f\cdot (Dg)+(Df)\cdot g,$

stejně jako řetízkové pravidlo:

$D(f\circ g)=(Df\circ g)\cdot Dg,$

když je definováno vhodné skládání řad (viz výše, kapitola Skládání řad).

V těchto ohledech se tedy formální mocninné řady chovají jako Taylorova řada. Skutečně, pro f definované výše, dostáváme, že

$(D^{k}f)(0)=k!a_{k},$

kde D^k označuje k-tou formální derivaci (tj. výsledek formálního derivování k krát).

Formální antiderivace

Pokud $R$ je okruh s charakteristikou nula a nenulová celá čísla jsou invertovatelná v $R$, pak je-li dána formální mocninná řada

$f=\sum _{n\geq 0}a_{n}X^{n}\in R[[X]],$

definujeme její formální primitivní funkci nebo formální neurčitý integrál vztahem

$D^{-1}f=\int f\ dX=C+\sum _{n\geq 0}a_{n}{\frac {X^{n+1}}{n+1}}.$

pro libovolnou konstantu $C\in R$.

Tato operace je R-lineární:

$D^{-1}(af+bg)=a\cdot D^{-1}f+b\cdot D^{-1}g$

pro libovolné a, b z R a libovolné f, g z $R[[X]].$ Formální primitivní funkce má navíc mnoho z vlastností jako primitivní funkce v integrálním počtu. Například formální primitivní funkce je skutečnou inverzí formální derivace:

$D(D^{-1}(f))=f$

pro libovolné $f\in R[[X]]$.

Vlastnosti

Algebraické vlastnosti okruhu formálních mocninných řad

$R[[X]]$ je asociativní algebra nad $R$ která obsahuje okruh $R[X]$ polynomů nad $R$; polynomy odpovídají posloupnostem, které končí nulami.

Jacobsonův radikál $R[[X]]$ je ideál generovaný $X$ a Jacobsonovým radikálem $R$; to plyne z výše diskutovaného kritéria invertovatelnosti prvku.

maximální ideály $R[[X]]$ vesměs vznikají z radikálů v $R$ následujícím způsobem: ideál $M$ algebry $R[[X]]$ je maximální právě tehdy, když $M\cap R$ je maximální ideál $R$ a $M$ je generovaný jako ideál $X$ a $M\cap R$.

$R[[X]]$ dědí několik algebraických vlastností $R$:

• pokud $R$ je lokální okruh, pak je $R[[X]]$ také lokální okruh (s množinou prvků, které nejsou jednotkami jednoznačného maximálního ideálu),
• pokud $R$ je Noetherovský okruh, pak je $R[[X]]$ také Noetherovský okruh (verze Hilbertovy věty o bázi),
• pokud $R$ je obor integrity, pak $R[[X]]$ je také obor integrity, a
• pokud $K$ je komutativní těleso, pak $K[[X]]$ je diskrétní valuační okruh.

Topologické vlastnosti okruhu formálních mocninných řad

Metrický prostor $(R[[X]],d)$ je úplný.

Okruh $R[[X]]$ je kompaktní právě tehdy, když R je konečná. To plyne z Tichonovovy věty a charakterizace topologie na $R[[X]]$ jako součinové topologie.

Weierstrassova přípravná věta

Podrobnější informace naleznete v článku Weierstrassova přípravná vět#Formální mocninné řady v úplných lokálních okruzích.

Okruh formálních mocninných řad s koeficienty v úplném lokálním okruhu vyhovuje Weierstrassově přípravné větě.

Aplikace

Formální mocninnou řadu lze použít pro řešení rekurencí objevujících se v teorii čísel a kombinatorice. Pro příklad obsahujícím hledání výrazu v uzavřeném tvaru pro Fibonacciho čísla viz článek na příklady vytvořující funkce.

Formální mocninnou řadu můžeme použít pro důkaz několika vztahů známých z analýzy v čistě algebraickém prostředí. Uvažujme například následující prvky $\mathbb {Q} [[X]]$:

$\sin(X):=\sum _{n\geq 0}{\frac {(-1)^{n}}{(2n+1)!}}X^{2n+1}$

$\cos(X):=\sum _{n\geq 0}{\frac {(-1)^{n}}{(2n)!}}X^{2n}$

Pak můžeme ukázat, že

$\sin ^{2}(X)+\cos ^{2}(X)=1,$

${\frac {\partial }{\partial X}}\sin(X)=\cos(X),$

$\sin(X+Y)=\sin(X)\cos(Y)+\cos(X)\sin(Y).$

Poslední platí v okruhu $\mathbb {Q} [\langle X,Y\rangle ].$

Pro komutativní těleso K, okruh $K[\langle X_{1},\ldots ,X_{r}\rangle ]$ se často používá jako „standardní, nejobecnější“ úplný lokální okruh nad K v algebře.

Interpretace formálních mocninných řad jako funkcí

V matematické analýze každá konvergentní mocninná řada definuje funkci s v reálnými nebo komplexními hodnotami. Formální mocninná řada nad určitý speciální okruhy může také být interpretovány jako funkce, ale musíme dávat pozor na definiční obor a cílovou množinu. Nechť

$f=\sum a_{n}X^{n}\in R[[X]],$

a předpokládejme, že $S$ je komutativní asociativní algebra nad $R$, $I$ je ideál v $S$ takový, že I-adická topologie na $S$ je úplná, a $x$ je prvkem $I$. Definujeme:

$f(x)=\sum _{n\geq 0}a_{n}x^{n}.$

Tato řada vždy konverguje v $S,$ pokud jsou splněny výše uvedené předpoklady na $x$. Navíc máme

$(f+g)(x)=f(x)+g(x)$

a

$(fg)(x)=f(x)g(x).$

Na rozdíl od případu bona fide funkcí, tyto vzorce nejsou definicemi, ale musí se dokázat.

Protože topologie na $R[[X]]$ je $(X)$-adická topologie a $R[[X]]$ je úplná, můžeme konkrétně aplikovat mocninnou řadu na jinou mocninnou řadu, za předpokladu, že argumenty nemají konstantní koeficienty (takže patří do ideálu $(X)$): $f(0)$, $f(X^{2}-X)$ a $f((1-X)^{-1}-1)$ jsou všechny korektně definované pro libovolnou formální mocninnou řadu $f\in R[[X]].$

S tímto formalismem můžeme napsat explicitní vzorec pro multiplikativní inverzi mocninné řady $f,$ jejíž konstantní koeficient $a=f(0)$ je invertovatelný v $R$:

$f^{-1}=\sum _{n\geq 0}a^{-n-1}(a-f)^{n}.$

Pokud formální mocninná řada $g$ s $g(0)=0$ je daná implicitně podle rovnice

$f(g)=X$

kde $f$ je známá mocninná řada s $f(0)=0$, pak koeficienty $g$ lze explicitně vypočítat použitím Lagrangeova inverzního vzorce.

Zobecnění

Formální Laurentova řada

Formální Laurentovy řady nad okruhem $R$ jsou definovány stejně jako formální mocninné řady, ale dovolíme, aby konečně mnoho členů bylo záporného stupně. Jde tedy o řady, které lze zapsat jako

$f=\sum _{n=N}^{\infty }a_{n}X^{n}$

pro nějaké celé číslo $N$, takže existuje pouze konečně mnoho záporných $n,$ pro která $a_{n}\neq 0$ (což je něco jiného než klasická Laurentova řada v komplexní analýze.) Pro nenulovou formální Laurentovu řadu nazveme nejmenší celé číslo $n$ takové, že $a_{n}\neq 0$ řád řady $f$ a označujeme jej $\operatorname {ord} (f).$ (Řád nula řada je $+\infty$.)

Lze definovat násobení takových řad. Skutečně, podobně jako definice formální mocninné řady, koeficient $X^{k}$ dvou řad s příslušnou posloupností koeficientů $\{a_{n}\}$ a $\{b_{n}\}$ je $\sum _{i\in \mathbb {Z} }a_{i}b_{k-i}.$ Tento součet má pouze konečně mnoho nenulových členů, protože se předpokládá vymizení koeficientů pro dostatečně záporné indexy.

Formální Laurentova řada tvoří okruh formálních Laurentových řad nad $R$, označovaný by $R((X))$. Je rovno lokalizaci okruhu $R[[X]]$ podle množiny kladných mocnin $X$. Pokud $R=K$ je komutativní těleso, pak $K((X))$ je také komutativní těleso, které lze alternativně získat jako podílové těleso oboru integrity $K[[X]]$.

Jako u okruhu $R[[X]]$ formálních mocninných řad může být okruh $R((X))$ formálních Laurentových řad vybaven strukturou topologického okruhu doplněním metriky $d(f,g)=2^{-\operatorname {ord} (f-g)}.$

Formální derivaci formální Laurentovy řady můžeme definovat přirozeným způsobem (člen po členu). Přesněji, formální derivace formální Laurentovy řady $f$ definované výše je $f'=Df=\sum _{n\in \mathbb {Z} }na_{n}X^{n-1},$ což je opět formální Laurentova řada. Pokud $f$ je nekonstantní formální Laurentova řada s koeficienty v komutativním tělese charakteristiky 0, pak máme $\operatorname {ord} (f')=\operatorname {ord} (f)-1.$ Obecně to však neplatí, protože faktor $n$ členu nejnižšího řádu by v $R$ mohl být roven 0.

Formální residuum

Předpokládejme, že $K$ je těleso charakteristiky 0. Pak zobrazení

$D\colon K((X))\to K((X))$

je $K$-derivace, pro kterou platí

$\ker D=K$

$\operatorname {im} D=\left\{f\in K((X)):[X^{-1}]f=0\right\}.$

Druhý vztah ukazuje, že koeficient členu $X^{-1}$ v $f$ je mimořádně zajímavý; nazývá se formální residuum řady $f$ a značí se $\operatorname {Res} (f)$. Zobrazení

$\operatorname {Res} :K((X))\to K$

je $K$-lineární, a podle výše uvedeného pozorování máme exaktní posloupnost

$0\to K\to K((X)){\overset {D}{\longrightarrow }}K((X))\;{\overset {\operatorname {Res} }{\longrightarrow }}\;K\to 0.$

Některá pravidla počtu. Jako docela přímý důsledek výše uvedené definice, a pravidel formální derivace, máme, pro libovolný $f,g\in K((X))$

1. $\operatorname {Res} (f')=0;$
2. $\operatorname {Res} (fg')=-\operatorname {Res} (f'g);$
3. $\operatorname {Res} (f'/f)=\operatorname {ord} (f),\qquad \forall f\neq 0;$
4. $\operatorname {Res} \left((g\circ f)f'\right)=\operatorname {ord} (f)\operatorname {Res} (g),$ pokud $\operatorname {ord} (f)>0;$
5. $[X^{n}]f(X)=\operatorname {Res} \left(X^{-n-1}f(X)\right).$

Vlastnost (i) je část exaktní posloupnosti výše. Vlastnost (ii) plyne z (i) jako aplikován na $(fg)'=f'g+fg'$. Vlastnost (iii): libovolný $f$ lze zapsat ve tvaru $f=X^{m}g$, s $m=\operatorname {ord} (f)$ a $\operatorname {ord} (g)=0$: pak $f'/f=mX^{-1}+g'/g.$ $\operatorname {ord} (g)=0$ implikuje $g$ je invertovatelná v $K[[X]]\subset \operatorname {im} (D)=\ker(\operatorname {Res} ),$ whence $\operatorname {Res} (f'/f)=m.$ Vlastnost (iv): Protože $\operatorname {im} (D)=\ker(\operatorname {Res} ),$ můžeme píší/psát $g=g_{-1}X^{-1}+G',$ s $G\in K((X))$. Následně, $(g\circ f)f'=g_{-1}f^{-1}f'+(G'\circ f)f'=g_{-1}f'/f+(G\circ f)'$ a (iv) plyne z (i) a (iii). Vlastnost (v) je jasné z definice.

Lagrangeův inverzní vzorec

Podrobnější informace naleznete v článku Lagrangeova věta o inverzi.

Jak bylo zmíněno výše, libovolná formální řada $f\in K[[X]]$ s f₀ = 0 a f₁ ≠ 0 má skládání inverzní $g\in K[[X]].$ Platí následující vztah mezi koeficienty gⁿ a f^−k (“Šablona:Visible anchor“):

$k[X^{k}]g^{n}=n[X^{-n}]f^{-k}.$

Konkrétně, pro n = 1 a všechno k ≥ 1,

$[X^{k}]g={\frac {1}{k}}\operatorname {Res} \left(f^{-k}\right).$

Protože důkaz Lagrangeova inverzní vzorec je velmi krátký, stojí za to jej zde ukázat. Všimneme si, že $\operatorname {ord} (f)=1$, můžeme aplikovat pravidla počtu uvedená výše, klíčové pravidlo (iv) substituce $X\rightsquigarrow f(X)$, získat:

${\begin{aligned}k[X^{k}]g^{n}&\ {\stackrel {\mathrm {(v)} }{=}}\ k\operatorname {Res} \left(g^{n}X^{-k-1}\right)\ {\stackrel {\mathrm {(iv)} }{=}}\ k\operatorname {Res} \left(X^{n}f^{-k-1}f'\right)\ {\stackrel {\mathrm {chain} }{=}}\ -\operatorname {Res} \left(X^{n}(f^{-k})'\right)\\&\ {\stackrel {\mathrm {(ii)} }{=}}\ \operatorname {Res} \left(\left(X^{n}\right)'f^{-k}\right)\ {\stackrel {\mathrm {chain} }{=}}\ n\operatorname {Res} \left(X^{n-1}f^{-k}\right)\ {\stackrel {\mathrm {(v)} }{=}}\ n[X^{-n}]f^{-k}.\end{aligned}}$

Zobecnění. Můžeme pozorovat, že výše uvedený výpočet lze jednoduše opakovat v obecnějších případech než K((X)): zobecnění Lagrangeova inverzního vzorce je již dostupné, když pracujeme v $\mathbb {C} ((X))$-modulech $X^{\alpha }\mathbb {C} ((X)),$ kde α je komplexní exponent. Důsledkem je, že pokud f a g jsou jako výše, s $f_{1}=g_{1}=1$, můžeme zjistit vztah komplexních mocnin f / X a g / X: konkrétně, pokud α a β jsou nenulová komplexní čísla, jejichž součet je záporné celé číslo, $m=-\alpha -\beta \in \mathbb {N} ,$ pak

${\frac {1}{\alpha }}[X^{m}]\left({\frac {f}{X}}\right)^{\alpha }=-{\frac {1}{\beta }}[X^{m}]\left({\frac {g}{X}}\right)^{\beta }.$

Tímto způsobem například dostaneme mocninnou řadu pro komplexní mocniny Lambertovy funkce.

Mocninná řady několika proměnných

Lze definovat formální mocninné řady s libovolným počtem neurčitých (dokonce s nekonečně mnoha). Pokud I je indexová množina a X_I je množina neurčitých X_i pro i∈I, pak monom X^α je libovolný konečný součin prvků X_I (umožňuje opakování); formální mocninná řada v X_I s koeficienty v okruhu R je určena libovolným zobrazením z množiny jednočlenů X^α to odpovídajícím koeficient c_α, a označuje se ${\textstyle \sum _{\alpha }c_{\alpha }X^{\alpha }}$. Množina všech takových formálních mocninných řad se označuje $R[[X_{I}]],$ a definováním

$\left(\sum _{\alpha }c_{\alpha }X^{\alpha }\right)+\left(\sum _{\alpha }d_{\alpha }X^{\alpha }\right)=\sum _{\alpha }(c_{\alpha }+d_{\alpha })X^{\alpha }$

a

$\left(\sum _{\alpha }c_{\alpha }X^{\alpha }\right)\times \left(\sum _{\beta }d_{\beta }X^{\beta }\right)=\sum _{\alpha ,\beta }c_{\alpha }d_{\beta }X^{\alpha +\beta }$

je daná struktura okruhu.

Topologie

Topologie na $R[[X_{I}]]$ je takový, že posloupnost svého prvky konverguje pouze, pokud pro každý jednočlen X^α odpovídajícím koeficient stabilizuje. Pokud I je konečný, pak toto J-adická topologie, kde J je ideál $R[[X_{I}]]$ generované všemi neurčitými v X_I. To není splněno, pokud I je nekonečný. Pokud například $I=\mathbb {N} ,$ pak posloupnost $(f_{n})_{n\in \mathbb {N} }$ s $f_{n}=X_{n}+X_{n+1}+X_{n+2}+\cdots$ nekonvergovat podle žádné J-adická topologie na R, ale zřejmě pro každý jednočlen odpovídajícím koeficient stabilizuje.

Jak je zmíněno výše, topologie na opakovaný formální mocninná řada okruh jako $R[[X]][[Y]]$ je obvykle zvolena takovým způsobem, že se stane izomorfní jako topologický okruh to $R[\langle X,Y\rangle ].$

Operace

Veškeré operace definované pro řady s jednou proměnnou mohou být rozšířeny na případ několika proměnných.

• Řada je invertovatelná právě tehdy, když její konstantní člen je invertovatelný v R.
• Skládání f(g(X)) dvou řad f a g je definováno, pokud f je řada s jednou neurčitou, a konstantní člen g je nulový. Pro řadu f s několika neurčitými lze tvar „skládání“ definovat podobně, s tolika různými řadami na místě g, kolik existuje neurčitých.

Pro formální derivaci existují zvláštní operátory parciální derivace, které derivují podle každé z neurčitých. Tyto operátory vzájemně komutují.

Univerzální vlastnost

Pro mocninné řady několika proměnných je univerzální vlastnost, která charakterizuje $R[\langle X_{1},\ldots ,X_{r}\rangle ]$ následující. Pokud S je komutativní asociativní algebra nad R, pokud I je ideál S takový, že I-adická topologie na S je úplná, a, pokud x₁, …, x_r jsou prvky I, pak existuje jednoznačné zobrazení $\Phi :R[\langle X_{1},\ldots ,X_{r}\rangle ]\to S$ s následujícími vlastnostmi:

• Φ je homomorfismus R-algebry
• Φ je spojité
• Φ(X_i) = x_i pro i = 1, …, r.

Nekomutující proměnné

Případ několika proměnných lze dále zobecnit použitím nekomutujících proměnných X_i pro i ∈ I, kde I je indexová množina a pak monom X^α je libovolné slovo v X_I; formální mocninná řada v X_I s koeficienty z okruhu R je určený libovolný zobrazení z množiny jednočlenů X^α do odpovídajícího koeficientu c_α, a označuje se $\textstyle \sum _{\alpha }c_{\alpha }X^{\alpha }$. Množina všech takových formálních mocninných řad se označuje R«X_I», a definováním sčítání po složkách

$\left(\sum _{\alpha }c_{\alpha }X^{\alpha }\right)+\left(\sum _{\alpha }d_{\alpha }X^{\alpha }\right)=\sum _{\alpha }(c_{\alpha }+d_{\alpha })X^{\alpha }$

a násobením definovaným vztahem

$\left(\sum _{\alpha }c_{\alpha }X^{\alpha }\right)\times \left(\sum _{\alpha }d_{\alpha }X^{\alpha }\right)=\sum _{\alpha ,\beta }c_{\alpha }d_{\beta }X^{\alpha }\cdot X^{\beta }$

kde · označuje zřetězení slov, je dána struktura okruhu. Tyto formální mocninné řady nad R tvoří Magnusův okruh nad R.

Na polookruhu

Je dána abeceda $\Sigma$ a polookruh $S$. Formální mocninná řada nad $S$ podporoval na jazyk $\Sigma ^{*}$ se označuje by $S\langle \langle \Sigma ^{*}\rangle \rangle$. To sestává z všechno zobrazením $r:\Sigma ^{*}\to S$, kde $\Sigma ^{*}$ je Volný monoid generované by neprázdný množina $\Sigma$.

Prvky $S\langle \langle \Sigma ^{*}\rangle \rangle$ lze zapsat jako formální součty

$r=\sum _{w\in \Sigma ^{*}}(r,w)w.$

kde $(r,w)$ označuje hodnotu $r$ ve slově $w\in \Sigma ^{*}$. Prvky $(r,w)\in S$ se nazývají koeficienty $r$.

Pro $r\in S\langle \langle \Sigma ^{*}\rangle \rangle$ nosič $r$ je množina

$\operatorname {supp} (r)=\{w\in \Sigma ^{*}|\ (r,w)\neq 0\}$

Řada, jejíž každý koeficient je buď $0$ nebo $1$, se nazývá charakteristická řada svého nosiče.

Podmnožina $S\langle \langle \Sigma ^{*}\rangle \rangle$ sestávající ze všech řad s konečným nosičem se označuje $S\langle \Sigma ^{*}\rangle$ a její prvky se nazývají polynomy.

Pro $r_{1},r_{2}\in S\langle \langle \Sigma ^{*}\rangle \rangle$ a $s\in S$, součet $r_{1}+r_{2}$ je definovaný vztahem

$(r_{1}+r_{2},w)=(r_{1},w)+(r_{2},w)$

(Cauchyho) součin $r_{1}\cdot r_{2}$ je definovaný vztahem

$(r_{1}\cdot r_{2},w)=\sum _{w_{1}w_{2}=w}(r_{1},w_{1})(r_{2},w_{2})$

hadamard součin $r_{1}\odot r_{2}$ je definovaný vztahem

$(r_{1}\odot r_{2},w)=(r_{1},w)(r_{2},w)$

A součiny by skalární $sr_{1}$ a $r_{1}s$ by

$(sr_{1},w)=s(r_{1},w)$ a $(r_{1}s,w)=(r_{1},w)s$, po řadě.

S těmito operacemi $(S\langle \langle \Sigma ^{*}\rangle \rangle ,+,\cdot ,0,\varepsilon )$ a $(S\langle \Sigma ^{*}\rangle ,+,\cdot ,0,\varepsilon )$ jsou polookruhy, kde $\varepsilon$ je prázdný slovo v $\Sigma ^{*}$.

Tyto formální mocninné řady se používají pro modelování chování vážených automatů v teoretické informatice, když koeficienty $(r,w)$ řady se v automatech berou jako váhy cesty s návěstím $w$.

Nahrazování indexové množiny uspořádanou abelovskou grupou

Podrobnější informace naleznete v článku Hahnova řada.

Předpokládejme, že $G$ je uspořádaná abelovská grupa, tedy abelovská grupa s úplným uspořádáním $<,$ které respektuje grupové sčítání, takže $a<b$ právě tehdy, když $a+c<b+c$ pro všechna $c$. Nechť I je dobře uspořádaná podmnožina $G$, což znamená, že I neobsahuje žádný nekonečný klesající řetěz. Uvažujme množinu sestávající z

$\sum _{i\in I}a_{i}X^{i}$

pro všechna taková I, s $a_{i}$ v komutativním okruhu $R$, kde předpokládáme, že pro libovolnou indexovou množinu, pokud veškeré $a_{i}$ jsou nulové, pak také součet je nula. Pak $R((G))$ je okruh formálních mocninných řad na $G$; díky této podmínce, že indexovací množina je dobře uspořádaná, je součin korektně definovaný, a samozřejmě předpokládáme, že dva prvky, které se liší o nulu, jsou stejné. Někdy se používá notace $[[R^{G}]]$ pro označení $R((G))$.

Různé vlastnosti $R$ se přenášejí na $R((G))$. Pokud $R$ je komutativní těleso, pak je i $R((G))$ komutativní těleso. Pokud $R$ je uspořádané komutativní těleso, můžeme uspořádat $R((G))$ nastavením, aby každý prvek měl stejné znaménko jako její úvodní koeficient, definovaný jako nejmenší prvek indexové množiny I s nenulovým koeficientem. Nakonec, pokud $G$ je divizibilní grupa a $R$ je reálné uzavřené komutativní těleso, pak $R((G))$ je reálné uzavřené komutativní těleso, a, pokud $R$ je algebraicky uzavřené, pak je i $R((G))$ algebraicky uzavřené.

Hans Hahn, který vytvořil tuto teorii, také dokázal, že pokud počet (nenulových) členů je omezený nějakou pevnou nekonečnou kardinalitou, dostaneme komutativní podtěleso.

Příklady a příbuzná témata

• Bellovy řady se používají pro studium vlastností multiplikativních aritmetických funkcí
• Formální grupy se používají pro definici abstraktních grupových zákonů použitím formálních mocninných řad
• Puiseuxovy řady jsou rozšířením formálních Laurentových řad pro racionální exponenty
• Racionální řady

Odkazy

Reference

V tomto článku byl použit překlad textu z článku Formal power series na anglické Wikipedii.

• BERSTEL, Jean; REUTENAUER, Christophe, 2011. Noncommutative rational series with applications. Cambridge: Cambridge University Press. (Encyclopedia of Mathematics and Its Applications). ISBN 978-0-521-19022-0. 
• Nicolas Bourbaki. Algebra, IV, §4. [s.l.]: Springer-Verlag, 1988. 

Literatura

• KUICH, W. Semirings and formal power series: Their relevance to formal languages and automata theory. Svazek 1. Berlin: Springer, 1997. ISBN 3-540-60420-0. Kapitola Chapter 9, s. 609–677. 
• DROSTE, M.; KUICH, W. Handbook of Weighted Automata. [s.l.]: [s.n.], 2009. DOI 10.1007/978-3-642-01492-5_1. S. 3–28. 
• Arto Salomaa, 1990. Formal Models and Semantics. [s.l.]: Elsevier. (Handbook of Theoretical Computer Science). ISBN 0-444-88074-7. S. 103–132. 

Související články

• Okruh omezených mocninných řad