Pure Mathematics
Vol. 09  No. 03 ( 2019 ), Article ID: 30292 , 8 pages
10.12677/PM.2019.93045

The Possibility of the Problem on Generalized Metric Space

—Space M1 Equivalent to Space M3

Jiaming Luo

School of Mathematics and Statistics, Henan University of Science and Technology, Luoyang Henan

Received: Apr. 24th, 2019; accepted: May 4th, 2019; published: May 20th, 2019

ABSTRACT

This paper tries to prove the equivalence of stratifiable spaces in the problem on generalized metric space. The definitions and properties of finite basis and regularity in metric space are studied. The regular space with σ local finite basis is obtained. In addition, the method of building space is obtained by using the Nagata-Smirnov Metrization Theorem to weaken the σ local finite basis to the closure keep basis. A method of constructing a topological space and establishing a continuous mapping is used here. The space M1 is equal to the space M3. In this way, three kinds of spatial equivalent problems in generalized metric space are solved.

Keywords:Metric Space, Stratifiable Space, Regular Space, Open Set, Closure

广义度量空间问题成立的可能性

——M1空间等价于M3空间

罗嘉铭

河南科技大学数学与统计学院,河南 洛阳

收稿日期:2019年4月24日;录用日期:2019年5月4日;发布日期:2019年5月20日

摘 要

本文尝试证明广义度量空间问题中层空间等价的问题。通过研究可度量空间中有关有限基和正则性的定义和性质,得到了具有 σ 局部有限基的正则空间,再通过Nagata-Smirnov度量化定理将 σ 局部有限基弱化为闭包保持基就得到了关于构造层空间的方法,这里利用构造拓扑空间和建立连续映射的方法,证明了所构造空间M1与M3等价,从而解决了广义度量空间中所构造的三种层空间相互等价的问题。

关键词 :度量空间,层空间,正则空间,开集,闭包

Copyright © 2019 by author(s) and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

1. 引言

众所周知,早在1961年J. G. Ceder就证明了 M 1 M 2 M 3 ,同时他提出问题: M 2 M 1 M 3 M 2 是否成立? [1] G. Gruenhage和H. J. K. Junnila分别于1976年和1978年独立证明了 M 3 空间和 M 2 空间是等价的,但 M 2 M 1 M 3 M 1 是否成立,是至今没有解决的难题 [1]。这里通过对这一问题的研究,利用层对应的方法尝试证明 M 1 M 3 等价的可能性。文中符号:1) :等价于;2) :并集;3) :交集;4) E ¯ :E的闭包;5) A B :A与B的差集。

2. M1与M3等价的证明过程

2.1. 引入紧缩映射 Φ Φ 具有如下性质

对于任意拓扑空间S有 Φ : S Φ ( S ) (为便利记 Φ ( S ) = H S ),满足 H S S 是子空间。那么对任意的拓扑空间A和B有 H A A H B B ,并且满足以下两种情形:

1) 若 A B = ,显然 H A H B =

2) 若 A B ,必有 H A H B =

同理容易推广到可数个拓扑空间 T 1 , T 2 , ,无论 i = 1 T i 是否为 ,都有 i = 1 H T i = ,这是交集的情况,接下来需要考虑并集的情况。

对任意两个拓扑空间A和B,若 A B = ,由于 H A ( A H A ) = A H B ( B H B ) = B ,所以有 H A H B G = A B ,其中 G = ( A H A ) ( B H B ) ;若 A B ,不妨设 A B = E ,则可能存在四种关系:

1) H B E

2) H B E

3) H A E H B E =

4) H A E = H B E =

然而不论哪种关系,由于 H A H B A B ,都可归结为 H A H B E E = A B ,其中令 F = E E ,仍然是 H A H B F = A B ,显然 H A H B A B 。同理可容易将 H A H B A B 推广到可数个拓扑空间 T 1 , T 2 , ,即 i = 1 H T i i = 1 T i ,因此可以找到 i = 1 T i 的子空间T使得 i = 1 H T i T = i = 1 T i 成立。

2.2. 紧缩映射的性质的进一步讨论

根据前面的定义,对任意的拓扑空间S,,其中 H S 是S的子空间,那么对于任意的开集 V H S ,由相关定义 [2] ,存在一个基元素 B B ,这里 B H S 的拓扑的基,满足对于一点 x V ,有 x B B V 。因为 B H S 的拓扑的基,根据基的定义 [2] ,对每一个 x H S ,至少存在一个包含x的基元素B,由 Φ 的定义,则 x B Φ 1 ( B ) ,且,所以 x Φ 1 ( B ) Φ 1 ( B ) B Φ 1 ( B ) ,因而有 x Φ 1 ( B ) Φ 1 ( B ) Φ 1 ( B )

仍考虑基的定义,若 x B 1 B 2 ,则有 x B 3 使得,这里 B 1 , B 2 , B 3 B 。那么由 Φ 的定义,因为 x B 1 B 2 ,所以知 x B 1 x B 2 ,因而 x B 1 Φ 1 ( B 1 ) x B 2 Φ 1 ( B 2 ) ,所以 x Φ 1 ( B 1 ) Φ 1 ( B 2 ) 。因为存在 x B 3 使,所以 x B 3 Φ 1 ( B 3 ) ,即,而由 B 3 B 1 B 3 B 2 ,显然有 Φ 1 ( B 3 ) Φ 1 ( B 2 ) Φ 1 ( B 3 ) Φ 1 ( B 1 ) ,即 Φ 1 ( B 3 ) Φ 1 ( B 1 ) Φ 1 ( B 2 ) 。可以考虑利用之前的关系,即 Φ 1 ( B ) Φ 1 ( B ) ,显然就有关系 Φ 1 ( B 1 ) , Φ 1 ( B 2 ) , Φ 1 ( B 3 ) Φ 1 ( B )

综上所述, Φ 1 ( B ) 是S的拓扑的基,所以对于一点 x V Φ 1 ( V ) ,有 x B Φ 1 ( B ) ,因为,所以 Φ 1 ( B ) Φ 1 ( V ) ,其中已知 Φ 1 ( B ) Φ 1 ( B ) 是基元素,所以 Φ 1 ( V ) S 是开集。所以 Φ 是连续的,又因为 Φ 是满射,因此 Φ 是开映射。同理容易证 Φ 1 H S 中的闭集映为S中的闭集,所以 Φ 又是闭映射(这与的连续性无关),因此可知是既开又闭的映射。

考虑任意正则空间X,根据相关定义 [2] ,知有任意给定的一点x和不包含x的闭集B,存在开集U和V,使得 x U B V U V = 。由 Φ 的定义,知 Φ ( X ) X = { x } B ,若任意给定 Φ ( X ) 中的一点y和不包含y的闭集C,使,都有 C B V ,同样可以找到一个开集包含y使得,所以 Φ ( X ) 也是正则空间。再由Nagata-Smirnov度量化定理 [2] ,将 σ 局部有限基弱化为闭包保持基就得到了 M 1 空间,但 M 1 空间并不能作为一般的度量空间来考虑,因此不存在与 M 1 的拓扑相容的度量d [3] ,因此只能考虑广义度量空间的拓扑结构。由因为 Φ 是既开又闭的映射,所以根据相关理论 [1] [4] , Φ ( M 1 ) = H M 1 可能是 M 1 空间(这需要在下文进行论证,并且与 M 3 空间的论证有关),这一点与将交集关系转化并集关系的思路成为解决后面问题的重要想法。

3. 层空间对应关系的讨论

3.1. 证明 H M 1 空间是 M 1 空间

在上述定义的映射 Φ 的作用下,重点讨论 H M 1

这里取点 λ 11 , λ 21 , , λ n 1 T 1 ; ; λ 1 n , λ 2 n , , λ n n T n ,其中

因此可定义邻域为: ,

其中 n = 1 , 2 , ,引入空间中的基 A ,且 A = A 1 A 2 ,这里 A 的子族。所以就有

T 11 = i = 1 W i 11 A 1 , , T 1 n = i = 1 W i 1 n A 1 ; ; T n n = i = 1 W i n n A n .

i , k T i k = A k 时, ( i = 1 T i 1 ) ( i = 1 T i 2 ) = A 1 A 2 , 显然成立。

则对于 A 1 A 2 N 1 , N 2 , ,当 j = 1 N j = μ = 1 A μ 时,就有 ( i = 1 T i 1 ) ( i = 1 T i 2 ) = j = 1 N j 。下面考虑一种更复杂的情况:

不妨设 i = 1 T i 1 = Q 1 A 1 , i = 1 T i 2 = Q 2 A 2 , 。这里的情况不包含上面的情形,即对于任何 T m t T l t T l t T m t = V t A t ,或 s = v u T s t = L t A t ,则有 ,其中 1 t , m , l , v , u 。且对于任意的

T i t = { T i t ( Q t A t ) } ( Q t A t ) = g = 1 K g A t .

这里若对于集合 K p p = 1 , 2 , ,考虑 K p K p p = 1 , 2 , ,就构成了以下的常规形式,同样地, j = 1 N j = μ = 1 A μ P ,若要满足

( i = 1 T i 1 ) ( i = 1 T i 2 ) = ( e = 1 Q e ) ( e = 1 A e ) = j = 1 N j = μ = 1 A μ P

需证 P = e = 1 Q e ,下面分三种情形讨论。

情形1:

N j T i 1 = A 1 , N j T i 2 = A 2 , ,其中

i , j , Σ ( N j T i Σ ) = ϕ = 1 A ϕ ( j = 1 N j ) ( i , Σ T i Σ ) = ϕ = 1 A ϕ .

因为 j = 1 N j = μ = 1 A μ P ,所以。因为

( i = 1 T i 1 ) ( i = 1 T i 2 ) = ( e = 1 Q e ) ( e = 1 A e ) ,

所以 ( e = 1 Q e ) ( e = 1 A e ) i , Σ T i Σ 。所以

, (1)

所以得 P ( e = 1 Q e ) = ,所以当 P = e = 1 Q e = 时可满足条件,或

猜测:是否可能有 ϕ = 1 A ϕ e = 1 Q e

若成立则总有

{ P i ( ϕ = 1 A ϕ ) } { ( e = 1 Q e ) ( ϕ = 1 A ϕ ) } ϕ = 1 A ϕ ,同样地,也可能出现例如 ϕ = 1 A ϕ P ,如此则总有 f = 1 A f { P ( ϕ = 1 A ϕ ) } = ϕ = 1 A ϕ P ( ϕ = 1 A ϕ ) = P ϕ = 1 A ϕ

所以只需 P = e = 1 Q e ϕ = 1 A ϕ 就可成立。

情形2:

N j T i 1 = A 1 B 1 , N j T i 2 = A 2 B 2 , 时,可由(1)式得到

( j = 1 N j ) ( i , Σ T i Σ ) = f = 1 A f [ P ( e = 1 Q e ) ] = ( ϕ = 1 A ϕ ) ( ϕ = 1 B ϕ ) ,

所以 P ( e = 1 Q e ) = ϕ = 1 B ϕ ,因为 ϕ = 1 B ϕ P , e = 1 Q e ,所以这里可直接令 P = e = 1 Q e = ϕ = 1 B ϕ ,即条件可成立。

情形3:

N j T i 1 = T i 1 , N j T i 2 = T i 2 , 时,仍然由(1)式可得:

( j = 1 N j ) ( i , Σ T i Σ ) = f = 1 A f [ P ( e = 1 Q e ) ] = i , Σ T i Σ ;

P ( e = 1 Q e ) = 时,即 f = 1 A f = f = 1 A f = i , Σ T i Σ 与之前所假设情况的其中之一符合,所以显然成立;当 P ( e = 1 Q e ) = Z 时,得 f = 1 A f Z = i , Σ T i Σ 也同样如此。因此不论 P ( e = 1 Q e ) 的情况如何,都有 P = e = 1 Q e 成立。所以式子 ( i = 1 T i 1 ) ( i = 1 T i 2 ) = j = 1 N j 得证。所以经映射作用后所得到的空间的确是 M 1 空间。

3.2. 证明 H M 3 空间是 M 3 空间

在映射 Φ 的作用下可设 C = ( k = 1 U k 1 ) ( k = 1 U k 2 ) ,其中C为闭集, E 1 , , E n 为开集,所以有

E 1 U 11 , U 21 , ; ; E n U 1 n , U 2 n , .

M 3 空间的定义可类似地对 H M3 就有,对于另一闭集D, G 1 , G 2 , 为开集,所以可设

E 1 E 1 = k = 1 U K 1 , E 2 E 2 K = 1 U K 2 , .

因为 G 1 δ = 1 F δ 1 , G 2 δ = 1 F δ 2 , ,所以 G 1 G 1 = δ = 1 F δ 1 , G 2 G 2 δ = 1 F δ 2 , 。因此令

C = ( E 1 E 1 ) ( E 2 E 2 ) = ( E 1 E 2 ) ( E 1 E 2 ) = ( c = 1 E c ) ( d = 1 E d ) = C ( d = 1 E d ) ,

D = ( G 1 G 1 ) ( G 2 G 2 ) = ( a = 1 G a ) ( b = 1 G b ) = D ( b = 1 G b )

C = D 时,就有 D ( b = 1 G b ) = C ( d = 1 E d ) ,当 ( E i C ) ( d = 1 E d ) ( G j D ) ( b = 1 G b ) 时, H M 3 是广义度量空间。

C D 时,设,所以 D ( b = 1 G b ) = [ C ( d = 1 E d ) ] ,所以当

( E i C ) ( d = 1 E d ) ( G j D ) ( b = 1 G b ) 是广义度量空间。

以上证明了 G ( n , C ) G ( n , D ) 成立的可能性。反过来,若知 G ( n , C ) G ( n , D ) ,则有两闭集C、D可分别表示为两个开集系列中开集的闭包的交。

C , D 为闭集, E 1 , E 2 , G 1 , G 2 , 为开集并且

E 1 k = 1 U k 1 , E 2 k = 1 U k 2 , , G 1 δ = 1 F δ 1 , G 2 δ = 1 F δ 2 , .

再设 G 1 L 1 = δ = 1 F δ 1 , G 2 L 2 = δ = 1 F δ 2 , 。所以

D = ( G 1 L 1 ) ( G 2 L 2 ) = ( δ = 1 G δ ) ( λ = 1 L λ )

C = ( E 1 K 1 ) ( E 2 K 2 ) = ( k = 1 E k ) ( μ = 1 K μ ) .

因为已知 G ( n , C ) G ( n , D ) ,所以可有 E i J s = G j 其中 i , j , s = 1 , 2 , ,所以

D = ( k = 1 E k ) ( s = 1 J s ) ( λ = 1 L λ ) = { C ( μ = 1 K μ ) } ( s = 1 J s ) ( λ = 1 L λ ) .

根据上面的讨论结果可知:

μ = 1 K μ λ = 1 L λ 时有 C D 成立。

时有 C D 成立。

因此以上证明了反之条件成立的可能性,所以空间 H M 3 满足广义度量空间 M 3 中的条件,因此 H M 3 空间的确是空间。

3.3. 讨论 H M 1 H M 3 的成立性

关于此问题需证明:在 H M 1 的闭包保持基条件下还可能满足 H M 3 中的条件,反之,在 H M 3 的条件下仍有 H M 1 的闭包保持基条件,两者必须同时成立。

讨论1:

C , E A H M 1 都是闭集, A 为保持基,若 E = ( t = 1 W t ) C ,其中 W 1 , W 2 , C , E 都是闭集,且E满足,令 C = J 1 J 2 。因为由保持基的条件就有

( i = 1 R i 1 ) ( i = 1 R i 2 ) = j = 1 S j (2)

其中 W 1 i = 1 R i 1 , W 2 i = 1 R i 2 , ( i = 1 K i 1 ) ( i = 1 K i 2 ) = j = 1 L j (3)

将式(2)和(3)求 就有

{ ( i = 1 R i 1 ) ( i = 1 R i 2 ) } { ( i = 1 K i 1 ) ( i = 1 K i 2 ) } = ( j = 1 S j ) ( j = 1 L j ) = θ = 1 { ( i = 1 R i θ ) ( i = 1 K i θ ) }

因为令 W 1 G 1 = i = 1 R i 1 , W 2 G 2 = i = 1 R i 2 , ,其中 G 1 , G 2 , 为开集;和

J 1 Z 1 = i = 1 K i 1 , J 2 Z 2 = i = 1 K i 2 , ,

其中 Z 1 , Z 2 , 为开集。所以得

. (4)

这里再令 P i = W i G i Q i = J i Z i P i 是闭集, Q i 是开集,其中 i = 1 , 2 , ,且

i = 1 T i 1 = P 1 Q 1 , i = 1 T i 2 = P 2 Q 2 ,

所以 Q 1 i = 1 T i 1 , Q 2 i = 1 T i 2 , 。即 i = 1 T i 1 , i = 1 T i 2 , 是一系列开集 Q 1 , Q 2 , 的闭包,代入式(4)得 ( i = 1 T i 1 ) ( i = 1 T i 2 ) = ( j = 1 S j ) ( j = 1 L j ) = j = 1 N j 。因为由 E = E ¯ ,所以 E = j = 1 N j ,所以即有

( i = 1 T i 1 ) ( i = 1 T i 2 ) = E ,

因此以上就证明了任一闭集E可由一系列开集 Q 1 , , Q n 的闭包的交表示。

当任意两个闭集 C , D 时,若 C = D 可易知 G ( n , C ) G ( n , D ) ;若 C D 时可设 C Q = D ,就有开集 E 1 δ = 1 G δ 1 , E 2 δ = 1 G δ 2 ,

再设 E 1 E 1 = δ = 1 G δ 1 , E 2 E 2 = δ = 1 G δ 2 , F 1 F 1 = ε = 1 I ε 1 , F 2 F 2 = ε = 1 I ε 2 ,

因为 D = ( δ = 1 G δ 1 ) ( δ = 1 G δ 2 ) = ( E 1 E 1 ) ( E 2 E 2 ) = ( a = 1 E a ) ( b = 1 E b )

C = ( ε = 1 I ε 1 ) ( ε = 1 I ε 2 ) = ( c = 1 F c ) ( d = 1 F d ) ,所以 ( c = 1 F c ) ( d = 1 F d ) Q = ( a = 1 E a ) ( b = 1 E b )

因此容易得出 F i E j 其中 i , j = 1 , 2 , ,所以成立。

讨论2:

C , D H M 3 C , D 都是闭集,若 C = D = t = 1 V t ,且有一闭集可表示为开集的闭包的交,即有 C = k , l U k l = D = t = 1 V t 。当 V 1 = i = 1 E i 1 , V 2 = i = 1 E i 2 , 时, E i 1 V 1 = W 11 W 21 W i 1 的闭包,……, E i n V n = W 1 n W 2 n W i n 的闭包,……。所以

,

所以满足闭包保持基条件。

C D ,设 D = C Q = t = 1 V t Q C , D 是闭集,且有 D = δ , θ G δ θ 。因为 G ( n , C ) G ( n , D ) ,所以有 M 1 δ = 1 G δ 1 , M 2 δ = 1 G δ 2 , N 1 p = 1 L p 1 , N 2 p = 1 L p 2 , 所以设 N i P = M j 其中,同样也有 M 1 M 1 = δ = 1 G δ 1 , M 2 M 2 = δ = 1 G δ 2 , N 1 N 1 = p = 1 L p 1 , N 2 N 2 = p = 1 L p 2 , 所以

D = δ , θ G δ θ = ( M 1 M 1 ) ( M 2 M 2 ) = ( a = 1 M a ) ( b = 1 M b ) = ( a = 1 N a ) ( ε = 1 P ε ) ( b = 1 M b )

C = p , q L p q = ( N 1 N 1 ) ( N 2 N 2 ) = ( c = 1 N c ) ( d = 1 N d )

所以

Q = D C = { ( ε = 1 P ε ) ( b = 1 M b ) } ( d = 1 N d ) .

由此可知, C = ( i = 1 E i 1 ) ( i = 1 E i 2 ) = k , l U k l 满足保持基条件,所以 D = n = 1 ( i = 1 E i n ) Q = k , l T k l ,其中,同样满足闭包保持基条件。

4. 总结

以上就证明了成立的可能性,现在由已知的关于 Φ 的定义和正则空间的结构有 H M 3 ~ M 3 ,很自然就能够得到成立,通过与Reznichenko构造反例的结论对比 [5] [6] ,即每个 M 3 空间都是 M 1 空间。

文章引用

罗嘉铭. 广义度量空间问题成立的可能性
The Possibility of the Problem on Generalized Metric Space[J]. 理论数学, 2019, 09(03): 336-343. https://doi.org/10.12677/PM.2019.93045

参考文献

  1. 1. “10000个科学难题”数学编委会. 10000个科学难题•数学卷[M]. 北京: 科学出版社, 2009: 211-212.

  2. 2. James R. Munkres. 拓扑学[M]. 北京: 机械工业出版社, 2006.

  3. 3. 儿玉之宏, 永见启应. 拓扑空间论[M]. 北京: 科学出版社, 1984.

  4. 4. 高国士. 拓扑空间论[M]. 北京: 科学出版社, 2000.

  5. 5. Anderson, R.D., et al. (2002) Recent Progress in General Topology. North-Holland, Amsterdam, 545-575.

  6. 6. Gartside, P.M. and Reznichenko, E.A. (2000) Near Metric Properties of Function Spaces. Fundamenta Mathematicae, 164, 97-114.

期刊菜单