HOME

TheInfoList



OR:

In
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Defini ...
, a branch of mathematics, the Shilov boundary is the smallest closed subset of the structure space of a
commutative In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...
Banach algebra In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers (or over a non-Archimedean complete normed field) that at the same time is also a Banach spa ...
where an analog of the
maximum modulus principle In mathematics, the maximum modulus principle in complex analysis states that if ''f'' is a holomorphic function, then the modulus , ''f'' , cannot exhibit a strict local maximum that is properly within the domain of ''f''. In other words, eit ...
holds. It is named after its discoverer, Georgii Evgen'evich Shilov.


Precise definition and existence

Let \mathcal A be a
commutative In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...
Banach algebra In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers (or over a non-Archimedean complete normed field) that at the same time is also a Banach spa ...
and let \Delta \mathcal A be its structure space equipped with the
relative Relative may refer to: General use *Kinship and family, the principle binding the most basic social units society. If two people are connected by circumstances of birth, they are said to be ''relatives'' Philosophy *Relativism, the concept that ...
weak*-topology of the dual ^*. A closed (in this topology) subset F of \Delta is called a boundary of if \max_ , f(x), =\max_ , f(x), for all x \in \mathcal A. The set S = \bigcap\ is called the Shilov boundary. It has been proved by ShilovTheorem 4.15.4 in
Einar Hille Carl Einar Hille (28 June 1894 – 12 February 1980) was an American mathematics professor and scholar. Hille authored or coauthored twelve mathematical books and a number of mathematical papers. Early life and education Hille was born in New Y ...
,
Ralph S. Phillips Ralph Saul Phillips (23 June 1913 – 23 November 1998) was an American mathematician and academic known for his contributions to functional analysis, scattering theory, and servomechanisms. He served as a Professor of mathematics at Stanford ...

Functional analysis and semigroups
-- AMS, Providence 1957.
that S is a boundary of . Thus one may also say that Shilov boundary is the unique set S \subset \Delta \mathcal A which satisfies #S is a boundary of \mathcal A, and #whenever F is a boundary of \mathcal A, then S \subset F.


Examples

Let \mathbb D=\ be the open unit disc in the
complex plane In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by the ...
and let = H^\infty(\mathbb D)\cap (\bar) be the disc algebra, i.e. the functions
holomorphic In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivativ ...
in \mathbb D and
continuous Continuity or continuous may refer to: Mathematics * Continuity (mathematics), the opposing concept to discreteness; common examples include ** Continuous probability distribution or random variable in probability and statistics ** Continuous ...
in the closure of \mathbb D with
supremum norm In mathematical analysis, the uniform norm (or ) assigns to real- or complex-valued bounded functions defined on a set the non-negative number :\, f\, _\infty = \, f\, _ = \sup\left\. This norm is also called the , the , the , or, when the ...
and usual algebraic operations. Then \Delta = \bar and S=\.


References

*


Notes


See also

* James boundary *
Furstenberg boundary In potential theory, a discipline within applied mathematics, the Furstenberg boundary is a notion of boundary associated with a group. It is named for Harry Furstenberg, who introduced it in a series of papers beginning in 1963 (in the case of se ...
{{SpectralTheory Banach algebras