Codex @codex  0

A Hermitian Banach algebra is a Banach algebra with an algebra involution for which every Hermitian element of a star algebra has real spectrum of an element. A closed unital star-subalgebra has spectral permanence for Hermitian Banach algebras. The assumption is weaker than being a C-star algebra and does not require the C-star norm identity.

For a unital star-subalgebra $A\subseteq B(H)$, its unit ball is dense in the unit ball of $A^{\prime \prime }$ in the strong operator topology. The same holds for self-adjoint unit balls and for positive unit balls, and the full unit balls may be approximated strongly together with their adjoints. Passing first to the norm closure allows continuous functional calculus; resolvent identities prove strong continuity of continuous functions vanishing at infinity, even for unbounded approximating nets of self-adjoint operators. A cutoff function supplies the norm bound, and a two-by-two self-adjoint matrix removes the self-adjoint restriction.

An algebra involution is a map $x\mapsto x^{\ast }$ satisfyingThus it is a conjugate-linear map, reverses multiplication, and has square equal to the identity map. These are algebraic axioms; norm continuity, when included in a convention for a Banach star algebra, is an additional requirement and is not used here. A Hermitian element of a star algebra satisfies $h^{\ast }=h$.

Conjugate linearity gives $0^{\ast }=0$. The map $\ast$ is surjective, so every $u$ is $v^{\ast }$ for some $v$. The identities $(v1{)}^{\ast }=1^{\ast }{v}^{\ast }=v^{\ast }$ and $(1v{)}^{\ast }=v^{\ast }{1}^{\ast }=v^{\ast }$ show that $1^{\ast }$ is a two-sided identity; uniqueness of the identity gives $1^{\ast }=1$. Therefore both zero and the identity are Hermitian algebra elements.

For the final unheaded request, first prove equality of the two spectra for a Hermitian element of a star algebra $h\in B$. Write $D=\mathbb{C}\setminus {\sigma }_A(h)$. The spectrum is a compact subset of the real axis by the assumption that $A$ is a Hermitian Banach algebra, so $D$ is connected: points above and below the real axis can be joined by paths passing beyond the endpoints of an interval containing the spectrum; points of the real axis outside the spectrum can first move a short distance vertically. DefineFor large $|\lambda |$, the Neumann series ${\lambda }^{-1}{\sum }_{n\ge 0}(h/\lambda {)}^n$ converges in the closed unital star-subalgebra $B$, so $E$ is nonempty. It is relatively open in $D$ by the same series applied to a perturbation of an already invertible element of $B$. It is relatively closed in $D$, since the resolvent of an element is continuous in $A$ and $B$ is closed. Connectedness gives $E=D$. Conversely an inverse in $B$ is an inverse in $A$, soThis proves the needed spectrum in a closed unital subalgebra equality for Hermitian algebra elements without presupposing that their spectra in $B$ are real.

Now suppose $b\in B$ is invertible in $A$. Both $b{b}^{\ast }$ and $b^{\ast }b$ are Hermitian algebra elements, since reversing products and applying $\ast$ twice fixes them. They are invertible in $A$, by part (ii), so the preceding equality of spectra of Hermitian algebra elements makes them invertible in $B$. Part (ii), applied within $B$, then makes $b$ invertible in $B$. Applying this to $b-\lambda 1$ for every scalar $\lambda$, and using the automatic converse for an inverse already in $B$, proves spectral permanence for Hermitian Banach algebras:Only closedness, a common identity, closure under the algebra involution, and real ambient spectra of Hermitian algebra elements were used; the C-star identity was not assumed.

For a discrete group, one standard definition of amenability is the fixed-point property: every continuous affine action on a nonempty compact convex set in a locally convex space has a fixed point. The equivalent state formulation, which may be stated without proof here, is that there is a left-invariant invariant mean on ${\ell }^{\infty }(\Gamma )$. Equivalently, every unital left-translation-invariant star-subalgebra of ${\ell }^{\infty }(\Gamma )$ admits a left-invariant state, with continuity for the supremum norm; one may equally pass to its norm closure. A state means a positive linear functional of norm one with value one on the constant function one. Restriction proves the subalgebra formulation from the full-algebra version, and taking the full algebra proves the converse. Such a mean is finitely additive on indicator functions, not necessarily countably additive.

Write $(\lambda (g)\mu )(h)=\mu (g^{-1}h)$ on ${\ell }^1(\Gamma )$ and $(L_{g}f)(h)=f(g^{-1}h)$ on bounded functions. We prove equivalence of this mean condition, the Reiter condition, and existence of a Følner sequence.

Assume first that an invariant mean $m$ exists. Fix a finite set $K\subseteq \Gamma$. In the real Banach space ${⨁}_{g\in K}{\ell }^1(\Gamma )$ with sum norm, consider the convex setIf zero were outside its norm closure, the Hahn-Banach separation theorem would give bounded real functions $f_g$ and $\delta >0$ such thatfor every such $\mu$. Testing point masses at $h$ showsApplying the positive invariant mean makes the left side zero and the right side at least $\delta$, a contradiction. Therefore zero is in the closure: for any $\epsilon >0$ a finitely supported probability measure makes the sum of the translation defects over $K$ less than $\epsilon$. Enumerate the countable group, take the first $n$ elements for $K$ and $\epsilon =1/n$, and obtain a sequence satisfying the Reiter condition. This proves (1) implies (2).

Next assume (2). An ${\ell }^1$ probability measure can be approximated in norm by finitely supported probability measures, by restricting to a large finite set and renormalizing. Replacing $\mu$ by $\nu$ changes each defect by at most $2\Vert \mu -\nu {\Vert }_1$. Thus simultaneous small defects for finitely many translations can be achieved with finite support.

For such $\nu$, set $F_t=\{h:\nu (h)>t\}$. The elementary identity $|r-s|={\int }_0^{\infty }|1_{r>t}-1_{s>t}|dt$ for $r,s\ge 0$ givesIf the sum of defects over $K$ is less than $\epsilon$, some $t$ with $F_t\ne \varnothing$ must satisfy ${\sum }_{g\in K}|F_t△g{F}_t|<\epsilon |F_t|$; otherwise integration would contradict that strict inequality. Applying this layer-cake extraction of Følner sets to successive finite sets of translations gives nonempty finite $F_n$ with each relative boundary tending to zero. Hence (2) implies (3).

Conversely, normalized counting measures ${\mu }_n=1_{F_n}/|F_n|$ satisfyso (3) implies (2). Finally, from (2) define states $m_n(f)={\sum }_h{\mu }_n(h)f(h)$. The dual unit ball of ${\ell }^{\infty }(\Gamma )$ is weak-star compact by the Banach-Alaoglu theorem; take a convergent subnet, since this compactness need not be metrizable. Its limit $m$ is positive with $m(1)=1$, andThus $m$ is invariant, proving (2) implies (1). Together these implications establish all three equivalences. Countability is used to obtain sequences from finite tests; it is not a justification for replacing the compactness subnet by a subsequence.

For a unital star-subalgebra $A\subseteq B(H)$, the Von Neumann double commutant theorem statesHere $A^{\prime }$ is the commutant of an operator algebra, consisting of operators commuting with every element of $A$. The double commutant is closed in either topology: multiplication by a fixed bounded operator is continuous in both. Therefore both closures of $A$ lie in $A^{\prime \prime }$.

For the converse, let $T\in A^{\prime \prime }$ and choose finitely many vectors ${\xi }_1,\dots ,{\xi }_n$. In $H^n$ putIt is invariant under the diagonal action of $A$ and its adjoints, so its orthogonal projection $Q$ commutes with that diagonal action. Consequently each matrix entry $Q_{ij}$ belongs to $A^{\prime }$. The diagonal operator with entry $T$ therefore commutes with $Q$. Since $I\in A$, the tuple $\xi =({\xi }_1,\dots ,{\xi }_n)$ belongs to $K$, and hence so does $(T{\xi }_1,\dots ,T{\xi }_n)$. By the definition of $K$, one element $a\in A$ approximates this entire tuple arbitrarily closely. This is exactly approximation in every strong-operator neighborhood of $T$. It proves $A^{\prime \prime }\subseteq {\overline{A}}^{\mathrm{SOT}}$ and thus both asserted equalities. In particular, $M=A^{\prime \prime }$ is a Von Neumann algebra.

The Kaplansky density theorem strengthens the result by preserving norm bounds:It also holds for the self-adjoint and positive unit balls; the full ball can in fact be approximated in the strong-star topology, meaning strong convergence of both operators and adjoints. We prove the bound rather than merely scaling the unbounded approximants furnished by the double commutant theorem.

First put $C={\overline{A}}^{\Vert \cdot \Vert }$, a unital C-star algebra. Its self-adjoint part is weak-operator dense in $M_{\mathrm{sa}}$: symmetrize any weak approximating net. For a convex subset, strong and weak operator closures agree. To see this explicitly, separation from a strong closure supplies a continuous real functional on finitely many image vectors, hence one of the form $\mathrm{Re}{\sum }_j⟨a{\xi }_j,{\eta }_j⟩$, which is also weak-operator continuous. The Hahn-Banach separation theorem would then separate the point from the weak closure as well. Thus every self-adjoint $x\in M$ is a strong limit of self-adjoint $a_i\in C$, initially without a common norm bound.

The needed functional-calculus continuity follows directly from resolvents. The resolvent identity givesThe first factor has norm at most one, so the right side tends strongly to zero. The same holds at $-i$. Both resolvent nets are uniformly bounded, so their products converge strongly. Their scalar functions generate a self-adjoint algebra separating points of $\mathbb{R}$ and vanishing at infinity. The Stone-Weierstrass theorem, applied to the one-point compactification, makes this algebra uniformly dense in $C_0(\mathbb{R})$. Uniform approximation and the functional-calculus norm bound therefore showThis proves strong continuity of functional calculus through resolvents without an unjustified uniform bound on the original $a_i$.

If $x=x^{\ast }$ and $\Vert x\Vert \le 1$, choose a real compactly supported continuous $f$ equal to the identity on $[-1,1]$ and bounded in absolute value by one. Then $f(a_i)\in C$ are self-adjoint contractions and converge strongly to $f(x)=x$. For a positive contraction $x$, choose instead $0\le f\le 1$ equal to the identity on $[0,1]$; this gives positive contractions. These prove the two restricted versions for $C$.

For an arbitrary contraction $x\in M$, apply the self-adjoint result in the matrix algebra $M_2(C)$ toThe strong closure of $M_2(C)$ is $M_2(M)$, since finitely many entries may be approximated simultaneously. The upper-right entries $c_i$ of the approximating self-adjoint contraction matrices belong to $C$, satisfy $\Vert c_i\Vert \le 1$, and converge strongly to $x$. The lower-left entries are $c_i^{\ast }$ and converge strongly to $x^{\ast }$. This proves the full strong-star assertion for $C$.

Finally transfer the bounds from $C$ to the possibly nonclosed algebra $A$. A contraction $c\in C$ has an approximant $b\in A$ with $\Vert b-c\Vert <\epsilon$, so $b/(1+\epsilon )$ is an $A$-contraction within $2\epsilon$ of $c$. Self-adjoint approximants are obtained by symmetrizing first. For a positive contraction, approximate $c^{1/2}$ by $b\in A$ and use the positive contraction $b^{\ast }b/(1+\epsilon {)}^2$, which tends in norm to $c$ as $\epsilon \downarrow 0$. Combining these norm approximations with each finite-vector strong approximation proves all versions for $A$. The reverse inclusions follow because the relevant norm bounds and the inequalities defining a positive operator are preserved by strong limits.

Let $B$ be a closed star-subalgebra of a unital Hermitian Banach algebra $A$, containing the same identity. For Hermitian $h\in B$, the complement of ${\sigma }_A(h)\subseteq \mathbb{R}$ is connected. The resolvent belongs to $B$ at large modulus by the Neumann series; its membership in $B$ is both open and closed in that complement, so ${\sigma }_B(h)={\sigma }_A(h)$. If $b$ is invertible in $A$, both $b{b}^{\ast }$ and $b^{\ast }b$ are invertible there and Hermitian algebra elements, hence invertible in $B$. Their inverses supply respectively a right and a left inverse for $b$ in $B$, proving invertibility there. Applying this to $b-\lambda 1$ proves the spectrum equality.

A unital star-subalgebra of the bounded operators on a Hilbert space that is closed in the weak operator topology, equivalently in the strong operator topology. The Von Neumann double commutant theorem makes these conditions equivalent to equality with the double commutant of an operator algebra. It is norm closed and hence a C-star algebra.