the notion of $f$-derivations of up-algebras is introduced, some useful examples are discussed, and related properties are investigated. moreover, we show that the fixed set and the kernel of $f$-derivations are up-subalgebras of up-algebras,and also give examples to show that the two sets are not up-ideals of up-algebras in general.

let  and  be banach algebras, ,  and . we define an -product on  which is a strongly splitting extension of  by . we show that these products form a large class of banach algebras which contains all module extensions and triangular banach algebras. then we consider spectrum, arens regularity, amenability and weak amenability of these products.

we study the notion of bounded approximate connes-amenability for‎ ‎dual banach algebras and characterize this type of algebras in terms‎ ‎of approximate diagonals‎. ‎we show that bounded approximate‎ ‎connes-amenability of dual banach algebras forces them to be unital‎. ‎for a separable dual banach algebra‎, ‎we prove that bounded‎ ‎approximate connes-amenability implies sequential approximate...

Summary Previous Mizar articles [7, 6, 5] formalized the implicit and inverse function theorems for Frechet continuously differentiable maps on Banach spaces. In this paper, using system [1], [2], we formalize these Euclidean spaces by specializing them. We referred to [4], [12], [10], [11] in formalization.

In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...

in this paper, simultaneous control of source terms is considered in a vibrational string problem.in the considered problem, the terms to be controlled are the force and the initial velocity functions. we statethe generalized (weak) solution about the considered problem. the existence and uniqueness of the solutionfor optimal control problem is investigated. the frechet derivative of the functi...