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

0
votes
1answer
50 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
25 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
26 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 ...
8
votes
1answer
209 views

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 ...
5
votes
1answer
38 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
172 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 ...
1
vote
1answer
36 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$ ...
1
vote
1answer
57 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
44 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
77 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
45 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
24 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
39 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 ...
10
votes
1answer
340 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
2answers
202 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
21 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
56 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
103 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 ...
3
votes
0answers
67 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 ...
1
vote
1answer
49 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
46 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
13 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
312 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
417 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 = ...
5
votes
3answers
72 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 ...
1
vote
0answers
24 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
36 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
24 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
57 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
91 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 ...
2
votes
1answer
47 views

Module algebras

Spectrum: For Banach algebra $A$ spectrum is denoted by $\sigma(A)$ and defined as the set of all non-zero bounded linear multiplicative function from $A$ to $\Bbb C$.(Function $\psi:A\to\Bbb C$ is ...
1
vote
1answer
17 views

projection generated by intersection of two projection

let $H$ be a Hilbert space and $P,Q$ be projections on $H$. suppose $P,Q$ do not commute. $P\wedge Q$ is a projection on $PH\cap QH$. I want to calculate $P\wedge Q$ but I can not. Please help me. ...
2
votes
1answer
86 views

Example of a Banach algebra $ A $ whose only closed ideals are $ \{ 0 \} $ and $ A $.

I'm trying to come up with an example of a Banach algebra $A$ that is not commutative, unital and such that the only closed ideals are $\{0\}$ and $A$. I already struggled to even come up with a non ...
2
votes
1answer
18 views

Commutative subspace lattice

I have seen an article in which there is an algebra which was named CSL-algebra (Commutative Subspace Lattice). This algebra is about projection on Banach algebra? I couldn't find any good source to ...
3
votes
1answer
99 views

Unitary Equivalence of Two Irreducible $ * $-Representations of a GCR $ C^{*} $-Algebra that Have the Same Kernel.

In general, if two irreducible $ * $-representations of a $ C^{*} $-algebra $ A $ have the same kernel, then we can say that they are approximately unitarily equivalent. When $ A $ is GCR, how can we ...
0
votes
1answer
33 views

Locally compact group and continuous function with compact support

Suppose that $G$ is a locally comact group, let $H$ be a open subgroup of $G$ and let $\phi:G\to\Bbb C$ be a continuous function such that $Supp\phi=:\overline{\{x\in G: \phi(x)\neq 0\}}$ is compact. ...
0
votes
0answers
23 views

On the Spectral radius $r(a+b)$ in Banach algebra [duplicate]

Let $\mathcal{L}$ be a complex Banach algebra with a unit. The spectral radius of $x\in\mathcal{L}$ is denoted as $r(x)$. Suppose $a,b\in\mathcal{L}$ and $ab=ba$, how to prove that $$r(a+b)\le ...
1
vote
1answer
27 views

Inequality norms

Let $A$ be a bounded linear operator on a Banach space $X$. Can we show that for an arbitrary $n \in \mathbb{N}$ and $x \in X$ such that $\|x\|_X \geq 1$ we have that $$\|A^n x \| \leq \|Ax\|^n.$$ ...
1
vote
1answer
23 views

Convergence of the sequence of operators on a Banach space.

Let $T$ be a bounded linear operator on a Banach space $E$, and let $(T_n)$ be a sequence of bounded linear operators on $E$ such that $$\| (T - T_n)x \| \to 0 \ \ \text{ as } n \to \infty$$ for all ...
3
votes
1answer
57 views

Module homomorphism

Let $A$ be a Banach algebra with norm $\|.\|_A$ and $X$ be a Banach space with norm $\|.\|_X$. If there exists a operation $.:A\times X\to X$ such that for any $a,b\in A$ and $x,y\in X$ we have ...
0
votes
0answers
30 views

Functional Calculus in $C^*$-algebra

I came across this function while studying functional calculus: for $0<\alpha<1$, define $$s^\alpha= \int \frac{1}{1+st}t^\alpha \frac{dt}{t}$$ Now suppose we define $a^\alpha$ for some normal ...