There exists a tag called . Based on the current revision of the tag-info it is about Cantor ternary set and also about generalization to fat Cantor set. Both of them have very similar constructions and are subsets of $[0,1]$.

It is well known that, as a topological space, the Cantor set is homeomorphic to the Cantor space $\{0,1\}^{\mathbb N}$ or $\{0,1\}^\omega$, i.e., countable power of 2-point discrete space. And this space can be generalized to Cantor cube $\{0,1\}^A$, where $A$ can be set of arbitrary cardinality.

IIRC I have seen a few questions about the Cantor space with (cantor-set) tag. (Of course, in some cases a question can be about both the Cantor set and Cantor space. For example, questions asking about proof that they are homeomorphic. So sometimes there is no clear division line between questions about the Cantor set and questions about the Cantor space.) I don't recall whether I have seen a questions about Cantor cubes tagged like this.

So the questions are:

  • Should we have some tag for Cantor cubes (including the Cantor space). (In a sense tag can be considered as a kind of precedence, since it is a tag about the space $\omega^\omega$, which is similar to $2^\omega$. Some discussion about this tag can be found here.)
  • If the answer to the preceding question is yes, then the other question arises: Should Cantor cubes be in the same tag sa Cantor set, or should these be two separate tags. (If the decision is that they belong into the same tag, then we should probably clarify this in the tag-info. And synonyms $\to$ and $\to$ would probably help correct tagging.)

I will also add a link to a recent conversation concerning tagging questions about this topics in chat.

And it is probably also worth mentioning that there was a suggestion to remove (cantor-set) tag completely, but results of the voting on this post did not show much support of that proposal. (However, there were not too many users who voted on that, at the moment the score is 1 with two upvotes and one downvote.)

  • 4
    $\begingroup$ Using cantor-set seems fine. It signals what the basic object is, or at least what sort of object one is to find discussed in the question. If needed, the tag can be edited to include variants so it does not appear to be exclusively about the standard ternary set. $\endgroup$ – Andrés E. Caicedo Oct 28 '16 at 14:50
  • $\begingroup$ I have edited the tag cantor-set in that fashion. $\endgroup$ – Lee Mosher Nov 2 '16 at 18:42

Probably most questions involving Cantor cubes could be tagged using a tag saying what the question is really about ...



You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .