arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2006.11134

On affirmative solution to Michael's acclaimed problem in the theory of Fr\'{e}chet algebras, with applications to automatic continuity theory

S. R. Patel
View original source ↗Read source document ↗Export metadata ↓

Abstract

In 1952, Michael posed a question about the functional continuity of commutative Frechet algebras in his memoir, known as Michael problem in the literature. We settle this in the affirmative along with its various equivalent forms, even for the non-commutative case. Indeed, we continue our recent works, and develop two approaches to directly attack these problems. The first approach is to show that the test case for this problem, the Frechet algebra of all entire functions on the Banach space of all bounded complex sequences, is, in fact, a Frechet algebra of all complex formal power series in one indeterminate, if there exists a discontinuous character. In the second approach, the existence of a discontinuous character would allow us to generate other Frechet algebra topology, inequivalent to the usual Frechet algebra topology, by applying the method of Read (he used this method to show that the famous Singer-Wermer conjecture (1955) fails in the Frechet case). In both the approaches, an important tool is a topological version of the (symmetric) tensor algebra over a Banach space; the elementary, but crucial, idea is to express the test algebra as a weighted Frechet symmetric algebra over the Banach space of all absolutely summable complex sequences. Several mathematicians have worked on two problems of Michael since 1952, giving affirmative solutions for special classes of Frechet algebras under various conditions, or discussing various test cases, or discussing various approaches, or discussing various other equivalent forms, or deriving other important automatic continuity results such as the (non-)uniqueness of the Frechet algebra topology for certain commutative Frechet algebras by alternate, difficult or lengthy methods. We summarize effects of our affirmative solutions on these attempts in addition to giving various new (important) applications in automatic continuity theory.

Explore related subjects

math.FA

Keep this discovery

BibTeXRIS

S. R. Patel. 2020-06-19. On affirmative solution to Michael's acclaimed problem in the theory of Fr\'{e}chet algebras, with applications to automatic continuity theory. https://arxiv.org/abs/2006.11134

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Typical dynamical properties of operators on $\ell_p$

We investigate the typical dynamical properties of hypercyclic operators in $\mathcal{L}_M(X)$, the set of all bounded linear operators on $X$ whose norms are at most $M$, when $X=\ell_p$, $1< p<\infty$. We show that, with respect to SOT$^*$, a typical operator $T\in \mathcal{L}_M(X)$ is weakly mixing, is weakly disjoint from a given hypercyclic operator $S$, is not topologically ergodic, and satisfies $(T,T^2,\dotsc,T^k)$ is disjoint hypercyclic for any $k\geq 2$. We also study the typical dynamical properties for the concrete family $\mathcal{M}=\{I+B_w\in \mathcal{L}(X)\colon w\in c_0(\mathbb{Z})\}$, endowed with the norm topology, where $B_w$ is a bilateral weighted backward shift.

math.FA↗
arXiv2026

A bi-Lipschitz characterization of strong minimum-attainment for Lipschitz maps

We completely characterize the denseness of strongly minimum-attaining Lipschitz functions, a minimum analogue for strongly norm-attaining Lipschitz functions, in terms of bi-Lipschitz embeddings. More precisely, our main result shows that the set of strongly minimum-attaining Lipschitz functions defined on a complete metric space $M$ fails the denseness if and only if $M$ is bi-Lipschitz equivalent to a subset of $\mathbb{R}$ with positive Lebesgue measure, or equivalently, if $M$ admits a bi-Lipschitz embedding into $\mathbb{R}$ and $M$ has positive 1-dimensional Hausdorff measure. As a consequence, we provide an isometric characterization of the pure 1-unrectifiability of $M$ in terms of strongly minimum-attaining Lipschitz maps defined on bi-Lipschitz copies of closed subsets of $M$. Several counterexamples showing that the main result cannot be naturally extended to the vector-valued setting are also presented.

math.FA↗
arXiv2026

On weak dominance of t-conorms over t-norms

The weak dominance of aggregation operators, particularly between triangular norms (t-norms) and triangular conorms (t-conorms), has attracted considerable attention in aggregation operator theory. While several characterizations have been obtained for Archimedean and continuous cases, a general criterion for continuous t-conorms over continuous t-norms remains to be fully clarified. In this paper, we provide a complete characterization of a continuous t-conorm weakly dominating a continuous t-norm. We first reduce the problem for ordinal sum operators to that for their single Archimedean components, and then express the weak dominance condition entirely in terms of the additive generators of these components. Our approach covers both strict and nilpotent cases uniformly, and recovers the known results for Archimedean operators as a special case.

math.FA↗