On Quillen?s Theorem A for posets

A theorem of McCord of 1966 and Quillen?s Theorem A of 1973 provide sufficient conditions for a map between two posets to be a homotopy equivalence at the level of complexes. We give an alternative elementary proof of this result and we deduce also a stronger statement: under the hypotheses of the theorem, the map is not only a homotopy equivalence but a simple homotopy equivalence. This leads then to stronger formulations of the simplicial version of Quillen?s Theorem A, the Nerve Lemma and other known results. In particular we establish a conjecture of Kozlov on the simple homotopy type of the crosscut complex and we improve a well-known result of Cohen on contractible mappings.     

Intégrabilité au sens de Cauchy et -intégrabilité pour des applications à valeurs dans un espace de Banach

The equivalence between the Cauchy left-integrability and the Riemann-integrability, for a bounded function defined on a compact interval of with values in a Banach space, is a particular case of Theorem 2.1. A first generalization to the case of functions defined on a compact rectangle of ² is given by Theorem 2.5.     

ω_(aδ)~ω∪bω_δ形图簇的伴随分解及其补图的色等价性

研究图的伴随分解及其补图的色等价性.采用伴随多项式的性质讨论图的伴随分解式,通过图的伴随分解式确定其补图的色性.证明了形图簇的伴随多项式的分解定理,从上述定理得到了这类图簇的补图的色等价性.结论通过图的伴随分解研究其补图的色等价性,是有效的途径与方法,从图的伴随分解式容易看出其补图的色等价图的结构规律.     

Nonlinear reserving and multiple contract modifications in life insurance

Life insurance cash flows become reserve dependent when contract conditions are modified during the contract term on condition that actuarial equivalence is maintained. As a result, insurance cash flows and prospective reserves depend on each other in a circular way, and it is a non-trivial problem to solve that circularity and make cash flows and prospective reserves well-defined. In Markovian models, the (stochastic) Thiele equation and the Cantelli Theorem are the standard tools for solving the circularity issue and for maintaining actuarial equivalence. This paper expands the stochastic Thiele equation and the Cantelli Theorem to non-Markovian frameworks and presents a recursive scheme for the calculation of multiple contract modifications.     

A remark on Mansfield's imprimitivity theorem

We show that the Morita equivalence part of Mansfield's Imprimitivity Theory can be obtained by Green's Imprimitivity Theorem (and duality theory).

     

Intermediate rings between matrix rings and Ornstein dual pairs

We show that isomorphism of intermediate rings between row and column finite matrix rings and row finite matrix rings implies Morita equivalence of the coefficient rings and equality of the cardinality of the set of indices. Among the applications we extend the Isomorphism Theorem for Dual Pairs over Division Rings to Ornstein dual pairs over any class of rings for which Morita equivalence implies isomorphism.     

幺半环上模糊有限状态机的一些性质

状态机的很多性质在计算机等方面有着广泛的应用,因此对状态机的研究具有重要的意义.本文给出了幺半环上模糊有限状态机的概念,对状态之间的等价进行了定义,引入了同态的概念,得到同态定理和满同态分解定理,讨论了幺半环上模糊有限状态机在同态下的交换性质和连通性以及子状态机的可分离性.     

The Additivity Theorem in K-Theory

We present a method for converting Theorem B style proofs in algebraic K-theory to Theorem A style proofs and apply it to the additivity theorem.     

On the resolvent condition in the Kreiss Matrix Theorem

The Kreiss Matrix Theorem asserts the uniform equivalence over allN ×N matrices of power boundedness and a certain resolvent estimate. We show that the ratio of the constants in these two conditions grows linearly withN, and we obtain the optimal proportionality factor up to a factor of 2. Analogous results are also given for the related problem involving matrix exponentialse ^At . The proofs make use of a lemma that may be of independent interest, which bounds the arc length of the image of a circle in the complex plane under a rational function.Dedicated to Germund Dahlquist on the occasion of his sixtieth birthday.Research supported by NSF Mathematical Sciences Postdoctoral Fellowships, by the Courant Institute of Mathematical Sciences, and by the National Aeronautics and Space Administration under Contract No. NAS1-17070 while the authors were in residence at the Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, Hampton, VA 23665.     

Characteristics of Conservation Laws for Difference Equations

Each conservation law of a given partial differential equation is determined (up to equivalence) by a function known as the characteristic. This function is used to find conservation laws, to prove equivalence between conservation laws, and to prove the converse of Noether’s Theorem. Transferring these results to difference equations is nontrivial, largely because difference operators are not derivations and do not obey the chain rule for derivatives. We show how these problems may be resolved and illustrate various uses of the characteristic. In particular, we establish the converse of Noether’s Theorem for difference equations, we show (without taking a continuum limit) that the conservation laws in the infinite family generated by Rasin and Schiff are distinct, and we obtain all five-point conservation laws for the potential Lotka–Volterra equation.     

Analytically heavy spaces: Analytic Cantor and Analytic Baire Theorems

Motivated by recent work, we establish the Baire Theorem in the broad context afforded by weak forms of completeness implied by analyticity and K-analyticity, thereby adding to the ‘Baire space recognition literature’ (cf. Aarts and Lutzer (1974) [1], Haworth and McCoy (1977) [43]). We extend a metric result of van Mill, obtaining a generalization of Oxtoby's weak α-favourability conditions (and therefrom variants of the Baire Theorem), in a form in which the principal role is played by K-analytic (in particular analytic) sets that are ‘heavy’ (everywhere large in the sense of some σ-ideal). From this perspective fine-topology versions are derived, allowing a unified view of the Baire Theorem which embraces classical as well as generalized Gandy-Harrington topologies (including the Ellentuck topology), and also various separation theorems. A multiple-target form of the Choquet Banach-Mazur game is a primary tool, the key to which is a restatement of the Cantor Theorem, again in K-analytic form.     

Structural stability of market models

A market structure in the Arrow-Debreu framework can be represented by a finite number of traded securities. We examine an interesting structure that exists among markets. The partitioning of the set of all markets. M into its rank classes is a stratification of M. Some properties of an equivalence relation among markets are also studied. Some results on the ‘genericity’ of the properties of market structures are obtained.     

Ultrafilters and multidimensional Ramsey Theorems

Utilizing ultrafilters on the setN of natural numbers which have certain special properties, we prove some simultaneous generalizations of Ramsey's Theorem and several single dimension Ramsey-type theorems. (For instance, as a very special case, we obtain a simultaneous generalization of Ramsey's Theorem and van der Waerden's Theorem.) Examples are given to show directions in which these results cannot be extended.     

关于“华罗庚-王中烈型不等式”一文的注记

指出了［１］的定理２中的一个错误,推广了［１］中定理１给出的华罗庚－王中烈型不等式,避开控制不等式与动态规划模型等专门工具,改用较为初等的平均值不等式证明之,使改正后的［１］中的定理２成其推论     

Tietze's extension theorem in fuzzy topological spaces

This paper discusses the conceptual difficulties of generalizing standard topological terms of L-fuzzy topological terms. In particular, a theory of relative topologies and relative functions for L-fuzzy topological spaces is developed. The extension of a relative L-fuzzy continuous function into the fuzzy unit interval is defined. The equivalence of L-fuzzy continuous functions and monotone families of open sets is proved, and this equivalence is exploited to establish a fuzzy version of Tietze's Extension Theorem. Finally, a partial converse to the theorem is proved.