TOPICS
Search

Subbasis


A collection of subsets of a topological space that is contained in a basis of the topology and can be completed to a basis when adding all finite intersections of the subsets.

A subbasis for the Euclidean topology of the real line is formed by all intervals (a,+infty) and (-infty,a): in fact a basis is formed by the open intervals (a,b)=(a,+infty) intersection (-infty,b).

A subbasis for the discrete topology of the real line is formed by all subsets of X having a given number n>0 of elements, since every singleton set {x} can be obtained as the intersection of the sets {x,x+1,...,x+n-1} and {x-n+1,x-n+2,...,x}.

A subbasis for the Zariski topology of the affine space R^n is formed by the complement sets of all irreducible affine varieties. This follows applying de Morgan's laws when considering that the open sets are the complement sets of the affine varieties, and each of these is the union of a finite number of irreducible varieties.


This entry contributed by Margherita Barile

Explore with Wolfram|Alpha

Cite this as:

Barile, Margherita. "Subbasis." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/Subbasis.html

Subject classifications