实数系基本定理等价性的完全互证

综合给出了实数系六个基本定理的等价性的完全互证方法,并归纳了各种证明方法的规律,旨在把抽象的证明转化为容易掌握的基本方法.     

在"高等数学"首堂课上讲授实数完备性

应用无穷小数来定义实数,可证明实数的完备性定理,并可在"高等数学"首堂课上严格地讲授.     

实数系的基本定理的教学设计

采取分段讲解、分散难点的方法进行实数系基本定理的教学,而非通过减少定理数量来降低教学难度。教学过程注重精讲多练,加强实践,培养学生的数学思维习惯。     

复指数系的完备性

对直线上的非负凸函数α,设Cα是由直线R上所有满足当t趋向无穷大时,f(t)exp(-α(t))趋向零的复连续函数f全体,在一致范数下,Cα是Banach空间.文中得到了复指数系在Cα中完备的充要条件.     

随机指数系的完备性和极小性

得到了随机指数系在加权Banach空间Cα中完备和极小的充要条件,其中Cα是实直线R上的复连续函数在权α的一致范数下组成的Banach空间.这些结果可以看作是Malliavin经典结果的概率推广.     

复指数系的完备性

对直线上的非负凸函数α,设Cα是由直线R上所有满足当t趋向无穷大时,f(t)exp(-α(t))趋向零的复连续函数f全体,在一致范数下,Cα是Banach空间.文中得到了复指数系在Cα中完备的充要条件.     

随机指数系的完备性和极小性

得到了随机指数系在加权Banach空间C_α中完备和极小的充要条件,其中C_α是实直线R上的复连续函数在权α的一致范数下组成的Banach空间.这些结果可以看作是Malliavin经典结果的概率推广.     

复指数系的不完备性和最小性

本文得到复指数系E(Λ,M)在C_α中不完备的一个充分必要条件, 其中C_α是所有在实轴R上连续, 且当t趋向无穷时, f(t)exp(−α(t))趋向零 的复函数f组成的集合. 在一致范数||f||_α=sup{|f(t)e^−α(t)}|: t∈R}下, C_α是一个Banach 空间. 证明了在不完备的情形下, 复指数系E(Λ,M)是 最小的并且 复指数系E(Λ,M)中 线性 组合的闭包中的任意函数可以延拓成由 Taylor-Dirichlet 级数表示的整函数.     

谈中学数学课程中"实数"

性.但不是从哲学的角度谈实数的定义为什么要谈这个问题九年义务教育三年制初级中学教科书《代数》第二册,(人民教育出版社,1993)中明确规定:“无限不循环小数,又叫做无理数”.我认为这个规定不仅完全正确,而且十分明智,正是因此,广大群众才从他们上初中开始就形成了对于“实数     

从“距离”的角度理解有关“实数”的一些概念和定理

从"距离"的角度来描述和理解数学分析中有关实数的一些概念和定理,并作出相关的证明,特别给出实数完备性的一个新的描述.     

多项式系在Non-Carathéodory区域中的完备性

设D为单位圆|z|<1与直线段[-1,0]的差集,它是一个典型的非Carath(?)odory区域。以d=d(z)表示点z到直线段[-1,0]的距离。证明了:对于任意的在D内解析、(?)上连续的函数f(z),存在多项式序列{Q_n(z)},使     

On Completeness and Minimality of Random Exponential System in a Weighted Banach Space of Functions Continuous on the Real Line

In this paper, the completeness and minimality properties of some random exponential system in a weighted Banach space of complex functions continuous on the real line for convex nonnegative weight are studied. The results may be viewed as a probabilistic version of Malliavin's classical results.     

超实数系统及其一致连续问题

基于模型论的观点与方法介绍超实数系统的构造及其公理体系,以说明非标准分析.由于超实数系统是普通实数系统的一个真扩张,所以,实数系统中的一致连续问题可推广至超实数系统.     

型空间中随机指数函数系的完备性

该文采用了新的方法来研究由整函数组成的满足 ( ∫∫_C| f(z)|^pe^-α(|z|)dm_z)^1/p <∞ (1 < p <∞) 的Fock型空间中随机指数函数系的完备性. 还对于实轴上的加权Banach 空间讨论了类似的问题     

On Derived Equivalences for Selfinjective Algebras

We show that if A is a representation-finite selfinjective Artin algebra, then every P ^? ? K ^b(𝒫 _A ) with Hom _K(Mod?A)(P ^?,P ^?[i]) = 0 for i ≠ 0 and add(P ^?) = add(νP ^?) is a direct summand of a tilting complex, and that if A, B are derived equivalent representation-finite selfinjective Artin algebras, then there exists a sequence of selfinjective Artin algebras A = B ₀, B ₁,…, B _m  = B such that, for any 0 ≤ i < m, B _i+1 is the endomorphism algebra of a tilting complex for B _i of length ≤ 1.     

On Real Quadratic Number Fields and Simultaneous Diophantine Approximation

 Here we provide a necessary and sufficient condition on the partial quotients of two real quadratic irrational numbers to insure that they are elements of the same quadratic number field over ℚ. Such a condition has implications to simultaneous diophantine approximation. In particular, we deduce an improvement to Dirichlet’s Theorem in this context which, as an immediate consequence, shows the Littlewood Conjecture to hold for all numbers α and β both from . Specifically, for all such pairs we have . (Received 10 August 1998; in revised form 23 November 1998)     

On Standard Derived Equivalences of Orbit Categories

Let k be a commutative ring, \(\mathcal {A}\) and \(\mathcal {B}\) – two k-linear categories with an action of a group G. We introduce the notion of a standard G-equivalence from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\), where \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) is the homotopy category of finitely generated projective \(\mathcal {A}\)-complexes. We construct a map from the set of standard G-equivalences to the set of standard equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) and a map from the set of standard G-equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {B}\) to \(\mathcal {K}_{p}^{\mathrm {b}}\mathcal {A}\) to the set of standard equivalences from \(\mathcal {K}_{p}^{\mathrm {b}}(\mathcal {B}/G)\) to \(\mathcal {K}_{p}^{\mathrm {b}}(\mathcal {A}/G)\), where \(\mathcal {A}/G\) denotes the orbit category. We investigate the properties of these maps and apply our results to the case where \(\mathcal {A}=\mathcal {B}=R\) is a Frobenius k-algebra and G is the cyclic group generated by its Nakayama automorphism ν. We apply this technique to obtain the generating set of the derived Picard group of a Frobenius Nakayama algebra over an algebraically closed field.