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.     

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).     

An algebraic invariant for Jordan automorphisms on β(<Emphasis Type="Italic">H</Emphasis>): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H) the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that Φ is a surjective map from B(H) onto itself. If for every λ ∈ -1,1,2,3, and A, B ∈ B(H),A-λB ∈I(H) ⇔ Φ(A) -λΦ(B) ∈I(H, then Φ is a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that Φ(A) = TAT ^-1 for all A ∈ B(H), or Φ(A) = TA*T ^-1 for all A ∈ B(H); if, in addition, A-iB ∈I(H)⇔ Φ(A)-iΦ(B) ∈I(H), here i is the imaginary unit, then Φ is either an automorphism or an anti-automorphism.     

A Rank Theorem of Operators between Banach Spaces

Suppose that E and F are two Banach spaces and that B(E, F) is the space of all bounded linear operators from E to F. Let T ₀∈B(E, F) with a generalized inverse T ₀ ⁺∈B(F, E). This paper shows that, for every T∈B(E, F) with ‖T ₀ ⁺ (T−T ₀)‖<1, B ≡ (I + T ₀ ⁺(T−T ₀))⁻¹ T ₀ ⁺ is a generalized inverse of T if and only if (I−T ₀ ⁺ T ₀)N(T) = N(T ₀), where N(·) stands for the null space of the operator inside the parenthesis. This result improves a useful theorem of Nashed and Cheng and further shows that a lemma given by Nashed and Cheng is valid in the case where T ₀ is a semi-Fredholm operator but not in general.     

A common property of R(E, F) and B(ℝ n , ℝ 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(? ⁿ ) is a Banach space as well as an algebra, while B(? ⁿ , ? ^m ) 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(? ⁿ , ? ^m )). In fact, we have that 1) suppose Σ _r ∈ B(? ⁿ , ? ^m ), and then Σ _r is a smooth and path-connected submanifold of B(? ⁿ , ? ^m ) and dimΣ _r = (n + m)r ? r ², 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 T _A Σ _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(? ⁿ ), 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.     

Best Simultaneous Approximation in L(I,E)

Let G be a reflexive subspace of the Banach space E and let L^p(I,E) denote the space of all p-Bochner integrable functions on the interval I=[0,1] with values in E, 1p∞. Given any norm N( , ) on R², N nondecreasing in each coordinate on the set R²₊, we prove that L^p(I,G) is N-simultaneously proximinal in L^p(I,E). Other results are also obtained.     

On the length of commutators in Chevalley groups

Let G = G(Φ,R) be the simply connected Chevalley group with root system Φ over a ring R. Denote by E(Φ,R) its elementary subgroup. The main result of the article asserts that the set of commutators C = {[a, b]|a ∈ G(Φ, R), b ∈ E(Φ, R)} has bounded width with respect to elementary generators. More precisely, there exists a constant L depending on Φ and dimension of maximal spectrum of R such that any element from C is a product of at most L elementary root unipotent elements. A similar result for Φ = A _l , with a better bound, was earlier obtained by Sivatski and Stepanov.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Cocycle Twisting of E(n)-Module Algebras and Applications to the Brauer Group

We classify the orbits of coquasi-triangular structures for the Hopf algebra E(n) under the action of lazy cocycles and the Hopf automorphism group. This is applied to detect subgroups of the Brauer group BQ(k,E(n)) of E(n) that are isomorphic. For any triangular structure R on E(n) we prove that the subgroup BM(k,E(n),R) of BQ(k,E(n)) arising from R is isomorphic to a direct product of BW(k), the Brauer-Wall group of the ground field k, and Sym_n(k), the group of n × n symmetric matrices under addition. For a general quasi-triangular structure R on E(n) we construct a split short exact sequence having BM(k,E(n),R⁾ as a middle term and as kernel a central extension of the group of symmetric matrices of order r < n (r depending on R). We finally describe how the image of the Hopf automorphism group inside BQ(k,E(n)) acts on Sym_n (k).     

Switching Sets Regolari E Cubiche Rigate Di P G (5, q ) Piani Di Tralsazione Ad Essi Associati G (5, q ) Piani Di Tralsazione Ad Essi Associati

In a recent paper, the authors studied some algebraic hypersurfaces of the third order in the projective spacePG(5,q) and they called them ruled cubics, since they possess three systems of planes. Any two of these constitute a regular switching set and furthermore, if Σ is a given regular spread ofPG(5,q), one of the three systems is contained in Σ. The subject of this note is to prove, conversely, that every regular switching set (Φ, Φ′) with Φ ⊂ Σ is a ruled cubic and to construct, for a generic choice of the projective reference system inP G(5,q), the quasifield which coordinatizes the translation plane Π associated with the spread (Σ − Φ) ∪ Φ′. The planes Π, of orderq ³, are a generalization of the finite Hall planes.     

Elementary characterizations of generalized weighted Morrey-Campanato spaces

Let α∈ (0,∞), p, q ∈ [1,∞), s be a nonnegative integer, and ω∈ A1(Rn) (the class of Muckenhoupt's weights). In this paper, we introduce the generalized weighted Morrey-Campanato space L(α, p, q, s, ω; Rn) and obtain its equivalence on different p ∈ [1,β) and integers s ≥ nα (the integer part of nα), where β = (1q - α)-1 when α 1q or β = ∞ when α≥ 1q. We then introduce the generalized weighted Lipschitz space ∧(α, q, ω; Rn) and prove that L(α, p, q, s, ω; Rn)  ∧(α, q, ω; Rn) when α∈ (0,∞), s ≥ nα , and p ∈ [1,β).     

Lefschetz fixed point theory on fibrations

For a fibre preserving map ϕ: E → E on a fibration (E, π, B), we construct a grading preserving map T(ϕ, π) between H*(E) and H*(B) that generalizes the Lefschetz number. If T(ϕ, π) is an isomorphism between H ⁰(E) and H ⁰(B), then π restricts to a surjective local diffeomorphism on each connected component of the fixed point set of ϕ under a transversality condition. This yields a characterization for the bundle H → G → G/H to be trivial when π ₁ (G/H) = 0.     

Quasirecognition by the set of element orders of the groups E 6( q ) and 2 E 6( q )

We prove that if L is one of the simple groups E ₆(q) and ² E ₆(q) and G is some finite group with the same spectrum as L, then the commutant of G/F(G) is isomorphic to L and the quotient G/G′ is a cyclic {2,3}-group. Original Russian Text Copyright ? 2007 Kondrat’ev A. S. The author was supported by the Russian Foundation for Basic Research (Grant 04-01-00463) and the RFBR-NSFC (Grant 05-01-39000). __________ Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 48, No. 6, pp. 1250–1271, November–December, 2007.     

The Inertia Set of Nonnegative Symmetric Sign Pattern with Zero Diagonal

The inertia set of a symmetric sign pattern A is the set i(A) = {i(B) | B = B ^T ∈ Q(A)}, where i(B) denotes the inertia of real symmetric matrix B, and Q(A) denotes the sign pattern class of A. In this paper, a complete characterization on the inertia set of the nonnegative symmetric sign pattern A in which each diagonal entry is zero and all off-diagonal entries are positive is obtained. Further, we also consider the bound for the numbers of nonzero entries in the nonnegative symmetric sign patterns A with zero diagonal that require unique inertia.     

Formule de Rice en dimension d

Summary Let {x(t): tR ^d} a stochastic process with parameter in R ^d, and u a fixed real number. Denote by C _u, A_u, B_u respectively the random sets {t: x(t)= u}, {t: x(t)}, {t: x(t)>u}. The paper contains two main results for processes with continuously differentiable paths plus some additional requirements: First, a formula for the expectation of Q _T(A_u) and Q _T(B_u), where for a given bounded open set T in R ^d, Q_T(B) denotes the perimeter of B relative to T and second, sufficient conditions on the process, so that it does not have local extrema on the barrier u. The second result can also be used to interpret the first in terms of C _u.     

The exact Hausdorff measures for the graph and image of a multidimensional iterated Brownian motion

Let {W(t),t∈R}, {B(t),t∈R } be two independent Brownian motions on R with W(0) = B(0) = 0. In this paper, we shall consider the exact Hausdorff measures for the image and graph sets of the d-dimensional iterated Brownian motion X(t), where X(t) = (Xi(t),... ,Xd(t)) and X1(t),... ,Xd(t) are d independent copies of Y(t) = W(B(t)). In particular, for any Borel set Q (?) (0,∞), the exact Hausdorff measures of the image X(Q) = {X(t) : t∈Q} and the graph GrX(Q) = {(t, X(t)) :t∈Q}are established.     

The Characteristic Intersection Property of Line-Free Choquet Simplices in E d

Abstract. Generalizing the characteristic intersection property of Choquet simplices, it is proved that for line-free convex bodies B ₁ and B ₂ in E ^d , the following conditions are equivalent: (i) there is a line-free convex body B ⊂ E ^d such that every nonempty intersection B ₁ ∩ (v + B ₂ ) , v ∈ E ^d , is a homothetic copy of B , (ii) both B ₁ and B ₂ are Choquet simplices and the nonempty intersections B ₁ ∩ (v + B ₂ ) , v ∈ E ^d , are homothetic copies of a Choquet simplex B . All such triplets B ₁ ,B ₂ ,B are described.     

Existence Results for Set-Valued Vector Quasiequilibrium Problems

This paper deals with the set-valued vector quasiequilibrium problem of finding a point (z ₀,x ₀) of a set E×K such that (z ₀,x ₀)∈B(z ₀,x ₀)×A(z ₀,x ₀), and, for all η∈A(z ₀,x ₀),

On the square root of a positive B( )-valued function

Let (Ω, , μ) be a measure space, a separable Banach space, and ^* the space of all bounded conjugate linear functionals on . Let f be a weak^* summable positive B( ^*)-valued function defined on Ω. The existence of a separable Hilbert space , a weakly measurable B( )-valued function Q satisfying the relation Q^*(ω)Q(ω) = f(ω) is proved. This result is used to define the Hilbert space L_2,f of square integrable operator-valued functions with respect to f. It is shown that for B⁺( ^*)-valued measures, the concepts of weak^*, weak, and strong countable additivity are all the same. Connections with stochastic processes are explained.     

两类惯量惟一的对称符号模式

§ 1　 IntroductionA sign pattern(matrix) A is a matrix whose entries are from the set{ +,-,0 } .De-note the setofall n× n sign patterns by Qn.Associated with each A=(aij)∈ Qnis a class ofreal matrices,called the qualitative class of A,defined byQ(A) ={ B =(bij)∈ Mn(R) |sign(bij) =aijfor all i and j} .　　 For a symmetric sign pattern A∈ Qn,by G(A) we mean the undirected graph of A,with vertex set { 1 ,...,n} and (i,j) is an edge if and only if aij≠ 0 .A sign pattern A∈ Qnis a do…