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

67
votes
1answer
2k 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 ...
32
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
711 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
740 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$ ...
11
votes
1answer
463 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 ...
10
votes
1answer
477 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 = ...
9
votes
1answer
472 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
347 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 ...
9
votes
1answer
315 views

Maximal ideals and maximal subspaces of 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 ...
8
votes
2answers
255 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
253 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
196 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
317 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
546 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
3answers
148 views

For which $s\in\mathbb R$, is $H^s(\mathbb T)$ 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 ...
7
votes
1answer
345 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
271 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
172 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
245 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 ...
6
votes
1answer
619 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 ...
6
votes
3answers
808 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
481 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
359 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 ...
6
votes
1answer
175 views

Uniqueness of the involution on a $C^*$-algebra

indication please Let $A$ be a C*-algebra. Suppose that there exists on $A$ another involution $x\rightarrow x^{\#}$ such that $\|xx^{\#}\|=\|x\|^2$, for all $x\in A$. Prove that $x^{\ast}=x^{\#}$, ...
6
votes
2answers
193 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
581 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
215 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.
6
votes
1answer
46 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
135 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
265 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
275 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
182 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
358 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
158 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
1answer
141 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 ...
6
votes
0answers
128 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
2answers
315 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 ...
5
votes
1answer
195 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
216 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
363 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
199 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
1answer
128 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
76 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
67 views

Spectrum of idempotent element

Let $A$ be some unitary algebra over $\mathbb{C}$. If $a^2=a$ and $0\ne a\ne 1$ then $\{0,1\}\subset \sigma_A(a)$ ($\sigma_A(a)$ is the spectrum if $a$). I believe that also $\sigma_A(a)\subset ...
5
votes
1answer
121 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
45 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
97 views

Continuity of double centralizers in Banach algebras

I had some problems with a certain exercise, came up with a solution, but I'm not sure it is correct. Exercise ("MURPHY, C*-Algebras and Operator Theory", Chapter 2, exercise 1) Let $A$ be a ...
5
votes
1answer
84 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
167 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
306 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(.)$ ...