Standard topology is coarser than lower limit topology?

In summary: That was what I first thought, too, but it is wrong. We have a description of any open set, not only basis: read the qualifiers! Open is, what contains an open (half-open) interval of all of its elements. This already covers infinite unions.
  • #1
patric44
296
39
Homework Statement
Standard topology is coarser than lower limit topology?
Relevant Equations
T={u subset R: for all x in u exists d>0 s.t. (x-d,x+d) subset u}
Hello everyone,
Our topology professor have introduced the standard topology of ##\mathbb{R}## as:
$$\tau=\left\{u\subset\mathbb{R}:\forall x\in u\exists\delta>0\ s.t.\ \left(x-\delta,x+\delta\right)\subset u\right\},$$
and the lower limit topology as:
$$\tau_{1}=\left\{u\subset\mathbb{R}:\forall x\in u\exists\delta>0\ s.t.\ \left[x,x+\delta\right)\subset u\right\}.$$
He asked for the relation between the two topologies. It is easy to show that ##\tau_{1}## is coarser than ##\tau## according to this definition:
$$\left(x-\delta,x+\delta\right)\subset \left[x,x+\delta\right)\subset v,$$
for ##v## in ##\tau_{1}##. But that is not true in all topology references that I read. According to their definition (the collection of all open intervals in the real line forms a standard topology) the standard topology is coarser than lower limit topology.
Will appreciate any help, thanks.
 
Physics news on Phys.org
  • #2
patric44 said:
Homework Statement:: Standard topology is coarser than lower limit topology?
Relevant Equations:: T={u subset R: for all x in u exists d>0 s.t. (x-d,x+d) subset u}

Hello everyone,
Our topology professor have introduced the standard topology of ##\mathbb{R}## as
$$\tau=\left\{u\subset\mathbb{R}:\forall x\in u\exists\delta>0\ s.t.\ \left(x-\delta,x+\delta\right)\subset u\right\},$$
and the lower limit topology as
$$\tau_{1}=\left\{u\subset\mathbb{R}:\forall x\in u\exists\delta>0\ s.t.\ \left[x,x+\delta\right)\subset u\right\}.$$
He asked for the relation between the two topologies. It is easy to show that ##\tau_{1}## is coarser than ##\tau## according to this definition:
$$\left(x-\delta,x+\delta\right)\subset \left[x,x+\delta\right)\subset v$$
$$\left(x-\delta,x+\delta\right)\supset \left[x,x+\delta\right)$$
patric44 said:
for ##v## in ##\tau_{1}##. But that is not true in all topology references that I read. According to their definition (the collection of all open intervals in the real line forms a standard topology) the standard topology is coarser than lower limit topology.
Will appreciate any help, thanks.
 
  • Like
  • Informative
Likes WWGD, patric44 and Orodruin
  • #3
Thanks for your response. But this still not clear for me, I wish there is a rigorous approach for your statement. Suppose that ##\delta=1##, we have
$$[x,x+1)\subset(x-1,x+1).$$
I'm not sure that this is still true.
 
  • #4
Every open set in the standard topology ##\tau## is an open set in the lower limit topology ##\tau_1,## i.e. ##\tau \subseteq \tau_1,## i.e. ##\tau## is coarser than ##\tau_1.##
 
  • Like
Likes patric44
  • #5
fresh_42 said:
Every open set in the standard topology ##\tau## is an open set in the lower limit topology ##\tau_1,## i.e. ##\tau \subseteq \tau_1,## i.e. ##\tau## is coarser than ##\tau_1.##
Actually I'm looking for a proof for this statement according to the given definition.
patric44 said:
According to their definition (the collection of all open intervals in the real line forms a standard topology) the standard topology is coarser than lower limit topology.
 
  • #6
Let ##x\in U\in \tau.## Then ##[x,x+\delta)\subseteq (x-\delta,x+\delta) \subseteq U## for some ##\delta > 0.## However, this is the definition of an open set in ##\tau_1.## Hence ##\tau \subseteq \tau_1## and ##|\tau| \leq |\tau_1|, ## which means ##\tau ## is coarser as it has fewer open sets.
 
  • Informative
Likes patric44
  • #7
patric44 said:
Actually I'm looking for a proof for this statement according to the given definition.
Start with an arbitrary open interval ##(x-\gamma, x+\gamma) \in \tau##. Using the fact that the union of infinitely many open sets is open, can you show that this interval is open in the lower limit topology?
 
  • Informative
Likes patric44
  • #8
FactChecker said:
Start with an arbitrary open interval ##(x-\gamma, x+\gamma) \in \tau##. Using the fact that the union of infinitely many open sets is open, can you show that this interval is open in the lower limit topology?
This isn't even necessary here as we have given an explicit description of all open sets in both topologies.
 
  • Like
Likes FactChecker and PeroK
  • #9
patric44 said:
Thanks for your response. But this still not clear for me, I wish there is a rigorous approach for your statement. Suppose that ##\delta=1##, we have
$$[x,x+1)\subset(x-1,x+1).$$
I'm not sure that this is still true.
I suspect you may have misunderstood something quite fundamental about the notation employed here.
 
  • Informative
Likes patric44
  • #10
patric44 said:
Thanks for your response. But this still not clear for me, I wish there is a rigorous approach for your statement. Suppose that ##\delta=1##, we have
$$[x,x+1)\subset(x-1,x+1).$$
I'm not sure that this is still true.
PS if we take ##x = 0##, then the sets are ##[0, 1)## and ##(-1, 1)## and if you don't see that the former is a subset of the latter, then you have not understood the notation.
 
  • Informative
Likes patric44
  • #11
Thanks all, it's clear now, I really appreciate this. The confusion was about the delta notation.
 
  • #12
FactChecker said:
No. We have a definition of a basis for each topology. It is now necessary to show that a basis element of the standard topology is open in the lower limit topology.
That was what I first thought, too, but it is wrong. We have a description of any open set, not only basis: read the qualifiers! Open is, what contains an open (half-open) interval of all of its elements. This already covers infinite unions. No basic needed.
 
  • Like
Likes FactChecker
  • #13
fresh_42 said:
This isn't even necessary here as we have given an explicit description of all open sets in both topologies.
Yes. I stand corrected. Thanks.
 
  • #14
FactChecker said:
No. We have a definition of a basis for each topology. It is now necessary to show that a basis element of the standard topology is open in the lower limit topology.
The original post describes each topology completely. It does not simply provide a basis:

patric44 said:
Our topology professor have introduced the standard topology of ##\mathbb{R}## as:
$$\tau=\left\{u\subset\mathbb{R}:\forall x\in u\exists\delta>0\ s.t.\ \left(x-\delta,x+\delta\right)\subset u\right\},$$
and the lower limit topology as:
$$\tau_{1}=\left\{u\subset\mathbb{R}:\forall x\in u\exists\delta>0\ s.t.\ \left[x,x+\delta\right)\subset u\right\}.$$
The definition of an open set in ##\tau## is the standard definition of an open set, not only of an open interval.
 
  • #15
PeroK said:
The original post describes each topology completely.
I was first unsure about ##\emptyset## and ##\mathbb{R}## but I think that even these are covered.
 
  • #16
fresh_42 said:
I was first unsure about ##\emptyset## and ##\mathbb{R}## but I think that even these are covered.
The requirement for ##\emptyset## and ##\mathbb R## to be in the topology is covered by the empty union and empty intersection respectively. And I thought you were a great fan of vacuous truths!
 
  • Like
Likes SammyS, patric44 and fresh_42
  • #17
PeroK said:
The requirement for ##\emptyset## and ##\mathbb R## to be in the topology is covered by the empty union and empty intersection respectively. And I thought you were a great fan of vacuous truths!
They are even listed in ##\tau, \tau_1## without bothering any axioms.

If we write a topology as a set, then they have to be included without intersections and unions, simply because it is a listing. ##\mathbb{R}## is trivially included, and ##\emptyset## by vacuous truth about all elements of ##\emptyset.##

Yes, I liked that thought.
 
  • #18
patric44 said:
Thanks for your response. But this still not clear for me, I wish there is a rigorous approach for your statement. Suppose that ##\delta=1##, we have
$$[x,x+1)\subset(x-1,x+1).$$
I'm not sure that this is still true.
RH set is ##\{ y: x-1 < y < x+1 \}:##
LH set is ##\{ y: x \leq y < x+1 \} ##
Can you see it?

Edit: A general point: Some Topologies may not be comparable. Can you think of one such example?
 
  • Informative
Likes patric44
  • #19
PeroK said:
The requirement for ##\emptyset## and ##\mathbb R## to be in the topology is covered by the empty union and empty intersection respectively. And I thought you were a great fan of vacuous truths!
The point was that they are included in the original description already.

##\emptyset##: For all ##x \in \emptyset## it holds that ##[x,x+\delta) \subset \emptyset## because there are no ##x \in \emptyset##.

##\mathbb R##: For all ##x \in \mathbb R## it holds that ##[x,x+\delta) \subset \mathbb R## for some ##\delta## (actually, for all ##\delta##).
 
  • Like
Likes PeroK
  • #20
Orodruin said:
The point was that they are included in the original description already.

##\emptyset##: For all ##x \in \emptyset## it holds that ##[x,x+\delta) \subset \emptyset## because there are no ##x \in \emptyset##.

##\mathbb R##: For all ##x \in \mathbb R## it holds that ##[x,x+\delta) \subset \mathbb R## for some ##\delta## (actually, for all ##\delta##).
Or use, for fixed ##\delta>0, [x-2\delta, x-\delta) \cap [x,x+\delta)## is a member of the topology.
 
  • Skeptical
  • Like
Likes patric44 and PeroK
  • #21
WWGD said:
Or use, for fixed ##\delta>0, [x-2\delta, x-\delta) \cap [x,x+\delta)## is a member of the topology.
This is a basic property of elements of the topology. They are closed under( finite) intersection.
Edit: A simple search would do:
Screenshot_20221012-042002_Samsung Internet.jpg
 
  • #22
WWGD said:
This is a basic property of elements of the topology. They are closed under( finite) intersection.
Your logic is back to front. You are given a definition of a collection of "open" sets. You have to check that every finite intersection of sets in the collection is in the collection. You cannot assume that. That involves checking that the empty set in the collection.

If you assume that ##\tau## is a topology, then you can assume that ##\emptyset \in \tau## and it makes no sense to prove this using the other assumed properties of the topology.

You made the same mistake I made that @Orodruin pointed out.
 
  • #23
PeroK said:
Your logic is back to front. You are given a definition of a collection of "open" sets. You have to check that every finite intersection of sets in the collection is in the collection. You cannot assume that. That involves checking that the empty set in the collection.

If you assume that ##\tau## is a topology, then you can assume that ##\emptyset \in \tau## and it makes no sense to prove this using the other assumed properties of the topology.

You made the same mistake I made that @Orodruin pointed out.
Not as I read it. The sets of the given form are stated to be elements of the topology. The question is about the relationship _ between the topologies_ , and not on whether these describe topologies. The intersection I provided just verifies that the empty set is part of the topology.
 
  • Sad
Likes PeroK
  • #24
WWGD said:
Not as I read it. The sets of the given form are stated to be elements of the topology. The question is about the relationship _ between the topologies_ , and not on whether these describe topologies. The intersection I provided just verifies that the empty set is part of the topology.
Either you assume ##\tau## is a topology or not. If you do, then ##\emptyset## is assumed to be in the topology without further justification. If not, then you cannot assume the finite intersection property.
 
  • #25
WWGD said:
Not as I read it. The sets of the given form are stated to be elements of the topology. The question is about the relationship _ between the topologies_ , and not on whether these describe topologies. The intersection I provided just verifies that the empty set is part of the topology.
 
  • #26
The initial post does explicitly state these are the open sets in the topology. We are _ not_ being asked to verify these define a topology, but _ we are told_ these are topologies.
 

Attachments

  • Screenshot_20221012-043806_Samsung Internet.jpg
    Screenshot_20221012-043806_Samsung Internet.jpg
    31 KB · Views: 86
  • #27
" He asked for the relationship between these _Topologies_"
 
  • #28
WWGD said:
The initial post does explicitly state these are the open sets in the topology. We are _ not_ being asked to verify these define a topology, but _ we are told_ these are topologies.
It was you who posted a proof/justification for ##\emptyset \in \tau_1##:

WWGD said:
Or use, for fixed ##\delta>0, [x-2\delta, x-\delta) \cap [x,x+\delta)## is a member of the topology.
 
  • #29
PeroK said:
It was you who posted a proof/justification for ##\emptyset \in \tau_1##:
Its a verification. Let's have @Orodruin chime in.
 
  • #30
I think this subject is more than discussed in detail.

post #2 exhibits the error in the OP's version
post #6 contains the entire proof (up to the quantification of ##x##, the arbitrariness of ##U##, etc.)
post #14 clarifies the confusion about basis sets
post #19 clarifies that ##\emptyset\, , \,\mathbb{R}## are also covered

All other posts could easily be ignored, deleted, or considered noise.

Just saying, in case anyone wants to read only what is essential.
 
  • Like
Likes PeroK
  • #31
fresh_42 said:
I think this subject is more than discussed in detail.

post #2 exhibits the error in the OP's version
post #6 contains the entire proof (up to the quantification of ##x##, the arbitrariness of ##U##, etc.)
post #14 clarifies the confusion about basis sets
post #19 clarifies that ##\emptyset\, , \,\mathbb{R}## are also covered

All other posts could easily be ignored, deleted, or considered noise.

Just saying, in case anyone wants to read only what is essential.
This is a matter of just reading statements in post #1. The topologies are _ explicitly _ given as such, and nowhere is it asked to verify that these are actual topologies. I never offered a proof that these were topologies, but just provided additional verification.
 
  • #32
WWGD said:
This is a matter of just reading statements in post #1. The topologies are _ explicitly _ given as such, and nowhere is it asked to verify that these are actual topologies. I never offered a proof that these were topologies, but just provided additional verification.
The point is that the topologies are complete as given and what is given is not just a base for the topologies. There is no need to go around making intersections.

Yes, the topologies are given but it is still a relevant question if the given open sets are the full topology just by the given definition or not. If you want to do that you first check that the full set and the empty set are included, then you check that all (finite) intersections and (finite and infinite) unions are in the topology. In the verification that ##\tau_1## is a topology, ##[0,1)\cap[1,3) = \emptyset \in \tau_1## is telling us that this intersection is compatible with the intersection of open sets being open, not that ##\emptyset \in \tau_1##, which is clear already from the definition of ##\tau_1## as it should be. If ##\emptyset## was not included in the definition, ##\tau_1## would fail both the check that it should be and the check that finite intersections of open sets are open.

When checking if ##T## is a topology or not, saying that a particular set is in ##T## because it is an intersection of sets in ##T## presupposes the property of a topology that any finite intersection of open sets is open and therefore not very useful for determining if the set belongs to ##T## or not. You can of course sometimes reach the conclusion that ##T## is not a topology unless a particular set is also included. Removing the empty set from the topologies above would break both the requirements of the empty set being included and of finite intersections of open sets being open.

Take another topology, where removing the empty set would have still have passed the checks of unions and intersections, as an additional example:
$$
\tau_2 =\{\emptyset, \mathbb R, (a, \infty): a\in \mathbb R\}.
$$
The verification that this is a topology on ##\mathbb R## goes:

1. ##\emptyset \in \tau_2## and ##\mathbb R \in \tau_2##. Ok.

2. Any union
$$
U = \bigcup_i (a_i,\infty) = (\inf_i a_i, \infty).
$$
It is clear that this is in the topology when the infinum is finite and when there is no lower bound ##U = \mathbb R##, which is also in the topology. The union of ##\mathbb R## with any other set is ##\mathbb R## so this is also in the topology. The union of ##\emptyset## with ##U## is ##U##, which is in the topology if ##U## is. Hence, any union of open sets is open. Ok.

3. The finite intersection
$$
\bigcap_i (b_i, \infty) = (\max_i b_i,\infty) \in \tau_2.
$$
Furthermore, for any set ##U## we have ##\mathbb R \cap U = U## which is in the topology if ##U## is and ##\emptyset\cap U = \emptyset##, which is in the topology. Hence, any finite intersection is in the topology. Ok.

Specifically note that the empty set needed to be included explicitly in the definition of the topology. If it were not, 2 and 3 would still hold but 1 would not. There is no intersection of the other sets that is the empty set.

Ok, it is late and I am suffering from insomnia. This probably became more of an incoherent ramble than I intended.
 
  • Like
Likes PeroK
  • #33
Orodruin said:
Yes, the topologies are given but it is still a relevant question if the given open sets are the full topology just by the given definition or not. If you want to do that you first check that the full set and the empty set are included, then you check that all (finite) intersections and (finite and infinite) unions are in the topology.
My point, for what it's worth, is that you can drop the first axiom about the empty set and full set being in the topology - as long as you recognise the empty intersection and empty union in the other axioms.

It doesn't practically change what you have to test, since checking the empty intersection and empty union are special cases that amount to checking that the empty set and full set are in the topology! But, you can save yourself an axiom if you want.
 
  • #34
I am almost certain that you meant this ironically. But for all readers who drop by ...

PeroK said:
It doesn't practically change what you have to test, since checking the empty intersection and empty union are special cases that amount to checking that the empty set and full set are in the topology! But, you can save yourself an axiom if you want.
Would be an ugly way to see it as it only applies to certain cases like the given one here. One cannot always get the empty set as a result of an intersection. Axioms in dependency of the case? <brrrrr>
And even in our case, one had to explain why ##\{\emptyset\, , \,\mathbb{R}\}\in \tau ## is covered by the other two axioms, so it wouldn't even save lines.

I like to consider ##\{\emptyset\, , \,X\}\in \tau ## as the fundamental property, not a resulting one which in general it is not. And it is too important to hide it somewhere.
 
  • #35
fresh_42 said:
I like to consider ##\{\emptyset\, , \,X\}\in \tau ## as the fundamental property, not a resulting one which in general it is not. And it is too important to hide it somewhere.
Ugly or not, I've seen it done.
 
<h2>1. What is the difference between standard topology and lower limit topology?</h2><p>The main difference between standard topology and lower limit topology is the way they define open sets. In standard topology, an open set is any collection of points that can be contained within an open ball, while in lower limit topology, an open set is a collection of points that can be contained within a half-open interval.</p><h2>2. Why is standard topology considered coarser than lower limit topology?</h2><p>Standard topology is considered coarser than lower limit topology because every open set in lower limit topology is also an open set in standard topology. This means that the open sets in standard topology are larger and more inclusive, making it a less fine-grained topology compared to lower limit topology.</p><h2>3. How does the coarseness of a topology affect its properties?</h2><p>The coarseness of a topology affects its properties in the sense that a coarser topology will have fewer open sets and therefore, fewer ways to define continuity and convergence. This can make it easier to prove certain theorems and properties in a coarser topology, but it may also limit the types of spaces that can be described using that topology.</p><h2>4. Can a set have different topologies that are both coarser than lower limit topology?</h2><p>Yes, a set can have different topologies that are both coarser than lower limit topology. For example, the discrete topology (where every subset is open) and the indiscrete topology (where only the empty set and the entire set are open) are both coarser than lower limit topology, but they are not equivalent to each other.</p><h2>5. How is the comparison of coarseness between topologies related to the concept of refinement?</h2><p>The comparison of coarseness between topologies is related to the concept of refinement in the sense that a topology is considered coarser if it has fewer open sets and therefore, fewer ways to define continuity and convergence. On the other hand, a topology is considered finer if it has more open sets and therefore, more ways to define continuity and convergence. This concept of refinement is often used in topology to compare and contrast different topologies on the same set.</p>

1. What is the difference between standard topology and lower limit topology?

The main difference between standard topology and lower limit topology is the way they define open sets. In standard topology, an open set is any collection of points that can be contained within an open ball, while in lower limit topology, an open set is a collection of points that can be contained within a half-open interval.

2. Why is standard topology considered coarser than lower limit topology?

Standard topology is considered coarser than lower limit topology because every open set in lower limit topology is also an open set in standard topology. This means that the open sets in standard topology are larger and more inclusive, making it a less fine-grained topology compared to lower limit topology.

3. How does the coarseness of a topology affect its properties?

The coarseness of a topology affects its properties in the sense that a coarser topology will have fewer open sets and therefore, fewer ways to define continuity and convergence. This can make it easier to prove certain theorems and properties in a coarser topology, but it may also limit the types of spaces that can be described using that topology.

4. Can a set have different topologies that are both coarser than lower limit topology?

Yes, a set can have different topologies that are both coarser than lower limit topology. For example, the discrete topology (where every subset is open) and the indiscrete topology (where only the empty set and the entire set are open) are both coarser than lower limit topology, but they are not equivalent to each other.

5. How is the comparison of coarseness between topologies related to the concept of refinement?

The comparison of coarseness between topologies is related to the concept of refinement in the sense that a topology is considered coarser if it has fewer open sets and therefore, fewer ways to define continuity and convergence. On the other hand, a topology is considered finer if it has more open sets and therefore, more ways to define continuity and convergence. This concept of refinement is often used in topology to compare and contrast different topologies on the same set.

Similar threads

  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Calculus and Beyond Homework Help
Replies
20
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
19
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
13
Views
2K
  • Calculus and Beyond Homework Help
Replies
16
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
2K
  • Calculus and Beyond Homework Help
Replies
1
Views
440
Back
Top