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
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
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
of
is called a boundary of
if
for all
.
The set
is called the Shilov boundary. It has been proved by Shilov
[Theorem 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
is a boundary of
.
Thus one may also say that Shilov boundary is the unique set
which satisfies
#
is a boundary of
, and
#whenever
is a boundary of
, then
.
Examples
Let
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
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
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
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
and
.
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