derivation of properties on interior operation
Let be a topological space and a subset of . Then
- 1.
.
Proof.
If , then for some open set . So .∎
- 2.
is open.
Proof.
Since is a union of open sets, is open.∎
- 3.
is the largest open set contained in .
Proof.
If is open set with , then , so .∎
- 4.
is open if and only if .
Proof.
If is open, then is the largest open set contained in , and so by property 3 above. On the other hand, if , then is open, since is, by property 2 above.∎
- 5.
.
Proof.
Since is open by property 2, by property 4.∎
- 6.
and .
Proof.
This is so because both and are open sets.∎
- 7.
.
Proof.
(LHS RHS). If , then for every closed set
such that . In particular, , for is the complement of an open set by property 2, and by taking the complement of property 1.
(RHS LHS). If , then . If is a closed set such that , then . Since is open, by property 3, so , and thus . Since is arbitrary, as desired.∎
- 8.
.
Proof.
Set , and apply property 7. So .∎
- 9.
implies that .
Proof.
This is so because is open (property 2), contained in (and therefore contained in ), so contained in , as is the largest open set contained in (property 3).∎
- 10.
, where is the boundary of .
Proof.
Recall that . So by property 7. By direct computation, we have . Since and , which is by property 2.∎
- 11.
.
Proof.
Again, by direct computation:
∎
- 12.
.
Proof.
By property 11, , which, by property 8, is , and the last expression is just .∎
- 13.
.
Proof.
(LHS RHS). Let . Since is open and contained in both and , is contained in both and , since and are the largest open sets in and respectively. (RHS LHS). Let . So is open and is a subset of both and , hence a subset of , and therefore a subset of , since it is the largest open set contained in .∎
Remark. Using property 7, we see that an alternative definition of interior can be given: