Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng

Tóm tắt: Metric hóa không gian topo là một trong những bài toán trọng tâm của topo đại cương. Năm

2007, Pengfei Yan, Shou Lin đã đưa ra một số điều kiện khả metric của không gian topo có g-hàm cơ sở

yếu và đặc trưng của không gian đối xứng, không gian g-khả metric, không gian g-trải được thông qua

g-hàm cơ sở yếu (xem [3]). Gần đây Trần Văn Ân, Lương Quốc Tuyển đã giới thiệu khái niệm g-hàm snmạng. Nhờ đó, các tác giả đã đưa ra đặc trưng của không gian snf-đếm được, không gian sn-đối xứng,

không gian sn-đối xứng Cauchy, không gian sn-trải được, không gian sn-khả metric thông qua g-hàm

sn-mạng (xem [2]). Trong bài báo này, chúng tôi đưa ra một số bảo tồn của không gian với g-hàm snmạng với một số tính chất topo nào đó thông qua ánh xạ 1-phủ-dãy. Nhờ những kết quả này, chúng tôi

thu được bảo tồn của một số không gian metric suy rộng.

Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng trang 1

Trang 1

Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng trang 2

Trang 2

Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng trang 3

Trang 3

Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng trang 4

Trang 4

Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng trang 5

Trang 5

pdf 5 trang xuanhieu 3400
Bạn đang xem tài liệu "Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng", để tải tài liệu gốc về máy hãy click vào nút Download ở trên

Tóm tắt nội dung tài liệu: Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng

Ảnh 1-phủ-dãy của không gian có g-hàm sn-mạng
UED Journal of Social Sciences, Humanities & Education – ISSN 1859 - 4603 
TẠP CHÍ KHOA HỌC XÃ HỘI, NHÂN VĂN VÀ GIÁO DỤC 
16 | Tạp chí Khoa học Xã hội, Nhân văn & Giáo dục, Tập 8, số 2 (2018), 16-20 
a,bTrường Đại học Sư phạm - Đại học Đà Nẵng 
* Tác giả liên hệ 
Lương Quốc Tuyển 
Email: tuyendhdn@gmail.com 
 Nhận bài: 
 17 – 04 – 2018 
Chấp nhận đăng: 
 25 – 06 – 2018 
ẢNH 1-PHỦ-DÃY CỦA KHÔNG GIAN CÓ g-HÀM sn-MẠNG 
Lương Quốc Tuyểna*, Nguyễn Thị Mỹ Hạnhb 
Tóm tắt: Metric hóa không gian topo là một trong những bài toán trọng tâm của topo đại cương. Năm 
2007, Pengfei Yan, Shou Lin đã đưa ra một số điều kiện khả metric của không gian topo có g-hàm cơ sở 
yếu và đặc trưng của không gian đối xứng, không gian g-khả metric, không gian g-trải được thông qua 
g-hàm cơ sở yếu (xem [3]). Gần đây Trần Văn Ân, Lương Quốc Tuyển đã giới thiệu khái niệm g-hàm sn-
mạng. Nhờ đó, các tác giả đã đưa ra đặc trưng của không gian snf-đếm được, không gian sn-đối xứng, 
không gian sn-đối xứng Cauchy, không gian sn-trải được, không gian sn-khả metric thông qua g-hàm 
sn-mạng (xem [2]). Trong bài báo này, chúng tôi đưa ra một số bảo tồn của không gian với g-hàm sn-
mạng với một số tính chất topo nào đó thông qua ánh xạ 1-phủ-dãy. Nhờ những kết quả này, chúng tôi 
thu được bảo tồn của một số không gian metric suy rộng. 
Từ khóa: g-hàm sn-mạng; ánh xạ 1-phủ-dãy; không gian snf-đếm được; không gian sn-đối xứng; không 
gian sn-đối xứng Cauchy; không gian sn-trải được. 
1. Giới thiệu 
Năm 2007, Pengfei Yan, Shou Lin đã đưa ra một số 
điều kiện khả metric của không gian topo với g-hàm cơ 
sở yếu và đặc trưng của một số không gian metric suy 
rộng thông qua g-hàm cơ sở yếu (xem [3]). Bên cạnh 
đó, Iwao Yoshioka đã đưa ra bảo tồn của một số không 
gian metric suy rộng thông qua ánh xạ đóng (xem [4]). 
Gần đây, Trần Văn Ân, Lương Quốc Tuyển giới thiệu 
khái niệm g-hàm sn-mạng và đã thu được đặc trưng của 
một số không gian metric suy rộng thông qua g-hàm sn-
mạng (xem [2]). Trong bài báo này, chúng tôi nghiên 
cứu bảo tồn của một số không gian với g-hàm sn-mạng 
thông qua ánh xạ 1-phủ-dãy. 
2. Cơ sở lí thuyết và phương pháp nghiên cứu 
2.1. Cơ sở lí thuyết 
2.1.1. Định nghĩa ([1]). Giả sử P là họ nào đó gồm 
các tập con của không gian topo ,X x X và .P P 
Khi đó, 
(1) P được gọi là lân cận dãy của x nếu với mọi 
dãy{ }nx hội tụ đến ,x tồn tại m ¥ sao cho 
{ } { : } .nx x n m P  
(2) P được gọi là mạng tại x nếu x P với mọi 
P P và với mọi lân cận mở U của ,x tồn tại P P 
sao cho .x P U  
2.1.2. Định nghĩa ([1]). Giả sử rằng 
{ : }x x X= UP P 
là họ nào đó gồm các tập con của không gian topo X 
thỏa mãn các điều kiện sau. 
(1) xP là mạng tại x ; 
(2) Nếu 1 2, ,xPP P thì tồn tại xP P sao cho 
1 2 ;P P P  
(3) Mỗi phần tử của xP là một lân cận dãy của .x 
Khi đó, P được gọi là sn-mạng của ,X và mỗi xP được 
gọi là sn-mạng tại .x 
2.1.3. Định nghĩa ([2]). Giả sử X là một không gian 
topo. Khi đó, hàm 
 ISSN 1859 - 4603 - Tạp chí Khoa học Xã hội, Nhân văn & Giáo dục, Tập 8, số 2 (2018) 16-20 
 17 
: ( )
( , ) g( , )
g X X
n x n x
 →¥
a
P
được gọi là g-hàm sn-mạng trên X nếu nó thỏa mãn 
các điều kiện sau. 
(1) ( , )x g n x với mọi x X và .n ¥ 
(2) ( 1, ) ( , )g n x g n x+  với mọi .n ¥ 
(3) { ( , ) : }g n x n ¥ là sn-mạng tại .x 
2.1.4. Nhận xét ([2]). Giả sử rằng g là một g-hàm 
sn-mạng trên không gian topo .X Khi đó, ta đặt: 
( )E Nếu ( , )nx g n x với mọi ,n ¥ thì .nx x→ 
( )F Nếu ( , )nx g n x với mọi ,n ¥ thì .nx x→ 
( )wF Nếu ( , )nx g n x với mọi ,n ¥ thì tồn tại 
dãy con { }
kn
x của { }nx hội tụ đến .x 
( )G Nếu , ( , )n nx x g n y với mọi ,n ¥ thì 
.nx x→ 
( )H Nếu nx x→ và ( , )n nx g n y với mọi ,n ¥ 
thì .ny x→ 
2.1.5. Định nghĩa ([1]). Giả sử :f X Y→ là một ánh 
xạ từ không gian topo X vào không gian topo .Y Ta 
nói rằng f là ánh xạ 1-phủ-dãy nếu f liên tục và với 
mỗi ,y Y tồn tại 1( )yx f y
− sao cho với mọi dãy 
{ }ny hội tụ đến y trong ,Y tồn tại dãy { }nx hội tụ đến 
yx trong X sao cho ( )n nf x y= với mọi .n ¥ 
2.1.6. Nhận xét. Giả sử :f X Y→ là ánh xạ 1-phủ-
dãy từ không gian topo X vào không gian topo ,Y và 
: ( )
( , ) g( , )
g X X
n x n x
 →¥
a
P
là một g-hàm sn-mạng trên .X Khi đó, với mỗi ,y Y 
tồn tại 1( )yx f y
− thỏa mãn Định nghĩa 2.1.5. Ta đặt 
( ):
( , ) ( , ) ( , ) .y
h
n y h n y x
Y
f g n
Y →
 = a
¥ P
2.1.7. Định nghĩa ([2]). Giả sử X là một không gian 
topo. Khi đó, 
(1) X được gọi là không gian snf-đếm được nếu 
X có sn-mạng { : }x x X= UP P sao cho mỗi xP là 
đếm được. 
(2) X được gọi là không gian sn-trải được nếu X 
có một g-hàm sn-mạng thỏa mãn tính chất ( ).G 
2.1.8. Định nghĩa ([1]). Giả sử rằng X là một không 
gian topo. Khi đó, :d X X → ¡ được gọi là một d-
hàm trên X nếu với mọi , ,x y X ta có 
(1) ( , ) 0;d x y 
 ( , ) 0 .d x y x y= = 
(2) ( , ) ( , ).d x y d y x= 
2.1.9. Định nghĩa ([1]). Giả sử d là một d-hàm trên 
không gian topo .X Khi đó, 
(1) Với mỗi x X và ,n ¥ ta đặt 
( ) { : ( , ) 1/ }.nS x y X d x y n= 
(2) Dãy { }nx X được gọi là d-Cauchy nếu với 
mọi 0, tồn tại k ¥ sao cho 
( , )n md x x  với mọi , .m n k 
(3) X được gọi là không gian sn-đối xứng nếu 
{ ( ) : }nS x n ¥ là sn-mạng tại x với mọi .x X 
(4) X được gọi là không gian sn-đối xứng Cauchy 
nếu nó là không gian sn-đối xứng và mỗi dãy hội tụ là 
d-Cauchy. 
2.2. Phương pháp nghiên cứu 
Chúng tôi dùng phương pháp nghiên cứu lí thuyết 
trong quá trình viết bài báo. Sử dụng khái niệm và một 
số kết quả của những tác giả đi trước, chúng tôi đưa ra 
một số bảo tồn của không gian với g-hàm sn-mạng 
thỏa mãn một số tính chất topo nào đó thông qua ánh 
xạ 1-phủ-dãy. Nhờ đó, chúng tôi đưa ra được bảo tồn 
của một số không gian metric suy rộng qua ánh xạ 1-
phủ-dãy. 
3. Kết quả và đánh giá 
3.1. Kết quả 
3.1.1 Định lí. Giả sử :f X Y→ là ánh xạ 1-phủ-dãy 
từ không gian topo X vào không gian topo ,Y 
Lương Quốc Tuyển, Nguyễn Thị Mỹ Hạnh 
18 
: ( )
( , ) g( , )
g X X
n x n x
 →¥
a
P
là một g-hàm sn-mạng trên X và 
( ):
( , ) ( , ) ( , ) .y
h
n y h n y x
Y
f g n
Y →
 = a
¥ P
Khi đó, các khẳng định sau là đúng. 
(1) Nếu g là g-hàm sn-mạng trên ,X thì h là g-
hàm sn-mạng trên .Y 
(2) Nếu g thỏa mãn thêm một trong các tính chất 
( ), ( ), ( ), ( ),E F wF G thì h cũng vậy. 
Chứng minh. (1) Giả sử g là g-hàm sn-mạng trên .X 
Ta chứng minh h là g-hàm sn-mạng trên .Y Thật vậy, 
(1.1) ( , )y h n y với mọi .n ¥ 
Giả sử ,n ¥ khi đó vì 1( )yx f y
− nên 
( , ) ( ,( ) ).yy f g n x h n yy f x = = 
(1.2) ( 1, ) ( , )h n y h n y+  với mọi .n ¥ 
Giả sử ,n ¥ khi đó vì g là một g-hàm sn-mạng 
trên X nên 
( 1, ) ( , )y yg n x g n x+  với mọi .n ¥ 
Điều này suy ra rằng 
( 1, ) ( 1, )
( , ) ( , ).
y
y
h n y f g n x
f g n x h n y
 + = + 
  = 
(1.3) { ( , ) : }y h n y n= ¥P là một sn-mạng tại y 
với mọi .y Y 
Giả sử rằng .y Y Khi đó, 
- yP là mạng tại .y 
Trước tiên, nhờ (1.1) ta suy ra rằng ( , )y h n y với 
mọi .n ¥ Bây giờ, giả sử U là lân cận mở của y 
trong .Y Khi đó, vì f là ánh xạ liên tục nên 1( )f U− là 
lân cận mở của yx trong .X Mặt khác, bởi vì g là g-
hàm sn-mạng trên X nên tồn tại n ¥ sao cho 
1( , ) ( ).y yx g n x f U
−  
Điều này suy ra 
( , )) .( , yf g ny y Uxh n =  
Như vậy, tồn tại ( , ) yP h n y= P sao cho 
.y P U  
- Giả sử rằng , .yP Q P Khi đó, tồn tại ,m n ¥ 
sao cho 
( , ),P h m y= ( , ).Q h n y= 
Bây giờ, nếu ta đặt 
max{ , },k m n= ( , ),R h k y= 
thì ta thu được ,yR P .R P Q  
- ( , )h n y là một lân cận dãy của y với mọi .n ¥ 
Giả sử n ¥ và { }ky là dãy hội tụ đến y trong 
.Y Khi đó, vì f là ánh xạ 1-phủ-dãy nên tồn tại dãy 
{ }kx hội tụ đến yx trong X sao cho ( )k kf x y= với 
mọi .k ¥ Mặt khác, vì ( , )yg n x là lân cận dãy tại yx 
nên tồn tại m ¥ sao cho 
{ } { } ( , ).:ky yx x m g nk x  
Điều này suy ra rằng 
: { } { : }{ } { }
( , ) ( , ).
k y k
y
y y m f
f g n x h
x x k
y
k m
n
  = 
 = 
 
Như vậy, ( , )h n y là một lân cận dãy của y với mọi 
.n ¥ 
Từ chứng minh trên ta suy ra rằng yP là một sn-
mạng tại y với mọi .y Y 
Do đó, từ (1.1), (1.2) và (1.3) ta suy ra h là một g-
hàm sn-mạng trên .Y 
(2) Giả sử rằng g thỏa mãn thêm một trong các tính 
chất ( ), ( ), ( ), ( ).E F wF G Khi đó, 
(2.1) Giả sử g thỏa mãn tính chất ( ).E Ta chứng 
minh h thỏa mãn tính chất ( ).E 
Thật vậy, giả sử rằng ( , )ny h n y với mọi .n ¥ 
Khi đó, vì 
( , ) ( , )yh n y f g n x = với mọi n ¥ 
 ISSN 1859 - 4603 - Tạp chí Khoa học Xã hội, Nhân văn & Giáo dục, Tập 8, số 2 (2018) 16-20 
 19 
nên ta suy ra rằng với mỗi ,n ¥ tồn tại ( , )n yx g n x 
sao cho 
( )n nf x y= với mọi .n ¥ 
Mặt khác, vì g thỏa mãn tính chất ( )E nên dãy 
{ }nx hội tụ đến yx trong .X Hơn nữa, vì f là ánh xạ 
liên tục nên { ( )}nf x hội tụ đến ( )yf x trong .Y Do đó, 
dãy { }ny hội tụ đến y trong .Y Như vậy, h thỏa mãn 
tính chất ( ).E 
(2.2) Giả sử g thỏa mãn tính chất ( ).F Ta chứng 
minh h thỏa mãn tính chất ( ).F 
Thật vậy, giả sử rằng 
( , )ny h n y với mọi .n ¥ 
Khi đó, với mỗi ,n ¥ tồn tại ,
ny
x x X sao cho 
với mọi ,n ¥ ta có 
( ) ,
ny n
f x y= ( ) ,f x y= và ( , ).
ny
x g n x 
Bởi vì g thỏa mãn tính chất ( )F nên dãy { }
ny
x hội 
tụ đến x trong .X Mặt khác, vì f là ánh xạ liên tục 
nên ta suy ra { ( )}
ny
f x là dãy hội tụ đến ( )f x trong .Y 
Do đó, dãy { }ny hội tụ đến y trong .Y Như vậy, h 
thỏa mãn tính chất ( ).F 
(2.3) Giả sử g thỏa mãn tính chất ( ).wF Ta chứng 
minh h thỏa mãn tính chất ( ).wF 
Thật vậy, giả sử ( , )ny h n y với mọi .n ¥ Khi 
đó, với mỗi ,n ¥ tồn tại ,
ny
x x X sao cho với mọi 
,n ¥ ta có 
( )
ny n
f x y= , ( )f x y= và ( , ).
ny
x g n x 
Bởi vì g thỏa mãn tính chất ( )wF nên tồn tại dãy 
con { }
nk
yx của dãy { }nyx hội tụ đến x trong .X Mặt 
khác, vì f là ánh xạ liên tục nên { ( )}
nk
yf x hội tụ đến 
( )f x trong .Y Do đó, tồn tại dãy con { }
kn
y của 
{ }ny hội tụ đến y trong .Y Điều này chứng tỏ rằng h 
thỏa mãn tính chất ( ).wF 
(2.4) Giả sử g thỏa mãn tính chất ( ).G Ta chứng 
minh h thỏa mãn tính chất ( ).G 
Thật vậy, giả sử , ( , )n nz z h n y với mọi .n ¥ 
Khi đó, bởi vì 
, ( , ) ( , )
nn n y
z z h n y f g n x = 
nên với mỗi ,n ¥ tồn tại , nx x X sao cho 
, ( , ), ( ) , ( ) .
nn y n n
x x g n x f x z f x z = = 
Mặt khác, vì g là g-hàm sn-mạng trên X thỏa 
mãn tính chất ( )G nên dãy { }nx hội tụ đến x trong .X 
Hơn nữa, vì f là ánh xạ liên tục nên dãy { }nz hội tụ 
đến z trong .Y Như vậy, h thỏa mãn tính chất ( ).G 
3.1.2. Bổ đề ([1]). Giả sử X là một không gian topo. 
Khi đó, 
(1) X là không gian snf-đếm được khi và chỉ khi 
nó có g-hàm sn-mạng thỏa mãn tính chất ( ).E 
(2) X là không gian sn-đối xứng khi và chỉ khi nó 
có g-hàm sn-mạng thỏa mãn tính chất ( ).F 
(3) X là không gian sn-trải được khi và chỉ khi nó 
là không gian sn-đối xứng Cauchy. 
Sử dụng Định lí 3.1.1 và Bổ đề 3.1.2 ta thu được hệ 
quả sau. 
3.1.3. Hệ quả. Giả sử rằng :f X Y→ là ánh xạ 1-
phủ-dãy từ không gian topo X vào không gian topo .Y 
Khi đó, 
(1) Nếu X là không gian snf-đếm được, thì Y 
cũng vậy. 
(2) Nếu X là không gian sn-đối xứng, thì Y cũng vậy. 
(3) Nếu X là không gian sn-đối xứng Cauchy, thì 
Y cũng vậy. 
(4) Nếu X là không gian sn-trải được, thì Y cũng vậy. 
3.2. Đánh giá 
Trong bài báo này, chúng tôi nghiên cứu một số 
tính chất topo được bảo tồn qua ánh xạ 1-phủ-dãy. Nhờ 
đó, chúng tôi đã đưa ra một số kết quả mới được thể 
hiện ở Định lí 3.1.1 và Hệ quả 3.1.3. 
4. Kết luận 
Lương Quốc Tuyển, Nguyễn Thị Mỹ Hạnh 
20 
Chúng tôi chứng minh không gian với g-hàm sn-
mạng thỏa mãn một số tính chất topo được bảo tồn qua 
ánh xạ 1-phủ-dãy. Nhờ đó, chúng tôi chứng minh được 
rằng không gian sn-trải được, snf-đếm được, sn-đối 
xứng, sn-đối xứng Cauchy được bảo tồn qua ánh xạ 1-
phủ-dãy. 
Tài liệu tham khảo 
[1] An, T.V., and Tuyen, L.Q. (2018). Cauchy sn-
symmetric spaces with a cs-network (cs*- network) 
having property σ-(P). Topology Proc. 51, 61-75. 
[2] An, T.V., and Tuyen, L.Q. (2018). Spaces with sn-
network g-functions. Topology Proc.. Accepted. 
[3] Yan, P., and Lin, S. (2007). CWC-mappings and 
metrization theorems. Adv. Math.. 36 (2), 153-158. 
[4] Yoshioka, I. (2007). Closed images of spaces 
having g-functions. Topology Appl. 154, 1980-1992. 
1-SEQUENCE-COVERING IMAGES OF SPACES HAVING 
sn-NETWORK g-FUNCTIONS 
Abstract: Metrizability of topology space is one of the central problems in general topology. In 2007, Pengfei Yan, Shou Lin 
gave some condition about metrizability of topology space having weak base g-functions and characterization of symmetric spaces, 
g-metrizable spaces, g-developable spaces by weak base g-functions (see [3]). Recently, Tran Van An, Luong Quoc Tuyen has 
introduced the concept of sn-network g-functions. Then, the authors have given a characterization of snf-countable spaces, sn-
symmetric spaces, Cauchy sn-symmetric spaces, sn-developable spaces, sn-metrizable spaces by sn-network g-functions (see [2]). 
In this paper, we will give some preservations of spaces having sn-network g-functions with some topological property by 1-
sequence-covering. Using this results, we get preservations of some generalized metric spaces. 
Key words: sn-network g-functions; 1-sequence-covering maps; snf-countable spaces; sn-symmetric spaces; Cauchy sn-
symmetric spaces; sn-developable spaces. 

File đính kèm:

  • pdfanh_1_phu_day_cua_khong_gian_co_g_ham_sn_mang.pdf