籍闭缩区间套原理构造实数系统

常见扩张有理数域成实数域的方法有Dedekind分割法,Cantor基本序列法和公理系统法等,各以实数连续性的某种等价形式作依据。本文试以闭缩区间套原理作依据构造一实数系统,并证明这个系统满足实数连续性公理且与Dedekind实数系统等价。下面用N表示自然数集,Q表示有理数集。Q上的有关概念均按已知对待。     

一类正实数的整数部分与小数部分的分离

对于一个实数 X,把不大于 X 的最大整数叫做实数 X 的整数部分,并用[X]表示,而 X—[x]则为0或为一正的纯小数,记为{X},叫做实数 X 的小数部分,实数的整数部分和小数部分,是描述一个实数的特征的两个十分重要的概念,它们的用途也很广泛.很多情况下,需要把它们明确地分离开来,以下将指出如何把一类形如(a~(1/2)+b~(1/2))~n(a、b、m∈Ν.N 表示正数集,     

实数连续性的16个等价命题

以十进位小数表示为出发点,借助连续归纳法把实数连续性常用的7个等价命题扩充到16个等价命题,其中包括有界闭集上连续函数的三大性质,这充分显示了实数连续性在整个数学分析中的重要地位和作用.     

实数十进制小数表示中的几个问题探讨

用纯粹初等方法回答实数十进制小数表示中几个易被忽视的问题：为什么有理数（分数）恰好是有限小数或无限循环小数？如何认识无理数是“无限不循环小数”？如何化无限循环小数为分数？分数能够化为有限小数、纯循环小数或混循环小数的充分必要条件是什么？最后进一步分析了分数表为无限循环小数的大循环部分与循环节长度问题，由于避开了抽象严密的实数构造理论，本文的论述对中学生、一年级大学生可以有很好的启示作用．     

十进位数化为P进位数的数位换算公式与性质

一般地我们需要将抽象的实数以一种具体的形式来表示,通常实数都采用十进位小数的形式来表示,但在实际应用中也需要将实数以其它形式的进位制小数来表示。本文给出将任意实数在通常情形下的十进位小数表示转化为更一般的P进位小数表示形式的数位换算公式及性质。     

实数系的连续性和完备性的若干等价定理

以十进制小数表示作为出发点,给出实数定义,并以此为基础证明了单调收敛定理.总结了描述实数系连续性和完备性的若干等价定理,即:单调收敛定理,上(下)确界定理,边界点定理,戴德金分割定理,辛钦定理,区间套定理,聚点原理,有限覆盖定理,致密性定理,柯西收敛准则.     

实数连续性九个等价命题的证明

叙述九种形式的实数连续性定理,并采用闭循环回路方式证明这九种常见实数连续性定理彼此等价。     

实数圆与广义实数系R∞

用实数圆建立了一个关于“∞”的几何模型,得到了最小和最大的两个广义实数——左无穷和右无穷,并给出数中带左右沿的广义实数系R∞,指出了人们对“∞”认识上的一些误区及潜无穷对极限理论的消极影响,消除了极限中表述的矛盾.     

正实数阶广义M集的外部结构

推广了Philip所提出的“区域分解”和“角度分解”方法,提出了等势线和色彩调配法,并利用这四种方法构造了一系列正实数阶广义M集的外部结构图·研究了广义M集外部结构的分形特征及演化过程,结果表明整数阶广义M集的外部区域具有分形特征,小数阶广义M集的外部区域出现了错动和断裂,且其演化过程依赖于相角主值范围的选取     

实数的稠密性

实数的稠密性最简单的描述是任意两个不等的实数之间都有无限个其它实数.这个命题的证明是简单的.但是实数的稠密性的另一个含义,即任意两个不等的有理数之间都有无限个无理数,任意两个不等的无理数之间都有无限个有理数,确不容易显式的证明.文章利用实数的十进制表示来详细地证明这个事实.     

一类混合型交换四元数矩阵实表示的性质及应用

在引入混合型交换四元数及混合型交换四元数矩阵概念的基础上,首先,证明了混合型交换四元数和实数域上的4阶矩阵是同构的,将对混合型交换四元数的研究转化为对实数域上4阶矩阵的研究.其次,在混合型交换四元数矩阵和实数域上4n阶矩阵同构的基础上,将对混合型交换四元数矩阵的研究转化为对实数域上4n阶矩阵的研究.利用实矩阵的性质得到混合型交换四元数矩阵实表示的系列性质,并给出了混合型交换四元数矩阵可逆的等价条件.以混合型交换四元数矩阵实表示的性质为基础,得到混合型交换四元数矩阵复特征值的个数及特征值存在的充分必要条件,并将实数域上的盖尔圆盘定理推广到混合型交换四元数矩阵上.最后,利用具体的数值算例验证了混合型交换四元数矩阵盖尔圆盘定理的正确性和有效性.     

更好地理解量子理论的新方法

采用与通常教科书不同的方式,讨论了量子力学中的一些对初学者很难理解的概念,如量子化、对易关系、用矩阵表示力学量、引进复数i等.解决在实轴上“挖洞”、映射到实数以及找出作为动力学变量的生成元,都是与对上述概念的理解相联系的.     

并联机器人运动学正解的实解分析

在３ － ６ 并联机器人运动学正解解析解的研究基础上，对其正解的最大实解个数进行进一步的分析研究·研究表明其正解问题最后可转化为一个高次多项式方程求解问题，称此方程为正解的等价多项式方程·通过分析可知，运动学正解实解的个数的上限为： 当自变量在其解区间时其等价多项式方程实解的个数·最后应用 Ｓｔｕｒｍ 定理对正解最大实解个数进行判定·     

MDR概念系统注册及本体表示标准化研究

随着大数据与人工智能在各个领域的深入应用，知识表示的标准化问题被提到了重要的日程。为实现知识表示的标准化，引入了现实世界、概念世界与计算机世界3个世界模型，明确阐述了将现实世界中的事物通过抽象，将其转化为概念世界中的概念系统模型，依据标准将其转化为计算机世界中的信息模型，从而实现知识表示。为了使概念系统模型表示规范化，重点研究了ISO/IEC 11179 MDR系列标准，剖析了其中的概念系统注册元模型规范，构建了MDR概念系统的七元组模型，同时还定义了概念间关系表示方法，为概念系统模型的表示奠定了基础。为了将注册在MDR中的概念系统模型转为计算机世界中的OWL本体表示模型，定义了将MDR概念系统向OWL本体映射的规则。最后，设计并开发了概念系统注册原型系统，验证了MDR概念系统和本体表示的可行性。研究成果为领域知识表示的标准化提供了方法论。     

基于实数连续性定理等价的新探讨

实数集关于极限的运算是封闭的 ,这就是实数的连续性 ;实数的连续性理论是构筑极限理论的重要基础 ;实数连续性定理虽然数学表现形式不同 ,但它们都描述了实数的连续性 ,它们彼此是等价的 ,即任意一个定理都是其它定理成立的充要条件 ,另辟蹊径对其等价性进行了新的探讨。     

用差分代换研究实数域中多项式的半正定性

以逐次差分代换为依据,提出了多级差分代换平凡和非平凡以及绝对差分代换非平凡的概念;通过分情形讨论,将实数域中的多项式转化为正数域中的等价多项式集,从而实现用差分代换研究实数域中多项式半正定性的问题。     

关于一个实齐次核的Hilbert型积分不等式

应用实分析技巧权函数的方法,给出了一个新的实齐次核的Hilbert型积分不等式及其等价形式,同时证明了常数因子的最佳性。     

基于矩阵半张量积求解弱双四元数调节方程

基于矩阵半张量积及弱双四元数的实向量表示,将弱双四元数调节方程A₁X－A₂XB=C转化为无约束的实矩阵方程,利用实矩阵方程得到弱双四元数调节方程的(anti-)Hermitian解,通过数值实验检验了此方法的有效性,并将此方法应用于时变线性系统的连续归零动力学设计.