Induced path transit function, monotone and Peano axioms

The induced path transit function J(u,v) in a graph consists of the set of all vertices lying on any induced path between the vertices u and v. A transit function J satisfies monotone axiom if x,y∈J(u,v) implies J(x,y)⊆J(u,v). A transit function J is said to satisfy the Peano axiom if, for any u,v,w∈V,x∈J(v,w), y∈J(u,x), there is a z∈J(u,v) such that y∈J(w,z). These two axioms are equivalent for the induced path transit function of a graph. Planar graphs for which the induced path transit function satisfies the monotone axiom are characterized by forbidden induced subgraphs.     

Proximal and uniform convergence on apartness spaces

The main purpose of this paper is to investigate constructively the relationship between proximal convergence, uniform sequential convergence and uniform convergence for sequences of mappings between apartness spaces. It is also shown that if the second space satisfies the Efremovic axiom, then proximal convergence preserves strong continuity.     

传递过程的统一描述

提出了传递公理,即任何形式的传递过程都是在相应基本强度量差推动下,基本广延量的流动过程;基本广延量的传递过程也同时是与之对应的能和(火用)的传递过程。定义了热力学流密度和热力学力的数学表达式,在传递公理的基础上,利用能和(火用)的普遍化表达式,分别建立了三类广延量的传递定律。利用传递定律,结合广延量的平衡方程,导出了传递方程的普遍化表达式。     

算子集上的伪双曲距离

在复Hilbert空间上的有界线性算子构成的复Banach空间上,对算子范数小于1的交换自伴算子集定义了伪双曲距离,并且利用算子函数论的方法,证明了在此集合上定义的伪双曲距离满足距离公理且它关于变换φS(·)不变(此处S∈BH).     

Removing Laver functions from supercompactness arguments

We show how the use of a Laver function in the proof of the consistency, relative to the existence of a supercompact cardinal, of both the Proper Forcing Axiom and the Semiproper Forcing Axiom can be eliminated via the use of lottery sums of the appropriate partial orderings. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

Compact Metric Spaces and Weak Forms of the Axiom of Choice

It is shown that for compact metric spaces (X, d) the following statements are pairwise equivalent: “X is Loeb”, “X is separable”, “X has a we ordered dense subset”, “X is second countable”, and “X has a dense set G = ∪{G_n : n ∈ ω}, ∣G_n∣ < ω, with lim_n→∞ diam (G _n) = 0”. Further, it is shown that the statement: “Compact metric spaces are weakly Loeb” is not provable in ZF⁰ , the Zermelo‐Fraenkel set theory without the axiom of regularity, and that the countable axiom of choice for families of finite sets CAC_fin does not imply the statement “Compact metric spaces are separable”.     

介于T21/2与T3空间之间的拓扑空间

在“分离性公理T0,T12,T1,T112,T2,T212,T3,T312,T4具有关系T4■T312■T3■T212■T2■T112■T1■T12■T0,反之不成立”的基础上,从定义出发,利用归纳法及连续函数的等价性研究“T3■T234■T212”,并给出两个重要反例,证明了T234空间的一些性质,使分离性公理更加完善.     

熵函数导出方法的研究（Ⅲ）

熵函数是热力学中一个有特殊重要意义的状态函数,关于它的导出方法的讨论一直很活跃,除了传统Ｃａｒｎｏｔ循环导出法外,还可归纳了７种新的导出方法,多变数公理法和统计导出法是其中的２种方法,并以化学热力学的进展,作为对“熵函数导出方法的研究”课题的延迟和结束语。