In mathematics, and particularly general topology, the half-disk topology is an example of a topology given to the set X {\displaystyle X} , given by all points ( x , y ) {\displaystyle (x,y)} in the plane such that y ≥ 0 {\displaystyle y\geq 0} . The set X {\displaystyle X} can be termed the closed upper half plane.
Construction We consider X {\displaystyle X} to consist of the open upper half plane P {\displaystyle P} , given by all points ( x , y ) {\displaystyle (x,y)} in the plane such that y > 0 {\displaystyle y>0} ; and the x-axis L {\displaystyle L} , given by all points ( x , y ) {\displaystyle (x,y)} in the plane such that y = 0 {\displaystyle y=0} . Clearly X {\displaystyle X} is given by the union P ∪ L {\displaystyle P\cup L} . The open upper half plane P {\displaystyle P} has a topology given by the Euclidean metric topology. We extend the topology on P {\displaystyle P} to a topology on X = P ∪ L {\displaystyle X=P\cup L} by adding some additional open sets. These extra sets are of the form ( x , 0 ) ∪ ( P ∩ U ) {\displaystyle {(x,0)}\cup (P\cap U)} , where ( x , 0 ) {\displaystyle (x,0)} is a point on the line L {\displaystyle L} and U {\displaystyle U} is a neighbourhood of ( x , 0 ) {\displaystyle (x,0)} in the plane, open with respect to the Euclidean metric (defining the disk radius).
Properties of X {\displaystyle X}
This topology results in a space satisfying the following properties.
X {\displaystyle X} is Hausdorff (and thus also T 0 {\displaystyle T_{0}} and T 1 {\displaystyle T_{1}} ).
X {\displaystyle X} is not regular and therefore not normal.
L {\displaystyle L} with the subspace topology of X {\displaystyle X} is discrete, so X {\displaystyle X} is not second-countable.
X {\displaystyle X} is separable. A countably dense subset is given by the rational points X ∩ Q {\displaystyle X\cap \mathbb {Q} } .
See also List of topologies
References
