Abstract
We describe the Lelek fan, a smooth fan whose set of endpoints is dense, and the Poulsen simplex, a Choquet simplex whose set of extreme points is dense, as Fraïssé limits in certain natural categories of embeddings and projections. As an application we give a short proof of their uniqueness, universality, and almost homogeneity. We further show that for every two countable dense subsets of endpoints of the Lelek fan there exists an autohomeomorphism of the fan mapping one set onto the other. This improves a result of Kawamura, Oversteegen, and Tymchatyn from 1996.
Introduction
The theory of Fraïssé limits has been recently extended beyond firstorder structures, in particular, covering some topological spaces. For example, one can consider a class of “small” (for example, compact) topological spaces with certain properties, looking at inverse limits coming from sequences in the fixed category of topological spaces. Under some natural conditions, there exists a universal space that maps onto all spaces from the class and satisfies a variant of “surjective homogeneity”, implying that its group of autohomeomorphisms is rich. Such a space is unique and is called the Fraïssé limit of the class under consideration. Of course, the details are more complicated, we refer to [10, 11], and [8] for more information.
In this note we first consider a very special and simple class of compact metric spaces, namely finite fans, together with a very particular class of continuous mappings. We recognize its Fraïssé limit as the Lelek fan, a wellknown object in geometric topology, constructed by Lelek [13] in 1961, whose uniqueness was not discovered for almost 30 years.
The Lelek fan has been recently studied by Bartošová and Kwiatkowska [1] in the framework of the projective Fraïssé theory developed by Irwin and Solecki [8]. Our aim is to describe the Lelek fan as a Fraïssé limit in the sense of Kubiś [10]. We are going to do it by developing a natural geometric structure of smooth fans. This will allow us to strengthen a few results from [1] and to prove new ones.
The Poulsen simplex, constructed by Poulsen [18] in the same year as the Lelek fan, was studied in the 70s by Lindenstrauss, Olsen, and Sternfeld [14], who showed its uniqueness, universality, and homogeneity. The space of realvalued continuous affine functions on the Poulsen simplex, from which one can recover the Poulsen simplex as the space of states, was constructed in a Fraïssétheoretic framework by Conley and Törnquist (unpublished). Independently from our work, constructions of the Poulsen simplex as a Fraïssé limit were recently given in the work of Bartošová, LopezAbad, and Mbombo, and in the paper by Lupini [15], who uses the framework of the Fraïssé theory for metric structures in the sense of Ben Yaacov [2], and for that he works with the category of realvalued continuous affine functions on Choquet simplices which forms a category dual to the one of Choquet simplices. In fact, Lupini shows how to construct a number of objects from functional analysis as Fraïssé limits.
We describe the Poulsen simplex in the Fraïssétheoretic framework developed by Kubiś [10]. The advantage of such approach is that we work directly with simplices and affine maps between them, rather than in the dual category.
We would like to point out that the Fraïssé families we will consider to obtain the Lelek fan and to obtain the Poulsen simplex are very similar, and in both cases the morphisms will be affine projections.
The set E of endpoints of the Lelek fan is an interesting topological space, studied in detail by Kawamura, Oversteegen, and Tymchatyn. One of their results [9, Thm. 12] states that for every two countable dense subsets of E there is an autohomeomorphism of E moving the first set onto the other. We improve their theorem and show that for every two countable dense subsets of E there exists an autohomeomorphism of the full Lelek fan which is linear on each spike and moves the first set onto the other. We further present an example of an autohomeomorphism of E that does not extend to the Lelek fan, which shows that our result does not follow from their result.
Preliminaries
Denote by \(\mathfrak K\mathfrak o\mathfrak m\mathfrak p\) the category of all nonempty compact second countable spaces with continuous mappings. We shall consider the category \({\ddag {\mathfrak K\mathfrak o\mathfrak m\mathfrak p}}\) whose objects are nonempty compact metric spaces and arrows are pairs of the form \(\langle e, p \rangle \), where e is a continuous injection and p is a continuous surjection satisfying \(p \circ e = {{\text {id}}_{A}}\), where A is the domain of e. The composition is \(\langle e, p \rangle \circ \langle e', p' \rangle \) is \(\langle e \circ e', p' \circ p \rangle \). The domain of an arrow \(\langle e, p \rangle \) is, by definition, the domain of e. Its codomain is the domain of p.
We will review the Fraïssétheoretic framework introduced by Kubiś [10], focusing only on subcategories of \(\mathfrak K\mathfrak o\mathfrak m\mathfrak p\). Let \(\mathfrak {C}\) be a subcategory of \(\mathfrak K\mathfrak o\mathfrak m\mathfrak p\) and let \({\ddag {\mathfrak C}}\) be a subcategory of \({\ddag {\mathfrak K\mathfrak o\mathfrak m\mathfrak p}}\) such that \({\mathrm {Ob}}(\mathfrak {C})={\mathrm {Ob}}(\mathfrak {{\ddag {\mathfrak C}}})\). Let us assume that each \(F\in {\mathrm {Ob}}(\mathfrak {C})\) is equipped with a metric \(d_F\). Given two \({\ddag {\mathfrak C}}\)arrows \(f,g:F \rightarrow G\), \(f = \langle e, p \rangle \), \(g = \langle i, q \rangle \), we define
This defines a metric on the set of all arrows from F to G. Using the same formula, we define a metric on the set of all arrows from F to G, where \(F\in {\mathrm {Ob}}(\mathfrak {C})\) and G is (the limit of) a \({\ddag {\mathfrak C}}\)sequence; it will appear in results about almost homogeneity. Say that \({\ddag {\mathfrak C}}\) equipped with the metric d is a metric category if \(d(f_0\circ g,f_1\circ g)\le d(f_0,f_1)\) and \(d(h\circ f_0,h\circ f_1)\le d(f_0,f_1)\), whenever the composition makes sense.
We say that \({\ddag {\mathfrak C}}\) is directed if for every \(A,B\in {\ddag {\mathfrak C}}\) there is \(C\in {\ddag {\mathfrak C}}\) such that there exist arrows from A to C and from B to C. Say that \({\ddag {\mathfrak C}}\) has the almost amalgamation property if for every \({\ddag {\mathfrak C}}\)arrows \(f:C\rightarrow A\), \(g:C\rightarrow B\), for every \(\varepsilon >0\), there exist \({\ddag {\mathfrak C}}\)arrows \(f':A\rightarrow W\), \(g':B\rightarrow W\) such that \(d(f'\circ f,g'\circ g)<\varepsilon \). It has the strict amalgamation property if we can have \(f'\) and \(g'\) as above satisfying \(f'\circ f=g'\circ g\).
The category \({\ddag {\mathfrak C}}\) is separable if there is a countable subcategory \(\mathcal{{F}}\) such that

(1)
for every \(X \in {\text {Ob}}\left( {\ddag {\mathfrak C}}\right) \) there are \(A \in {\text {Ob}}\left( \mathcal{{F}}\right) \) and an arrow \(f:X \rightarrow A\);

(2)
for every \({\ddag {\mathfrak C}}\)arrow \(f:A\rightarrow Y\) with \(A\in {\mathrm {Ob}}(\mathcal{{F}})\). for every \(\varepsilon >0\) there exists an \({\ddag {\mathfrak C}}\)arrow \(g:Y\rightarrow B\) and an \(\mathcal{{F}}\)arrow \(u:A\rightarrow B\) such that \(d(g\circ f, u)<\varepsilon \).
We say that a \({\ddag {\mathfrak C}}\)sequence \(\mathbf {U} = \langle {U}_{m};{u}_{m}^{n};\omega \rangle \) is a Fraïssé sequence if the following holds:

(F)
Given \(\varepsilon >0\), \(m\in \omega \), and an arrow \(f:U_m \rightarrow F\), where \(F\in {\mathrm {Ob}}({\ddag {\mathfrak C}})\), there exist \(m<n\) and an arrow \(g:F \rightarrow U_n\) such that \(d(g \circ f, u_m^n) < \varepsilon \).
Theorem 2.1
(Thm. 3.3, [10]) Let \({\ddag {\mathfrak C}}\) be a directed metric subcategory of \({\ddag {\mathfrak K\mathfrak o\mathfrak m\mathfrak p}}\) with the almost amalgamation property. The following conditions are equivalent:

(a)
\({\ddag {\mathfrak C}}\) is separable.

(b)
\({\ddag {\mathfrak C}}\) has a Fraïssé sequence.
We have the following general theorems for a metric category \({\ddag {\mathfrak C}}\) as above. All the necessary definitions are given on pages 5–7 in [10].
Theorem 2.2
(Uniqueness, Thm. 3.5, [10]) There exists at most one Fraïssé sequence (up to an isomorphism).
Theorem 2.3
(Universality, Thm. 3.7, [10]) Suppose that \(\mathbf {U}\) is a Fraïssé sequence in \({\ddag {\mathfrak C}}\). Then for every sequence \(\mathbf {X}\) in \({\ddag {\mathfrak C}}\) there is an arrow \(f:\mathbf {X}\rightarrow \mathbf {U}\).
Theorem 2.4
(Almost Homogeneity, Thm. 3.6, [10]) Suppose that \({\ddag {\mathfrak C}}\) has the almost amalgamation property and it has a Fraïssé sequence \(\mathbf {U}\). Then for every \(A,B\in {\text {Ob}}\left( {\ddag {\mathfrak C}}\right) \) and for all arrows \(i:A\rightarrow \mathbf {U}\), \(j:B\rightarrow \mathbf {U}\), for every \({\ddag {\mathfrak C}}\)arrow \(f:A\rightarrow B\), for every \(\varepsilon >0\), there exists an isomorphism \(H:\mathbf {U}\rightarrow \mathbf {U}\) such that \(d(j\circ f, H\circ i)<\varepsilon \).
In particular, we can take above \(A=B\) and \(f={{\text {id}}_{}}\).
In Sect. 3.3, we will work with a slightly more general category than \({\ddag {\mathfrak K\mathfrak o\mathfrak m\mathfrak p}}\). Namely, we will consider a subcategory of \({\ddag {\mathfrak K\mathfrak o\mathfrak m\mathfrak p}}^d\), the category whose objects are pairs of sets \((F^1,F^2)\) with \(F^1\subset F^2\), and \(F^2\) compact. An arrow from \((F^1,F^2)\) to \((G^1,G^2)\) in \({\ddag {\mathfrak K\mathfrak o\mathfrak m\mathfrak p}}^d\) is a pair \(\langle e, p \rangle \) such that \(e:F^1\rightarrow G^1\) is an injection, \( p:G^2\rightarrow F^2\) is a continuous surjection so that \(p \circ e = {{\text {id}}_{F^1}}\) (more formally: \((p \upharpoonright G^{1}) \circ e\) is the inclusion \(F^1 \subseteq F^2\)). All definitions and theorems given above will remain true in this slightly more general setting, as this still will fall under the setting developed in [10].
A retraction is a continuous mapping \(r:X \rightarrow X\) satisfying \(r \circ r = r\). A mapping \(f:X \rightarrow Y\) is rightinvertible if there exists a mapping \(i:Y \rightarrow X\) such that \(f \circ i = {{\text {id}}_{Y}}\). Note that in this case \(r = i \circ f\) is a retraction. On the other hand, if \(r:X \rightarrow X\) is a retraction then \(r = i \circ f\), where i is the inclusion of \(Y = f[X]\) and f is the mapping r treated as a surjection onto Y. We shall often speak about retractions, having in mind rightinvertible mappings.
Lemma 2.5
Assume that K is a compact space and \({\{{r}_n\}_{{n\in \omega }}}\) is a sequence of retractions of K that is pointwise convergent to the identity and satisfies \(r_n \circ r_m = r_{\min (n,m)}\) for every \(n,m \in \omega \). Then K is the inverse limit of the sequence consisting of \(K_n := r_n[K]\), such that the bonding map from \(K_{n+1}\) to \(K_n\) is \(r_n \upharpoonright {K_{n+1}}\).
Proof
Let \(P = \prod _{{n\in \omega }}K_n\) and define \(h:K \rightarrow P\) by setting \(h(x) = (r_n(x))_{{n\in \omega }}\). As \({\{{r}_n\}_{{n\in \omega }}}\) is pointwise convergent to the identity, h is onetoone. The condition \(r_n \circ r_m = r_{\min (n,m)}\) ensures that \(h[K]\) is inside the inverse limit \(L \subseteq P\) of the sequence \(\mathbf {K} = \langle {K}_{n};{r}_{n}^{m};\omega \rangle \). Fix \(y \in L\). Then \(y = (x_n)_{{n\in \omega }}\), where \(x_n = r_n^m(x_m) = r_n(x_m)\), whenever \(n<m\). Let x be an accumulation point of \({\{{x}_n\}_{{n\in \omega }}} \subseteq K\). Then \(r_n(x) = x_n\) for every \({n\in \omega }\), therefore \(h(x)= y\). This shows that \(h:K \rightarrow L\) is a homeomorphism. \(\square \)
Remark 2.6
The converse to the above lemma holds as well. Namely, every inverse sequence of compact spaces \(K_n\) whose bonding maps are rightinvertible can be turned into a chain \(K_0 \subseteq K_1 \subseteq \dots \) so that the limiting projections become retractions satisfying the assumptions of Lemma 2.5. The proof is an easy exercise.
For all undefined notions from category theory we refer to [16].
The Lelek fan
In this section we present categorytheoretic framework for the class of smooth fans, showing that the Lelek fan is a Fraïssé limit. Next we prove the announced result involving countable dense sets of endpoints of the Lelek fan.
Geometric theory of smooth fans
Our universe is the topological space \(V = \Delta (2^\omega ) = ([0,1] \times 2^\omega ) /\sim \), where \(2^\omega \) denotes the Cantor set and \(\sim \) is the equivalence relation identifying all points of the form \(\langle 0, t \rangle \), \(t \in 2^\omega \) and no other elements of the space. In other words, V is the cone over the Cantor set. Obviously, V is embeddable into the plane in such a way that the top of the cone is 0 and for each \(t \in 2^\omega \) the image of the set \([0,1] \times \{t\}\) is a straight line segment. Thus, V is closed under multiplication by nonnegative scalars \(\le 1\). We say that a subset S of V is convex if \({\lambda }\cdot x \in S\) whenever \({\lambda }\in [0,1)\) and \(x \in S\). Of course, this notion has not much to do with the standard convexity in the plane.
The space V is called the Cantor fan. Closed convex subsets of V will be called geometric fans. Smooth fans are defined in purely topological terms,^{Footnote 1} up to homeomorphisms. It turns out, however, that every smooth fan is homeomorphic to a geometric fan [7] and clearly every geometric fan is smooth. From now on we shall deal with geometric fans only, having in mind that we actually cover the class of all smooth fans.
We shall use the function \(\varrho :V \rightarrow [0,1]\) defined by \(\varrho (s,t) = s\). We call \(\varrho (x)\) the level of \(x \in V\). We say that a function \(f:S \rightarrow V\), where \(S \subseteq V\), is levelpreserving if \(\varrho (f(s)) = \varrho (s)\) for every \(s \in S\). Given a fan F, we denote by E(F) the set of its endpoints. Formally, \(x \in F\) is an endpoint if there are no \(y\in F\) and \({\lambda }\in [0,1)\) such that \(x = {\lambda }\cdot y\). Obviously, \(E(V) = \{1\} \times 2^\omega \) and every fan F with E(F) finite is actually homeomorphic to the cone over its endpoints. We shall say that F is a finite fan if E(F) is finite. Given \(x \in E(F)\), the minimal convex set containing x is the line segment joining it to 0. Such a set will be called a spike.
Given two geometric fans F, G, a map \(f:F \rightarrow G\) will be called affine if it is continuous and \(f({\lambda }\cdot x) = {\lambda }\cdot f(x)\) for every \(x \in F\), \({\lambda }\in [0,1)\). If F is finite, then the last condition actually implies continuity.
Given a finite geometric fan F embedded into a plane, we define a metric \(d_F\) on F. Let \(d_F(x,y)\) be the length of the shortest path (which is always either a line segment or the union of two line segments) between x and y, computed with respect to the usual Euclidean metric on the plane, in which V is embedded. This is obviously a metric compatible with the topology, as long as F is a finite fan. Later on, we shall consider 1Lipschitz affine mappings between finite fans, always having in mind the above metrics.
Let \(\Delta (X)\) denote the cone over the space X. Fix a geometric fan K. We shall analyze affine quotients of K onto finite fans. Recall that K “lives” in the Cantor fan \(V = \Delta (2^\omega )\). A subset \(U \subseteq K\) will be called a triangle if it is of the form \(U = K \cap \Delta (W)\), where \(W \subseteq 2^\omega \) is a nonempty basic clopen set, that is, \(W = W_s\), where
and \(s \in 2^{<\omega }\). (\(2^{<\omega }\) denotes, as usual, the set of all finite sequences with values in the set \(2 = \{0,1\}\)). In particular, two triangles are either disjoint or one is contained in the other. The size of a triangle U as above is defined to be 1 / n, where n is the cardinality (length) of the finite sequence s. Note that every triangle U is almost clopen, namely, U is closed and \(U{\setminus }\{0\}\) is open. Now, a triangular decomposition \(\mathcal{{U}}\) of K is a (necessarily finite) family \(\mathcal{{U}}\) consisting of triangles, such that \(\{\pi [U]:U\in \mathcal{{U}}\}\) is a partition of \(\pi [K] \subseteq 2^\omega \). Formally, a triangular decomposition is a covering of K by almost clopen sets and it becomes a partition only after removing the vertex 0.
Given a triangle U, define \(\varrho (U) = \max \{\varrho (x):x\in U\}\). Now suppose \(\mathcal{{U}}\) is a triangular decomposition of K and choose for each \(U \in \mathcal{{U}}\) some \(a_U \in E(K)\) with \(\varrho (a_U) = \varrho (U)\). Let \(K_0\) be the finite fan whose set of endpoints is \(\{a_U:U \in \mathcal{{U}}\}\). There is a unique levelpreserving continuous affine retraction \(r:K \rightarrow K_0\) satisfying \({f}^{1}[[0,a_U]] = U\) for every \(U \in \mathcal{{U}}\).
Using the observations above, we can show the following proposition.
Proposition 3.1
Every geometric fan is the inverse limit of a sequence of finite geometric fans whose bonding mappings are affine and levelpreserving (therefore 1Lipschitz).
Proof
We choose a sequence of triangular decompositions \(\mathcal{{U}}_n\) such that the size of each triangle in \(\mathcal{{U}}_n\) is not more than 1 / n, and \(\mathcal{{U}}_{n+1}\) refines \(\mathcal{{U}}_n\). For each \(\mathcal{{U}}_n\) we take a levelpreserving affine retraction as in the remarks above. This gives the required sequence. \(\square \)
We are interested in a better representation of geometric fans. An embedding of geometric fans is, by definition, a onetoone continuous affine map. By compactness, this is obviously a topological embedding. An embedding \(e:F \rightarrow G\) will be called stable if \(e[E(F)] \subseteq E(G)\). If e is the inclusion then this just means that G is obtained from F by adding some new spikes and not enlarging the existing ones.
Lemma 3.2
Let G be a finite geometric fan and let \(q:F \rightarrow G\) be an affine retraction between geometric fans. Then there exists a stable embedding \(e:G \rightarrow F\) such that \(q \circ e = {{\text {id}}_{G}}\).
Proof
For each \(x \in E(G)\) choose \(y_x \in F\) such that \(q(y_x) = x\). Necessarily \(y_x \in E(F)\), because q is linear on each spike. Define \(e:G \rightarrow F\) to be the unique affine map such that \(e(x) = y_x\). Continuity comes automatically from the fact that G is a finite fan. Thus, e is a stable embedding. That \(q \circ e = {{\text {id}}_{G}}\) follows from the fact that a linear selfmap of a closed interval fixing its endpoints must be the identity. \(\square \)
Combining Proposition 3.1, Lemma 3.2 and Remark 2.6, we obtain the following theorem.
Theorem 3.3
Let F be a geometric fan. Then there exists a chain
of finite fans, such that \(E(F_n) \subseteq E(F)\) for each \({n\in \omega }\), and there exist 1Lipschitz affine retractions \(r_n:F \rightarrow F_n\) such that \(r_n \circ r_m = r_{\min (n,m)}\) for every \(n,m \in \omega \), and \({\{{r}_n\}_{{n\in \omega }}}\) converges pointwise to \({{\text {id}}_{F}}\).
Construction and properties of the Lelek fan
We now have all the necessary tools for describing the Lelek fan and its properties. Recall that each finite geometric fan F has a fixed metric \(d_F\), defined as the shortest path between two points, assuming that each spike has the length inherited from its fixed embedding into the Euclidean space.
Let \({\ddag {\mathfrak F}}\) be the category whose objects are finite geometric fans and an arrow from F to G is a pair \(\langle e, p \rangle \) such that \(e:F \rightarrow G\) is a stable embedding, \(p:G \rightarrow F\) is a 1Lipschitz affine retraction and \(p \circ e = {{\text {id}}_{F}}\). The composition \(\langle e, p \rangle \circ \langle e', p' \rangle \) is \(\langle e \circ e', p' \circ p \rangle \). An immediate consequence of Theorem 3.3 is
Corollary 3.4
Every geometric fan is the inverse limit of a sequence in \({\ddag {\mathfrak F}}\).
Lemma 3.5
The category \({\ddag {\mathfrak F}}\) has the strict amalgamation property.
Proof
Let A, B, C be finite geometric fans such that \(C = A \cap B\). Suppose also that two 1Lipschitz affine retractions \(r:A \rightarrow C\), \(s:B \rightarrow C\) are given. Obviously, \(A \cup B\) is a finite geometric fan and there are 1Lipschitz affine retractions \(r':A\cup B \rightarrow A\), \(s':A\cup B \rightarrow B\) defined by conditions
Now \(f'=\langle e^{A\cup B}_A, r' \rangle \) and \(g'=\langle e^{A\cup B}_B, s' \rangle \) provide an amalgamation of the pairs \(f = \langle e^A_C, r \rangle \) and \(g = \langle e^B_C, s \rangle \) in the category \({\ddag {\mathfrak F}}\), where \(e_C^A\), \(e_C^B\) denote the inclusions \(C \subseteq A\), \(C \subseteq B\). \(\square \)
Lemma 3.6
\({\ddag {\mathfrak F}}\) is a separable metric category.
Proof
Let \(\mathcal{{F}}\) consist of all finite fans such that \(\varrho \) restricted to the endpoints has rational values. Let us consider all \({\ddag {\mathfrak F}}\)arrows \(\langle e, p \rangle \) such that p maps the endpoints into points with rational value of \(\varrho \) (recall that \(\varrho (x)\) is the first coordinate of x in V). After identifying isometric fans, this family of objects and arrows is certainly countable. \(\square \)
By Theorem 2.1, \({\ddag {\mathfrak F}}\) has a Fraïssé sequence. The next result characterizes its limit.
Theorem 3.7
Let \(\mathbf {U}\) be a sequence in \({\ddag {\mathfrak F}}\) and let \(U_\infty \) be its inverse limit. The following properties are equivalent:

(a)
The set \(E(U_\infty )\) is dense in \(U_\infty \).

(b)
\( \vec {\mathbf {U}}\) is a Fraïssé sequence.
Proof
(a) implies (b) Fix \(m\in \omega \) and \(\varepsilon >0\). Fix a \({\ddag {\mathfrak F}}\)arrow \(f:U_m \rightarrow U\), with \(f = \langle e, p \rangle \). It suffices to prove condition (F) in case where U is an extension of \(U_m\) by adding a single spike. All other \({\ddag {\mathfrak F}}\)arrows are obtained as compositions of such arrows. Let v be the “new” endpoint of U and let \(x = p(v)\). There exists a sequence \({\{{x}_n\}_{{n\in \omega }}}\) of endpoints of \(U_\infty \) convergent to x. Then \(\lim _{k\rightarrow \infty } r_m(x_k) = r_m(x) = x\). As \(U_m\) is a finite fan, for k big enough we have that \(r_m(x_k)\) is \(\varepsilon \)close to x with respect to the metric d defined for finite fans. Finally, the fan W obtained from \(U_m\) by adding the spike with endpoint \(x_k\) “realizes” U with an \(\varepsilon \)error. Making another \(\varepsilon \)error, we can assume that \(W \subseteq U_n\) for some \(m < n\).
(b) implies (a) Fix \(x \in U_m\), where m is fixed. Let \(n_0 = m\). Using condition (F), we find \(n_1 > n_0\) and \(x_1 \in E(U_{n_1})\) such that \(d(r_{n_0}(x_1), x) < 2^{1}\), where d denotes the “shortest path” metric. Again using (F) applied to \(U_{n_1}\), we find \(n_2 > n_1\) and \(x_2 \in E(U_{n_2})\) such that \(d(r_{n_1}(x_2), x) < 2^{2}\). We continue this way, ending up with a sequence of endpoints \(\{x_{k}\}_{k\in \omega }\) such that \(\lim _{k\rightarrow \infty } r_{n_k}(x_{k+1}) = x\). Refining this sequence, we may assume that it is convergent, i.e. \(\lim _{k\rightarrow \infty } x_k = y \in U_\infty \) and \(\{n_k\}_{k\in \omega }\) is a strictly increasing sequence of positive integers. We need to show that \(y = x\).
Fix \(\ell \in \omega \). If \(n_k>\ell \) then \(r_\ell = r_\ell \circ r_{n_k}\), therefore
This shows that \(r_\ell (x) = r_\ell (y)\) for every \(\ell \in \omega \). This is possible only if \(x = y\).
Finally, as \(\bigcup _{m \in \omega }U_m\) is dense in \(U_\infty \), this shows the density of \(E(U_\infty )\) in \(U_\infty \). \(\square \)
From now on, \({\mathbb L}\) will denote the limit of a Fraïssé sequence in \({\ddag {\mathfrak F}}\).
Corollary 3.8
\({\mathbb L}\) is the Lelek fan.
Fraïssé theory combined with our geometric theory of finite fans provides a simple proof of the uniqueness result, originally proved by Charatonik [5] and independently by Bula and Oversteegen [3].
Corollary 3.9
(Uniqueness) The Lelek fan is a unique, up to homeomorphisms, smooth fan whose set of endpoints is dense.
Further corollaries, coming from the Fraïssé theory are the following.
Corollary 3.10
(Universality) For every geometric fan F there are a stable embedding into the Lelek fan \({\mathbb L}\) and a 1Lipschitz affine retraction from \({\mathbb L}\) onto F.
Corollary 3.10 says, in particular, that the set of endpoints of the Lelek fan is universal for the class of all sets of the form E(K), where K is a geometric fan. This class was characterized in topological terms by Kawamura, Oversteegen and Tymchatyn [9].
Lemma 3.2 and Theorem 2.4 imply the following corollary.
Corollary 3.11
(Almost homogeneity) Let F be a finite geometric fan, and let \(p_1, p_2:{\mathbb L}\rightarrow F\) be continuous affine 1Lipschitz surjections. Then for every \(\varepsilon >0\) there is a homeomorphism \(h:{\mathbb L}\rightarrow {\mathbb L}\) such that for every \(x\in {\mathbb L}\), \(d_F(p_1\circ h(x), p_2(x))<\varepsilon \).
In fact a stronger statement is true.
Corollary 3.12
Let F be a geometric fan (not necessarily finite) and let \(p_1, p_2:{\mathbb L}\rightarrow F\) be continuous affine 1Lipschitz surjections. Then for every \(\varepsilon >0\) there is a homeomorphism \(h:{\mathbb L}\rightarrow {\mathbb L}\) such that for every \(x\in {\mathbb L}\), \(d_F(p_1\circ h(x), p_2(x))<\varepsilon \).
Proof
Let \({\langle {F}_n, {q}_n^m, \omega \rangle }\) be an inverse sequence whose inverse limit is F, such that all bonding maps are affine and 1Lipschitz, constructed exactly as in the proof of Proposition 3.1. Each \(F_n\) we view as a subset of F. Take n such that for every \(x\in F\), we have \(d_F(q^\infty _n(x), x)\le \frac{\varepsilon }{3}\). From Corollary 3.11 applied to \( q^\infty _n\circ p_i\) and \(\frac{\varepsilon }{3}\) we get \(h:{\mathbb L}\rightarrow {\mathbb L}\) such that for every \(x\in {\mathbb L}\), \(d_{F}(q^\infty _n\circ p_1\circ h(x), q^\infty _n\circ p_2(x))<\frac{\varepsilon }{3}\). This implies \(d_F(p_1\circ h(x), p_2(x))<\frac{\varepsilon }{3}+\frac{\varepsilon }{3}+\frac{\varepsilon }{3}=\varepsilon \). \(\square \)
More properties of the Lelek fan
We shall prove the following two statements:
Theorem 3.13
Let \(f:S \rightarrow T\) be a bijection, such that \(S, T \subseteq E({\mathbb L})\) are finite sets. Then there exists an affine homeomorphism \(h:{\mathbb L} \rightarrow {\mathbb L}\) such that \(h \upharpoonright S = f\).
Theorem 3.14
Let \(A, B \subseteq E({\mathbb L})\) be countable dense sets. Then there exists an affine homeomorphism \(h:{\mathbb L} \rightarrow {\mathbb L}\) such that \(h[A] = B\).
The first result is rather wellknown. A weakening of Theorem 3.14 was stated in [9, Thm. 12], where the authors showed that the space of endpoints of the Lelek fan is countably dense homogeneous. We shall obtain both of these results from the general Fraïssé theory, adding some extra work.
Given a sequence \(\mathbf {F}\) in \({\ddag {\mathfrak F}}\), we shall denote by \(\varprojlim \mathbf {F}\) the inverse limit of the 1Lipschitz affine retractions associated with \(\mathbf {F}\). We already know that \(\varprojlim \mathbf {F}\) is a geometric fan and every geometric fan is of the form \(\varprojlim \mathbf {F}\) for some sequence \(\mathbf {F}\) in \({\ddag {\mathfrak F}}\). Given a sequence \(\mathbf {F}\), let us denote by \(\varinjlim \mathbf {F}\) the union \(\bigcup _{{n\in \omega }} F_n\), which is a dense subset of \(\varprojlim \mathbf {F}\) consisting of countably many spikes.
Proof of Theorem 3.13
It will suffice to prove the theorem for S and T which are oneelement sets, as then we deduce the theorem in a general case by decomposing the Lelek fan into finitely many disjoint spaces homeomorphic to the Lelek fan, with their roots identified.
Choose an affine (but not necessarily 1Lipschitz) homeomorphism \(h_S:{\mathbb L}\rightarrow {\mathbb L}'\) and \(h_T:{\mathbb L}\rightarrow {\mathbb L}''\) such that \(h_S(S)\) is the endpoint of a longest spike in \({\mathbb L}'\) and \(h_T(T)\) is the endpoint of a longest spike in \({\mathbb L}''\). As in the proof of Proposition 3.1, we can find sequences \(\mathbf {A}\), \(\mathbf {B}\) in \({\ddag {\mathfrak F}}\) such that \({\mathbb L}' = \varprojlim \mathbf {A} \) and \({\mathbb L}''= \varprojlim \mathbf {B}\), and additionally \(A_0 = h_S(S)\), \(B_0 = h_T(T)\). By Theorem 3.7, both sequences are Fraïssé. Corollary 3.11 applied to any \(\varepsilon >0\) gives an affine isomorphism f of \({\mathbb L}'\) and \({\mathbb L}''\) that carries \(h_S(S)\) to \(h_T(T)\). The homeomorphism \((h_T)^{1}\circ f\circ h_S\) is as required. \(\square \)
Let F be a geometric fan. A skeleton in F is a convex set \(D \subseteq F\) such that E(D) is countable, contained in E(F) and dense in E(F).
Let us consider the following generalization of the category \({\ddag {\mathfrak F}}\). Namely, let \({\ddag {\mathfrak F}}^d\) be the category whose objects are pairs of finite geometric fans \((F^1,F^2)\) with \(F^1=F^2\), and an arrow from \((F^1,F^2)\) to \((G^1,G^2)\) is a pair \(\langle e, p \rangle \) such that \(e:F^1\rightarrow G^1\) is a stable embedding, \( p:G^2\rightarrow F^2\) is a 1Lipschitz affine retraction and \(p \circ e = {{\text {id}}_{F}}\). Then \({\ddag {\mathfrak F}}^d\) is a separable metric category, therefore it has a unique up to isomorphism Fraïssé sequence. Its Fraïssé limit is \((D, {\mathbb L})\) for some skeleton D in \({\mathbb L}\). To prove Theorem 3.14, we will show the following crucial lemma, an analog for \({\ddag {\mathfrak F}}^d\) of Corollary 3.4.
Lemma 3.15
Let L be a geometric fan and let D be a skeleton in L. Then there exist a geometric fan \(L'\), a skeleton \(D'\) of \(L'\), and an affine (not necessarily 1Lipschitz) homeomorphism \(h:L\rightarrow L'\) with \(h(D)=D'\) such that there is a sequence \(\mathbf {F}\) in \({\ddag {\mathfrak F}}^d\) satisfying \(L' = \varprojlim \mathbf {F}\) and \(D' = \varinjlim \mathbf {F}\).
We postpone for a moment the proof Lemma 3.15 and first show how to derive Theorem 3.14. The proof of the following theorem goes along the lines of the first part of the proof of Theorem 3.7.
Theorem 3.16
Let \(\mathbf {U}\) be a sequence in \({\ddag {\mathfrak F}}^d\) such that \((D,{\mathbb L})\) is its inverse limit, where D is a skeleton of \({\mathbb L}\). Then \(\mathbf {U}\) is a Fraïssé sequence.
Proof of Theorem 3.14
Choose \(A'\), \({\mathbb L}'\), and \(h':{\mathbb L}\rightarrow {\mathbb L}'\) with \(h'(A)=A'\), and choose \(B''\), \({\mathbb L}''\), and \(h'':{\mathbb L}\rightarrow {\mathbb L}''\) with \(h''(B)=B''\), as in Lemma 3.15. Then there are two sequences \(\mathbf {F}\), \(\mathbf {G}\) in \({\ddag {\mathfrak F}}^d\) such that \({\mathbb L}' = \varprojlim \mathbf {F}\) and \({\mathbb L}''=\varprojlim \mathbf {G}\), \(E(\varinjlim \mathbf {F}) = A'\), and \(E(\varinjlim \mathbf {G}) = B''\). By Theorem 3.16, both sequences are Fraïssé in \({\ddag {\mathfrak F}}^d\). The uniqueness of a Fraïssé sequence gives that there is an affine automorphism \(H:{\mathbb L}' \rightarrow {\mathbb L}''\) such that \(H[A'] = B''\). Then the map \( (h'')^{1}\circ H \circ h' \) is as required. \(\square \)
Lemma 3.17
Let U be a triangle in a geometric fan L. Let \(0<b<1\). Let \(e\in E(U)\) be such that \(\frac{\varrho (e)}{\varrho (U)}>b\). Then there is an affine homeomorphism \(h:U\rightarrow h[U]\subseteq U\) such that \(\varrho (h[U])=\varrho (h(e))\) and for every \(x\in U\), \(1\ge \frac{\varrho (h(x))}{\varrho (x)}>b\). Moreover, \(h(e)=e\) and for any \(x\in U\), h(x) is on the same spike as x.
Proof
Let \(U=V_0 \supseteq V_1 \supseteq V_2 \supseteq \cdots \) be a decreasing sequence of triangles such that \(\bigcap _n V_n=[0,e]\). Let \(l_n=\varrho (V_n)\). Let h be such that \(h\upharpoonright (V_n{\setminus }V_{n+1})\) is the affine map that takes \(x\in V_n{\setminus }V_{n+1}\) into \(\frac{\varrho (e)}{l_n}x\) and let \(h\upharpoonright [0,e]={{\text {id}}_{[0,e]}}\).
Since \(\lim _{n\rightarrow \infty } l_n=\varrho (e)\), h is continuous. Since moreover h is onetoone, and L is compact, we get that h is a homeomorphism onto its image. Note that h satisfies all other required conditions. \(\square \)
The remaining part of this section is devoted to the proof of Lemma 3.15. We will need to modify the construction used in the proof of Proposition 3.1.
Proof of Lemma 3.15
Let \( \{s_n\}\) be an enumeration of E(D). We construct an affine homeomorphism \(h:L\rightarrow L'\subseteq L\) and triangular decompositions \(\widetilde{\mathcal {U}}_n\) of \(L'\) of size \(\frac{1}{n+2}\) such that for all n, for all \(U\in \widetilde{\mathcal {U}}_n\), there is \(a_U\in E(D)\) with \(\varrho (a_U)=\varrho (U)\). Once this is achieved, we will proceed as in the proof of Proposition 3.1. Roughly speaking, we will replace L and \(\{s_n\}\) by \(L'\) and \(\{h(s_n)\}\), for which we can have levelpreserving retractions.
First, we will do an inductive construction, where at step \(n=1,0,1,2,\ldots \) we will obtain an affine homeomorphism \(h_n:L_{n1}\rightarrow L_n\subseteq L_{n1}\) between copies of L, a triangular decomposition \(\mathcal {U}_n\) of \(L_n\) such that the size of each triangle in it is \(\le \frac{1}{n+2}\). Furthermore, denoting \(s'_i=h_n\circ \cdots \circ h_{1} (s_i)\), \(S'_n=\{s'_0, s'_1,\ldots , s'_n\}\), and \(S'=\{s'_0,s'_1,\ldots \}\), for any \(U\in \mathcal {U}_n\), there is \(a_U\in E(U)\cap S'\) such that \(\varrho (a_U)=\varrho (U)\), and each \(s'\in S'_n\) is realized as \(a_U\) for some \(U\in \mathcal {U}_n\).
Fix a sequence of positive reals \(\{b_n\}\) such that \(\prod _n b_n>0\).
Step \(1\). Let \(\mathcal {U}_{1}=\{L\}\) and let \(h_{1}:L_{2}\rightarrow L_{1}\), where \(L_{2}= L_{1}=L\), be the identity map.
Step \(n+1\). Subdivide \(\mathcal {U}_n\) to get \(\mathcal {U}'_{n+1}\), a triangular decomposition of \(L_n\), with the property that the size of each triangle in it is \(\le \frac{1}{n+3}\), and moreover for \(\widetilde{U}\in \mathcal {U}'_{n+1}\) such that \(s'_{n+1}\in \widetilde{U}\), we have \(\frac{\varrho (s'_{n+1})}{\varrho (\widetilde{U})}>b_{n+1}\). Let \(a_{\widetilde{U}}=s'_{n+1}\) and let for all \(U\ne \widetilde{U}\), \(a_U\) be some \(s\in S'\) such that \(\frac{\varrho (s)}{\varrho (U)}>b_{n+1}\). We require that each \(s'\in S'_{n}\) is realized as \(a_U\) for some \(U\in \mathcal {U}'_{n+1}\). Apply Lemma 3.17 to each \(U\in \mathcal {U}'_{n+1}\) (taking \(e=a_U\) and \(b=b_{n+1}\)) and denote by \(h_U\) the resulting affine homeomorphism. Let \(h_{n+1}\) be such that \(h_{n+1}\upharpoonright U=h_U\), for every \(U\in \mathcal {U}'_{n+1}\). Let \(L_{n+1}\) be the image of \(h_{n+1}\) and let \(\mathcal {U}_{n+1}=\{U\cap L_{n+1}:U\in \mathcal {U}'_{n+1}\}\). Let \(a_U\) for \(U\in \mathcal {U}_{n+1}\) be equal to \(a_U\) for the corresponding \(U\in \mathcal {U}'_{n+1}\). Note that \(h_{n+1}(a_U)=a_U\) for each \(a_U\), \(\varrho (a_U)=\varrho (U)\) for every \(U\in \mathcal {U}_{n+1}\) and also each of \(s''_0,\ldots , s''_{n+1}\) is realized as \(a_U\) for some \(U\in \mathcal {U}_{n+1}\), where for each i, \(s''_i=h_{n+1}\circ \cdots \circ h_{1} (s_i)\).
The limit step. Let \(h_n:L_n\rightarrow L_{n+1}\) be as above. For each n let \(f_n=h_n\circ \cdots \circ h_0\). Clearly each \(f_n\) is continuous and affine. The sequence \(\{f_n\}\) converges uniformly, therefore its limit h is a continuous function. By the choice of \(\{b_n\}\), it cannot happen that the image of a spike is equal to the root, and hence h is onetoone. Since L is compact, we get that h is an affine homeomorphism onto its image, which we denote by \(L'\). Let \(\widetilde{\mathcal {U}}_n=\{U\cap L':U\in \mathcal {U}_{n}\}\) and let \(a_U\) for \(U\in \widetilde{\mathcal {U}}_n\) be equal to \(a_U\) for the corresponding \(U\in \mathcal {U}_{n}\).
We have \(\varrho (a_U)=\varrho (U)\) for every \(U\in \widetilde{\mathcal {U}}_n\). Let \(r_n\) be the retraction such that \(r_n\upharpoonright U\), for every \(U\in \widetilde{\mathcal {U}}_n\), is the levelpreserving projection. Note that as a set \(\{h(s_n)\}\) is equal to the set set of all \(a_U\), where \(U\in \widetilde{\mathcal {U}}_n\) for some n. Conditions of Lemma 2.5 are fulfilled. This completes the proof. \(\square \)
An example
We finally present an example showing that Theorem 3.14 cannot be deduced from the result of Kawamura, Oversteegen, and Tymchatyn [9] saying that for every countable dense sets \(A,B\subset E({\mathbb L})\) there is a homeomorphism \(g:E({\mathbb L})\rightarrow E({\mathbb L})\) such that \(g(A)=B\). As we will see, not every homeomorphism of \(E({\mathbb L})\) can be lifted to a homeomorphism of \({\mathbb L}\).
Proposition 3.18
There exists a homeomorphism \(h:E({\mathbb L})\rightarrow E({\mathbb L})\) such that for no homeomorphism \(f:{\mathbb L}\rightarrow {\mathbb L}\), we have \(f\upharpoonright E({\mathbb L})=h\).
We assume below that the Cantor fan V is the cone of a Cantor set C contained in \([0,1]\times \{1\}\) over the top point \((\frac{1}{2},0)\). The Lelek fan \({\mathbb L}\) is realized as a subfan of V. Without loss of generality, we can, and we will, assume that there is a spike in \({\mathbb L}\) joining the top point \((\frac{1}{2},0)\) with \((\frac{1}{2},1)\). To prove Proposition 3.18, since \(E({\mathbb L})\) is dense in \({\mathbb L}\), it is enough to show Lemma 3.19.
Lemma 3.19
There exists a continuous function \(f:{\mathbb L}\rightarrow {\mathbb L}\), which is not onetoone, such that \(f\upharpoonright E({\mathbb L}):E({\mathbb L})\rightarrow E({\mathbb L})\) is a homeomorphism.
Proof
Let \(g:[0,1]^2\rightarrow [0,1]^2\) be a continuous function such that:

(1)
for any \((x,y)\in [0,1]^2\), \(\pi _1(g(x,y))=x\), where \(\pi _1\) is the projection onto the first coordinate;

(2)
for any \(x\in [0,1]\), \(g(x,0)=(x,0)\);

(3)
for every \(x\ne \frac{1}{2}\), \(g\upharpoonright (\{x\}\times [0,1])\) is onetoone, while \(g\upharpoonright (\{\frac{1}{2}\}\times [0,1])\) is not onetoone;

(4)
\(g(\frac{1}{2}, 1)\ne (\frac{1}{2},0)\).
Such a function g exists. We can, for example, take
where \(\alpha (x)=x+\frac{1}{2}\) if \(0\le x\le \frac{1}{2}\), and \(\alpha (x)=x  \frac{1}{2}\) if \(\frac{1}{2}\le x\le 1\).
Let \(\pi :C\times [0,1]\rightarrow V\) be the quotient map. (so \(\pi (C\times \{0\})=(\frac{1}{2},0)\)). Let \(f_1:{\mathbb L}\rightarrow V\) be given by \(f_1(\pi (x,y))=\pi (g(x,y))\). By (1) and (2) in the definition of g, \(f_1\) is well defined. Since g is continuous and not onetoone, so is \(f_1\).
We claim that the image \(f_1({\mathbb L})\) is homeomorphic to the Lelek fan. By (1) and (2) in the definition of g, \(f_1({\mathbb L})\) is a subfan of V. The set of endpoints of \(f_1({\mathbb L})\) is dense, because: the set of endpoints of \({\mathbb L}\) is dense, \(f_1\) is continuous, and endpoints of \({\mathbb L}\) are mapped to endpoints of \(f_1({\mathbb L})\).
We now verify that \(f_1\upharpoonright (E({\mathbb L})):E({\mathbb L})\rightarrow E(f_1({\mathbb L}))\) is a homeomorphism. By (3) and (4) in the definition of g, \(f_1\) maps endpoints to endpoints and nonendpoints to nonendpoints, therefore \(f_1\upharpoonright (E({\mathbb L}))\) is a bijection between \(E({\mathbb L})\) and \( E(f_1({\mathbb L}))\). Since \(f_1\) is continuous, so is \(f_1\upharpoonright (E({\mathbb L}))\). Using the compactness of \({\mathbb L}\), continuity of \(f_1\), and the fact that \(f_1\upharpoonright (E({\mathbb L}))\) is a bijection, we also see that \(f_1\upharpoonright (E({\mathbb L}))\) is open.
Let \(f_2:f_1({\mathbb L}) \rightarrow {\mathbb L}\) be a homeomorphism (it exists because of the uniqueness of the Lelek fan). Take \(f=f_2\circ f_1\). This f is as required. \(\square \)
The Poulsen simplex
In this section we present categorytheoretic framework for metrizable Choquet simplices, showing that the Poulsen simplex is a Fraïssé limit. It is worth pointing out that the geometric theory of finitedimensional simplices is very similar to the theory of finite fans.
Simplices
A point x in a compact convex set K is an extreme point if whenever \(x=\lambda y +(1\lambda ) z\) for some \(\lambda \in [0,1]\), \(y,z\in K\), then \(\lambda =0\) or \(\lambda =1\). The set of extreme points of K is denoted by \({\text {ext}}K\). For compact and convex sets K and L, recall that a map \(p:L\rightarrow K\) is affine if for any \(x,y\in L\) and \(\lambda \in [0,1]\) we have \(p(\lambda x+(1\lambda )y)=\lambda p(x) + (1\lambda )p(y)\). We call a map \(p:L\rightarrow K\) a projection if it is an affine continuous surjection. Note that in this case \({\text {ext}}K \subseteq p[{\text {ext}}L]\) and if K is finitedimensional then p has a right inverse which is an affine embedding. Furthermore, every continuous affine mapping defined on a compact convex set L is uniquely determined by its restriction to \({\text {ext}}L\).
A Choquet simplex (later just called a simplex) is for us a nonempty compact convex and metrizable set K in a locally convex linear topological space such that every \(x\in K\) has a unique representing measure, that is, a unique probability measure \(\mu \) supported on the set of extreme points of K and such that
for every continuous affine function \(f:K \rightarrow {\mathbb {R}}\). For more information on the theory of Choquet simplices we refer to Phelps’ book [17].
Every finitedimensional simplex is, up to an affine isomorphism, of the form
and \(n\ge 0\) is the dimension of the simplex. In particular, \(\Delta _0\) is a singleton, \(\Delta _1\) is a closed interval, and \(\Delta _2\) is a triangle.
Let \(f:\Delta _{n+1} \rightarrow \Delta _n\) be a projection. Identifying \(\Delta _n\) with one of the ndimensional faces of \(\Delta _{n+1}\), we can think of f as a projection determined by choosing a point of \(\Delta _n\) to be the image of the unique extreme point (vertex) of \(\Delta _{n+1}\) that is not in \(\Delta _n\). Every projection \(f:\Delta _n \rightarrow \Delta _m\) is a compositions of such projections. As a consequence, we see that every such map comes as the restriction of a linear projection \(P_f\) from \({\mathbb {R}}^{n+1}\) onto \({\mathbb {R}}^{m+1}\). Furthermore, when each \({\mathbb {R}}^k\) is endowed with the Euclidean norm, all projections \(P_f\) are 1Lipschitz. Thus, given an inverse sequence of projections
we can view its limit as a compact convex subset of the Hilbert space (the limit of the sequence of 1Lipschitz projections between Euclidean spaces).
An embedding of simplices is a onetoone continuous affine map. By compactness, every embedding is a topological embedding. An embedding \(i:K \rightarrow L\) will be called stable if \(i[{\text {ext}}K] \subseteq {\text {ext}}L\). We have the following analog of Lemma 3.2.
Lemma 4.1
Let L be a finite simplex and let \(p:L \rightarrow K\) be a projection of simplices. Then there exists a stable embedding \(i:K \rightarrow L\) such that \(p \circ i = {{\text {id}}_{K}}\).
The construction and properties of the Poulsen simplex
Let \({\ddag {{\mathfrak {S}}}}\) be the category whose objects are finitedimensional simplices
Maps between the simplices are projections and an arrow from F to G is a pair \(\langle e, p \rangle \) such that \(e:F \rightarrow G\) is a stable embedding, \(p:G \rightarrow F\) is a projection and \(p \circ e = {{\text {id}}_{F}}\). Note that every p is 1Lipschitz with respect to the metrics inherited from the Euclidean metrics.
The following is wellknown.
Theorem 4.2
(Corollary to Thm. 5.2, [12]) Metrizable Choquet simplices are, up to affine homeomorphisms, precisely the limits of inverse sequences in \({\ddag {{\mathfrak {S}}}}\).
Let us note the following important property of our category.
Lemma 4.3
The category \({\ddag {{\mathfrak {S}}}}\) has the strict amalgamation property.
Proof
We may assume that f and g are projections of \(\Delta _\ell \) and \(\Delta _m\), respectively, onto \(\Delta _k\), so that \(\Delta _k\) is a face of both \(\Delta _\ell \) and \(\Delta _m\). As \(\Delta _\ell \) and \(\Delta _m\) are abstract simplices, we may assume that they both “live” in the same vector space so that \(\Delta _k\) is their intersection. Now the convex hull of \(\Delta _\ell \cup \Delta _m\) is a simplex, which we denote by \(\Delta _n\), where \(n = \ell +m  k\). Note that f, g determine projections \(f'\), \(g'\) satisfying \(f' \upharpoonright \Delta _m = g\), \(f' \upharpoonright \Delta _\ell = {{\text {id}}_{\Delta _\ell }}\), and \(g' \upharpoonright \Delta _\ell = f\), \(g' \upharpoonright \Delta _m = {{\text {id}}_{\Delta _m}}\). These projections obviously satisfy \(f \circ f' = g \circ g'\). \(\square \)
Lemma 4.4
\({\ddag {{\mathfrak {S}}}}\) is a separable metric category.
Proof
Note that \({\text {Ob}}\left( {\ddag {{\mathfrak {S}}}}\right) = \{\Delta _n\}_{{n\in \omega }}\) is countable. Denote by \({\ddag {{\mathfrak {S}}}}^{\mathbb {Q}}\) the subcategory of \({\ddag {{\mathfrak {S}}}}\) such that \({\text {Ob}}\left( {\ddag {{\mathfrak {S}}}}^{\mathbb {Q}}\right) = {\text {Ob}}\left( {\ddag {{\mathfrak {S}}}}\right) \) and an \({\ddag {{\mathfrak {S}}}}^{\mathbb {Q}}\)arrow from \(\Delta _m\) to \(\Delta _n\) is an \({\ddag {{\mathfrak {S}}}}\)arrow \(f=\langle e, p \rangle \) such that p(v) has rational barycentric coordinates for every extreme point v in \(\Delta _n\). Then \({\ddag {{\mathfrak {S}}}}^{\mathbb {Q}}\) has countably many arrows and is as required. \(\square \)
By Theorem 2.1, \({\ddag {{\mathfrak {S}}}}\) has a Fraïssé sequence, whose limit we denote by \( U_\infty \). The proof of the following theorem goes along the lines of the proof of Theorem 3.7.
Theorem 4.5
Let \(\mathbf {U}\) be a sequence in \({\ddag {{\mathfrak {S}}}}\) and let K be its inverse limit. The following properties are equivalent:

(a)
The set \({\text {ext}}K\) is dense in K.

(b)
\( \vec {\mathbf {U}}\) is a Fraïssé sequence.
Corollary 4.6
\(U_\infty \) is the Poulsen simplex.
From now on, we shall write \(\mathbb {P}\) instead of \(U_\infty \). Fraïssé theory provides direct proofs of the uniqueness, universality, and almost homogeneity, originally proved in 1978 by Lindenstrauss, Olsen and Sternfeld [14].
A subset F of a simplex K is called a face if it is compact, convex, and \({\text {ext}}F\subset {\text {ext}}K\).
Corollary 4.7
(Uniqueness) The Poulsen simplex is unique, up to affine homeomorphisms.
Corollary 4.8
(Universality) Every metrizable simplex is affinely homeomorphic to a face of \(\mathbb {P}\).
Corollary 4.9
(Almost homogeneity) Let F be a finitedimensional face of a Poulsen simplex and let \(f, g:\mathbb {P}\rightarrow F\) be projections. Then for every \(\varepsilon >0\) there is an affine homeomorphism \(H:\mathbb {P}\rightarrow \mathbb {P}\) such that for every \(x\in \mathbb {P}\), \(d_F(f\circ H(x), g(x))<\varepsilon \), where \(d_F\) is any compatible metric on F.
Similarly as for the Lelek fan (Corollary 3.12) from Corollary 4.9 we can deduce the following stronger statement.
Corollary 4.10
(Almost homogeneity) Let F be a Choquet simplex simplex and let \(f, g:\mathbb {P}\rightarrow F\) be projections. Then for every \(\varepsilon >0\) there is an affine homeomorphism \(H:\mathbb {P}\rightarrow \mathbb {P}\) such that for every \(x\in \mathbb {P}\), \(d_F(f\circ H(x), g(x))<\varepsilon \), where \(d_F\) is a fixed compatible metric on F.
The authors of [14] proved a stronger homogeneity property: For every two closed faces F and G of the Poulsen simplex and an affine homeomorphism \(h:F\rightarrow G\) there is an affine homeomorphism \(H:\mathbb {P}\rightarrow \mathbb {P}\) extending h.
Final remarks
We say that a space K is retractively universal for a given class \(\mathcal{{P}}\) of spaces, if for every \(P \in \mathcal{{P}}\) there exists a retraction of K whose image is homeomorphic to P.
A general question is which compact second countable spaces can be represented as inverse limits of sequences of retractions onto “simpler” spaces. A typical meaning of “simple” could be a “polyhedron”.
Proposition 5.1
No metrizable compact space is retractively universal for the class of all nonempty 1dimensional metrizable compact spaces.
Proof
The details are presented in [4, Cor. 3.2.4], where it is shown that no second countable compact space is retractively universal for the class of subcontinua of a Cook continuum. A Cook continuum, constructed by Cook [6], is a hereditary indecomposable continuum C of dimension one, such that there exists an uncountable family \(\mathcal {F}\) of subcontinua of C with the property that the only continuous map from a continuum in \(\mathcal {F}\) to another continuum in \(\mathcal {F}\) is a constant map.
Suppose now that K is a metric compact space containing each element of \(\mathcal{{F}}\) as a retract, so we may assume that \(\mathcal{{F}}\) is a family of compact retracts of K. Looking at it as a separable metric space with the Hausdorff distance, we find \(\varepsilon >0\) and a nontrivial sequence \({\{{F}_n\}_{{n\in \omega }}} \subseteq \mathcal{{F}}\) converging to some \(F \in \mathcal{{F}}\) and such that \({\text {diam}}(F_n) \ge \varepsilon \) for \({n\in \omega }\). Then also \({\text {diam}}(F) \ge \varepsilon \). Let \(r:K \rightarrow F\) be a retraction. Then \(r \upharpoonright F_n\) is constant for each \({n\in \omega }\), showing that r cannot be continuous. \(\square \)
Notes
 1.
A fan is an arcwise connected hereditarily unicoherent continuum with at most one ramification point, called the top. A fan is smooth if for each sequence \((p_n)\) converging to p the sequence of arcs \(tp_n\) converges to the arc tp, where t is the top point. See [5] for more details and historical references.
References
 1.
Bartošová, D., Kwiatkowska, A.: Lelek fan from a projective Fraïssé limit. Fund. Math. 231, 57–79 (2015)
 2.
Ben Yaacov, I.: Fraïssé limits of metric structures. J. Symb. Logic 80, 100–115 (2015)
 3.
Bula, W., Oversteegen, L.: A characterization of smooth Cantor bouquets. Proc. Am. Math. Soc. 108, 529–534 (1990)
 4.
Całka, A.: Skracanie produktów topologicznych. MSc, Uniwersytet Warszawski (2008)
 5.
Charatonik, W.: The Lelek fan is unique. Houston J. Math. 15, 27–34 (1989)
 6.
Cook, H.: Continua which admit only the identity mapping onto nondegenerate subcontinua. Fund. Math. 60, 241–249 (1968)
 7.
Eberhart, C.: A note on smooth fans. Colloq. Math. 20, 89–90 (1969)
 8.
Irwin, T., Solecki, S.: Projective Fraïssé limits and the pseudoarc. Trans. Am. Math. Soc. 358, 3077–3096 (2006)
 9.
Kawamura, K., Oversteegen, L.G., Tymchatyn, E.D.: On homogeneous totally disconnected 1dimensional spaces. Fund. Math. 150, 97–112 (1996)
 10.
Kubiś, W.: Metricenriched categories and approximate Fraïssé limits. arXiv:1210.6506v3
 11.
Kubiś, W.: Fraïssé sequences: categorytheoretic approach to universal homogeneous structures. Ann. Pure Appl. Logic 165, 1755–1811 (2014)
 12.
Lazar, A.J., Lindenstrauss, J.: Banach spaces whose duals are \(L_1\) spaces and their representing matrices. Acta Math. 126, 165–193 (1971)
 13.
Lelek, A.: On plane dendroids and their end points in the classical sense. Fund. Math. 49(1960), 301–319 (1961)
 14.
Lindenstrauss, J., Olsen, G., Sternfeld, Y.: The Poulsen simplex. Annales de l’Institut Fourier 28, 91–114 (1978)
 15.
Lupini, M.: Fraïssé limits in functional analysis. arXiv:1510.05188
 16.
Mac Lane, S.: Categories for the working mathematician. Second edition. Graduate Texts in Mathematics, 5. Springer, New York (1998)
 17.
Phelps, R.R.: Lectures on Choquet’s theorem Lecture Notes in Mathematics, vol. 1757, 2nd edn. Springer, Berlin (2001)
 18.
Poulsen, E.T.: A simplex with dense extreme points. Annales de l’Institut Fourier 11, 83–87 (1961)
Author information
Affiliations
Corresponding author
Additional information
Research of the first author supported by GAČR Grant P201/12/0290 and RVO 67985840.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Kubiś, W., Kwiatkowska, A. The Lelek fan and the Poulsen simplex as Fraïssé limits. RACSAM 111, 967–981 (2017). https://doi.org/10.1007/s1339801603396
Received:
Accepted:
Published:
Issue Date:
Keywords
 Lelek fan
 Smooth fan
 Retraction
 Fraïssé limit
Mathematics Subject Classification
 18B30
 54B30
 54F50
 54C15