关于求逆矩陣方法的一个注記

在[1]中給出一求逆矩陣的計算方案,在[2]中依此方案編了标准程序,的确这个方案对計算和編程序都很省很方便。本文的目的在于把它改进一下,給出一种更为方便些的計算方案,并从另外的角度出发,即用消去法的思想給予較簡单和直观的証明,且証明本身还說明了法求逆矩陣与用消去法求逆矩陣之間的关系。計算逆矩陣方案的出发点是这样的,假定A=(a_(ij))是非蛻化n阶方陣,按下面递推公式建立一系列方陣:     

关于“扩充空間的椭圓几何”一文的补注

<正> 在作者的“扩充空間的椭圓几何”一文中,关于三角不等式有一十分簡单的証明. 我們不妨假定m×(m+n)矩陣适合=I(a=0,1,2).命u_(r_1…r_m)~((a))表     

典型域的调和函数论(Ⅲ)——斜对称方阵双曲空间的调和函数

<正> 3.1.斜对称方阵双曲空间的调和函数 命 Z 代表 n×n 斜对称方阵(?)(?)个复变数 z_(12),z_(13),…z_(1n),z_(23),…,(?)…,z_(n-1,n)空间的域我们引进运算子     

典型域的调和函数论(Ⅱ)——对称方阵双曲空间的调和函数

<正> 2.1.对称方阵双曲空间的调和函数 命 Z 代表 n×n 对称方阵(?)(?)代表 n(n+1)/2 个复变数 z_(11),z_(12)…,z_(1n),z_(22),…,z_(2n),…z_(nn)空间的域     

多個複變數函數論Ⅲ 對稱方陣及斜對稱方陣雙曲空間的完整正交系

<正> §1.引言 1935年E.Cartan曾經算出可遞的不可分解的囿對稱域共有六種.如果用作者所常用的矩陣幾何的語言,可以說明之如下: Ⅰ.矩陣的雙曲空間.它是一個mn維的空間.見[2]. Ⅱ.對稱方陣的雙曲空間.它是一個1/2n(n+1)維的空間.     

論矩陣的一種變換

<正> 在本文中,數域限定為複數域.我們要來研究如下的變換:(1)(它將方陣A變成方陣B),式中P表示任意正則陣,P表示P的元素的共軛救構成的陣.所有的變换(1)顯然成羣.這種變換現在姑稱之為種變換.如果二方陣A與B可由一個種變換變此成彼,我們就說,A與B是對相似的.     

关于线性羣自同构的一个証明

<正> 設K是体,n是>1的整数.以GL_n(K)表K上n阶一般綫性羣,即K上所有n×n可逆矩陣所組成的羣.以SL_n(K)表K上n阶特殊綫性羣,即由GL_n(K)中一切形为T_(ij)(λ)=I+λE_(ij)(其中λ∈K,λ≠0,E_(ij)为(i,j)位置是1而其余位置都是0的n×n矩陣,i≠j,1≤i,j≤n)的矩陣所生成之羣.除开n=2而K的特征数=0这一情形之外,决定SL_n(K)的自同构的問題已全部解决,其中n=4而K的特征数=2这一情形是由华罗庚教授和作者在[3]中§§4—5所研究的.但在[3]的討論中有两个錯誤,其一是关于乘积的阶为3的一对1-对合的标准形的定理3的証明是錯誤的,其二是在     

代数学基本定理

本文的目的是对代数学基本定理给出一个初等而又相当简短的证明。 定理 每一个正方次的多项式在复数域内有一个根。 证明 设p为一正方次的多项式,其系数属于复数域C,由于P为连续并且当|z|→∞时一致地有|P|(z)|→∞,故存在z_0∈C使得|P(z_0)|≤|P(z)|对于所有z∈C成立,可不妨假设z_0=0。因代替P(z)可考虑多项式P(z+z_0)_(?)我们要证P(0)=0。 存在一个正整数n≥1和a,b∈C,b≠0使得     

多面角的面角性質

在“三面角的面角性貭”一文里(見本通报1958年8月号),証明了三个面角构成一个三面角的充要条件是:三个面角和小于360°,且任一面角小于其他两个而角之和。最近有讀者提問:对于任意多面角是否也有类似的命題成立?在現行立体几何課本里已証明构成多面角的必要条件是“各面角和小于:360°,且任一面角小于其他各面角和”。这一条件是否也是充分的呢?回答是肯定的,即要証明定理符合下列两条件的n个(n≥3)面角可以构成一个凸n面角: 各面角和小于360°; (A) 任一面角小于其他各面角和。 (B) 让我們用数学归納法进行証明。 設此命題对于n=k(k≥3)时成立,即符合条件     

数学问題解答

下面的问题,提供读者解答,但答案不必寄来。本期问题的答案将在下期发表。欢迎读者提出适合中学数学水平的问题。来信请寄至北京德胜门外北京师范大学数学系转数学通报问题解答栏。 1965年第3期問題 581.令φ(n)表示不超过n且与n互质的自然数的个数。証明n≥2时φ(n)是偶数。 582.设p是奇素数,n>p。証明若方程 p~2+m~2=n~2有正整数解,则2n—1必为完全平方。 (以上二题陈克渭提) 583.正方形每边长为a,以各顶点为中心,     

初等变换的“記录矩陣法”

設A是一个n阶非异方陣,我們可用下法来求A的逆方陣A~(-1),即在A的右方列一个n阶单位方陣E,得到一个n×2n矩陣,对这个矩陣作初等行变換使前n列变为E則后n阶此时即組成A~(-1)。这个方法在許多綫性代数教科书中均可找到。我們不妨称这个方法为“記录矩陣法”。这个方法甚为簡捷。本文中我們来研究这个方法在向量問題及綫性方程組中的一些应用。可以看出,在这些問題之应用中本法仍不失为一个簡捷的計算法。     

$\mathbb{C}^n$中一类星形映射子族的增长定理及推广的Roper-Suffridge算子

在有界星形圆形域上定义了一个新的星形映射子族, 它包含了$\alpha$阶星形映射族和$\alpha$阶强星形映射族作为两个特殊子类. 给出了此类星形映射子族的增长定理和掩盖定理. 另外, 还证明了Reinhardt域$\Omega_{n,p_{2},\cdots,p_{n}}$上此星形映射子族在Roper-Suffridge算子 \begin{align*} F(z)=\Big(f(z_{1}),\Big(\frac{f(z_{1})}{z_{1}}\Big)^{\beta_{2}}(f'(z_{1}))^{\gamma_{2}}z_{2},\cdots, \Big(\frac{f(z_{1})}{z_{1}}\Big)^{\beta_{n}}(f'(z_{1}))^{\gamma_{n}}z_{n}\Big)' \end{align*} 作用下保持不变, 其中 $\Omega_{n,p_{2},\cdots,p_{n}}=\{z\in {\mathbb{C}}^{n}:|z_1|^2+|z_2|^{p_2}+\cdots + |z_n|^{p_n}<1\}$, $p_{j}\geq1$, $\beta_{j}\in$ $[0, 1]$, $\gamma_{j}\in[0, \frac{1}{p_{j}}]$满足$\beta_{j}+\gamma_{j}\leq1$, 所取的单值解析分支使得 $\big({\frac{f(z_{1})}{z_{1}}}\big)^{\beta_{j}}\big|_{z_{1}=0}=1$, $(f'(z_{1}))^{\gamma_{j}}\mid_{{z_{1}=0}}=1$, $j=2,\cdots,n$. 这些结果不仅包含了许多已有的结果, 而且得到了新的结论.     

线性微分追捕对策

本文研究线性微分对策的追捕问题,给出一些结束追捕的条件.我们研究方程(?)=C_z-u+v(1)描述的线性微分对策,其中 z∈R~n,C 是 n×n 常阵,u∈P,v∈Q.控制域 P 和 Q 是 n维欧氏空间 R~(?)中的紧凸集合.作为时间的函数 u=u(t),v=v(t)对 t 是可测的.设 M 是 R~n 中的全维数闭凸集合.定义 给定 z_0∈R~n,如果对于任意的可测函数 v(t)∈Q,t≥0,都可以构造出一个可测函数 u(t)∈P,t≥0,使得方程(?)(t)=Cz(t)-u(t)+v(t),z(0)=z_0的解 z(t),t≥0,在不超过数τ的时间内落到集合 M 上:z(t|ˉ)∈M,(t|ˉ)∈[0,τ],则称     

1956年北京、天津数学競賽試題及解答

(1) 証明:对任何正整数n n~3+(3/2)n~2+(1/2)n-1都是整数,並且用3除时余2, 証明1.n~3+(2/3)n~2-1=(n(n+1)/2)(2n+1)-1==(2n(2n+1)(2n+2)/8)-3+2。对任何整数n說來,(n(n+1))/2是整数,所以原式为整数。在相鄰的三个整数2n,2n+1,2n+2中至少有一个是3的倍数,因为3与8互質,8除得尽分子,分子提出3后还能被8除尽,所以(2n(2n+1)(2n+2)/8)-3是3的倍数,原式用3除时余2。 証明2.用f(n)代表原式,現在用数学归納法証明我們的問題。在n=1时,     

一个和指数分布有关的多元对称分布族的次序统计量及其应用

设u_n 为R~n 中超平面 {u_n=(u_1,…,u_n):sum from i=1 to n u_i=1,u_i≥0,i=1,…,n}上的均匀分布。我们在文[3]中引入了一个和指数分布有关的多元对称分布族 _n={z:zru,r≥0与u独立}。设z_(1)≤…≤z_(n)为z=(z_1,…,z_n)∈_n的次序统计量。本文给出了z_(1),…,z_(n)的联合分布,一维和二维边缘分布以及极差和中程的分布。我们还求出了{z_(i)}的矩并讨论了次序统计量的应用。     

有界完全Reinhardt域上推广的Roper-Suffridge算子

在$\C^n$中的有界完全Reinhardt域$\Omega$上推广的Roper-Suffridge算子$\Phi(f)$定义为 \begin{eqnarray*} \Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)(z)\!=\!\Big(rf\Big(\frac{z_1}{r}\Big), \Big(\frac{rf(\frac{z_1}{r})}{z_1}\Big)^{\beta_2}\Big(f’\Big(\frac{z_1}{r}\Big)\Big)^{\gamma_2}z_2,\ldots, \Big(\frac{rf(\frac{z_1}{r})}{z_1}\Big)^{\beta_n}\Big(f’\Big(\frac{z_1}{r}\Big)\Big)^{\gamma_n}z_n \Big), \end{eqnarray*} 其中 $n\geq2$, $(z_1, z_2,\ldots, z_n)\in \Omega$, $r=r(\Omega)=\sup\{|z_1|: (z_1, z_2,\ldots, z_n)\in \Omega\}, 0\leq \gamma_j\leq 1-\beta_j, 0\leq \beta_j\leq 1$, 这里选取幂函数的单值解析分支, 使得 $(\frac{f(z_1)}{z_1})^{\beta_j}|_{z_1=0}= 1$ 和 $(f’(z_1))^{\gamma_j}|_{z_1=0}=1, j=2,\ldots, n$. 证明了 $\Omega$上的算子 $\Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)$ 是将 $S^*_\alpha(U)$ 的子集映入$S^*_\alpha\,(\Omega)\,(0\leq \alpha<1)$, 且对于一些合适的常数 $\beta_j, \gamma_j, p_j$, $D_p$上的这个算子 $\Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)$ 保持$\alpha$阶星形性或保持$\beta$ 型螺形性, 其中 $ D_p=\bigg\{(z_1, z_2,\ldots, z_n)\in \C^n: \he{j=1}{n}|z_j|^{p_j}<1\bigg\},\quad p_j>0, j=1, 2,\ldots, n, $ $U$是复平面$\C$上的单位圆, $S^*_\alpha(\Omega)$ 是 $\Omega$ 上所有正规化$\alpha$阶星形映射所成的类. 也得到: 对于某些合适的常数 $\beta_j, \gamma_j, p_j$ 和 在$\C^n$中的有界完全Reinhardt域$\Omega$上推广的Roper-Suffridge算子$\Phi(f)$定义为 \begin{eqnarray*} \Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)(z)\!=\!\Big(rf\Big(\frac{z_1}{r}\Big), \Big(\frac{rf(\frac{z_1}{r})}{z_1}\Big)^{\beta_2}\Big(f’\Big(\frac{z_1}{r}\Big)\Big)^{\gamma_2}z_2,\ldots, \Big(\frac{rf(\frac{z_1}{r})}{z_1}\Big)^{\beta_n}\Big(f’\Big(\frac{z_1}{r}\Big)\Big)^{\gamma_n}z_n \Big), \end{eqnarray*} 其中 $n\geq2$, $(z_1, z_2,\ldots, z_n)\in \Omega$, $r=r(\Omega)=\sup\{|z_1|: (z_1, z_2,\ldots, z_n)\in \Omega\}, 0\leq \gamma_j\leq 1-\beta_j, 0\leq \beta_j\leq 1$, 这里选取幂函数的单值解析分支, 使得 $(\frac{f(z_1)}{z_1})^{\beta_j}|_{z_1=0}= 1$ 和 $(f’(z_1))^{\gamma_j}|_{z_1=0}=1, j=2,\ldots, n$. 证明了 $\Omega$上的算子 $\Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)$ 是将 $S^*_\alpha(U)$ 的子集映入$S^*_\alpha\,(\Omega)\,(0\leq \alpha<1)$, 且对于一些合适的常数 $\beta_j, \gamma_j, p_j$, $D_p$上的这个算子 $\Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)$ 保持$\alpha$阶星形性或保持$\beta$ 型螺形性, 其中 $ D_p=\bigg\{(z_1, z_2,\ldots, z_n)\in \C^n: \he{j=1}{n}|z_j|^{p_j}<1\bigg\},\quad p_j>0, j=1, 2,\ldots, n, $ $U$是复平面$\C$上的单位圆, $S^*_\alpha(\Omega)$ 是 $\Omega$ 上所有正规化$\alpha$阶星形映射所成的类. 也得到: 对于某些合适的常数 $\beta_j, \gamma_j, p_j$ 和 在C~n中的有界完全Reinhardt域Ω上推广的Roper-Suffridge算子Φ(f)定义为Φ_(n,β_2,γ_2,…,β_n,γ_n)~r(f)(z)=(rf(z_1/r),((rf(z_1/r))/z_1)~(β_2)(f′(z_1/r))~γ_2_(z_2,…,)((rf(z_1/r))/z_1)~(β_n)(f′(z_1/r))~(γ_n)_(z_n),其中n≥2,(z_1,z_2,…,z_n)∈Ω,r=r(Ω)=sup{|z_1|:(z_1,z_2,…,z_n)∈Ω},0≤γ_j≤1-β_j,0≤β_j≤1,这里选取幂函数的单值解析分支,使得((f(z_1))/z_1)~(β_j)|_(z_1=0)=1和(f′(z_1))~(γ_j)|_(z_1=0)=1,j= 2,…,n.证明了Ω上的算子Φ_(n,β_2,γ_2,…,β_n,γ_n)~r(f)是将S_α~*(U)的子集映入S_α~*(Ω)(0≤α<1),且对于一些合适的常数β_j,γ_j,p_j,D_p上的这个算子Φ_(n,β_2,γ_2,…,β_n,γ_n)~r(f)保持α阶星形性或保持β型螺形性,其中(?) U是复平面C上的单位圆,S_α~*(Ω)是Ω上所有正规化α阶星形映射所成的类.也得到:对于某些合适的常数β_j,γ_j,p_j和0≤α<1,Φ_(n,β_2,γ_2,…,β_n,γ_n)~r(f)∈S_α~*(D_p)当且仅当f∈S_α~*(U).     

Volterra算子及其伴随算子线性组合的数值域

经典Volterra算子$V$及其伴随算子$V^*$在复空间$L^2[0,1]$中起着关键作用. 关于$V$和$V^*$的线性组合的性质, 我们给出了确保$z_1V+z_2V^*(z_1,z_2\in\mathbb{C})$满足增生性质的等价条件. 本文描述了$(u+iv)I+mV+nV^*(u,v,m,n\in\mathbb{R},m+n\geq0)$数值域的精确表示.     

整系数射影么模羣的自同构

<正> §1.序言 以表行列式之值为±1的n×n整系数矩陣所組成的乘法羣,而以表中行列式之值为+1的矩陣所組成的子羣.的中核由{I,-I}所組成(I是单位矩阵).以表对其中核的商羣,称之为的射影羣.当n是偶数吋,的中核也是由{I,-I}所組成,以表对其中核之商羣,称之为整系数射影模羣. 华罗庚教授和I.Reiner在[1]中决定了,及(m≥1)的自同构.当n是奇     

有界凸圆型域上的 复数λ阶殆β型螺形映射

在有界凸圆型域上定义了一个新的螺形映射子族,证明了域Ω_(n,p_2,…,p_n)={z=(z_1,z_2,…,z_n)'∈C~n:|z_1|~2+■|z_j|~(pj)1}上该映射族在推广的RoperSuffridge算子作用下保持不变,从而可以容易地利用推广的Roper-Suffridge算子来构造高维空间上的这类映射族.同时给出了该映射族在复Banach空间单位球上齐次展开式的二次项估计.作为主要结果的推论.可以得到一些熟知的结论.     

Reinhardt域上一类推广的Roper-Suffridge算子

研究一类推广的Roper-Suffridge算子F(z)=(f(z_1)+f′(z_1)∑_(k=2)~nakz_k~pk,f′(z)1)(~1/p2)z_2,…,f′(z_1)~(1/pn)z_n)′,证明该算子在复欧氏空间中的Reinhardt域Ω_(n,p2,%…,pn)={z=(z_1,…,z_n)∈C~n:|z_|~2+∑_(k=2)~n|zk|~(pk)1,Pk∈N~+,k=2,…,n}上分别保持α次的殆β型螺形性,α次的β型螺形性及强β型螺形性.