End (topology)

Last updated

In topology, a branch of mathematics, the ends of a topological space are, roughly speaking, the connected components of the "ideal boundary" of the space. That is, each end represents a topologically distinct way to move to infinity within the space. Adding a point at each end yields a compactification of the original space, known as the end compactification.

Contents

The notion of an end of a topological space was introduced by HansFreudenthal  ( 1931 ).

Definition

Let be a topological space, and suppose that

is an ascending sequence of compact subsets of whose interiors cover . Then has one end for every sequence

where each is a connected component of . The number of ends does not depend on the specific sequence of compact sets; there is a natural bijection between the sets of ends associated with any two such sequences.

Using this definition, a neighborhood of an end is an open set such that for some . Such neighborhoods represent the neighborhoods of the corresponding point at infinity in the end compactification (this "compactification" is not always compact; the topological space X has to be connected and locally connected).

The definition of ends given above applies only to spaces that possess an exhaustion by compact sets (that is, must be hemicompact). However, it can be generalized as follows: let be any topological space, and consider the direct system of compact subsets of and inclusion maps. There is a corresponding inverse system , where denotes the set of connected components of a space , and each inclusion map induces a function . Then set of ends of is defined to be the inverse limit of this inverse system.

Under this definition, the set of ends is a functor from the category of topological spaces, where morphisms are only proper continuous maps, to the category of sets. Explicitly, if is a proper map and is an end of (i.e. each element in the family is a connected component of and they are compatible with maps induced by inclusions) then is the family where ranges over compact subsets of Y and is the map induced by from to . Properness of is used to ensure that each is compact in .

The original definition above represents the special case where the direct system of compact subsets has a cofinal sequence.

Examples

Ends of graphs and groups

In infinite graph theory, an end is defined slightly differently, as an equivalence class of semi-infinite paths in the graph, or as a haven, a function mapping finite sets of vertices to connected components of their complements. However, for locally finite graphs (graphs in which each vertex has finite degree), the ends defined in this way correspond one-for-one with the ends of topological spaces defined from the graph ( Diestel & Kühn 2003 ).

The ends of a finitely generated group are defined to be the ends of the corresponding Cayley graph; this definition is insensitive to the choice of generating set. Every finitely-generated infinite group has either 1, 2, or infinitely many ends, and Stallings theorem about ends of groups provides a decomposition for groups with more than one end.

Ends of a CW complex

For a path connected CW-complex, the ends can be characterized as homotopy classes of proper maps , called rays in X: more precisely, if between the restriction —to the subset — of any two of these maps exists a proper homotopy we say that they are equivalent and they define an equivalence class of proper rays. This set is called an end of X.

Related Research Articles

<span class="mw-page-title-main">Compact space</span> Type of mathematical space

In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures" or "missing endpoints", i.e., it includes all limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers is not compact either, because it excludes the two limiting values and . However, the extended real number linewould be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces.

<span class="mw-page-title-main">Connected space</span> Topological space that is connected

In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that are used to distinguish topological spaces.

In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups. The fundamental group of a topological space is denoted by .

<span class="mw-page-title-main">Homeomorphism</span> Mapping which preserves all topological properties of a given space

In mathematics and more specifically in topology, a homeomorphism, also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same.

<span class="mw-page-title-main">Lie group</span> Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.

In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a function whose domain is a directed set. The codomain of this function is usually some topological space. Nets directly generalize the concept of a sequence in a metric space. Nets are primarily used in the fields of Analysis and Topology, where they are used to characterize many important topological properties that, sequences are unable to characterize. Nets are in one-to-one correspondence with filters.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.

In the mathematical field of topology, the Alexandroff extension is a way to extend a noncompact topological space by adjoining a single point in such a way that the resulting space is compact. It is named after the Russian mathematician Pavel Alexandroff. More precisely, let X be a topological space. Then the Alexandroff extension of X is a certain compact space X* together with an open embedding c : X → X* such that the complement of X in X* consists of a single point, typically denoted ∞. The map c is a Hausdorff compactification if and only if X is a locally compact, noncompact Hausdorff space. For such spaces the Alexandroff extension is called the one-point compactification or Alexandroff compactification. The advantages of the Alexandroff compactification lie in its simple, often geometrically meaningful structure and the fact that it is in a precise sense minimal among all compactifications; the disadvantage lies in the fact that it only gives a Hausdorff compactification on the class of locally compact, noncompact Hausdorff spaces, unlike the Stone–Čech compactification which exists for any topological space.

In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent.

In mathematics, the uniform boundedness principle or Banach–Steinhaus theorem is one of the fundamental results in functional analysis. Together with the Hahn–Banach theorem and the open mapping theorem, it is considered one of the cornerstones of the field. In its basic form, it asserts that for a family of continuous linear operators whose domain is a Banach space, pointwise boundedness is equivalent to uniform boundedness in operator norm.

<span class="mw-page-title-main">Covering space</span> Type of continuous map in topology

In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If is a covering, is said to be a covering space or cover of , and is said to be the base of the covering, or simply the base. By abuse of terminology, and may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étale space.

<span class="mw-page-title-main">Vector bundle</span> Mathematical parametrization of vector spaces by another space

In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space : to every point of the space we associate a vector space in such a way that these vector spaces fit together to form another space of the same kind as , which is then called a vector bundle over .

A CW complex is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation. The C stands for "closure-finite", and the W for "weak" topology.

In general topology, a branch of mathematics, a non-empty family A of subsets of a set is said to have the finite intersection property (FIP) if the intersection over any finite subcollection of is non-empty. It has the strong finite intersection property (SFIP) if the intersection over any finite subcollection of is infinite. Sets with the finite intersection property are also called centered systems and filter subbases.

<span class="mw-page-title-main">Foliation</span> In mathematics, a type of equivalence relation on an n-manifold

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = np is called its codimension.

In mathematics, an n-dimensional differential structure on a set M makes M into an n-dimensional differential manifold, which is a topological manifold with some additional structure that allows for differential calculus on the manifold. If M is already a topological manifold, it is required that the new topology be identical to the existing one.

In mathematics, specifically in homotopy theory, a classifying spaceBG of a topological group G is the quotient of a weakly contractible space EG by a proper free action of G. It has the property that any G principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle . As explained later, this means that classifying spaces represent a set-valued functor on the homotopy category of topological spaces. The term classifying space can also be used for spaces that represent a set-valued functor on the category of topological spaces, such as Sierpiński space. This notion is generalized by the notion of classifying topos. However, the rest of this article discusses the more commonly used notion of classifying space up to homotopy.

In mathematics, particularly in functional analysis, a projection-valued measure is a function defined on certain subsets of a fixed set and whose values are self-adjoint projections on a fixed Hilbert space. A projection-valued measure (PVM) is formally similar to a real-valued measure, except that its values are self-adjoint projections rather than real numbers. As in the case of ordinary measures, it is possible to integrate complex-valued functions with respect to a PVM; the result of such an integration is a linear operator on the given Hilbert space.

References