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

Semigroups & Generators: Nonexample

Given a C*-algebra $\mathcal{A}$. Consider a *-derivation $\delta$. Does it always generate a group: $$\tau(t)=e^{it\delta}$$ But a group of automorphisms is a contraction group: ...
1
vote
0answers
24 views

For a Banach algebra $\mathcal{A}$ and an idempotent $e$, show that $\mathcal{A}e$ is a Banach algebra

I am studying the spectral theory of operators on Banach and Hilbert spaces, reading through Conway's A Course in Functional Analysis. In section VII.4, Conway states Proposition 4.11 as a consequence ...
1
vote
1answer
33 views

Understanding a proof from Conway: showing existence of idempotents using functional calculus

I am studying the spectral theory of operators on Banach and Hilbert spaces, making use of Conway's A Course in Functional Analysis. In section VII.4, Conway states Proposition 4.11 as a consequence ...
0
votes
0answers
5 views

Norm of the resolvent in the quotient algebra

Let $A$ be a Banach algebra with identity and $J$ be a two-sided ideal of $A$. It is known that $\sigma(a')\subseteq\sigma(a) \, \forall a\in A$, where $a'$ is the coset $a+J$. Suppose $\lambda-a'$ ...
0
votes
0answers
11 views

Banach Algebra convergence

I am taking a courses on Differential Calculus and I would like to know the details in the steps of the proof (1) & (2). Also I would like some details on how to solve the exercise below. (3) ...
0
votes
1answer
22 views

Homeomorphism between locally compact space $\Omega$ and maximal ideals space of $C_0(\Omega)$

the following is a proposition: If $\Omega$ is locally compact and $\Sigma$ is the maximal ideal space of $C_0(\Omega)$, then the map $x\to \delta_x$ is a homeomorphism. To prove it, the author ...
0
votes
0answers
10 views

Spectrum of a C* subalgebra generated by a normal element

Let $A$ be a unital C*-algebra and $a$ be non-invertible normal element in $A$. Suppose $B=C^*(a)$, i.e., the commutative C*-subalgebra that is generated by $a$. Will ...
2
votes
3answers
42 views

Semi-direct decompositions of Banach algebras

Let $A$ be a Banach algebra and I an ideal of it. Is there always a subalgebra $B$ of $A$ such that A can be written as $A=B\oplus I$ where $\oplus$ denotes direct sum? If not, in what conditions we ...
2
votes
1answer
25 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 ...
1
vote
0answers
20 views

isometrically isomorphism [duplicate]

How can embed separable Banach to Cb(X)(family of all bounded continuous functions on topological space X) with non metrizable X ? If X is locally compact or Tychonof is very well. note : We know ...
2
votes
2answers
48 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} ...
1
vote
1answer
17 views

Diffeomorphism in Banach algebra

Let $X$ be an algebra $C([0,1],\mathbb{R})$. Let define $F:X\ni f \mapsto f(0)f \in X$ What is the biggest $r$ such that $F$ is $C^r$-diffeomorphism ?
11
votes
1answer
490 views

Looking for an easy lightning introduction to Hilbert spaces and Banach spaces

I'm co-organizing a reading seminar on Higson and Roe's Analytic K-homology. Most participants are graduate students and faculty, but there are a number of undergraduates who might like to ...
2
votes
0answers
77 views

Semigroups & Generators: Entire Elements: Nonexample?

Problem Given a Banach space $E$. Consider a $\mathcal{C}_0$-semigroup: $T:\mathbb{R}_+\to\mathcal{B}(E)$. Define its generator by: $$Ax:=\lim_{h\downarrow0}\frac{1}{h}(T(h)x-x)$$ (The domain being ...
3
votes
2answers
69 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}\| = ...
1
vote
1answer
35 views

States: Extension

Definition Define positivity in terms of: $$\omega\geq0:\iff\omega(X^*X)\geq0$$ (This way it serves best for the GNS-construction.) Problem Given a C*-algebra $1\notin\mathcal{A}$ and adjoin a unit ...
1
vote
1answer
103 views

Extensions: Spectrum

Problem Given a C*-algebra $\mathcal{A}_0$ and unital extensions $1\in\mathcal{A}$ and $1'\in\mathcal{A}'$. Regard a common element: $$A_0\in\mathcal{A}_0:\quad A^{(\prime)}:=\iota^{(\prime)}(A_0)$$ ...
0
votes
1answer
78 views

Spectrum of an element of a non unital C*-algebra

I know that spectrum of an element $x$ of a unital C*-algebra is nonempty. I like to find an example of a non unital C*-algebra that has an element with empty spectrum, if it exists. Motivation I ...
1
vote
1answer
29 views

Characterspace of algebra of rational functions on compact subset of $\mathbb C$

Let $K\subset \mathbb C$ be compact and denote with $R$ the closure of rational functions on $K$ w.r.t. $\|\cdot \|_\infty$. Show that the character space of the Banach algebra $R$ is ...
1
vote
1answer
37 views

Nonunital C*-Algebras: Closed Image

Given C*-algebras $\mathcal{A}$ and $\mathcal{B}$. Consider a morphism: $\pi:\mathcal{A}\to\mathcal{B}$. Then its image is closed: $\mathrm{im}\pi\subsetneq\overline{\mathrm{im}\pi}$ The proof I ...
2
votes
1answer
39 views

Norm of rotation matrix as element in $M_2(A)$

Let $A$ be a complex unital Banach algebra and let $R_t=\begin{pmatrix} \cos\frac{\pi t}{2} & -\sin\frac{\pi t}{2} \\ \sin\frac{\pi t}{2} & \cos\frac{\pi t}{2} \end{pmatrix}$. If I consider ...
1
vote
1answer
59 views

Nonzero projection in an irredicible C*-algebra of minimal finite rank must have rank one

The following is a part of a theorem in Murphy's C*-algebras and operator theory: Let $A$ be a C*-algebra acting irreducibly on a Hilbert space $H$ and $q$ be a nonzero projection in $A$ of minimal ...
0
votes
1answer
34 views

$*-$ isomorphism between two compact spaces $K(H)$ and $K(H')$

The following is a theorem of Murphy's C*-algebras and operator theory: I think we can write the proof more easily than Murphy's. After show that $E'$ is an orthonormal basis for $H'$, define ...
0
votes
2answers
63 views

Function Spaces: 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 ...
5
votes
1answer
144 views

Positive Operators: Definition?

Definitions Given an operator algebra $\mathcal{A}\subseteq\mathcal{B}(\mathcal{H})$ with $1\in\mathcal{A}$ Consider selfadjoint operators $A=A^*\in\mathcal{A}$. Define positive elements by: ...
0
votes
2answers
106 views

Positive Elements: Characterization

Problem Given a C*-algebra with unit $1\in\mathcal{A}$. Define positive elements as: $$A\geq0\iff\sigma(A)\geq0\quad(A=A^*)$$ Positive elements can be characterized by: $$A\geq0\iff A=B^*B$$ ...
0
votes
1answer
33 views

What's difference between spectrum and eigenvectors of an operator

Let $x$ be an operator in $B(H)$. By definition $\sigma(x)=\{\lambda \in \Bbb C ~; \lambda - x \neq inv \}$. Also to find eigenvalue of an operator we should find $\lambda$ such that $x\xi = \lambda ...
6
votes
1answer
101 views

$p^2=p$ in closure of ideal $I$ of Banach algebra implies $p\in I$.

Let $I\subset A$ be a ideal of a Banach algebra $A$. Assume $p\in \overline I$ and $p^2=p$. Show: $p\in I$. Can someone give me a little hint how to solve this, please?
0
votes
0answers
53 views

Does the equality $(T^{\ast})^{\alpha}=(T^{\alpha})^{\ast}$ hold?

Let $H$ be a complex Hilbert space and $B(H)$ be all bounded linear operator on $H$. Let $T\in B(H)$. Can I say $(T^{\ast})^{\alpha}=(T^{\alpha})^{\ast}$ for $\alpha\geq1$ where $\ast$ means ...
2
votes
1answer
54 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 ...
-1
votes
1answer
61 views

Polynomial Calculus: well defined?

Disclaimer This thread has been refreshed! Problem Given a C*-algebra $\mathcal{A}$. Consider an element $A\in\mathcal{A}$. Introduce an abstract polynomial calculus: $$A=A^*:\quad ...
3
votes
1answer
58 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 ...
2
votes
1answer
59 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$ ...
0
votes
1answer
65 views

Polynomial Ring: Root vs. Remainder

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
votes
2answers
76 views

C*-Algebras: Contractive Morphism

Problem Given C*-algebras $\mathcal{A}$ and $\mathcal{B}$ with $\mathbb{1}_\mathcal{A}\in\mathcal{A}$. Consider an algebraic morphism $\pi:\mathcal{D}\subseteq\mathcal{A}\to\mathcal{B}$ with ...
2
votes
1answer
18 views

operators on Hilbert spaces have adjoints

The following is a Theorem of Murphy's C*-algebras and operator theory: In the last line of proof, he claims $u^*$ is linear, but I think it's conjugate linear because for $y_2,x_2\in H_2$, $x_1\in ...
1
vote
1answer
29 views

Homeomorphism from $K$ to $\Phi_{C(K)}$

Let $K$ be a compact Hausdorff and $C(K)$ be a Banach algebra of continuous function on $K$ such that $\textbf{1} \in C(K)$ and such that $C(K)$ separates the point of $K$. I am trying to show that ...
2
votes
1answer
37 views

If $I$ is a closed ideal in a C*-algebra $A$ and $J$ is a closed ideal in $I$ then $J$ is an ideal of $A$

The following is a remark of Murphy's C*-algebras and operator theory: . I do not know why he uses approximate unit. I think for $a\in A$ and $b\in J^+$, we have $b\in I$ and $b^{1/2}\in I$($I$ is ...
0
votes
1answer
20 views

$\phi(A^+) \subset B^+$ when $\phi: A\to B$ is an isometric linear map

Let $\phi: A\to B$ be an isometric linear map between unital C*-algebras $A$ and $B$ such that $\phi(a^*)=\phi(a)^* (a\in A)$ and $\phi(1)=1$. Show that $\phi(A^+) \subset B^+$. Clearly $A^+ = \{a^*a ...
1
vote
1answer
21 views

Show that hermitian element $h=\sum p_n/3^n$ generates $ C_0(\Omega)$

Let $\Omega$ be a locally compact Hausdorff space, and suppose that the C*-algebra $C_0(\Omega)$ is generated by a sequence of projections $(p_n)_{n=1}^{\infty}$. Show that the hermitian element ...
2
votes
0answers
50 views

Subalgebras of $C_b(X)$ whose elements do not vanish simultaneously at any point

Let $X$ be a completely regular space. How can I find all Banach subalgebras of $C_b(X)$ (all complex-valued bounded continuous functions on $X$) with the property that for every $x\in X$ there ...
1
vote
1answer
43 views

CAR- & Weyl-Algebra: Uniqueness?

Given a Hilbert space: $\mathcal{h}$ Consider representations of the CAR-algebra: $\mathcal{A}_\text{CAR}^{(\prime)}(\mathcal{h})$ In Bratelli & Robinson it is stated the uniqueness: ...
6
votes
1answer
185 views

Uniqueness of the involution on a $C^*$-algebra

indication please Let $A$ be a C*-algebra. Suppose that there exists on $A$ another involution $x\rightarrow x^{\#}$ such that $\|xx^{\#}\|=\|x\|^2$, for all $x\in A$. Prove that $x^{\ast}=x^{\#}$, ...
0
votes
1answer
24 views

CAR-Algebra: Nontriviality?

Given a Hilbert space $\mathcal{h}$. Consider the abstract CAR-algebra $a:\mathcal{h}\to\mathcal{A}_\text{CAR}$. Then their actually isometries: $$a:=a(f):\quad ...
4
votes
2answers
71 views

Minkowski type inequality in Banach algebras

Under which circumstances it is true that $\|(A+B)^n\|^{1/n}\le \|A^n\|^{1/n}+\|B^n\|^{1/n}$ for elements $A$ and $B$ in a Banach algebra and a natural number $n$?
5
votes
0answers
202 views

Is the left regular representation of an algebra, always faithful?

Let $\mathcal{A}$ be a unital associative algebra with a countable basis $\mathcal{b}$ over $\mathbb{C}$. Let $H=l^2(b)$ be the Hilbert space generated by $\mathcal{b}$. Let $H_0 = \{v \in H \ \vert \ ...
1
vote
1answer
19 views

Does this define a norm s.t. set of matrices is Banach algebra?

As I asked in this comment here: If $a$ is an $n \times n$ matrix and we define $$ \|a\|_p = \left ( \max_j \sum_i |a_{ij}|^p \right)^{1 \over p}$$ or $$ \|a\|_p = \left ( \max_i \sum_j ...
0
votes
0answers
15 views

Prove that a complex-valued homomorphism on a Banach algebra which is not identically 0, is a bounded linear functional of norm $1$

I want to prove that a complex-valued homomorphism $h$ on a Banach algebra $X$ which is not identically 0, is a bounded linear functional of norm $1$. This is a statement in the appendix D of the ...
0
votes
1answer
25 views

Literature: Derivations in C*-Algebras

Do you have some nice reference for dynamical systems in C*-algebras (including discussion of their derivations!) like notes, papers, books, etc.?
0
votes
1answer
23 views

Joint spectrum of $\{a_1,…,a_n\}$

Let $\{a_1,...,a_n\}$ be commuting normal operators on a Hilbert space. Put $A:= C^*(1,a_1,...,a_n)$. By Gelfand theorem ,abelian C*-algebra $A$ is identified with the algebra $C(\Omega)$ of all ...