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
127 views

Biduals generated by projections

This question is motivated by a similar question recently posed at MO: http://mathoverflow.net/questions/122091/masas-in-second-duals-of-banach-algebras In this setting, let $B$ be a Banach algebra ...
4
votes
0answers
74 views

Let $K$ be a circle. Describe the spectra of two subalgebras of $C(K)$

Suppose $K=\{\lambda\in\mathbb{C}: 1<\vert\lambda\vert<2\};$ put $f(\lambda)=\lambda$. Let $A$ be the smallest closed subalgebra of $C(K$) that contains $1$ and $f$. Let $B$ be the smallest ...
4
votes
2answers
105 views

$(\lambda-a)^{-1}$ as limits of 'polynomials'

For a unital $C^*$-algebra $\mathcal{A}$ the spectral permanence gives \begin{equation} \sigma_{\mathcal{B}}(a)=\sigma_{\mathcal{A}}(a) \end{equation} for any unital $C^*$-subalgebra $\mathcal{B}$. ...
4
votes
0answers
173 views

Does the non-emptiness of the spectrum of an element of a Banach algebra depend on the Axiom of Choice?

One of the most basic results in functional analysis states that the spectrum of any element of a Banach algebra is non-empty. The proof, as most people might have seen, makes use of Liouville's ...
3
votes
2answers
151 views

For a hermitian element $a$ in a $C^*$-algebra, show that $\|a^{2n}\| = \|a\|^{2n}$

Let $\mathcal{A}$ be a $C^*$-algebra. Suppose that $a \in \mathcal{A}$ with the property that $a^* = a$ (that is, suppose that $a$ is hermitian). I would like to show that $\|a^{2n}\| = ...
3
votes
2answers
612 views

Is the Sobolev space $W^{k ,\infty}$ a Banach algebra?

Some Sobolev spaces are closed under multiplication, making them Banach algebras. My question is whether $W^{k ,\infty}$ is a Banach algebra? Since $L^\infty$ is closed under multiplication, I ...
3
votes
2answers
275 views

How far is a Banach algebra from being a multiplicative group?

Given a Banach algebra $\mathcal{A}$, the collection of invertible elements in $\mathcal A$, $G(\mathcal{A})$ is a group. I wonder whether there is a measurement for how far $\mathcal{A}$ is from ...
3
votes
2answers
55 views

Does there exists an approximate identity in Fréchet algebra $\mathcal{S}(\mathbb R)$?

We put $\|f\|_{(N, \alpha)}:= \sup_{x\in \mathbb R} (1+|x|)^{\alpha} | D^{\beta}f(x)|; $ and he Schwartz space, $S(\mathbb R): = \{f\in C^{\infty}(\mathbb R): \|f\|_{(N, \alpha)}< \infty , ...
3
votes
3answers
90 views

Which Hilbert space is isometrically isomorphism with $B(E)$ for some Banach space $E$.

Consider $H$ as a Hilbert space. How can I find a Banach space $E$, for that, $H=B(E)$ where $B(E)$ is the set of bounded linear operator on $E$? (At least under some conditions on $H$) Also if the ...
3
votes
2answers
299 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 $ ...
3
votes
1answer
226 views

Show that: If $A$ is an arbitrary abelian Banach algebra, its spectrum is totally disconnected

I don't know how should I start to show: If $A$ is an arbitrary abelian Banach algebra in which the idempotents have dense linear span, its specrum (the space of characters on $A$) is totally ...
3
votes
2answers
168 views

Banach-algebra homeomorphism.

Let $ A $ be a commutative unital Banach algebra that is generated by a set $ Y \subseteq A $. I want to show that $ \Phi(A) $ is homeomorphic to a closed subset of the Cartesian product $ ...
3
votes
1answer
522 views

spectral radius.

I am stuck in a problem of Conway's A course in a Functional Analysis. Can anyone give me a hint to solve the problem? The question is "If $A$ is a Banach Algebra, then show that the function $r:A\to ...
3
votes
2answers
165 views

If $a\ge 0$ and $b\ge 0$, then $\sigma(ab)\subset\mathbb{R}^+$.

This is an exercise in Murphy's book: Let $A$ be a unital $C^*$-algebra and $a,b$ are positive elements in $A$. Then $\sigma(ab)\subset\mathbb{R}^+$. The problem would be trivial if the algebra ...
3
votes
1answer
88 views

How to Prove ($\mathbb{C}\langle x, y \rangle$, $\|\cdot\|$) is a Banach Space

Let $\mathbb{C}\langle x,y\rangle$ be the group ring of the complex numbers over the free group in $x,y$. Let $len : \langle x,y \rangle \rightarrow \mathbb{N}$ denote the standard word norm and let ...
3
votes
2answers
135 views

Geometric Sums in Banach Algebra

Let $E$ be a Banach Algebra with identity, and $v\in E$, so that $||v|| < 1$. The geometric series $w = \sum_{k=0}^\infty v^k$ converges in the norm. I can show that $||w|| \le ...
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?
3
votes
1answer
74 views

Using Fubini's Theorem in Contour Integrals proof

I have a few questions regarding the following proof: Suppose that $\mathcal{A}$ is a unital Banach algebra, and that $g$ is a complex-valued function which is analytic on $\sigma(a)$ while $f$ is a ...
3
votes
2answers
76 views

Let $A$ be a $C^*$-algebra, $a \in A$ self adjoint

Question:Let $A$ be a $C^*$-algebra, $a \in A$ self adjoint. Suppose that the spectrum $\sigma(a)$ is an infinite set. Show that $A$ is infinite-dimensional. How can i prove it? I guess: Let $A$ be ...
3
votes
2answers
82 views

Can $ {L^{1}}(G) $ be a $ C^{*} $-algebra?

Let $ G $ be a locally compact abelian group. Then $ {L^{1}}(G) $ is a commutative algebra when equipped with convolution. Is there an involution $ ^{*} $ on $ {L^{1}}(G) $ so that it becomes a $ ...
3
votes
2answers
52 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 ...
3
votes
1answer
242 views

A question on multiplicative linear functional on Banach algebra.

I am reading a book about C*-algebra. But i am confused with some of its content. It says Assume $A$ is a non-unital C*-algebra and $\tilde{A}$ is its unitization (the elements of the form ...
3
votes
1answer
453 views

Application of Stone-Weierstrass with a non-unital algebra

Let $X$ be a locally compact Hausdorff space. We say that a function $f\colon X \to \mathbb{R}$ vanishes at $\infty$ if for each $\epsilon >0$ there exists a compact $K_\epsilon \subset X$ such ...
3
votes
1answer
107 views

Algebra (Not *)-Isomorphisms of von Neumann algebras

Let $A$ and $B$ be any two infinite-dimensional von Neumann algebras, they are operator algebras with operator composition as the multiplication and as infinite dimensional vector spaces they're ...
3
votes
1answer
487 views

Polar decomposition of invertible elements in a unital C$ ^{*} $-algebra.

If $ A $ is a unital C$ ^{*} $-algebra and $ a $ is invertible, then $ a = u|a| $ for a unique unitary element $ u $ of $ A $. If $ \| a \| = \| a^{-1} \| = 1 $, what can you say about $ |a| $? I ...
3
votes
2answers
253 views

Involutive and C* Banach Algebras.

I want to prove the next theorem: If $\pi: A \rightarrow B$ is a star homomorphism, meaning it's an algebra homomorphism which also satisfies: $\pi(x^*)=(\pi(x))^*$, where $A$ is an involutive Banach ...
3
votes
1answer
29 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 ...
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$?
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 ...
3
votes
1answer
30 views

Jordan-homomorphism; equivalent properties

Let $\phi:A\to B$ a linear map between $C^*$-algebras $A$ and $B$. I want to know, why the following properties are equivalent: $(i) \phi(ab+ba)=\phi(a)\phi(b)+\phi(b)\phi(a)$ and $(ii) ...
3
votes
2answers
84 views

Approximate Identities

Statement : Let $U$ be a C* algebra and$\lambda=\left\{A\in U:A\geq 0, ||A||<1\right\}$. If $B\in \lambda$ then if $X\in U$ $$||X^*(I-B)^2X||\leq ||X^*(I-B)X||$$ For reference this is from ...
3
votes
1answer
54 views

Number of isomorphisms between two fields

Let $F,F'$ be two fields. Is there anything that can be said about the number of isomorphisms that can exist? In particular can there be more than one? What if $F$ is the complex numbers $\mathbb C$? ...
3
votes
1answer
86 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 ...
3
votes
1answer
101 views

Are these two steps in this proof necessary?

Theorem: Let $A$ be a unital Banach algebra. Then for $a \in A$ the spectrum $\sigma (a) \neq \varnothing$. Consider the following proof: The first step that seems unnecessary to me: Let's say we ...
3
votes
1answer
115 views

$L(\ell_{p})$ contains only one proper closed ideal

I am trying to solve the following problem: Show that if $1<p<\infty$ and $T:\ell_{p}\rightarrow\ell_{p}$ is not compact then there is a complemented infinite dimensional subspace $E$ of ...
3
votes
1answer
81 views

Double centralizers in the Murphy book

I've been into this for days and days and I still can't see why, given the definition of $L^\ast$ as $L^\ast =(L(a^\ast))^\ast$ we get that $(LM)^\ast =L^\ast M^\ast$. Where is my mistake: ...
3
votes
1answer
349 views

Reflexive Banach algebras?

I have been reading Gelfand theory for a while and it just occurs to me that the whole theory is an analogy to what we did for Banach spaces. For a Banach space $X$, we investigate its dual $X'$ ...
3
votes
1answer
131 views

Do non-commutative algebras with dense commutative subalgebras exist?

Let $A$ be a normed unital algebra. Suppose that $C\subseteq A$ is a commutative subalgebra which is dense in $A$. I ask myself the following question: Under the above assumptions, is $A$ necessarily ...
3
votes
1answer
37 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
1answer
31 views

Weakly compact operator with different domains

Let $A$ be a Banach algebra. Suppose that $e\in A$ such that $e^2=e$ and $eAe$ is division algebra(i.e., $eAe$ is unital and every element of $eAe$ has inverse in $eAe$). Define $T_e:A\to A$ with ...
3
votes
1answer
88 views

Banach algebra with left or right minimal ideal without minimal bi-ideal

Let $A$ be a Banach algebra( or a ring). A left ideal $I$ of $A$ is called a left minimal ideal, if $I\neq\{0\}$ and there is no any other non-zero left ideal of $A$ completely lies in $I$. With a ...
3
votes
1answer
55 views

Completely positive, orthogonaly preserving maps

First of all, here is the setting for my problem: Definition: Let $A$ be a $C^*$-Algebra, $a,b\in A$. We say, a and b are orthogonal, if $ab=ba=a^*b=ab^*=0$. Proposition: Let $A$ be a $C^*$-Algebra, ...
3
votes
1answer
35 views

Multiplicative linear functionals on subalgebras

If $A$ is a commutative $C^\ast$ algebra and $C$ is a $C^\ast$ sub algebra of $A$ is it true that the characters on $C$ are just restrictions of characters on $A$. The reason I am asking this because ...
3
votes
2answers
197 views

Maximal Ideal Spaces

STATEMENT: Let $C_b(\mathbb{R})$ be the $C^*$-algebra of bounded continuous functions on $\mathbb{R}$. Let $A$ be the $C^*$-subalgebra of $C_b(\mathbb{R})$ generated by $C_∞(\mathbb{R})$ together with ...
3
votes
1answer
142 views

Compact operators and essential spectral radius

Let $E$ be an infinite-dimensional complex Banach space. Let $\mathcal{L} (E)$ be the space of endomorphisms of $E$, endowed with the operator norm. Then $\mathcal{L} (E)$ is a unital Banach algebra ...
3
votes
3answers
277 views

Spectral radius of an element in a C*-algebra

The following is an proposition of Takesaki's Operator Theory: For any element $x$ of a Banach algebra ${\cal A}$, we have $$||x||_{sp}=\lim_{n\to \infty}||x^n||^{\frac{1}{n}}$$ Proof: My ...
3
votes
1answer
81 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 ...
3
votes
1answer
567 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
79 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 ...
3
votes
1answer
106 views

Invertible elements in a Banach algebra connected to identity

I'm currently working on a problem for homework in my Banach algebras course and I've run into a bit of an issue with terminology. Let $\mathcal{A}$ be a Banach algebra, then $\mathcal{A}^{-1}_0$ ...