Topological neigborhoods that are not intervals in the real line?

  • #1
mcastillo356
Gold Member
603
331
TL;DR Summary
I have some clues, but not a definitive answer to the title question
Hi, PF

is a neighborhood of because there exists an open set such that ; in this case, it might be , which is an open set, for it is an open interval, and provided it satisfies



is not an interval since there are numbers in with real numbers between them that do not belong to , ie, but we see this fact:

It is some neigborhood because if is a topological space...

Formally we say topological space to the ordered pair formed by a set and a topology over , ie, a collection of subsets of that meet all three of the following properties:

1. The empty set and belong to .



2. The intersection of any finite subcollection of sets of is in .



3. The union of any subcollection of sets of is in .



Sets belonging to the topology are called open sets, or simply opens of .

If is a topological space and is a point belonging to , a neighborhood of is a set in which is contained an open set that has as its element the point .



Well, we are in the real line. Why it is not an interval?

An open interval, like , for example, is an open; therefore is a neighborhood of each of its points, not only of . This is used to say that is an interval but I don't think it works to justify it is a neighborhood. For example, let's say



then between the two extremes there is no missing number, that's why it's an interval: however, it is not a neghborhood of neither , since there is no that meets nor is there an open that satisfies .

is a neigborhood of since there is an open such that ; in this case, it might be , which is an open, since it is an open interval, and it also meets



Doubt:

is not an interval because there are reals in with numbers between them that do not belong to , for example, but we have ?

Greetings

Marcos
 
Last edited:
Physics news on Phys.org
  • #2
mcastillo356 said:
...
Post without preview, love and peace
We can tell. About the rest of the post the answer is yes.
 
  • Love
Likes mcastillo356
  • #3
Neighborhoods around a point are usually considered to be open. So we need an open set that contains . An open set of the real line with the standard Euclidean topology is a union of open sets We may consider only those sets which contain since the others are not what we call a neighborhood. The union of open sets that all contain a common point is an open interval.

Open neighborhoods are also commonly regarded as being small to make sense of the word local. E.g. a linear approximation by a derivative is only an approximation around and not far away. is open and contains but we wouldn't call it a neighborhood, only an open set. Continuity, differentiability, and Taylor series are all local phenomena.
 
  • #4
fresh_42 said:
Neighborhoods around a point are usually considered to be open.
But he said what definition he uses, and it doesn't assume that a neighborhood is open.
 
  • #5
martinbn said:
But he said what definition he uses, and it doesn't assume that a neighborhood is open.
Yes, but this is not how it is used. It would make a neighborhood of which doesn't make much sense.

I primarily wrote my answer to avoid confusion among all readers that are neither you and me, nor the OP.
 
  • #6
fresh_42 said:
Yes, but this is not how it is used. It would make a neighborhood of which doesn't make much sense.
Only if it is open. His preferred definitions says that a neighborhood is a set containing an open sets, which contains the point.
 
  • #7
martinbn said:
Only if it is open. His preferred definitions says that a neighborhood is a set containing an open sets, which contains the point.
In which case you wouldn't need the deviation of arbitrary sets. One could as well directly refer to the open interval. Not open neighborhoods are possible but senseless.
 
  • #8
fresh_42 said:
In which case you wouldn't need the deviation of arbitrary sets. One could as well directly refer to the open interval. Not open neighborhoods are possible but senseless.
It doesn't matter. His question is about neighborhoods in the sense he uses. It is not about what is the best definition.
 
  • #9
martinbn said:
It doesn't matter. His question is about neighborhoods in the sense he uses. It is not about what is the best definition.
I wanted to avoid confusion among third-party readers, especially as post #1 is very hard to read with all the missing LaTeX tags and syntax errors. I did this because you already addressed and answered his question and he acknowledged it. That's why I used the word usually so often. My answer was supposed to be additional, not alternative information.

The important term of locality in calculus requires open sets. Closed boundaries are the exception and usually require a specific treatment.
 
  • #10
martinbn said:
Only if it is open. His preferred definitions says that a neighborhood is a set containing an open sets, which contains the point.
There may be a Topology in which these sets are open. Certainly not the standard one, though.
 
  • #11
WWGD said:
There may be a Topology in which these sets are open. Certainly not the standard one, though.
Definitely, for example the topology where all subsets are open.
 
  • #12
martinbn said:
Definitely, for example the topology where all subsets are open.
I believe if such sets are seen as a basis, there's a minimal topology where they're open, but I don't think it's the Discrete one.
 
  • #13
Hi, PF

Thanks for all the answers. I've posted a question that's hard for me, ie, topology, which I fear a lot. I will answer as soon as possible, and probably the answer will consist in more questions. There goes the first question:

martinbn said:
But he said what definition he uses, and it doesn't assume that a neighborhood is open.

The concept of neighborhood in Topology is tightly related with the idea of "open". A neighborhood of a point is any set containing an open to which belongs the point.

Neighborhoods that are not intervals can be found in the real line:

is a neighborhood of because there exists an open such that ; in this case it might be
, which is an open, since it is an open interval, and eventually meets .
It is not an interval due to the infinite numbers in that do not belong to , for example, , but we have

Marcos
 
  • #14
mcastillo356 said:
It is not an interval due to the infinite numbers in that do not belong to ,
This is a contradictory statement (the post #13).

mcastillo356 said:
is not an interval because there are reals in with numbers between them that do not belong to , for example, but we have ?
This is a correct statement (the post #1). One more thing, you have to change into .
From your statement in the post #1 it is obvious that there are some points between and , which are not included into . In other words, there is “a gap” between and . By definition, can not be an interval.
 
  • Like
Likes mcastillo356
  • #15
Hi, dear PF, @Gavran, brilliant your post, but I've decided not to quote yours, and get with some textbook on Topology. I won't either ask the Forum for suggestions about any required reading. I confess I've been talking in my posts this thread like a parrot that copies answers from a Spanish maths forum, ie, without nearly a bit of understanding. My next step will be to turn to the original source. Paradoxically, I will ask Rincón Matemático for English written reference book.:rolleyes:

The contains will have to include topology of the real line.

I've tried hard not to ramble, but take this post as a draft, although I'm going to publish it. The reason is that from this moment I start from void, I mean, from zero. The target is the only thing I know right now: introduction to topology.

Hope this is all understandable. If it is not, I beg for questions, or whatever.

:heart:

Marcos, at 21/01, 2 am
 
  • Like
Likes Gavran
  • #16
mcastillo356 said:
Hi, dear PF, @Gavran, brilliant your post, but I've decided not to quote yours, and get with some textbook on Topology. I won't either ask the Forum for suggestions about any required reading. I confess I've been talking in my posts this thread like a parrot that copies answers from a Spanish maths forum, ie, without nearly a bit of understanding. My next step will be to turn to the original source. Paradoxically, I will ask Rincón Matemático for English written reference book.:rolleyes:

The contains will have to include topology of the real line.

I've tried hard not to ramble, but take this post as a draft, although I'm going to publish it. The reason is that from this moment I start from void, I mean, from zero. The target is the only thing I know right now: introduction to topology.

Hope this is all understandable. If it is not, I beg for questions, or whatever.

:heart:

Marcos, at 21/01, 2 am
Make sure el Runcon Matemático is an open set !!.
 
  • Haha
  • Like
Likes Gavran and mcastillo356

Similar threads

Replies
5
Views
1K
Replies
8
Views
932
Replies
2
Views
2K
Replies
2
Views
2K
Replies
12
Views
3K
Replies
25
Views
4K
Replies
2
Views
2K
Back
Top