All Questions
Tagged with fa.functional-analysis banach-algebras
258 questions
1
vote
0
answers
105
views
The tower of path algebras associated to a tower of finite dimensional $C^*$-algebras is isomorphic to the original tower
Let $A_0\subseteq A_1\subseteq...$ be an infinite tower of unital inclusions of finite dimensional $C^*$-algebras and $B_0\subseteq B_1\subseteq ...$ be its associated infinite tower of path algebras. ...
3
votes
1
answer
170
views
How does $E$ closed follow from the upper semicontinuity of the spectrum?
Let $f$ be an analytic function for a domain $D$ of $\mathbb{C}$ into a Banach algebra $A$. Suppose that, for all $\lambda \in D$, $\text{Sp}f(\lambda)$ is finite or a sequence converging to $0$.
...
2
votes
0
answers
151
views
A Banach or $C^*$ algebraic analogy of a classical fact in real analysis
Let $A$ be a commutative unital Banach algebra.The maximal ideal space of $A$ is denoted by $\hat A$.
Assume that $D:A \to A$ is a derivation. Fix an element $a\in A$.
Assume that for every $\phi\in \...
2
votes
0
answers
125
views
Sub Banach spaces (Banach algebras) of the disc algebra which are invariant under the differentiation operator
In this question the disc algebra $\mathcal{A}(\mathbb{D})$ is the Banach algebra of all holomorphic functions on the unit open disc $\mathbb{D} \subset \mathbb{C}$ which have a ...
4
votes
0
answers
147
views
A characterization of nuclear functionals in terms of continuity with respect to some special topologies on $B(X)$?
I think, nuclear functionals on the space of operators $B(X)$ (on a Banach space $X$) must have a characterization in terms of some special continuity. I would be grateful if somebody could help me ...
8
votes
1
answer
687
views
When does the dual to the space $K(X)$ of compact operators consist of nuclear functionals?
Let $X$ be a Banach space and $B(X)$ be its space of all (bounded) operators. A nuclear functional on $B(X)$ is a linear functional $u:B(X)\to{\mathbb C}$ that can be represented in the form
$$
u(A)=\...
4
votes
1
answer
476
views
Bicommutant theorem for commutative operator algebras
Let $\mathcal{B}(H)$ denote the space of bounded linear operators on a complex Hilbert space $H$. The von Neumann bicommutant theorem says:
Theorem. Suppose that $\mathcal{A}$ is a $C^*$-subalgebra ...
7
votes
1
answer
491
views
Projections in the tensor product of von Neumann algebras
This question seems elementary, but I have already asked an expert who does not know the answer, so I would like to post here.
Let $M$ and $N$ be von Neumann algebras, and let $M\bar{\otimes}N$ be ...
0
votes
1
answer
289
views
The definiton of a multiplier on a Banach algebra
Let $A$ be a Banach algebra. Some textbooks define a (left ) multiplier as a map $T:A\rightarrow A$ satisfying $T(ab)=T(a)b$ for all $a,b\in A$ and assume that $A$ needs to be a without order Banach ...
6
votes
0
answers
117
views
Homomorphisms from BV
Denote by $\mathsf{BV}(\mathbb T)$ the Banach space of functions on the circle with bounded variation which is a Banach algebra under the pointwise product. Is there a surjective homomorphism from $\...
4
votes
0
answers
86
views
Characterizing the separability of the Gelfand space of a semisimple commutative Banach algebra
Problem. Is the separability of the Gelfand space of a semi-simple commutative Banach algebra $A$ equivalent to the existence of a countable family $\{\varphi_n\}_{n\in\omega}$ of multiplicative ...
9
votes
2
answers
308
views
Explicit proof that $c_0$-module $\ell_\infty$ is not projective
It is well known in narrow circles that the homological dimension (in the sense of relative Banach homology) of $c_0$-module $\ell_\infty$ is 2. As the corollary, this module is not projective. This ...
1
vote
0
answers
92
views
Extension of a derivation
Let I be a closed left ideal of a Banach algebra A and let D:I\to I* be a derivation. Does D extend to a derivation from A to A*?
10
votes
1
answer
2k
views
Quantum functional analysis
Can one explain some philosophy behind "quantum functional analysis" (or "quantized functional analysis") which was initiated and developed by such researchers as: Ruan Z.-J., Pisier J., Effros E.G., ...
14
votes
1
answer
694
views
Criterion for a Banach algebra to be finite dimensional
Let $A$ be a Banach algebra (say, complex and unital) and suppose that every (closed) commutative subalgebra of $A$ is finite dimensional.
Question. Does it follow that $A$ is finite dimensional?
...
0
votes
1
answer
93
views
Regarding $\ell_p$ direct sums
I am reading this paper by S.H Karin titled Norm attaining operators and pseudospectrum.
In page 2 he gives the definition of $l_p$ direct sum of a family of Banach spaces as follows:
If $1\leq p< \...
1
vote
0
answers
75
views
Proof of Lemma 7.1 Bonsall and Duncan
In the proof of Lemma 1 in section 7 (A functional calculus for single Banach algebra element) of the book Complete normed algebras by Bonsall and Duncan, the last line says
$$\phi\left(\frac{1}{2\pi ...
6
votes
0
answers
83
views
Are invertible measures strictly dense?
Let $L_1(\mathbb T)$ be considered as a closed ideal of $M(\mathbb T)$, the Banach algebra of measures on the circle. Then $M(\mathbb T)$ can be identified with the multiplier algebra of $L_1(\mathbb ...
3
votes
1
answer
621
views
Regarding exponential in a Banach algebra
Let $A$ be a complex unital Banach algebra. Let exp$(A)$ denote the range of the exponential function on $A$. Now exp$(A)$ lies in the set of all invertible elements of $A$ (denoted by $G(A)$). Can ...
4
votes
0
answers
264
views
Is the Gelfand transform strictly continuous?
Let $M$ be the Banach algebra of measures on the circle with $L_1$ naturally sitting as a closed ideal of $M$. Then $M$ carries the strict topology implemented by the family of seminorms $\|\mu\|_f = \...
10
votes
0
answers
845
views
Witt's proof of Gelfand-Mazur / Ostrowski's Theorem
Previously asked on Math Stackexchange without answers.
Background: As sort of a hobby, Ernst Witt gave extremely short proofs for famous theorems. This question is about his six-line proof of the ...
1
vote
0
answers
76
views
norm of operator between matrix algebras equipped with trace norm [duplicate]
Let $M_i$ stands
for the algebra of $d_i\times d_i$ matrices with $\|T\|=d_i
\|T\|_1=d_i (trace{(T^\ast T)}^{\frac{1}{2}})$, and $M_{ij}$
stands for the algebra of $d_i d_j\times d_i d_j$ ...
-3
votes
1
answer
63
views
How to show $\lambda_i \in \sigma_A(x)$?
Let $\sigma_A(x)$ be the spectrum of $x$ in $A$, and linear functional $\phi$ satisfying $\phi(x)\in \sigma_A(x)$ for every $x \in A$, consider $p(\lambda)=\phi((\lambda e-x)^n)$, and denote its roots ...
5
votes
0
answers
330
views
The second dual of $C(X)$ with the compact-open topology
Let $X$ be a compact Hausdorff space. Then $C(X)$ is a Banach algebra with the supremum norm and so is $A=C(X)^{**}$ under either Arens product. Moreover, it is easy to verify that $A\cong C(Z)$ for ...
7
votes
1
answer
429
views
Open projections and Murray-von Neumann equivalence
Let $\mathcal{A}$ be a $C^*$-algebra and $p\in\mathcal{A}^{**}$ be an open projection, that is, $p=p^*=p^2$ and $p\in\overline{(p\mathcal{A}^{**}p\cap\hat{\mathcal{A}})}^{\operatorname{w}^*}$, where $\...
4
votes
1
answer
286
views
A generalization of unsolvable equation $ab-ba=1$ in a Banach algebra
It is well known that the equation $$(*)\;\;\;\;ab-ba=1$$ is unsolvable in a Banach algebra.
I search for some reasonable generalization of this equation in higher variable for investigation ...
0
votes
0
answers
72
views
weakly amenable weighted sequence algebras
Let $v=(v_n)_{n\in\mathbb{N}}$ be a positive weight with $\inf_nv_n>0$ (for convenience we may take $v_n\geqslant1$). Then $\ell_{\infty}(v)$ is a Banach algebra with coordinate-wise multiplication....
1
vote
1
answer
133
views
Does the image of $f$ contain a positive number?
Let $H$ be a Hilbert space and $T$ be a bounded and positive operator on $H$. Define a real function $f$ on positive real numbers by
$$f(r):=\|(r+T)^{-1}\|^{-1}-r\quad(r\in\mathbb R_+).$$
Does the ...
3
votes
1
answer
252
views
Regarding spectral radius
Let $A$ be a $C^*$ algebra. Let $a\in A$ be such that $a^*a-aa^*\geq 0$. Doe this imply that the spectral radius of $a$ is equal to $\|a\|$?
2
votes
1
answer
96
views
A Question about an irreducible ultra-power II,
Let $E$ be an irreducible Banach $A$-module, for a Banach algebra $A$. One can easily show that for an ultra filter $\mathcal U$, $(E)_\mathcal U$ is a Banach $(A)_\mathcal U$-module. Is it possible ...
0
votes
0
answers
70
views
A question about an irreducible ultra-power
Let $A$ be a Banach algebra and $E$ be an irreducible Banach $A$-module. Is there a countably incomplete ultra filter $\mathcal U$ on $\mathbb N$, the set of natural numbers, such that the ultra power ...
14
votes
4
answers
550
views
About the existence of characters on $B(X)$
Let $X$ be a Banach space. Let $B(X)$ be the space of all bounded linear operators on $X$. Does $B(X)$ have an empty character space for any $X$?
I know the proof of the fact that $M_n(\mathbb{C})$ ...
11
votes
2
answers
2k
views
Operator that commutes with projections
We investigate the Hilbert space $\ell^2(\mathbb{N}_0)$ with standard orthonormal basis vectors $e_n:=(0,...,0,1,0,...).$
Consider the family of self-adjoint rank $1$ projections $P_n\bullet:= \...
1
vote
1
answer
136
views
Local branch of logarithm in commutative Banach algebras
Assume That $A$ is a commutative complex Banach algebra. Let $G$ be the connected component of invertible elements containing the identity.
Is there an smooth embedded curve $c:(-\epsilon, \...
4
votes
1
answer
162
views
approximate diagonal
Let $I$ be an arbitary index set, $((A_i)_i,\|.\|_i)_{i\in I}$ be a family of Banach algebras, with approximate diagonal $(m^{i}_α)_α\subseteq A_i\hat\otimes A_i$, and $B=\{(x_i)_i\in {\displaystyle \...
0
votes
1
answer
188
views
Projective tensor product
Let $A$ and $B$ be Banach algebras. Then the map $\phi:(A\widehat\otimes A) \oplus_\infty (B\widehat\otimes B) \to (A\oplus_\infty B)\widehat\otimes(A\oplus_\infty B)$ is a contractive embedding.
Can ...
0
votes
0
answers
298
views
Generalization of the Chinese remainder theorem
Let $A$ be a Banach algebra and $\{I_{\alpha}\}_{\alpha}$ be a collection of closed two-sided pairwise coprime ideals of $A$. Is the Chinese remainder theorem true for $A$ and $\{I_{\alpha}\}_{\alpha}$...
3
votes
1
answer
116
views
About Beurling algebras
Do there exist an amenable Beurling algebra that is neither Arens regular nor strongly Arens irregular? In his memoir "The second duals of Beurling algebras", A. T. Lau proved that there exists a ...
0
votes
1
answer
170
views
About the topological center of a Banach algebra
Let $\mathfrak A$ be a Banach algebra with a bounded approximate identity (BAI), and let $\square$ and $\lozenge$ denote, resp., the first and the second Arens products of $\mathfrak A''$. Consider ...
1
vote
0
answers
128
views
Decomposition of Banach bimodules of Banach algebras
Let $A$ and $B$ be Banach algebras, $\theta:A\rightarrow \mathbb{C}$ be a character (i.e., a multiplicative linear functional) and $A\oplus _{\theta} B$ be the $l^1$-direct sum of $A$ and $B$ equipped ...
7
votes
2
answers
982
views
English translation of Hilbert's work
Does anyone know if there is an English translation of Hilbert's:
"Grundzuge einer allgemeinen Theorie der linearen Integralgleichungen, Teubner, Leipzig, 1912". ??
Thanks,
Andre
4
votes
0
answers
84
views
Can a spectral projection fail to preserve a closed invariant subspace of its parent operator?
Let $X$ be a complex Banach space, and let $T:X\longrightarrow X$ be a bounded linear operator. Let $\sigma_1$ and $\sigma_2$ be disjoint compact subsets of $\mathbb{C}$ for which $\sigma_1\cup \...
6
votes
4
answers
1k
views
Resource recommendation: Spectral theory and $C^*$ algebras
I have formally studied functional analysis, both as university courses, and by myself, but this is one area of mathematics I find so huge and complicated, I have a hard time properly getting into it.
...
5
votes
0
answers
179
views
Representations of the algebra of shift-invariant operators on $\ell^\infty({\mathbb Z})$
$\newcommand{\Z}{\mathbb Z}$
By an operator on $\ell^\infty(\Z)$, I mean a bounded linear map $\ell^\infty(\Z)\to\ell^\infty(\Z)$. (Note that I am not assuming weak-star continuity.) By shift-...
2
votes
2
answers
111
views
points separation and dimensions [closed]
Suppose $\mathcal{A}$ is a sub-algebra of $C([0,1],\mathbb{R})$.
If $\mathcal{A}$ separates points in $[0,1]$, does it follow $\dim\mathcal{A}=\infty$?
5
votes
0
answers
150
views
On the relation between Lipschitz free-spaces
Let $X$ be a pointed metric space, with base point 0. The space of Lipschitz function which preserves the base point,
$Lip_0(X)=\{f:X\to\mathbb{R} : f(0)=0\}$ consider with the norm $\|f(x)\|=\sup_{x\...
4
votes
1
answer
151
views
Biduals of Banach algebras
For a Banach algebra $A$ the bidual $A^{**}$ may be given two natural products called the Arens products. By local reflexivity, there is an ultrafilter $U$ so that $A^{**}$ embeds into the ultrapower $...
8
votes
2
answers
350
views
Non-density of invertible elements in $\ell_1(\mathbb{N}_0)$
Consider the Banach algebra $\ell_1(\mathbb{N}_0)$ (with convolution / Cauchy product of series). I am looking for an elementary proof of the fact that the group of invertible elements in this algebra ...
2
votes
1
answer
155
views
Do we require $A$ and $B$ to be semi-simple?
I previously asked the following question of MathOverflow: Showing that $\phi$ is a Jordan morphism
in which I was asking assistance with proving the following statement made in the introduction ...
8
votes
1
answer
314
views
What algebras are quotients of $\ell_1(\mathbf{N})$?
Every separable Banach space is a linear quotient of $\ell_1$, however not every separable Banach algebra is a Banach-algebra quotient of $\ell_1(G)$ for some group $G$ (these are the so called ...