Get Derived Set Mathematics essential facts below. View Videos or join the Derived Set Mathematics discussion. Add Derived Set Mathematics to your PopFlock.com topic list for future reference or share this resource on social media.
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:
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 (i.e. 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. (Proof: Assuming is a closed subset of which shows that take the derived set on both sides to get i.e., is closed in ) 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 (though the derived sets don't need to be disjoint from each other). This condition is often, using closures, written as
and is known as the Hausdorff-Lennes Separation Condition.
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. It can also be shown that in a T1 space, for any subset 
The Cantor-Bendixson theorem states that any Polish space can be written as the union of a countable set and a perfect set. Because any G? subset of a Polish space is again a Polish space, the theorem also shows that any G? subset of a Polish space is the union of a countable set and a set that is perfect with respect to the induced topology.
Topology in terms of derived sets
Because homeomorphisms can be described entirely in terms of derived sets, derived sets have been used as the primitive notion in topology. A set of points can be equipped with an operator mapping subsets of to subsets of such that for any set and any point :
Calling a set closed if will define a topology on the space in which is the derived set operator, that is,