Proposition: Properties of the Set of All Neighborhoods of a Point

Let $(X,\mathcal O)$ be a topological space, $A\in X$ be a point and $\mathcal N(A)$ be the set of all neighborhoods of $A.$ Then $\mathcal N(A)$ has the following properties:

  1. $\mathcal N(A)\neq \emptyset$ (it is not empty).
  2. $\emptyset\not\in\mathcal N(A)$ (the empty set is not a neighbourhood of $A$).
  3. $U,W\in\mathcal N(A)\Rightarrow U\cap W\in\mathcal N(A)$ (the intersection any two neighborhoods of $A$ is also a neighborhood of $A$).
  4. $U,W\in\mathcal N(A)\Rightarrow U\cap W\in\mathcal N(A)$ (the intersection any two neighborhoods of $A$ is also a neighborhood of $A$).

Proofs: 1

Axioms: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Grotemeyer, K.P.: "Topologie", B.I.-Wissenschaftsverlag, 1969