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

4
votes
0answers
50 views

When two projections in a C*-algebra are “almost” Murray-von Neumann equivalent, they are equivalent

Let $A$ be a C*-algebra and $p,q \in A$ be projections. Assume there is an element $a\in A$ such that $\|aa^*-p\|<\frac{1}{4}$ and $\|a^*a-q\|<\frac{1}{4}$. Then there is a partial isometry $v$ ...
0
votes
1answer
18 views

Example of Banach algebra with empty character space

Recently I read through a proof that the character space of a commutative unital Banach algebra is non-empty. Since all the assumptions are necessary it should be possible to give an example of a ...
4
votes
1answer
77 views

Greatest open ball of invertible elements in a Banach algebra

Let $a$ be an invertible element of a Banach algebra $A$. Then we know that also each $a+b$ with $b\in A$ and $||b||<||a^{-1}||^{-1}$ is invertible. Now my question is whether ...
2
votes
1answer
28 views

Condition in the definition of Banach star algebra

Here the definition of Banach star algebra is given as Banach algebra with an involution. In the book by Murphy for example, it is given as Banach algebra with an involution plus the condition that ...
0
votes
1answer
32 views

The supremum norm is submultiplicative

Is the following proof correct: Let $X$ be compact a compact Hausdorff space and $C(X)$ the continuous functions $f: X \to \mathbb{C}$ on X. We can equip $C(X)$ with the (edit: sorry, semi-)norm ...
2
votes
0answers
46 views

Prove that a norm makes a space Banach

I have to prove that if $A$ is a C*-Algebra then the algebra $A_1$ obtained adjoining the identity is a C*Algebra too (with the usual algebraic operation defined). I have any problem in all the ...
0
votes
0answers
14 views

Prove a condition for a Banach algebra [duplicate]

Can anyone help me by providing a detailed verification of the following theorem? **Let $\mathcal{A}$ be a Banach algebra.If all $a,b\in\mathcal{A}$ goes $$\Vert ab \Vert= \Vert a \Vert\Vert b ...
0
votes
2answers
51 views

Space of Functions: Characterizations of Positivity

Context The problem here is about the characterization of positivity for real or complex valued functions: $$\sigma(f)\geq 0\iff\sigma(f(x))\geq 0\text{ for all }x\in X\iff f(x)\geq 0\text{ for all ...
3
votes
1answer
61 views

Prove a condition for a Banach algebra to be isometrically isomorphic to $\mathbb C$

Can anyone help me by providing a detailed verification of the following theorem? Let $\mathcal{A}$ be a Banach algebra. If there exists $M<+\infty$ so that $$\Vert a \Vert\Vert b \Vert\leq M ...
0
votes
1answer
23 views

Explaining the theorem

By searching this url http://www2.math.ou.edu/~cremling/teaching/lecturenotes/fa-new/ln7.pdf in google given Theorem 7.4. and given its proff, but I do not understand very well this proof because it ...
1
vote
0answers
19 views

Riesz Projection in Functional Analysis.

By definition the Riesz projection of a Banach algebra element $a$ associated with a complex number $\alpha$ is given by $p(\alpha , a)= \frac{1}{2\pi i} \int_{\Gamma} ( \mu -a)^{-1} \,\, ...
2
votes
2answers
38 views

If $a\in\mathcal {A},$ and $\Vert a\Vert <1$, then $e-a$ is regular element of Banach algebra $\mathcal{A}$ with unit $e$.

I was reading an article yesterday which was silent on the algebra of Banach. In that article was provided this example If $a\in\mathcal {A},$ and $\Vert a\Vert <1$, then $e-a$ is regular element ...
2
votes
2answers
34 views

Why is the Gelfand transform injective?

There is a theorem that proves that if $A$ is a commutative C*-Algebra, the Gelfand map is an isometric *-isomorphism of $A$ onto $\hat{A}$ i.e. the spectrum of $A$. (Theorem 1.1 in Averson's "An ...
1
vote
1answer
48 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 ...
2
votes
1answer
31 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 ...
0
votes
1answer
37 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 ...
1
vote
1answer
22 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 ...
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 ...
3
votes
0answers
57 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 ...
-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
0answers
29 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 ...
1
vote
1answer
28 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 ...
5
votes
1answer
40 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 ...
4
votes
2answers
50 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 ...
3
votes
1answer
68 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 ...
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
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)$, ...
3
votes
1answer
81 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$, ...
1
vote
0answers
27 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 ...
9
votes
1answer
262 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 ...
0
votes
0answers
29 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 ...
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
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
112 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
88 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
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
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 ...
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
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 + ...
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 ...
6
votes
1answer
175 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
25 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 ...
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
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 ...
2
votes
1answer
70 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
1answer
19 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
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 ...