Батусай писал(а):
А вообще это мощности интервалов.
Ни за что бы не догадался.

Думал про скалярные и векторные произведения.
Ну ладно, раз сами решили, прощается.

Идея там обычно такая (рассматриваем случай

и
![$[0,1]$ $[0,1]$](https://dxdy-03.korotkov.co.uk/f/a/c/f/acf5ce819219b95070be2dbeb8a671e982.png)
): берем

и

. Тогда если

, то*

и
![$[0,1]=B\sqcup C$ $[0,1]=B\sqcup C$](https://dxdy-03.korotkov.co.uk/f/a/6/e/a6eb06be80da40aadfa918de762cbeef82.png)
а множества

и

счетны, и между ними легко биекцию установить.
А еще можно пользоваться Кантором--Бернштейном: инъекция
![$f:(0,1)\to[0,1]$ $f:(0,1)\to[0,1]$](https://dxdy-03.korotkov.co.uk/f/2/8/b/28b53b982c7e9a74df9c255a1c006e9082.png)
тривиальна, а
![$g:[0,1]\to(0,1)$ $g:[0,1]\to(0,1)$](https://dxdy-02.korotkov.co.uk/f/d/b/3/db3d73c435ca03994b6bf754e893e55282.png)
можно взять

.
_________________
*
"квадратное" объединение
- это я подчеркиваю, что объединяемые множества не пересекаются.