Topological property

Topological property

In topology and related areas of mathematics a topological property or topological invariant is a property of a topological space which is invariant under homeomorphisms. That is, a property of spaces is a topological property if whenever a space "X" possesses that property every space homeomorphic to "X" possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets.

A common problem in topology is to decide whether two topological spaces are homeomorphic or not. To prove that two spaces are "not" homeomorphic, it is sufficient to find a topological property which is not shared by them.

Common topological properties

Cardinal functions

* The cardinality |X| of the space X.
* The cardinality τ(X) of the topology of the space X.
* "Weight" w(X), the least cardinality of a basis of the topology of the space X.
* "Density" d(X), the least cardinality of a subset of X whose closure is X.

Separation

For a detailed treatment, see separation axiom. Some of these terms are defined differently in older mathematical literature; see history of the separation axioms.

* T0 or Kolmogorov. A space is Kolmogorov if for every pair of distinct points "x" and "y" in the space, there is at least either an open set containing "x" but not "y", or an open set containing "y" but not "x".
* T1 or Fréchet. A space is Fréchet if for every pair of distinct points "x" and "y" in the space, there is an open set containing "x" but not "y". (Compare with T0; here, we are allowed to specify which point will be contained in the open set.) Equivalently, a space is T1 if all its singletons are closed. T1 spaces are always T0.
* Sober. A space is sober if every irreducible closed set "C" has a unique generic point "p". In other words, if "C" is not the (possibly nondisjoint) union of two smaller closed subsets, then there is a "p" such that the closure of {"p"} equals "C", and "p" is the only point with this property.
* T2 or Hausdorff. A space is Hausdorff if every two distinct points have disjoint neighbourhoods. T2 spaces are always T1.
* T or Urysohn. A space is Urysohn if every two distinct points have disjoint "closed" neighbourhoods. T spaces are always T2.
* Regular. A space is regular if whenever "C" is a closed set and "p" is a point not in "C", then "C" and "p" have disjoint neighbourhoods.
* T3 or Regular Hausdorff. A space is regular Hausdorff if it is a regular T0 space. (A regular space is Hausdorff if and only if it is T0, so the terminology is consistent.)
* Completely regular. A space is completely regular if whenever "C" is a closed set and "p" is a point not in "C", then "C" and {"p"} are separated by a function.
* T, Tychonoff, Completely regular Hausdorff or Completely T3. A Tychonoff space is a completely regular T0 space. (A completely regular space is Hausdorff if and only if it is T0, so the terminology is consistent.) Tychonoff spaces are always regular Hausdorff.
* Normal. A space is normal if any two disjoint closed sets have disjoint neighbourhoods. Normal spaces admit partitions of unity.
* T4 or Normal Hausdorff. A normal space is Hausdorff if and only if it is T1. Normal Hausdorff spaces are always Tychonoff.
* Completely normal. A space is completely normal if any two separated sets have disjoint neighbourhoods.
* T5 or Completely normal Hausdorff. A completely normal space is Hausdorff if and only if it is T1. Completely normal Hausdorff spaces are always normal Hausdorff.
* Perfectly normal. A space is perfectly normal if any two disjoint closed sets are precisely separated by a function. A perfectly normal space must also be completely normal.
* Perfectly normal Hausdorff, or perfectly T4. A space is perfectly normal Hausdorff, if it is both perfectly normal and T1. A perfectly normal Hausdorff space must also be completely normal Hausdorff.
* Discrete space. A space is discrete if all of its points are completely isolated, i.e. if any subset is open.

Countability conditions

* Separable. A space is separable if it has a countable dense subset.
* First-countable. A space is first-countable if every point has a countable local base.
* Second-countable. A space is second-countable if it has a countable base for its topology. Second-countable spaces are always separable, first-countable and Lindelöf.

Connectedness

* Connected. A space "X" is connected if it is not the union of a pair of disjoint non-empty open sets. Equivalently, a space is connected if the only clopen sets are the whole space and the empty set.
* Locally connected. A space is locally connected if every point has a local base consisting of connected sets.
* Totally disconnected. A space is totally disconnected if it has no connected subset with more than one point.
* Path-connected. A space "X" is path-connected if for every two points "x", "y" in "X", there is a path "p" from "x" to "y", i.e., a continuous map "p": [0,1] → "X" with "p"(0) = "x" and "p"(1) = "y". Path-connected spaces are always connected.
* Locally path-connected. A space is locally path-connected if every point has a local base consisting of path-connected sets. A locally path-connected space is connected if and only if it is path-connected.
* Simply connected. A space "X" is simply connected if it is path-connected and every continuous map "f": S1 → "X" is homotopic to a constant map.
*Locally simply connected. A space "X" is locally simply connected if every point "x" in "X" has a local base of neighborhoods "U" that is simply connected.
*Semi-locally simply connected. A space "X" is semi-locally simply connected if every point has a local base of neighborhoods "U" such that "every" loop in "U" is contractible in "X". Semi-local simple connectivity, a strictly weaker condition than local simple connectivity, is a necessary condition for the existence of a universal cover.
* Contractible. A space "X" is contractible if the identity map on "X" is homotopic to a constant map. Contractible spaces are always simply connected.
* Hyper-connected. A space is hyper-connected if no two non-empty open sets are disjoint. Every hyper-connected space is connected.
* Ultra-connected. A space is ultra-connected if no two non-empty closed sets are disjoint. Every ultra-connected space is path-connected.
* Indiscrete or Trivial. A space is indiscrete if the only open sets are the whole space and the empty set. Such a space is said to have the trivial topology.

Compactness

* Compact. A space is compact if every open cover has a finite subcover. Some authors call these spaces quasicompact and reserve compact for Hausdorff spaces where every open cover has finite subcover. Compact spaces are always Lindelöf and paracompact. Compact Hausdorff spaces are therefore normal.
* Sequentially compact. A space is sequentially compact if every sequence has a convergent subsequence.
* Countably compact. A space is countably compact if every countable open cover has a finite subcover.
* Pseudocompact. A space is pseudocompact if every real-valued function on the space is bounded.
* σ-compact. A space is σ-compact if it is the union of countably many compact subsets.
* Lindelöf. A space is Lindelöf if every open cover has a countable subcover.
* Paracompact. A space is paracompact if every open cover has an open locally finite refinement. Paracompact Hausdorff spaces are normal.
* Locally compact. A space is locally compact if every point has a local base consisting of compact neighbourhoods. Slightly different definitions are also used. Locally compact Hausdorff spaces are always Tychonoff.
* Ultraconnected compact. In an ultra-connected compact space "X" every open cover must contain "X" itself. Non-empty ultra-connected compact spaces have a largest proper open subset called a monolith.

Metrizability

* Metrizable. A space is metrizable if it is homeomorphic to a metric space. Metrizable spaces are always Hausdorff and paracompact (and hence normal and Tychonoff), and first-countable.
* Polish. A space is called Polish if it is metrizable with a separable and complete metric.
* Locally metrizable. A space is locally metrizable if every point has a metrizable neighbourhood.

Miscellaneous

* Baire space. A space "X" is a Baire space if it is not meagre in itself. Equivalently, "X" is a Baire space if the intersection of countably many dense open sets is dense.
* Homogeneous. A space "X" is homogeneous if for every "x" and "y" in "X" there is a homeomorphism "f" : "X" → "X" such that "f"("x") = "y". Intuitively speaking, this means that the space looks the same at every point. All topological groups are homogeneous.
* Finitely generated or Alexandrov. A space "X" is Alexandrov if arbitrary intersections of open sets in "X" are open, or equivalently if arbitrary unions of closed sets are closed. These are precisely the finitely generated members of the category of topological spaces and continuous maps.
* Zero-dimensional. A space is zero-dimensional if it has a base of clopen sets. These are precisely the spaces with a small inductive dimension of "0".
* Almost discrete. A space is almost discrete if every open set is closed (hence clopen). The almost discrete spaces are precisely the finitely generated zero-dimensional spaces.
* Boolean. A space is Boolean if it is zero-dimensional, compact and Hausdorff (equivalently, totally disconnected, compact and Hausdorff). These are precisely the spaces that are homeomorphic to the Stone spaces of Boolean algebras.
* Reidemeister torsion

References

* Stephen Willard, "General Topology", (1970) Addison-Wesley Publishing Company, Reading Massachusetts.


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Topological space — Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity. They appear in virtually every branch of modern mathematics and are a central unifying notion. The… …   Wikipedia

  • Topological manifold — In mathematics, a topological manifold is a Hausdorff topological space which looks locally like Euclidean space in a sense defined below. Topological manifolds form an important class of topological spaces with applications throughout… …   Wikipedia

  • Topological string theory — In theoretical physics, topological string theory is a simplified version of string theory. The operators in topological string theory represent the algebra of operators in the full string theory that preserve a certain amount of supersymmetry.… …   Wikipedia

  • Topological game — A topological game is an infinite positional game of perfect information played between two players on a topological space. Players choose objects with topological properties such as points, open sets, closed sets and open coverings. Time is… …   Wikipedia

  • Topological sorting — Dependency resolution redirects here. For other uses, see Dependency (disambiguation). In computer science, a topological sort or topological ordering of a directed graph is a linear ordering of its vertices such that, for every edge uv, u comes… …   Wikipedia

  • Topological quantum field theory — A topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants.Although TQFTs were invented by physicists (notably Edward Witten), they are primarily of mathematical… …   Wikipedia

  • Topological indistinguishability — In topology, two points of a topological space X are topologically indistinguishable if they have exactly the same neighborhoods. That is, if x and y are points in X, and A is the set of all neighborhoods which contain x, and B is the set of all… …   Wikipedia

  • Topological tensor product — In mathematics, there are usually many different ways to construct a topological tensor product of two topological vector spaces. For Hilbert spaces or nuclear spaces there is a simple well behaved theory of tensor products (see Tensor product of …   Wikipedia

  • topological space — Math. a set with a collection of subsets or open sets satisfying the properties that the union of open sets is an open set, the intersection of two open sets is an open set, and the given set and the empty set are open sets. [1945 50] * * *… …   Universalium

  • topological group — noun Date: 1946 a mathematical group which is also a topological space, whose multiplicative operation has the property that given any neighborhood of a product there exist neighborhoods of the elements composing the product such that any pair of …   New Collegiate Dictionary

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”