Cantor Set,
Priciple: 1-1 bi-directional mapping to determine whether two sets(infinite or finite) A and B have the same size.
- false: [0, 1] ~ (0, +∞) : 閉區間 [0, 1] 上全部的點作成的集合是 不對等於 \(Z^{+}\) 正整數集 上全部的點作成的集合。
- true: (0, 1) ~ (0, +∞) :
Bolzano-Weierstrass Theorem
有 無窮多點 的 有界閉區間 必定 至少有一個 的 聚點。
using bisect methodology.