The Lelek fan and the Poulsen simplex as Fraïssé limits

We describe the Lelek fan, a smooth fan whose set of end-points 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 end-points of the Lelek fan there exists an auto-homeomorphism 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 first-order 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 auto-homeomorphisms 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 [11], [10], 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 well-known 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 real-valued 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á, Lopez-Abad, 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 real-valued 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 end-points 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 auto-homeomorphism 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 auto-homeomorphism 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 auto-homeomorphism of E that does not extend to the Lelek fan, which shows that our result does not follow from their result.

Preliminaries
Denote by Komp the category of all non-empty compact second countable spaces with continuous mappings. We shall consider the category ‡Komp whose objects are non-empty compact metric spaces and arrows are pairs of the form e, p , where e is a continuous injection and p is a continuous surjection satisfying p • e = id A , where A is the domain of e. The composition is e, p • e , p is e • e , p • p . The domain of an arrow e, p is, by definition, the domain of e. Its co-domain is the domain of p.
We will review the Fraïssé-theoretic framework introduced by Kubiś [10], focusing only on subcategories of Komp. Let C be a subcategory of Komp and let ‡C be a subcategory of ‡Komp such that Ob(C) = Ob( ‡C). Let us assume that each F ∈ Ob(C) is equipped with a metric d F . Given two ‡C-arrows f, g : 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 ∈ Ob(C) and G is (the limit of) a ‡Csequence; it will appear in results about almost homogeneity. Say that ‡C equipped with the whenever the composition makes sense. We say that ‡C is directed if for every A, B ∈ ‡C there is C ∈ ‡C such that there exist arrows from A to C and from B to C. Say that ‡C has the almost amalgamation property if for every ‡C-arrows f : C → A, g : C → B, for every ε > 0, there exist ‡C-arrows f : It has the strict amalgamation property if we can have f and g as above satisfying The category ‡C is separable if there is a countable subcategory F such that (1) for every X ∈ Ob ( ‡C) there are A ∈ Ob (F ) and an arrow f : X → A; (2) for every ‡C-arrow f : A → Y with A ∈ Ob(F ). for every ε > 0 there exists an ‡C-arrow g : Y → B and an F -arrow u : We say that a ‡C-sequence U = U m ; u n m ; ω is a Fraïssé sequence if the following holds: (F) Given ε > 0, m ∈ ω, and an arrow f : U m → F, where F ∈ Ob( ‡C), there exist m < n and an arrow g : We have the following general theorems for a metric category ‡C as above. All the necessary definitions are given on pages 5-7 in [10].
In particular, we can take above A = B and f = id. In Sect. 3.3, we will work with a slightly more general category than ‡Komp. Namely, we will consider a subcategory of ‡Komp d , the category whose objects are pairs of sets (F 1 , F 2 ) with F 1 ⊂ F 2 , and F 2 compact. An arrow from (F 1 , F 2 ) to (G 1 , G 2 ) in ‡Komp d is a pair e, p such that e : F 1 → G 1 is an injection, p : G 2 → F 2 is a continuous surjection so that p • e = id F 1 (more formally: ( p G 1 ) • e is the inclusion F 1 ⊆ 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 : and f is the mapping r treated as a surjection onto Y . We shall often speak about retractions, having in mind right-invertible mappings.

Lemma 2.5
Assume that K is a compact space and {r n } n∈ω is a sequence of retractions of K that is pointwise convergent to the identity and satisfies r n • r m = r min(n,m) for every n, m ∈ ω. 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 K n+1 .
Proof Let P = n∈ω K n and define h : K → P by setting h(x) = (r n (x)) n∈ω . As {r n } n∈ω is pointwise convergent to the identity, h is one-to-one. The condition r n • r m = r min(n,m) ensures that h[K ] is inside the inverse limit L ⊆ P of the sequence K = K n ; r m n ; ω . Fix y ∈ L. Then y = (x n ) n∈ω , where x n = r m n (x m ) = r n (x m ), whenever n < m. Let x be an accumulation point of {x n } n∈ω ⊆ K . Then r n (x) = x n for every n ∈ ω, therefore h(x) = y. This shows that h : K → L is a homeomorphism.

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 right-invertible can be turned into a chain K 0 ⊆ K 1 ⊆ . . . 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 category-theoretic 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 end-points of the Lelek fan.

Geometric theory of smooth fans
Our universe is the topological space V = (2 ω ) = ([0, 1] × 2 ω )/ ∼, where 2 ω denotes the Cantor set and ∼ is the equivalence relation identifying all points of the form 0, t , t ∈ 2 ω 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 ∈ 2 ω the image of the set [0, 1] × {t} is a straight line segment. Thus, V is closed under multiplication by non-negative scalars ≤ 1. We say that a subset S of V is convex if λ · x ∈ S whenever λ ∈ [0, 1) and x ∈ 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, 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 : Obviously, E(V ) = {1}×2 ω and every fan F with E(F) finite is actually homeomorphic to the cone over its end-points. We shall say that F is a finite fan if E(F) is finite. Given x ∈ 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 : 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 1-Lipschitz affine mappings between finite fans, always having in mind the above metrics.
Let (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 and s ∈ 2 <ω . (2 <ω 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 \{0} is open. Now, a triangular decomposition U of K is a (necessarily finite) family U consisting of triangles, such that {π[U ]: U ∈ U } is a partition of π[K ] ⊆ 2 ω . Formally, a triangular decomposition is a covering of K by almost clopen sets and it becomes a partition only after removing the vertex 0.
Let K 0 be the finite fan whose set of end-points is {a U : U ∈ U }. There is a unique levelpreserving continuous affine retraction r : 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 level-preserving (therefore 1-Lipschitz).
Proof We choose a sequence of triangular decompositions U n such that the size of each triangle in U n is not more than 1/n, and U n+1 refines U n . For each U n we take a levelpreserving affine retraction as in the remarks above. This gives the required sequence.
We are interested in a better representation of geometric fans. An embedding of geometric fans is, by definition, a one-to-one continuous affine map. By compactness, this is obviously a topological embedding. An embedding e : 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 → G be an affine retraction between geometric fans. Then there exists a stable embedding e
because q is linear on each spike. Define e : G → 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 • e = id G follows from the fact that a linear self-map of a closed interval fixing its end-points must be the identity.
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 ) ⊆ E(F) for each n ∈ ω, and there exist 1-Lipschitz affine retractions r n : F → F n such that r n • r m = r min(n,m) for every n, m ∈ ω, and {r n } n∈ω converges pointwise to 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 ‡F be the category whose objects are finite geometric fans and an arrow from F to G is a pair e, p such that e : F → G is a stable embedding, p : G → F is a 1-Lipschitz affine retraction and p • e = id F . The composition e, p • e , p is e • e , p • p . An immediate consequence of Theorem 3.3 is Corollary 3.4 Every geometric fan is the inverse limit of a sequence in ‡F. Proof Let F consist of all finite fans such that restricted to the end-points has rational values. Let us consider all ‡F-arrows e, p such that p maps the end-points into points with rational value of (recall that (x) is the first coordinate of x in V ). After identifying isometric fans, this family of objects and arrows is certainly countable.
By Theorem 2.1, ‡F has a Fraïssé sequence. The next result characterizes its limit. Theorem 3.7 Let U be a sequence in ‡F and let U ∞ be its inverse limit. The following properties are equivalent: It suffices to prove condition (F) in case where U is an extension of U m by adding a single spike. All other ‡F-arrows are obtained as compositions of such arrows. Let v be the "new" end-point of U and let x = p(v). There exists a sequence {x n } n∈ω of end-points of U ∞ convergent to x. Then lim k→∞ 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 ε-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 end-point x k "realizes" U with an ε-error. Making another ε-error, we can assume that W ⊆ U n for some m < n.
(b) implies (a) Fix x ∈ U m , where m is fixed. Let n 0 = m. Using condition (F), we find n 1 > n 0 and x 1 ∈ 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 ∈ 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 end-points {x k } k∈ω such that lim k→∞ r n k (x k+1 ) = x. Refining this sequence, we may assume that it is convergent, i.e. lim k→∞ x k = y ∈ U ∞ and {n k } k∈ω is a strictly increasing sequence of positive integers. We need to show that y = x.
Fix ∈ ω. If n k > then r = r • r n k , therefore This shows that r (x) = r (y) for every ∈ ω. This is possible only if x = y. Finally, as m∈ω U m is dense in U ∞ , this shows the density of E(U ∞ ) in U ∞ .
From now on, L will denote the limit of a Fraïssé sequence in ‡F.

Corollary 3.8 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 end-points is dense.
Further corollaries, coming from the Fraïssé theory are the following.
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 : L → F be continuous affine 1-Lipschitz surjections. Then for every ε > 0 there is a homeomorphism
Proof Let F n , q m n , ω be an inverse sequence whose inverse limit is F, such that all bonding maps are affine and 1-Lipschitz, 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

More properties of the Lelek fan
We shall prove the following two statements:

Theorem 3.14 Let A, B ⊆ E(L) be countable dense sets. Then there exists an affine homeomorphism h : L → L such that h[A] = B.
The first result is rather well-known. A weakening of Theorem 3.14 was stated in [9, Thm. 12], where the authors showed that the space of end-points 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 F in ‡F, we shall denote by lim ← − F the inverse limit of the 1-Lipschitz affine retractions associated with F. We already know that lim ← − F is a geometric fan and every geometric fan is of the form lim ← − F for some sequence F in ‡F. Given a sequence F, let us denote by lim − → F the union n∈ω F n , which is a dense subset of lim ← − F consisting of countably many spikes.
Proof of Theorem 3.13 It will suffice to prove the theorem for S and T which are one-element 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 1-Lipschitz) homeomorphism h S : L → L and h T : L → L such that h S (S) is the endpoint of a longest spike in L and h T (T ) is the endpoint of a longest spike in L . As in the proof of Proposition 3.1, we can find sequences A, B in ‡F such that L = lim ← − A and L = lim ← − 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 ε > 0 gives an affine isomorphism f of L and L that carries h S (S) to h T (T ). The homeomorphism Let us consider the following generalization of the category ‡F. Namely, let ‡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 e, p such that e : F 1 → G 1 is a stable embedding, p : G 2 → F 2 is a 1-Lipschitz affine retraction and p • e = id F . Then ‡F d is a separable metric category, therefore it has a unique up to isomorphism Fraïssé sequence. Its Fraïssé limit is (D, L) for some skeleton D in L. To prove Theorem 3.14, we will show the following crucial lemma, an analog for ‡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 1-Lipschitz) homeomorphism h
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.

. Then there is an affine homeomorphism h : U → h[U ] ⊆ U such that (h[U ]) = (h(e)) and for every x ∈ U , 1 ≥ (h(x)) (x) > b. Moreover, h(e) = e and for any x ∈ U , h(x) is on the same spike as x.
Proof Let U = V 0 ⊇ V 1 ⊇ V 2 ⊇ · · · be a decreasing sequence of triangles such that l n x and let h [0, e] = id [0,e] . Since lim n→∞ l n = (e), h is continuous. Since moreover h is one-to-one, and L is compact, we get that h is a homeomorphism onto its image. Note that h satisfies all other required conditions. 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 → L ⊆ L and triangular decompositions U n of L of size 1 n+2 such that for all n, for all U ∈ U n , there is a U ∈ E(D) with (a U ) = (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 level-preserving retractions.
First, we will do an inductive construction, where at step n = −1, 0, 1, 2, . . . we will obtain an affine homeomorphism h n : L n−1 → L n ⊆ L n−1 between copies of L, a triangular decomposition U n of L n such that the size of each triangle in it is ≤ 1 n+2 . Furthermore, denoting s i = h n • · · · • h −1 (s i ), S n = {s 0 , s 1 , . . . , s n }, and S = {s 0 , s 1 , . . .}, for any U ∈ U n , there is a U ∈ E(U ) ∩ S such that (a U ) = (U ), and each s ∈ S n is realized as a U for some U ∈ U n .
Fix a sequence of positive reals {b n } such that n b n > 0.
Step n + 1. Subdivide U n to get U n+1 , a triangular decomposition of L n , with the property that the size of each triangle in it is ≤ 1 n+3 , and moreover for U ∈ U n+1 such that s n+1 ∈ U , we have . Let a U = s n+1 and let for all U = U , a U be some s ∈ S such that (s) (U ) > b n+1 . We require that each s ∈ S n is realized as a U for some U ∈ U n+1 . Apply Lemma 3.17 to each U ∈ 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 U = h U , for every U ∈ U n+1 . Let L n+1 be the image of h n+1 and let U n+1 = {U ∩ L n+1 : U ∈ U n+1 }. Let a U for U ∈ U n+1 be equal to a U for the corresponding U ∈ U n+1 . Note that h n+1 (a U ) = a U for each a U , (a U ) = (U ) for every U ∈ U n+1 and also each of s 0 , . . . , s n+1 is realized as a U for some U ∈ U n+1 , where for each i, s i = h n+1 • · · · • h −1 (s i ).
The limit step. Let h n : L n → L n+1 be as above. For each n let f n = h n • · · · • 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 one-to-one. Since L is compact, we get that h is an affine homeomorphism onto its image, which we denote by L . Let U n = {U ∩ L : U ∈ U n } and let a U for U ∈ U n be equal to a U for the corresponding U ∈ U n . We have (a U ) = (U ) for every U ∈ U n . Let r n be the retraction such that r n U , for every U ∈ U n , is the level-preserving projection. Note that as a set {h(s n )} is equal to the set set of all a U , where U ∈ U n for some n. Conditions of Lemma 2.5 are fulfilled. This completes the proof.

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 ⊂ E(L) there is a homeomorphism g : E(L) → E(L) such that g(A) = B. As we will see, not every homeomorphism of E(L) can be lifted to a homeomorphism of L. (1) for any (x, y) ∈ [0, 1] 2 , π 1 (g(x, y)) = x, where π 1 is the projection onto the first coordinate; is not one-to-one; (4) g( 1 2 , 1) = ( 1 2 , 0). Such a function g exists. We can, for example, take 0)). Let f 1 : L → V be given by f 1 (π(x, y)) = π(g(x, y)). By (1) and (2) in the definition of g, f 1 is well defined. Since g is continuous and not one-to-one, so is f 1 .
We claim that the image f 1 (L) is homeomorphic to the Lelek fan. By (1) and (2) in the definition of g, f 1 (L) is a subfan of V . The set of end-points of f 1 (L) is dense, because: the set of end-points of L is dense, f 1 is continuous, and end-points of L are mapped to end-points of f 1 (L).
We now verify that f 1 (E(L)) : E(L) → E( f 1 (L)) is a homeomorphism. By (3) and (4) in the definition of g, f 1 maps end-points to end-points and non-end-points to non-end-points, therefore f 1 (E(L)) is a bijection between E(L) and E( f 1 (L)). Since f 1 is continuous, so is f 1 (E(L)). Using the compactness of L, continuity of f 1 , and the fact that f 1 (E(L)) is a bijection, we also see that f 1 (E(L)) is open.
Let f 2 : f 1 (L) → L be a homeomorphism (it exists because of the uniqueness of the Lelek fan). Take f = f 2 • f 1 . This f is as required.

The Poulsen simplex
In this section we present category-theoretic 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 finite-dimensional 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 = λy + (1 − λ)z for some λ ∈ [0, 1], y, z ∈ K , then λ = 0 or λ = 1. The set of extreme points of K is denoted by ext K . For compact and convex sets K and L, recall that a map p : L → K is affine if for any x, y ∈ L and λ ∈ [0, 1] we have p(λx + (1 − λ)y) = λp(x) + (1 − λ) p(y). We call a map p : L → K a projection if it is an affine continuous surjection. Note that in this case ext K ⊆ p[ext L] and if K is finite-dimensional 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 ext L.
A Choquet simplex (later just called a simplex) is for us a non-empty compact convex and metrizable set K in a locally convex linear topological space such that every x ∈ K has a unique representing measure, that is, a unique probability measure μ supported on the set of extreme points of K and such that for every continuous affine function f : K → R. For more information on the theory of Choquet simplices we refer to Phelps' book [17].
Every finite-dimensional simplex is, up to an affine isomorphism, of the form x(i) = 1 and x(i) ≥ 0 for every i = 1, . . . , n + 1 , and n ≥ 0 is the dimension of the simplex. In particular, 0 is a singleton, 1 is a closed interval, and 2 is a triangle. Let f : n+1 → n be a projection. Identifying n with one of the n-dimensional faces of n+1 , we can think of f as a projection determined by choosing a point of n to be the image of the unique extreme point (vertex) of n+1 that is not in n . Every projection f : n → 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 R n+1 onto R m+1 . Furthermore, when each R k is endowed with the Euclidean norm, all projections P f are 1-Lipschitz. 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 1-Lipschitz projections between Euclidean spaces). An embedding of simplices is a one-to-one continuous affine map. By compactness, every embedding is a topological embedding. An embedding i : K → L will be called stable if i[ext K ] ⊆ ext L. We have the following analog of Lemma 3.2.

The construction and properties of the Poulsen simplex
Let ‡S be the category whose objects are finite-dimensional simplices 0 , 1 , 2 , . . . .
Maps between the simplices are projections and an arrow from F to G is a pair e, p such that e : F → G is a stable embedding, p : G → F is a projection and p • e = id F . Note that every p is 1-Lipschitz with respect to the metrics inherited from the Euclidean metrics.
The following is well-known. Let us note the following important property of our category.

Lemma 4.3
The category ‡S has the strict amalgamation property.
Proof We may assume that f and g are projections of and m , respectively, onto k , so that k is a face of both and m . As and m are abstract simplices, we may assume that they both "live" in the same vector space so that k is their intersection. Now the convex hull of ∪ m is a simplex, which we denote by n , where n = + m − k. Note that f , g determine projections f , g satisfying f m = g, f = id , and g = f , g m = id m . These projections obviously satisfy f • f = g • g .

Lemma 4.4 ‡S is a separable metric category.
Proof Note that Ob ( ‡S) = { n } n∈ω is countable. Denote by ‡S Q the subcategory of ‡S such that Ob ‡S Q = Ob ( ‡S) and an ‡S Q -arrow from m to n is an ‡S-arrow f = e, p such that p(v) has rational barycentric coordinates for every extreme point v in n . Then ‡S Q has countably many arrows and is as required.
By Theorem 2.1, ‡S has a Fraïssé sequence, whose limit we denote by U ∞ . The proof of the following theorem goes along the lines of the proof of Theorem 3.7.
Theorem 4.5 Let U be a sequence in ‡S and let K be its inverse limit. The following properties are equivalent:

Corollary 4.6 U ∞ is the Poulsen simplex.
From now on, we shall write P instead of U ∞ . 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 ext F ⊂ ext K .   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 : P → F be projections. Then for every ε > 0 there is an affine homeomorphism H : P → P such that for every x ∈ P, d F ( f • H (x), g(x)) < ε, 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 → G there is an affine homeomorphism H : P → P extending h.

Final remarks
We say that a space K is retractively universal for a given class P of spaces, if for every P ∈ 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 non-empty 1-dimensional 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 F of subcontinua of C with the property that the only continuous map from a continuum in F to another continuum in F is a constant map.
Suppose now that K is a metric compact space containing each element of F as a retract, so we may assume that F is a family of compact retracts of K . Looking at it as a separable metric space with the Hausdorff distance, we find ε > 0 and a non-trivial sequence {F n } n∈ω ⊆ F converging to some F ∈ F and such that diam(F n ) ≥ ε for n ∈ ω. Then also diam(F) ≥ ε. Let r : K → F be a retraction. Then r F n is constant for each n ∈ ω, showing that r cannot be continuous.
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.