Let $\mathcal{A} \equiv (A, \|\cdot\|_A)$ be a unital (associative) normed algebra over the real or complex field, and assume that $\mathcal{A}$ is not complete. Provided $\mathcal{B}_\mathcal{A}$ is the open unit ball of $\mathcal{A}$, define $N$ to be the set of all $a \in \mathcal{B}_\mathcal{A}$ such that the Neumann series $\sum_{n=0}^\infty a^n$ does not converge in $\mathcal{A}$.

Questions. 1) Is $N$ dense in $\mathcal{B}_\mathcal{A}$? 2) And what about $\mathcal{B}_\mathcal{A}\setminus N$?

Edit (11 Dec 2011). Following Davide's comment below, let $\mathcal{C}^0([0,1],\mathbb{R})$ be the usual Banach algebra (over the real field) of all continuous functions $[0,1] \to \mathbb{R}$ endowed with the uniform norm $\|\cdot\|_\infty$. Define $A$ to be the subalgebra of $\mathcal{C}^0([0,1],\mathbb{R})$ of all polynomial functions. For each $\phi \in A$ such that $\|\phi\|_\infty < 1$, the Neumann series $\sum_{n=0}^\infty \phi^n$ converges in $\mathcal{C}^0([0,1],\mathbb{R})$ to $(1 - \phi)^{-1}$, but it does not in $\mathcal{A} \equiv (A,\|\cdot\|_\infty)$ so far as $\phi$ is not a constant. Thus, $N$ is dense in $\mathcal{B}_\mathcal{A}$, and indeed in the unit ball of $\mathcal{C}^0([0,1],\mathbb{R})$ (by the Stone-Weierstrass theorem).

  • $\begingroup$ As far as I can understand, there still exists no tag for normed algebras, and I'm not yet enabled to create a new one by myself. $\endgroup$ – Salvo Tringali Dec 10 '11 at 18:38
  • $\begingroup$ What example(s) of $\mathcal A$ make(s) you think that $N$ can be dense in $\mathcal B_{\mathcal A}$? $\endgroup$ – Davide Giraudo Dec 10 '11 at 23:10
  • 2
    $\begingroup$ I've retagged question - in my opinion, it's better to think twice before creating a new tag whether it will be useful. But if you think that the new tag would be useful, fell free to retag the question again, of course. $\endgroup$ – Martin Sleziak Dec 11 '11 at 14:20
  • 2
    $\begingroup$ @Martin. I don't care much about labels but still think that normed ring/algebras would deserve their own tag. :) $\endgroup$ – Salvo Tringali Dec 11 '11 at 15:01
  • 3
    $\begingroup$ Speaking as a Banach algebraist, to act as if that area is subsumed by "operator-algebras" and "c-star-algebras" seems quite mistaken in my view. (Just try applying continuous functional calculus to self-adjoint elements in $\ell^1$-group algebras and watch your norm estimates blow up in your face...) $\endgroup$ – user16299 Jan 6 '12 at 6:52

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.