The Basis of Topology

The basis of topology refers to a collection B of open sets such that every open set in the topological space T can be represented as a union of sets from the basis B.

When you have a set X and a collection T of subsets of X that define a topology on X, the basis of the topology T is a collection B of sets, called basic elements, which satisfy the following conditions:

• Every element x in the set X must belong to at least one set contained in B.
• For any element x in set X that lies in the non-empty intersection B₁∩B₂ of a pair of sets belonging to B, there must be a set B₃ within the intersection that contains x. In other words, the element x is a basic element.
  

These conditions ensure that the collection of sets B forms a basis for the topology T.

Why is this important?

The basis of topology allows us to construct the topology T through the union of basic elements, without the need to enumerate every single set in the collection T.

Note. The property regarding the intersections of basic elements ensures that the topology satisfies fundamental axioms, including the condition that the intersection of two open sets is open.

A Practical Example

Let's consider the set X

$$ \{a, b, c \} $$

and the topology T

$$ T = \{ \emptyset, \{ a \}, \{ b,c \}, \{ a,b,c \} \} $$

In this case, T represents all the open sets in X, and each element of T is an open set by definition.

A basis B for this topology could be as follows:

$$ B = \{ \{ a \} ,\{ b,c \} \} $$

This basis satisfies all necessary conditions since every element of X={a,b,c} is included in a subset of B and there are no intersections.

Note that every open set in T can be expressed as a union of sets in B.

For example, the set {a} is already in B, the set {b,c} is also in B, and the entire space X can be obtained by uniting {a} and {b,c}.

$$ \{ a \} \in B $$

$$ \{ b,c \} \in B $$

$$ \{ a,b,c \} = \{ a \} \cup \{ b,c \} $$

Note. In set theory, the empty set  Ø  is an improper subset of any set and is always included by definition. Thus, it is also present in B. $$ \emptyset \in B $$ Moreover, the empty set is an open set by definition in a topology.

This example illustrates the concept of an open set in a finite context.

In more complex or infinite contexts, the definition of a basis and its application can become more sophisticated, but the underlying idea remains the same: a basis provides the "building blocks" for all open sets in the topological space.

Another Approach

An alternative basis B for the topology on the set X={a,b,c} could be:

$$ B = \{ \{ a \} ,\{ b \}, \{ c \} \} $$

In this case, the basis consists of the singleton sets of elements of X.

This verifies that B indeed forms a basis for the topology T={ Ø,X,{a},{b,c}}

• The empty set Ø is an open set by definition and does not require elements to be constructed. It's also an improper subset of any set and is always included.
• The set {a} is already in B. $$ \{ a \} \in B $$
• The set {b,c} can be obtained from the union of {b} and {c}, both present in B. $$ \{ b,c \} = \{ b \} \cup \{ c \} $$
• The entire set X={a,b,c} can be obtained by uniting all sets in B, namely {a}, {b}, and {c}. $$ \{ a,b,c \} = \{ a \} \cup \{ b \} \cup \{ c \} $$

Thus, B serves as a basis for the topology on X because it allows us to construct all open sets in T through unions of sets in B.

Note. This example shows how different bases can exist for the same topology, each providing a different way to "generate" the open sets of the topology through unions of basic sets.

Example 2

The set comprising all real intervals (a,b) where a<b spans the entirety of the line.

$$ B=\{ \ (a,b) ⊂ \ R \ | \ a < b \ \} $$

This set serves as a basis because every point on the line can be found within an open interval (a,b).

Moreover, if two open intervals intersect, the point lying at the intersection is included in another set of B within that intersection.

For instance, considering two open intervals (0, 3) and (2, 4), their intersection is the open interval (2,3).

The interval (2,3) in turn represents another set B_i within the basis B and is located within the intersection. $$ (0,3) \cap (2,4) = (2,3) ∈  B_i ⊂ (0,3) \cap (2,4) ⊂ B $$

Observations

Some additional observations on the basis of a topology

• If we consider a set X and construct a basis B in which every element x∈X is a set {x}∈B in the bases, we can form the basis of any topology T on the set X.

  Generally, the union of singletons allows us to derive any topology.
  
  For example, the basis B={ {a}, {b}, {c} } for the set X={a,b,c} generates the topology T={Ø,{a},{b,c},X}
  
  The same basis B can generate any other topology on X like the topology T={Ø,{b},{a,c},X}, the trivial topology T={Ø, X}, or the discrete topology T={Ø,{a},{b},{c},{a,b},{a,c},{b,c},X}, etc.

  Note. The first condition is met because every element of X is found in a set of B. The second condition is also met because the sets {x} are disjoint by construction, each being composed of a single element from the set X.

And so on.