请输入您要查询的字词:

 

单词 PartialOrderingInATopologicalSpace
释义

partial ordering in a topological space


Let X be a topological spaceMathworldPlanetmath. For any x,yX, we define a binary relationMathworldPlanetmath on X as follows:

xy   iff   x{y}¯.
Proposition 1.

is a preorderMathworldPlanetmath.

Proof.

Clearly xx. Next, suppose xy and yz. Let C be a closed setPlanetmathPlanetmath containing z. Since y is in the closureMathworldPlanetmathPlanetmath of {z}, yC. Since x is in the closure of {y}, xC also. So xz. ∎

We call the specialization preorder on X. If xy, then x is called a specialization point of y, and y a generization point of x. For any set AX,

  • the set of all specialization points of points of A is called the specialization of A, and is denoted by Sp(A);

  • the set of all generization points of points of A is called the generization of A, and is denoted by Gen(A).

Proposition 2.

. If X is T0 (http://planetmath.org/T0), then is a partial orderMathworldPlanetmath.

Proof.

Suppose next that xy and yx. If xy, then there is an open set A such that xA and yA. So yAc, the complementPlanetmathPlanetmath of A, which is a closed set. But then xAc since it is in the closure of {y}. So xAAc=, a contradition. Thus x=y. ∎

This turns a T0 topological space into a poset, where here is called the specialization order of the space.

Given a T0 space, we have the following:

Proposition 3.

xy iff xU implies yU for any open set U in X.

Proof.

(): if xU and yU, then yUc. Since xy, we have xUc, a contradictionMathworldPlanetmathPlanetmath. (): if x{y}¯, then for some closed set C, we have yC and xC. But then xCc, so that yCc, a contradiction. ∎

Remarks.

  • {x}¯=x, the lower set of x. (zx iff zx iff z{x}¯).

  • But if X is T1 (http://planetmath.org/T1), then the partial ordering just defined is trivial (the diagonal set), since every point is a closed point (for verification, just modify the antisymmetry portion of the above proof).

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 3:22:24