A Banach algebra is an algebra over the real or complex numbers which is equipped with a complete norm such that |xy| ≤ |x||y|. The study of Banach algebras is a major topic in functional analysis. If you are about to ask a question on C*-algebras or von Neumann algebras please use (c-star-algebras) ...

learn more… | top users | synonyms

66
votes
1answer
1k views

Can one deduce Liouville's theorem (in complex analysis) from the non-emptiness of spectra in complex Banach algebras?

As you probably know, the classical proof of the non-emptiness of the spectrum for an element $x$ in a general Banach algebra over $\mathbb{C}$ can be proven quite easily using Liouville's theorem in ...
31
votes
2answers
1k views

The identity cannot be a commutator in a Banach algebra?

The Wikipedia article on Banach algebras claims, without a proof or reference, that there does not exist a (unital) Banach algebra $B$ and elements $x, y \in B$ such that $xy - yx = 1$. This is ...
12
votes
2answers
659 views

Is there an algebraic homomorphism between two Banach algebras which is not continuous?

According to wikipedia, you need the Axiom of Choice to find a discontinuous map between two Banach spaces. Does this procedure also apply for Banach algebras yielding a discontinuous multiplicative ...
11
votes
1answer
684 views

Closure of the invertible operators on a Banach space

Let $E$ be a Banach space, $\mathcal B(E)$ the Banach space of linear bounded operators and $\mathcal I$ the set of all invertible linear bounded operators from $E$ to $E$. We know that $\mathcal I$ ...
10
votes
1answer
335 views

Looking for an easy lightning introduction to Hilbert spaces and Banach spaces

I'm co-organizing a reading seminar on Higson and Roe's Analytic K-homology. Most participants are graduate students and faculty, but there are a number of undergraduates who might like to ...
9
votes
1answer
440 views

Why is $\ell^1(\mathbb{Z})$ not a $C^{*}$-algebra?

When $\ell^1(\mathbb Z)$ is equipped with the convolution as multiplication and $a^{*}_{n}=\bar{a}_{-n}$, I can prove it satisfies all conditions except $\|a^{*}a\|=\|a\|^2$, which I cannot prove nor ...
9
votes
1answer
336 views

How to prove Halmos’s Inequality

How to prove Halmos’s Inequality? If $A$ and $B$ are bounded linear operators on a Hilbert space such that $A$, or $B$, commutes with $AB-BA$ then $$\|I-(AB- BA)\|\ge 1.$$ I found it from ...
8
votes
2answers
240 views

Does the Banach algebra $L^1(\mathbb{R})$ have zero divisors?

Assume that the functions $f,g: \mathbb{R}\rightarrow \mathbb{R}$ are integrable and equal to zero on $(-\infty,0)$, (i.e $f,g \in L^+$). Then by Titchmarsh's theorem: $f*g$ is zero almost everywhere ...
8
votes
1answer
222 views

Wiener's theorem in $\mathbb{R}^n$

Reading Stein's "Singular integrals and differentiability properties of functions" I came across the following statement (this is in the proof of Lemma 3.2, pages 133-134): We now invoke the ...
8
votes
1answer
414 views

Liouville's theorem for Banach spaces without the Hahn-Banach theorem?

Let $B$ be a (complex) Banach space. A function $f : \mathbb{C} \to B$ is holomorphic if $\lim_{w \to z} \frac{f(w) - f(z)}{w - z}$ exists for all $z$, just as in the ordinary case where $B = ...
8
votes
1answer
191 views

Abelian sub-C*-algebras

Given a non-abelian C*-algebra $A$. I am wondering what are the possible abelian sub-C*-algebras of $A$. Let $K$ be the spectrum of $A$. Does $A$ contain an isomorphic copy (as a Banach space) of the ...
8
votes
1answer
299 views

Understanding topological divisor of zero

I am reading this paper also here where in the Theorem 2.1 term topological divisor of zero has been used. I have gone through wiki articles where it has been mentioned that An element $z$ of a ...
7
votes
3answers
521 views

Banach Algebra counterexample

Can someone give me an exemple of a Banach Algebra $\mathbb{A}$, for which there is no isometric representation in a Hilbert Space ? (with proof or references to proof) Thank you very much :)
7
votes
1answer
325 views

Normed algebra with multiplicative norm, non-isomorphic to $R$, $C$, $H$.

Is there an infinite dimensional real normed algebra $A$ such that $\|xy\|=\|x\|\cdot \|y\|$ for all $x,y \in A$? Thanks.
7
votes
1answer
205 views

Maximal ideals in the algebra of continuously differentiable functions on [0,1]

This is an exercise in Rudin's Functional Analysis, in the chapter on commutative Banach algebras. My (uneducated) guess was that every homomorphism on $C^{1}[0,1]$ is an evaluation at some point of ...
7
votes
1answer
171 views

Boundary of invertibles in a normed algebra

A student and I are reading the book Introduction to Banach Spaces and Algebras, by Allan, and we're stuck. Exercise 4.5 says: Let $A$ be a normed algebra with unit sphere $S$. Let $a\in A$. ...
7
votes
1answer
231 views

When is the weighted space $\ell^p(\mathbb{Z},\omega)$ a Banach algebra ($p>1$)?

Let $\omega:\mathbb{Z}\to (0,\infty)$ and let $1\leq p<\infty$. Consider the space $\ell^p(\mathbb{Z},\omega)$ of complex valued sequences $f=(a_n)_{n \in \mathbb{Z}}$ such that ...
7
votes
1answer
149 views
+500

Maximal Ideals and Maximal Subspaces in normed algebras

This is a kind of "prove or give a counter-example" question, and I'm having some difficults with it: By a maximal ideal $I$ of an algebra $A$, we mean an ideal $I\neq A$ which is not properly ...
6
votes
3answers
720 views

Is $L^2(\mathbb{R})$ with convolution a Banach Algebra?

Is $L^2(\mathbb{R})$ a Banach algebra, with convolution? I am pretty sure the answer is no, because I think that $f,g \in L^2(\mathbb{R})$ does not imply that $f*g \in L^2(\mathbb{R})$. However, I ...
6
votes
1answer
442 views

Prove that $\sigma(AB) \backslash \{0\} = \sigma(BA)\backslash \{0\} $

Prove that $\sigma(AB) \backslash \{0\} = \sigma(BA)\backslash \{0\} $. Where $A,\ B$ are bounded operators in Banach space and $\sigma$ denotes spectrum.
6
votes
2answers
181 views

Stone-Čech via $C_b(X)\cong C(\beta X)$

I am having some trouble constructing the Stone-Čech compactification of a locally compact Hausdorff space $X$ using theory of $C^*$-algebras. I did some search but could not find a good answer on ...
6
votes
1answer
527 views

Some examples in C* algebras and Banach * algebras

I would like an example of the following things. A Banach * algebra that is not a C* algebra for which there exists a positive linear functional (it takes $x^*x$ to numbers $ \geq 0$) that is not ...
6
votes
1answer
39 views

Extension of character in Banach algebras

Let $A$ be a Banach algebra. The continuous linear functional $\phi:A\to\Bbb{C}$ is called character if it is non-zero multiplicative function i.e., for every $a,b\in A$ we have ...
6
votes
1answer
125 views

Can $f*g = f+g$ for $f$ and $g$ compactly supported?

Let $f$ and $g$ be continuous, compactly-supported functions $\mathbb{R} \to \mathbb{C}$. Can it happen that $f*g = f+g$? Here, $f*g$ denotes the convolution $$(f*g)(s) = \int_\mathbb{R} f(t) g(s-t) ...
6
votes
1answer
236 views

On the spectrum of the sum of two commuting elements in a Banach algebra

Original: Soit A une algèbre de Banach unitaire et a et b deux éléments tels que a*b=b*a. Pourquoi σ (a+b) с σ(a)+σ(b) Et qu’elle est la relation entre σ (a*b) et σ(a) et σ(b)? Translation: Let ...
6
votes
1answer
257 views

Ideals in Commutative Banach Algebras

Suppose that $A$ is a natural Banach function algebra on $K$, a compact Hausdorff space. So $A$ is realised as an algebra of continuous functions on $K$, is a Banach algebra for some norm ...
6
votes
1answer
170 views

$\exp(\ln(x))=x$ and $\ln(\exp(y))=y$.

Let $(A,1_A,|\cdot{}|)$ be a unital Banach algebra, for instance $A=M_n(\Bbb R)$ or $M_n(\Bbb C)$. What is the union of all open unit balls $B_{\|\cdot{}\|}$ where $\|\cdot{}\|$ ranges over all ...
6
votes
1answer
310 views

Maximal abelian subalgebra of Banach algebra is closed and contains the unit

I'm studying Murphy's book: C*-Algebras and Operator Theory, and got stuck on exercise 8 from chapter 1: "Show that if $B$ is a maximal abelian subalgebra of a unital Banach algebra $A$, then $B$ is ...
6
votes
1answer
148 views

Tensor product of algebra

Can we find define a norm on tensor product $C(X) \otimes C(Y)$ such that the norm completion of $C(X)\otimes C(Y)=C(X\times Y)$ And can we define a norm on tensor product $L^1(X)\otimes L^1(Y)$ such ...
6
votes
0answers
123 views

Decomposing $\mathcal{B}(H)$

Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...
5
votes
1answer
186 views

When is the ring of continuous functions absolutely flat?

This question was created in a discussion. Let $X$ be a topological space. Denote by $C(X; \mathbb{R})$ the ring of real-valued continuous functions defined on $X.$ Characterize those compact ...
5
votes
2answers
324 views

Non-$C^{*}$ Banach algebras?

It suddenly occurred to me almost every Banach algebra I know is actually a $C^{*}$ algebra. Several kinds of function algebras are definitely $C^{*}$ algebras. So is the matrix algebra. Although one ...
5
votes
2answers
199 views

Why are compact operators 'small'?

I have been hearing different people saying this in different contexts for quite some time but I still don't quite get it. I know that compact operators map bounded sets to totally bounded ones, that ...
5
votes
1answer
305 views

Fourier transform as a Gelfand transform

One question came to my mind while looking at the proof of Gelfand-Naimark theorem. Is Fourier transform a kind of Gelfand transform? Are there any other well-known transforms which are so?
5
votes
1answer
195 views

Boolean algebras of projections

Suppose $X$ is a Banach space with an unconditional basis $(e_n)$. Then, one may easily define a Boolean algebra of projections in $\mathcal{L}(E)$ which is isomorphic to the power-set of $\mathbb{N}$ ...
5
votes
3answers
71 views

For which $s\in\mathbb R$, $H^s(\mathbb T)$ is a Banach algebra?

According to Theorem 4.39 in Adams & Fournier Sobolev Spaces: If $mp>n$, $m\in\mathbb N$, then $W^{m,p}(\Omega)$ is a Banach algebra, provided that $\Omega\subset\mathbb R^n$ satisfies the ...
5
votes
1answer
96 views

Example of a singular element which is not a topological divisor of zero

We know that every topological divisor of zero in a commutative Banach algebra is singular. I need an example of a singular element which is not a topological divisor of zero.
5
votes
1answer
70 views

Unital nonabelian banach algebra where the only closed ideals are $\{0\}$ and $A$

This is a problem in exercise one of Murphy's book Find an example of a nonabelian unital Banach algebra $A$, where the only closed ideals are $\{0\}$ and $A$. But does such an algebra exist at ...
5
votes
1answer
103 views

Gelfand transform is an isometry

I'm having a bit of trouble showing that the Gelfand transform $A \rightarrow C(\operatorname{sp}(A))$ is isometric iff $\|x^2\| = \|x\|^2$ for a general unital commutative Banach algebra. For a $C^*$ ...
5
votes
1answer
197 views

Finding a closed subalgebra generated by functions.

Consider the space of all bounded continuous real-valued functions of $\mathbb{R}$. I am having trouble understanding how to find the closed subalgebra generated by sine and cosine.
5
votes
1answer
36 views

On the spectrum of a product in a Banach algebra, in specific case

Let $A$ be a Banach algebra, and suppose that $a,b\in A$ have spectra that satisfy: $\sigma(a) \subset U$, and $\sigma(b)\subset U$, where $U$ is the open right half-plane of complex numbers with ...
5
votes
1answer
71 views

Why locally compact in the Gelfand representation?

I'm missing something in the Gelfand representation. Let's just say $\mathfrak{A}$ is a Banach algebra. Then it's a Banach space, and so we have $\mathfrak{A}^\ast$. The multiplicative linear ...
5
votes
1answer
151 views

Universal separable Banach algebras

The well-known Banach-Mazur theorem says that $C([0, 1])$ is a universal separable Banach space, in the sense that if $X$ is any separable Banach space then there is a map $f : X \to C([0, 1])$ which ...
5
votes
1answer
256 views

Spectral radius in Banach Algebra

Let $A$ be a unital Banach algebra and $a\in A$ and $\lambda \in \rho(a)$. I want to prove that $$r(R(a,\lambda))=\frac{1}{d(\lambda,\sigma(a))}.$$ where $R(a,\lambda)=(\lambda 1-a)^{-1}$ and $r(.)$ ...
5
votes
0answers
124 views

invariant subspace of a Hardy space

Let $T$ be the unit circle and $H^1=\{f\in L^1(T): \int_0^{2\pi} f(e^{it})\chi_n(e^{it})dt=0 \text{ for } n>0\}$ where $\chi_n(e^{it})=e^{int}$. Let $M$ be a closed subspace of $H^1$. Then ...
4
votes
2answers
297 views

If $(I-T)^{-1}$ exists, can it always be written in a series representation?

If $X$ is a Banach space, and $T:X \to X$ is a bounded linear operator with norm < $1$, then $I-T$ has a bounded inverse defined by $(I-T)^{-1} = \sum_{n=0}^\infty T^n$. Thinking in terms of a ...
4
votes
1answer
558 views

Reference request: Fourier and Fourier-Stieltjes algebras

I would like to learn the basic theory of Fourier algebras and Fourier-Stieltjes algebras. In particular, I want to know how these two objects are defined in the case of not necessarily abelian ...
4
votes
2answers
94 views

Commutativity in a Unital Banach Algebra

Let $ A $ be a unital Banach algebra and $ S $ a non-empty subset of $ A $. The centralizer of $ S $ is defined as $$ Z(S) \stackrel{\text{def}}{=} \{ a \in A ~|~ \text{$ as = sa $ for all $ s \in S ...
4
votes
2answers
74 views

Characterization of small Banach subalgebras

Let $A$ be a unital Banach algebra and $x \in A$ nonzero. We can consider the subalgebra $B$ of $A$ generated by $\{1,x\}$. This is the norm closure of the subspace of polynomials in $x$. So for any ...
4
votes
2answers
116 views

Commutative unital Banach algebra with nilpotent elements

What would be a concrete example of a commutative unital Banach algebra that contains nilpotent elements?