Definition 21 [03SK] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context Β· Original author HTML
Definition 21
Let U β π n U\subset{{\bf R}}^{n} be an open
subset of the standard vector space π n {{\bf R}}^{n} .
We define πͺ π n β ( U ) {\cal O}_{{{\bf R}}^{n}}(U) as the vector space over π Ξ΅ {{\bf C}}_{\varepsilon}
consisting of formal Laurent series
f = β k 1 , β¦ , k n β π n a k 1 β β¦ β k n β z 1 k 1 β β¦ β z n k n , f=\sum_{k_{1},...,k_{n}\in{{\bf Z}}^{n}}a_{k_{1}...k_{n}}z_{1}^{k_{1}}...z_{n}^{k_{n}},
where z 1 , β¦ , z n z_{1},...,z_{n} are formal variables,
a k 1 β β¦ β k n β π Ξ΅ a_{k_{1}...k_{n}}\in{{\bf C}}_{\varepsilon} , and for any ( y 1 , β¦ , y n ) β U (y_{1},...,y_{n})\in U
we have: l β i β m β i | k i | β β β ( v β‘ ( a k 1 β β¦ β k n ) + β i k i β y i ) = + β lim_{\sum_{i}|k_{i}|\to\infty}(v(a_{k_{1}...k_{n}})+\sum_{i}k_{i}y_{i})=+\infty .