Another proof forC 1 stability conjecture for flows

TheC ¹ structural stability conjecture for flows byC ¹ connecting lemma and obstruction sets is proved. Project supported by the National Natural Science Foundation of China.     

H(λ)-completely Hausdorff axiom on L-topological spaces

This paper defines the new concept of completely Hausdorff axiom of an L-topological space by means of L-continuous mappings from an L-topological space to the refined Hutton's unit L-interval by Wang. Some characterizations of the completely Hausdorff axiom, defined in this paper, are given, and many nice properties of this kind of completely Hausdorff axiom are proved. For example, it is hereditary and product invariant; the refined Hutton's unit L-interval satisfy this kind of completely Hausdorff axiom, and when an L-topological space satisfy this kind of completely Hausdorff axiom, every f-convergent ideal does not have f-limit points with different supports etc. The relation between the completely Hausdorff axiom defined in the paper and other separation axioms is discussed also.     

部分几何满足Pasch公理的充要条件

为研究将一部分几何〔１〕嵌入射影空间这一问题，文〔１〕给出了α（ｌ，ｈ）和ａ（ｌ，ｈ）的关系引理．现对此引理提出商榷意见，并给予修正     

一个概率不等式的推广

通过对于概率性质中次可加性的分析以及和若尔当公式的比较,猜想并证明了由次可加性推广的类似级数展开的一般不等式形式.     

Internally club and approachable

We prove that PFA implies for all regular λ?ω₂, there are stationarily many N⊆H(λ) with size ℵ₁ which are internally club but not internally approachable.     

Extending Independent Sets to Bases and the Axiom of Choice

We show that the both assertions “in every vector space B over a finite element field every subspace V ? B has a complementary subspace S” and “for every family ?? of disjoint odd sized sets there exists a subfamily ?={F_j:j ?ω} with a choice function” together imply the axiom of choice AC. We also show that AC is equivalent to the statement “in every vector space over ? every generating set includes a basis”.     

Largest fixed points of set continuous operators and Boffa's Anti‐Foundation

In Aczel [1], the existence of largest (written “greatest” in Barwise and Moss [2]) fixed points of set continuous operators is proved assuming the schema version of dependent choices in Zermelo‐Fraenkel set theory without the axiom of Foundation. In the present paper, we study whether the existence of largest fixed points of set continuous operators is provable without the schema version of dependent choices, using Boffa's weak antifoundation axioms. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

(n+2)-角的平移

以三角范畴的八面体公理为基础,研究了三角范畴的(n+2)-角的平移性质。当三角范畴T存在一个(n+2)-角时,利用数学归纳法证明了T的(n+2)-角平移后还是(n+2)-角。     

Suzumura模糊条件满足程度的研究

在Georgescu定义的模糊选择函数下，将Suzumura提出的显示偏好第一公理FARP，显示偏好第二公理SEARP和基本三元非循环BTA，以及Sugden提出的最小一致性条件MC推广到模糊选择函数中，给出它们的程度描述，并讨论它们之间的关系及它们与弱显示偏好公理程度WAFRP（C），弱一致性公理程度WFCA（C），Fα2（C）及Fβ2^＋（C）之间的关系．     

Unitarity as Preservation of Entropy and Entanglement in Quantum Systems

The logical structure of Quantum Mechanics (QM) and its relation to other fundamental principles of Nature has been for decades a subject of intensive research. In particular, the question whether the dynamical axiom of QM can be derived from other principles has been often considered. In this contribution, we show that unitary evolutions arise as a consequences of demanding preservation of entropy in the evolution of a single pure quantum system, and preservation of entanglement in the evolution of composite quantum systems. ⁶ We would also like to dedicate this work to the memory of Asher Peres, whose contributions and sharp comments guided the first steps of the present article.