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.
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.
Topological spaces can be classified regarding the degree to which their points are separated, regarding their compactness, their overall size and their connectedness.
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.
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.
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.
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.
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.
Il prit l'ha/ha.html">ha/habit.html">habit long (la soutane) et s'en alla jeune … Rome, o— il fut aid‚ par la faveur de son cousin Olivier Carafa, cardinal.html">cardinal.html">cardinal et archevˆque de Naples. Alexandre VI, ce grand.html">grand.html">grand homme qui savait tout et pouvait tout, le fit son cameriere (… peu prŠs ce que nous appellerions, dans nos moeurs, un officier d'ordonnance). Jules II le nomma archevˆque de Chieti; le pape Paul le fit cardinal, et enfin, le 23 de mai 1555, aprŠs des brigues et des disputes terribles parmi les cardinaux enferm‚s au/au.html">au conclave, il fut cr‚‚ pape sous le nom de Paul IV; il avait alors soixante-dix-huit ans. Ceux mˆmes qui venaient de l'appeler au tr“ne de saint Pierre fr‚mirent bient“t en pensant … la duret‚ et … la pi‚t‚ farouche, inexorable, du maŒtre qu'ils venaient de se donner.
La nouvelle de cette nomination inattendue fit r‚volution … Naples et … Palerme. En peu de jours Rome vit arriver un grand nombre de membres de l'illustre famille Carafa. Tous furent plac‚s; mais comme il est naturel, le pape distingua particuliŠrement ses trois neveux, fils du comte de Montorio, son frŠre/re.html">re.
Don Juan, l'aŒn‚, d‚j… mari‚, fut fait duc de Palliano. Ce duch‚, enlev‚ … Marc-Antoine Colonna, auquel il appartenait, comprenait un grand nombre de villages et de petites villes. Don Carlos, le second.html">second des neveux de Sa Saintet‚, ‚tait chevalier de Malte et avait fait la guerre; il fut cr‚‚ cardinal, l‚gat de Bologne et premier ministre. C'‚tait un homme plein de r‚solution; fidŠle aux traditions de sa famille, il osa ha‹r le roi le plus puissant du monde (Philippe II, roi d'Espagne et des Indes), et lui donna des preuves de sa haine. Quant au troisiŠme neveu du nouveau pape, don Antonio Carafa, comme il ‚tait mari‚, le pape le fit marquis de Montebello. Enfin, il entreprit de donner pour femme … Fran‡ois, Dauphin de France et fils du roi Henri II, une fille que son frŠre avait eue d'un second mariage; Paul IV pr‚tendait lui assigner pour dot le royaume de Naples, qu'on aurait enlev‚ … Philippe II, roi d'Espagne. La famille Carafa ha‹ssait ce roi puissant, lequel, aid‚ des fautes de cette famille, parvint … l'exterminer, comme vous le.
On
wordlookup.net
All is still licensed under the GNU FDL.
It uses material from the wikipedia.
