Shilov boundary

Let ${\displaystyle {\mathcal {A}}}$ be a commutative Banach algebra and let ${\displaystyle \Delta {\mathcal {A}}}$ be its structure space equipped with the relative weak*-topology of the dual ${\displaystyle {\mathcal {A}}^{*}}$. A closed (in this topology) subset ${\displaystyle F}$ of ${\displaystyle \Delta {\mathcal {A}}}$ is called a boundary of ${\displaystyle {\mathcal {A}}}$ if ${\displaystyle \max _{f\in \Delta {\mathcal {A}}}|x(f)|=\max _{f\in F}|x(f)|}$ for all ${\displaystyle x\in {\mathcal {A}}}$. The set ${\displaystyle S=\bigcap \{F:F{\text{ is a boundary of }}{\mathcal {A}}\}}$ is called the Shilov boundary. It has been proved by Shilov[1] that ${\displaystyle S}$ is a boundary of ${\displaystyle {\mathcal {A}}}$.

Thus one may also say that Shilov boundary is the unique set ${\displaystyle S\subset \Delta {\mathcal {A}}}$ which satisfies

1. ${\displaystyle S}$ is a boundary of ${\displaystyle {\mathcal {A}}}$, and
2. whenever ${\displaystyle F}$ is a boundary of ${\displaystyle {\mathcal {A}}}$, then ${\displaystyle S\subset F}$.

• Let ${\displaystyle \mathbb {D} =\{z\in \mathbb {C}$ :|z|<1\}} be the open unit disc in the complex plane and let

${\displaystyle {\mathcal {A}}=H^{\infty }(\mathbb {D} )\cap {\mathcal {C}}({\bar {\mathbb {D} }})}$ be the disc algebra, i.e. the functions holomorphic in ${\displaystyle \mathbb {D} }$ and continuous in the closure of ${\displaystyle \mathbb {D} }$ with supremum norm and usual algebraic operations. Then ${\displaystyle \Delta {\mathcal {A}}={\bar {\mathbb {D} }}}$ and ${\displaystyle S=\{|z|=1\}}$.

• Hazewinkel, Michiel, ed. (2001) [1994], "Bergman-Shilov boundary", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4

• James boundary
• Furstenberg boundary