Complete regularity is hereditary
This article gives the statement, and possibly proof, of a topological space property satisfying a topological space metaproperty
View all topological space metaproperty satisfactions | View all topological space metaproperty dissatisfactions
|
Property "Page" (as page type) with input value "{{{property}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.Property "Page" (as page type) with input value "{{{metaproperty}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.
This article gives the statement, and possibly proof, of a basic fact in topology.
Statement
Property-theoretic statement
The property of topological spaces of being completely regular is a hereditary property of topological spaces.
Verbal statement
Any subset of a completely regular space is completely regular in the subspace topology.
Definitions used
Completely regular space
Further information: completely regular space
Subspace topology
Further information: subspace topology
Proof
Proof outline
- Pick a point and a closed subset of the subspace
- Find a closed subset of the whole space, whose intersection with the subspace is the given subset
- Find a continuous function separating the point, and the bigger closed subset, in the whole space
- Restrict this continuous function to the subspace, and observe that this works