On invariant additive subgroups

Suppose thatR is a prime ring with the centerZ and the extended centroidC. An additive subgroupA ofR is said to be invariant under special automorphisms if (1+t)A(1+t)⁻¹ ⊆A for allt ∈R such thatt ²=0. Assume thatR possesses nontrivial idempotents. We prove: (1) If chR ≠ 2 or ifRC ≠C ₂, then any noncentral additive subgroup ofR invariant under special automorphisms contains a noncentral Lie ideal. (2) If chR=2,RC=C ₂ andC ≠ {0, 1}, then the following two conditions are equivalent: (i) any noncentral additive subgroup invariant under special automorphisms contains a noncentral Lie ideal; (ii) there isα ∈Z / {0} such thatα ² Z ⊆ {β ²:β ∈Z}.     

Transfer Results for the FIP and FCP Properties of Ring Extensions

For an extension E: R ? S of (commutative) rings and the induced extension F: R(X) ? S(X) of Nagata rings, the transfer of the FCP and FIP properties between E and F is studied. Then F has FCP ? E has FCP. The extensions E for which F has FIP are characterized. While E has FIP whenever F has FIP, the converse fails for certain subintegral extensions; it does hold if E is integrally closed, seminormal, or subintegral with R quasi-local having infinite residue field. If F has FIP, conditions are given for the sets of intermediate rings of E and F to be order-isomorphic.     

Embeddings ofC(Δ) andL 1[0, 1] in Banach lattices

It is proved that ifE is a separable Banach lattice withE′ weakly sequentially complete,F is a Banach space andT:E→F is a bounded linear operator withT′F′ non-separable, then there is a subspaceG ofE, isomorphic toC(Δ), such thatT _G is an isomorphism, whereC(Δ) denotes the space of continuous real valued functions on the Cantor discontinuum. This generalizes an earlier result of the second-named author. A number of conditions are proved equivalent for a Banach latticeE to contain a subspace order isomorphic toC(Δ). Among them are the following:L ¹ is lattice isomorphic to a sublattice ofE′;C(Δ)′ is lattice isomorphic to a sublattice ofE′; E contains an order bounded sequence with no weak Cauchy subsequence;E has a separable closed sublatticeF such thatF′ does not have a weak order unit. The research of both authors was partially supported by the National Science Foundation, NSF Grant No MPS 71-02839 A04.     

An intersection theorem for multivalued maps

LetE be a Banach space and letV, W ? E be two closed subspaces such thatE=V ⊕ W. LetF, G: E-· E be two multivalued maps. The problem we are concerned with is to give conditions onF andG ensuring the nonemptiness ofF(V) ∩ G(W).     

Existence of subgraph with orthogonal (g,f)-factorization

Simple graphs are considered. Let G be a graph andg(x) andf(x) integer-valued functions defined on V(G) withg(x)⩽f(x) for everyxɛV(G). For a subgraphH ofG and a factorizationF=|F ₁,F ₂,⃛,F ₁| ofG, if |E(H)∩E(F ₁)|=1,1⩽i⩽j, then we say thatF orthogonal toH. It is proved that for an (mg(x)+k,mf(x) -k)-graphG, there exists a subgraphR ofG such that for any subgraphH ofG with |E(H)|=k,R has a (g,f)-factorization orthogonal toH, where 1⩽k<m andg(x)⩾1 orf(x)⩾5 for everyxɛV(G). Project supported by the Chitia Postdoctoral Science Foundation and Chuang Xin Foundation of the Chinese Academy of Sciences.     

Spaces of compact operators and their dual spaces

LetE andF be reflexive Banach spaces andC the space of all compact linear operators fromE toF. A representation of the dual space ofC is given and it is proved thatC is either reflexive or nonconjugate. Applications of these results are also given.     

On extension of isometries in (F)-spaces

An (F)-spaceE is said to be locally midpoint constricted (in short, Imp-constricted) if there exists some>0 such thatD(A/2) <D(A) for every subsetA ofE with 0<D(A), whereD(A) denotes the diameter ofA. Our main result goes as follow: LetE be an Imp-constricted (F)-space andU an open connected subset ofE. Assume thatT:U F is an isometry (i.e., a distance-preserving map) which mapsU onto an open subset of the (F)-spaceF. ThenT can be extended to an affine homeomorphism fromE toF. Also, some other results about the question whether each isometry between two (F)-spaces is affine are obtained.     

<Emphasis Type="Italic">E′</Emphasis> and its relation with vector-valued functions on<Emphasis Type="Italic">E</Emphasis>

We study the relation between different spaces of vector-valued polynomials and analytic functions over dual-isomorphic Banach spaces. Under conditions of regularity onE andF, we show that the spaces ofX-valuedn-homogeneous polynomials and analytic functions of bounded type onE andF are isomorphic wheneverX is a dual space. Also, we prove that many of the usual subspaces of polynomials and analytic functions onE andF are isomorphic without conditions on the involved spaces.     

Separation theorems and minimax theorems for fuzzy sets

In this paper, we prove some theorems on fuzzy sets. We first show that, in order to demonstrate that the equality of shadows ofA andB implies the equality ofA andB, it is necessary to assume thatA andB are closed and thatS _H (A)=S _H (B) for any closed hyperplane hyperplaneH. We also obtain a separation theorem for two convex fuzzy sets in a Hilbert space. Finally, we investigate results relating to minimax theorems for fuzzy sets. We obtain a necessary and sufficient condition for compactness.The authors wish to express their sincere thanks to Professor Hisaharu Umegaki for his invaluable suggestions and advice.     

Vector bundles as direct images of line bundles

LetX be a smooth irreducible projective variety over an algebraically closed fieldK andE a vector bundle onX. We prove that, if dimX ≥ 1, there exist a smooth irreducible projective varietyZ overK, a surjective separable morphismf:Z →X which is finite outside an algebraic subset of codimension ≥ 3 inX and a line bundleL onX such that the direct image ofL byf is isomorphic toE. WhenX is a curve, we show thatZ, f, L can be so chosen thatf is finite and the canonical mapH ¹(Z, O) →H ¹(X, EndE) is surjective. Dedicated to the memory of Professor K G Ramanathan     

Theorems on the existence of separating surfaces

LetR andG be finite of sets inE ^d. This paper presents theorems on the existence of strict linear and spherical separators ofR andG that are similar to the fundamental separation theorem of Kirchberger. Kirchberger's theorem impliet that the strict linear separability of finite setsR andG is determined by the separability of all subsets of up tod+2 points ofR⊃G. This paper shows that under certain conditions, the linear separability ofR andG is determined by the separability of significantly fewer than all subfamilies of up tod+2 members ofR ⊃G. The same treatment is made of Lay's extension of Kirchberger's theorem to separation by hyperspheres. This research was supported by a PGS3 scholarship from NSERC.     

Topological direct sum decompositions of banach spaces

LetY andZ be two closed subspaces of a Banach spaceX such thatY≠lcub;0rcub; andY+Z=X. Then, ifZ is weakly countably determined, there exists a continuous projectionT inX such that ∥T∥=1,T(X)⊃Y, T ⁻¹(0)⊂Z and densT(X)=densY. It follows that every Banach spaceX is the topological direct sum of two subspacesX ₁ andX ₂ such thatX ₁ is reflexive and densX ₂**=densX**/X.     

Some remarks on the study of good contractions

LetX be a complex projective variety with log terminal singularities admitting an extremal contraction in terms of Minimal Model Theory, i.e. a projective morphism φ:X→Z onto a normal varietyZ with connected fibers which is given by a (high multiple of a) divisor of the typeK _x+rL, wherer is a positive rational number andL is an ample Cartier divisor. We first prove that the dimension of anu fiberF of φ is bigger or equal to (r-1) and, if φ is birational, thatdimF≥r, with the equalities if and only ifF is the projective space andL the hyperplane bundle (this is a sort of “relative” version of a theorem of Kobayashi-Ochiai). Then we describe the structure of the morphism φ itself in the case in which all fibers have minimal dimension with the respect tor. If φ is a birational divisorial contraction andX has terminal singularities we prove that φ is actually a “blow-up”.     

Intersecting self-similar Cantor sets

We define a self-similar set as the (unique) invariant set of an iterated function system of certain contracting affine functions. A topology on them is obtained (essentially) by inducing theC ¹-topology of the function space. We prove that the measure function is upper semi-continuous and give examples of discontinuities. We also show that the dimension is not upper semicontinuous. We exhibit a class of examples of self-similar sets of positive measure containing an open set. IfC ₁ andC ₂ are two self-similar setsC ₁ andC ₂ such that the sum of their dimensionsd(C ₁)+d(C ₂) is greater than one, it is known that the measure of the intersection setC ₂–C ₁ has positive measure for almost all self-similar sets. We prove that there are open sets of self-similar sets such thatC ₂–C ₁ has arbitrarily small measure.     

An analysis of the solution set to a homotopy equation between polynomials with real coefficients

We investigate the structure of the solution setS to a homotopy equationH(Z,t)=0 between two polynomialsF andG with real coefficients in one complex variableZ. The mapH is represented asH(x+iy, t)=h ₁(x, y, t)+ih ₂(x, y, t), whereh ₁ andh ₂ are polynomials from ℝ² × [0,1] into ℝ and i is the imaginary unit. Since all the coefficients ofF andG are real, there is a polynomialh ₃ such thath ₂(x, y, t)=yh₃(x, y, t). Then the solution setS is divided into two sets {(x, t)∶h ₁(x, 0, t)=0} and {(x+iy, t)∶h ₁(x, y, t)=0,h ₃(x, y, t)=0}. Using this division, we make the structure ofS clear. Finally we briefly explain the structure of the solution set to a homotopy equation between polynomial systems with real coefficients in several variables.     

Some remarks on normal property of graded subalgebras of polynomial rings

LetR be an integral domain andA a finely gradedR-subalgebra of a polynomial ring overR. There are two topics in this article concerning the normality ofA. The main result in the first topic is thatA is completely normal (or normal) if and only if the corresponding monoid is completely normal (or normal resp.) whenR is a Krull (or Dedekind resp.) domain. The main result in the second topic is that ifR is (completely) normal andA is equipped with a structure of a square-free pre-Hodge algebra overR, thenA is also (completely) normal. We also prove the statement in a sense converse to the one above.     

Twisted sums and a problem of Klee

LetF be a quasi-linear map on a separable normed spaceE, and assume thatF splits on an infinite-dimensional subspace ofE. Then the twisted sum topology on ℝ⊗_F E can be written as the supremum of a nearly convex topology and a trivial dual topology. (This partially answers a question of Klee.) The result applies to the Ribe space and to James’s space. To victor Klee     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

On the connectedness of the set of weakly efficient points of a vector optimization problem in locally convex spaces

In vector optimization, topological properties of the set of efficient and weakly efficient points are of interest. In this paper, we study the connectedness of the setE ^w of all weakly efficient points of a subsetZ of a locally convex spaceX with respect to a continuous mappingp:X Y,Y locally convex and partially ordered by a closed, convex cone with nonempty interior. Under the general assumptions thatZ is convex and closed and thatp is a pointwise quasiconvex mapping (i.e., a generalized quasiconvex concept), the setE ^w is connected, if the lower level sets ofp are compact. Furthermore, we show some connectedness results on the efficient points and the efficient and weakly efficient outcomes. The considerations of this paper extend the previous results of Refs. 1–3. Moreover, some examples in vector approximation are given.The author is grateful to Dr. D. T. Luc and to a referee for pointing out an error in an earlier version of this paper.     

Contact patterns of equal nonoverlapping spheres

LetF be a set of nonoverlapping spheres in Euclideann-spaceE ⁿ . By the contact pattern ofF we mean the graph whose vertex set isF and two vertices are adjacent whenever the corresponding spheres touch each other. Every graph turns out to be a contact pattern in some dimension. This paper studies the smallest dimensionn for a graphG such thatG is a contact pattern inE ⁿ . Among others, the smallest dimensions are determined for the join of a large complete graph and an empty graph, and for complete multipartite graphs with more vertex classes than the size of its largest vertex class.