Intuition
A set is called open when none of its points is on the edge: around every one of them there is a ball, however small, that the set contains entirely.
A country is open in this sense if from anywhere inside it you can walk some distance in every direction without ever crossing the border.
Open sets
A subset of a metric space is open when every point of it has some ball around it lying entirely inside . The radius is allowed to depend on the point, and usually must. Being open is a property of the set together with the metric, not of the set on its own: the same collection of points can be open under one distance rule and not under another.
First examples
- The empty set is open: it has no point at which the condition could fail.
- The whole space is open: every ball lies inside it, whatever the radius.
- On the real line is open, and is not: no ball around 0 stays inside.
- The radius generally has to shrink near the edge, which is why it is chosen per point.
A set is open when every one of its points has room: around there is a ball, however small, still inside . No point of an open set is on its own edge, which is why both rings here are dashed.
An open ball is an open set
The name would be badly chosen if this failed. Take any point of the ball; the previous lesson already found a smaller ball around it lying inside. That is exactly what the definition of open asks for at that point, and the point was arbitrary.
Proof steps
Take any point of the ball. The condition has to be checked at each one, so nothing may be assumed about which.
The point is strictly nearer the centre than the radius, so the leftover room is positive.
This is the theorem of the previous lesson, proved there by the triangle inequality.
A ball inside was produced around an arbitrary point, which is the definition of open.
Applications
Practice
Check every point
contains 0, but every holds negative numbers
Those numbers are outside , so no ball around 0 fits.
Try it
Which subset of the real line is open?
One radius per point
in , the point needs
While the point has room for .
Try it
Must one radius work for every point of an open set?
Nothing to check
The requirement never comes up, because nothing is in the set.
Try it
Is the empty set open?
Open depends on the distance
with for ,
So a single point contains a ball, and every set is open.
Try it
On a set with the metric giving 1 to every pair of different points, which subsets are open?
Try it
Is open in the real line with ?