In
mathematics, a Dirichlet algebra is a particular type of
algebra
Algebra () is one of the areas of mathematics, broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathem ...
associated to a
compact Hausdorff space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i ...
''X''. It is a closed subalgebra of ''C''(''X''), the
uniform algebra
In functional analysis, a uniform algebra ''A'' on a compact Hausdorff topological space ''X'' is a closed (with respect to the uniform norm) subalgebra of the C*-algebra ''C(X)'' (the continuous complex-valued functions on ''X'') with the follow ...
of bounded
continuous functions
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in va ...
on ''X'', whose real parts are dense in the algebra of bounded continuous real functions on ''X''. The concept was introduced by .
Example
Let
be the set of all
rational function
In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be ...
s that are continuous on
; in other words functions that have no
poles in
. Then
:
is a *-subalgebra of
, and of
. If
is
dense
Density (volumetric mass density or specific mass) is the substance's mass per unit of volume. The symbol most often used for density is ''ρ'' (the lower case Greek letter rho), although the Latin letter ''D'' can also be used. Mathematically ...
in
, we say
is a Dirichlet algebra.
It can be shown that if an operator
has
as a
spectral set
In operator theory, a set X\subseteq\mathbb is said to be a spectral set for a (possibly unbounded) linear operator T on a Banach space if the spectrum
A spectrum (plural ''spectra'' or ''spectrums'') is a condition that is not limited to a sp ...
, and
is a Dirichlet algebra, then
has a
normal boundary dilation. This generalises
Sz.-Nagy's dilation theorem, which can be seen as a consequence of this by letting
:
References
*
*
*''Completely Bounded Maps and Operator Algebras'' Vern Paulsen, 2002
*.
Functional analysis
C*-algebras
{{Mathanalysis-stub