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
1answer
75 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
299 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
127 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
23 views

Natural *-isomorphism

Show that if $X,Y$ are locally compact spaces, then there is a natural *-isomorphism from $C_0(X,C_0(Y))$ onto $C_0(X\times Y)$. My attempt: I define $\phi:C_0(X,C_0(Y))\to C_0(X\times Y)$ such that ...
3
votes
3answers
109 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
66 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
64 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
67 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
1answer
323 views

The spectra of weighted shifts

Since weighted shifts are like the model-operators in operator theory and people have been studying them for so long, I think there should be quite a large literature on the spectra of such operators. ...
3
votes
2answers
302 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
43 views

Spectral radius of a normal element in a Banach algebra

I know that if $A$ is a C*-algebra, then $||x||=||x||_{sp}$ for every normal element $x\in A$. I like to find an example of a normal element $x$ in a involutive Banach algebra with $||x||\neq ...
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
99 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
121 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
104 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
92 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
34 views

Norm of an element in a C*-algebra

The following is a part of a proof in Takasaki's Operator theory: Let $\epsilon>0$ and $A$ is a C*-algebra. For an $x\in A$, put $h=x^*x$ and $u_\epsilon=(h+\epsilon)^{-1}h$. We have then ...
3
votes
0answers
36 views

The positive element in a C*-algebra

The following is a theorem of Conway's Functional Analysis: for the proof ($c\to a$), I think we can say: for $\lambda\in \sigma(a)\subset \Bbb R$, there is a character $h:C(\sigma(a))\to\Bbb C$ ...
3
votes
0answers
36 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
0answers
61 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 ...
3
votes
1answer
144 views

application of c*algebras

I am preparing an introductory talk about c* algebras and I'd like to motivate C*algebras or show an application of them and I'd prefer an application in the field of partial differential equations. ...
3
votes
0answers
77 views

Is the range of the Fourier transform $L^1(\mathbb{R}) \to C_0(\mathbb{R})$ closed under “quasi-inversion”?

Definitions: A function $f \in C_0(\mathbb{R})$ is quasi-invertible if $1 \notin \operatorname{ran}(f)$. The quasi-inverse of such an $f$ is $\frac{f}{f-1}$. Some discussion: Let $C_1(\mathbb{R})$ ...
3
votes
0answers
64 views

Do inclusions of Banach algebras preserve spectral radius?

Let $f : A_1 \to A_2$ be an injective homomorphism of unital Banach algebras. It's a standard fact that if $f$ is has closed range, i.e. $A_1$ is embedded as a closed subalgebra of $A_2$, then for ...
3
votes
0answers
145 views

C* algebra of bounded Borel functions

Let $T\in B(H)$ is normal, and $B(\sigma(T))$ denote the $C^*$ algebra of all bounded Borel functions on $\sigma(T)$. Then is it true that $B(\sigma(T))$ is a closed $C^*$ algebra under the sup. norm ...
3
votes
0answers
68 views

In relation with the set of Fredholm perturbation elements

Let $A$ and $B$ be two unital Banach algebras and $T\colon A\to B$ an homomorphism of Banach algebras. Let denote the set of Fredholm perturbation elements in $A$, i.e. $\operatorname{Ft}:=\{r\in ...
3
votes
0answers
135 views

Topology of maximal ideal space

We know that strictly positive integers with multiplication form a semigroup $S$. Let $\mathscr A=\ell ^1(S)$ with convolution. What is $\mathscr A$'s maximal ideal space? It seems enough to find ...
3
votes
0answers
63 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 ...
3
votes
0answers
105 views

Density of operators

I am interested in operators on non-reflexive Banach space. Let $X$ be a Banach space and let $L(X)$ be the algebra of operators acting on $X$. We may embed $L(X)$ into $L(X^{**})$ by ...
3
votes
0answers
124 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 ...
2
votes
2answers
93 views

What does $(B+I)/I\sim B/(B\cap I)$ tell us?

Let $A$ be a $C^*$-algebra in which $B$ is a $C^*$-subalgebra and $I$ is a closed ideal. In several books on $C^*$-algebras I have encountered the following: $(B+I)/I$ is $*$-isomorphic to ...
2
votes
2answers
67 views

Is there any multiplicative linear functional on B(H)?

If A is a Banach algebra, we say that $\Phi: A \longrightarrow \mathbb{C}$ is a multiplicative linear functional if $\Phi$ is nontrivial, linear and $\Phi(xy)=\Phi(x)\Phi(y)$. It is easy to see that ...
2
votes
1answer
46 views

Example of a proper, dense ideal in a unital Banach algebra

I know that if ${\cal A}$ is a non- unital Banach algebra, then ${\cal A}$ may contain some proper, dense ideals. I need an example of a proper, dense ideal in a unital Banach algebra or show that it ...
2
votes
1answer
277 views

a question about invertibility of Banach Algebra

If $X$ is a Banach algebra with identity, and $0$ is the only element $x \in X$ such that there is a sequence $\{ {x_n}\} \subset X$, $\left\| {{x_n}} \right\| = 1$ and $x{x_n} \to 0$ or ${x_n}x \to ...
2
votes
1answer
45 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$ ...
2
votes
1answer
113 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 ...
2
votes
1answer
76 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
28 views

Show that there is a unique continuous function

I have no idea where to even start, i have never dealt with question like this before, any direction you can give me would be greatly appreciated.
2
votes
1answer
137 views

Constructing a functions with Gelfand Naimark

If $X$ and $Y$ are compact Hausdorff spaces, show that for any algebra homomorphism $$ F:C(Y) \to C(X) $$ there exists a continuous function $f:X\to Y$ such that $$ F(\phi)=\phi \circ f, \forall \phi ...
2
votes
1answer
58 views

Subalgebras of certain C*-algebras

Let $A$ be a C*-subalgebra of $C(X, M_{n}(\mathbb{C}))$ where $X$ is a compact Hausdorff space, does it follow that $A$ is isomorphic to $C(Y, M_{m}(\mathbb{C}))$ for some $Y\subseteqq X$ and ...
2
votes
2answers
120 views

‎‎If $A$ contains ‎an ‎idempotent $e‎$ (‎‎$‎e‎\neq ‎‎0,1‎‎$‎) , then $‎\Omega(A)‎$ ‎is ‎disconnected

If $A$‎ ‎be a‎ ‎unital ‎abelian ‎Banach ‎algebra ‎and ‎contains ‎an ‎idempotent $e$‎ ‎(that ‎is ‎‎$‎e=‎e‎^{‎2‎}‎‎$‎) ‎other ‎than $0$‎ ‎and $1$‎ ,‎ ‎then help me to show that ‎‎$‎\Omega(A)‎$ ‎is ...
2
votes
2answers
43 views

Self-adjoint elements in a C*-algebra

I have a simple question which confused me. Suppose $A$ is a C*-algebra. every $x\in A$ has a representation such as $x=a+ib$ where $a,b$ are self-adjoint elements of $A$. Also we claim that $x^*x$ ...
2
votes
2answers
41 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 ...
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
19 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 ...
2
votes
1answer
107 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
49 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 ...
2
votes
1answer
69 views

Uniform boundedness

I was thinking about the following problem: Let $(A_t)_{t \geq 0}$ be a family of bounded operators on a Banach space $X$ which is uniformly bounded and let $(B_{t,\alpha})$ be a net in the Banach ...
2
votes
1answer
85 views

A question about positive elements in $C^*$ algebras

Let $A$ be a $C^*$-algebra If $a\in A$ is positive, is it true that for any $0<\alpha<\frac{1}{2}$ we have $$\left(a+\frac{1}{n}1\right)^{\frac{-1}{2}}a^{\frac{1}{2}-\alpha}$$is self adjoint?A ...
2
votes
1answer
20 views

$A y= b$ in $C(X)$

Let $X$ be a compact Hausdorff topological space, and $C(X)$ denote the ring of all complex valued continuous functions on $X$. If $A\in C(X)^{m\times n}$, $b\in C(X)^{m\times 1}$, and for all $x\in ...
2
votes
1answer
75 views

Locally Compact Stone-Weierstrass Theorem

STATEMENT: Let $X$ be a locally compact Hausdorff space, and let $A = C_∞(X)$ be the algebra of continuous real-valued functions on $X$ that vanish at infinity, as above, equipped with the supremum ...