SMOOTH AND PATH CONNECTED BANACH SUBMANIFOLD ∑r OF B(E,F) AND A DIMENSION FORMULA IN B(IRn,IRm)

Given two Banach spaces E, F, let B(E, F) be the set of all bounded linear oper-ators 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 submani-fold 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 non-negative integer r, ∑r is a smooth and path connected Banach submanifold in B(E, F) with the tangent space TA∑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 = IRn and F = IRm, then ∑r is a smooth and path connected submanifold of B(IRn,IRm) and its dimension is dim ∑r = (m + n)r- r2 for each r, 0 ≤ r < min{n,m}.     

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.     

Generalized Inverse Analysis on the Domain Ω(A,A+) in B(E,F)

Let B(E,F) be the set of all bounded linear operators from a Banach space E into another Banach space F,B~+(E, F) the set of all double splitting operators in B(E, F)and GI(A) the set of generalized inverses of A ∈ B~+(E, F). In this paper we introduce an unbounded domain ?(A, A~+) in B(E, F) for A ∈ B~+(E, F) and A~+∈GI(A), and provide a necessary and sufficient condition for T ∈ ?(A, A~+). Then several conditions equivalent to the following property are proved: B = A+(IF+(T-A)A~+)~(-1) is the generalized inverse of T with R(B)=R(A~+) and N(B)=N(A~+), for T∈?(A, A~+), where IF is the identity on F. Also we obtain the smooth(C~∞) diffeomorphism M_A(A~+,T) from ?(A,A~+) onto itself with the fixed point A. Let S = {T ∈ ?(A, A~+) : R(T)∩ N(A~+) ={0}}, M(X) = {T ∈ B(E,F) : TN(X) ? R(X)} for X ∈ B(E,F)}, and F = {M(X) : ?X ∈B(E, F)}. Using the diffeomorphism M_A(A~+,T) we prove the following theorem: S is a smooth submanifold in B(E,F) and tangent to M(X) at any X ∈ S. The theorem expands the smooth integrability of F at A from a local neighborhoold at A to the global unbounded domain ?(A, A~+). It seems to be useful for developing global analysis and geomatrical method in differential equations.     

Topological and geometric property of matrix algebra

Let B（R^n） be the set of all n x n real matrices, Sr the set of all matrices with rank r, 0 ≤ r ≤ n, and Sr^# the number of arcwise connected components of Sr. It is well-known that Sn =GL（R^n） is a Lie group and also a smooth hypersurface in B（R^n） with the dimension n × n.     

有关M.S.Berger问题的注记

In this paper, we discuss the problem concerning global and local structure of solutions of an operator equation posed by M. S. Berger. Let f : U 真包含 E → F be a C1 map, where E and F are Banach spaces and U is open in E. We show that the solution set of the equation f(x) = y for a fixed generalized regular value y of f is represented as a union of disjoint connected C1 Banach submanifolds of U, each of which has a dimension and its tangent space is given. In particular, a characterization of the isolated solutions of the equation f(x) = y is obtained.     

A Note on a Problem of M. S. Berger

In this paper, we discuss the problem concerning global and local structure of solutions of an operator equation posed by M. S. Berger. Let f : U (?)E→ F be a C1 map, where E and F are Banach spaces and U is open in E. We show that the solution set of the equation f(x)=y for a fixed generalized regular value y of f is represented as a union of disjoint connected C1 Banach submanifolds of U, each of which has a dimension and its tangent space is given. In particular, a characterization of the isolated solutions of the equation f(x) = y is obtained.     

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.     

On Generic Well-posedness of Restricted Chebyshev Center Problems in Banach Spaces

Let B （resp. K, BC,KC） denote the set of all nonempty bounded （resp. compact, bounded convex, compact convex） closed subsets of the Banach space X, endowed with the Hausdorff metric, and let G be a nonempty relatively weakly compact closed subset of X. Let B° stand for the set of all F ∈B such that the problem （F, G） is well-posed. We proved that, if X is strictly convex and Kadec, the set KC ∩ B° is a dense Gδ-subset of KC ／ G. Furthermore, if X is a uniformly convex Banach space, we will prove more, namely that the set B ／B° （resp. K ／ B°, BC ／B°, KC ／ B°） is a-porous in B （resp. K,BC, KC）. Moreover, we prove that for most （in the sense of the Baire category） closed bounded subsets G of X, the set K ／ B° is dense and uncountable in K.     

单圈图的极小能量

For a simple graph G, the energy E(G) is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix. Let Undenote the set of all connected unicyclic graphs with order n, and Ur n= {G ∈ Un| d(x) = r for any vertex x ∈ V(Cl)}, where r ≥ 2 and Cl is the unique cycle in G. Every unicyclic graph in Ur nis said to be a cycle-r-regular graph.In this paper, we completely characterize that C39(2, 2, 2) ο Sn-8is the unique graph having minimal energy in U4 n. Moreover, the graph with minimal energy is uniquely determined in Ur nfor r = 3, 4.     

A Counter Example on Faudree-Schelp Conjecture

Let simple graph G=(V, E),V=n,E=m. If there exists a path containing i vertices connecting u and v in V, then property P_i(u,v) will be said to told.For 2≤i≤n, let S_i be the set of all unordered pairs of distinct u and v for which property P_i(u.v) holds, and Let S_1 be the set of all unordered pairs of vertices which are not connected by any path. A graph G satisfies property P_i if |S_i|=n(n-1)/2.     

Existence of best simultaneous approximations in L_p(S, Σ, X) without the RNP assumption

Let(S, Σ, μ) be a complete positive σ-finite measure space and let X be a Banach space. We consider the simultaneous proximinality problem in Lp(S, Σ, X) for 1 p +∞. We establish some N-simultaneous proximinality results of Lp(S, Σ0, Y) in Lp(S, Σ, X) without the Radon-Nikody′m property(RNP) assumptions on the space span Y and its dual span Y*, where Σ0is a sub-σ-algebra of Σ and Y a nonempty locally weakly compact closed convex subset of X. In particular, we completely solve one open problem and partially solve another one in Luo et al.(2011).     

Hilbert空间中的Bessel列构成的 $C^*$-代数 $B_H(I)$

Let H be a separable Hilbert space, B H(I), B(H) and K(H) the sets of all Bessel sequences {f i}i∈I in H, bounded linear operators on H and compact operators on H, respectively. Two kinds of multiplications and involutions are introduced in light of two isometric linear isomorphisms αH : B H(I) → B(?2), β : B H(I) → B(H), respectively, so that B H(I) becomes a unital C*-algebra under each kind of multiplication and involution. It is proved that the two C*-algebras(B H(I), ?, ?) and(B H(I), ·, *) are *-isomorphic. It is also proved that the set F H(I) of all frames for H is a unital multiplicative semi-group and the set R H(I) of all Riesz bases for H is a self-adjoint multiplicative group, as well as the set K H(I) := β-1(K(H)) is the unique proper closed self-adjoint ideal of the C*-algebra B H(I).     

Modified block iterative method for solving convex feasibility problem,equilibrium problems and variational inequality problems

The purpose of this paper is by using the modified block iterative method to propose an algorithm for finding a common element in the intersection of the set of common fixed points of an infinite family of quasi-φ-asymptotically nonexpansive and the set of solutions to an equilibrium problem and the set of solutions to a variational inequality. Under suitable conditions some strong convergence theorems are established in 2-uniformly convex and uniformly smooth Banach spaces. As applications we utilize the results presented in the paper to solving the convex feasibility problem (CFP) and zero point problem of maximal monotone mappings in Banach spaces. The results presented in the paper improve and extend the corresponding results announced by many authors.     

On Some Families of Smooth Affine Spherical Varieties of Full Rank

Let G be a complex connected reductive group. Losev has shown that a smooth affine spherical G-variety X is uniquely determined by its weight monoid, which is the set of irreducible representations of G that occur in the coordinate ring of X. In this paper we use a combinatorial characterization of the weight monoids of smooth affine spherical varieties to classify:(a) all such varieties for G = SL(2) × C~×and(b) all such varieties for G simple which have a G-saturated weight monoid of full rank. We also use the characterization and Knop's classification theorem for multiplicity free Hamiltonian manifolds to give a new proof of Woodward's result that every reflective Delzant polytope is the moment polytope of such a manifold.     

2-(v,k,1)设计和PSL(3,q)(q是奇数)

§ 1　 IntroductionA2 -(v,k,1 ) design D=(S,B) consists ofa finite set Sof v points and a collection Bof some subsets of S,called blocks,such that any two points lie on exactly one blockand each block contains exactly k points.A flag of Dis a pair(α,B) such thatα∈S,B∈Bandα∈B,the set of all flags is denoted by F.We assume that2≤k≤v.An automorphism of Dis a permutation of the points which leaves the set Binvari-ant,all the automorphisms form a group Aut D.Let G be a subgroup of A…     

A VIEWPOINT TO MEASURE OF NON-COMPACTNESS OF OPERATORS IN BANACH SPACES

This article is committed to deal with measure of non-compactness of operators in Banach spaces. Firstly, the collection C(X)(consisting of all nonempty closed bounded convex sets of a Banach space X endowed with the uaual set addition and scaler multiplication) is a normed semigroup, and the mapping J from C(X) onto F(?) is a fully order-preserving positively linear surjective isometry, where ? is the closed unit ball of X*and F(?) the collection of all continuous and w*-lower semicontinuous sublinear functions on X*but restricted to ?. Furthermore, both ■ and ■ are Banach lattices and EK is a lattice ideal of EC. The quotient space EC/EK is an abstract M space, hence,order isometric to a sublattice of C(K) for some compact Haudorspace K, and(FQJ)C which is a closed cone is contained in the positive cone of C(K), where Q : E_C → E_C/E_K is the quotient mapping and F : E_C/E_K → C(K) is a corresponding order isometry. Finally, the representation of the measure of non-compactness of operators is given: Let B_X be the closed unit ball of a Banach space X, then■     

On the Extension of Isometries between Unit Spheres of E and C（Ω）

In this paper,we study the extension of isometries between the unit spheres of some Banach spaces E and the spaces C(Ω). We obtain that if the set sm.S1(E) of all smooth points of the unit sphere S1(E) is dense in S1(E),then under some condition,every surjective isometry V0 from S1(E) onto S1(C(Ω)) can be extended to be a real linearly isometric map V of E onto C(Ω).From this resultwe also obtain some corollaries. This is the first time we study this problem on different typical spaces,and the method of proof is also very different too.     

FURTHER INVESTIGATION INTO APPROXIMATION OF A COMMON SOLUTION OF FIXED POINT PROBLEMS AND SPLIT FEASIBILITY PROBLEMS

The purpose of this paper is to study and analyze an iterative method for finding a common element of the solution set ? of the split feasibility problem and the set F(T)of fixed points of a right Bregman strongly nonexpansive mapping T in the setting of puniformly convex Banach spaces which are also uniformly smooth.By combining Mann's iterative method and the Halpern's approximation method,we propose an iterative algorithm for finding an element of the set F(T) ∩ ?;moreover,we derive the strong convergence of the proposed algorithm under appropriate conditions and give numerical results to verify the efficiency and implementation of our method.Our results extend and complement many known related results in the literature.     

Banach Upper Density Recurrent Points of C~0-flows

Let X denote a compact metric space with distance d and F:X×R→X or F_t :X→X denote a C~0-flow.From the point of view of ergodic theory,all important dynamical behaviors take place on a full measure set.The aim of this paper is to introduce the notion of Banach upper density recurrent points and to show that the closure of the set of all Banach upper density recurrent points equals the measure center or the minimal center of attraction for a C~0-flow.Moreover,we give an example to show that the set of quasi-weakly almost periodic points can be included properly in the set of Banach upper density recurrent points,and point out that the set of Banach upper density recurrent points can be included properly in the set of recurrent points.