Isolated point
Builds on Topological spaceOpen set
Definition
Let be a topological space, let and let . The point is an isolated point of when there is an open set of with .
Remarks
Each point of is either an isolated point of or a limit point of , and not both. In , each point of is an isolated point of : take . A point is an isolated point of itself if and only if is open.
Reading path
To understand this page from the ground up, read these 27 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Element definition
- Proposition concept
- Real numbers object
- Set definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Topological space definition
- Function definition
- Metric space definition
- Open ball definition
- Metric topology definition
- Open set definition
- Isolated point definition
Where this leads
1 page builds on this one.
Further reading
- Web https://en.wikipedia.org/wiki/Isolated_point, lead section
About this page
| Tag | 01PKQYTTMT |
|---|---|
| URI | m2://01PKQYTTMT |
| Kind | definition |
| Writing | W1 stated |
| MSC | 54A05 |
| Defines | Isolated point |
| Uses | Topological space, Open set |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.