Difference between revisions of "Neighbourhood"
(Created page with "==Definition== There are 2 common definitions of neighbourhood, however what is true for one is usually true of the other too, which is why this hasn't caused a problem (to my...") |
m |
||
| Line 4: | Line 4: | ||
In both cases we assume that {{M|(X,\mathcal{J})}} is a [[topological space]], and {{M|x\in X}} is an arbitrary point. | In both cases we assume that {{M|(X,\mathcal{J})}} is a [[topological space]], and {{M|x\in X}} is an arbitrary point. | ||
===Definition 1=== | ===Definition 1=== | ||
| − | A set, {{M|N}} is a ''neighbourhood'' of {{M|x}} if<ref name="KMAPI">Krysztof Maurin - Analysis - Part 1: Elements</ref>: | + | A set, {{M|N}} is a ''neighbourhood'' of {{M|x}} if<ref name="KMAPI">Krysztof Maurin - Analysis - Part 1: Elements</ref><ref name="BMITT">Introduction to topology - Third Edition - Mendelson</ref>: |
* {{M|\exists\mathcal{O}\in\mathcal{J}[x\in\mathcal{O}\subseteq N]}} | * {{M|\exists\mathcal{O}\in\mathcal{J}[x\in\mathcal{O}\subseteq N]}} | ||
That is to say: | That is to say: | ||
| Line 29: | Line 29: | ||
|- | |- | ||
| | | | ||
| + | * Bert Mendelson<ref name="BMITT"/> | ||
* Krzysztof Maurin<ref name="KMAPI"/> | * Krzysztof Maurin<ref name="KMAPI"/> | ||
| | | | ||
| Line 35: | Line 36: | ||
|- | |- | ||
| | | | ||
| − | |||
| | | | ||
* James R. Munkres | * James R. Munkres | ||
Revision as of 15:07, 24 November 2015
Contents
Definition
There are 2 common definitions of neighbourhood, however what is true for one is usually true of the other too, which is why this hasn't caused a problem (to my knowledge) - both definitions however are common, there is no (obvious) majority.
In both cases we assume that [ilmath](X,\mathcal{J})[/ilmath] is a topological space, and [ilmath]x\in X[/ilmath] is an arbitrary point.
Definition 1
A set, [ilmath]N[/ilmath] is a neighbourhood of [ilmath]x[/ilmath] if[1][2]:
- [ilmath]\exists\mathcal{O}\in\mathcal{J}[x\in\mathcal{O}\subseteq N][/ilmath]
That is to say:
- [ilmath]N[/ilmath] is a neighbourhood of [ilmath]x[/ilmath] if there is an open set entirely contained in [ilmath]N[/ilmath] where [ilmath]x[/ilmath] is that open set.
Definition 2
A set, [ilmath]N[/ilmath] is a neighbourhood of [ilmath]x[/ilmath] if:
- [ilmath]N\in\mathcal{J} [/ilmath] and [ilmath]x\in N[/ilmath]
That is to say:
- [ilmath]N[/ilmath] is a neighbourhood of [ilmath]x[/ilmath] if it is an open set containing [ilmath]x[/ilmath]
TODO: I believe that Munkres uses this definition, but I will check before listing that as a reference
Alec's recommendation
We already have a word for definition 2, it is "open set containing [ilmath]x[/ilmath]", whenever we talk about "[ilmath]x\in N[/ilmath]" using voice, or text, we need only add the word open to convey definition 2.
As all open sets are neighbourhoods to all of their points (as they are an open set [ilmath]\subseteq[/ilmath] themselves) nothing is lost by using the first definition, and we can use the term to describe sets that may not be open, but contain open sets. Which is useful.
As such I come down firmly on the side of definition 1. There is no point to making neighbourhood a synonym to open set.
Author list for each definition
| Definition 1 | Definition 2 |
|---|---|
| To confirm: | |
| |
