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
0answers
23 views

Spectral radius of an element in a Banach algebra

I want to solve this problem: Let $A$ be an unital Banach algebra and $a\in A$ then \begin{equation} r(a)<1 \Longrightarrow \lim_{n\to \infty} a^n=0 \Longrightarrow (1-a)^{-1}=\sum_{n=0}^\infty ...
4
votes
1answer
27 views

The second isomorphism theorem for C*-Algebras

in my functional analysis class right now we are studying the basics of C* Algebras and I was recently asked this question about the second isomorphism theorem for C* Algebras, but first let me cite ...
0
votes
1answer
35 views

Two normal operators are similar if and only if they are unitarily similar

I need to prove that in a $C^*$-Algebra two normal operators are similar if and only if they are unitarily similar. Can anybody help, please? One side is obvious, so our concern is the other side. I ...
2
votes
1answer
23 views

Let $A$ be a Banach algebra. Suppose that the spectrum of $x\in A$ is not connected. Prove that $A$ contains a nontrivial idempotent $z$.

While trying to solve the exercise below, I came up with a wrong conclusion, but I can't see why it's wrong. Also I'm accepting suggestions to get the right solution. This is the problem 17 from ...
0
votes
0answers
12 views

Smallest closed unital subalgebra containing an element has connected resolvent.

Suppose I have $A$ a commutative, unital Banach algebra. Let $C$ be the smallest closed unital subalgebra containing $a\in{}A$ (i.e. the closure of polynomials in $a$). I want to show that the ...
0
votes
0answers
29 views

Proving that the point spectrum of $T$ is not empty

This problem comes from Rudin's Functional Analysis, Chapter 10. It's the problem 15. Suppose $X$ is a Banach space, $T\in\mathcal{B}(X)$ is compact, and $\|T^n\|\geq 1$ for all $n\geq 1$. ...
0
votes
0answers
49 views

Rudin functional Analysis chapter $10$, exercise $13$

This is Rudin's functional Analysis chapter $10$, exercise $13$. I am confused about the notation $\sigma_A(f)$, what does that mean?(What role does the subscript $A$ play here). And can someone ...
1
vote
1answer
15 views

Showing the sum of a C* subalgebra and ideal is itself a C* subalgebra

In my functional analysis class I was recently met with this in the context of C* algebras: Let A be a C*-Algebra and B is a C*-subalgebra of A and I an ideal of A. We are asked to show that $ B+I ...
1
vote
1answer
19 views

A complex unital algebra which is a Banach space is also a Banach algebra

In my functional analysis class I got stuck on this question on Banach algebras: Let $ \mathbb{A} $ be a complex unital algebra (it has a unit i.e. a multiplicative identity) and $ \mathbb{A} $ is ...
0
votes
0answers
7 views

Tensor product of algebras of operators on $SQ_p$ spaces

I am aware that there is a canonical tensor product for $L_p$ spaces that allows one to talk about tensor products of algebras of bounded linear operators on $L_p$ spaces. Is there an analogous notion ...
3
votes
1answer
31 views

Gelfand transform on functions

The Gelfand transformation identifies function spaces $C_0(X)$ for locally compact Haussdorff $X$ with commutative $C^*$ Algebras. Additionally there is a statement that if $f: X \to Y$ is a proper ...
1
vote
0answers
6 views

$L_p$ version of Toeplitz extension

There is the well-known extension of $C^*$-algebras $0\rightarrow K\rightarrow\mathcal{T}\rightarrow C(S^1)\rightarrow 0$ where $\mathcal{T}$ is the Toeplitz algebra (generated by the unilateral shift ...
3
votes
1answer
34 views

Is the hermitian condition a must?

For a hermitian element $a$ in a $C^*$-algebra, show that $\|a^{2n}\| = \|a\|^{2n}$ In this post, I saw a comment stating that "More generally, if $a$ is normal then $∥a^n∥=∥a∥^n$ for each positive ...
2
votes
2answers
40 views

Are there finite dimensional $\mathbb{R}$-algebras which are not Banach algebras?

It is known that not every algebra (over a ground field $\mathbb{R}$ or $\mathbb{C}$) is a Banach algebra. It might be a silly question, but are there examples of finite dimensional ($\mathbb{R}$- or ...
3
votes
1answer
28 views

Every Jordan function $\phi$ on $A$ is multiplicative.

I am reading the following proposition by : FF. Bonsall and J. Duncan, Complete Normed Algebras, pg. 79 Definition: A Jordan function on $A$ is a nonzero linear functional $\phi$ on $A$ such that ...
2
votes
0answers
16 views

Question on maximal left ideals.

Suppose I have a unital Banach algebra $A$ and a maximal left ideal $L$ and an element $a$ such that $La\subset{}L$. I want to show that there exists (uniqueness is easy) some complex $\lambda$ such ...
0
votes
0answers
21 views

Differentiability of the norm in connexion with duality map

Let $(X,\|\cdot\|)$ be a Banach space and let $J$ be the duality mapping defined for all $x\in X$ by: $J(x)=\{x^∗∈X^∗\mid ⟨x^∗,x⟩=\|x\|^2=\|x^∗\|^2\}$, where $X^∗$ is the dual space of $X$. I'm ...
0
votes
0answers
17 views

calculating the abstract index of $C(T)$

Consider the following definition in operator theory: I'm reading an example of the abstract index of $\mathcal{A}$ in Zhu's An Introduction to Operator Albebras: Here $G_0(\mathcal{A})$ is the ...
1
vote
0answers
25 views

When is the set $\{ x^* x : x \in A\} $ a cone in a *-algebra?

So in a $C^*$-algebra, every positive element can be written as $x^*x$, and the set of positive elements form a cone. What if we remove all information about the norm? Say $A$ is an algebra, with ...
4
votes
0answers
46 views

Submultiplicative Hilbert space norm on $B(H)$

Let $H$ be a complex Hilbert space and let $B(H)$ denote the space of bounded linear operators $H \to H$ equipped with operator norm: $$ \lVert T \rVert = \sup\big\{ \lVert Tx \rVert \: : \: \lVert x ...
0
votes
2answers
62 views

Show that $\exp(-\lambda x) \cdot\exp(\lambda x)=1$ using the power series

Let $A$ be a commutative Banach algebra. Consider the exponential function $$\exp(\lambda x) = \sum_{n=1}^\infty\frac{(\lambda x)^n}{n!},$$ where $x \in A$ and $\lambda \in \mathbb C$. We can easily ...
1
vote
1answer
21 views

Why if $X \subset A$ has codimension $1$, the only subspace properly containing $X$ is $A$?

I saw the following question a while ago on Math.SE This question. The answer provided seems to give a satisfactory result, but one thing in the answer I can not quite see. The author of the answer ...
0
votes
1answer
39 views

Why is the canonical approximate identity positive?

Let $\{u_n\}$ be an approximative identity for C*-algebra A. Why the element $1-u_n$ is also positive? I'm asking about it because in some theorem we use something like this: $\mid \mid a-u_n a \mid ...
0
votes
0answers
12 views

Matrices over tensor product of Banach algebras

Suppose that $A$ is a Banach algebra, or even a $C^*$-algebra, and $B$ is a closed subalgebra of $B(L^p)$ for some $L^p$ space. In particular, $M_n(B)$ has a canonical matrix norm. Is there some ...
3
votes
1answer
43 views

Algebra of compact operators on $\ell_p$

Are the algebras of compact operators $K(\ell_p)$ and $K(\ell_q)$ isomorphic as Banach algebras for $1\leq p<q<\infty$?
1
vote
1answer
28 views

Explicit example of Gel'fand transform

I would like to determine explicitly the Gel'fand transform for the (commutative unital) Banach algebra of $2 \times 2$ matrices of the form $$\pmatrix{ a && b \\ 0 && a}, \quad a,b ...
1
vote
2answers
33 views

Why the set of all bounded operators on Hilbert space is a prime?

In abstract algebra, a nonzero ring $R$ is a prime ring if for any two elements $a$ and $b$ of $R$, $arb=0$ for all $r$ in $R$ implies that either $a=0$ or $b=0$. Or for any two ideals $A$ and $B$ of ...
3
votes
1answer
38 views

Norm of a character in a non-unital Banach algebra without approximate identity

As is shown here, the norm of a character in a non-unital Banach algebra with an approximate identity is $1$. I wonder if this result still holds for general non-unital Banach algebras. Let $A$ be ...
3
votes
0answers
30 views

Tensor product of $L^1([0,1],\omega)$ with some Banach space

We know that for any Banach space $E$ if $\hat{\otimes}$ denotes projective tensor product then $L^1([0,1])\hat{\otimes} E$ is isomorphism isometric with $$L^1([0,1],E)=\{f:[0,1]\to E:\ \ ...
0
votes
1answer
27 views

Applying Complex Stone-Weierstrass Theorem for Compact Subsets

The complex Stone-Weierstrauss theorem can be applied to compact spaces. However, say I have an open set $D\subset \mathbb{C}$, and I want to approximate a holomorphic function $f$ on $D$ via ...
2
votes
2answers
48 views

Functional calculus for unitization of an algebra?

I have been stuck on this problem for a week now: "Let $A$ be a Banach algebra without identity, let $a\in A$, and let $f$ be holomorphic on a neighborhood of $\sigma(a)$, so that $f(a)\in A^\# $ is ...
3
votes
1answer
29 views

One-sided identities in Banach algebras

What is an example of a Banach algebra with a left identity but with no right identities? Is there an example of an operator algebra with this property?
1
vote
0answers
14 views

Norms on matrices over Banach algebras

Let $A$ be a unital Banach algebra. Is there a sequence of norms $||\cdot||_n$ such that $(M_n(A),||\cdot||_n)$ is a Banach algebra for each $n$, identity matrices of all sizes have norm 1, the ...
2
votes
1answer
53 views

Why is $f(e)=1$?

Let $A$ be a commutative complex Banach Algebra with unit element $e$. Now, let $f \in A^*$ be a non-zero multiplicative linear functional. Why does it follow, directly from the above, that ...
3
votes
1answer
31 views

Why are matrix norms defined the way they are?

Given $A$ a square matrix Define: $\|A\|_1$ as the max absolute column sum $\|A\|_2$ as the sum of the squares of each element $\|A\|_\infty$ as the max absolute row sum Pray tell, why are ...
0
votes
1answer
74 views

Is the algebra of adjointable operators on a Hilbert module prime?

In abstract algebra, a nonzero ring $R$ is a prime ring if for any two elements $a$ and $b$ of R, $arb = 0$ for all $r$ in $R$ implies that either $a = 0$ or $b = 0.$ Or for any two ideals $A$ and ...
2
votes
2answers
103 views

How does the general spectral theorem generalize the simpler versions?

I read the following version of the spectral theorem in Banach Algebra Techniques in Operator Theory by Douglas: I'm trying to understand why this is a generalization of the following version, ...
2
votes
2answers
65 views

Why can entire function be written as exponential, and why is it bounded in this way?

Let $A$ be a commutative complex Banach algebra with unit element $e$. Suppose now that $f(x) \in \sigma(x)$ for every $x \in A$ where $\sigma(x)$ denotes the spectrum of $x$. Now, let $x\in A$ and ...
1
vote
1answer
49 views

Why is $f$ continuous if its kernel is not dense in $A$?

Let $A$ be a commutative complex Banach algebra with unit element $e$. Suppose $X \subset A$ has codimension $1$ and consists out of non-invertible elements. Clearly $X$ is the kernel for some ...
0
votes
1answer
18 views

Idempotents with arbitrarily large norms in Banach algebras

While nonzero projections in $C^*$-algebras have norm 1, there is no such restriction for idempotents in Banach algebras. What is an example of a Banach algebra that has idempotents of arbitrarily ...
3
votes
1answer
23 views

States in a $C^*$-algebra bounded?

A functional $\phi$ on a $C^*$-algebra $A$ with unit element, i.e. $\phi: A \rightarrow \mathbb{C}$ is called a state if $\phi(T^*T) \ge 0$ for all $T \in A$ and $\phi( \operatorname{id}) = 1.$ Now, I ...
2
votes
0answers
23 views

A condition on quotient norms on quotient Banach algebras

Let $A$ be a non-unital Banach algebra, and let $A^+$ be the unitization of $A$ consisting of elements of the form $(a,z)$ where $a\in A$ and $z\in\mathbb{C}$ with multiplication ...
0
votes
1answer
26 views

‎‎‎$‎‎C^*$-algebra generated by ‎$‎‎a$‎

Let ‎$‎‎A$ ‎be a unital ‎‎‎$‎‎C^*$-algebra. ‎‎ Assume that ‎$‎‎a\in A$ ‎is a ‎‎normal ‎and ‎invertible element ‎i.e ‎‎$‎‎aa^*=a^*a$ ‎and ‎‎$‎‎aa^{-1}=a^{-1}a=1$‎.‎ ‎let $‎‎C^*({a}) $ be the ...
4
votes
0answers
45 views

Finite dimensional Banach algebras whose $K_{0}$ group is a non trivial finite group

Motivated by this question we ask Is there a finite dimensional Banach algebra $A$ such that $K_{0}(A)$ is a nontrivial finite group? I understand from the above link and this post that any ...
1
vote
1answer
47 views

Why the set of pure state ‎is ‎weak* ‎compact?

Let ‎$‎‎A$ ‎be a‎ ‎C*-algebra‎. ‎ ‎$‎S(A)‎$ ‎is ‎the ‎set ‎of ‎state ‎on ‎‎$‎‎A$ and $‎‎PS(A)$ ‎is ‎the ‎set ‎of ‎pure ‎state ‎on ‎‎$‎‎A$. ‎ ‎ I ‎know ‎that ‎if ‎‎$‎‎A$ ‎is ‎unital ‎then ‎‎$‎‎S(A)$ ...
0
votes
2answers
52 views

If $X$ is maximal ideal then it consists of non-invertible elements?

I'm reading through a paper where I came across the following theorem Let $A$ be a commutative complex Banach algebra with unit element $e$. Theorem: A subspace $X\subset A$ of codimension $1$ is ...
2
votes
1answer
60 views

Pythagorean theorem does require the Cauchy-Schwarz inequality?

In Wikipedia I found a proof of Schwarz inequality making use of the Pythagorean Theorem. Anyway I'm wondering... isn't that a petitio principii? Isn't the Pythagorean Theorem in Hilbert spaces proved ...
0
votes
0answers
25 views

Local banach algebra without zero divisors

I need to construct example of banach algebra with unique nontrivial maximal ideal and without zero divisors. I think it is must be a subalgebra of $\mathbb{C}[[z]]$, but I could not build anything.
0
votes
0answers
29 views

postliminal $C^*$-algebra

A ‎$‎‎C^*$-algebra ‎‎$‎‎A$ ‎is ‎said ‎to ‎be ‎postliminal ‎if ‎for ‎every ‎non-zero ‎irreducible ‎representation ‎‎$‎(H,‎\varphi‎)‎$ ‎we ‎have ‎‎$‎‎K(H)‎\subseteq‎ ‎‎\varphi‎(A)‎$‎ ‎ In ‎Murrphy's ...
2
votes
1answer
28 views

property of the Gelfand transform: why does an isometry map closed sets to closed sets?

The following is a theorem about self-adjoint subalgebra of $C(X)$ where $X$ is compact Hausdorff and the first half of its proof: Here are my questions: Why $\Gamma:\mathfrak{U}\to ...