拓扑第二课 |
拓扑第二课
The subspace topology
(子空间拓扑)
Def
If Y is a subset of X, then is a topology on Y, called the subspce topology. is called a subspace of .
Lemma
If is a basis for , then is a basis for the subspace topology on Y.
(“开”的传递性)
Theorem
If A is a subspace of X, B is a subspace of Y, then the product topology on A×B inherits as a subspace of X×Y.
Topology and Basis
(拓扑和基)
Topology T
Def(对“开”这一性质的规定)
(1) (空集、全集必开)
(2) The union of any collection of elements of T is in T (开集之并必开)
(3) The intersection of any finite collection of elements of T is in T
(开集之有限交必开)
(X,T) is called a topological space
,by convention,call u an open
Basis
Def
(1) (B们可以覆盖X)
(2) (B们可以精确覆盖某两个B的交集)
defines a topology on X
(B们可以精准覆盖U U是开集)
Properties
A basis is not unique for a given topology
(某个“开”的定义并非只能由一个基生成)
(B们都是开集)(因为B自己就能精准覆盖B自己)
equals the collections of all unions of elements of
(“开”由 定义 开集之集就是任意些B的并集之集)
Suppose is a collection of open sets of X,then is a basis for T if
(所有开集都可以被B们精准覆盖)
Subbasis(子基) S
Def
a collection of subsets of X, whose union is X(X的某个覆盖)
Theorem
topology generated by S is defined to be the collection of all unions of finite intersections of elements in S
( 由S的全部有限交集之各种并集组成)
Remark
Collection of all finite intersection of elements in S is a basis
Closed sets
(闭集)
Def
If call A a closed set
Theorem
(1) ∅,X are closed (空集、全集必闭)
(2) Arbitrary intersection of closed sets is closed(闭集之交必闭)
(3) Finite unions of closed sets are closed(闭集之有限并必闭)
A is closed in ,C is closed in X
(Y中闭集之集=X中闭集交Y之集)
If A is closed in Y, and Y is closed in X, then A is closed in X.
(“闭”的传递性)
The product topology on
(乘积拓扑)
Def
the topology having as basis
Theorem
If and are basis of respectively, then is a basis for the product topology.(B们可精准覆盖的=B'们可精准覆盖的)
Projection maps
(投影函数)
Def
Theorem
is a subbasis for the products topology
也可以
Closure and interior of a set
(闭包与内点集)
Def( )
The interior of A( )
The closure of A( )
the intersection of all closed sets in X contianing A.
(包含A的闭集之交)
Theorem
1) iff
2) iff
Properties
If A is open, A=
If A is closed, A=
Theorem
(A在Y中的聚点必是A在X中的聚点)