- #1

- 13,033

- 588

T and T' of course arbitrary.

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter dextercioby
- Start date

- #1

- 13,033

- 588

T and T' of course arbitrary.

- #2

quasar987

Science Advisor

Homework Helper

Gold Member

- 4,783

- 18

a) the topology that makes X into a circle (there is an obvious bijection btw X and S

b) the topology generated by the usual open sets of

Under a), X is compact, but not under b) since {{∞},(-1/n,1/n)} is a covering withouth a finite subcover.

- #3

- 382

- 4

The silliest example is that (ℝ,T) is compact if T is the topology where the only open sets are ℝ and ∅.

- #4

- 13,033

- 588

But essentially R is non-compact, irrespective of the topology on it ?? Ok, I didn't see post 3, so that settles it. I assume the same conclusion goes for connectedness as well. What about path properties, like multiple-connectedness ?

- #5

- 22,089

- 3,296

I see...The Alexandroff compactification. http://en.wikipedia.org/wiki/Alexandroff_extension.

But essentially R is non-compact, irrespective of the topology on it ??

No, there are topologies on R in which R is compact. For example, the trivial/indiscrete topology.

The only spaces which are compact regardless of the topology are the finite spaces. ALL other spaces have topologies which make them noncompact: the discrete topology. And they also have topologies which make them compact: the trivial topology.

- #6

- 22,089

- 3,296

What about path properties, like multiple-connectedness ?

All these things are crucially dependent on the topology!!

If you disregard the topology, then you can

- #7

- 13,033

- 588

I understand it now. It's clear.

- #8

Bacle2

Science Advisor

- 1,089

- 10

Actually if (X,T) is compact and T'≤T then (X,T') is also compact; same for connectedness--if you cannot find a disconnection in T, and T'≤ T, you will not find one in T'-- but you can make no conclusions the other way around. Even the collection of sequences/nets that converge change when the topology changes; the fewer the open sets , the easier it is to eventually be in all the open sets (just like a larger collection of open sets allows you to find more covers that may not have finite subcovers). Maybe someone here can explain in more detail why one would choose, e.g., the strong operator topology over weaker topologies, and other reasons for preferring a smaller(larger) topology over a larger(smaller). Then you also have the issue of the initial and final topologies, (largest and smallest respectively, that make a collection of maps continuous), and why one would want to choose one over the other, or some in-between choice.

Maybe a trivial example of how a topology shapes the conenctedness properties of the space is that, in the extreme case of the indiscrete topology (X,∅) , X is not just connected, but strongly-connected ( no elements can be separated by open sets), but (x, Indiscrete) is totally disconnected ( I mean, totally!) , i.e., for any two points x,y , there is a disconnection AUB with x in A and y in B; just take A={x} and B=X-{x} ; disjoint open sets whose union is X . It would be nice to see how other levels of connectedness would change with the topology; all I can think is that simple-connectedness assumes connectedness, so that when connectedness disappears, so does simple-connectedness (tho in a totally-disconnected space, curves are just single points, since continuous images of the unit interval I muse be connected.). It would be nice to see an example of a space that changes its fundamental group when the topology changes; I will try to come up with one myself.

Maybe a trivial example of how a topology shapes the conenctedness properties of the space is that, in the extreme case of the indiscrete topology (X,∅) , X is not just connected, but strongly-connected ( no elements can be separated by open sets), but (x, Indiscrete) is totally disconnected ( I mean, totally!) , i.e., for any two points x,y , there is a disconnection AUB with x in A and y in B; just take A={x} and B=X-{x} ; disjoint open sets whose union is X . It would be nice to see how other levels of connectedness would change with the topology; all I can think is that simple-connectedness assumes connectedness, so that when connectedness disappears, so does simple-connectedness (tho in a totally-disconnected space, curves are just single points, since continuous images of the unit interval I muse be connected.). It would be nice to see an example of a space that changes its fundamental group when the topology changes; I will try to come up with one myself.

Last edited:

Share:

- Replies
- 2

- Views
- 6K