Infinity Intuition Examples in Math

Start with the recap, study the fully worked examples, then use the practice problems to check your understanding of Infinity Intuition.

This page combines explanation, solved examples, and follow-up practice so you can move from recognition to confident problem-solving in Math.

Concept Recap

The concept of endlessness or unboundedness—a process that goes on forever with no final stopping point.

Numbers never stop—there's always a bigger one. Infinity isn't a number, it's a direction.

Read the full concept explanation →

How to Use These Examples

  • Read the first worked example with the solution open so the structure is clear.
  • Try the practice problems before revealing each solution.
  • Use the related concepts and background knowledge badges if you feel stuck.

What to Focus On

Core idea: Infinity (\infty) represents unbounded growth, not an actual number to calculate with.

Common stuck point: Treating \infty as a number (\infty + 1 = \infty doesn't work like normal math).

Sense of Study hint: Ask yourself: can I name a number bigger than this? If you always can, that's infinity at work — a process, not a stopping point.

Worked Examples

Example 1

medium
Show that the set of even positive integers can be put in one-to-one correspondence with the set of all positive integers, even though the evens seem 'smaller'.

Solution

  1. 1
    Define a function f: \mathbb{N} \to \{2, 4, 6, \ldots\} by f(n) = 2n.
  2. 2
    This is injective: if 2m = 2n then m = n. It is surjective: every even positive integer 2k has preimage k \in \mathbb{N}.
  3. 3
    Since f is a bijection, the two sets have the same 'size' (cardinality) — they are both countably infinite.
  4. 4
    This seems paradoxical because the evens are a proper subset of \mathbb{N}, yet they pair up perfectly with all of \mathbb{N}.

Answer

The even positive integers and all positive integers have the same cardinality (both are countably infinite), matched by n \leftrightarrow 2n.
Infinity does not behave like finite quantity. A proper subset of an infinite set can be just as 'large' as the whole set. Galileo first noticed this paradox; Cantor formalised it: infinite sets are compared by bijection, not by subset relationships.

Example 2

hard
Evaluate \displaystyle\sum_{n=1}^{\infty} \frac{1}{2^n} and explain why an infinite sum can have a finite value.

Practice Problems

Try these problems on your own first, then open the solution to compare your method.

Example 1

easy
The sequence 1, \dfrac{1}{2}, \dfrac{1}{4}, \dfrac{1}{8}, \ldots keeps halving. Does this sequence have a last term? What value does it approach?

Example 2

medium
Compare: is there 'more' natural numbers or 'more' integers? Explain using a bijection.

Background Knowledge

These ideas may be useful before you work through the harder examples.

counting