Open set

From Citizendium
Revision as of 15:43, 24 September 2007 by imported>Hendra I. Nurdin (Link to compact set)
Jump to navigation Jump to search

In mathematics, an open set can be informally described as a set that does not contain its boundary. Simplest examples include real intervals without endpoints (commonly referred to as open intervals), solid disks without the edge or balls without the surface. According to a more precise definition, a set is said to be open if any of its points has a small neighbourhood that is still contained in the set. In many situations this description is pretty accurate and easily translates into mathematical symbols.

The general concept of open sets is, however, more abstract and does not involve notions of point or boundary (actually, it is the boundary that is defined in terms of open sets, and not the other way round as suggested by the intuition). The general definition is global in the sense that one introduces the whole family of open sets "at once". Furthermore, this is done in the axiomatic way, by enumerating properties of an object called 'open set'. For this approach see topological space.

See also

Closed set

Compact set

Topology