What is "open set"

n. 1 (context topology English) Informally, a set such that the target point of a movement by a small amount in any direction from any point in the set is still in the set; exemplified by a full circle without its boundary. 2 (context topology analysis restricted to metric spaces English) A set which can be described as an (arbitrary) union of open balls. Equivalently, a set such that for every point in it, there is an open ball centered at that point, such that that open ball is contained by the set. 3 (context topology English) Most generally, a member of the topology of a given topological space.

In topology, an open set is an abstract concept generalizing the idea of an open interval in the real line. The simplest example is in metric spaces, where open sets can be defined as those sets which contain an open ball around each of their points (or, equivalently, a set is open if it doesn't contain any of its boundary points); however, an open set, in general, can be very abstract: any collection of sets can be called open, as long as the union of an arbitrary number of open sets is open, the intersection of a finite number of open sets is open, and the space itself is open. These conditions are very loose, and they allow enormous flexibility in the choice of open sets. In the two extremes, every set can be open (called the discrete topology), or no set can be open but the space itself and the empty set (the indiscrete topology).

In practice, however, open sets are usually chosen to be similar to the open intervals of the real line. The notion of an open set provides a fundamental way to speak of nearness of points in a topological space, without explicitly having a concept of distance defined. Once a choice of open sets is made, the properties of continuity, connectedness, and compactness, which use notions of nearness, can be defined using these open sets.

Each choice of open sets for a space is called a topology. Although open sets and the topologies that they comprise are of central importance in point-set topology, they are also used as an organizational tool in other important branches of mathematics. Examples of topologies include the Zariski topology in algebraic geometry that reflects the algebraic nature of varieties, and the topology on a differential manifold in differential topology where each point within the space is contained in an open set that is homeomorphic to an open ball in a finite-dimensional Euclidean space.