带有有序基的向量空间中的Sharp vector及其应用

本文通过对有限维以及无限维向量空间V中给定的一组基B赋予序结构,构造子空间W中所有sharp vectors,并借助中所有sharp vectors作为子空间W的基的性质,给出有限维向量空间中的一些熟悉的命题的新证明,新证明比线性代数中的证明更加简洁,容易.最后本文给出有限维向量空间V的子空间W的所有sharp vectors的存在性证明.     

En中p维与q维线性子流形之间的距离

设n维欧氏空间E^2中p维与q维线性子流形分别为：σp:α1∧α2∧…∧αk∧(x-x0)=0,σp:β1∧β2∧…∧βq∧(y-y0)=0，向量组{α1，…，αp,β1,…,βq}的一个极大线性无关组为{γ1，γ2，…,γk}，证明了σp与σq间的距离平方为α^2(σp,σq)=|δ0|^2-(γ1δ0,…，γkδ0）A^-1(γ1δ0,…,γkδ0)^T，其中δ0=x0-y0,A=(γiγj)^ki.j=1。     

利用初等变换求Pn中子空间的和与交的基

设P是任一数域,Pn是P上的n维行向量空间.对于Pn的由有限个向量生成的子空间V,W来说,利用初等变换将矩阵化为简化阶梯形矩阵,寻找子空间V W,V∩W的基的方法被探讨.     

线性子空间、线性变换的一个判别定理

在一般高等代数、线性代数中,关于子空间有这样的判别定理:定理1 数域 p 上的线性空间 V 的一个非空子集 W 是 V 的一个子空间的充分必要条件是:1)如果α,β∈W,则α β∈W;2)如果α∈W,α∈P,则αα∈W.除此定理之外,还有一个判别定理。定理2 数域 P 上的线性空间 V 的一个非空子集 W,是 V 的一个子空间的充分必要     

余子空间的性质

在n维向量空间V中,任一非平凡子空间W的余子空间是不唯一的,本文给出了W的余子空间的一般表示法,并讨论了W的任意两个余子空间的和与交的维数取值范围。     

关于点赋权图的赋权控制数的一个上界

点赋权图Gw=（V,E,W）是指对简单图G的顶点集作一个赋权函数W：V→R^＋。在图G所有的控制集D V（G）（V（G）／D中的任意顶点v都与D中的点关联）中最小的权和W（D）称为图Gw的赋权控制数。记作γw（Gw）。证明了对基数为N,平均权为W^-的图Gw,其赋权控制数γw（Gw）≤Nw^-1δ＋1^——1＋1n（δ＋1）。     

欧氏空间上同构映射的一个充要条件

本文给出欧氏空间之间的映射在没有向量空间同构映射条件下是同构映射的一个充要条件,使得在寻求两个欧氏空间之间的同构映射时更为简单方便.定义:设V与V′是两个欧氏空间,∫是从V到V′的一个映射,若∫满足:     

关于E^n中p维与q维超平面间的距离

设Ｅｎ中ｐ维与ｑ维超平面分别为πｐ：α１∧α２∧…∧αｐ∧（ｘ－ｘ０）＝０，πｑ：β１∧β２∧…∧βｑ∧（ｙ－ｙ０）＝０，｛γ１，γ２，…，γｔ｝是向量组｛α１，α２，…，αｐ，β１，β２，…，βｑ｝的一个极大线性无关组，则πｐ与πｑ间的距离平方为：ｄ２（πｐ，πｑ）＝｜δ０｜２－γ１δ０，…，γｔδ０［］γｉγｊ［］－１γ１δ０，…，γｔδ０［］Ｔ其中δ０＝ｘ０－ｙ０．     

保持平均曲率不变的无穷小等距变换

研究了m维黎曼空间中的n维曲面在无穷小等距变分下保持平均曲率向量或平均曲率的充要条件。首先研究了δ算子的定义、运算规律等,接着计算了平均曲率向量及平均曲率在无穷小变分下的变差。最后得出,一般黎曼空间、常曲率空间和欧氏空间的子空间在无穷小等距变分下保持平均曲率向量或平均曲率的充要条件。     

关于欧氏空间的变换的一点注记

在欧氏空间 V 中,我们知道以下的事实成立:假设σ是 V 的一个线性变换,如果σ保持内积不变,那末σ必定保持向量的长度不变;反之,如果σ了保持向量的长度不变,那末σ也必定保持内积不变。进一步可以证明:假设σ是欧氏空间 V 的一个变换,如果σ了保持内积不变,那么σ     

欧式空间中的线性变换

设T是欧氏空间V的一个变换,本文证明了:如果对V中任意的向量α,β都有 (Tα,Tβ)=c(α,β) (c为非负实数) 或 (Tα,β)=c(α,Tβ),(c=±1或0) 则T是V的线性变换,从而不仅推广了正交变换在这方面的结论,而且也证明了对称与反对称变换的类似结论。     

关于广义酉空间的探讨

本文在四元数体上任意右向量空间V中,定义了向量的内积,并称这样的V为广义酉空间;在V中建立了与通常的欧氏空间(或酉空间)的理论完全平行的理论;初步讨论了这些理论的应用。     

欧氏空间中两两夹角相等的向量组的一些性质

将解析几何和线性代数相结合,利用行列式和齐次线性方程组的若干性质,对平面解析几何中的向量角进行高维推广,研究欧氏空间En中两两夹角相等的向量组的性质,得到4个有意义的结论,为欧氏空间性质的进一步研究提供了一定的理论基础。     

两个子空间夹角性质的证明

在2维欧氏空间R2中有两条直线间夹角和3维欧氏空间R3中有两个平面间夹角的定义.在n维欧氏空间Rn中也有两个子空间V和W间夹角的定义,用△(V,W)来表示它,且△(V,W)具有一些性质.本文将给出这些性质的详细证明.     

三维欧氏空间中的达布曲线

在三维欧氏空间中,经过空间曲线上的一点,且与该点的达布向量平行的直线称为曲线在此点的达布线.如果一条曲线和另一条曲线的点之间建立这样的一一对应关系,使得在对应点的达布线重合,则这2条曲线被称为达布曲线对,其中一条叫做另一条的达布侣线.主要研究了三维欧氏空间中达布曲线对的一些性质,并得到了如下结论：2条曲线的主法线平行的充分必要条件是它们的达布线平行;2条曲线的主法线平行,则它们在对应点的切向量成固定角;2条曲线为达布曲线对的充分必要条件是在对应点它们的从切平面重合.同时研究了三维欧氏空间中一条空间曲线具有达布侣线时它的曲率和挠率需要满足的关系.     

欧氏空间中求近似逆Hesse阵的变尺度变分法

考虑下列变分问题min E∈V(E,E) (1)这里V={A:A~T=A,Ar_K=ρδ_K-H_Kγ_K (2) γ_K=g_(K+1)-g_K,δ_K=x_(K+1)-x_K (3) S={A:A~T=A} (4)其中δ_K~Tγ_K(?)0,g_K=(?)f(x_K),f(x)为欧氏空间R~n上的无约束极小化目标函数,x_K为f(x)之极小点的第K次近似(K=1,2,…),H_K为f(x)在x_K的近似逆Hesse阵,ρ为任意参数,(*,*)为欧氏空间S上的内积函数。若E_K为(1)式的解,则有变尺度矩阵递推公式:     

生成子空间的拓广及其等价定义

1 生成子空间的定义设V是数域P上的一个线性空间,S(?)V,且S≠Ф.令A={W│W是V的子空间,W(?)S}.显然V本身是包含S的一个子空间,故V∈A,因而A≠Ф,令K=(?)w命题1:K=(?)W是V的子空间证明 首先,(?)W∈A 因为W是V的子空间,所以O∈W,故O∈K,因而K(?)V,且K≠Ф.     

欧氏空间中保持向量夹角不变的线性变换的性质

讨论了欧氏空间中保持向量夹角不变的线性变换的性质,得到了一些结果。     

赋范线性空间的范数序结构

在赋范线性空间中依据范数确定一类半序关系,引入赋范线性空间的范数序概念,即α≤β,是指‖α-β‖=|‖α‖-‖β‖|,且‖α‖≤‖β‖。研究赋范线性空间的序结构特征,即范数序是由零向量（最小元）出发,互不相交的全序链构成的;非零向量生成的子空间是由其中的两条链组成的;处于不同链上的向量要么线性无关,要么互为负向量。     

积空间中关于子基的连通性

讨论了关于子基的乘积空问的连通性问题.证明了当{(Lx,δ,γ,)}t∈T是一族γ1满层L-拓扑空间,则其积空间(Lx,δ,γ)是γ连通当且仅当(A)t∈T,(LXt,δ,γ,)是γ1连通.