Base (topology) - Base For The Closed Sets

Base For The Closed Sets

Closed sets are equally adept at describing the topology of a space. There is, therefore, a dual notion of a base for the closed sets of a topological space. Given a topological space X, a base for the closed sets of X is a family of closed sets F such that any closed set A is an intersection of members of F.

Equivalently, a family of closed sets forms a base for the closed sets if for each closed set A and each point x not in A there exists an element of F containing A but not containing x.

It is easy to check that F is a base for the closed sets of X if and only if the family of complements of members of F is a base for the open sets of X.

Let F be a base for the closed sets of X. Then

  1. F = ∅
  2. For each F1 and F2 in F the union F1F2 is the intersection of some subfamily of F (i.e. for any x not in F1 or F2 there is an F3 in F containing F1F2 and not containing x).

Any collection of subsets of a set X satisfying these properties forms a base for the closed sets of a topology on X. The closed sets of this topology are precisely the intersections of members of F.

In some cases it is more convenient to use a base for the closed sets rather than the open ones. For example, a space is completely regular if and only if the zero sets form a base for the closed sets. Given any topological space X, the zero sets form the base for the closed sets of some topology on X. This topology will be finest completely regular topology on X coarser than the original one. In a similar vein, the Zariski topology on An is defined by taking the zero sets of polynomial functions as a base for the closed sets.

Read more about this topic:  Base (topology)

Famous quotes containing the words base, closed and/or sets:

    You see how this House of Commons has begun to verify all the ill prophecies that were made of it—low, vulgar, meddling with everything, assuming universal competency, and flattering every base passion—and sneering at everything noble refined and truly national. The direct tyranny will come on by and by, after it shall have gratified the multitude with the spoil and ruin of the old institutions of the land.
    Samuel Taylor Coleridge (1772–1834)

    Since time immemorial, one the dry earth, scraped to the bone, of this immeasurable country, a few men travelled ceaselessly, they owned nothing, but they served no one, free and wretched lords in a strange kingdom. Janine did not know why this idea filled her with a sadness so soft and so vast that she closed her eyes. She only knew that this kingdom, which had always been promised to her would never be her, never again, except at this moment.
    Albert Camus 1013–1960, French-Algerian novelist, dramatist, philosopher. Janine in Algeria, in The Fall, p. 27, Gallimard (9157)

    In the beautiful, man sets himself up as the standard of perfection; in select cases he worships himself in it.... Man believes that the world itself is filled with beauty—he forgets that it is he who has created it. He alone has bestowed beauty upon the world—alas! only a very human, an all too human, beauty.
    Friedrich Nietzsche (1844–1900)