In topology and related branches of mathematics, a topological space is called locally compact if, roughly speaking, each small portion of the space looks like a small portion of a compact space. More precisely, it is a topological space in which every point has a compact neighborhood. In mathematical analysis locally compact spaces that are Hausdorff are of particular interest; they are abbreviated as LCH spaces. Let X be a topological space. Most commonly X is called locally compact if every point x of X has a compact neighbourhood, i.e., there exists an open set U and a compact set K, such that . There are other common definitions: They are all equivalent if X is a Hausdorff space (or preregular). But they are not equivalent in general:

  1. every point of X has a compact neighbourhood.
  2. every point of X has a closed compact neighbourhood. 2′. every point of X has a relatively compact neighbourhood. 2′′. every point of X has a local base of relatively compact neighbourhoods.
  3. every point of X has a local base of compact neighbourhoods.
  4. every point of X has a local base of closed compact neighbourhoods.
  5. X is Hausdorff and satisfies any (or equivalently, all) of the previous conditions. Logical relations among the conditions: Each condition implies (1). Conditions (2), (2′), (2′′) are equivalent. Neither of conditions (2), (3) implies the other. Condition (4) implies (2) and (3). Compactness implies conditions (1) and (2), but not (3) or (4). Condition (1) is probably the most commonly used definition, since it is the least restrictive and the others are equivalent to it when X is Hausdorff. This equivalence is a consequence of the facts that compact subsets of Hausdorff spaces are closed, and closed subsets of compact spaces are compact. Spaces satisfying (1) are also occasionally called , as they satisfy the weakest of the conditions here. As they are defined in terms of relatively compact sets, spaces satisfying (2), (2'), (2") can more specifically be called locally relatively compact.
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Related courses (32)
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
MATH-315: Spaces of non-positive curvature and groups
Non-positive curvature is a fundamental aspect of geometry appearing in Euclidean spaces, hyperbolic spaces, trees, buildings and many more spaces. We study it with the general but powerful tool of CA
MATH-338: Topological groups
We study topological groups. Particular attention is devoted to compact and locally compact groups.
Show more
Related publications (111)
Related concepts (47)
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.
Number line
In elementary mathematics, a number line is a picture of a graduated straight line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a point. The integers are often shown as specially-marked points evenly spaced on the line. Although the image only shows the integers from –3 to 3, the line includes all real numbers, continuing forever in each direction, and also numbers that are between the integers.
Paracompact space
In mathematics, a paracompact space is a topological space in which every open cover has an open refinement that is locally finite. These spaces were introduced by . Every compact space is paracompact. Every paracompact Hausdorff space is normal, and a Hausdorff space is paracompact if and only if it admits partitions of unity subordinate to any open cover. Sometimes paracompact spaces are defined so as to always be Hausdorff. Every closed subspace of a paracompact space is paracompact.
Show more

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.