Ends of spaces via linear algebra
We develop a theory that may be considered as a prequel to the coarse theory. We are viewing ends of spaces as extra points at infinity. In order to discuss behaviour of spaces at infinity one needs a concept (a measure) of approaching infinity. The simplest way to do so is to list subsets of X that are bounded (i.e. far from infinity) and that list should satisfy certain basic properties. Such a list SX we call a \textbf{scale} on a set X (see Section 3). In order to use ideas from the Stone Duality Theorem we consider sub-Boolean algebras BAX of the power set 2X of X that contain SX and that leads naturally to the concept of ends of a \textbf{scaled Boolean algebra} (X,SX,BAX) which can be attached to X and form a new scaled Boolean algebra (Xˉ,SX,BAX) that is \textbf{compact at infinity}. Given a scaled space (X,SX) the most natural scaled Boolean algebra is (X,SX,2X) which can be too far removed from the geometry of X. Therefore we need to figure out how to trim 2X to a smaller sub-Boolean algebra BAX. More generally, how to trim a sub-Boolean algebra BAX to a smaller one. That is done using ideas from linear algebra. Namely, we consider a family F of naturally arising SX-linear operators on BAX and the smaller sub-Boolean algebra BAF consists of eigensets of F, an analog of eigenvectors from linear algebra. We show that all ends defined in literature so far (Freundenthal ends, ends of finitely generated groups, Specker ends, Cornulier ends, ends of coarse spaces) are special cases of such a process.
