Jordan triple derivations on J-subspace lattice algebras

Let L be a J-subspace lattice on a Banach space X and Alg L the associated J-subspace lattice algebra. Let A be a standard operator subalgebra (i.e., it contains all finite rank operators in AlgL) of AlgL and M■B(X) the Alg L-bimodule. It is shown that every linear Jordan triple derivation from A into M is a derivation, and that every generalized Jordan (triple) derivation from A into M is a generalized derivation.     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

Diameter and diametrical pairs of points in ultrametric spaces

Let F(X) be the set of finite nonempty subsets of a set X. We have found the necessary and sufficient conditions under which for a given function τ: F(X) → ℝ there is an ultrametric on X such that τ(A) = diamA for every A ∈ F(X). For finite nondegenerate ultrametric spaces (X, d) it is shown that X together with the subset of diametrical pairs of points of X forms a complete k-partite graph, k ⩾ 2, and, conversely, every finite complete k-partite graph with k ⩾ 2 can be obtained by this way. We use this result to characterize the finite ultrametric spaces (X, d) having the minimal card{(x, y): d(x, y) = diamX, x, y ∈ X} for given card X.     

The nonlinear version of Pazy’s local existence theorem

LetX be a real Banach space,U ⊂X a given open set,A ⊂X×X am-dissipative set andF:C(0,a;U) →L ^∞(0,a;X) a continuous mapping. Assume thatA generates a nonlinear semigroup of contractionsS(t): {ie221-2}) → {ie221-3}), strongly continuous at the origin, withS(t) compact for allt>0. Then, for eachu ₀ ∈ {ie221-4}) ∩U there existsT ∈ ]0,a] such that the following initial value problem: (du(t))/(dt) ∈Au(t) +F(u)(t),u(0)=u ₀, has at least one integral solution on [0,T]. Some extensions and applications are also included.     

Approximation of the effective conductivity of ergodic media by periodization

 This paper is concerned with the approximation of the effective conductivity σ(A, μ) associated to an elliptic operator ∇ _xA (x,η)∇ _x where for xℝ ^d , d≥1, A(x,η) is a bounded elliptic random symmetric d×d matrix and η takes value in an ergodic probability space (X, μ). Writing A ^N (x, η) the periodization of A(x, η) on the torus T ^d _N of dimension d and side N we prove that for μ-almost all η

On derivations of algebras with involution

Summary Let X be a complex Hilbert space, let L(X) be the algebra of all bounded linear operators on X, and let A(X) ⊂ L(X) be a standard operator algebra, which is closed under the adjoint operation. Suppose there exists a linear mapping D: A(X) → L(X) satisfying the relation D(AA*A) = D(A) A*A + AD(A*)A + AA*D(A), for all A ∈ A(X). In this case D is of the form D(A) = AB-BA, for all A∈ A(X) and some B ∈ L(X), which means that D is a derivation. We apply this result to semisimple H*-algebras.     

On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone

A Borel derivative on the hyperspace 2 ^X of a compactumX is a Borel monotone mapD: 2 ^X →2 ^X . The derivative determines a Cantor-Bendixson type rank δ:2^X → ω₁ ∪ {∞} . We show that ifA⊂2 ^X is analytic andZ⊂A intersects stationary many layers δ₋₁({ξ}), then for almost all σ,F∩δ₋₁({ξ}) cannot be separated fromZ ∩∪ _a<ξ ^δ−1({a}) (and also fromZ ∩∪ _a>ξ ^δ−1({a}) by anyF _σ-set. Another main result involves a natural partial order on 2 ^X related to the derivative. The results are obtained in a general framework of “resolvable ranks” introduced in the paper. During our work on this paper the second author was a Visiting Professor at the Miami University, Ohio. This author would like to express his gratitude to the Department of Mathematics and Statistics for the hospitality.     

Multivalued perturbations ofm-accretive differential inclusions

Given anm-accretive operatorA in a Banach spaceX and an upper semicontinuous multivalued mapF: [0,a]×X→2 ^X , we consider the initial value problemu′∈−Au+F(t,u) on [0,a],u(0)=x ₀. We concentrate on the case when the semigroup generated by—A is only equicontinuous and obtain existence of integral solutions if, in particular,X* is uniformly convex andF satisfies β(F(t,B))≤k(t)β(B) for all boundedB⊂X wherek∈L ¹([0,a]) and β denotes the Hausdorff-measure of noncompactness. Moreover, we show that the set of all solutions is a compactR _δ-set in this situation. In general, the extra condition onX* is essential as we show by an example in whichX is not uniformly smooth and the set of all solutions is not compact, but it can be omited ifA is single-valued and continuous or—A generates aC _o-semigroup of bounded linear operators. In the simpler case when—A generates a compact semigroup, we give a short proof of existence of solutions, again ifX* is uniformly (or strictly) convex. In this situation we also provide a counter-example in ℝ⁴ in which no integral solution exists. The author gratefully acknowledges financial support by DAAD within the scope of the French-German project PROCOPE.     

Simple C*-Algebras with Unique Tracial States and Quantized Topological Spaces

Let X be a connected finite CW complex and d _X : K ₀(C(X)) →ℤ be the dimension function. We show that, if A is a unital separable simple nuclear C*-algebra of TR(A) = 0 with the unique tracial state and satisfying the UCT such that K ₀(A) = ℚ⊕ kerd _x and K ₁(A) = K ₁(C(X)), then A is isomorphic to an inductive limit of M _{n !}(C(X)). Received April 19, 2001, Accepted April 27, 2001.     

Order of a function on the Bruschlinsky group of a two-dimensional polyhedron

Homotopy classes of mappings of a compact polyhedron X to the circle T form an Abelian group B(X), which is called the Bruschlinsky group and is cananically isomorphic to H ¹ (X; ℤ), Let L be an Abelian group, and let f: B(X) → L be a function. One says that the order of f does not exceed r if for each mapping a: X → T the value f([a]) is ℤ-linearly expressed via the characteristic function I _r (a): (X × T) ^r → ℤ of (Γ _a ) ^r , where Γ _a ⊂ X × T is the graph of a. The (algebraic) degree of f is not greater than r if the finite differences of f of order r + 1 vanish. Conjecturally, the order of f is equal to the algebraic degree of f. The conjecture is proved in the case where dim X ≤ 2. Bibliography: 1 title.     

On the Derivations of Semiprime Rings and Noncommutative Banach Algebras

Abstract Let A be a noncommutative Banach algebra. Suppose there exists a continuous linear Jordan derivation D : A→A such that [D(x), x]D(x)[D(x),x] ∈ rad(A) for all x∈A. In this case, D(A) ⊆ rad (A). The author has been supported by Kangnung National University, Research Fund, 1998     

Calcul Fonctionnel Holomorphe Global Unicité et Invariance Par Les Homomorphismes D’algebres de Banach

LetA be a commutative Banach algebra with unit. Denote byX _A, the global spectrum ofA. There is a holomorphic functional calculusθ _A:O(X _A)→A such thatθ _A(a)=a. In this paper, we show the uniqueness of the global holomorphic functional calculus and we establish its compatibility with Banach algebra morphisms. We also extend this holomorphic functional calculus to the case ofImc algebras.      

Markov Jump Processes Approximating a Non-Symmetric Generalized Diffusion

Consider a non-symmetric generalized diffusion X(⋅) in ℝ ^d determined by the differential operator $A(\mbox{\boldmath{$A(\mbox{\boldmath{. In this paper the diffusion process is approximated by Markov jump processes X _n (⋅), in homogeneous and isotropic grids G _n ⊂ℝ ^d , which converge in distribution in the Skorokhod space D([0,∞),ℝ ^d ) to the diffusion X(⋅). The generators of X _n (⋅) are constructed explicitly. Due to the homogeneity and isotropy of grids, the proposed method for d≥3 can be applied to processes for which the diffusion tensor $\{a_{ij}(\mbox{\boldmath{$\{a_{ij}(\mbox{\boldmath{ fulfills an additional condition. The proposed construction offers a simple method for simulation of sample paths of non-symmetric generalized diffusion. Simulations are carried out in terms of jump processes X _n (⋅). For piece-wise constant functions a _ij on ℝ ^d and piece-wise continuous functions a _ij on ℝ² the construction and principal algorithm are described enabling an easy implementation into a computer code.     

Homotopy invariants of mappings to the circle

Homotopy classes of mappings of a space X to the circle T form an Abelian group B(X) (the Bruschlinsky group). If a: X → T is a continuous mapping, then [a] denotes the homotopy class of a, and I _r (a): (X × T) _r → \mathbbZ \mathbb{Z} is the indicator function of the rth Cartesian power of the graph of a. Let C be an Abelian group and let f: B(X) → C be a mapping. By definition, f has order not greater than r if the correspondence I _r (a) → f([a]) extends to a (partly defined) homomorphism from the Abelian group of Z-valued functions on (X × T) ^r to C. It is proved that the order of f equals the algebraic degree of f. (A mapping between Abelian groups has degree at most r if all of its finite differences of order r +1 vanish.) Bibliography: 2 titles.     

On Maps Preserving Zero Jordan Products

Let R be a ring, A = M _n (R) and θ: A → A a surjective additive map preserving zero Jordan products, i.e. if x,y ∈ A are such that xy + yx = 0, then θ(x)θ(y) + θ(y)θ(x) = 0. In this paper, we show that if R contains \frac12\frac{1}{2} and n ≥ 4, then θ = λϕ, where λ = θ(1) is a central element of A and ϕ: A → A is a Jordan homomorphism.     

On Maps Preserving Zero Jordan Products

Let R be a ring, A = M _n (R) and θ: A → A a surjective additive map preserving zero Jordan products, i.e. if x,y ∈ A are such that xy + yx = 0, then θ(x)θ(y) + θ(y)θ(x) = 0. In this paper, we show that if R contains and n ≥ 4, then θ = λϕ, where λ = θ(1) is a central element of A and ϕ: A → A is a Jordan homomorphism. The third author is Corresponding author.     

Order bounded derivations on Archimedean almost <Emphasis Type="Italic">f</Emphasis> -algebras

Let A be an Archimedean f -algebra and let N(A) be the set of all nilpotent elements of A. Colville et al. [6] proved that a positive linear map D : A → A is a derivation if and only if D(A) ì N(A){D(A)\subset N(A)} and D(A ²) = {0}, where A ² is the set of all products ab in A. In this paper, we establish a result corresponding to the Colville–Davis–Keimel theorem for an order bounded derivation D on an Archimedean almost f -algebra, which generalizes the results of Boulabiar [3].