Consider tossing a fair coin. If we get a head, we further randomly draw a number out of {1, 2, 3}. If we get a tail, we randomly draw a number out of {4, 5, 6, 7}. It is evident that probability of getting a head is $o.5$. However, I'm running into also sorts of troubles proving this mathematically. Let me explain.
Let me define few relevant samples spaces as:
$Overall = \{H1, H2, H3, T4, T5, T6, T7\}$
$Toss = \{H, T\}$ $Draw1 = \{1, 2, 3\}$ $Draw2 = \{4, 5, 6, 7\}$Let me also define few events of our interest in the '$Overall$' sample space.
$\mathcal{H}$= the event of getting a head = $\{H1, H2, H3\}$
$\mathcal{D}3$= the event of getting a three = $\{H3\}$
I need to prove $ℙ$ (getting a head) = $ℙ (\mathcal{H}) = 0.5$
Argument 1:
Since the coin is fair, $ℙ (\mathcal{H}) = 0.5$. But $\mathcal{H}$ is not just $\{H\}$, it also includes the draws. To me declaring $ℙ_{toss} (\{H\}) = 0.5$ is fine as it is based on axioms of probability. But declaring $ℙ_{overall} (\mathcal{H}) = 0.5$ is a bit abrupt.
Argument 2:
Probability of an event is not affected by events of the future experiments and therefore $ℙ_{overall}$ $(\mathcal{H}) = ℙ_{toss}$ $(\{H\}) = 0.5$. This means probability of getting a head is independent of getting any value in the subsequent random draw; and this has implications as described below:
$\mathcal{H}$ is independent of $\mathcal{D}3$
$\Rightarrow$ $\mathcal{D}3$ is independent of $\mathcal{H}$
$\Rightarrow$ $\mathcal{D}3$ is independent of $\mathcal{H}^c$ - This is not true. $ℙ ($a tail and $3$ $) \ne ℙ ($a tail$) \times ℙ ($ $3$ $)$
Can anyone help me prove $ℙ (\mathcal{H}) = 0.5$
Please use symbols rather than words, if possible, for events.