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

1
vote
1answer
42 views

Characterizing C* algebra generated by elements.

Let $A$ be a C*-algebra and $A_0\subset A$. Then it is known that the $\mathbb{C}$-algebra generated by $A_0$ (i.e. the intersection of all sub-$\mathbb{C}$-algebras containing it ) is just the ...
8
votes
1answer
242 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 ...
5
votes
1answer
160 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^{\#}$, ...
2
votes
2answers
75 views

Is the group algebra separable?

Let $G$ be a locally compact Hausdorff group. Is the group algebra $L^1(G)$ separable? Would you please help me or introduce references that can help me. Thanks
3
votes
0answers
56 views

Do inclusions of Banach algebras preserve spectral radius?

Let $f : A_1 \to A_2$ be an injective homomorphism of unital Banach algebras. It's a standard fact that if $f$ is has closed range, i.e. $A_1$ is embedded as a closed subalgebra of $A_2$, then for ...
1
vote
1answer
85 views

Approximation of certain continuous functions by analytic functions

Let $f\in C(S^{1},M_{n}(\mathbb{C}))$ be a unitary. Does there exist an analytic unitary function $g$ from $S^{1}$ to $M_{n}(\mathbb{C})$ that approximates $f$?
2
votes
1answer
28 views

Extension theory and automorphism extension

My question is motivated by the following two posts On finite 2-groups that whose center is not cyclic and Automorphisms of group extensions Question: Assume that $A,B,C$ are there algebraic ...
3
votes
0answers
56 views

Using Stone–Weierstrass theorem for completely regular space

Let $X$ be completely regular. If $K$ is a compact subset of $X$, define $$p_K(f)=\sup\{|f(x)|;x\in X\}$$ then $\{p_k; \text{K is a compact }\}$ is a family of seminorms that makes $C(X)$ into a ...
0
votes
1answer
34 views

Convergence of product of convergent sequences [closed]

How can we prove the following theorem about term-by-term products of convergent sequences? Theorem: If $(a_n)$ and $(b_n)$ are sequences in normed algebra $\mathcal {A}$ and $a,b\in\mathcal{A}$ such ...
6
votes
3answers
82 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 ...
1
vote
1answer
19 views

Bounded approximate identities in one-sided ideals of $L_1(G)$

Let $G$ be a locally compact group and consider its $L_1$-group algebra, that is, $L_1(G)$. It is easily seen that $L_1(G)$ has a two-sided bounded approximate identity: just use a basis of compact ...
10
votes
1answer
355 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 ...
3
votes
0answers
77 views

Positive Operators: Definition?

Let $A$ be a self adjoint element of a C*-algebra $\mathcal{A}$ resp. a self adjoint operator of the operator algebra $\mathcal{B}(\mathcal{H})$ of bounded operators over a Hilbert space ...
5
votes
1answer
111 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.
0
votes
0answers
21 views

Continuity of $\zeta(a)$: is my proof correct?

Let $A$ be a unital Banach algebra and define $\displaystyle \zeta (a) = \inf_{c \in A: \|c\| =1}\|ac\|$. I tried to prove $|\zeta (a) - \zeta (b)| \le \|a-b\|$ for all $a,b \in A$, could someone ...
-1
votes
1answer
60 views

How to prove that this inequality holds

Let $A$ be a unital Banach algebra. I wanted to prove the following inequality but didn't manage: $$ \begin{align} \left | \|a\| - \inf_{d \in A: \|d\| = 1}\|bd\| \right | \le \inf_{\|d\|=1} \left ...
1
vote
1answer
26 views

Show that P is an L-projection iff $P^{*}$ is an M-projection

I have started reading "M-ideals in Banach spaces and Banach algebras", but I stuck on the first page. It says that "there is an obvious duality between L- and M- projections: P is an L-projection ...
1
vote
0answers
28 views

can we expect a bounded approximate identity in $L^{1}(\mathbb R)$, whose Fourier transform at particular point is zero?

Let $\phi:\mathbb R \to \mathbb C$ be a function; and define $$\phi_{t}(x):=\frac{1}{t}\phi (x/t), (t>0).$$ We let, $\phi\in L^{1}(\mathbb R),$ then $\phi_{t}\in L^{1}(\mathbb R);$ in fact, we ...
5
votes
1answer
39 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 ...
6
votes
1answer
173 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 ...
2
votes
1answer
43 views

C*-algebra representations

Let A be a C*-algebra and $\left\{\phi_n\right\}$ a weak* dense sequence in the state space. Putting $\phi=\sum_n 2^{-n} \phi_n$, can you show that $\phi$ is a state and the representation $\pi_\phi$ ...
3
votes
1answer
66 views

Spectrum of normal elements in C*-algebras

Let $\mathcal{A}$ be a C*-algebra and $x \in \mathcal{A}$ a normal element. Can you show that $\left\{ \phi(x) : \phi \text{ is a state on } \mathcal{A} \right\}$ is the closed convex hull of the ...
4
votes
2answers
47 views

Can we expect, $S(\mathbb R)\ast L^{p}(\mathbb R) \subset L^{p}(\mathbb R), (1<p<\infty) $?

It is well-known that $L^{1}(\mathbb R)$ is a closed with respect to convolution(product), that is, $L^{1}(\mathbb R)\ast L^{1}(\mathbb R)\subset L^{1}(\mathbb R),$ more specifically, if $f, g\in ...
1
vote
1answer
60 views

Amenability of finite dimensional norm algebras

Let $(\cal A,\|\cdot\|)$ be a finite dimensional norm algebra (Banach Algebra). Can we say any thing about the amenability of $\cal A$. What if we impose some extra conditions on $\cal A$, say ...
4
votes
2answers
47 views

Minkowski type inequality in Banach algebras

Under which circumstances it is true that $\|(A+B)^n\|^{1/n}\le \|A^n\|^{1/n}+\|B^n\|^{1/n}$ for elements $A$ and $B$ in a Banach algebra and a natural number $n$?
3
votes
1answer
78 views

How to prove $F$ is a contraction mapping?

Given a $n\times n$ matrix $\mathbf{D}$ in which each entry $\mathbf{D}_{ij} \in [0,1]$. Let $i$-th row vector of $\mathbf{D}$ denote by $\mathbf{D}_{i\ast}$. The mapping $F:[0,1]^n \mapsto [0,1]^n$, ...
3
votes
1answer
47 views

$\int_{\mathbb R^{2}} |\int_{\mathbb R} (f(t-y)- f(t)) g(t-x) e^{-2\pi i w\cdot t} dt|dx dw \to 0 $ as $y\to 0$?

Fact: It is well-known that translation is continuous in the $L^{1}$ norm, that is, if $f\in L^{1}(\mathbb R)$ then $\lim_{y\to 0} \|f_{y}-f\|_{L^{1}(\mathbb R)}=0;$ (where, $f_{y}(x)= f(x-y)$, ...
1
vote
0answers
26 views

For a discrete abelian group $G$, is the Gelfand Representation of $\ell^1(G)$ injective?

Given a discrete group $G$, we can consider the Banach $*$-algebra $\ell^1(G)$, with convolution product $(\xi*\eta)(g)=\sum_{h\in G}\xi(h)\eta(h^{-1}g)$ and involution ...
0
votes
1answer
35 views

Where is commutativity of $b$ needed?

I have a question about the following proof: If $e^{ia}-e^{i\lambda}=(a-\lambda)be^{i\lambda}$ and $(a-\lambda)$ is not invertible then $(a-\lambda)x$ is not invertible for all $x$. Why "since $b$ ...
1
vote
1answer
41 views

In unital Banach algebra $r(a^n) = (r(a))^n$

I tried to prove the following: If $A$ is a unital Banach algebra and $r(a)$ denotes the spectral radius then $r(a^n) = (r(a))^n$. Could somebody please tell me if I got this proof right? Thanks. ...
0
votes
0answers
27 views

Follow up on star algebra (proof verification)

I previously asked this question about a proof of the following claim: If $A$ is a commutative non-unital non-zero $C^\ast$ algebra then $\Omega (A)$ is not empty. In the meantime I believe to ...
3
votes
2answers
203 views

Left topological zero-divisors in Banach algebras.

Let $ A $ be a unital Banach algebra. Define $ \zeta: A \longrightarrow [0,\infty) $ by $$ \forall a \in A: \quad \zeta(a) \stackrel{\text{def}}{=} \inf_{b \in \mathbb{S}(A)} \| ab \|, $$ where $ ...
1
vote
1answer
24 views

Projections in Tensor Product

Let $X$ and $Y$ be Banach spaces (algebras). If $X\otimes^\pi Y$ denotes the projective tensor product of $X$and $Y$, define $P:X\otimes^\pi Y\rightarrow X$ as follows : for $x\otimes y\in X\otimes ...
0
votes
1answer
61 views

C*-Algebra: Positive Operator

Let $\mathcal{A}$ be a C*-algebra. If $A\in\mathcal{A}$ is a selfadjoint element then $A^*A=A^2$ has positive spectrum since: ...
2
votes
1answer
109 views

Norm on unitisation of a $C^\ast$ algebra

In the theory of $C^\ast$ algebras there exists the following theorem: If $A$ is a $C^\ast$ algebra and $\widetilde{A}$ denotes its unitisation then there exists exactly one norm that extends the ...
1
vote
1answer
50 views

Spectrum: Polynomials

It is written in Bratteli-Robinson that some simple transformations yield the relations: $$\sigma(a+A)=a+\sigma(A)$$ $$\sigma(A^n)\subseteq\sigma(A)^n$$ The latter one is deduced by the ...
1
vote
1answer
47 views

Any finite group G is amenable

A linear functional $μ:L^∞ (G)→\mathbb{C}$ is called a mean on $L^∞ (G)$ if $ μ(1)=1$ and is positive, i.e. if $μ(f)≥0$ for all positive $f∈L^∞ (G)$. A group G is amenable if there exists an ...
0
votes
1answer
20 views

What other ideals are there in this subalgebra of the disk algebra

Let $A$ be the disk algebra and $A_0 = \{f \in A \mid f(0) = 0\}$. I am trying to give an example of a maximal non-modular ideal in $A_0$. I have tried $I=\{f\in A_0 \mid f(1) = 0\}$ and proved that ...
0
votes
0answers
15 views

Hermitian adjoint of an isometry

Let $u: H \to H$ be an isometric operator on a Hilbert space. Let $\ast$ be an involution. I was wondering if $u^\ast$ is also an isometry. I tried to prove it but didn't quite manage. Then I ...
0
votes
1answer
46 views

Clarification for this exercise needed

I would like to solve the following exercise but there are a few minor things I am not clear about: Let $A$ be the Banach algebra of $C^1([0,1])$ endowed with the norm $\|f\|=\|f\|_\infty + ...
6
votes
1answer
314 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 ...
0
votes
1answer
16 views

Maximal abelian subalgebra in algebra of matrices

Let $A$ be the Banach algebra of $n \times n$ matrices over $\mathbb C$. Then the subset consisting of all diagonal matrices is an abelian subalgebra. (correct me if I'm wrong). Now I want to show ...
9
votes
1answer
424 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 = ...
1
vote
0answers
25 views

Uniqueness in Bochner's theorem

Bochner's theorem : Let $G$ be a locally compact Abelian group. Then for any $ \phi \in \ P(G) $ there is a unique positive Radon measure $ \ μ \in \ $ M ($ \widehat{G} $) such that ...
2
votes
1answer
23 views

Local Module Homomorphism

Let $A$ be Banach algebra and $X,Y$ be two left Banach $A$-modules. It is said that the linear bounded map $\phi:X\to Y$ is left $A$-module homomorphism if for any $a\in A$ and any $x\in X$ we have ...
2
votes
1answer
67 views

Identifying the dual group of a locally compact abelian group with the spectrum of $ {L^{1}}(G) $.

Folland stated the following theorem in his book A Course in Abstract Harmonic Analysis on Page 88. The dual group of a locally compact abelian group can be identified with the spectrum of $ ...
2
votes
0answers
38 views

How I can make $\Bbb{C}[x]$ into a Banach algebra?

Let $\Bbb{C}$ the complex field. Define $\Bbb{C}[x]$ as the set of all polynomials with variable $x$. It is known that $\Bbb{C}[x]$ is a algebra. Now the question is this that how I can make it a ...
3
votes
0answers
25 views

On maximal ideal spaces of a banach algebra

I am reading this article on maximal ideal spaces and there is this part that I don't quite understand very well, hope you guys can help me out. "Let $M(A)$ denote the maximal ideal space of a ...
3
votes
1answer
59 views

Biprojective $C^*$-algebra

Let $A$ be a Banach algebra. Define $\Delta:A\hat{\otimes}A\to A$ with $\Delta(\sum_{n=1}^\infty a_n\otimes b_n)=\sum_{n=1}^\infty a_nb_n$. Now $A$ is called biprojective if there exists a bounded ...
1
vote
1answer
93 views

Concatenation with continuous function is entire

Apologies. I have to ask two questions in one and I will give you the reason below. The questions are: If $f$ is entire and $g$ is continuous does it follow that $g\circ f$ is entire? If ...