The following picture is extracted from Munkres' "Topology" P305.
I have problem when the space is the empty set . In this case, the only two open covering is and . For , the only open refinement is , which is also an open covering of . For , its only open refinements are and , both of them are open coverings of . Now the problem comes: what is the order of and , respectively? or, what is the "some point" in the definition of order?
Here are some of my understandings:
(1)The only topology of is , which is discrete. According to Ex 1. of this section(P315), it seems that dim should be 0?
(2) , so is a covering of .
(3)The first-order logic formulation of " is a refinement of " is: is a subset of some element of . For , the left part of would always be false, then this implication is vacuously true, and in turn the whole wff is true, so is a refinement of . Note: this logic is just like what we use to prove that the empty set is contained in any set.
(4)"open refinement" means that every element in the collection is open. Express it as a wff: is open). The same discussion as (3) shows that is an open refinement of . Additionally, is an open covering of for the same reason.
(5)Expressed in first-order logic wff, a natural number is the order of if the following is true: , where is a function giving the number of elements of that contains , i.e., . When is always false, then no natural number can satisfy the definition of order. This is where my problem lies in.
Another book written by Engelking, "General Topology", says in P385 explicitly that dim =-1. I was totally confused.
Please help me explain (in rigorous logic) what is the topological dimension of , if it exists. Thanks!