How do I use the four axioms of a neighborhood to define an open set?

In summary, to use the four axioms of a neighborhood to define an open set, one must first understand that an open set in a topological space is characterized by the existence of neighborhoods around each of its points. The four axioms include: 1) every point in the set must have a neighborhood contained entirely within the set; 2) the union of any collection of neighborhoods is also a neighborhood; 3) the intersection of a finite number of neighborhoods is a neighborhood; and 4) the empty set and the entire space are considered neighborhoods. By applying these axioms, one can establish that a set is open if every point has a neighborhood that lies within the set itself, thereby fulfilling the criteria for open sets in topology.
  • #1
learning physics
2
0
TL;DR Summary
How do I use the four axioms of a neighborhood to define an open set?
How do I define an open set using only the four axioms of topological neighborhoods, as per the Wikipedia article on topological spaces?

The intuitive definition of an open set is that it's a set of points on a real number line containing only points at which there is room for some hypothetical point-sized particle to move on either side.

I can see that an open set is defined as a neighborhood of all of its points, but how does this fit with the intuitive definition?

Suppose that we call a set of points that acts as a neighborhood of all of its points "The Big Neighborhood." Each point in The Big Neighborhood is contained in a neighborhood that is contained in The Big Neighborhood, which we'll call "smaller neighbrohoods." Each point in The Big Neighborhood is contained in a neighborhood that is contained in a smaller neighborhood. And so on.

So, I can see that each point in a neighborhood of all of its points is buried inside an infinite nest of smaller and smaller sets. But I don't see how this fits with the intuitive definition. Can anyone help?
 
Physics news on Phys.org
  • #2
You better include a link to the reference that defines the four axioms you are talking about. I can't find what you are talking about in Wikipedia.
 

FAQ: How do I use the four axioms of a neighborhood to define an open set?

What are the four axioms of a neighborhood?

The four axioms of a neighborhood typically refer to the properties that define a neighborhood system in topology. These axioms are: 1) The empty set and the whole space are neighborhoods. 2) Any neighborhood contains a neighborhood of each of its points. 3) The intersection of any two neighborhoods is also a neighborhood. 4) The union of any collection of neighborhoods is a neighborhood. These axioms help to establish the foundational properties of open sets in a topological space.

How do I use these axioms to define an open set?

An open set can be defined using the neighborhood axioms by stating that a set is open if, for every point in the set, there exists a neighborhood of that point which is entirely contained within the set. This means that for any point in the open set, you can find a "buffer zone" around it that does not extend outside the set, thus satisfying the neighborhood criteria.

Can you give an example of an open set using these axioms?

Consider the open interval (a, b) in the real numbers. For any point x in this interval, we can find a small ε > 0 such that the neighborhood N(x, ε) = (x - ε, x + ε) is fully contained within (a, b). This satisfies the definition of an open set according to the neighborhood axioms, as every point has a neighborhood that lies entirely within the set.

What is the significance of open sets in topology?

Open sets are fundamental in topology because they help to define continuity, convergence, and the structure of topological spaces. They are used to create the topology on a space, allowing for the exploration of properties such as compactness, connectedness, and separation. Understanding open sets is crucial for studying more advanced concepts in analysis and topology.

Are there different types of open sets in various topological spaces?

Yes, the concept of open sets can vary depending on the topology defined on a space. For instance, in the standard topology on the real numbers, open intervals are open sets. However, in the discrete topology, every subset is considered open. The specific definition of open sets is determined by the topology chosen, which can lead to different properties and structures in different spaces.

Similar threads

I How to define an open set using the four axioms of a neighborhood
Replies
2
Views
1K
I On two definitions of locally compact
Replies
5
Views
1K
I Why is [0,1] compact in the case of a collection of open neighborhoods?
Replies
9
Views
4K
MHB Carothers' Definitions: Neighborhoods, Open Sets, and Open Balls
Replies
2
Views
2K
I Defining Neighborhoods in Topology: Inclusion vs. Containment
Replies
12
Views
2K
A Regarding fibrations between smooth manifolds
Replies
1
Views
2K
Understanding the Open Set: Definition & Examples
Replies
19
Views
3K
I Local Basis in Topology .... Definitions by Croom and Singh .... ....
Replies
14
Views
2K
I Can a Topological Space be Both a 1-Manifold and an n-Manifold?
Replies
17
Views
3K
I Is it possible to prove that the circle is a manifold using open spheres?
Replies
29
Views
6K

Hot Threads

Recent Insights

Back
Top