T_0至T_4空间及度量空间之间的关系

拓扑空间是度量空间的进一步抽象和推广,具有可数稠密子集的拓扑空间称为可分的空间。这里主要论述、证明了T_0、T_1、T_2、T_3、T_4空间以及度量空间之间的蕴含关系。 定义1 T_0空间——设X为拓扑空间,若x,y∈X,x≠y,则或者x有开邻域U使得y     

关于度量投影的一些结果

设X是(实或复)域K上的赋范线性空间,M是X的闭线性子空间,令P_M(x)={m∈M;、||x-m||=d(x,M)},则称PM为x到M上的度量投影,耳中d(x,M)=inf||x—y||是x到M的距离, M称为可最佳逼近(Chebyshev)的,若对x∈X,P_M(x)至少含且仅含一点,若M是可最佳逼近的,定义 P_M的范数为 ||P_M||=sup{||b||:b∈P_M(x),且||x||,且||x||≤1} 易知1≤||P_M||≤2,我们主要有下列结果: 命题1 设X是自反Banach空间,M是Chebyshev子空间,PM线性,则||P_M||<2。 命题2 设M是e_p(或L_p)的闭子空间,则当p≥2时,||P_M||≤1+1/2~(1/p);当1相似文献   

点集拓扑初步

<正> 1.定义 (a)集X的一个子集的集合τ被称为X上一个拓扑,如果τ具有如下三条性质: (ⅰ)φ∈t且X∈t。 (ⅱ)如果V_i∈τ(i=1,2,…,n)则V_1∩V_2∩…∩V_n∈τ。 (ⅲ)如果{V_a}为τ内任意(有限,可数或不可数)个元的集,则UV_a∈τ。 (b)当τ为X中一拓扑时,称X为一拓扑空间且称τ的元为X中的开集。     

一个拓扑空间及其基本性质

本文在不可数集x中定义了一个开集族t,使得(x,t)成为一个拓扑空间,并且讨论了空间(x、t)的A_1、A_2性,T_1、T_2性及连通和道路连通性。     

巧用三角函数的周期性

求证:如果f(x)与g(x)是定义在同一集合M上的周期函数,周期分别是T_1与T_2,且T_1/T_2=a,而a是有理数,则它们的和、差与积也是M上的周期函数,且T_1与T_2的公倍数为其一个周期。证明:我们仅证和的情形。∵T_1与T_2分别是f(x)与g(x)的周期,且T_2/T_1是有理数,设T_1与T_2的最小公倍数为T     

由内超实度量导出的拓扑

应用非标准方法研究由内集E上的超实度量d所导出的Q-拓扑与S-拓扑,给出这两种拓扑的一些重要性质:(E,Q)是完全不连通的且其紧子集都是有限集;G(x)/■关于E上的S-拓扑的商拓扑是可度量化且完备的;G(x)的有界子集A若满足A/■是S-拓扑的商空间G(x)/■的闭子集,则A是S-紧的。进而讨论了S-拓扑在构造完备度量空间中的应用。     

连续半度量空间

引言 本文从连续半度量空间的拓扑结构入手,讨论了连续半度量空间的可分性,完备性,紧性,给出了一个连续半度量空间可度量化的充分条件,建立了一个连续半度量空间的不动点定理。 一、连续半度量空间的拓扑结构。定义1.1:设X是一非空集合,d:x×x→R_+的一个映象,若满足:     

R~3中一类二次齐次向量场的拓扑结构

本文讨论R~3中的二次齐次向量场:Q(x)=(x_1(ax_1 bx_2 cx_3),x_2(bx_1 cx_2 ax_3),x_3(cx_1 ax_2十bx_3))=(Q_1(x),Q_2(x),Q_3(x))x=(x_1,x_2,x_3,)的拓扑结构,当它只有孤立奇点时,利用向量场W_Q(X)的相图,得到Q(X)的轨线共有12种不同的拓扑等价类.     

映射空间中几个定理的扩展

函数空间是学习代数拓扑的基础。深入研究函数空间对进一步学习拓扑有着重要意义。本文在映射空间中推广E~*～开拓扑和一致收敛拓扑,引进了E~*～F~*拓扑和紧一致收敛拓扑,并对映射空间的几个定理做了一些扩展。 一、E~*～F~*拓扑 若X、Y为集合,任取E(?)X,B(?)Y,记, W(E,B){f:X→Y,f(E)(?)B} G(E,B)=、{f:X→Y,f(E)(?)B,且f连续}。 定义1 设X为非空集合,Y为拓扑空间,E~*为X的子集簇,F~*为Y的子集簇,且Y∈F~*,则Y~x的子集簇 ψE·(?)={W(E,F):E∈E~*,F∈F~*}的并为Y~x,故有唯一拓扑为T_(E·(?))~*以ψ_(E·(?))为子基,T_(E·(?))~*称为Y~x的E~*～F~*拓扑。 设X、Y为拓扑空间,记Ω(X,Y)为从X到Y的所有连续映射的集合,因而Ω(X,Y)(?)Y,Ω(X,Y)作为Y~x(E~*～F~*拓扑)的子空间称为连续映射空间(E~*～F~*拓扑)。 引理1 若有F∈F~*有Y—F∈F~*,则G(E,F)为Ω(X,Y)关于E~*～F~*拓扑的既开又闭的子集。 证明:因为E∈E~*,F∈F~*,有     

函数图像的对称性与周期性的联系

命题1:f(x)是定义在 R 上的函数,则f(x)的图像的对称轴为 x=a 的充要条件是f(2a-x)=f(x).(证明略).说明:对于定义在 R 上的函数 f(x),等式f(a-x)=f(a x),f(-x)=f(2a x),     

再论CHEBYSHEV多项式

<正> 次数n(≥0)的CHEB YSHEV多项式由T_n(x)=Cosnθ,x=Cosnθ,0≤θ≤Π(1)所确定。这是定义在区间[-1,1]上(因而对全体复数有意义)的多项式。显然,To(x)=1,T_1(x)=x_0基本三角恒等式表明T_(n+1)(x)=2xT_n(x)-T_(n-1)(x),n=1,2,…,这些多项式有许多有趣的性质且被广泛地研究过(参阅RIVLIN[2]),由(1)可知,Y=T_n(X)(-1≤x≤1)的图象完全位于正方形A:-1≤x≤1,-1≤y≤1之内。图1表示当n=1,2,…,30时,y=T_n(x)(-1≤x≤1)的图形。穿过正方     

谈谈周期函数(续)

二、有关定理下面介绍的一系列定理,可以帮助判定函数的周期性或求出最小正周期。定理1 设f(x)、g(x)皆为定义在实数集R上的周期函数,T_1与T_2分别为f(x)与g(x)的正周期,当T_1/T_2等于有理数时,则f(x)±g(x),f(x)·g(x)均为定义在R上的周期函数,且T_1与T_2的公倍数是它们的周期。(未必是最小正周期) 证设T_1/T_2=p/q(p与q皆为正整数)令T=qT_1=pT_2则f(x±T)±g(x±T)=f(x±qT_1)±g(x±pT_2)=f(x)±g(x).所以f(x)±g(x)是周期函数,T为周期。对于f(x)·g(x),同理可证是以T为周期的函数。注(1)实数集R可用上、下无界数集E代替;(2)对于有限个函数,定理仍然     

广义拓扑空间的ТИХОНОВ定理

§1 广义拓扑空间的紧性定义1.1 在广义拓扑空间X中,广义点x称为属于元a,记为x∈a,当且仅当x是≤a的一个最大的非零既约元。易见,广义拓扑空间的每个元a都可表示为属于a的广义点x_i之上确界,且这种表示是唯一的。定义1.2 开元族u称为元     

关于连续映射等价命题的证明

在一般拓扑学书中,关于连续映射的等价条件不够多且证明也没有依次给出证明,使得这些证明不够简洁明了。本文尽可能多地给出连续映射的等价条件,并且依次给出了证明。定义:设(X,T)与(Y,U)是拓扑空间,f:X→Y,如果AB∈U,f~(-1)(B)∈T,则称f为连续映射。如果A~x∈X及f(x)的任意邻域N,E~x的邻域M,使f(M)(?)N,则称f在x连续。定理:设X,Y为拓扑空间,f:X→Y。则下列条件是等价的。 (1) f为连续映射。     

Banach空间自反定理的序列证明

<正> 定理若Banach空间X是w——序列完备的,且它的共扼空间X~*是可分的,则X是自反的证明用U(X)表示X中的单位球,即: U(X)={x∈X|‖x‖≤1}由Banach空间自反的判定准则知,只须证明U(x)是w—序列紧的。设{x_n)~∞_(n=     

Preparalindel(o)ff空间的性质

对Preparalindel(o)ff空间进行了探讨,给出了Preparalindel(o)ff空间的一个等价刻画:X是Preparalindel(o)ff空间的充要条件是X的每一开覆盖U都有加细覆盖V,V是Preparalindel(o)ff集,且对每一个x∈X,x∈Int(st(x,V)).并且证明了:若X是Preparalindel(o)ff空间,f:X→Y是可数对一开映射,那么Y也是Preparalindel(o)ff空间.     

利用凸函数性质证明几个著名的不等式

<正>凸函数定义:设f(x)为定义在区间I上的函数,若对I上任意两数x1,x2和实数λ,总有f(λx1+(1-λ)x2)≤λf(x1)+(1-λ)f(x2),则称f为I上的凸函数.凸函数判定定理为:设f为I上的二阶可导函数,则f为I上的凸函数的充要条件是在I     

子空间的交的基与维数的一种简易求法

设F~n是数域F上的线性空间,V_1与V_2是它的两个子空间,且 V_1=L(a_1,a_2,…,a_r), V_2=L(β_1,β_2,…,β_s), 求V_1∩V_2的基与维数。 普通的方法是:首先求出向量组a_1,a_2,…a_r与β_1,β_2…β_s的极大线性无关组,即V_1与V_2的基,再利用交空间V_1∩V_2中的元素的表示法导出齐次线性方程组,求出齐次线性方程组的一个基础解系,就可得到V_1∩V_2的一个基,从而确定了维数。     

矩阵在多项式乘积中的应用

设f(x) ,g(x)∈F[x],且 °(f(x) ) =n , °(g(x) ) =m ,其中f(x) =a0 xn+a1xn -1+…+an (1)g(x) =b0 xm+b1xm -1+…+bm (2 )用矩阵表示f(x) =(a0 ,a1,…,an) (xn,xn-1,…,1) T (3)为了叙述方便,给出如下定义.定义1　在(3)式中,称1×(n +1)矩阵A =(a0 ,a1,…,an)为多项式f(x)的系数矩阵;称(n +1)×1矩阵X =(xn,xn -1,…,1) T 为f(x)基底矩阵。其中f(x)的系数矩阵A与基底矩阵X都是f(x)按降幂排列而构成的,且A的行数和X的列数都等于 °(f(x) ) +1。显然(f(x) =AX .定义2　已知多项式(1) ,(2 ) ,则(n +1)×(n +m +1)矩阵B(f,g) =b0 b1…bmb…     

关于简单树的一类计数问题的讨论

本文通过定义的运算"*",简要讨论了集合τ_1*τ_2={(τ_1,x)*(τ_2,y)|x∈V_1,y∈V_2}的计数问题.其中:V_((τ_1*τ_2))=V_(τ_1)∪V_(τ_2),E_((τ_1*τ_2))=E_(τ_1)∪E_(τ_2)∪{(x,y)}。研究得到,在运算"*"下:若τ_1,τ_2是两棵同阶不同构简单无向树,则|τ_1*τ_2={(τ_1,x)*(τ_2,y)|x∈_1,y∈V_2}|=|V_2/Autτ_2|·|V_1/Autτ_1|.