How to define an open set using the four axioms of a neighborhood

  • #1
learning physics
2
0
TL;DR Summary
How do I use the four axioms of a neighborhood to define an open set?
I am struggling to define an open set using the four axioms of a topological neighborhood, as per the Wikipedia article "Topological spaces."

An open set on a real number line is a set of points that contains only interior points, meaning that there is always room for some hypothetical particle to move either side of each point. Let's call this "the intuitive definition" of an open set.

An open set is defined as a neighborhood of all of its points, but I don't see how that would connect to the intuitive definition.

If a set of points is a neighborhood of all of its points, which we'll call The Large Neighborhood, it means that each point is contained in a neighborhood even smaller than The Large Neighborhood, which we'll call "small neighborhoods." Each point in The Large Neighborhood must also be contained in a neighborhood even smaller than the small neighborhoods, and so on. So, each point in The Large Neighborhood is buried underneath an infinite number of neighborhoods that are smaller than The Large Neighborhood. Still don't see how this connects to the intuitive definition.

Anyone care to help?
 
Physics news on Phys.org
  • #2
You could try this guy's YouTube series:

 
  • #3
learning physics said:
TL;DR Summary: How do I use the four axioms of a neighborhood to define an open set?

I am struggling to define an open set using the four axioms of a topological neighborhood, as per the Wikipedia article "Topological spaces."

An open set on a real number line is a set of points that contains only interior points, meaning that there is always room for some hypothetical particle to move either side of each point. Let's call this "the intuitive definition" of an open set.

State this formally: [itex]U \subset \mathbb{R}[/itex] is open if and only if for each [itex]x \in U[/itex] there exists [itex]\delta > 0[/itex] such that [itex](x - \delta , x + \delta) \subset U[/itex]. (You can move up to [itex]\delta[/itex] away from [itex]x[/itex] in either direction without leaving [itex]U[/itex].)

An open set is defined as a neighborhood of all of its points, but I don't see how that would connect to the intuitive definition.

[itex](x - \delta, x + \delta)[/itex] is a neighbourhood of [itex]x[/itex].
 

Similar threads

Replies
2
Views
251
Replies
2
Views
1K
Replies
12
Views
2K
Replies
14
Views
1K
  • Topology and Analysis
Replies
12
Views
2K
  • Topology and Analysis
Replies
19
Views
3K
  • Topology and Analysis
Replies
17
Views
2K
  • Topology and Analysis
Replies
8
Views
1K
  • Topology and Analysis
Replies
2
Views
1K
  • Topology and Analysis
Replies
2
Views
1K
Back
Top