Zero product determined classical Lie algebras

We show that the Lie algebra ? of skew-symmetric matrices with respect to either transpose or symplectic involution is zero product determined. This means that every bilinear map {·,·} from ? × ? into a vector space X is of the form {x, y} = T ([x, y]) for some linear map T provided that the following condition is fulfilled: [x, y] = 0 implies {x, y} = 0.     

The Factor Decomposition Theorem of Bounded Generalized Inverse Modules and Their Topological Continuity

In this paper we obtain a Douglas type factor decomposition theorem about certain important bounded module maps. Thus, we come to the discussion of the topological continuity of bounded generalized inverse module maps. Let X be a topological space, x →Tx ： X→L（E） be a continuous map, and each R（Tx） be a closed submodule in E, for every fixed x C X. Then the map x→ Tx^＋： X→L（E） is continuous if and only if ｜｜Tx^＋｜｜ is locally bounded, where Tx^＋ is the bounded generalized inverse module map of Tx. Furthermore, this is equivalent to the following statement： For each x0 in X, there exists a neighborhood ∪0 at x0 and a positive number λ such that （0, λ^2）lohtatn in ∩x∈∪0C／σ（Tx^＋Tx）, where a（T） denotes the spectrum of operator T.     

Green’s relations and regularity for semigroups of transformations that preserve order and a double direction equivalence

Let T _X be the full transformation semigroup on a set X,

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

Small Stochastic Perturbations of Random Maps with Position Dependent Probabilities

Abstract

A position dependent random map is a dynamical system consisting of a collection of maps such that, at each iteration, a selection of a map is made randomly by means of probabilities which are functions of position. Let f* be an invariant density of the position dependent random map T. We consider a model of small random perturbations 𝔗_? of the random map T. For each ? > 0, 𝔗_? has an invariant density function f ^?. We prove that f ^? → f* as ? → 0.     

A GENERALIZATION OF AUSLANDER–BUCHSBAUM AND BASS FORMULAS

Abstract

Given a contravariant functor F : 𝒞 → 𝒮ets for some category 𝒞, we say that F (𝒞) (or F) is generated by a pair (X, x) where X is an object of 𝒞 and x ∈ F(X) if for any object Y of 𝒞 and any y ∈ F(Y), there is a morphism f : Y → X such that F(f)(x) = y. Furthermore, when Y = X and y = x, any f : X → X such that F(f)(x) = x is an automorphism of X, we say that F is minimally generated by (X, x). This paper shows that if the ring R is left noetherian, then there exists a minimal generator for the functor ?xt (?, M) : ? → 𝒮ets, where M is a left R-module and ? is the class (considered as full subcategory of left R-modules) of injective left R-modules.     

Green’s relations and regularity for semigroups of transformations that preserve double direction equivalence

Let T _X denote the full transformation semigroup on a set X. For an equivalence E on X, let $T_{E^*}(X)=\{\alpha\in T_X:\forall x,y\in X,(x,y)\in E\Leftrightarrow(x\alpha,y\alpha)\in E\}.$ Then $T_{E^{*}}(X)Let T _X denote the full transformation semigroup on a set X. For an equivalence E on X, let

TE*(X)={a ? TX:"x,y ? X,(x,y) ? E?(xa,ya) ? E}.T_{E^*}(X)=\{\alpha\in T_X:\forall x,y\in X,(x,y)\in E\Leftrightarrow(x\alpha,y\alpha)\in E\}.      10. Additivity of Lie multiplicative maps on triangular algebras      Xiaofei Qi 《Linear and Multilinear Algebra》2013,61(4):391-397 Let 𝒜 and ? be unital algebras over a commutative ring ?, and ? be a (𝒜,??)-bimodule, which is faithful as a left 𝒜-module and also as a right ?-module. Let 𝒰?=?Tri(𝒜,??,??) be the triangular algebra and 𝒱 any algebra over ?. Assume that Φ?:?𝒰?→?𝒱 is a Lie multiplicative isomorphism, that is, Φ satisfies Φ(ST???TS)?=?Φ(S)Φ(T)???Φ(T)Φ(S) for all S, T?∈?𝒰. Then Φ(S?+?T)?=?Φ(S)?+?Φ(T)?+?Z S,T for all S, T?∈?𝒰, where Z S,T is an element in the centre 𝒵(𝒱) of 𝒱 depending on S and T.      11. On Osgood theorem in Banach spaces      Stanislav Shkarin 《Mathematische Nachrichten》2003,257(1):87-98 Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫10 (ω(t))?1 dt = ∞, then for any (t0, x0) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t0) = x0 has a unique solution in a neighborhood of t0. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫10 (ω(t))?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t0) = x0 has no solutions in any interval of the real line.      12. One-Point Discontinuities of Separately Continuous Functions on the Product of Two Compact Spaces      V. V. Mykhailyuk 《Ukrainian Mathematical Journal》2005,57(1):112-120 We investigate the existence of a separately continuous function f: X × Y → ℝ with a one-point set of discontinuity points in the case where the topological spaces X and Y satisfy conditions of compactness type. In particular, it is shown that, for compact spaces X and Y and nonisolated points x 0 ∈ X and y 0 ∈ Y, a separately continuous function f: X × Y → ℝ with the set of discontinuity points {(x 0, y 0)} exists if and only if there exist sequences of nonempty functionally open sets in X and Y that converge to x 0 and y 0, respectively.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 1, pp. 94–101, January, 2005.      13. Two-Parameter Lévy Processes Along Decreasing Paths      Shai?CovoEmail author 《Journal of Theoretical Probability》2011,24(1):150-169 Let {Xt1,t2:t1,t2 3 0}\{X_{t_{1},t_{2}}:t_{1},t_{2}\geq0\} be a two-parameter Lévy process on ℝ d . We study basic properties of the one-parameter process {X x(t),y(t):t∈T} where x and y are, respectively, nondecreasing and nonincreasing nonnegative continuous functions on the interval T. We focus on and characterize the case where the process has stationary increments.      14. On symmetric basic sequences in lorentz sequence spaces II      P. G. Casazza  Bor-Luh Lin 《Israel Journal of Mathematics》1974,17(2):191-218 It is shown that if {y n} is a block of type I of a symmetric basis {x n} in a Banach spaceX, then {y n} is equivalent to {x n} if and only if the closed linear span [y n] of {y n} is complemented inX. The result is used to study the symmetric basic sequences of the dual space of a Lorentz sequence spaced(a, p). Let {x n,f n} be the unit vector basis ofd(a, p), for 1≤p<+∞. It is shown that every infinite-dimensional subspace ofd(a, p) (respectively, [f n] has a complemented subspace isomorphic tol p (respectively,l q, 1/p+1/q=1 when 1<p<+∞ andc 0 whenp=1) and numerous other results on complemented subspaces ofd(a, p) and [f n] are obtained. We also obtain necessary and sufficient conditions such that [f n] have exactly two non-equivalent symmetric basic sequences. Finally, we exhibit a Banach spaceX with symmetric basis {x n} such that every symmetric block basic sequence of {x n} spans a complemented subspace inX butX is not isomorphic to eitherc 0 orl p, 1≤p<+∞.      15. Range-Inclusive Maps in Rings with Idempotents      Matej Brešar 《代数通讯》2013,41(1):154-163 Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).      16. Quantitative form of the Luzin <Emphasis Type="Italic">C</Emphasis>-property      V. G. Krotov 《Ukrainian Mathematical Journal》2010,62(3):441-451 We prove the following statement, which is a quantitative form of the Luzin theorem on C-property: Let (X, d, μ) be a bounded metric space with metric d and regular Borel measure μ that are related to one another by the doubling condition. Then, for any function f measurable on X, there exist a positive increasing function η ∈ Ω (η(+0) = 0 and η(t)t −a decreases for a certain a > 0), a nonnegative function g measurable on X, and a set E ⊂ X, μE = 0 , for which | f(x) - f(y) | \leqslant [ g(x) + g(y) ]h( d( x,y ) ), x,y ? X / E \left| {f(x) - f(y)} \right| \leqslant \left[ {g(x) + g(y)} \right]\eta \left( {d\left( {x,y} \right)} \right),\,x,y \in {{X} \left/ {E} \right.}      17. Remarks on pseudo-contractive mappings      Claudio Morales 《Journal of Mathematical Analysis and Applications》1982,87(1):158-164 Let X be a Banach space, B a closed ball centered at the origin in X, and T: B → X a pseudo-contractive mapping (i.e., (λ ? 1) ∥x ? y∥ ? ∥(λI ? T)(x) ? (λI ? T) (y)∥ for all x, y?B and λ > 1). It is shown here that the antipodal boundary condition: T(x) = ?T(?x) for all x?δB assures existence of a fixed point of T in B provided that the ball B has the fixed point property with respect to non-expansive self-mappings. Also included are some fixed point theorems which involve the Leray-Schauder condition.      18. Strong commutativity and Engel condition preserving maps in prime and semiprime rings      Vincenzo De Filippis  Giovanni Scudo 《Linear and Multilinear Algebra》2013,61(7):917-938       19. Topological Hypergroups in the Sense of Marty      D. Heidari  S. M. S. Modarres 《代数通讯》2013,41(11):4712-4721 In this paper, we introduce the concept of topological hypergroups as a generalization of topological groups. A topological hypergroup is a nonempty set endowed with two structures, that of a topological space and that of a hypergroup. Let (H, ○) be a hypergroup and (H, τ) be a topological space such that the mappings (x, y) → x ○ y and (x, y) → x/y from H × H to 𝒫*(H) are continuous. The main tool to obtain basic properties of hypergroups is the fundamental relation β*. So, by considering the quotient topology induced by the fundamental relation on a hypergroup (H, ○) we show that if every open subset of H is a complete part, then the fundamental group of H is a topological group. It is important to mention that in this paper the topological hypergroups are different from topological hypergroups which was initiated by Dunkl and Jewett.      20. Nonwandering set of points of skew-product maps with base having closed set of periodic points      Juan Luis García Guirao  Raquel García Rubio   《Journal of Mathematical Analysis and Applications》2010,362(2):350-354 The aim of the present paper is to study the structure of the nonwandering set of points Ω() for the skew-product maps of the unit square , (x,y)→(f(x),g(x,y)), with base f having closed set of periodic points. For every and every point (x,y) with x periodic of period px by f and y not chain recurrent of Fpx|Ix, where , we prove that (x,y)Ω(F). On the other hand we construct a map with an isolated fixed point x0 of f and y0Ω(F|Ix0) such that (x0,y0)Ω(F0).

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号

Additivity of Lie multiplicative maps on triangular algebras

Let 𝒜 and ? be unital algebras over a commutative ring ?, and ? be a (𝒜,??)-bimodule, which is faithful as a left 𝒜-module and also as a right ?-module. Let 𝒰?=?Tri(𝒜,??,??) be the triangular algebra and 𝒱 any algebra over ?. Assume that Φ?:?𝒰?→?𝒱 is a Lie multiplicative isomorphism, that is, Φ satisfies Φ(ST???TS)?=?Φ(S)Φ(T)???Φ(T)Φ(S) for all S, T?∈?𝒰. Then Φ(S?+?T)?=?Φ(S)?+?Φ(T)?+?Z _S,T for all S, T?∈?𝒰, where Z _S,T is an element in the centre 𝒵(𝒱) of 𝒱 depending on S and T.     

On Osgood theorem in Banach spaces

Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫¹₀ (ω(t))^?1 dt = ∞, then for any (t₀, x₀) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has a unique solution in a neighborhood of t₀. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫¹₀ (ω(t))^?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has no solutions in any interval of the real line.     

One-Point Discontinuities of Separately Continuous Functions on the Product of Two Compact Spaces

We investigate the existence of a separately continuous function f: X × Y → ℝ with a one-point set of discontinuity points in the case where the topological spaces X and Y satisfy conditions of compactness type. In particular, it is shown that, for compact spaces X and Y and nonisolated points x ₀ ∈ X and y ₀ ∈ Y, a separately continuous function f: X × Y → ℝ with the set of discontinuity points {(x ₀, y ₀)} exists if and only if there exist sequences of nonempty functionally open sets in X and Y that converge to x ₀ and y ₀, respectively.__________Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 1, pp. 94–101, January, 2005.     

Two-Parameter Lévy Processes Along Decreasing Paths

Let {X_t1,t2:t₁,t₂ 3 0}\{X_{t_{1},t_{2}}:t_{1},t_{2}\geq0\} be a two-parameter Lévy process on ℝ ^d . We study basic properties of the one-parameter process {X _x(t),y(t):t∈T} where x and y are, respectively, nondecreasing and nonincreasing nonnegative continuous functions on the interval T. We focus on and characterize the case where the process has stationary increments.     

On symmetric basic sequences in lorentz sequence spaces II

It is shown that if {y _n} is a block of type I of a symmetric basis {x _n} in a Banach spaceX, then {y _n} is equivalent to {x _n} if and only if the closed linear span [y _n] of {y _n} is complemented inX. The result is used to study the symmetric basic sequences of the dual space of a Lorentz sequence spaced(a, p). Let {x _n,f _n} be the unit vector basis ofd(a, p), for 1≤p<+∞. It is shown that every infinite-dimensional subspace ofd(a, p) (respectively, [f _n] has a complemented subspace isomorphic tol _p (respectively,l _q, 1/p+1/q=1 when 1<p<+∞ andc ₀ whenp=1) and numerous other results on complemented subspaces ofd(a, p) and [f _n] are obtained. We also obtain necessary and sufficient conditions such that [f _n] have exactly two non-equivalent symmetric basic sequences. Finally, we exhibit a Banach spaceX with symmetric basis {x _n} such that every symmetric block basic sequence of {x _n} spans a complemented subspace inX butX is not isomorphic to eitherc ₀ orl _p, 1≤p<+∞.     

Range-Inclusive Maps in Rings with Idempotents

Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).     

Quantitative form of the Luzin <Emphasis Type="Italic">C</Emphasis>-property

We prove the following statement, which is a quantitative form of the Luzin theorem on C-property: Let (X, d, μ) be a bounded metric space with metric d and regular Borel measure μ that are related to one another by the doubling condition. Then, for any function f measurable on X, there exist a positive increasing function η ∈ Ω (η(+0) = 0 and η(t)t ^−a decreases for a certain a > 0), a nonnegative function g measurable on X, and a set E ⊂ X, μE = 0 , for which

Remarks on pseudo-contractive mappings

Let X be a Banach space, B a closed ball centered at the origin in X, and T: B → X a pseudo-contractive mapping (i.e., (λ ? 1) ∥x ? y∥ ? ∥(λI ? T)(x) ? (λI ? T) (y)∥ for all x, y?B and λ > 1). It is shown here that the antipodal boundary condition: T(x) = ?T(?x) for all x?δB assures existence of a fixed point of T in B provided that the ball B has the fixed point property with respect to non-expansive self-mappings. Also included are some fixed point theorems which involve the Leray-Schauder condition.     

Topological Hypergroups in the Sense of Marty

In this paper, we introduce the concept of topological hypergroups as a generalization of topological groups. A topological hypergroup is a nonempty set endowed with two structures, that of a topological space and that of a hypergroup. Let (H, ○) be a hypergroup and (H, τ) be a topological space such that the mappings (x, y) → x ○ y and (x, y) → x/y from H × H to 𝒫*(H) are continuous. The main tool to obtain basic properties of hypergroups is the fundamental relation β*. So, by considering the quotient topology induced by the fundamental relation on a hypergroup (H, ○) we show that if every open subset of H is a complete part, then the fundamental group of H is a topological group.

It is important to mention that in this paper the topological hypergroups are different from topological hypergroups which was initiated by Dunkl and Jewett.     

Nonwandering set of points of skew-product maps with base having closed set of periodic points

The aim of the present paper is to study the structure of the nonwandering set of points Ω() for the skew-product maps of the unit square , (x,y)→(f(x),g(x,y)), with base f having closed set of periodic points. For every and every point (x,y) with x periodic of period p_x by f and y not chain recurrent of F^p_x|_Ix, where , we prove that (x,y)Ω(F). On the other hand we construct a map with an isolated fixed point x₀ of f and y₀Ω(F|_Ix0) such that (x₀,y₀)Ω(F₀).