Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $(X,\large\tau)$ be a normal topological space and $\cal F$ the collection of continuous real-valued functions on $X$. Show that $\large\tau$ is the weak topology induced by $\cal F$

My cohorts and I have been agonizing over this proof for days now without success. My interpretation of this statement is that a normal topology $(X,\large\tau)$ is 'nice' enough that you can look at its associated set of continuous real-valued functions, collect together all their pre-images of open sets in $\mathbb{R}$, and this collection will form a sub-basis for $\large\tau$; please correct me if this interpretation is wrong.

We were able to show fairly easily that the weak topology induced by $\cal F$, call it $\large\sigma$, is weaker/coarser than $\large\tau$, but we haven't had any luck proving that $\large\sigma=\large\tau$. We have Urysohn's Lemma and Tietze's Extension Theorem at our disposal, also some consequences of Urysohn's Lemma which imply the existence of certain continuous functions which seem promising; Section 12.1 of Royden's Real Analysis. Anyways they seem useful but we've been unsuccessful in their application.

share|improve this question
    
Are you sure that this is right? I've read in Willard's General Topology that a space is completely regular iff it has the weak topology with respect to all continuous real-valued functions. But there are normal spaces which are not completely regular. –  Stefan Hamcke Apr 14 '13 at 10:35
add comment

1 Answer 1

up vote 1 down vote accepted

Hint: So you need only show that every $\tau$-open set if $\sigma$-open. Note that if $U \subseteq X$ is $\tau$-open to show that it is $\sigma$-open you need to show the following

For each $x \in U$ there are $\tau$-continuous functions $f_1 , \ldots , f_n : X \to \mathbb{R}$ and open sets $V_1 , \ldots , V_n \subseteq \mathbb{R}$ such that $$x \in f_i^{-1} [ V_1 ] \cap \cdots \cap f_n^{-1} [ V_n ] \subseteq U.$$

The fact that $( X , \tau )$ is normal (and all singletons are closed) should be helpful (and you should be able to take $n = 1$).

share|improve this answer
    
do I need to use one of the theorems/lemmas I mentioned? –  Ron Jeremy Apr 14 '13 at 4:28
    
@pajamas: Urysohn's Lemma will likely be particularly helpful. –  Arthur Fischer Apr 14 '13 at 4:29
    
That did it, thank you! –  Ron Jeremy Apr 14 '13 at 4:55
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.