Accuracy of Computed Eigenvectors Via Optimizing a Rayleigh Quotient

This paper establishes converses to the well-known result: for any vector such that the sine of the angle sin(u, )=O(), we have

On a Problem of the Theory of Multiply Local Formations

We describe the -closed n-multiply local formations such that the lattice of all -closed n-multiply local formations between and is Boolean.     

A Remark on Subgroup Separability in the Class of Finite π-Groups

We prove that if a group G is residually , then for every -subgroup of the group G, the set of -roots from this subgroup is a -separable -subgroup.     

Generalized Quasi-Variational Inequalities Without Continuities

Given a nonempty set and two multifunctions , we consider the following generalized quasi-variational inequality problem associated with X, : Find such that . We prove several existence results in which the multifunction is not supposed to have any continuity property. Among others, we extend the results obtained in Ref. 1 for the case (x(X.     

On posets with isomorphic interval posets

Let be a partially ordered set, Int the system of all (nonempty) intervals of partially ordered by the set-theoretical inclusion . We are interested in partially ordered sets with Int isomorphic to Int . We are going to show that they correspond to couples of binary relations on A satisfying some conditions. If is a directed partially ordered set, the only with Int isomorphic to Int are corresponding to direct decompositions of ( denotes the dual of . The present results include those presented in the paper [11] by V. Slavík. Systems of intervals, particularly of lattices, have been investigated by many authors, cf. [1]–[11].     

On Some Rings of Arithmetical Functions

In this paper, we consider several constructions which from a given B-product * _B lead to another one We shall be interested in finding what algebraic properties of the ring are shared also by the ring . In particular, for some constructions the rings R _B and will be isomorphic and therefore have the same algebraic properties.     

Superlocals in Symmetric and Alternating Groups

On Aschbacher's definition, a subgroup N of a finite group is called a -superlocal for a prime if . We describe the -superlocals in symmetric and alternating groups, thereby resolving part way Problem 11.3 in the Kourovka Notebook [3].     

Precovers

Let be an abstract class (closed under isomorpic copies) of left R-modules. In the first part of the paper some sufficient conditions under which is a precover class are given. The next section studies the -precovers which are -covers. In the final part the results obtained are applied to the hereditary torsion theories on the category on left R-modules. Especially, several sufficient conditions for the existence of -torsionfree and -torsionfree -injective covers are presented.     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

Strong topologies on vector-valued function spaces

Let be a real Banach space and let E be an ideal of L ⁰ over a -finite measure space (, , ). Let (X) be the space of all strongly -measurable functions f: X such that the scalar function , defined by , belongs to E. The paper deals with strong topologies on E(X). In particular, the strong topology the order continuous dual of E(X)) is examined. We generalize earlier results of [PC] and [FPS] concerning the strong topologies.     

A Comparison Theorem on the Ricci Curvature in Projective Geometry

We show that if two Riemannian metrics and g are pointwiseprojectively equivalent and the Ricci curvatures satisfy Ric, then the projective equivalence is trivialprovided that g is complete. In this case, is parallel with respect to g and the Riemann curvatures of g and are equal.The Ricci curvature condition can be weakened when the manifold iscompact. This rigidity theorem actually holds for more general geometricstructures, such as Finsler metrics and sprays. In this paper, we willalso discuss several examples and show that the completeness of g cannot be dropped.     

A Comparison on the Commutative Neutrix Convolution of Distributions and the Exchange Formula

Let , be ultradistributions in and let and where is a sequence in which converges to the Dirac-delta function . Then the neutrix product is defined on the space of ultradistributions as the neutrix limit of the sequence provided the limit exist in the sense that

A Generalization of the Hausdorff-Young Theorem

Considering mixed-norm sequence spaces lp,q, p, q 1, C. N. Kellogg proved the following theorem: if 1 < p 2 then lp,2 and lp,2 , where 1/p + 1/p = 1. This result extends the Hausdorff-Young Theorem.We introduce here multiple mixed-norm sequence spaces , examine their properties and characterize the multipliers of spaces of the form lp,[s;n],q, with the index s repeated n times. By an interpolation-type argument we prove that (l,[2;n],2, lp,[1;n],1) for 1 < p 2. Using these results we obtain a further generalization of the Hausdorff-Young Theorem: if 1 < p 2 then lp,[2;n] and lp,[2;n] for each n = 0, 1, 2, ¨. The spaces lp,[2;n] decrease and lp,[2;n] increase properly with n for 1 < p < 2 and 1/p + 1/p = 1. We also extend a theorem of J. H. Hedlund on multiplers of Hardy spaces and deduce other results.     

Bases in Sobolev Spaces on Bounded Domains with Lipschitzian Boundary

In the Sobolev space , where is a bounded domain in ⁿ with a Lipschitzian boundary, for an arbitrarily given , we construct a basis such that the error of approximation of a function the Nth partial sum of its expansion with respect to this basis can be estimated in terms of the modulus of smoothness of order .     

A Higher-Order Analog of the Linking Number for a Pair of Divergence-Free Vector Fields

Pairs B, of divergence-free vector fields with compact support in are considered higher-order analog M(B, c (of order 3) of the Gauss helicity number H(B, )= , curl(A)=B; (of order 1) is constructed, which is invariant under volume-preserving diffeomorphisms. An integral expression for M is given. A degree-four polynomial m(B(x₁), B(x₂), ( ₁), ( ₂)), x₁, x₂, _{1 2} , is defined, which is symmetric in the first and second pairs of variables separately. M is the average value of m over arbitrary configurations of points. Several conjectures clarifying the geometric meaning of the invariant and relating it to invariants of knots and links are stated. Bibliography: 11 titles.     

Variational Inequality with Fuzzy Convex Cone

In this study, we discuss one type of variational inequality problem with a fuzzy convex cone , denoted by VI( , f). Different classes of fuzzy convex cones which are considered in different context of the problems will be discussed. According to the existence theorem, an approach derived from the concepts of multiple objective mathematical programming problems for solving the VI( , f) is proposed. An algorithm is developed to find its fuzzy optimal solution set with complexity analysis.     

On the Point Spectrum of Self-Adjoint Operators That Appears under Singular Perturbations of Finite Rank

We discuss purely singular finite-rank perturbations of a self-adjoint operator A in a Hilbert space . The perturbed operators are defined by the Krein resolvent formula , Im z 0, where B _z are finite-rank operators such that dom B _z dom A = |0}. For an arbitrary system of orthonormal vectors satisfying the condition span | _i } dom A = |0} and an arbitrary collection of real numbers , we construct an operator that solves the eigenvalue problem . We prove the uniqueness of under the condition that rank B _z = n.     

Implementation of the Sparr Interpolation Method in Classes of Spaces of Smooth Functions

The multidimensional Sparr interpolation method is implemented in the Besov spaces and the Lizorkin--Triebel spaces . It is shown that this results in Besov spaces of type . An interpolation theorem for Besov spaces using weak conditions of the form is formulated.     

Determinants in Triangulated Categories

For a small triangulated category , Bass's K ₁ group is described, and the theorem of the heart is proved. We define the determinant map from to Neeman's , and we compute this map when is the derived category of an Abelian category .     

Looking for Difference Sets in Groups with Dihedral Images

We prove four theorems about groups with a dihedral (or cyclic) image containing a difference set. For the first two, suppose G, a group of order 2p with p an odd prime, contains a nontrivial (v, k, ) difference set D with order n = k – prime to p and self-conjugate modulo p. If G has an image of order p, then 0 2a + 2 for a unique choice of = ±1, and for a = (k – )/2p. If G has an image of order 2p, then and ( – 1)/( – 1). There are further constraints on n, a and . We give examples in which these theorems imply no difference set can exist in a group of a specified order, including filling in some entries in Smith's extension to nonabelian groups of Lander's tables. A similar theorem covers the case when p|n. Finally, we show that if G contains a nontrivial (v, k, ) difference set D and has a dihedral image D _2m with either (n, m) = 1 or m = p ^t for p an odd prime dividing n, then one of the C ₂ intersection numbers of D is divisible by m. Again, this gives some non-existence results.