Welcome to MathOverflow

Question

4

1

Let X,Y to be mappings from the sample space Ω to R and suppose Y is measurable with respect to σ(X), the smallest σ-field that makes X measurable.

Does it follow that there exists some Borel-measurable function f: R → R such that Y=f(X)?

flag	asked Nov 3 2009 at 7:13 alex 663●3●8●19

The question seems quite limited in scope/interest. Is there a particular application you have in mind? – Yemon Choi Nov 3 2009 at 8:28

3

I think it's interesting, actually. Y being measurable with respect to sigma(X) is an abstract, high-level set-theoretic concept, while Y being f(X) for a function f is visceral and down-to-earth. The fact that the two are connected is important for intuition: Y being measurable with respect to sigma(X) essentially means that Y doesn't contain any information that X doesn't already have, so roughly, you can compute Y given X (ignoring all recursion-theoretic issues). – Darsh Ranjan Nov 3 2009 at 16:47

The requirement that one r.v. is measurable with respect to the smallest sigma field that makes another r.v. measurable appears quite often in probability theory; for example, its part of the definition of conditional expectation and stopping time. I'm trying to get a feel for what it means. – alex Nov 4 2009 at 22:34

Piotr Miłoś · Accepted Answer · 2009-11-03 12:07:14Z UTC

The answer is yes. The proof is quite standard. 1. If Y=1_A, where A is in \simga(X), then by the definition of \sigma(X) there exists a Borel set B such that A = X^{-1}(B) and therefore

Y(\omega) = 1_A(\omega) = 1_B(X(\omega)) = f(X(\omega)),

where we put f:= 1_B (of course f is now a Borel function).

2. If now Y is a simple r.v. i.e. it can be written in form Y = \sum_{i=1}^n c_i 1_{A_i}, where A_i are sets in \sigma(X), then using the previous point we can find Borel functions f_i such that 1_{A_i} = f_i(X) and obviously in this case f = \sum_{i=1}^n c_i f_i.

3. Finally, any r.v. Y measurable w.r. to \sigma(X) can be approximated by a sequence of simple r.v. Y_n measurable w.r. to \sigma(X) i.e. Y_n -> Y almost surely. By the previous point there exist f_n such that Y_n = f_n(X). Now we can define f(x) = \lim_n f_n(x) if the limit exists and put f(x)=0 otherwise. It is easy to check that f is a Borel function (basically it is a limit of Borel functions), and that Y = f(X).

Gerald Edgar · Answer 2 · 2009-11-03 12:38:01Z UTC

2

If R is the reals, yes (as already explained). But if R is just some other Borel space, then perhaps not.

answered Nov 3 2009 at 12:38

Gerald Edgar
15.2k●1●28●67

2

Do you have any counterexamples? Or do you just have worries about the generality of the proof? It looks like the important thing we need is just the ability to do infinite summations in R. – Kenny Easwaran Nov 6 2009 at 6:47

One could replace the reals by any standard Borel space (Borel sets of a complete and separable metric space), since such spaces are Borel isomorphic to the reals. General Borel spaces can be much less well behaved (things like uncountable products of the unit interval). Btw: The theorem asked for is known as the Doob-Dynkin Lemma: en.wikipedia.org/wiki/Doob%E2%80%93Dynkin_lemma – Michael Greinecker Jul 24 2010 at 10:27

Jeff Hussmann · Answer 3 · 2010-07-24 07:37:22Z UTC

2

It is trivially true but maybe worth noting that the converse is also true - if there exists such an f, then Y is σ(X)-measurable.

This and the question asked are theorem 20.1(ii) in Billingsley's Probability and Measure, 3rd edition.

edited Jul 24 2010 at 7:37

answered Nov 20 2009 at 22:56

Jeff Hussmann
71●4

loloa · Answer 4 · 2009-11-20 09:31:20Z UTC

-3

write the following in the form of sigm 5+11+17+23+...= and the second is 3+9+27+81+...= please help me

answered Nov 20 2009 at 9:31

loloa
1

	Completely irrelevant. – Darsh Ranjan Nov 20 2009 at 9:38
	This thread is about sigma fields, not sigma notation. – Cosmonut Apr 25 2010 at 5:48

question on sigma-fields

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

4 Answers

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.