2
votes
1answer
20 views

Natural *-isomorphism

Show that if $X,Y$ are locally compact spaces, then there is a natural *-isomorphism from $C_0(X,C_0(Y))$ onto $C_0(X\times Y)$. My attempt: I define $\phi:C_0(X,C_0(Y))\to C_0(X\times Y)$ such that ...
2
votes
1answer
26 views

Positive linear functional on an involutive Banach algebra

Why is every positive linear functional on an involutive Banach algebra with a bounded approximate continuous?
1
vote
0answers
25 views

There is no continuous function h on unit circle such that u=exp ih when spectrum u is entire unit circle

Let $\Gamma$ be the unit circle. Let u be the unitary element in $C(\Gamma)$ defined by $u(\lambda)=\lambda$. Show that there is no continuous function h on unite circle such that u=exp ih. ...
2
votes
0answers
22 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 ...
0
votes
0answers
11 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 ...
3
votes
1answer
39 views

Spectral radius of a normal element in a Banach algebra

I know that if $A$ is a C*-algebra, then $||x||=||x||_{sp}$ for every normal element $x\in A$. I like to find an example of a normal element $x$ in a involutive Banach algebra with $||x||\neq ...
1
vote
1answer
44 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 ...
3
votes
3answers
88 views

Spectral radius of an element in a C*-algebra

The following is an proposition of Takesaki's Operator Theory: For any element $x$ of a Banach algebra ${\cal A}$, we have $$||x||_{sp}=\lim_{n\to \infty}||x^n||^{\frac{1}{n}}$$ Proof: My ...
1
vote
1answer
23 views

Norm of a character in a non-unital Banach algebra

Let $\cal A$ be an abelian non-unital Banach algebra and $h:{\cal A}\to {\Bbb C}$ be a homomorphism. If ${\cal A}$ has an approximate identity $\{e_i\}$ such that $||e_i||\leq 1$ for all i, then ...
0
votes
1answer
23 views

When Heine - Borel theorem holds

If $\cal A$ is an abelian Banach algebra, then its maximal ideal space $\Omega$ is a compact Hausdorff space. In the proof of this theorem, the author says, since $\Omega \subset ball \cal A^*$, it ...
0
votes
0answers
40 views

Every homomorphism on a C*-algebra is a *-homomorphism

The following is a proposition of Conway's Functional analysis: and also he uses below exercise to proof above proposition: But I do not know how he uses the Exercise and say $||h||=1$. Please ...
2
votes
1answer
32 views

Example of a proper, dense ideal in a unital Banach algebra

I know that if ${\cal A}$ is a non- unital Banach algebra, then ${\cal A}$ may contain some proper, dense ideals. I need an example of a proper, dense ideal in a unital Banach algebra or show that it ...
2
votes
0answers
49 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 ...
0
votes
2answers
57 views

Space of Functions: 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 ...
3
votes
0answers
57 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 ...
1
vote
1answer
30 views

Show that P is an L-projection iff $P^{*}$ is an M-projection

I have started reading "M-ideals in Banach spaces and Banach algebras", but I stuck on the first page. It says that "there is an obvious duality between L- and M- projections: P is an L-projection ...
3
votes
1answer
89 views

How to prove $F$ is a contraction mapping?

Given a $n\times n$ matrix $\mathbf{D}$ in which each entry $\mathbf{D}_{ij} \in [0,1]$. Let $i$-th row vector of $\mathbf{D}$ denote by $\mathbf{D}_{i\ast}$. The mapping $F:[0,1]^n \mapsto [0,1]^n$, ...
1
vote
1answer
28 views

Projections in Tensor Product

Let $X$ and $Y$ be Banach spaces (algebras). If $X\otimes^\pi Y$ denotes the projective tensor product of $X$and $Y$, define $P:X\otimes^\pi Y\rightarrow X$ as follows : for $x\otimes y\in X\otimes ...
1
vote
1answer
29 views

Inequality norms

Let $A$ be a bounded linear operator on a Banach space $X$. Can we show that for an arbitrary $n \in \mathbb{N}$ and $x \in X$ such that $\|x\|_X \geq 1$ we have that $$\|A^n x \| \leq \|Ax\|^n.$$ ...
1
vote
1answer
23 views

Convergence of the sequence of operators on a Banach space.

Let $T$ be a bounded linear operator on a Banach space $E$, and let $(T_n)$ be a sequence of bounded linear operators on $E$ such that $$\| (T - T_n)x \| \to 0 \ \ \text{ as } n \to \infty$$ for all ...
0
votes
1answer
66 views

Is it true that $0<0$ is a part of the proof for a unique fixed point of a contraction map?

I think it isn't, but my friend told me that this statement is true, he said that $0<0$ is even part of the proof for a unique fixed point of a contraction map. I google it but I couldn't find ...
2
votes
1answer
28 views

Approximating a mean on $L^{\infty}(G)$ by a norm $1$ non-negative $f\in L^{1}(G)$

Let $G$ be a locally compact group. A mean $M$ on $L^{\infty}(G)$ is a continuous linear functional on $L^{\infty}(G)$ such that $1 = \langle 1 , M\rangle = \|M\|$. My Exercise: Show that the set ...
0
votes
1answer
53 views

Spectrum and characters: could anyone please check my proof

I tried to prove the following: Let $A$ be a commutative non-unital complex Banach algebra and $\chi : A \to \mathbb C$ a character. Then $$ \sigma (a) = \{\chi (a) : \chi \in \Omega (A) \} ...
1
vote
1answer
45 views

The space of all bounded sequences over a Banach Algebra.

If $A$ is a commutative Banach algebra, can we identify $l^\infty(A)$ as the dual of $ l_1\hat\otimes A$ (the projective tensor product of $l_1$ with $A$? Also, what do we know about the quotient ...
0
votes
1answer
24 views

SOT Convergence and Compact Convergence

Let $E$ be a Banach space, and let $A(E)$ denote the closure of the finite rank opertors on $E$. Let $(S_\alpha)$ be a bounded net of operators on $E$ such that $S_\alpha T\to T$ for all $T\in A(E)$. ...
0
votes
0answers
58 views

Centralizers and containment of $c_0$

Let $X$ be a Banach space over $\mathbb{R}$ or $\mathbb{C}$. By a multiplier on $X$ we mean a bounded linear operator $T$ on $X$ such that every extreme point of $B_{X^*}$ becomes an eigenvector for ...
0
votes
0answers
34 views

Spectral Radius given by Neumann Series

Good afternoon everybody. So far it is clear that outside the spectral "disk" the resolvent is given by the Neumann Series. But why does it tell us that there is a point on the spectral "circle" where ...
1
vote
0answers
39 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
votes
1answer
53 views

what is a “Banach algebra” without the norm condition on a continuous multiplication?

I wish to use the following finite-dimensional Banach spaces. although they do not need to be Banach algebras for my proposed application, a mild curiosity is aroused, because the multiplication ...
2
votes
1answer
92 views

Ideals and exactness of projective tensor product of Banach spaces / algebras

Thanks for suggesting this question: Image of the tensor product of strict maps of Banach spaces I read the reference and realize that for a short exact sequence of Banach algebra: $0 \to J \to A \to ...
2
votes
1answer
66 views

Uniform boundedness

I was thinking about the following problem: Let $(A_t)_{t \geq 0}$ be a family of bounded operators on a Banach space $X$ which is uniformly bounded and let $(B_{t,\alpha})$ be a net in the Banach ...
0
votes
1answer
51 views

Matrix-valued function

I have a problem about matrix-valued function. Given a function $f:\mathbb{R}^k \rightarrow {\cal M}_{k \times k}$ of class $C^1$, where ${\cal M}_{k \times k}$ is the set of all $k \times k$ ...
0
votes
1answer
73 views

Density of linear span of idempotents in $L^{\infty}$

How do I show that the linear span of idempotents is dense in $L^{\infty}(\Omega,\mu)$ where $(\Omega,\mu)$ is a measure space? I don't really have any idea how to do this. Does it involve ...
3
votes
1answer
74 views

$L(\ell_{p})$ contains only one proper closed ideal

I am trying to solve the following problem: Show that if $1<p<\infty$ and $T:\ell_{p}\rightarrow\ell_{p}$ is not compact then there is a complemented infinite dimensional subspace $E$ of ...
1
vote
0answers
77 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 ...
8
votes
1answer
303 views

Understanding topological divisor of zero

I am reading this paper also here where in the Theorem 2.1 term topological divisor of zero has been used. I have gone through wiki articles where it has been mentioned that An element $z$ of a ...
4
votes
1answer
158 views

A problem on bounded invertible linear operator in Banach space

Let $X$ be a Banach space. Let $T : X \to X$ be a invertible linear operator and $M > 0$ be such that $\|T^{-k}\| \le M$ for all $k \ge 1$. Prove that $\inf_ {n\ge1} \|T^n(x)\| > 0$ for all $x ...
0
votes
2answers
177 views

Turning Banach space into Banach algebra

Given a Banach space, how can we determine if we can turn it into a Banach algebra or not?
1
vote
1answer
299 views

The maximal ideal space of a Banach algebra

Let $G = \mathbb Z^n$, the fi nite cyclic group of order $n$, and let $A = l ^1(G)$, a Banach algebra over $\mathbb C$ when the product is convolution, de fined for $f, g \in A$ by $f * g(x) =\sum ...
4
votes
2answers
98 views

$(\lambda-a)^{-1}$ as limits of 'polynomials'

For a unital $C^*$-algebra $\mathcal{A}$ the spectral permanence gives \begin{equation} \sigma_{\mathcal{B}}(a)=\sigma_{\mathcal{A}}(a) \end{equation} for any unital $C^*$-subalgebra $\mathcal{B}$. ...
4
votes
1answer
194 views

$\sigma(x)$ has no hole in the algebra of polynomials

Let $A$ be a unital banach algebra generated by two elements $1$ and $x$. Then it seems $\sigma(x)$ cannot have holes. At least this is true in the case for disk algebras. This amounts to prove that ...
1
vote
2answers
221 views

$Conv(Ex((C(X))_1))$ is dense in $(C(X))_1$?

Let $X$ be compact Hausdorff, and $C(X)$ the space of continuous functions over $X$. Denote the closed unit ball in $C(X)$ by $(C(X))_1$, then it can be shown $f$ is an extreme point of $(C(X))_1$ if ...
4
votes
1answer
72 views

Functional Interpretation of Variety?

I am simultaneously taking courses in functional analysis and commutative algebra. In doing so, I found that there is, at least heuristically, some similarity between the notion of an algebraic ...
3
votes
0answers
104 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 ...
5
votes
1answer
157 views

Universal separable Banach algebras

The well-known Banach-Mazur theorem says that $C([0, 1])$ is a universal separable Banach space, in the sense that if $X$ is any separable Banach space then there is a map $f : X \to C([0, 1])$ which ...
4
votes
1answer
190 views

Criterion for a limit of invertible operators on a Banach space to be invertible

Let $A_n$ linear operators in a Banach space $B$ that have inverses. $||A_n-A|| \to 0$ for some operator $A$. I need to prove that $A$ has an inverse operator iff the sequence $\{||A_n^{-1}||\}$ is ...
10
votes
1answer
455 views

Liouville's theorem for Banach spaces without the Hahn-Banach theorem?

Let $B$ be a (complex) Banach space. A function $f : \mathbb{C} \to B$ is holomorphic if $\lim_{w \to z} \frac{f(w) - f(z)}{w - z}$ exists for all $z$, just as in the ordinary case where $B = ...
1
vote
0answers
66 views

When is the orbit of a vector a minimal sequence? When does an operator have a minimal orbit vector?

Let $X$ be a banach space. We say a sequence $(x_n)$ is minimal if for each $k$, $x_k\notin [x_n]_{n\neq k}$, where $[x,y,z,\cdots]$ is the closed linear span of the vectors. For ...
3
votes
1answer
74 views

How to Prove ($\mathbb{C}\langle x, y \rangle$, $\|\cdot\|$) is a Banach Space

Let $\mathbb{C}\langle x,y\rangle$ be the group ring of the complex numbers over the free group in $x,y$. Let $len : \langle x,y \rangle \rightarrow \mathbb{N}$ denote the standard word norm and let ...
4
votes
1answer
144 views

A subset of $\bar{S}\backslash S$ contains an open ball in $\bar{S}$? (operator theory)

E and S are subsets of a metric space. $E$ is a subset of $\bar{S}\backslash S$. Then $\overline{E}\subset(\overline{S}\backslash S^{o})$, but I wonder whether there is some condition that guarantees ...