We first study some properties‎ ‎of $A$-module homomorphisms $theta:Xrightarrow Y$‎, ‎where $X$‎ ‎and $Y$ are Fréchet $A$-modules and $A$ is a unital‎ ‎Fréchet algebra‎. ‎Then we show that if there exists a‎ ‎continued bisection of the identity for $A$‎, ‎then $theta$ is‎ ‎automatically continuous under certain condition on $X$‎. ‎In‎ ‎particular‎, ‎every homomorphism from $A$ into certain‎ ‎Fr...

A unital Fréchet algebra A is called contractible if there exists an element d ∈ A⊗̂A such that πA(d) = 1 and ad = da for all a ∈ A where πA : A⊗̂A → A is the canonical Fréchet A-bimodule morphism. We give a sufficient condition for an infinite-dimensional contractible Fréchet algebra A to be a direct sum of a finite-dimensional semisimple algebra M and a contractible Fréchet algebra N without an...

We consider Fréchet algebras which are subalgebras of the algebra F = C [[X]] of formal power series in one variable and of Fn = C [[X1, . . . , Xn]] of formal power series in n variables where n ∈ N. In each case, these algebras are taken with the topology of coordinatewise convergence. We begin with some basic definitions about Fréchet algebras, (F )-algebras, and other topological algebras, ...

We present the analytic foundation of a unified B-D-F extension functor Extr on the category of noncommutative smooth algebras, for any Fréchet operator ideal ^ . Combining the techniques devised by Arveson and Voiculescu, we generalize Voiculescu's theorem to smooth algebras and Fréchet operator ideals. A key notion involved is r-smoothness, which is verified for the algebras of smooth functio...

Smooth K-functors are introduced and the smooth K-theory of locally convex algebras is developed. It is proved that the algebraic and smooth K-functors are isomorphic on the category of quasi ⊗̂-stable real (or complex) Fréchet algebras.

In this paper we show that any Fréchet holomorphic function mapping the open unit ball of one normed linear space into the closed unit ball of another must be a linear mapping if the Fréchet derivative of the function at zero is a surjective isometry. From this fact we deduce a Banach-Stone theorem for operator algebras which generalizes that of R. V. Kadison.

A scalar valued set function on a Cartesian product of σ-algebras is a Fréchet measure if it is a scalar measure independently in each coordinate. A basic question is considered: is it possible to construct products of Fréchet measures that are analogous to product measures in the classical theory? A Fréchet measure is said to be projectively bounded if it satisfies a Grothendieck type inequali...

We consider complexes (X , d) of nuclear Fréchet spaces and continuous boundary maps dn with closed ranges and prove that, up to topological isomorphism, (Hn(X , d)) ∗ ∼= H(X ∗, d∗), where (Hn(X , d)) ∗ is the strong dual space of the homology group of (X , d) and H(X ∗, d∗) is the cohomology group of the strong dual complex (X ∗, d∗). We use this result to establish the existence of topologica...