Ergodic Retraction Theorem and Weak Convergence Theorem for Reversible Semigroups of Non-Lipschitzian Mappings

Let G be a semitopological semigroup. Let C be a closed convex subset of a uniformly convex Banaeh space E with a Frechet differentiable norm, and T = {Tt ： t ∈ G} be a continuous representation of G as nearly asymptotically nonexpansive type mappings of C into itself such that the common fixed point set F（T） of T in C is nonempty. It is shown that if G is right reversible, then for each almost-orbit u（.） of T, ∩s∈G ^-CO{u（t） ： t ≥ s} ∩ F（T） consists of at most one point. Furthermore, ∩s∈G ^-CO{Ttx ： t ≥ s} ∩ F（T） is nonempty for each x ∈ C if and only if there exists a nonlinear ergodic retraction P of C onto F（T） such that PTs - TsP = P for all s ∈ G and Px ∈^-CO{Ttx ： s ∈ G} for each x ∈ C. This result is applied to study the problem of weak convergence of the net {u（t） ： t ∈ G} to a common fixed point of T.     

On Tame Kernels and Ideal Class Groups

It is well known that there is a close connection between tame kernels and ideal class groups of number fields. However, the latter is a very difficult subject in number theory. In this paper, we prove some results connecting the p^n-rank of the tame kernel of a cyclic cubic field F with the p^n-rank of the coinvariants of μp^n×CI（δE,T） under the action of the Galois group, where E = F（ζp^n ） and T is the finite set of primes of E consisting of the infinite primes and the finite primes dividing p. In particular, if F is a cyclic cubic field with only one ramified prime and p = 3, n = 2, we apply the results of the tame kernels to prove some results of the ideal class groups of E, the maximal real subfield of E and F（ζ3）.     

具有S-WGHP性质的对偶对

In this paper,we introduce the signed weak gliding hump property in a dual pair with the sturcture of a system of sections and show that if a dual pair [E,F] has the signed weak gliding hump property,then the β-dual space of E is a weak sequentially complete space if and only if for every n ∈N,(F^[n],σ(F^[n],E^[n]))is sequentially complete,Furthermore,we also prove that if [E,F] has the signed weak gliding hump property,then (E,τ(E,F^（β）)is an AK-space.     

保持两个等价关系的变换半群的Green关系

Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, let
TF（X） = {f ∈ Tx ： arbieary （x, y） ∈ F, （f（x）,f（y）） ∈ F}.
Then TF（X） is a subsemigroup of Tx. Let E be another equivalence on X and TFE（X） = TF（X） ∩ TE（X）. In this paper, under the assumption that the two equivalences F and E are comparable and E lohtain in F, we describe the regular elements and characterize Green＇s relations for the semigroup TFE（X）.     

A common property of R(E,F) and B(R~n,R~m) and a new method for seeking a path to connect two operators

Given two Banach spaces E,F,let B(E,F) be the set of all bounded linear operators from E into F,and R(E,F) the set of all operators in B(E,F) with finite rank.It is well-known that B(Rn) is a Banach space as well as an algebra,while B(Rn,Rm) for m = n,is a Banach space but not an algebra;meanwhile,it is clear that R(E,F) is neither a Banach space nor an algebra.However,in this paper,it is proved that all of them have a common property in geometry and topology,i.e.,they are all a union of mutual disjoint path-connected and smooth submanifolds (or hypersurfaces).Let Σr be the set of all operators of finite rank r in B(E,F) (or B(Rn,Rm)).In fact,we have that 1) suppose Σr∈ B(Rn,Rm),and then Σr is a smooth and path-connected submanifold of B(Rn,Rm) and dimΣr = (n + m)r-r2,for each r ∈ [0,min{n,m});if m = n,the same conclusion for Σr and its dimension is valid for each r ∈ [0,min{n,m}];2) suppose Σr∈ B(E,F),and dimF = ∞,and then Σr is a smooth and path-connected submanifold of B(E,F) with the tangent space TAΣr = {B ∈ B(E,F) : BN(A)-R(A)} at each A ∈Σr for 0 r ∞.The routine methods for seeking a path to connect two operators can hardly apply here.A new method and some fundamental theorems are introduced in this paper,which is development of elementary transformation of matrices in B(Rn),and more adapted and simple than the elementary transformation method.In addition to tensor analysis and application of Thom’s famous result for transversility,these will benefit the study of infinite geometry.     

On Mane＇s Proof of the C^1 Stability Conjecture

It seems that in Mane＇s proof of the C^1 Ω-stability conjecture containing in the famous paper which published in I. H. E. S. （1988）, there exists a deficiency in the main lemma which says that for f ∈F^1 （M） there exists a dominated splitting TMPi（f） =Ei^s the direlf sum of E and F Fi^u（O 〈 i 〈 dim M） such that if Ei^s is contracting, then Fi^u is expanding. In the first part of the paper, we give a proof to fill up this deficiency. In the last part of the paper, we, under a weak assumption, prove a result that seems to be useful in the study of dynamics in some other stability context.     

The relations among the three kinds of conditional risk measures

Let(Ω,E,P)be a probability space,F a sub-σ-algebra of E,Lp(E)(1 p+∞)the classical function space and Lp F(E)the L0(F)-module generated by Lp(E),which can be made into a random normed module in a natural way.Up to the present time,there are three kinds of conditional risk measures,whose model spaces are L∞(E),Lp(E)(1 p+∞)and Lp F(E)(1 p+∞)respectively,and a conditional convex dual representation theorem has been established for each kind.The purpose of this paper is to study the relations among the three kinds of conditional risk measures together with their representation theorems.We first establish the relation between Lp(E)and Lp F(E),namely Lp F(E)=Hcc(Lp(E)),which shows that Lp F(E)is exactly the countable concatenation hull of Lp(E).Based on the precise relation,we then prove that every L0(F)-convex Lp(E)-conditional risk measure(1 p+∞)can be uniquely extended to an L0(F)-convex Lp F(E)-conditional risk measure and that the dual representation theorem of the former can also be regarded as a special case of that of the latter,which shows that the study of Lp-conditional risk measures can be incorporated into that of Lp F(E)-conditional risk measures.In particular,in the process we find that combining the countable concatenation hull of a set and the local property of conditional risk measures is a very useful analytic skill that may considerably simplify and improve the study of L0-convex conditional risk measures.∞     

Canonical Foliations of Certain Classes of Almost Contact Metric Structures

The purpose of this paper is to study the canonical foliations of an almost cosymplectic or almost Kenmotsu manifold M in a unified way. We prove that the canonical foliation F defined by the contact distribution is Riemannian and tangentially almost Kahler of codimension 1 and that F is tangentially Kahler if the manifold M is normal. Furthermore, we show that a semi-invariant submanifold N of such a manifold M admits a canonical foliation FN which is defined by the antiinvariant distribution and a canonical cohomology class c（N） generated by a transversal volume form for FN. In addition, we investigate the conditions when the even-dimensional cohomology classes of N are non-trivial. Finally, we compute the Godbillon Vey class for FN.     

Fault-free Hamiltonian cycles passing through a prescribed linear forest in 3-ary n-cube with faulty edges

The k-ary n-cube Qkn （n ≥2 and k ≥3） is one of the most popular interconnection networks. In this paper, we consider the problem of a fault- free Hamiltonian cycle passing through a prescribed linear forest （i.e., pairwise vertex-disjoint paths） in the 3-ary n-cube Qn^3 with faulty edges. The following result is obtained. Let E0 （≠θ） be a linear forest and F （≠θ） be a set of faulty edges in Q3 such that E0∩ F = 0 and ｜E0｜ ＋｜F｜ ≤ 2n - 2. Then all edges of E0 lie on a Hamiltonian cycle in Qn^3- F, and the upper bound 2n - 2 is sharp.     

An estimate of the deformation of a closed convex surface with a change in its curvature

We consider closed convex surfaces ℱ of the space R³ containing a fixed point 0 in the interior. A central projection from 0 enables us to transfer the curvature ω(u) of the surface ℱ, regarded as a function of a set uɛℱ, onto a sphere with center 0. A. D. Aleksandrov established the fact that the surface ℱ is determined (moreover, uniquely) to·within a homothetic transformation with center 0 by prescribing the curvature transferred in this way onto the sphere. In this paper we give an estimate of the variation of the distances τ _F (B) of points of the surface from 0 as a function of the variation of the curvature transferred onto the sphere. The derivation of this estimate relies substantially on nondegeneracy of the surface ℱ; as a measure of nondegeneracy we take the ratio R/ζ, of the radii ℱ of balls with center ℱ, circumscribed and inscribed, respectively, about 0. Also, in this paper, we introduce and study those characteristics ℒ _F and τ _F of the curvature of the surface ℱ, which make it possible to estimate R/ζ from above and, by the same token, to obtain an estimate of how τ _F (B) varies in terms only of the curvature of the surface and its variation. An analytical treatment shows that basically our result yields an estimate of the maximum of the modulus of the change in the solution of a Monge—Ampere type equation on a sphere in terms of the change in its right-hand side in some integral norm, while the estimate of R/ζ, yields an a priori estimate of the modulus of the solution of this equation. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 45, pp. 83–110, 1974.     

Smooth and path connected Banach submanifold Σ r of B(E,F) and a dimension formula in B(ℝ n ,ℝ m )

Given two Banach spaces E,F, let B(E,F) be the set of all bounded linear operators from E into F, Σ _r the set of all operators of finite rank r in B(E,F), and Σ _r ^# the number of path connected components of Σ _r . It is known that Σ _r is a smooth Banach submanifold in B(E,F) with given expression of its tangent space at each A ∈ Σ _r . In this paper,the equality Σ _r ^# = 1 is proved. Consequently, the following theorem is obtained: for any nonnegative integer r, Σ _r is a smooth and path connected Banach submanifold in B(E,F) with the tangent space T _A Σ _r = {B ∈ B(E,F): BN(A) ⊂ R(A)} at each A ∈ Σ _r if dim F = ∞. Note that the routine method can hardly be applied here. So in addition to the nice topological and geometric property of Σ _r the method presented in this paper is also interesting. As an application of this result, it is proved that if E = ℝ ⁿ and F = ℝ ^m , then Σ _r is a smooth and path connected submanifold of B(ℝ ⁿ , ℝ ^m ) and its dimension is dimΣ _r = (m+n)r−r ² for each r, 0 <- r < min {n,m}. Supported by the National Science Foundation of China (Grant No.10671049 and 10771101).     

von Neumann��s mean ergodic theorem on complete random inner product modules

We first prove two forms of von Neumann’s mean ergodic theorems under the framework of complete random inner product modules. As applications, we obtain two conditional mean ergodic convergence theorems for random isometric operators which are defined on L _ℱ ^p (ℰ, H) and generated by measure-preserving transformations on Ω, where H is a Hilbert space, L ^p (ℰ, H) (1 ⩽ p < ∞) the Banach space of equivalence classes of H-valued p-integrable random variables defined on a probability space (Ω, ℰ, P), F a sub σ-algebra of ℰ, and L _ℱ ^p (ℰ(E,H) the complete random normed module generated by L ^p (ℰ, H).     

Three classes of smooth Banach submanifolds in B(E,F)

Let E, F be two Banach spaces, and B(E, F), Φ(E, F), SΦ(E, F) and R(E,F) be the bounded linear, Fredholm, semi-Frdholm and finite rank operators from E into F, respectively. In this paper, using the continuity characteristics of generalized inverses of operators under small perturbations, we prove the following result Let ∑ be any one of the following sets {T ∈ Φ(E, F) IndexT =const, and dim N(T) = const.}, {T ∈ SΦ(E, F) either dim N(T) = const. ＜ ∞ or codim R(T) = const.＜ ∞} and {T ∈ R(E, F) RankT =const.＜∞}. Then ∑ is a smooth submanifold of B(E, F) with the tangent space TA∑ = {B ∈ B(E,F) BN(A) (∪) R(A)} for any A ∈ ∑. The result is available for the further application to Thom's famous results on the transversility and the study of the infinite dimensional geometry.     

Analysis of Incomplete Data and an Intrinsic-Dimension Helly Theorem

The analysis of incomplete data is a long-standing challenge in practical statistics. When, as is typical, data objects are represented by points in ℝ ^d , incomplete data objects correspond to affine subspaces (lines or Δ-flats). With this motivation we study the problem of finding the minimum intersection radius r(ℒ) of a set of lines or Δ-flats ℒ: the least r such that there is a ball of radius r intersecting every flat in ℒ. Known algorithms for finding the minimum enclosing ball for a point set (or clustering by several balls) do not easily extend to higher-dimensional flats, primarily because “distances” between flats do not satisfy the triangle inequality. In this paper we show how to restore geometry (i.e., a substitute for the triangle inequality) to the problem, through a new analog of Helly’s theorem. This “intrinsic-dimension” Helly theorem states: for any family ℒ of Δ-dimensional convex sets in a Hilbert space, there exist Δ+2 sets ℒ′⊆ℒ such that r(ℒ)≤2r(ℒ′). Based upon this we present an algorithm that computes a (1+ε)-core set ℒ′⊆ℒ, |ℒ′|=O(Δ ⁴/ε), such that the ball centered at a point c with radius (1+ε)r(ℒ′) intersects every element of ℒ. The running time of the algorithm is O(n ^Δ+1 dpoly (Δ/ε)). For the case of lines or line segments (Δ=1), the (expected) running time of the algorithm can be improved to O(ndpoly (1/ε)). We note that the size of the core set depends only on the dimension of the input objects and is independent of the input size n and the dimension d of the ambient space. An extended abstract appeared in ACM–SIAM Symposium on Discrete Algorithms, 2006. Work was done when J. Gao was with Center for the Mathematics of Information, California Institute of Technology. Work was done when M. Langberg was a postdoctoral scholar at the California Institute of Technology. Research supported in part by NSF grant CCF-0346991. Research of L.J. Schulman supported in part by an NSF ITR and the Okawa Foundation.     

Calderón--Lozanovskii; construction for mixed norm spaces

We show that the Calderón--Lozanovskii; construction φ(.) commutes with arbitrary mixed norm spaces, that is, φ(E₀[F₀], E₁[F₁]) = φ(E₀, E₁) [φ(F₀, F₁)] if and only if φ is equivalent to a power function. This result we obtain by giving characterizations of the corresponding embeddings of φ(E₀[F₀], E₁[F₁]) into φ₀ (E₀, E₁)[φ₁ (F₀, F₁)] and vice versa in terms of the functions φ, φ₀, φ₁. As a particular case, we get embeddings of an Orlicz space with mixed norms into an Orlicz space on a product of measure spaces. Applications to classical operators between mixed norm Orlicz spaces are also discussed. This revised version was published online in June 2006 with corrections to the Cover Date.     

On the peripheral spectrum of positive operators

We prove that ifE is a Banach lattice andS, T ∈ ℒ (E) are such that 0≦s≦T,r(s)=r(T) andr(T) is a Riesz point ofσ(T) thenr(S) is a Riesz point ofσ(S). We prove also some results on compact positive perturbations of positive irreducible operators and lattice homomorphisms.     

Amemiya Norm Equals Orlicz Norm in Musielak-Orlicz Spaces

Let （Ω,μ） be a a-finite measure space and Φ ： Ω × [0,∞） → [0, ∞] be a Musielak-Orlicz function. Denote by L^Φ（Ω） the Musielak-Orlicz space generated by Φ. We prove that the Amemiya norm equals the Orlicz norm in L^Φ（Ω）.     

Codeterminants and <Emphasis Type="Italic">q</Emphasis>-Schur Algebras

We study codeterminants in the q-Schur algebra S _q (n,r) and prove that the standard ones form a basis of S _q (n,r), using a quantized version of the Désarménien matrix. We find elements of the form F _S 1_λ E _T in Lusztig’s modified enveloping algebra of gl(n), which, up to powers of q, map to the basis of standard codeterminants, where F _S ∈U ^– and E _T ∈U ⁺ are explicitly given products of root vectors, depending on Young tableaux S and T.