抽象空间中向量夹角的弧度

本文中,E表示一个维数高于1的实的赋范线空间。定义1 设x、y∈(E-{θ}),且x'=x/‖x‖,y'=y/‖y‖,当x'≠y'时,称Sup为x与y之夹角的弧度;当x'=y'时,规定x与y之夹角的弧度为θ,以下用R(x,y)表示x与y之夹角的弧度。定义2 设x,y∈E,当R(x,y)=R(-x,y)时称x弧正交于y;为方便起见,规定θ弧正交于任何向量并且任何向量弧正交于θ,以下用x⊥cy表示x弧正交于y。     

具連續發散量的向量場与微分方程

的实方程組,平面流动解釋导至极其丰富的成果.因此,在(P(x,y),Q(x,y))为x,y平面某域G上具有連續发散量的向量場的假定下来研究(1),应当是很自然而且或許是不无相当意思的事情. 所謂(P(x,y),,Q(x,y)为域G上具有連續发散量的向量場,是指P(X,y)与Q(x,y)为于G上有定义并且連續的实函数,此外存在于G上为連續的函数D(x,y),使于G之任意由一可求长簡单閉曲綫L圍成的子閉域T皆有:     

格值模型论中的饱和模型

本文的目的是把[2]中研究过的多值ω—饱和模型推广到α—饱和模型(其中α是任意基数)。另外由于已经证明,当值格L无限时,紧致性定理不一定成立,故我们在本文中总假定值格L是有限的。为了方便我们首先给出几个定义: 定义设△(p,q)是一个由命题变量p,q经∧,∨,]组成的良构式,若赋值时具有下列性质,则称为值格L的一个强特征式:对任何x,y∈L,当x=y时,△(x,y)=I;当x≠y时,△(x,y)=0。定义设T是语言中的一个理论(即分组句子集),若T的每一个有限子集都有模型,则称T为有限和谐的。     

正交向量的一个逆问题

文章首次提出了求一个已知向量x∈Rn的正交向量组y1,y2,…,yn的问题,指出在Householder等变换下,对任意n维非零向量x,总存在对称矩阵Ai,使得Ax=yi(i=1,2,3,…,n),且内积(x,yi)=0,并讨论了向量组y1,y2,…,yn及其所构成的矩阵的若干性质.     

不定尺度空間上可交換酉算子的公共非負不变子空間

§1.引言关于不定尺度空間上的算子,已經有了較多的研究。和引进了Ⅱ_x型空間的概念如下: 設R是一个复綫性空間,在R中对任意一对元素y和z定义了一个复数(y,z),叫做y和z的不定尺度。它滿足下面的条件Ⅰ)～Ⅴ)。Ⅰ.(y,z)是一个双綫性Hermite泛函,即对于任意的x,y,z∈R及任意复数α和β,有     

Isosceles正交注记

在实赋范线性空间E(dimE ≥ 2 )中证明 :当E中向量x ,y线性无关 ,且‖x‖ ≥‖y‖ >0时 ,存在唯一的a ∈R使得x+‖y‖ (y +ax)‖y +ax‖ =x- ‖y‖ (y +ax)‖y +ax‖即在x与y生成的平面上xIsosceles正交且只正交于一个范数是‖y‖的向量 .     

概率度量空间压缩映象的拟Picard迭代收敛性定理

1942年Menger提出概率度量空间概念,这是把度量空间的一对元x与y所联系的距离(非负实数)换为一个分布函数所得到的一种新空间.以后关于这个空间中的近似方法发展很慢,1972年才出现了在该空间中的压缩映象定理:设(S,(?),△)是完备Menger空间,模△为连续函数且满足△(x,x)≥x(0≤x≤1),若T为作用在空间S中的概率度量压缩映象,即有常数α(0≤α<1)使     

度量空间上的扩张对称逆半群的Green关系

设度量空间(X,d),X不为空集.IS是集合X上的对称逆半群,令KIS={α∈IS|x,y∈dom(α),都有d(xα,yα)≥d(x,y)},显然KIS是IS的一个子半群,称为度量空间上的扩张对称逆半群.主要研究KIS中的Green关系.     

非二倍测度下截口上的分数次积分算子的有界性

研究非二倍测度下截口上的分数次积分Iαf(x)=∫Rn(1)/(d(x,y)n-α)f(y)dμ(y),这里0＜α＜n,d(x,y)为截口上的拟度量.证明了Iα是从Lp(Rn)到Lorentz空间Lq,∞(Rn)的有界算子,同时还证明了增长条件μ(S(x,r))≤Crn,x∈Rn,r＞0是上述结论成立的必要条件.     

非线性椭圆边值问题解的存在定理

设R是Rn中具有分段光滑边界aR的有界域.本文讨论了定义在R上的,如下一类带有Dirichlet或者Neumann边界条件的非线性四阶椭圆型方程△2u+h(x,u,△u)u＝f(x,u,△u),证明了当满足对每一个v∈W2,2(R),都有essinfh(x,v,△v)＞-Ω时,解的存在性.其中-Ω是-△2的最大特征值.     

S-凸性与局部S-凸空间

本文以L~s[0,1](0相似文献   

软间隔支持向量机中核函数的改进方法

考虑软间隔支持向量机中核函数的改进问题.支持向量机通过核函数定义某个非线性变换将空间x等距嵌入到特征空间Z,然后在空间Z中构造分类超平面.核函数在嵌入过程中诱导了放大因子g(x),它描述了向量x映射到空间Z后被放大的程度.因此,考虑构造保形映射h(x)对g(x)进行调整,提高其在支持向量的取值.从而扩大支持向量密集的区域,增大支持向量机对数据的分类间隔使其具有更好的推广能力.     

环上强保持k-Jordan乘积的映射

对于任意给定的正整数k≥1,环R上的元x,y的k-Jordan乘积定义为{x,y}_k={{x,y}_(k-1),y}_1,其中{x,y}_0=x,{x,y}_1=xy+yx.假设R是含有单位元与非平凡幂等元的环,f∶R→R是满射。文章证明了在一定的假设条件下,f满足{f(x),f(y)}_k={x,y}_k对所有的x,y∈R成立当且仅当f(x)=λx对所有的x∈R成立,其中λ∈Z(R)(R的中心)且λ~(k+1)=1.作为应用,给出了素环与von Neumann代数上保持此类性质映射的完全刻画。     

保持一个等价关系的部分一一变换半群的Green关系

设X为任意非空集,E是X上的等价关系,PX表示集合X上的部分变换半群.IX={α∈PX:(x,y)∈domα,xα=yαx=y},且IX做成PX的一个子半群,称为对称逆半群.定义IE(X)={α∈IX:x,y∈domα,(x,y)∈E(xα,yα)∈E}.显然IE(X)关于部分变换的乘积(作为半群运算)生成一个半群,称为保持等价关系E的部分一一变换半群,它是IX的一个子半群.本文对IE(X)上的Green关系给出了完整的刻画.     

一类脉冲微分方程边值问题的求解

给出了一类脉冲微分方程边值问题的求解方法：先求出｛Lx=g(t)R1(x)=y1,R2(x)=y2的解x(t),再求出｛Ly=0,t≠ti,i=1,2,…，m△y|t=ti=Ii(y(ti) x(ti)),△y′|t=ti=Ii(y(ti) x(ti)),i=1,2,…,的解R1(y)=0,R2(y)=0y(t),则（x(t) y(t)即为此类脉冲边值问题的解。     

α—模糊向量空间

给出了α－模糊向量空间的定义,讨论了α－模糊向量空间的一些性质,给出了向量空间V的一个模糊子集成为α－模糊向量空间的充分必要条件。最后给出了α－模糊线性无关的定义,推广了有关文献中的结果。     

具有密度制约的一类微分生态系统的定性分析

本文研究捕食者——食饵种群相互作用中的微分生态系统其中参数α、b、γ_1、γ_2、d、F、λ人均为正数.x、y分别表示食饵种群与捕食者种群的密度,F示表食饵种群的存放率.p(x、y)与Q(x、y)均定义在区域R={(x,y)|x>0,y>0}或R~*={(x、y)|x≥0,y≥0}上.1 无闭轨线存在的充分条件水平等倾线Q(x,y)=0,即x=x~*=(d/r_2)~(1/λ),y=0(x轴).铅直等倾线P(x,y)=0,即y=1/(γ_1x~λ)(αx-bx~2+F),它有两个极值点     

关于具拟不变测度的线性拓扑空间

§1.引言设R是綫性拓扑空间。在本文中我们始终以β表示由R的某些子集组成的、包含R中一切闭集的最小σ-代数。当B∈β,x∈R时,用B+x表示一切形如y+x,y∈E的向量全体所成的集,即B+x为B经过平移y→y+x,所得的集、那末显然有B+x∈β。设μ是(R,β)上的一个概率测度,B是R的一个子集,B∈β。若μ(B)=0则称B是μ-零     

复合函数求导数法则的证明的改进

设y=f(u),u=φ(x),u在x_0可微分;u_0=φ(x_0),y在u_0可微分,则复合函数y=f(φ(x))在x_0可微分,而且(1) dy/dx|_(x=x_0)=f′(u_0)·φ′(x_0)。这个复合函数求导数法则的证明,在通常的数学分析教科书上,有如下两种: 〔证法一〕给x从x_0起取增量△x(≠0),则相应地函数u从u_0起得增量△u,y从f(φ(x_0))起得增量△y。因为f′(u_0)存在,所以当△u≠0时,令α=△y/△u-f′(u_0),就有limα=0,而且 △u→0     

O(X)的幂等元中心化子的格林关系

设ρ是有限非空集X上的一个凸等价关系,R是商集X/ρ的一个横截集.对X上的保序全变换半群O(X)的子半群O(X,ρ,R)={α∈O(X)|RαR且(x,y)∈ρ(xα,yα)∈ρ},在此证明了O(X,ρ,R)是O(X)的以幂等元为中心的子半群,并且刻划出它的格林关系.