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

1
vote
1answer
77 views

Inductive limit of separable Banach spaces

Let $\mathcal{C} = \{A_\alpha\}_\alpha$ be a chain of nesting separable Banach subspaces of $C_b(X)$, the space of all bounded continuous functions, on a locally compact space $X$. I am wondering if ...
2
votes
0answers
30 views

Norm of homomorphism embedding Banach algebra into matrix algebra

Let $A$ be a nonunital Banach algebra, and let $\tilde{A}$ be the unitization of $A$, i.e. $\tilde{A}=\{(a,\lambda):a\in A,\lambda\in\mathbb{C}\}$ with multiplication given by $(a,\lambda)(b,\mu)=(ab+\...
3
votes
1answer
86 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 ...
2
votes
1answer
55 views

Proof involving invertible elements of Banach algebra

I want to prove for a unital Banach algebra $\mathcal{A}$, it follows that if $\|a-b \| < \frac{1}{\|a^{-1} \|}$ then $b \in \mathcal{A}^{-1}$ (where $\mathcal{A}^{-1}$ is the subset of invertible ...
2
votes
0answers
38 views

Proposed proof of operator theory result

Hi I am interested in checking my proposed solution to the following problem in Operator Theory: Please give me hints as to how to improve the proposed proof rather than the full correct solution. ...
1
vote
1answer
43 views

Partial isometries

Given a unital $C^*$-algebra A and partial isometries $w_1, \cdots, w_n$ such that $\sum_{i = 1}^{n}w_iw_i^* = 1$ and $w_i^*w_j = 0$ if $i \neq j$ then is it true that $w_i$ is an isometry?
2
votes
1answer
30 views

How to handle direct sums and unitizations of $L^p$ operator algebras?

Let $p\in[1,\infty)$. An $L^p$ operator algebra refers to a Banach algebra that is isometrically isomorphic to a closed subalgebra of $B(L^p(X,\mu))$ for some ($\sigma$-finite) measure space $(X,\mu)$....
1
vote
1answer
27 views

Linear Operators and Convergence

I am struggling with this question from my Differential Equations course: If $T$ is a linear transformation on $\mathbb{R}^n$ with $||T-I||<1$, prove that $T$ is invertible and that the ...
5
votes
1answer
51 views

Radius of convergence of Taylor expansion of $z \mapsto (1 - z \cdot a)^{-1}$

Let $A$ be a Banach $\mathbb{C}$-algebra with norm $\text{N}(-)$ and let $a \in A$. Where can I find a reference to/can somebody supply a proof of the following posited equality?$$\max_{z \in \text{...
2
votes
0answers
32 views

For which $F$ we have $F(f\ast g)= f\ast F(g)$ for all $f,g \in L^{1}$?

Young's inequality tells us that: $L^{1}\ast L^{p} \subset L^{p}, (1\leq p \leq \infty)$ My Question: What are examples of functions $F:L^{1}(\mathbb R)\to L^{p}(\mathbb R)$ with the property $...
0
votes
1answer
33 views

An isomorphism between two Banach algebras

Consider the compact set $[-1,1]$ and $C([-1,1])$ the set of all continuous functions $\phi: [-1,1] \rightarrow \mathbb{C}$. I want to show that the quotient of $C([-1,1])$ by $\mathbb{C}$ is the ...
3
votes
1answer
36 views

Does $(\ell^{1}(\mathbb Z), \cdot)$ have a bounded approximate identity?

Put $\ell^{1}(\mathbb Z)=\{f:\mathbb Z \to \mathbb C: \|f\|_{\ell^{1}}:=\sum_{n\in \mathbb Z}|f(n)|< \infty \}$ and we note that $\ell^{1}(\mathbb Z)$ is an algebra under pointwise multiplication. ...
2
votes
2answers
91 views

Examples of algebras that have a bounded approximate identity

We note that $L^{1}(\mathbb R)$ is an algebra with respect to convolution without identity element. However, regarded as a Banach algebra, $(L^{1}(\mathbb R), \ast) $ has a bounded approximate ...
3
votes
2answers
56 views

Does there exists an approximate identity in Fréchet algebra $\mathcal{S}(\mathbb R)$?

We put $\|f\|_{(N, \alpha)}:= \sup_{x\in \mathbb R} (1+|x|)^{\alpha} | D^{\beta}f(x)|; $ and he Schwartz space, $S(\mathbb R): = \{f\in C^{\infty}(\mathbb R): \|f\|_{(N, \alpha)}< \infty , \...
3
votes
0answers
18 views

Definition of $K_1(A)$ for a Banach algebra $A$

When defining $K_1(A)$ for a Banach algebra $A$, one may consider $\bigcup_{n\in\mathbb{N}}\{x\in GL_n(A^+):x\equiv I_n\mod M_n(A)\}$ and take the quotient by the component containing the identity, or ...
2
votes
0answers
47 views

Clarification on Wolfram Mathworld's explanation of the connection between Gelfand Transform and Fourier Transform

http://mathworld.wolfram.com/GelfandTransform.html In the definition, what does $x$, $\hat x(\phi)$, and $\phi$ represent exactly if we were to consider definition of the Fourier transform? Can ...
3
votes
0answers
32 views

Derivation into dense ideal of Banach algebras

Let $A$ be a Banach algebra and $I$ be an ideal of $A$. A derivation $D:A\to I$ is a linear bounded map, with the following property: $$D(ab)=aD(b)+D(a)b,\qquad a,b\in A.$$ Suppose that $I$ is dense ...
0
votes
0answers
20 views

What are the appropriate morphisms for forming inductive limits of Banach algebras?

For Banach algebras, if we take the morphisms to be bounded homomorphisms, the inductive limit construction may not result in a Banach algebra. (I remember seeing this fact but I don't know a specific ...
2
votes
2answers
31 views

How does the product of sets of complex numbers give a character?

I'm working through this "Introduction to Banach Algebras" and just after proposition 8.2 they say: If $A$ is a commutative Banach algebra, $a\in A$ and $\phi\in M(A)$, then $\phi(a)\in sp(a)$. ...
4
votes
1answer
57 views

Distributivity of projective tensor product over direct sum

Let $I$ is a non-empty set and $\{A_i\}_{i\in I}$ is a family of Banach algebras and $B$ is a Banach algebra. Define $$\ell^1-\oplus_{i\in I}A_i=\{a=\{a_i\}_{i\in I}: \|a\|_1=\sum_{i\in I}\|a_i\|<\...
2
votes
1answer
39 views

How are $M_n(A)$ and $M_n(\mathbb{C})\otimes A$ identified as Banach algebras?

When $A$ is a Banach algebra, one can make $M_n(A)$ into a Banach algebra by equipping it with various norms. One can also make the algebraic tensor product $M_n(\mathbb{C})\otimes A$ into a Banach ...
3
votes
3answers
92 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 ...
7
votes
2answers
149 views

Is every Hilbert space a Banach algebra?

Let $H$ be a Hilbert space. Could we say that, always there is a multiplication on $H$, that makes it into a Banach algebra? If not, under which conditions does it exist?
4
votes
1answer
47 views

The same topologies

Let $L^1 (\mathbb{Z})$ be the space of all functions $f:\mathbb{Z}\rightarrow \mathbb{C}$ such that $\left\{\|f\|=\sum_{k\in \mathbb{Z}}|f(k)|<\infty\right\}$. Clearly, $L^1 (\mathbb{Z})$ is a ...
3
votes
0answers
28 views

Semiprimitivity of second dual of semiprime Banach algebras

Let $A$ be a Banach algebra. Then $A^*$ is right Banach $A$-module with product $\langle b,f.a\rangle=\langle ab,f\rangle$ for every $a,b\in A, f\in A^*$. Define $\langle a,F*f\rangle=\langle f.a,F\...
3
votes
1answer
33 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 $T_e(...
0
votes
2answers
23 views

Can we embed unital Banach algebras into semi-simple ones?

A Banach algebra is (Jacobson) semi-simple if the intersection of all maximal left ideals is the zero ideal. Take a unital abelian Banach algebra $B$. Can we embed it unitally into an abelian semi-...
5
votes
0answers
58 views

Compactum of Banach algebra

I need an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties: There exists a bounded approximate identity in $I$ for $I$ i.e., a net $\{e_\alpha\}\...
4
votes
1answer
96 views

Understanding the bidual of a $C^*$-algebra as a $C^*$-algebra

I have a lot of problems trying to understand the double dual of a $C^*$-algebra. Let $A$ be a $C^*$-algebra, I read that if you endow the bidual Banach space $A^{**}$ of $A$ with the weak-*topology, ...
2
votes
1answer
72 views

Differentiation calculation

$L(E)$ espace fonction continuous and linear $$\begin{array}{llll} \psi:& L(E)\times E&\longrightarrow& E\\ &(u,x)&\longrightarrow &u(x) \end{array}$$ proved the application ...
1
vote
1answer
42 views

cauchy's integral formula in operator theory

Can you prove cauchy's integral formula based on the assumptions in Conway book, operator theory, VII, 4.2? 4.2. Cauchy's Integral Formula If $\mathcal X$ is a Banach space, $G$ is an open subset ...
1
vote
1answer
31 views

Uniform closure of polynomials

What is the meaning of "uniform closure of polynomials"? I have seen it in Conway's Functional Analysis book VII § 5.
0
votes
1answer
38 views

$p$-operator space property

If $S,T,U,V\in B(L_p(X,\mu))$, $p\in[1,\infty)$, and we regard $\begin{pmatrix} S & T \\ U & V \end{pmatrix}$ as an operator on $B(L_p\oplus_p L_p)$, then supposedly we have $\left|\left|\...
0
votes
1answer
24 views

Comparing norms - $M_{kn}(A)$ versus $M_k(M_n(A))$

I am having to deal with the problem of passing between $M_{kn}(A)$ and $M_k(M_n(A))$ where $A$ is a Banach algebra, removing parentheses in one direction, and adding parentheses in the opposite ...
3
votes
1answer
91 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 ...
2
votes
1answer
60 views

Lifting idempotents from a quotient of a Banach algebra

In a quotient of a Banach algebra $A$, if an invertible element is connected to the identity by a continuous path of invertibles, then it can be lifted to an invertible element in $A$. Is there an ...
1
vote
0answers
31 views

Show that the ideal generated by an inner function is closed.

Suppose $H^\infty=\{f\in H(U):\exists M<\infty,\,\forall z\in U,\,|f(z)|\le M\}$ is the set of bounded holomorphic functions in the unit disk. It is a Banach algebra with pointwise multiplication. ...
1
vote
1answer
27 views

Involution on the set of all multipliers of $A$ ($A$ is a $C^*$-algebra)

Let $A$ be a $C^*$-algebra. $M(A)$ denotes the set of all multipliers of $A$, i.e. $m\in M(A)$ means that there is a map $m^*:A\to A$ such that $m(a)^*b=a^*m^*(b)$ for all $a,b\in A$. I want to know ...
1
vote
1answer
45 views

Show that Quotient of a C*-algebra is a C*-algebra in its own right

Let $A$ be a commutative C*-algebra over $\mathbb{C}$ and let $J$ be an ideal of $A$ such that $J\in Closed(A)$ and that contains $x^*$ if it contains $x$, for all $x\in A$. I know that $A/J$ is also ...
1
vote
1answer
38 views

Operator norm on $M_n(A)$ where $A$ is a Banach algebra

On $M_n(\mathbb{C})$, if we take the operator norm by acting on $\mathbb{C}^n$ where $||(z_1,\ldots,z_n)||=\max_{1\leq i\leq n}||z_i||$, then for $[a_{ij}]\in M_n(\mathbb{C})$ we have $||[a_{ij}]||=\...
1
vote
0answers
33 views

Ideals of the operator algebra

Let $A$ be a Banach algebra. Is there any relation ship between two-sided closed ideals of $A$ and two-sided closed ideals of the operator algebra $\mathscr B(A)$? Is there any characterization for ...
5
votes
0answers
51 views

Finite dimensionality of some subspace of convolution Banach algebra $L^1(G)$

Let $G$ be a locally compact group (not only compact group) with the left Haar measure $\lambda$. Consider the convolution Banach algebra $L^1(G,\lambda)$. For which $f\in L^1(G,\lambda)$ the ...
1
vote
1answer
28 views

application of positive linear functionl

The space $L^{1}(\mathbb R)$ is a commutative Banach algebra under convolution. A linear functional $F$ on $L^{1}(\mathbb R)$ is positive if $F(f^*f)\geq 0$ for $f\in L^{1}(\mathbb R).$ (where $f^*(x)=...
7
votes
1answer
233 views

Part of Lomonosov's Invariant Subspace Theorem

Let $X$ be a complex Banach space of infinite dimension, let $T\in\mathcal{B}(X)\backslash\{0\}$ be compact. Define $$\Gamma := \{S\in\mathcal{B}(X)\,|\,S\circ T=T\circ S\}$$and define, for each $y\...
1
vote
1answer
51 views

How to apply Cauchy's formula in proof 10.13 of Rudin's FA

Let $A$ be a Banach algebra and $x\in A$. In part of prood 10.13 of Rudin's Functional Analysis (page 254), where he is trying to prove that $$\rho(x) = \lim_{n\to\infty}||x^n||^{\frac{1}{n}} = \inf\...
1
vote
1answer
30 views

Orthogonal elements in a unitization of a $C^*$-algebra

Let $A$ ne a $C^*$-algebra and $a,b\in A$ self-adjoint. a and b are orthogonal, iff $ab=0$. Let A be nonunital and denote $A_1$ it's unitization, i.e., $A_1\cong A\oplus\mathbb{C}$ as vector spaces. ...
0
votes
1answer
44 views

How to prove that $\Delta( A)$ with the Gelfand topology is compact and Hausdorff?

How do I prove: $\Delta( A)$ with the Gelfand topology is compact and Hausdorff. I've tried proving it closed, but I'm having difficulties with how to begin writing a proof. And I have no idea ...
-1
votes
2answers
65 views

Two-sided closed ideals of $C(X,M_2(\mathbb C))$

Let $X$ be compact and Hausdorff space. I know all closed ideals of $C(X)$. I want to substitute $\mathbb C$ by $M_2(\mathbb C)$. What can we say about two-sided closed ideals of $C(X,M_2(\mathbb C))$...
3
votes
2answers
80 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 ...
1
vote
1answer
36 views

intersection of a multiplier algebra with a commutant of a $C^*$-algebra

I have a question about multiplier algebras and commutants of $C^*$-algebras in general. First of all, the question is related to this structure theorem about completely positive order zero maps (you ...