關於Borsuk的絕對同倫擴充性質的討論

<正> 序言.在同倫論中,常常需要考慮滿足這種性質的拓撲空間X設Y為任意的一個正規空間,B為Y的任何一個非空閉集,任何一個由B×(0,1)+Y×(0)到X的映像都可以扩充為一個由Y×(0,1)到X的映像,我們稱這種性質為絕對同倫扩充性質,具有這種性質的空間以及用AHE表示.Borsuk曾經介紹這樣一個重要的定理:     

n維向量間的一個問题

本文是討論4個n維向量問的一個問題,具體地來說,就是定理:設A=(a_1,a_2,…,a_n),B=(b_1,b_2,…,b_n),X=(x_1,x_2,…,x_n)和Y=(y_1,y_2,…,y_n)為4個非零的n維向量,其向量分適合 (1) a_ib_j+a_jb_i=x_iy_j+x_jy_i(i,j=1,2,…,n)之諸關係式:那麼A,B一定分别和X,Y或Y,X成比例,即必有二數λ≠0,μ≠0致A=λX,B=μY,或A=λY.B=μX。 證明:當n=1時,A=(a_1),B=(b_1),X=(x_1),Y=(y_1)。因題設A,B,X,Y均非零向量,故此時應為a_1b_1x_1y_1≠0,故A=λX,B=μY或A=σY,B=γX之4個異於零之數λ,μ,σ,γ之存在甚為顯明,此即示定理對於一維向量來講是成立的——實際上,由於(1)的原故,此時還顯然有λμ=1或σγ=1。今用數學歸納法假定定理對於n-1維向量而言是成立的,而來考察適合關係式(1)的4個n維向量A,B,X和Y。因A為非零向量,故它必至少有一個向量分     

“重複組合定理”的另一證明

范氏代數學§772,關於重複組合有定理如下:n個不同文字中取r個許重複的組合共有C_r~(n+r-1)個;現在我們用歸納法來證明它: 1.n=1時,定理顯然成立。 2.文字個數為n-1時,假設定理成立。 3.在n個文字中,取r個許重複的全部組合可分類如下: 1)不含某一特殊文字如a的:這顯然為n-1個文字中,取r個許重複的組合。由2,這種組合共有a_r~(n-1+r-1)=c_r~(n+r-2)個。     

經驗分佈之比的極限分佈

<正> §1.引言 令x為一隨機變數,其分佈函數為F(x).對於x作n次相互獨立的试驗,便得n個結果x_1,x_2,…,x_n.我們也可以把x_1,x_2,…,x_n看作是遵循同一個分佈函數F(x)的相互獨立隨機變數.現在把x_1,x_2,…,x_n依其值由小到大的次序排列,我們得到     

經驗分佈對理論分佈的比值

<正> 設F(x)是隨機變数X的分佈函數,x_1,x_2,…,x_n是對X的n次相互獨立觀測的結果.將n個數據按照數值從小到大排列起來,以x_k代表其中的第k個,我們把原來的結果寫成     

關於區域的映照半徑

<正> §1.設α_1,α_2,…,α_n是z平面上n個相異的點,G_1,G_2,…,G_n是z平面上n個不互相重叠的有限區域,α_k屬於G_k,記G_k對於α_k的映照半徑為     

論雅各必恒等式

<正> §1.設X是一個拓撲空間,其中任何二點可以用弧聯結。以x_o∈X為參考點,那麼可以定義π_r(X,x_o)(r=1,2,…)。這種羣的元素全體,成為一個集E。在E中有魏德海乘積[2],即α,β為E中一點,那麼[α,β]也是E中一點。關於魏德海乘積的重覆使用問題,就文獻而諭,首先在W.S.Massey[6]     

叠次乘積與π_r(S~p∪S~q)

<正> §1.設X為一拓撲空間,其中各點可以用弧聯結.那末π_r(X)的研究,要分兩種步驟,第一步要决定π_r(X)的代數構造,第二步要决定π_r(X)中每一個元素的幾何代表;就是說我們要檢定π_r(X)這個羣的構造,並且對於這個羣的每一個元素α,要造一個連續照像     

自然數的平方和

自然數列中,前n個數的平方和的公式,是大家都熟悉的,我們還可以這樣地導出此公式。取兩個互相垂直的直線OA和OB,選取任意的線段為單位長,並且在横軸OA上,從點O開始相繼地截出線段1,2,3,4,…,n(圖1)。在縱軸OB上,截出一個等於1的線段,然後再截出n-1個線段,每個線段的長邵等於2/3。通過諾分割點我們引平行於軸的直線,一直到它們的交點為止,於是我們得到邊長為1的正方形和n-1個六角形,這些六角形的面積相繼地表示前面的自然數的平方。 證明:上面的命題很容易證明,命六角形MNTPQR的邊MN等於k,已知RS‖OB,我們得到面積MNTPQR=面積MNTS+面積RSPQ,     

值命題演算的有窮值的具有函數完全性的子系統

<正> §1.引言 本文是以一種方法把任何一個完全的且具有函數的完全性(見[1],[2])的有窮值命題演算嵌入到一個值的命題演算中去,成為子系統. 在本文中涉及的完全的且具有函數的完全性的有窮值的命題演算有以下兩種:     

ON THE GENERALIZED POLYNOMIALS OF L. V. KANTOROVITCH AND THEIR ASYMPTOTIC BEHAVIORS

In this article we generahze the polynomials of Kantorovitch \({P_n}(f)\) . Let \({B_n}\) be a sequence of linear operators from C[a,b] into \({H_n}\), if \[f(t) \in L[a,b],F(u) = \int_a^u {f(t)dt} ,{A_n}(f(t),x) = \frac{d}{{dx}}{B_{n + 1}}(F(u),x)\], here \({B_n}\)satisfy\[\begin{array}{l} (a):{B_n}(1,x) \equiv 1,{B_n}(u,x) \equiv x;\(b):for{\kern 1pt} {\kern 1pt} g(u) \in C[a,b]{\kern 1pt} {\kern 1pt} we{\kern 1pt} {\kern 1pt} have{\kern 1pt} {\kern 1pt} {B_n}(g(u),b) = g(b). \end{array}\]. we call such \({A_n}(f)\) generalized polynomials of Kantorovitch (denoted by \({A_n}(f) \in K\) ). Let \[\begin{array}{l} {\varepsilon _n}({W^2};x)\mathop = \limits^{def} \mathop {\sup }\limits_{f \in {W^2}} \left| {{A_n}(f(t),x) - f(x) - f'(x)({A_n}(t,x) - x)} \right|,\{\varepsilon _n}{({W^2}{L^p})_{{L^p}}}\mathop = \limits^{def} \mathop {\sup }\limits_{f \in {W^2}{L^p}} {\left\| {{A_n}(f(t),x) - f(x) - f'(x)({A_n}(t,x) - x)} \right\|_p}. \end{array}\] We have proved the following results: Let An he a sequence of linear continuous operators of type \[C[a,b] \Rightarrow C[a,b],{D_n}(x,z)\mathop = \limits^{def} {A_n}(\left| {t - z} \right|,x) - \left| {x - z} \right| - ({A_n}(t,x) - x)Sgn(x - z),{A_n}(1,x) = 1\] then (1):\({\varepsilon _n}({W^2};x) = \frac{1}{2}\int_a^b {\left| {{D_n}(x,z)} \right|} dz\), (2): Moreover, if \({A_n}\) be a sequence of linear positive operators, then for \(\left[ {\begin{array}{*{20}{c}} {a \le x \le b}\{a \le z \le b} \end{array}} \right]\) ,we have \({D_n}(x,z) \ge 0\), and \({\varepsilon _n}({W^2};x) = \frac{1}{2}{A_n}({(t - x)^2},x)\). Let \({A_n}(f) \in K\) be a sequence of linear positive operators,\[{R_n}{(z)_L} = \frac{1}{2}\int_a^b {\left| {{D_n}(x,z)} \right|} dx\],then \[{R_n}{(z)_L} = \frac{1}{2}\left[ {{B_{n + 1}}({u^2},z) - {z^2}} \right]\] and \[{\varepsilon _n}{({W^2}L)_L}{\rm{ = }}\frac{1}{2}\left\| {{B_{n + 1}}({u^2},z) - {z^2}} \right\|\]. Let \[{g_n} = \frac{1}{2}\mathop {\max }\limits_{a \le x \le b} {A_n}({(t - x)^2},x),{h_n} = \frac{1}{2}\mathop {\max }\limits_{a \le z \le b} \left[ {{B_{n + 1}}({u^2},z) - {z^2}} \right],\] then \[{\varepsilon _n}{({W^2}{L^p})_{{L^p}}} \le {g_n}^{1 - \frac{1}{p}}{h_n}^{\frac{1}{p}}(1 < p < \infty ).\]     

Hammerstein型非线性积分方程正解的个数

<正> 本文是作者工作[8]、[9]的继续.在[9]中作者利用Leray-Schauder拓扑度理论研究了多项式型Hammerstein非线性积分方程的固有值,即设     

劳勃生的特殊星像函数和特殊凸像函数

<正> 设函数w在单位圆 E_z:|z|<1上是正则的.假如f(z)在 E_z上是单叶的,那末 D_f=f(E_z)是 w 平面上单叶的区域.记这种单叶函数f(z)的全体为 S_p,S_1=S.若 D_f 以原点 w=0 为星形中心,就是说若 w_0∈D_f则缐段■整个地落在区域 D_f 中,称这种函数 f(z)是 E_z 中的星像函数,其特徵是在 E_z     

Буняковский不等式之推广及其对于积分方程与希尔伯特空间之应用

<正> 不等式■(1) 通常称为布湼可夫斯基不等式,或席瓦耳智不等式,在本文中,作者推广此不等式为这里我们用 det u_(ij)(i,j=1,2,…,n)表第i列j行之元为 u_(ij)之n列行列式,f_i,g_j(i,j=1,2,…,n)表任一希尔伯特空间之任意二组之元,(f_i,g_j)表f_i与g_j二元之内乘积.     

论数论函数ψ(n),σ(n)及d(n)的一些性质

<正> 命 f(n)为一数论函数.关于函数比值(?)的分布问题,Soma-yajulu,Sierpi(?)ski 及 Schinzel 曾用算术的方法,对于ω(n),σ(n)及 d(n)加以处理.华罗庚教授首先指出用 Brun 节法处理这一类问题的途径.按这一方向,作者与     

查甫雷金方程的唯一性定理(Ⅰ)

<正>考虑下列混合型议程的唯一性问题 K(y)u_(xx)+u_(yy)=0 (K(0)=0;当y≠0时,■(1) 所考慮的區域D由三條曲綾圍成.其一是雙曲區域(y<0)中由原點引出的特徵线Γ_1,它滿足下面條件     

关于求最优分批问题的全部解

<正> 在文章[2],[3],[4],[5]中已对任何N>n>1及0≤δ≤1/2(以下总假设上列不等式满足)研究了最优分批问题的满足[2]中定理5.1的条件组     

关于用多维样条逼近的饱和度

<正> 作者在工作[1]中,研究了一维样条逼近的饱和度问题,得到了下述定理: 定理A 设{△_k}是区间[a,b]的一分划序列,‖△_k‖→0(k→∞),R_(△k)≤β<∞(k=1,2,…),若f(x)∈c~n[a,b],S_(△_k)(x)是(n-1)次多项式样条,如果 对任一p成立,(p=0,1,…,n)则 D~nf(x)≡0. 本文是[1]的续篇,对多维样条进行研究,可得一些类似的结果,为明确起见,我们仅对二维情形进行讨论.     

素数变数的线性方程组

<正> 引言 在苹雁庚教授的著作“堆曼素数箫”第十二章中曹握提出了阴龄整保数素数燮数的腺性方程粗的解的问题.这个问题是有名的(?)定理的自然推广.1937年苏联(?)院士首先证明了任何充分大的奇整数 N 都能表成三个素数之和,且如令 I(N) 为表示法的种数,则     

Strong Convergence for Weighted Sums of Negatively Associated Arrays

Let {Xni} be an array of rowwise negatively associated random variables and Tnk=k∑i=1 i^a Xni for a ≥ -1, Snk =∑｜i｜≤k Ф（i/nη）1/nη Xni for η∈（0,1],where Ф is some function. The author studies necessary and sufficient conditions of ∞∑n=1 AnP（max 1≤k≤n｜Tnk｜〉εBn）〈∞ and ∞∑n=1 CnP（max 0≤k≤mn｜Snk｜〉εDn）〈∞ for all ε 〉 0, where An, Bn, Cn and Dn are some positive constants, mn ∈ N with mn /nη →∞. The results of Lanzinger and Stadtmfiller in 2003 are extended from the i.i.d, case to the case of the negatively associated, not necessarily identically distributed random variables. Also, the result of Pruss in 2003 on independent variables reduces to a special case of the present paper; furthermore, the necessity part of his result is complemented.