Open set: Difference between revisions
imported>Subpagination Bot m (Add {{subpages}} and remove any categories (details)) |
imported>John Dvorak (moving related articles) |
||
Line 4: | Line 4: | ||
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]]. | 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]]. | ||
Revision as of 18:16, 24 March 2008
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.