Limit of functions in measure space

[complexnumber]

Homework Statement

Given a measure space (\mathbb{R},<br /> \mathcal{B}(\mathbb{R}),\mu) define a function F_\mu : \mathbb{R}<br /> \to \mathbb{R} by F_\mu(x) := \mu( (-\infty,x] ). Prove
that F_\mu is non-decreasing, right-continuous and satisfies
\displaystyle \lim_{x \to -\infty} F_\mu(x) = 0. (Right continuous
here may be taken to mean that \displaystyle \lim_{n \to \infty}<br /> F_\mu(x_n) = F_\mu(x) for any decreasing sequence \{ x_n<br /> \}^\infty_{n=1} \subset \mathbb{R} with limit \displaystyle<br /> \lim_{n \to \infty} x_n = x.)

Homework Equations

The Attempt at a Solution

\mathbb{F}_\mu non-decreasing means for any x_1,x_2 \in X such
that x_1 &lt; x_2 we have \mathbb{F}_\mu(x_1) \leq<br /> \mathbb{F}_\mu(x_2). Since (-\infty,x_1] \subset (-\infty,x_2],
theorem 7.1 (3) says \mu((-\infty,x_1]) \leq \mu(-\infty,x_2]),
which is \mathbb{F}_\mu(x_1) \leq \mathbb{F}_\mu(x_2).

For any decreasing sequence \{x_n \}^\infty_{n=1} \subset<br /> \mathbb{R}, x_1 &gt; x_2 &gt; \cdots &gt; x_n &gt; \cdots and hence
(-\infty, x_1] \supset (-\infty, x_2] \supset \cdots (-\infty, x_n]<br /> \supset \cdots. Also \displaystyle (-\infty, x] =<br /> \bigcap^\infty_{n=1} (-\infty, x_n]. Hence according to theorem 7.1
(5) we have \mu((-\infty,x_n]) \xrightarrow[k]{\infty}<br /> \mu((-\infty,x]) which is \displaystyle \lim_{n \to \infty}<br /> F_\mu(x_n) = F_\mu(x).

For any decreasing sequence \{x_n \}^\infty_{n=1} \subset<br /> \mathbb{R} such that \displaystyle \lim_{n \to \infty} x_n = -<br /> \infty, \lim_{n \to \infty} F_\mu(x_n) = F_\mu(x) =<br /> \mu((-\infty,-\infty]) = 0.

Are these correct answers? They don't even look like proofs, especially the third one. What should the proofs be like?

 

[Office_Shredder]

F is a function on the real numbers, so taking F_{\mu} (- \infty) doesn't make any sense

 

[complexnumber]

F is a function on the real numbers, so taking F_{\mu} (- \infty) doesn't make any sense

I think the question must be assuming we are using the extended real line. In my lecture notes the \infty measure is allowed. Is my answers correct assuming extended real line?

 

[Office_Shredder]

I think the question must be assuming we are using the extended real line. In my lecture notes the \infty measure is allowed. Is my answers correct assuming extended real line?

While the measure might give values on the extended real line, the interval (-\infty, -\infty] doesn't make any sense because on the one hand it doesn't contain - \infty, but on the other hand it does.

You should have a standard definition for what the limit of a function is as the value goes to plus or minus infinity involving the function getting arbitrarily close to the limit value as the input grows in magnitude (with positive or negative values)