Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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. ...
user102248's user avatar
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$. ...
user860374's user avatar
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 \...
Ali Taghavi's user avatar
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 ...
Ali Taghavi's user avatar
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 ...
Sergei Akbarov's user avatar
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)=\...
Sergei Akbarov's user avatar
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 ...
Jochen Glueck's user avatar
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 ...
Masayoshi Kaneda's user avatar
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 ...
Fermat's user avatar
  • 167
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 $\...
Maciej Ciechowski's user avatar
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 ...
Lviv Scottish Book's user avatar
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 ...
Norbert's user avatar
  • 1,697
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*?
B.Gillan's user avatar
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., ...
Fedor Goncharov's user avatar
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? ...
Jochen Glueck's user avatar
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< \...
user31459's user avatar
  • 175
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 ...
user580433's user avatar
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 ...
Jan_Ch.'s user avatar
  • 113
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 ...
user580433's user avatar
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 = \...
Jan_Ch.'s user avatar
  • 113
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 ...
Torsten Schoeneberg's user avatar
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$ ...
reza's user avatar
  • 13
-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 ...
nanshan's user avatar
  • 33
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 ...
user124775's user avatar
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 $\...
Masayoshi Kaneda's user avatar
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 ...
Ali Taghavi's user avatar
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....
Krzysztof's user avatar
  • 375
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 ...
MSMalekan's user avatar
  • 2,118
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\|$?
user31459's user avatar
  • 175
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 ...
MSMalekan's user avatar
  • 2,118
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 ...
MSMalekan's user avatar
  • 2,118
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})$ ...
User93709's user avatar
  • 355
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:= \...
Sascha's user avatar
  • 536
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, \...
Ali Taghavi's user avatar
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 \...
R.N's user avatar
  • 209
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 ...
Albert harold's user avatar
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}$...
Albert harold's user avatar
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 ...
MSMalekan's user avatar
  • 2,118
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 ...
MSMalekan's user avatar
  • 2,118
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 ...
Fermat's user avatar
  • 167
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
Andre's user avatar
  • 111
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 \...
DCM's user avatar
  • 778
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. ...
Bence Racskó's user avatar
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-...
Yemon Choi's user avatar
  • 25.8k
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$?
Lewi_Sol's user avatar
  • 309
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\...
Edgaragar's user avatar
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 $...
user512365's user avatar
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 ...
Tomasz Kania's user avatar
  • 11.3k
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 ...
user860374's user avatar
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 ...
user512365's user avatar