The holomorphic functional calculus of several variables is used in mathematics to investigate commutative - Banach algebras . This functional calculus allows the application of a holomorphic function of several variables to a tuple consisting of elements of the Banach algebra. This generalizes the holomorphic functional calculus , which refers to the holomorphic functions of a variable.
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
motivation
The simplest holomorphic functions of several variables are polynomials with .
![{\ displaystyle p = p (z_ {1}, \ ldots, z_ {n}) = \ sum _ {j_ {1}, \ ldots, j_ {n} = 0} ^ {N} \ beta _ {j_ { 1}, \ ldots, j_ {n}} z_ {1} ^ {j_ {1}} \ ldots z_ {n} ^ {j_ {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59f5403f4eb72e0a781cddb83a9697717040ae15)
![{\ displaystyle \ beta _ {j_ {1}, \ ldots, j_ {n}} \ in \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12759558feeeaa7fb58ec8732044e6ee0c69605b)
Substituting elements a - algebra in such a polynomial results .
![a_ {1}, \ ldots, a_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/451345cc97e2ed923dd4656fcc400c3f37119cca)
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\ displaystyle p (a_ {1}, \ ldots, a_ {n}) = \ sum _ {j_ {1}, \ ldots, j_ {n} = 0} ^ {N} \ beta _ {j_ {1} , \ ldots, j_ {n}} a_ {1} ^ {j_ {1}} \ ldots a_ {n} ^ {j_ {n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd1d8fdf1d4d6b03099e064d9d81359b903ffb20)
In order to define meaningful, one first needs an identity element 1 in the Banach algebra. If the set of polynomials is variable, a mapping is obtained
. In order for this mapping to become a homomorphism, the elements must commute with one another , because it is a commutative ring and therefore must
![{\ displaystyle a_ {j} ^ {0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17e521262f50d92e3b94d6715d4a93af36c6999e)
![P_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5949c8b1de44005a1af3a11188361f2a830842d1)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\ displaystyle P_ {n} \ rightarrow A, \, p \ mapsto p (a_ {1}, \ ldots, a_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5581f5adc2384d2e4a5948caa4d7b5f7e55881fd)
![a_ {1}, \ ldots, a_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/451345cc97e2ed923dd4656fcc400c3f37119cca)
![P_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5949c8b1de44005a1af3a11188361f2a830842d1)
![{\ displaystyle a_ {j} a_ {k} = z_ {j} (a_ {1}, \ ldots, a_ {n}) z_ {k} (a_ {1}, \ ldots, a_ {n}) = ( z_ {j} z_ {k}) (a_ {1}, \ ldots, a_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a61fe76c5056a4e91151da3b253a96196a860dd)
![{\ displaystyle = (z_ {k} z_ {j}) (a_ {1}, \ ldots, a_ {n}) = z_ {k} (a_ {1}, \ ldots, a_ {n}) z_ {j } (a_ {1}, \ ldots, a_ {n}) = a_ {k} a_ {j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8db894be2c2c4dbc82bc77462a68c61af09985b)
be. Therefore one has to limit oneself to commutative -Banach algebras with one element. If one has no one element, one can adjoint one .
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
The calculation
The holomorphic functional calculus of a variable for an element deals with holomorphic functions that are defined in a neighborhood of the spectrum . In the situation considered here, there are elements of a commutative Banach algebra with 1 and holomorphic functions are considered in variables that are defined in a neighborhood of the common spectrum . If the Gelfand space is from , then is
![\ sigma (a)](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf9ea3f420f9f4df8439a86b1256e4157c632e9c)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![a_ {1}, \ ldots, a_ {n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/451345cc97e2ed923dd4656fcc400c3f37119cca)
![{\ displaystyle \ sigma (a_ {1}, \ ldots, a_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/660e7963fed5eb275b0e73db14cf50d712a57f84)
![X_ {A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c3b750756d33b2e60efd90c59a059d0dae129cd)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
a compact subset of the . With methods of function theory one shows
![{\ displaystyle \ mathbb {C} ^ {n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a53b4e76242764d1bca004168353c380fef25258)
- Let be a commutative -Banach algebra with 1 and be a holomorphic function defined in a neighborhood of . Then there is an element with
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![a_ {1}, \ ldots, a_ {n} \ in A](https://wikimedia.org/api/rest_v1/media/math/render/svg/52c9160f76f73a4fa99182134bf78847d61bb473)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\ displaystyle \ sigma (a_ {1}, \ ldots, a_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/660e7963fed5eb275b0e73db14cf50d712a57f84)
![a \ in A](https://wikimedia.org/api/rest_v1/media/math/render/svg/a97387981adb5d65f74518e20b6785a284d7abd5)
-
for all
The element from the above sentence is generally not clearly defined, because there can be different elements in with for everyone . But then applies to everyone . Since the kernels of the homomorphisms from are exactly the maximum ideals of (see article Banachalgebra ), lies in the average of all maximum ideals, i.e. in the Jacobson radical of . So if the Jacobson radical is (that is, if the Banach algebra is semi-simple ) then one can infer. In this case that is clearly determined from the above sentence. The following sentence is then obtained:
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![from](https://wikimedia.org/api/rest_v1/media/math/render/svg/181523deba732fda302fd176275a0739121d3bc8)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![\ varphi (a) = \ varphi (b)](https://wikimedia.org/api/rest_v1/media/math/render/svg/5aacbc2aab540360b1713ddb05cd86f56a2c2fe0)
![{\ displaystyle \ varphi \ in X_ {A}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e53c4ac9d5bc84b23c327dc85ddb0b7849700355)
![{\ displaystyle from \ in {\ mbox {ker}} (\ varphi)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/432f8b9bf24a43abc5987b413894f63069a01fa0)
![{\ displaystyle \ varphi \ in X_ {A}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e53c4ac9d5bc84b23c327dc85ddb0b7849700355)
![X_ {A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c3b750756d33b2e60efd90c59a059d0dae129cd)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![from](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b80866c2bf2f1bc1f2e4c97e7937f5663150ea6)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![\ {0 \}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ff0df9ef65c0572eb676580ce1c02b8ec40f694)
![a = b](https://wikimedia.org/api/rest_v1/media/math/render/svg/1956b03d1314c7071ac1f45ed7b1e29422dcfcc4)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
- Let be a semi-simple, commutative -Banach algebra with 1, and let be an open neighborhood of the common spectrum . Is the set of all in defined holomorphic functions, so there is every exactly one element with
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![a_ {1}, \ ldots, a_ {n} \ in A](https://wikimedia.org/api/rest_v1/media/math/render/svg/52c9160f76f73a4fa99182134bf78847d61bb473)
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![{\ displaystyle \ sigma (a_ {1}, \ ldots, a_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/660e7963fed5eb275b0e73db14cf50d712a57f84)
![{\ displaystyle H (U)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1ba2895d1e423f0d6850a388eba7f3f191556d4)
![U](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![{\ displaystyle f \ in H (U)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dada60fa4952926e1b9fcf9c688880aa5f9930c)
![a \ in A](https://wikimedia.org/api/rest_v1/media/math/render/svg/a97387981adb5d65f74518e20b6785a284d7abd5)
-
for everyone .![{\ displaystyle \ varphi \ in X_ {A}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e53c4ac9d5bc84b23c327dc85ddb0b7849700355)
This clearly defined element is called . In the situation of the above sentence then still applies
![{\ displaystyle f (a_ {1}, \ ldots, a_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a102dfde9509475bae72f9138ddf46a0f052f8c)
- The mapping is a homomorphism that continues the establishment .
![{\ displaystyle H (U) \ rightarrow A, \, f \ mapsto f (a_ {1}, \ ldots, a_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef65a1261c6d30196a8cc15a1e321dc6a99490a2)
![{\ displaystyle P_ {n} \ rightarrow A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ad3cba47115e223e86548bc6951a71f1fd561ac)
In this sense, one can insert elements of semi-simple, commutative -Banach algebras with 1 into holomorphic functions that are defined in a neighborhood of the common spectrum.
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
These theorems were proved by Schilow under the additional assumption that the Banach algebra is finitely generated . The general case was then shown by Arens and Calderón ; further versions can be found in the Bourbaki volume mentioned below .
Schilow's Idempotent Theorem
The best-known application of these methods goes back to Schilow himself. Schilow's idempotent theorem makes a statement about the existence of idempotent elements in commutative Banach algebras with 1:
- Let be a commutative -Banach algebra with one element and let the Gelfand space be a disjoint union of non-empty compact subsets and . Then there is an idempotent element with for all and for all
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\ displaystyle X_ {A} = K_ {0} \ cup K_ {1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/564bb5b8f2a9d0b0c24299b03186af31642e0ff5)
![K_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44b0af6cafb690d3dbb0f3f30a032631338dc476)
![K_ {1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8520077dbcf03c2aabefd98d41a2269ed41a54fa)
![e \ in A](https://wikimedia.org/api/rest_v1/media/math/render/svg/843f78019185a88194819381dbb89a7c99d620e7)
![{\ displaystyle \ varphi (e) = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44db12c1f850b376b96628d17c6897c449228bc1)
![{\ displaystyle \ varphi \ in K_ {0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61b6885e130a76c4c2d6bddb0e615019b17ab344)
![{\ displaystyle \ varphi (e) = 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b9e400c96706db1b1ed46ceaae299c2a2d612a09)
To the proof sketch of Schilow's idempotent theorem
For the proof, which can only be roughly indicated here, one obtains suitable elements so that their common spectrum is also a disjoint union of compact sets and . Then there are disjoint open environments and from and . The function that is equal to 0 and equal to 1 is holomorphic in a neighborhood of the common spectrum. Is also semi-simple, the element you are looking for is. In a further step of the proof, one frees oneself from the additional requirement of semi-simplicity.
![a_ {1}, \ ldots, a_ {n} \ in A](https://wikimedia.org/api/rest_v1/media/math/render/svg/52c9160f76f73a4fa99182134bf78847d61bb473)
![L_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db742b8c210fc611329a4c2dcc3af4b4e1a110cb)
![L_ {1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e79dc1b001f8b923df475ed14de023cbc456013)
![U_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52116e300c6199496d7b4a60d417ba34a4e569dc)
![U_ {1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc9e7f892894bc50c32ce1b9f9a68a15562146ac)
![L_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db742b8c210fc611329a4c2dcc3af4b4e1a110cb)
![L_ {1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e79dc1b001f8b923df475ed14de023cbc456013)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![U_ {0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52116e300c6199496d7b4a60d417ba34a4e569dc)
![U_ {1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc9e7f892894bc50c32ce1b9f9a68a15562146ac)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\ displaystyle e = f (a_ {1}, \ ldots, a_ {n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c098f44aa1af04bd583622e69bc9b50285932fc)
Another important application is
- A semi-simple, commutative -Banach algebra has a unit if and only if the Gelfand space is compact.
![{\ displaystyle \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![X_ {A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c3b750756d33b2e60efd90c59a059d0dae129cd)
literature
- FF Bonsall, J. Duncan: Complete Normed Algebras . Springer-Verlag 1973, ISBN 3540063862
- Bourbaki: Élements de mathématique, XXXII, Theories spectrales , Paris: Hermann 1967
-
Gunning - Rossi : Analytic functions of several complex variables . Prentice Hall 1965
-
Lars Hörmander : An Introduction to Complex Analysis in Several Variables , North-Holland Mathematical Library 1973