اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدNice connecting paths in connected components of sets of algebraic elements in a Banach algebra
61
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Generalizing earlier results about the set of idempotents in a Banach algebra, or of self-adjoint idempotents in a $C^*$-algebra, we announce constructions of nice connecting paths in the connected components of the set of elements in a Banach algebra, or of self-adjoint elements in a $C^*$-algebra, that satisfy a given polynomial equation, without multiple roots. In particular, we will prove that in the Banach algebra case every such non-central element lies on a complex line, all of whose points satisfy the given equation. We also formulate open questions.
قيم البحث
اقرأ أيضاً
We generalize earlier results about connected components of idempotents in Banach algebras, due to B. SzH{o}kefalvi Nagy, Y. Kato, S. Maeda, Z. V. Kovarik, J. Zemanek, J. Esterle. Let $A$ be a unital complex Banach algebra, and $p(lambda) = prodlimit
s_{i = 1}^n (lambda - lambda_i)$ a polynomial over $Bbb C$, with all roots distinct. Let $E_p(A) := {a in A mid p(a) = 0}$. Then all connected components of $E_p(A)$ are pathwise connected (locally pathwise connected) via each of the following three types of paths: 1)~similarity via a finite product of exponential functions (via an exponential function); 2)~a polynomial path (a cubic polynomial path); 3)~a polygonal path (a polygonal path consisting of $n$ segments). If $A$ is a $C^*$-algebra, $lambda_i in Bbb R$, let $S_p(A):= {ain A mid a = a^*$, $p(a) = 0}$. Then all connected components of $S_p(A)$ are pathwise connected (locally pathwise connected), via a path of the form $e^{-ic_mt}dots e^{-ic_1t} ae^{ic_1t}dots e^{ic_mt}$, where $c_i = c_i^*$, and $t in [0, 1]$ (of the form $e^{-ict} ae^{ict}$, where $c = c^*$, and $t in [0,1]$). For (self-adjoint) idempotents we have by these old papers that the distance of different connected components of them is at least~$1$. For $E_p(A)$, $S_p(A)$ we pose the problem if the distance of different connected components is at least $min bigl{|lambda_i - lambda_j| mid 1 leq i,j leq n, i eq jbigr}$. For the case of $S_p(A)$, we give a positive lower bound for these distances, that depends on $lambda_1, dots, lambda_n$. We show that several local and global lifting theorems for analytic families of idempotents, along analytic families of surjective Banach algebra homomorphisms, from our recent paper with B. Aupetit and M. Mbekhta, have analogues for elements of $E_p(A)$ and $S_p(A)$.
The use of the properties of actions on an algebra to enrich the study of the algebra is well-trodden and still fashionable. Here, the notion and study of endomorphic elements of (Banach) algebras are introduced. This study is initiated, in the hope
that it will open up, further, the structure of (Banach) algebras in general, enrich the study of endomorphisms and provide examples. In particular, here, we use it to classify algebras for the convenience of our study. We also present results on the structure of some classes of endomorphic elements and bring out the contrast with idempotents.
Let $X$ be an infinite dimensional uniformly smooth Banach space. We prove that $X$ contains an infinite equilateral set. That is, there exists a constant $lambda>0$ and an infinite sequence $(x_i)_{i=1}^inftysubset X$ such that $|x_i-x_j|=lambda$ for all $i eq j$.
Let $A$ be a real commutative Banach algebra with unity. Let $a_0in Asetminus{0}$. Let $mathbb Z a_0:={na_0}_{nin mathbb Z}$. Then, $mathbb Z a_0$ is a discrete subgroup of $A$. For any $nin mathbb Z$, the Frechet derivative of the mapping $$x , in ,
A mapsto x+na_0 , in , A$$ is the identity map on $A$ and, especially, an $A$-linear transformation on $A$. So, the quotient group $A/(mathbb Z a_0)$ is a $1$-dimensional $A$-manifold and the covering projection $$x , in , A mapsto x+mathbb Z a_0 , in , A/(mathbb Z a_0)$$ is an $A$-map. We call $A/(mathbb Z a_0)$ the $1$-dimensional $A$-cylinder by $a_0$. Let $T$ be a compact Hausdorff space. Suppose that there exist $t_1in T$ and $t_2in T$ such that $t_1 ot=t_2$ holds. Then, the set $C(T;mathbb R)$ of all real-valued continuous functions on $T$ is a real commutative Banach algebra with unity and $mathbb R , subsetneq , C(T;mathbb R)$ holds. In this paper, we show that there exists $a_0 , in , C(T;mathbb R)setminus mathbb R$ such that for any $k, in , mathbb N$, the $1$-dimensional $C(T;mathbb R)$-cylinder $(C(T;mathbb R))/(mathbb Z a_0)$ by $a_0$ cannot be embedded in the finite direct product space $(C(T;mathbb R))^k$ as a $C(T;mathbb R)$-submanifold.
In this short note, we first consider some inequalities for comparison of some algebraic properties of two continuous algebra-multiplications on an arbitrary Banach space and then, as an application, we consider some very basic observations on the sp
ace of all continuous algebra-multiplications on a Banach space.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
