The key property of a profinite word is that for profinite word, we can send regular queries to it, i.e. we can ask if it belongs to a regular language. For a regular language , define to be the set of profinite words which answer yes to this language. In the definition of Cauchy sequences, this is the set of Cauchy sequences where some tail is contained in , while in the definition of profiles, this is the set of families that contain .
Let us define the distance between two profinite words to be the size of the smallest regular such that separates between the two profinite words. As in the case of the distance on normal words, this is a distance, even an ultrametric.
Lemma. The set of profinite words is a compact metric space.
Proof. We need to show that every sequence of profinite words has a convergent subsequence. We do this by considering some enumeration of all regular languages, and for each we choose a profinite word from the sequence such that infinitely elements of the sequence agree with on the first regular languages.
To understand this metric space, it is a good exercise to think of the open balls. Consider some profinite word (we use the same notation for word as profinite words). Straight from the definition, the ball of radius around consists of those profinite words which agree with on languages of size at most . Since there are finitely many such languages, one can take their intersection, call it , and therefore the open ball is the set of those profinite words that belong to . In other words, this open ball is . Therefore, the set , ranging over regular languages , form a basis of the topology.
In the space of profinite words, the profinite words that correspond to normal words (i.e. constant Cauchy sequences) are a dense subset. This is because for every profinite word and every size , one can choose a normal word which belongs to the intersection of all size languages in the profile of the profinite word. Also observe that every normal word is an isolated point in the profinite space, because it is the only inhabitant of the open ball .
Regular languages are clopen. Recall that a clopen set is one that is both closed and open.
Lemma. The mapping is a one-to-one correspondence between regular languages of finite words and clopen sets of profinite words.
Proof. We first show that if is regular, then is clopen. If two profinite words are at distance at most then they give the same answer to , and therefore is open (as a union of open balls). The same argument works for the complement of , and therefore is closed as well.
The mapping is injective, because different regular languages contain different words, and these words are special cases of profinite words.
Finally, let us prove that every clopen set of profinite words is of the form . Let be a clopen set. As an open set, is a union of balls. As a closed subset of a compact space, from any cover of one can extract a finite subcover, and therefore is a finite union of open balls. Every open ball is of the form for some regular language . Finally, it is not difficult to see that
and the result follows by closure of regular languages under finite union.
Concatenation of profinite words. In all of the results presented so far, it was not really important that regular languages were used. One could take any countable family of languages, e.g. the decidable languages, and define the distance between two words to where is the index of the first language separating the two words. We now discuss a result where regularity is used, and which would not work for classes including nonregular languages, e.g. the decidable languages. The concatenation of profinite words is defined most easily on Cauchy sequences: by concatenation the two Cauchy sequences pointwise (i.e. the -th word in the concatenation sequence is the concatenation of the -th words in the argument sequences).
Lemma. The operation defined above is well-defined (i.e. it depends only on the profiles of the Cauchy sequences being concatenated) and it is a uniformly continuous function from pairs of profinite words to profinite words.
Proof. Let us first prove that the operation is well-defined. It is easy to see that the profile of a Cauchy sequence is uniquely determined by saying, for each monoid homomorphism
what is the value of the tail of this sequence under the homomorphism (this value must be unique). If one Cauchy sequence has value , and another Cauchy sequence has value , then concatenating the two sequences pointwise will give the product , and this result is stable under replacing Cauchy sequences by equivalent ones.
Let us now prove the uniform continuity. We need to show that for every there is some such that
As we have already discussed, two profinite words are at distance at most if and only they belong to the same regular languages of size at most . Let
be a monoid homomorphism which recognizes all languages of size at most . If we define to be then the implication above is easily seen to be true.