4
votes
0answers
66 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$ ...
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
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
2answers
52 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 ...
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 ...
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 ...
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
82 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$, ...
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
36 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
62 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
89 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 ...
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 + ...
2
votes
1answer
26 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 ...
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. ...
0
votes
1answer
34 views

Locally compact group and continuous function with compact support

Suppose that $G$ is a locally comact group, let $H$ be a open subgroup of $G$ and let $\phi:G\to\Bbb C$ be a continuous function such that $Supp\phi=:\overline{\{x\in G: \phi(x)\neq 0\}}$ is compact. ...
6
votes
3answers
85 views

For which $s\in\mathbb R$, is $H^s(\mathbb T)$ a Banach algebra?

According to Theorem 4.39 in Adams & Fournier Sobolev Spaces: If $mp>n$, $m\in\mathbb N$, then $W^{m,p}(\Omega)$ is a Banach algebra, provided that $\Omega\subset\mathbb R^n$ satisfies the ...
0
votes
0answers
26 views

On the Spectral radius $r(a+b)$ in Banach algebra [duplicate]

Let $\mathcal{L}$ be a complex Banach algebra with a unit. The spectral radius of $x\in\mathcal{L}$ is denoted as $r(x)$. Suppose $a,b\in\mathcal{L}$ and $ab=ba$, how to prove that $$r(a+b)\le ...
3
votes
1answer
62 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 ...
2
votes
1answer
90 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 ...
3
votes
1answer
118 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. ...
-1
votes
1answer
42 views

Polynomial Calculus on Spectrum: well defined?

Consider a bounded operator over a Banach space: $T\in\mathcal{B}(E)$ Apply polynomial calculus on the the chosen operator: $p(T),p\in\mathbb{C}[X]$ Why do we need to prove that when two polynomials ...
0
votes
1answer
53 views

Root of polynomial implies vanishing remainder. Application to spectral theory!

Framework: Consider a unital ring: $e\in R$ and a given polynomial: $p\in R[X]$ (Note that I do not require the ring to be an integral domain.) Problem: If it has a root then it factorizes: ...
1
vote
1answer
50 views

Spectrum: Polynomials

It is written in Bratteli-Robinson that some simple transformations yield the relations: $$\sigma(a+A)=a+\sigma(A)$$ $$\sigma(A^n)\subseteq\sigma(A)^n$$ The latter one is deduced by the ...
0
votes
1answer
29 views

Normalized States

A linear functional is normalized iff it preserves identity: $$\|\omega\|=1 \iff \omega(\mathrm{id})=1$$ Can somebody help me proving it? (I just remember it was kind of an easy thing.)
2
votes
1answer
28 views

Approximating a mean on $L^{\infty}(G)$ by a norm $1$ non-negative $f\in L^{1}(G)$

Let $G$ be a locally compact group. A mean $M$ on $L^{\infty}(G)$ is a continuous linear functional on $L^{\infty}(G)$ such that $1 = \langle 1 , M\rangle = \|M\|$. My Exercise: Show that the set ...
2
votes
1answer
68 views

Convergence Radius => Nonanalytic

Why is a function certainly nonanalytic at some point on the radius of convergence? I mean considering a power series around somewhere and if theres a power series expansion at every point on circle ...
6
votes
1answer
41 views

Extension of character in Banach algebras

Let $A$ be a Banach algebra. The continuous linear functional $\phi:A\to\Bbb{C}$ is called character if it is non-zero multiplicative function i.e., for every $a,b\in A$ we have ...
0
votes
1answer
23 views

Is this subalgebra of a semisimple algebra semisimple?

Let $A$ be a semisimple algebra and $e$ be an idempotent in $A$. Then $eAe=\{eae:a\in A\}$ is a subalgebra of $A$ with $e$ as the identity. We want to prove that $eAe$ is also semisimple. That is, if ...
1
vote
0answers
25 views

Show that $B(X)$ is semisimple for a Banach space $X$ [duplicate]

Show that $B(X)$ is a semisimple Banach algebra, where $X$ is a Banach space. That is, to show that rad $B(X)=\{0\}$, or equivalently, to show $\sigma(AT)={0} \, \forall T\in B(X)\Rightarrow A=0$. I ...
0
votes
1answer
49 views

Gelfand transform is a bijection between $\ell^1$ and $\mathbb D$?

Let $A=\ell^1 (\mathbb Z)$. I read that it is possible to identify $S^1$ with the character space $ \Omega (A)$. But I have constructed a proof that identifies $ \Omega (A)$ with $\mathbb D$, the ...
1
vote
1answer
46 views

Gelfand transform on disk algebra

I tried to prove that if $A$ is the disk algebra then the Gelfand transform is the identity map. The statement can be found here in Theorem 4.4 but it is given without proof. Please can someone check ...
2
votes
1answer
47 views

If composition with a linear functional is continuous, is the function continuous?

If $G$ is an open subset of $\mathbb{C}$ and $f:G \to X$ is a function such that for each $x^*$ in $X^*$, $x^*\circ f:G\to\mathbb{C}$ is analytic, then f is analytic. Will the statement still hold ...
1
vote
1answer
76 views

Need help understanding this proof about Gelfand spectrum

Consider the following theorem: Let $A$ be a complex non-unital commutative Banach algebra and let $\Omega (A)$ denote its Gelfand spectrum / character space. Then $\Omega (A)$ is locally compact. ...
0
votes
1answer
52 views

Spectrum and characters: could anyone please check my proof

I tried to prove the following: Let $A$ be a commutative non-unital complex Banach algebra and $\chi : A \to \mathbb C$ a character. Then $$ \sigma (a) = \{\chi (a) : \chi \in \Omega (A) \} ...
1
vote
0answers
45 views

Need help understanding this proof

I need help understanding the following: If $A$ is a (complex) banach algebra and $I$ is a proper modular ideal then $\overline{I}$ is also proper. Proof. Let $u\in A$ be such that $a-ua, a-au \in ...
0
votes
0answers
32 views

Need some help finishing this proof about characters in Banach algebras

I tried to prove: Let $A$ be a commutative unital complex Banach algebra. Then there is a bijection between the maximal ideals in $A$ and the set of non-zero homomorphisms $A \to \mathbb C$. But I ...