Bihali引理的证明

根据Bihali引理可以确定微分方程解存在的更大一些的区间.该引理显然是十分重要的,然而目前找不到这个引理的证明.本文给出了一种证明.并举实例说明了这个引理的重要性.     

关于一个推广的Minty引理

建立了一个推广的Minty引理,该引理统一了诸多Minty引理的形式.     

Farkas引理的几个等价形式及其推广

本文考虑了Farkas引理,Gordan引理及其拓展形式之间的关系,从理论上证明了其等价性并说明了Farkas引理在各种等价形式中的重要地位,并指出了Gordan引理实际是叮看作是Farkas引理的弱形式,然后研究了Farkas引理及其它形式在锥线性不等式组中的推广.     

Frink-Tukey度量化引理

一致空间的度量化问题是一致空间的基本问题之一,其主要工具是Tukey度量化引理.证明在拓扑空间的度量化问题中起主要工具之一的Frink引理与Tukey度量化引理如出一辙,可将它们称之为Frink-Tukey度量化引理.     

Rn中单位球上满足Poisson方程的边界Schwarz引理

Schwarz引理在全纯映射和调和映射理论中扮演着重要的角色.本文建立了Rn中单位球上满足Poisson方程解的边界Schwarz引理.作为应用,给出了单位球上调和自映射的边界Schwarz引理,将平面上的多重调映射结果和边界Schwarz引理推广到了高维调和映射.     

整数环上的Farkas引理及其应用

将实数域上的Farkas引理进行推广,提出整数环上的Farkas引理.之后,利用整数环上的Farkas引理证明了一个有关Petri网结构有界性的判定定理.     

调和映射的Schwarz-Pick引理（英文）

利用单位圆盘到实直线段上极值函数的双曲几何性质, Mateljevi′c得到了实值调和函数的SchwarzPick引理.运用全纯函数的从属原理,给出该引理的一个简单证明.运用该Schwarz-Pick引理,建立了单位圆盘到自身内调和映射梯度的Schwarz-Pick引理.得到的结果在原点处是精确的而且推广了Colonna的成果.     

边界型Schwarz引理

Schwarz引理是复分析中最重要的定理之一,本文给出了边界型Schwarz引理.     

几个组合引理的拓扑证明

Brouwer不动点定理的一种证明方法是利用Sperner引理,据此发展了计算不动点的各种算法.用组合方法处理连续映射的问题是组合拓扑学的基本思想.后来逐渐认识到可以沿相反方向进行,即用拓扑学的方法证明某些组合引理,例如Kuhn和Yoseloff。Brou-wer不动点定理和Sperner引理实际上是等价的. 本文利用拓扑学中的拓扑度理论和有关事实,证明几个组合引理,主要工具是分块线性映射的拓扑度.     

Schwarz引理的推广及其应用

引入Schwarz引理的一个最常见的推广定理,并且作出了详细的证明.同时以引理形式介绍了一个实用的复数性质,并且利用这两个引理,给出了开圆盘内解析函数的的实部,虚部以及模的估计式.     

蕴含Gdel定理抽象形式的集合论引理(英文)

本文证明了—个集合论性质的引理,由它可直接得出Godel不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.     

蕴含G?del定理抽象形式的集合论引理

本文证明了—个集合论性质的引理,由它可直接得出G?del不完全性定理的抽象形式. 文中还述及该引理的有关诸推论.     

关于拟d-Koszul模的一个注记

本文研究了文献[4]中给出的极小马蹄型引理成立的充分条件.借助拟d-Koszul模给出了一个充要条件并给出了一个极小马蹄型引理的应用.     

Fan K_y 引理的推广及其应用

§1.引言在多值映像的不动点理论中,Fan Ky 引理(见[1,引理4])是一个很简单的基本命题,它往往是证明更复杂结果的关键工具,例如见[2].本文首先要推广 Fan Ky 引理,然后再给出它的一些应用.     

一族非线性约束条件下的摄动梯度投影法

对问题(P),堵丁柱改变了以往的做法,利用对约束切空间的摄动技巧,给出了一个收敛的梯度投影方法.本文推广了[1]中方法,给出了一个更一般的收敛算法,它无需[1]中对约束函数的凸性假设,也不须多次求投影梯度.本文中算法的收敛性证明是建立在[3]中引理10.2.6的简单推广得到的引理3的基础上的.本文引理3减弱了引理10.2.6中的条件3,因而更具实用性.可以简化许多算法的收敛性证明.     

蕴含G(o)del定理抽象形式的集合论引理

本文证明了一个集合论性质的引理,由它可直接得出G(o)del不完全性定理的抽象形式.文中还述及该引理的有关诸推论.     

一类二阶非线性p-Laplace系统快速同宿轨的存在性

考虑了一类二阶非线性p-Laplace系统的快速同宿轨问题.利用临界点理论中的山路引理和对称山路引理,获得了系统快速同宿轨存在性与多重性的结果.     

关于姜伯驹的三个引理

本文标题中的三个引理是[1]中的引理4.3、4.4和4.5,也就是[2]中的引理Ⅲ4.2,Ⅲ4.3(i)和Ⅲ4.4(i).它们在证明[2]Ⅱ§5的两主要定理中有重要地位.但它们原来的证明都运用泛复迭空间理论,从而需要相当多的准备知识.我们在本文第二部分中将不用这一理论,而是用“直接”法(参看[2]Ⅱ§2中的附记)来证明三个引理A,B,C.其中的后两个引理就是原来的后两个,只引理A的叙述形式已和原来的第一个引理的不同.在本文的第三部分中,我们将证明,在针对非空的不动点类的对应关系方面,这两种叙述形式给出的结果相同. 本文所用的术语和记号(除另有解释者外)都来自[2],文中所论及的空间X,Y都是连通的有限多面体.     

关于容度下Borel-Cantelli引理的一点注记

这个注记中我们证明了在没有两两独立假设条件下对容度的Borel-Cantelli引理,获得了容度对并事件的最优下界.这些结果推广了经典的Borel-Cantelli引理.     

RELLICH引理的新证明

Rellich引理是电磁波相关反问题理论中非常重要的一个结论,该文的目的是给Rellich引理一个全新的证明,主要采用常微分方程的基本理论以及唯一延拓性质等给出了一个相对较为简洁的证明.该证明中分析了相关方程解的性质,对引理更深层的理解有一定的帮助.