A note on shadowing with chain transitivity

Let f : X → X be a continuous map of a compact metric space X. The map f induces in a natural way a map f_M on the space M(X) of probability measures on X, and a transformation f_K on the space K(X) of closed subsets of X. In this paper, we show that if (X, f) is a chain transitive system with shadowing property, then exactly one of the following two statements holds:

(a)

fⁿ and (f_K)ⁿ are syndetically sensitive for all n ? 1.

(b)

fⁿ and (f_K)ⁿ are equicontinuous for all n ? 1.

In particular, we show that for a continuous map f : X → X of a compact metric space X with infinite elements, if f is a chain transitive map with the shadowing property, then fⁿ and (f_K)ⁿ are syndetically sensitive for all n ? 1. Also, we show that if f_M (resp. f_K) is chain transitive and syndetically sensitive, and f_M (resp. f_K) has the shadowing property, then f is sensitive.In addition, we introduce the notion of ergodical sensitivity and present a sufficient condition for a chain transitive system (X, f) (resp. (M(X), f_M)) to be ergodically sensitive. As an application, we show that for a L-hyperbolic homeomorphism f of a compact metric space X, if f has the AASP, then fⁿ is syndetically sensitive and multi-sensitive for all n ? 1.     

S-Noetherian properties on amalgamated algebras along an ideal

Let A and B   be commutative rings with identity, f:A→B$f:A\to B$ a ring homomorphism and J an ideal of B  . Then the subring A?^fJ:={(a,f(a)+j)|a∈A and j∈J}$A{?}^{f}J:=\{(a,f(a)+j)|a\in A\text{and}j\in J\}$ of A×B$A\times B$ is called the amalgamation of A with B along with J with respect to f. In this paper, we investigate a general concept of the Noetherian property, called the S  -Noetherian property which was introduced by Anderson and Dumitrescu, on the ring A?^fJ$A{?}^{f}J$ for a multiplicative subset S   of A?^fJ$A{?}^{f}J$. As particular cases of the amalgamation, we also devote to study the transfers of the S  -Noetherian property to the constructions D+(_X1,…,_Xn)E[_X1,…,_Xn]$D+(X_1,\dots ,X_n)E[X_1,\dots ,X_n]$ and D+(_X1,…,_Xn)E?_X1,…,_Xn?$D+(X_1,\dots ,X_n)E?X_1,\dots ,X_n?$ and Nagata?s idealization.     

Extreme points of Banach lattices related to conditional expectations

Let (X,F,μ) be a complete probability space, B a sub-σ-algebra, and Φ the probabilistic conditional expectation operator determined by B. Let K be the Banach lattice {f∈L¹(X,F,μ):‖Φ(|f|)_‖∞<∞} with the norm ‖f‖=‖Φ(|f|)_‖∞. We prove the following theorems:

(1)

The closed unit ball of K contains an extreme point if and only if there is a localizing set E for B such that supp(Φ(χE))=X.

(2)

Suppose that there is n∈N such that f?nΦ(f) for all positive f in L^∞(X,F,μ). Then K has the uniformly λ-property and every element f in the complex K with is a convex combination of at most 2n extreme points in the closed unit ball of K.

     

Rank one operators and norm of elementary operators

Let A be a standard operator algebra acting on a (real or complex) normed space E. For two n-tuples A = (A₁, … , A_n) and B = (B₁, … , B_n) of elements in A, we define the elementary operator R_A,B on A by the relation for all X in A. For a single operator A∈A, we define the two particular elementary operators L_A and R_A on A by L_A(X) = AX and R_A(X) = XA, for every X in A. We denote by d(R_A,B) the supremum of the norm of R_A,B(X) over all unit rank one operators on E. In this note, we shall characterize: (i) the supremun d(R_A,B), (ii) the relation , (iii) the relation d(L_A − R_B) = ∥A∥ + ∥B∥, (iv) the relation d(L_AR_B − L_BR_A) = 2∥A∥ + ∥B∥. Moreover, we shall show the lower estimate d(L_A − R_B) ? max{sup_λ∈V(B)∥A − λI∥, sup_λ∈V(A)∥B − λI∥} (where V(X) is the algebraic numerical range of X in A).     

A refined Jensen’s inequality in Hilbert spaces and empirical approximations

Let f:X→R be a convex mapping and X a Hilbert space. In this paper we prove the following refinement of Jensen’s inequality:

E(f|X∈A)≥E(f|X∈B)     

An Erd?s-Ko-Rado theorem for partial permutations

Let [n] denote the set of positive integers {1,2,…,n}. An r-partial permutation of [n] is a pair (A,f) where A⊆[n], |A|=r and f:A→[n] is an injective map. A set A of r-partial permutations is intersecting if for any (A,f), (B,g)∈A, there exists x∈A∩B such that f(x)=g(x). We prove that for any intersecting family A of r-partial permutations, we have .It seems rather hard to characterize the case of equality. For 8?r?n-3, we show that equality holds if and only if there exist x₀ and ε₀ such that A consists of all (A,f) for which x₀∈A and f(x₀)=ε₀.     

On classical adjoint-commuting mappings between matrix algebras

Let F be a field and let m and n be integers with m,n?3. Let M_n denote the algebra of n×n matrices over F. In this note, we characterize mappings ψ:M_n→M_m that satisfy one of the following conditions:

1.

|F|=2 or |F|>n+1, and ψ(adj(A+αB))=adj(ψ(A)+αψ(B)) for all A,B∈M_n and α∈F with ψ(I_n)≠0.

2.

ψ is surjective and ψ(adj(A-B))=adj(ψ(A)-ψ(B)) for every A,B∈M_n.

Here, adjA denotes the classical adjoint of the matrix A, and I_n is the identity matrix of order n. We give examples showing the indispensability of the assumption ψ(I_n)≠0 in our results.     

Density of sets of natural numbers and the Lévy group

Let N denote the set of positive integers. The asymptotic density of the set A⊆N is d(A)=limn→∞|A∩[1,n]|/n, if this limit exists. Let AD denote the set of all sets of positive integers that have asymptotic density, and let SN denote the set of all permutations of the positive integers N. The group L^? consists of all permutations f∈SN such that A∈AD if and only if f(A)∈AD, and the group L^* consists of all permutations f∈L^? such that d(f(A))=d(A) for all A∈AD. Let be a one-to-one function such that d(f(N))=1 and, if A∈AD, then f(A)∈AD. It is proved that f must also preserve density, that is, d(f(A))=d(A) for all A∈AD. Thus, the groups L^? and L^* coincide.     

Extraordinary dimension of maps

We consider the extraordinary dimension dimL introduced recently by Shchepin [E.V. Shchepin, Arithmetic of dimension theory, Russian Math. Surveys 53 (5) (1998) 975-1069]. If L is a CW-complex and X a metrizable space, then dimLX is the smallest number n such that ΣnL is an absolute extensor for X, where ΣnL is the nth suspension of L. We also write dimLf?n, where is a given map, provided dimLf⁻¹(y)?n for every y∈Y. The following result is established: Supposeis a perfect surjection between metrizable spaces, Y a C-space and L a countable CW-complex. Then conditions (1)-(3) below are equivalent:

(1)

dimLf?n;

(2)

There exists a dense andGδsubsetGofC(X,In)with the source limitation topology such thatdimL(f×g)=0for everyg∈G;

(3)

There exists a mapis such thatdimL(f×g)=0;If, in addition, X is compact, then each of the above three conditions is equivalent to the following one;

(4)

There exists anFσsetA⊂Xsuch thatdimLA?n−1and the restriction mapf|(X?A)is of dimensiondimf|(X?A)?0.

     

A localization inequality for set functions

We prove the following theorem, which is an analog for discrete set functions of a geometric result of Lovász and Simonovits. Given two real-valued set functions f₁,f₂ defined on the subsets of a finite set S, satisfying for i∈{1,2}, there exists a positive multiplicative set function μ over S and two subsets A,B⊆S such that for i∈{1,2}μ(A)f_i(A)+μ(B)f_i(B)+μ(A∪B)f_i(A∪B)+μ(A∩B)f_i(A∩B)?0. The Ahlswede-Daykin four function theorem can be deduced easily from this.     

Functions of operators under perturbations of class Sp

This is a continuation of our paper [2]. We prove that for functions f in the Hölder class Λα(R) and 1<p<∞, the operator f(A)−f(B) belongs to Sp/α, whenever A and B are self-adjoint operators with A−B∈Sp. We also obtain sharp estimates for the Schatten-von Neumann norms ‖f(A)−f(B)Sp/α_‖ in terms of ‖A−BSp_‖ and establish similar results for other operator ideals. We also estimate Schatten-von Neumann norms of higher order differences . We prove that analogous results hold for functions on the unit circle and unitary operators and for analytic functions in the unit disk and contractions. Then we find necessary conditions on f for f(A)−f(B) to belong to Sq under the assumption that A−B∈Sp. We also obtain Schatten-von Neumann estimates for quasicommutators f(A)R−Rf(B), and introduce a spectral shift function and find a trace formula for operators of the form f(A−K)−2f(A)+f(A+K).     

k-Potence preserving maps without the linearity and surjectivity assumptions

Let M_n be the space of all n × n complex matrices, and let Γ_n be the subset of M_n consisting of all n × n k-potent matrices. We denote by Ψ_n the set of all maps on M_n satisfying A − λB ∈ Γ_n if and only if ?(A) − λ?(B) ∈ Γ_n for every A,B ∈ M_n and λ ∈ C. It was shown that ? ∈ Ψ_n if and only if there exist an invertible matrix P ∈ M_n and c ∈ C with c^k−1 = 1 such that either ?(A) = cPAP⁻¹ for every A ∈ M_n, or ?(A) = cPA^TP⁻¹ for every A ∈ M_n.     

Linear transformations that are tridiagonal with respect to both eigenbases of a Leonard pair

Let V denote a vector space with finite positive dimension. We consider a pair of linear transformations A : V → V and A^∗ : V → V that satisfy (i) and (ii) below:

(i)

There exists a basis for V with respect to which the matrix representing A is irreducible tridiagonal and the matrix representing A^∗ is diagonal.

(ii)

There exists a basis for V with respect to which the matrix representing A^∗ is irreducible tridiagonal and the matrix representing A is diagonal.

We call such a pair a Leonard pair on V. Let X denote the set of linear transformations X : V → V such that the matrix representing X with respect to the basis (i) is tridiagonal and the matrix representing X with respect to the basis (ii) is tridiagonal. We show that X is spanned by

     

Linear maps preserving the minimum and surjectivity moduli of Hilbert space operators

Let B(H) be the algebra of all bounded linear operators on a complex infinite-dimensional Hilbert space H. For every T∈B(H), let m(T) and q(T) denote the minimum modulus and surjectivity modulus of T respectively. Let ?:B(H)→B(H) be a surjective linear map. In this paper, we prove that the following assertions are equivalent:

(i)

m(T)=m(?(T)) for all T∈B(H),

(ii)

q(T)=q(?(T)) for all T∈B(H),

(iii)

there exist two unitary operators U,V∈B(H) such that ?(T)=UTV for all T∈B(H).

This generalizes the result of Mbekhta [7, Theorem 3.1] to the non-unital case.     

Exponential-cosine operator-valued functional equation in the strong operator topology

LetX be a Banach Space and letB(X) denote the family of bounded linear operators onX. LetR ⁺ = [0, ). A one parameter family of operators {S(t);t R ⁺},S:R ⁺ B(X), is called exponential-cosine operator function ifS(O) =I andS(s +t) – 2S(s)S(t) = (S(2s) – 2S ²(s))S(t –s), for alls, t R ⁺,s t. Let ,fD(A), and ,fD(B). It is shown that for a strongly continuous exponential-cosine operator {S(t)},fD(A ²) implies ₀ ^t (t –u(S(u)fduD(B) and B ₀ ^t (t –u)S(u)fdu =S(t)f –f +tAf – 2A ₀ ^t S(u)fdu + 2A ² ₀ ^t (t –u)S(u)fdu.D(B) is seen to be dense inD(A ²). Some regularity properties ofS(t) have also been obtained.