In mathematics, more specifically in point-set topology, the derived set of a subset of a topological space is the set of all limit points of It is usually denoted by
The concept was first introduced by Georg Cantor in 1872 and he developed set theory in large part to study derived sets on the real line.
The derived set of a subset of a topological space denoted by is the set of all points that are limit points of that is, points such that every neighbourhood of contains a point of other than itself.
If is endowed with its usual Euclidean topology then the derived set of the half-open interval is the closed interval
Consider with the topology (open sets) consisting of the empty set and any subset of that contains 1. The derived set of is
If and are subsets of the topological space then the derived set has the following properties:
implies
implies
A subset of a topological space is closed precisely when that is, when contains all its limit points. For any subset the set is closed and is the closure of (that is, the set ).
The derived set of a subset of a space need not be closed in general. For example, if with the trivial topology, the set has derived set which is not closed in But the derived set of a closed set is always closed.
In addition, if is a T1 space, the derived set of every subset of is closed in
Two subsets and are separated precisely when they are disjoint and each is disjoint from the other's derived set
A bijection between two topological spaces is a homeomorphism if and only if the derived set of the image (in the second space) of any subset of the first space is the image of the derived set of that subset.
A space is a T1 space if every subset consisting of a single point is closed. In a T1 space, the derived set of a set consisting of a single element is empty (Example 2 above is not a T1 space). It follows that in T1 spaces, the derived set of any finite set is empty and furthermore,
for any subset and any point of the space. In other words, the derived set is not changed by adding to or removing from the given set a finite number of points.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Learn the basis of Lebesgue integration and Fourier analysis
Related publications (1)
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, nth, etc.) aimed to extend enumeration to infinite sets. A finite set can be enumerated by successively labeling each element with the least natural number that has not been previously used. To extend this process to various infinite sets, ordinal numbers are defined more generally as linearly ordered labels that include the natural numbers and have the property that every set of ordinals has a least element (this is needed for giving a meaning to "the least unused element").
In general topology, a subset of a topological space is perfect if it is closed and has no isolated points. Equivalently: the set is perfect if , where denotes the set of all limit points of , also known as the derived set of . In a perfect set, every point can be approximated arbitrarily well by other points from the set: given any point of and any neighborhood of the point, there is another point of that lies within the neighborhood. Furthermore, any point of the space that can be so approximated by points of belongs to .
In mathematics, a point x is called an isolated point of a subset S (in a topological space X) if x is an element of S and there exists a neighborhood of x that does not contain any other points of S. This is equivalent to saying that the singleton {x} is an open set in the topological space S (considered as a subspace of X). Another equivalent formulation is: an element x of S is an isolated point of S if and only if it is not a limit point of S.
In this paper we propose a reduced basis hybrid method (RBHM) for the approximation of partial differential equations in domains represented by complex networks where topological features are recurrent. The RBHM is applied to Stokes equations in domains wh ...