Welcome to MathOverflow

Question

5

2

Given a topological space $(X,\mathcal{O})$ can one assign a natural topology to $\mathcal{O}$ such that

1) The intersection of a compact set of open sets is again open,

2) The maps $\cap,\cup:\mathcal{O}^2\rightarrow \mathcal{O}$ are continuous,

3) For any continuous map $f: (X,\mathcal{O})\rightarrow (X',\mathcal{O}')$ is the induced map $f^{-1}: \mathcal{O}'\rightarrow \mathcal{O}$ also continuous?

Since these properties would allow taking the discrete topology and I am looking for a more interesting one let me also add:

4) For $X=\mathbb{R}$ the subset $\{]a,b[|a\le b\}$ of intervals has the topology coming from $\{(a,b)\in \mathbb{R}^2| a\le b\}/\Delta \mathbb{R}$.

edited Apr 2 2012 at 8:05

asked Apr 2 2012 at 7:45

HenrikRüping
5,319●5●27

I don't understand 4). Which sets of intervalls are open? – Martin Brandenburg Apr 2 2012 at 8:06

2

In any case, have you tried the compact-open topology on $\mathcal{O}(X) \cong \mathrm{Hom}(X,S)$, where $S$ is the Sierpinski space? – Martin Brandenburg Apr 2 2012 at 8:08

8

Have you seen mathoverflow.net/questions/20738/… ? – Gjergji Zaimi Apr 2 2012 at 8:26

2

@Martin: ...so in topology $\mathcal{O}(X)\cong\mathrm{Hom}(X,S)$ while in algebraic geometry we have $\mathcal{O}(X)\cong\mathrm{Hom}(X,\mathbb{A}^1)$... (just kidding :) ) – Qfwfq Apr 2 2012 at 8:28

1

4) seems to be a problem. By definition of the compact open topology the following system indexed over closed intervals $[a,b]$ is a subbasis: $\\{(a',b')|[a,b]\subset (a',b')\\}_{[a,b]}$. Especially for any open set $U\subset \mathcal{O}$ we can find a $r$ such that $(-R,R)\in U$ for $R>r$. Hence the compact open topology on $\mathcal{O}(\mathbb{R})$ is not Hausdorff and not the quotient topology as in 4). Concerning 2 & 3. Basically they would follow from usual properties of the compact open topology (for CGHaus-Spaces). But $S$ is not CGHaus. – HenrikRüping Apr 2 2012 at 13:12

show 2 more comments

Is there a natural topology on the set of open sets ?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.