In mathematics, the notion of externology in a topological spaceX generalizes the basic properties of the family of complements of the closedcompactsubspaces of X, which are used to construct its Alexandroff compactification. An externology permits to introduce a notion of end point, to study the divergence of nets in terms of convergence to end points and it is a useful tool for the study and classification of some families of non compact topological spaces. It can also be used to approach a topological space as the limit of other topological spaces: the externologies are very useful when a compact metric space embedded in a Hilbert space is approached by its open neighbourhoods.
Definition
Let be a topological space. An externology on is a non-empty collection ε of open subsets satisfying:
If E1, E2 ∈ ε, then E1 ∩ E2 ∈ ε;
if E ∈ ε, U ∈ τ and E ⊆ U, then U ∈ ε.
An exterior space consists of a topological space together with an externology ε. An open E which is in ε is said to be an exterior-open subset. A map f: → is said to be an exterior map if it is continuous and f−1 ∈ ε, for all E ∈ ε'. The category of exterior spaces and exterior maps will be denoted by E. It is remarkable that E is a complete and cocomplete category.
Given a space , the externology εXcc of the complements of closed compact subsets of X permits a connection with the theory ofproper maps.
Given a space and a subset A⊆X the family ε= is an externology in X. Two particular cases with important applications on shape theory and on dynamical systems, respectively, are the following:
If A is a closed subspace of the Hilbert cube X=Q the externology εA=ε is a resolution of A in the sense of the shape theory.
Let X be a continuous dynamical system and P the subset of periodic points; we can consider the externology ε. More generally, if A is an invariant subset the externology ε is useful to study the dynamical properties of the flow.
Applications of exterior spaces
Proper homotopy theory: A continuous map f:X→Y between topological spaces is said to be proper if for every closed compact subset K of Y, f−1 is a compact subset of X. The category of spaces and proper maps will be denoted by P. This category and the corresponding proper homotopy category are very useful for the study of non compact spaces. Nevertheless, one has the problem that this category does not have enough limits and colimits and then we can not develop the usual homotopy constructions like loops, homotopy limits and colimits, etc. An answer to this problem is the category of exterior spaces E which admits Quillen model structures and contains as a full subcategory the category of spaces and proper maps; that is, there is full and faithful functorP→E which carries a topological space to the exterior space .
Proper LS category: The problem of finding Ganea and Whitehead characterizations of this proper invariant can not be faced within the proper category because of the lack of limits. Nevertheless, an extension of this invariant to the category of exterior spaces permits to find a solution to such a problem. This numerical proper invariant has been applied to the study of open 3-manifolds.
Shape theory: Many shape invariants of a compact metric space can be obtained as exterior homotopy groups of the exterior space determined by the open neighborhoods of a compact metric space embedded in the Hilbert cube.
Discrete and continuous dynamical systems : There are many constructions that associate an exterior space to a dynamical system, for example: Given a continuous flow one can consider the exterior spaces induced by the open neighborhoods of the subset of periodic points, Poisson periodic points, omega limits, etc. The constructions and properties of these associated exterior spaces are used to study the dynamical properties of the flow.