Is Infinity a Real Number? (No — Here is the Clean Reason)

You have been using \infty for a while now. You write "x \to \infty" under a limit, you write "\sum_{n=1}^{\infty} \frac{1}{n} = \infty" to say a series diverges, you talk about "the interval (0, \infty)" as if \infty were a point sitting at the far right of the number line. After enough of this, it starts to feel like \infty is a number — a very big one, at the end of the line, the natural final element.

It is not. \infty is not a real number, and the reason is not "it is too big" or "you cannot write it down." The reason is structural: the real numbers \mathbb{R} form an ordered field, and \infty breaks the field axioms the instant you try to include it. This article walks you through exactly how it breaks, where \infty does live as a legitimate mathematical object, and why the casual notation you see every day is a convenience, not a claim that \infty \in \mathbb{R}.

Short answer: the field axioms rule it out

\mathbb{R} is a field. This means that alongside the order < and completeness (see Real Numbers — Properties), the reals satisfy the arithmetic rules from Operations and Properties: addition and multiplication are associative, commutative, distributive, every number has an additive inverse, every non-zero number has a multiplicative inverse, and so on.

Now suppose, just for a second, that \infty were a real number. Then the equation

should hold — that is the whole content of "infinity is so big that adding one leaves it alone." Subtract \infty from both sides (legal, since \infty would have an additive inverse):

Contradiction. The arithmetic of \mathbb{R} simply cannot accommodate a number that absorbs addition. Equivalently, the equation x + 1 = x has no solution in the reals — every real x satisfies x + 1 \neq x. If \infty were a real number, it would be such a solution, and no such solution exists.

Why this argument is watertight: we are not making any extra assumptions about what \infty "really is." We are only using two things — the field axioms, which are part of how \mathbb{R} is defined, and the one property that makes \infty feel like \infty, namely \infty + 1 = \infty. Put those two together and you get 1 = 0. So \infty cannot live in a field.

You can run the same killer on multiplication. If \infty \cdot 2 = \infty, cancel \infty (which would require \infty \neq 0 and a multiplicative inverse): 2 = 1. Again the field structure falls apart.

The takeaway: any symbol with absorbing behaviour under + or \times is incompatible with being a real number. \infty has that behaviour by design. So \infty \notin \mathbb{R}.

Where \infty does live

Saying \infty \notin \mathbb{R} does not mean the symbol is illegitimate. It means you have to be careful about which system you are working in. Here are the three places \infty genuinely lives.

The extended real line \overline{\mathbb{R}} = \mathbb{R} \cup \{-\infty, +\infty\}. This is the system you implicitly use when you write \lim_{x \to \infty} f(x) = L or \int_0^{\infty} e^{-x}\, dx = 1. The extended reals add +\infty and -\infty as two new symbols, with the conventions:

But crucially, \overline{\mathbb{R}} is not a field — the addition of \infty breaks the field axioms, exactly as shown above. Certain operations are left undefined:

are all indeterminate forms. You cannot assign them a value consistent with the rest of the rules. This is why limits of the form \lim (f - g) when f, g \to \infty require actual work — the answer depends on how f and g grow, not just on the fact that both blow up.

The Riemann sphere (one-point compactification). In complex analysis, you attach a single point \infty to the complex plane \mathbb{C}, wrapping the plane into a sphere. Now \infty is a legitimate location on a legitimate space — just not in a field. The sphere is useful for rational functions, stereographic projection, and Möbius transformations, where \infty is genuinely a point you can pass through.

Cardinal and ordinal numbers (set theory). Here \infty is not one thing but a whole hierarchy of things. The cardinal \aleph_0 is the "size" of \mathbb{N}; the cardinal 2^{\aleph_0} is the size of \mathbb{R} (see Countable Rationals, Uncountable Reals). These are transfinite numbers with their own arithmetic, entirely separate from \mathbb{R}.

Each of these systems is a legitimate mathematical object. None of them is \mathbb{R}, and in none of them does \infty behave like an ordinary real number.

Why students think \infty is a number

The confusion is not random. It comes from three specific notational shortcuts that look like statements about \infty being a value.

Shortcut 1: "x \to \infty" reads like "x equals infinity." It doesn't. The arrow \to means "grows without any finite upper bound." \lim_{x \to \infty} f(x) = L says "no matter how large x gets, f(x) stays close to L." No actual assignment x = \infty is made. x is always a real number; it just runs off toward the right.

Shortcut 2: "\sum_{n=1}^{\infty} a_n = S" reads like "an infinite sum equals S." What it actually says is: the sequence of partial sums S_N = a_1 + a_2 + \cdots + a_N has limit S as N \to \infty. Every S_N is a finite sum of real numbers; the "infinite sum" is the limit of a sequence. You are never actually adding infinitely many terms.

Shortcut 3: The interval (0, \infty) reads like "from 0 to the point at infinity." It just means \{x \in \mathbb{R} : x > 0\} — every positive real. The right bracket is "(" not "[" precisely because there is no endpoint to include. The \infty in the notation is a reminder that the set is unbounded above, not a named point.

In each case, the notation uses \infty as shorthand for "grows without bound" or "no finite upper limit." Strip away the shorthand and the underlying statement is always about finite real numbers doing unbounded things. \infty is the label on the door, not a resident inside.

Why the shorthand works despite not being literally true: mathematicians designed these conventions to be safe — as long as you are working inside the extended reals with the usual rules, and avoid indeterminate forms, the shorthand gives correct answers. The price is that you lose the right to treat \infty like a real number for arithmetic purposes.

Operations with \infty — what is allowed, what is banned

Inside \overline{\mathbb{R}}, the following are defined:

The following are undefined — they are indeterminate and genuinely have no canonical value:

Why are these off-limits? Because you can cook up limits whose forms look like these but whose answers are anything you want. \lim_{x \to 0^+} x \cdot \frac{1}{x} = 1 is a 0 \cdot \infty form equalling 1. \lim_{x \to 0^+} x \cdot \frac{2}{x} = 2 is a 0 \cdot \infty form equalling 2. If 0 \cdot \infty had a single value, both limits would have to equal that value — but they don't. So no single value can be assigned.

Going deeper

Hyperreals and infinitesimals

In 1966, Abraham Robinson constructed the hyperreal numbers \mathbb{R}^*, a system containing positive numbers smaller than every 1/n (infinitesimals) and positive numbers larger than every n (infinite hyperreals). This sounds like it contradicts everything above, but the hyperreals are not Archimedean and not complete in the sense \mathbb{R} is. The infinite elements are not called "\infty" — they are a whole class of infinitely large numbers, and arithmetic on them is well-defined precisely because they were engineered to fit inside an ordered field.

Projective lines and cardinals

The real projective line \mathbb{R}P^1 adds a single point at infinity to \mathbb{R}, identifying +\infty and -\infty — you wrap the line into a circle. In the complex case the same trick gives the Riemann sphere, the natural home for Möbius transformations x \mapsto \frac{ax+b}{cx+d} and for poles in complex analysis. Set theory goes further still: there are infinitely many "sizes of infinity" — \aleph_0, \aleph_1, \aleph_2, \ldots — with their own arithmetic, e.g. \aleph_0 + \aleph_0 = \aleph_0. These rules do look absorbing, and that is fine because cardinals are not real numbers.

The clean takeaway

\infty is not in \mathbb{R}. The structural reason — x + 1 = x has no real solution — is short, watertight, and generalises to any field. Every time you write \infty in a calculus class, you are using shorthand for an unbounded process involving finite real numbers, or you are working in a larger system (extended reals, Riemann sphere, cardinals) where \infty is a legitimate but non-real object.

Keep this distinction clean and a lot of calculus stops feeling mysterious. Divergent sums, improper integrals, and limits at infinity are all about unbounded finite processes — not about a number \infty at the end of the line. There is no end of the line. That is exactly what it means for \mathbb{R} to be unbounded.

This satellite sits inside Real Numbers — Properties. See also Is \sqrt{2} Really a Number, or Just a Symbol?, Countable Rationals, Uncountable Reals, and Limits at Infinity.