This is a glossary of some terms used in the branch of mathematics known as topology. See the article on topology for basic definitions.
This glossary is divided into two parts. The first part deals with general concepts, and the second part lists types of topological spaces defined in terms of these concepts. All spaces in this glossary are assumed to be topological spaces.
Part 1 -- topological concepts
- Continuous. A function from one space to another is continuous if the preimage of every open set is open.
- Homeomorphic. Two spaces X and Y are homeomorphic if there is a bijective map f : X -> Y such that f and f -1 are continuous. From the standpoint of topology, X and Y are the same. The function f is called a homeomorphism.
- Closure. The closure of a set is the intersection of all closed sets which contain it. It is the smallest closed set containing the original set.
- Interior. The interior of a set is the union of all open sets contained in it. It is the largest open set contained in the original set.
- Boundary. The boundary of a set is the set's closure minus its interior.
- Dense. A dense set is a set whose closure is the whole space.
- Nowhere dense. A nowhere dense set is a set whose closure has empty interior.
- Neighbourhood. A neighbourhood of a set S is a set containing an open set which in turn contains the set S. A neighbourhood of a point p is a neighbourhood of the 1-point set {p}.
- Punctured neighbourhood. A punctured neighbourhood of a point p is a neighbourhood of p, minus p. For instance, {x: 0<|x|<1} is a punctured neighbourhood of 0 in the real line, because {x : 0 ≤ |x| < 1} is a neighbourhood of 0.
- Sub-base. A set of open sets is a sub-base for a topology if every open set is a union of finite intersections of sets in the sub-base.
- Base, or Basis. A set of open sets is a base for a topology if every open set is a union of sets in the base.
- Local base. A set B of neighbourhoods of a point x of a topological space X is a local base at x if every neighbourhood of x contains some member of B.
- Locally finite. A collection of subsets of a space is locally finite if every point has a neighbourhood which meets only finitely many of the subsets.
- Cover. A collection {Ui} of sets is a cover (or covering), if their union is the whole space. An open cover is a cover {Ui} in which each Ui is an open set.
- Subcover. A cover K is a subcover of a cover L if every member of K is a member of L.
- Refinement. A cover K is a refinement of a cover L if every member of K is a subset of some member of L.
- Functionally separated. Two sets A and B in a space are functionally separated if there is a continuous function from the space into the interval [0,1] with the property that A is mapped to 0 and B is mapped to 1.
- Partition of unity. A partition of unity is a set of continuous functions from a space to [0,1] such that any point has a neighbourhood where all but a finite number are identically zero, and the sum of all them at every point is 1.
- Homotopic maps. Two continuous maps f, g : X -> Y are homotopic if there is a continuous map H : X × [0,1] -> Y, such that H(x,0) = f(x) and H(x,1) = g(x) for all x in X. The function H is called a homotopy between f and g.
Part 2 -- types of topological spaces
Topological spaces can be classified regarding the degree to which their points are separated, regarding their compactness, their overall size and their connectedness.
Separation axioms
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. A space is T0 if for every pair of distinct points in the space, there is an open set containing one but not the other.
- T1. A space is T1 if all its singletons are closed. T1 spaces are always T0.
- Hausdorff or T2. A space is Hausdorff if every two distinct points have disjoint neighborhoods. Hausdorff spaces are always T1.
- 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. Regular T0 spaces are always Hausdorff.
- Tychonoff. A Hausdorff space is Tychonoff if whenever C is a closed set and p is a point not in C, then C and p are functionally separated. Tychonoff spaces are always regular.
- Normal. A space is normal if any two disjoint closed sets have disjoint neighbourhoods. Normal spaces admit partitions of unity. Normal T1 spaces are always Tychonoff.
Compactness
- Paracompact. A space is paracompact if every open cover has an open locally finite refinement. Paracompact Hausdorff spaces are normal.
- Lindelöf. A space is Lindelöf if every open cover has a countable subcover.
- Compact. A space is compact if every open cover has a finite subcover. Compact spaces are always Lindelöf and paracompact. Compact Hausdorff spaces are therefore normal.
- Locally compact. A space is locally compact if every point has a local base consisting of compact neighborhoods. Locally compact Hausdorff spaces are always Tychonoff.
Size
- 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 isn't the union of a pair of disjoint nonempty open sets.
- 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.
- Contractible. A space X is contractible if the identity map on X is homotopic to a constant map. Contractible spaces are always simply connected.
Miscellaneous
- 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.
- Locally metrizable. A space is locally metrizable if every point has a metrizable neighbourhood.
- 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.
Common misspelling and questions (FAQ)
opological-neighbourhood tpological-neighbourhood toological-neighbourhood toplogical-neighbourhood topoogical-neighbourhood topolgical-neighbourhood topoloical-neighbourhood topologcal-neighbourhood topologial-neighbourhood topologicl-neighbourhood topologica-neighbourhood topologicalneighbourhood topological-eighbourhood topological-nighbourhood topological-neghbourhood topological-neihbourhood topological-neigbourhood topological-neighourhood topological-neighburhood topological-neighborhood topological-neighbouhood topological-neighbourood topological-neighbourhod topological-neighbourhod topological-neighbourhoo otpological-neighbourhood tpoological-neighbourhood tooplogical-neighbourhood toploogical-neighbourhood topoolgical-neighbourhood topolgoical-neighbourhood topoloigcal-neighbourhood topologcial-neighbourhood topologiacl-neighbourhood topologicla-neighbourhood topologica-lneighbourhood topologicaln-eighbourhood topological-enighbourhood topological-nieghbourhood topological-negihbourhood topological-neihgbourhood topological-neigbhourhood topological-neighoburhood topological-neighbuorhood topological-neighboruhood topological-neighbouhrood topological-neighbourohod topological-neighbourhood topological-neighbourhodo topological-neighbourhoo ttopological-neighbourhood toopological-neighbourhood toppological-neighbourhood topoological-neighbourhood topollogical-neighbourhood topoloogical-neighbourhood topologgical-neighbourhood topologiical-neighbourhood topologiccal-neighbourhood topologicaal-neighbourhood topologicall-neighbourhood topological--neighbourhood topological-nneighbourhood topological-neeighbourhood topological-neiighbourhood topological-neigghbourhood topological-neighhbourhood topological-neighbbourhood topological-neighboourhood topological-neighbouurhood topological-neighbourrhood topological-neighbourhhood topological-neighbourhoood topological-neighbourhoood topological-neighbourhoodd 5opological-neighbourhood ropological-neighbourhood fopological-neighbourhood 6opological-neighbourhood gopological-neighbourhood 6opological-neighbourhood yopological-neighbourhood gopological-neighbourhood t9pological-neighbourhood tipological-neighbourhood tkpological-neighbourhood t0pological-neighbourhood tlpological-neighbourhood t0pological-neighbourhood tppological-neighbourhood tlpological-neighbourhood to0ological-neighbourhood tooological-neighbourhood tolological-neighbourhood to-ological-neighbourhood to;ological-neighbourhood to-ological-neighbourhood to[ological-neighbourhood to;ological-neighbourhood top9logical-neighbourhood topilogical-neighbourhood topklogical-neighbourhood top0logical-neighbourhood topllogical-neighbourhood top0logical-neighbourhood topplogical-neighbourhood topllogical-neighbourhood topooogical-neighbourhood topokogical-neighbourhood topo,ogical-neighbourhood topopogical-neighbourhood topo.ogical-neighbourhood topopogical-neighbourhood topo;ogical-neighbourhood topo.ogical-neighbourhood topol9gical-neighbourhood topoligical-neighbourhood topolkgical-neighbourhood topol0gical-neighbourhood topollgical-neighbourhood topol0gical-neighbourhood topolpgical-neighbourhood topollgical-neighbourhood topolotical-neighbourhood topolofical-neighbourhood topolovical-neighbourhood topoloyical-neighbourhood topolobical-neighbourhood topoloyical-neighbourhood topolohical-neighbourhood topolobical-neighbourhood topolog8cal-neighbourhood topologucal-neighbourhood topologjcal-neighbourhood topolog9cal-neighbourhood topologkcal-neighbourhood topolog9cal-neighbourhood topologocal-neighbourhood topologkcal-neighbourhood topologidal-neighbourhood topologixal-neighbourhood topologifal-neighbourhood topologifal-neighbourhood topologival-neighbourhood topologicql-neighbourhood topologicwl-neighbourhood topologiczl-neighbourhood topologicwl-neighbourhood topologicsl-neighbourhood topologiczl-neighbourhood topologicao-neighbourhood topologicak-neighbourhood topologica,-neighbourhood topologicap-neighbourhood topologica.-neighbourhood topologicap-neighbourhood topologica;-neighbourhood topologica.-neighbourhood topological0neighbourhood topologicalpneighbourhood topological[neighbourhood topological-heighbourhood topological-beighbourhood topological-jeighbourhood topological-jeighbourhood topological-meighbourhood topological-n3ighbourhood topological-nwighbourhood topological-nsighbourhood topological-n4ighbourhood topological-ndighbourhood topological-n4ighbourhood topological-nrighbourhood topological-ndighbourhood topological-ne8ghbourhood topological-neughbourhood topological-nejghbourhood topological-ne9ghbourhood topological-nekghbourhood topological-ne9ghbourhood topological-neoghbourhood topological-nekghbourhood topological-neithbourhood topological-neifhbourhood topological-neivhbourhood topological-neiyhbourhood topological-neibhbourhood topological-neiyhbourhood topological-neihhbourhood topological-neibhbourhood topological-neigybourhood topological-neiggbourhood topological-neigbbourhood topological-neigubourhood topological-neignbourhood topological-neigubourhood topological-neigjbourhood topological-neignbourhood topological-neighgourhood topological-neighvourhood topological-neighhourhood topological-neighhourhood topological-neighnourhood topological-neighb9urhood topological-neighbiurhood topological-neighbkurhood topological-neighb0urhood topological-neighblurhood topological-neighb0urhood topological-neighbpurhood topological-neighblurhood topological-neighbo7rhood topological-neighboyrhood topological-neighbohrhood topological-neighbo8rhood topological-neighbojrhood topological-neighbo8rhood topological-neighboirhood topological-neighbojrhood topological-neighbou4hood topological-neighbouehood topological-neighboudhood topological-neighbou5hood topological-neighboufhood topological-neighbou5hood topological-neighbouthood topological-neighboufhood topological-neighbouryood topological-neighbourgood topological-neighbourbood topological-neighbouruood topological-neighbournood topological-neighbouruood topological-neighbourjood topological-neighbournood topological-neighbourh9od topological-neighbourhiod topological-neighbourhkod topological-neighbourh0od topological-neighbourhlod topological-neighbourh0od topological-neighbourhpod topological-neighbourhlod topological-neighbourho9d topological-neighbourhoid topological-neighbourhokd topological-neighbourho0d topological-neighbourhold topological-neighbourho0d topological-neighbourhopd topological-neighbourhold topological-neighbourhooe topological-neighbourhoos topological-neighbourhoox topological-neighbourhoor topological-neighbourhooc topological-neighbourhoor topological-neighbourhoof topological-neighbourhooc topologycal-neighbourhood topological-nieghbourhood yopological-neighbourhood tyopological-neighbourhood topological-neighbourhoodsIt was supposed that by him would overcome a foe in the field. If one thing which caused most anxiety among the dancers accidentally trip and fall while pursued by the relative. Boys of my age were disposed to run some risk to strike at the bear man with a short switch, while well be admitted that one reason for my declining that I was afraid of powder, and I much preferred touching the bear man without being touched. It was a beautiful summer's day. The forest blossoming flowers. The teepees faced a large lake, cooled the atmosphere. The water-fowl disported age overhead noisily expressed their surprise at the rounds, announcing the day's event and the came the bustle of preparation. The out-door cannot describe just how I was attired or painted, little of my brown skin that was not uncovered. and tinkling ornaments. I soon heard the tom-tom's doleful sound from whoops from the throats of the youthful warriors. bear man's drum was going in earnest, and soon the dance. An old warrior gave the signal and we all started tacking a stranger. Frantically we yelled and a hop, skip and jump fashion. In spite of.