Page 1 of 1

Topology reflections

Posted: Tue Feb 19, 2008 2:40 pm
by lime
Although during the test there are just probably a couple or triple of questions concerning topology, for me it is the most enigmatic and interesting topic among others. Nevertheless, there are some questions that are still baffling me.

1. Let's consider the set of real numbers R and two topologies defined on it:
T1 - standard real line topology;
T2 - lower-limit topology.
Therefore, I see that:
T1 = {empty set, R, all intervals (a,b)};
T2 = {empty set, R, all intervals [a,b)}.
At the same time, it is considered that T2 is strictly finer than T1. That actually implies that T1<T2 which assumes that T2 contains all elements of T1. But T2 does not have intervals (a,b)? Does it?

2. Let's consider again the set R of real numbers and the lower-limit topology T2. Apparently, with this topology R is Hausdorff space, since every two distinct points can be separated by neighborhoods. There is a property that
Every singleton in Hausdorff space is closed.
At the same time, according to the definition of closed set as complement of open set, I can see that only closed set in T2 are just
empty set and R (they are actually both open and closed in every topology);
[a,b) (they are actually both open and closed in T2);
(-inf,a).
But I can't think of example where singleton could be a complement of open set in T2. Unless, as it was discussed in question 1, the intervals (a,b) are also open in T2.

What you think about that? :?

Posted: Mon Feb 25, 2008 2:25 am
by lime
Dear friends, suddenly I have discovered for myself that intervals (a,b) are really open in the lower-limit topology. Indeed, each such interval is the union of infinitely number of intervals [a+1/n, b) for n=[k,+inf]. Therefore, both my questions are answered. Nevertheless, this fact just produces my another misconception in answering the next question:

3. Let R be the set of real numbers with the topology generated by the basis {[a,b): a<b, where a,b - real numbers}. If X is the subset [0,1] of R, which of the following must be true?

I. X is compact.
II. X is Hausdorff.
III. X is connected.

A. I only
B. II only
C. III only
D. I and II
E. II and III

Is is obvious that this set is Hausdorff and connected. Now I can see also that that since intervals (-inf, a) and (b;+inf) are open in described topology, X must be closed! Therefore, using the fact that it is also bounded I conclude that it is compact as well.
Nevertheless, the right answer is B (!!) which implies that it is not compact!
My first guess was that "closed and bounded" properties are not working for low-limit topology. But this interval still looks for me like it's every open covering will always contain finite subcollection.

Who is wrong - the answer or I?

back to definitions!

Posted: Fri Mar 14, 2008 2:38 am
by DesolateReality
the lower limit topology on the reals is not compact. The following is an open covering with no finite subcover:
{[n,n+1): n is an integer}.

the thing is that only in the standard topology of the reals, does the heine-borel theorem holds. That is, only for the reals with the standard topology, which you call T1, are the following two facts about a subset A of R equivalent:
1) A is compact,
2) A is closed and bounded.
Since you are working with T2 for the multiple-choice question, this theorem does not hold anymore.

Also, the lower limit topology on the reals result in a disconnected topology. This is because both [0,infinity) is closed and open.

Posted: Fri Mar 14, 2008 7:14 pm
by lime
the lower limit topology on the reals is not compact. The following is an open covering with no finite subcover:
{[n,n+1): n is an integer}.
Cool! And here is the covering of [0,1] interval that has no finite subcover:
{[0,1-1/n), n is an integer} + [1,2)

Now I also see that Heine-Borel theorem works only to standard topology. Thanks for answer. Continuing the topology discussion I would come up with the next question.

4. Is the set of points in the 2D space such that x in [a,b], y=0 compact or not? Why?

Posted: Tue Aug 12, 2008 12:55 pm
by JcraigMSU
I was wondering how [n, n+1) is an open cover. i am new to topology, haha. If you were at x = n and subtracted epsilon, you would be outside of the cover?

Posted: Wed Aug 13, 2008 10:26 am
by lime
I was wondering how [n, n+1) is an open cover?
It is an open cover in the lower-limit topology.

Posted: Sun Aug 17, 2008 9:47 pm
by mathsubboy
As for lime's problem 4:

under the standard topology, any set is compact if and only if it is both closed and bounded, whatever the dimension is.

so the set of points in the 2D space such that x in [a,b], y=0 is compact.

Posted: Sun Aug 31, 2008 5:54 pm
by Nameless
Is the set of points in the 2D space such that x in [a,b] OR y=0 compact or not? Why?

Posted: Mon Sep 01, 2008 1:35 am
by lime
Is the set of points in the 2D space such that x in [a,b] OR y=0 compact or not? Why?
If you mean union of X axis and set {(x,y): x in [a,b] y in R} then it is not compact as the union of two unbounded sets.

Posted: Thu Sep 04, 2008 2:04 am
by Nameless
Now, let discuss about topology :

Problem #62 GR0568
Let K be a nonempty subset of R^n. Which of the following is true :

1. If K is compact, then every real-continuous function on K in bounded
2. If every real-continuous function on K is bounded then K in compact
3. If K is compact then K is connected

1 & 3 are cleared, I have problem with 2


If some one knows , please explain? thanks

Posted: Thu Sep 04, 2008 2:06 pm
by Nameless
Hi dear,

No one want to discuss with me :(

Posted: Fri Sep 05, 2008 11:49 am
by mathsubboy
2 is correct,
firstly, K must be bounded, otherwise you can construct a unbounded continuous function on it
Secondly, K must not be open , or again you can find a counterexample.

So K must be bounded and closed, that is compact.

Posted: Fri Sep 05, 2008 5:24 pm
by Nameless
for (2), K is bounded is obvious ( let f: K------->K with f(x)=x, them K is bounded)

Now prove that K is closed. Suppose that K is not closed, then R^n\K is not open : since K is bounded so K must have form :
K=(a1,b1)x(a2,b2]x....x(an,bn)
so let F : K--------> R F(x1,x2,....,xn)=[1/(x1-a)]x2....xn then f is continuous and f is not bounded - contradiction

so K <R^n is closed and bounded then K is compact