构造性实数论中几个基本谓词在Kleene分层下所属的类型

<正> 构造性的实数论,是用能行性理论作为方法研究实数的理论;把实数的定义加以构造地处理,进而研究它们的各种性质.构造性实数,也称为可计算实数,它的第一个定义是 A.M.Turing 1936年提出     

一个不定方程以及它的实数解

研究了一类不定方程 ,并获得了它的所有实数解     

星象的典型实照函数

<正> 1.設f(z)是在|z|<1上为正則的、并且把实数映成实数,当z>0时,f(z)>0,当z<0时,f(z)<0的函数.罗各辛斯基称单位圓上的这种函数为典型实照函数.单位圓上所有适合条件f(0)=0,f′(0)=1的典型实照函数f(z)全体記为T.     

趣说一元二次方程根的特性

1.根的实数性众所周知,对于实系数方程ax2 bx c=O(a≠O)来说,只有在△=b2—4ac≥O才有实数根.并且满足:△>0方程有两个不相等的实数根;△=0方程有两个相等的实根.△<0方程无实数根.因此,一个实系数的一元二次方程,最多只有2个实根.     

康托尔实数的局限性

康托尔为我们建立了集合论，并且证明了实数的不可数性，但是其中留下了很多疑点． 1．—个实数能在每—个集合论模型中出现的充分必要条件是它是可以被集合论来定义的．那些在集合论模型中不出现的实数，我们可以把他们叫做看不见的实数． 2．在实数的十进位无穷小数表示法中有些是我们能确切地知道它的第几位是什么，但是对另外的一些实数我们对它们就只能有模糊的认识，也就是说它的第几位是什么我们不可能全部知道．我们可以把他们叫做写不出的实数． 3．由于Cantor关于实数是不可数的证明不是构造性的证明，而是用所谓的归谬证法．它们中有很多是看不见写不出的实数．因此说它们是虚拟的实数． 4．虚拟实数就像银行中的虚拟货币，你可用它来买东西，它可从—个户头转拨到另—个户头，但是钱的实体是不存在的。这个现象也让我们对某些数学工具的合法性挺出质疑．我们用对角线法来证明实数的基数比自然数的基数大。但是我们并没有真正有效的地构造出那么多的实数．因此我们没有办法来确切地定义它们．也可以说它们中的绝大多数是不可以定义的．在一般的情况下虚拟实数是不可以个别地使用的．     

一个稠密性定理及其应用

我们知道,有理数集合在实轴上是稠密的,即对任何实数x和任意ε>0,存在有理数y,使得|x-y|<ε。但这个稠密性的严格证明是在实数理论建立的过程中完成的,它超出了中等数学的范围,我们在这篇短文中将利用公度的概念(它只涉及无理数的存在性)介绍另一个可以直接证明的稠密性定理,并讨论它在二维空间中的推广,进而给出它的一个应用。     

实数的連續性

在高中代数課本第二册83。“关于极限的定理”这一节中,列举了关于极限的六个定理。除了第二个定理外,其余五个定理,在任何一本数学分析課本中,都可找到証明。但是,对于第二个定理,通常的数学分析課本上,有着不同的处理方式:有的采取作为不加証明的基本命題;有的从实数的連续性出发,当作一个定理来証明它。由于对实数連續性的叙述,有各种不同方式,因而,对这个定理的证明,也是各式各样的。这里,我們将从高中代数課本第一册的实数字义出发,介紹这个定理的証明。实数是什么?可以有各种不同方式来回答这个問題:中学代数是用无限小数来作为实数定义的。而在高等数学中,最常见的有两种方式:按照德得金(Dedckind)的实数理论,实数是有理数的分划;按照康脱(Cantor)的实数理論,实数是有理数的正則序列的类。可以証明,这几种定义是等价的。由于定义实数     

一个函数方程及其它的实数解

运用求函数条件极值的方法研究了一类函数方程的可解性,并获得了它的所有实数解,从而推广了美籍罗马尼亚著名数论专家F.Smaranche教授的一个问题.     

二阶非线性椭圆型方程组的复形式与某些边值问题

§1.二阶非线性椭圆型方程组的复形式 设实变量x,y,x_1,…,x_(12)的实变函数Φ_j(x,y,x_1,…,x_(12),j=1,2对区域G内任意的x,y和任意的实数x_1,…,x_(12)都有定义并且连续,又对任意的实数x_7,…,x_(12)都有一阶连续偏导数,而且没有实数λ,使以下行列式为0,即     

数学中的“五虎将”

数学中有五个最突出的数 ,即 1,0 ,ｉ,π ,е ,这五个数是最具代表性的 ,是数学中的五虎将 .“1”是一切实数的出发点 ,通过它和自然数对可构造全体实数 ;“0”是正负数的分界点 ,是所有实数中唯一的中性数 ;“ｉ”是虚数的基本单位 ,借助它可以完成从实数到复数的扩充 ;“π”是圆的周长与该圆的直径之比 ,称为圆周率 ,它是一个与圆的大小无关的量 ,它在数学和自然科学中有广泛的应用 ,有人戏称“不可一日无此君” .“е”是近代发现的超越数 (不是任何整系数代数方程的根的数 ) ,成为普遍使用的自然对数的底 .“1” ,“0”代表算数 ,“ｉ…     

转换复数问题的几种途径

<正>复数求解问题是复数运算中的一个难点,处理不好,就会陷入繁冗的计算中去,针对这点,本文试图通过数例来说明解决这类问题的几个途径.一、化虚为实由于复数是在实数的基础上扩充的,因而与实数有着密切联系.所以许多复数问题如能依据问题的条件特征及有关的复数知识化虚为实,及时转化为实数问题来处理,则能迅速找到解题的突破口,使问题顺利快捷获解.     

关于实对称半正定阵的几个结论

利用矩阵合同与交换的性质,运用矩阵运算技巧得到关于实对称半正定阵的若干性质,将实数的某些理论推广到实对称阵中.     

适合无限维实零点定理的序域之结构Ⅱ

在本文的第二部分中,我们研究了适合无限维实零点定理的序域的结构．通过嵌入,我们证明了,一个序域适合无限维实零点定理,当且仅当它的实闭包同构于域的某个具有无限维逼近性质的子域,这里是一个无裂缝的可除序群,｛Γ｝是指数在中,系数为实数的形式幂级数域．     

适合无限维实零点定理的序域之结构II

在本文的第二部分中,我们研究了适合无限维实零点定理的序域的结构。通过嵌入,我们证明了,一个序域适合无限维实零点定理,当且仅当它的实闭包同构于域Ｒ｛Γ｝的某个具有无限维逼近性质的子域。这里Γ是一个无裂缝的可除序群,Ｒ｛Γ｝是指数在Γ中,系数为实数的形式幂级数域。     

Weiarstrass逼近定理及stone的推广(续完)

<正> 五、Stone的拓广先介绍几个基本概念。定义设A是定义在点集E上的实函数族,如果对于任何f,g∈A和任意实数α,β,有αf+βg∈A且f·g∈A,即A对于加法、乘法和数乘是封闭的,则称A是E上的一个(函数)代数。例如所有多项式全体(在实轴或任一区间上)成一多项式代数。E上的连续函数全体记     

■=z■z∈R的应用

如果复数z是实数,则z的共轭复数仍是它本身,反之也对,利用=zz∈R解决一些复数问题常常显得思路清晰,解答迅速准确。例1 名为虚数,且z 4/z为实数,求复数z的轨迹。解 z 4/z为实数:=z 4/z 4/=z 4/zz- 4/z-4/=0(z-)(1-4/)=0(z为虚数z-≠0)1-4/=0=4|z|=2。故满足条件的复数z的轨迹是以原点为圆心,以z为半径的圆(不包括与实轴的交     

利用复数解不等式问题

众所周知,不等式的概念是建立在实数基础上的,不全为实数的两个复数不能比较大小。但是,复数与不等式并非水火不容,它们之间存在着一种“血缘”关系——反映在复数的实部、虚部和模之间的关系,以及几个复数的模之间的关系。     

构造Banach空间上非线性方程解的预解式迭代过程

一 设X是实Banach空间,X是它的对偶空间。A:X→2~X为一集合值非线性映象,0∈A_x称为关于A的非线性映象方程。对于任一确定的正实数λ,设逆映象 J_λ=(I λA)~(-1)存在并单值,称J_λ为A的预解式算子,并称     

初中数学总复习(一)(数与式)

2 选择题 (1)(江西省)无理数是( ) (A)无限循环小数 (B)开方开不尽的数 (C)除有限小数以外的所有实数 (D)除有理数以外的所有实数 (2)(陕西南郑县)若a、b互为相反数,c、d互为倒     

实法数交叉乘法——兼论九九一口清

实法数交叉乘法,先用法数首位数乘实数各位数取各积的十位数(九九口诀,一口清直读);后用实数的各位数分别与法数中从最高位数起每相邻两位数相乘,取高位数积的个位数,低位数积的十位数相加(本个十后进一口清)成积。最后用法数末位与实数各位相乘,取各积的个位数(九九口诀,一口清直读)。