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

6
votes
0answers
126 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$ ...
6
votes
0answers
129 views

Decomposing $\mathcal{B}(H)$

Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...
5
votes
0answers
200 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 \ ...
5
votes
0answers
145 views

Invertibility of elements in a Banach algebra

Let $X=L^1\cap L^2$, and $\hat{X}$ be the Banach algebra of the image under Fourier transform of $X$. Then do the unital extension $1\dot{+}\hat{X}$ of $X$ by adding a constant function with the norm ...
4
votes
0answers
48 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 ...
4
votes
0answers
91 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})$ ...
4
votes
0answers
93 views

Open map in Banach algebra

I'm having trouble showing a certian function is open and can be extended. Let $\Omega$ be a completely regular topological space and $A=C_b(\Omega)$ the space of all complex-values bounded ...
4
votes
0answers
122 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
135 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
0answers
67 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 ...
3
votes
0answers
66 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
153 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
69 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
137 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
64 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
107 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 ...
2
votes
0answers
49 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 ...
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 ...
2
votes
0answers
68 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 ...
2
votes
0answers
39 views

How I can make $\Bbb{C}[x]$ into a Banach algebra?

Let $\Bbb{C}$ the complex field. Define $\Bbb{C}[x]$ as the set of all polynomials with variable $x$. It is known that $\Bbb{C}[x]$ is a algebra. Now the question is this that how I can make it a ...
2
votes
0answers
24 views

Can we expect, $\left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$ in the Banach algebra $A(\mathbb R)$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R ;$ and consider Fourier algebra $$A(\mathbb R):= \{f\in ...
2
votes
0answers
52 views

Find an example of product of operators not Jointly Continuous in strong topology.

I'm trying to find an example of the fact that the product of operators is not jointly continuous in the strong topology. I know the example of the unilateral shift (that is on wikipedia), but I ...
2
votes
0answers
62 views

How to prove $\widehat{(fg)}(n) = \hat{f} (n) \ast \hat{g} (n); (n \in \mathbb Z)$?

Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows: $$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$ It is ...
2
votes
0answers
139 views

Functional analysis problem involving maximal ideal space

For the past week, I've been trying to solve, as a practice homework exercise, Problem 6 of Chapter 11 in Rudin's Functional Analysis, but have not gotten very far it seems. The problem is as follows: ...
2
votes
0answers
76 views

Banach algebra.

Iam new in this field. I am reading a paper and have encoutered the following Lemma. Let $u\in F_{1}.$ Then $Sp(u)=\{0, tr(u)\},$ where $F_{1}$ is the set of one-dimensional elements and tr(u) is the ...
2
votes
0answers
49 views

Character space of $L^{1} (\mathbb Z)$

I have a question about the Gelfand and norm topologies on the character space of $L^{1} (\mathbb Z)$. Are the Gelfand and norm topologies equal, on the character space of $L^{1} (\mathbb ...
2
votes
0answers
39 views

Initial topology of the spectrum mapping $\sigma$

Let $\mathcal{A}$ be a Banach algebra, the map $\sigma$ maps each element $a\in\mathcal{A}$ to its spectrum $\sigma(a)$, which is a compact subset of $\mathbb{C}$. The collection of compact subsets ...
2
votes
0answers
51 views

Topology of $(\mathcal{A},*)$ determined by $\mathcal{A}_{sa}$?

Let $(\mathcal{A},*)$ be a $*$-algebra, we have the following observation: Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be two norms on $\mathcal{A}$ such that the involution is an isometry with respect to ...
1
vote
0answers
21 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
0answers
35 views

The spectrum of an element in a non-unital Banach algebra

Let $A$ be a commutative non-unital Banach algebra. Let $\widetilde{A}$ denote its unitisation. I am trying to understand the proof of $$ \sigma (a) = \{\tau (a) \mid \tau \in \Omega (A)\}\cup ...
1
vote
0answers
24 views

functional calculus on a set of normal elements is continuous

Let $K$ be a compact subset of $\Bbb C$. Let $A_K$ denote the set of all normal elements $x$ with $\sigma_A(x)\subset K$. If $f$ is a continuous function on $K$, then the functional calculus :$x\in ...
1
vote
0answers
73 views

Closed unit ball of B(H) is not compact in strong operator topology of B(H).

In operator theory we prove that closed unit ball of B(H) is compact in weak operator topology and is closed in strong operator topology. But a book of operator theory states that closed unit ball of ...
1
vote
0answers
40 views

Riesz Projection in Functional Analysis.

By definition the Riesz projection of a Banach algebra element $a$ associated with a complex number $\alpha$ is given by $p(\alpha , a)= \frac{1}{2\pi i} \int_{\Gamma} ( \mu -a)^{-1} \,\, ...
1
vote
0answers
34 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
0answers
29 views

For a discrete abelian group $G$, is the Gelfand Representation of $\ell^1(G)$ injective?

Given a discrete group $G$, we can consider the Banach $*$-algebra $\ell^1(G)$, with convolution product $(\xi*\eta)(g)=\sum_{h\in G}\xi(h)\eta(h^{-1}g)$ and involution ...
1
vote
0answers
30 views

Uniqueness in Bochner's theorem

Bochner's theorem : Let $G$ be a locally compact Abelian group. Then for any $ \phi \in \ P(G) $ there is a unique positive Radon measure $ \ μ \in \ $ M ($ \widehat{G} $) such that ...
1
vote
0answers
17 views

How to prove the set of fourier multipliers is a banach algebra?

Hi I am new here at math stack Exchange, this is my first question, hope you guys can help me out:) Suppose $F\colon L^2(\mathbb{R} ) \to L^2(\mathbb{R})$ is the Fourier transform given by ...
1
vote
0answers
29 views

When do Fourier series and Fourier transform coincide

The other day I proved that if $f \in \ell^1 (\mathbb Z)$ then its Gelfand transform $\widehat{f}$ is a map $S^1 \to S^1$ such that $$ \widehat{f}(z) = \sum_{k \in \mathbb Z}f(k) z^k$$ and that ...
1
vote
0answers
47 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 ...
1
vote
0answers
44 views

What are these spectra (part 1)

I needed some insight into spectra in Banach algebras. To this end I tried to calculate a few examples. I will post them not all in one post. Could somebody please tell me if they are correct? Here ...
1
vote
0answers
59 views

How to interpret Fourier-Stieltjes transform on $\mathbb T$ (one dimesional torus)?

Let $\mu$ be a regular Borel measure on $\mathbb Z$ and we put, $$\|\mu\|:= |\mu| (\mathbb Z)= \text {total variation of} \ \mu . $$ and define $$M(\mathbb Z):= \{\mu: P(\mathbb Z)\to \mathbb C : ...
1
vote
0answers
38 views

Why the space of Fourier-Stieltjes transforms on a compact groups is same as the space of FT on compact groups?

Let $G$ be a locally compact group and we put $L^{1}(G)= \ \text {The space of all complex functions which are integrable with respect to the Haar measure of } \ G.$ Let $\Gamma$ is the dual group ...
1
vote
0answers
44 views

Injective norm on tensor algebra of a finite-dimensional Banach space

Suppose that $V$ is a finite n-dimensional Banach space, and suppose that $T(V)$ is the tensor algebra on it. Furthermore, suppose that $T^{(n)}(V)$ is the "abridged" tensor algebra obtained by taking ...
1
vote
0answers
40 views

Limit of the spectrum in Banach algebra

Let $A$ an unital complex Banach algebra, $a_{n} $ is a sequence such that $\lim_{n\to \infty}a_{n}=a$. What is the relation between $\lim_{n\to \infty}\sigma(a_{n})$ and $\sigma(a)$. I think that it ...
1
vote
0answers
48 views

ultrapowers of a matrix

1)Let A, B, C, D be a Banach algebras, and U be a free ultrafilter. Can we see that ultrapowers of \begin{pmatrix} A & B \\ C & D \end{pmatrix} equal to \begin{pmatrix} (A)_U & ...
1
vote
0answers
57 views

Integration of rational function on Banach algebra

I do not follow the proof of this Theorem Theorem Suppose$R(\lambda) = P(\lambda) + \sum_{m,k}c_{m,k}(\lambda - \alpha_m)^{-k}$ is a rational function with poles at the points $\alpha_m$. ($P$ ...
1
vote
0answers
82 views

Representation of subspaces as complemented subspaces

Let $X$ be any separable Banach space. The Banach-Mazur theorem states (astonishingly) that $X$ is isometric to a closed subspace of $C(\Delta)$, the space of continuous functions on the cantor set ...
1
vote
0answers
16 views

Closure of the set of fredholm perturbation

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 ...
1
vote
0answers
46 views

Definite positive measure and GNS representation

Let $G$ be a locally compact group. Let $\mu$ be a positive definite complex measure ([D, p295]): we have $\mu(f*f^*)\geq 0$ for any compact support continuons function $f \in C_c(G)$. In [D, p ...
1
vote
0answers
74 views

Commutative Noetherian Banach algebra.

Prove that: 1) Every commutative real unital Noetherian Banach algebra with no zero divisors is isomorphic to the real or complex numbers. 2) Every commutative real unital Noetherian Banach algebra ...