Exercise · ZW-FINITE-SET-009 · ★★★ Advanced

Why is \(\mathbb{N}\) not finite?

Choose one option.

Show answer
  • D. Because it is bijective with a proper subset of itself

Explanation

A finite set can never be put in bijection with a proper subset of itself. The map \(n\mapsto n+1\) sends \(\mathbb{N}\) onto \(\mathbb{N}\setminus\{1\}\), which shows \(\mathbb{N}\) is infinite.

Study Set theory in ZWMath →

Review the concept: Finite set

A set \(A\) is finite if there is a bijection between \(A\) and \(\{1,\dots,n\}\) for some \(n\in\mathbb{N}\), where \(\{1,\dots,0\}=\varnothing\).

\[A\sim\{1,\dots,n\}, \quad |A|=n\]

More practice problems: finite set

← ZW-FINITE-SET-008 ZW-FINITE-SET-010 →