Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

Abstract functions with continuous differences and Namioka spaces

Let be a semigroup and a topological space. Let be an Abelian topological group. The right differences of a function are defined by for . Let be continuous at the identity of for all in a neighbourhood of . We give conditions on or range under which is continuous for any topological space . We also seek conditions on under which we conclude that is continuous at for arbitrary . This led us to introduce new classes of semigroups containing all complete metric and locally countably compact quasitopological groups. In this paper we study these classes and explore their relation with Namioka spaces.

     

On the prime model property

Assume is superstable, is a formula over , is countable and is countable and . We investigate models in assuming has the prime model property. We prove some corollaries on the number of models in . We show an example of an -stable and with having exactly 3 models.

     

Factorisation in nest algebras. II

The main result of this paper is Theorem 5, which provides a necessary and sufficient condition on a positive operator for the existence of an operator in the nest algebra of a nest satisfying (resp. . In Section 3 we give a new proof of a result of Power concerning outer factorisation of operators. We also show that a positive operator has the property that there exists for every nest an operator in satisfying (resp. ) if and only if is a Fredholm operator. In Section 4 we show that for a given operator in there exists an operator in satisfying if and only if the range of is equal to the range of some operator in . We also determine the algebraic structure of the set of ranges of operators in . Let be the set of positive operators for which there exists an operator in satisfying . In Section 5 we obtain information about this set. In particular we discuss the following question: Assume and are positive operators such that and belongs to . Which further conditions permit us to conclude that belongs to ?

     

A Concordance Extension Theorem

Let be a manifold approximate fibration between closed manifolds, where , and let be the mapping cylinder of . In this paper it is shown that if is any concordance on , then there exists a concordance such that and . As an application, if and are closed manifolds where is a locally flat submanifold of and and , then a concordance extends to a concordance on such that . This uses the fact that under these hypotheses there exists a manifold approximate fibration , where is a closed -manifold, such that the mapping cylinder is homeomorphic to a closed neighborhood of in by a homeomorphism which is the identity on .

     

Algebraic obstructions and a complete solution of a rational retraction problem

For each compact smooth manifold containing at least two points we prove the existence of a compact nonsingular algebraic set and a smooth map such that, for every rational diffeomorphism and for every diffeomorphism where and are compact nonsingular algebraic sets, we may fix a neighborhood of in which does not contain any regular rational map. Furthermore is not homotopic to any regular rational map. Bearing in mind the case in which is a compact nonsingular algebraic set with totally algebraic homology, the previous result establishes a clear distinction between the property of a smooth map to represent an algebraic unoriented bordism class and the property of to be homotopic to a regular rational map. Furthermore we have: every compact Nash submanifold of containing at least two points has not any tubular neighborhood with rational retraction.

     

Approximation by polynomials with nonnegative coefficients and the spectral theory of positive operators

For a compact subset of symmetric with respect to conjugation and a continuous function, we obtain sharp conditions on and that insure that can be approximated uniformly on by polynomials with nonnegative coefficients. For a real Banach space, a closed but not necessarily normal cone with , and a bounded linear operator with , we use these approximation theorems to investigate when the spectral radius of belongs to its spectrum . A special case of our results is that if is a Hilbert space, is normal and the 1-dimensional Lebesgue measure of is zero, then . However, we also give an example of a normal operator (where is unitary and ) for which and .

     

Only single twists on unknots can produce composite knots

Let be a knot in the -sphere , and a disc in meeting transversely more than once in the interior. For non-triviality we assume that over all isotopy of . Let () be a knot obtained from by cutting and -twisting along the disc (or equivalently, performing -Dehn surgery on ). Then we prove the following: (1) If is a trivial knot and is a composite knot, then ; (2) if is a composite knot without locally knotted arc in and is also a composite knot, then . We exhibit some examples which demonstrate that both results are sharp. Independently Chaim Goodman-Strauss has obtained similar results in a quite different method.

     

Enclosings of decompositions of complete multigraphs in 2‐factorizations

Let k, m, n, λ, and μ be positive integers. A decomposition of into edge‐disjoint subgraphs is said to be enclosed by a decomposition of into edge‐disjoint subgraphs if and, after a suitable labeling of the vertices in both graphs, is a subgraph of and is a subgraph of for all . In this paper, we continue the study of enclosings of given decompositions by decompositions that consist of spanning subgraphs. A decomposition of a graph is a 2‐factorization if each subgraph is 2‐regular and spanning, and is Hamiltonian if each subgraph is a Hamiltonian cycle. We give necessary and sufficient conditions for the existence of a 2‐factorization of that encloses a given decomposition of whenever and . We also give necessary and sufficient conditions for the existence of a Hamiltonian decomposition of that encloses a given decomposition of whenever and either or and , or , , and .     

Some properties of infinite factorials

With the Axiom of Choice , for any infinite cardinal but, without , we cannot conclude any relationship between and for an arbitrary infinite cardinal . In this paper, we give some properties of in the absence of and compare them to those of for an infinite cardinal . Among our results, we show that “ for any infinite cardinal and any natural number n” is provable in although “ for any infinite cardinal ” is not.     

On the dimension of the product of two compacta and the dimension of their intersection in general position in Euclidean space

For every two compact metric spaces and , both with dimension at most , there are dense -subsets of mappings and with .

     

Precise rates of the first moment convergence in the LIL for NA sequences

Let be a strictly stationary sequence of negatively associated random variables with zero mean and finite variance. We set and , . If , then for any , we show the precise rates of the first moment convergence in the law of the iterated logarithm for a kind of weighted infinite series of and as , and as .     

Maps into complex space

If the dimension of is denoted by or , then a generic map satisfies , while in certain cases there is no map that satisfies .

     

The nonexistence of expansive homeomorphisms of a class of continua which contains all decomposable circle-like continua

A homeomorphism of a compactum with metric is expansive if there is such that if and , then there is an integer such that . It is well-known that -adic solenoids () admit expansive homeomorphisms, each is an indecomposable continuum, and cannot be embedded into the plane. In case of plane continua, the following interesting problem remains open: For each , does there exist a plane continuum so that admits an expansive homeomorphism and separates the plane into components? For the case , the typical plane continua are circle-like continua, and every decomposable circle-like continuum can be embedded into the plane. Naturally, one may ask the following question: Does there exist a decomposable circle-like continuum admitting expansive homeomorphisms? In this paper, we prove that a class of continua, which contains all chainable continua, some continuous curves of pseudo-arcs constructed by W. Lewis and all decomposable circle-like continua, admits no expansive homeomorphisms. In particular, any decomposable circle-like continuum admits no expansive homeomorphism. Also, we show that if is an expansive homeomorphism of a circle-like continuum , then is itself weakly chaotic in the sense of Devaney.

     

An Engel condition with derivation for left ideals

We generalize a number of results in the literature by proving the following theorem: Let be a semiprime ring, a nonzero derivation of , a nonzero left ideal of , and let . If for some positive integers , and all , the identity holds, then either or else the ideal of generated by and is in the center of . In particular, when is a prime ring, is commutative.

     

Free sets for set‐mappings relative to a family of sets

Given a family of subsets of , we try to compute the least natural number n such that for every function there exists a bijection such that for all .     

The Kidder Equation:

The Kidder problem is with and where . This looks challenging because of the square root singularity. We prove, however, that for all . Other very simple but very accurate curve fits and bounds are given in the text; . Maple code for a rational Chebyshev pseudospectral method is given as a table. Convergence is geometric until the coefficients are when the coefficients . An initial‐value problem is obtained if is known; the slope Chebyshev series has only a fourth‐order rate of convergence until a simple change‐of‐coordinate restores a geometric rate of convergence, empirically proportional to . Kidder's perturbation theory (in powers of α) is much inferior to a delta‐expansion given here for the first time. A quadratic‐over‐quadratic Padé approximant in the exponentially mapped coordinate predicts the slope at the origin very accurately up to about . Finally, it is shown that the singular case can be expressed in terms of the solution to the Blasius equation.     

Isomorphism of lattices of recursively enumerable sets

Let , and for , let be the lattice of subsets of which are recursively enumerable relative to the ``oracle' . Let be , where is the ideal of finite subsets of . It is established that for any , is effectively isomorphic to if and only if , where is the Turing jump of . A consequence is that if , then . A second consequence is that can be effectively embedded into preserving least and greatest elements if and only if .

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

On supports and associated primes of modules over the enveloping algebras of nilpotent Lie algebras

Let be a nilpotent Lie algebra, over a field of characteristic zero, and its universal enveloping algebra. In this paper we study: (1) the prime ideal structure of related to finitely generated -modules , and in particular the set of associated primes for such (note that now is equal to the set of annihilator primes for ); (2) the problem of nontriviality for the modules when is a (maximal) prime of , and in particular when is the augmentation ideal of . We define the support of , as a natural generalization of the same notion from commutative theory, and show that it is the object of primary interest when dealing with (2). We also introduce and study the reduced localization and the reduced support, which enables to better understand the set . We prove the following generalization of a stability result given by W. Casselman and M. S. Osborne in the case when , as in the theorem, are abelian. We also present some of its interesting consequences.

Theorem. Let be a finite-dimensional Lie algebra over a field of characteristic zero, and an ideal of ; denote by the universal enveloping algebra of . Let be a -module which is finitely generated as an -module. Then every annihilator prime of , when is regarded as a -module, is -stable for the adjoint action of on .