---
# System prepended metadata

title: 機率TP2
tags: [Theory of Probability, 必修, NTNU, CSIE]

---

---
title: 機率TP2
---
# Theory of Probability：<br>Sets and Probabilistic Models
NTNU 機率論

##### [Back to Note Overview](https://reurl.cc/XXeYaE)
##### [Back to Theory of Probability](https://hackmd.io/@NTNUCSIE112/H1OPnkA4v)
###### tags: `NTNU` `CSIE` `必修`  `Theory of Probability`


## Set 集合
- A **set** is a collection of objects which are the **elements** of the set.
    - if $x$ is an element of $S$, we write $x \in S$ 
    - Otherwise denoted by $x \notin S$
- A Set that has no elements is called empty set is denoted by $\emptyset$
- Set Specification 
    - Countably finite
    - Countably infinite
    - With a certain property
        - Countably Infinite
            - $\{k|k/2 \text{ is integer}\}$
        - Uncountable
            - $\{ x| 0 \leq x \leq 1\}$
- If every element of a set $S$ is also an element of a set $T$, then $S$ is a **subset** of $T$
    - Denoted by $S\subset T$ or $T \supset S$
- If $S\subset T$ and $T \subset S$, then the two sets are **equal**
    - Denoted by $S=T$
- The universal set, denoted by $\Omega$, which contains all objects of interest in a particular context
    - After specifying the context in terms of universal set $\Omega$, we only consider sets $S$ that are subsets of $\Omega$
## Set Operator
- **Complement 差集**
    - The **complement** of a set $S$ with respect to the universe $\Omega$, is the set$\{x\in\Omega|x\notin S\}$, namely, the set of all elements that do not belong to $S$, denoted by $S^c$.
    - The complement of the universe $\Omega^c = \emptyset$.
- **Union 聯集**
	- The **union** of two sets $S$ and $T$ is the set of all elements that belong to $S$ or $T$, denoted by $S\cup T$
		$S\cup T = \{x|x\in S$ or $x\in T\}$
- **Intersection 交集**
	- The **intersection** of two sets $S$ and $T$ is the set of all elements that belong to both $S$ and $T$, denoted by $S\cap T$
		$S\cap T = \{x|x\in S$ and $x\in T\}$	
   
- The **union** or the **intersection** of several( or even infinite)
    - $\bigcup\limits_{n=1}^{\infty}S_n = S_1 \cup S_2 \cup ... = \{x | x \in S_n \text{ for some } n\}$
    - $\bigcap\limits_{n=1}^{\infty}S_n = S_1 \cap S_2 \cap ... = \{x | x \in S_n \forall n\}$

- **Disjoint**
    - Two sets are **disjoint** if their intersection us empty($S\cap T = \emptyset$)
- **Partition**
    - A collection of sets is said to be a **partition** of a set $S$ if the sets in the collection are disjoint and their union is $S$
<!--    缺3 -   -->
- Visualization of set operations with Venn diagrams
    ![這張是真的圖](https://i.imgur.com/uHnY5NE.png)

## The Algebra of Sets 集合代數
- The following equations are the elementary consequences of the definitions of set($S$ and their operations)
    - **Commutative 交換律**
    - **Associative 結合律**
    - **Distributive 分配律**
- Two particular useful properties are given by **De Morgan’s law 迪摩根定律**
    - $(\bigcup{S_n})^c = \bigcap{S_n^c}$
    - $(\bigcap{S_n})^c = \bigcup{S_n^c}$
<!--  黑板上那個跟式子待補 補完記得刪掉 有補一半說一下-->
## Probabilistic Models
- A probabilistic model is a mathematical description of an uncertain situation.
    - It has to be in accordance with a fundamental framework to be discussed shortly
- Elements of a probabilistic model
    - The **sample space 樣本空間** 
        - The set of all possible outcomes of an experiment
    - The **probability law**
        - Assign to a set $A$ of possible outcomes( also called an event) a non-negative number $\textbf{P(A)}$ (called the probability $A$)that encodes our knowledge or belief about the collective "likelihood" of he elements of $A$
- The main ingredients of a probabilistic model
    ![](https://i.imgur.com/6M7z8do.png)
    ![](https://i.imgur.com/8deINw9.png)
*[Axioms]: 公理
    

## Sample Spaces and Events 
<!-- 缺1 3 -->
- Examples of the experiment
    - single toss of a coin ( finite outcomes)
    - Three tosses of two dices (finite outcomes)
        - An infinite sequences of tosses of a coin ( infinite outcomes)
    - Throwing a dart on a square( infinite outcomes)
- Properties of the sample space
    - Elements of the sample space must be **mutually exclusive**
<!-- 待補 -->

## Granularity of the Sample Space

## Sequential Probabilistic Models 
## Probability Laws for Discrete Model 離散機率模型 
- Discrete Probability Law
    - If 
- Discrete Uniform Probability Law
    - If the sample space consists of $n$ possible outcomes which are equally likely( i.e., all single-element event $A$ is given by probability), then the probability of any 補
## An Example of Sample Space and Probability Law
## Properties of Probability Laws
$P(A_1 \cap A_2 \cap ... \cap A_n) \leq [\sum\limits_{i = 1}^{n}P(A_i)] - n + 1$







































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































