关于同伦正则单态

同伦单态在文献[1]和[2]中被提出以后已成为同伦论的一个经典论题.本文引进同伦正则单态的概念,它严格介于同伦单态与同伦等价之间,并且在某种意义下刻划了同伦等价的一个特征.本文在点标拓扑空间的范畴Top~*中讨论,所有基点与常值映射均用*表示.范畴C的一个射j:E→A称为正则单态,如果存在两个射f,g:A→B(对某个B)使得j是f与g的等化子,即fj=gj,且对满足fh=gh的任意射h:X→A,存在唯一的射k:X→E使得jk=h.在Top~*的同伦范畴HTop~*中也就有了正则单态的概念.我们定义一个稍有差别的同伦正则单态的概念如下:     

Fibonacci序列的同余性质

<正> 自从Schechtman et al在1984年发现准晶(quasicrystals)以来,人们对Fibonacci序列的研究也日趋活跃起来。这里我们给出Fibonacci序列的同余性质。     

“复数没有大小”,但复数集是“有序集”

中学课本中常说复数没有大小,那是指在复数域内,无论如何规定其元素的顺序,也不能使之成为“有序数域”。也就是说,从数域的观点看,绝对无法在复数域内规定出一个大小关系即前述“顺序”关系来。但是这决不是说,人们无法在复数集内,按集论观点来规定其元素间时次序,使之成为有序集。为说明以上结论,首先介绍有序集的概念。     

现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

Cu基形状记忆合金中析出相的研究

本文利用 X 射线衍射分析、透射电镜等技术,研究了几种热处理制度下 Cu—27.84 Al—3.82 Ni(at%)合金中析出相;用会聚束(CBED)技术测定了析出相与马氏体的取向关系。结果表明:分级处理试样中析出相 r_2是复杂立方结构,晶格参数 a=0.87nm;大量弥散的折出相引起共格应变场,从而使分极处理试样 X 射线衍射峰型宽化;r_2与2H 马氏体的取向关系为;[00]2H‖[001]_r_2,(10)_(2H)‖(300)_r_2。     

马氏体相变的晶体取向关系

本文利用 Bain 应变和马氏体相变的表象理论阐明了马氏体相变的晶体取向关系。正是由于这附加的点阵不变切变和母相的形状协调,某些合金在某种条件下遵循 K—S 关系,而在另一些条件下遵循 N—关系或 G—T 关系。