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

3
votes
2answers
264 views

Given a Banach Algebra $A$ and elements $x,y \in A$. If $x$ and $xy$ are invertible, then so is $y$.

A silly question, but I don't see the answer. This question is from Rudin's Functional Analysis, Chapter 10, Exercise 1a). It's obvious that $y$ has a left inverse as $((xy)^{-1}x)y=e$, where $e$ is ...
3
votes
3answers
87 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
288 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
201 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
166 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
488 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
161 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
87 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
134 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
68 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
74 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
77 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
49 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
230 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
426 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
100 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
461 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
249 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
20 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
29 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
80 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
52 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
100 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
314 views

Banach Algebra: $\sigma(xy)\cup\{0\} = \sigma(yx)\cup\{0\}$

It is Rudin excercise 10.4 where we aim to prove $\sigma(xy)\cup\{0\} = \sigma(yx)\cup \{0\}$ for elements $x,y\in A$ a Banach-algebra.( $\sigma$ being the spectrum) In (a) we prove that $e-yx$ ...
3
votes
1answer
110 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
348 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
130 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
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
85 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
32 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
188 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
127 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
238 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
80 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
514 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
76 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
97 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$ ...
3
votes
2answers
331 views

Converse of Wiener's lemma

Let $A$ be a commutative Banach algebra with unit. It is well known that if the Gelfand transform $\hat{x}$ of $x\in A$ is non-zero, then $x$ is invertible in $A$ (the so called Wiener Lemma in the ...
3
votes
1answer
27 views

Norm on reduced crossed product - $C^*$ version v.s. $L^p$ version

Let $(G,A,\alpha)$ be a $C^*$-dynamical system where $G$ is a countable discrete group. When defining the reduced crossed product, one can proceed as follows: Let $\pi$ be a faithful representation ...
3
votes
1answer
52 views

Algebra with element having empty spectrum?

The definition of the spectrum makes sense for any algebra. I guess we can go to the unitization to make sense of it even non-unital algebras. Recalling the well-known fact that for normed algebras, ...
3
votes
2answers
85 views

Polar decomposition

Every $x\in B(H)$ has a representation such as $x= u|x|$ (by polar decomposition) where $u$ is a partial isometry. In a paper, the author claims that$$u = {\rm strong} - \lim_{\epsilon\to 0} ...
3
votes
1answer
83 views

*-isomorphism of a C*-algebra into an involutive Banach algebra is norm increasing

The following is a proposition of Takesaki's Operator theory: My question: How does he assume, considering the C*-subalgebra generated by k instead of $*$-Banach algebra B? Are we sure that the ...
3
votes
1answer
51 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
201 views

Bergman-Shilov Boundary and Peak Points

Let $\Omega$ be a domain in $\mathbb{C}^n.$ Consider the Banach algebra $A(\Omega):=\mathcal{C}({\overline{\Omega}})\cap\mathcal{O}(\Omega).$ Denote the Bergman-Shilov boundary of $A(\Omega)$ by ...
3
votes
1answer
124 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 ...
3
votes
1answer
121 views

What is the generator of the disc algebra

The disc algebra, as a set, consists of the functions on the unit disc $D$, which are analytic on the interior of the disc and continuous on its boundary. Its addition and multiplication is obvious. ...
3
votes
0answers
29 views

Unital amenable Banach algebras which is a proper two sided ideal in its second dual

I need some examples of "unital amenable Banach algebras which is a proper two sided ideal in its second dual".