Scribd
Upload
27 views1 page

Exercise 1 (Sigma Algebras) : (4 Points)

Uploaded by

EDU CIPANA
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
Download as pdf or txt
27 views1 page

Exercise 1 (Sigma Algebras) : (4 Points)

Uploaded by

EDU CIPANA
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
Download as pdf or txt
Download as pdf or txt
You are on page 1/ 1

2 Lehrstuhl für Informatik 2

Software Modeling and Verification


Modeling and Verification of Probabilistic Systems WS15/16
Exercise Sheet 1 (due 28.10.2015)
Prof.aa
Dr. Ir. Joost-Pieter Katoen Christian Dehnert, Sebastian Junges

Exercise 1 (Sigma Algebras): (4 points)


Let Ω be a countably infinite set and define FΩ as the smallest class of subsets of Ω such that for all A ⊆ Ω

(i) if A is finite, then A ∈ FΩ , and

(ii) if A ∈ FΩ , then Ac ∈ FΩ for Ac := (Ω \ A).

a) Show that the definition is non-trivial, i.e., in general FΩ 6= 2Ω .


(Hint: find a set Ω and a subset A ⊆ Ω which cannot be in FΩ according to the above definition.)

b) Would this change if FΩ is defined as the largest class of subsets defined as above (instead of the smallest)?

c) Prove or disprove that FΩ is a σ-algebra as defined in the lecture for any countably infinite set Ω.

Exercise 2 (Geometric Distribution): (3 + 3 points)


Recall the definition of a geometric distribution as given in the lecture:

Definition 1. Let X be a discrete random variable, k ∈ N>0 and 0 < p ≤ 1. The mass function of a geometric
distribution is given by:
Pr{X = k} = (1 − p)k−1 ·p

Let X now be be geometrically distributed with parameter p.


1 1−p
a) Show that E[X] = p and Var[X] = p2 .

b) Prove that
Pr{X = k + m | X > m} = Pr{X = k} for any m, k ∈ N>0 .
Hint: Use properties of probability measures and the geometric distribution as presented in the lecture.

You might also like