# Neumann series in an incomplete normed algebra

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).

-
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. – Salvo Tringali Dec 10 '11 at 18:38
What example(s) of $\mathcal A$ make(s) you think that $N$ can be dense in $\mathcal B_{\mathcal A}$? – Davide Giraudo Dec 10 '11 at 23:10

2
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. – Martin Sleziak Dec 11 '11 at 14:20

2
@Martin. I don't care much about labels but still think that normed ring/algebras would deserve their own tag. :) – Salvo Tringali Dec 11 '11 at 15:01

2
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...) – user16299 Jan 6 '12 at 6:52
show 3 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 30, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9289225339889526, "perplexity_flag": "head"}