compacity in narrow limit tower spacescompacity在狭窄的限制塔空间.pdfVIP

IJMMS 26:6 (2001) 359–369 PII. S0161171201005063 © Hindawi Publishing Corp. COMPACITY IN NARROW LIMIT TOWER SPACES LIVIU C. FLORESCU (Received January 2000 and in revised form 4 May 2000) Abstract. We introduce a limit tower structure on the space of all bounded Radon mea- sures on a completely regular space and we extend the Prohorov’s theorem of narrow compactness. In the particular case of Polish spaces, we give a sequential version of this extension. 2000 Mathematics Subject Classification. 28A33, 46E27, 54E70, 54A20, 60B10. 1. Introduction. Let T be a completely regular space, the boreliens of T , and M b (T ) the set of all bounded Radon measures on (T ,) (i.e., the real bounded mea- sures µ : → R such that |µ |(A) = sup{|µ |(K) : K is compact, K ⊆ A }, for all A ∈ , where |µ | is the variation of µ). Denote by b (T ) the space of all bounded continuous real functions on T and let f = sup{|f (t) | : t ∈ T }, for every f ∈ b (T ). We recall that a filter F on M b (T ) is narrowly convergent t µ if and only if Vε,f (µ) ∈ F , for all f ∈ b (T ), ε 0, where Vε,f (µ) = {ν : |µ(f ) −ν(f ) | ε}. We say that a set H ⊆ M b (T ) is relatively narrowly compact if, for every filterbase B ⊆ 2H there exist a filter F on M b (T ) and µ ∈M b (T ) such that F converges t µ. Prohorov’s classical theorem states that a bounded set H ⊆M b (T ) is relatively nar- rowly compact if the following condition is satisfied: ∀ε 0, ∃K ε compact ⊆ T : |µ | T \Kε ε, ∀µ ∈ H. (1.1) A set H as in (1.1) is called tight. We remark that, if T is a Polish space (i.e., T is a separable, completely metriz- able space) or T is a local