Tensions in Practice: Finite decimal convenience in tension with an exact algebraic identity¶
A square whose target area is two
A drawing interface accepts a square whose area differs from 2 by at most 0.05. Side 1.4 gives area 1.96, so it meets that contract. A symbolic algebra step instead needs the identity x² = 2 exactly and keeps the object √2. More rational digits can approach √2 as closely as requested, but no rational value becomes that irrational root.
Meet a stated tolerance in a decimal interface
Use a finite decimal that is adequate for the drawing contract.
Preserve the exact identity
Carry the symbolic algebraic object through exact reasoning.
Why these aims pull against each other
A tolerance check and an exact identity are different contracts. Increasing approximation precision does not convert rational membership into membership of the irrational target itself.
Choose an arrangement to see what changes and what remains difficult.
√2 denotes the exact positive number whose square is 2. Area error is the absolute difference from 2. The decimal arrangement satisfies a declared 0.05 tolerance; the symbolic arrangement preserves an exact identity.
What this choice protects
What it costs
When it fits
Compare the arrangements
Meet the drawing tolerance
Use side 1.4. Its squared area is exactly 1.96 in decimal arithmetic, giving absolute area error 0.04, below the allowed 0.05.
| Side | Square | Area error | |
|---|---|---|---|
| Chosen value | 1.4 | 1.96 | 0.04 |
- What it protects
- The value is directly usable by the declared finite-decimal drawing interface.
- What it costs
- It cannot support the exact claim x² = 2; a tighter tolerance may require a longer representation.
- When it fits
- Fits this explicitly approximate drawing task.
Illustration note: The area tolerance is verified directly rather than inferred from an unspecified side-length tolerance. No particular floating-point implementation is assumed.
Retain the exact root
Represent the positive root √2 as an algebraic object and use its defining relation when squaring it.
| Side | Square | Area error | |
|---|---|---|---|
| Chosen value | √2 | 2 | 0 |
- What it protects
- The exact identity x² = 2 is retained for symbolic reasoning.
- What it costs
- The consumer needs symbolic operations; exporting to a finite decimal drawing format still requires an approximation step.
- When it fits
- Fits an algebraic task whose downstream step requires exact equality.
Illustration note: A compact symbol denotes an exact object without listing its decimal digits. It is not a finite rational number secretly equal to the irrational root.
What this illustration does—and does not—establish
The source supplies the structural tension. This bounded example makes a particular relation inspectable; the aims, conditions and residual costs are part of the comparison.
- The rationals are dense in the reals, but a fixed finite set of machine numbers is not. Arbitrary positive tolerances may require changing precision and representation size.
- The single 1.4 example meets one tolerance; it is not a proof of density or a claim of effortless approximation.
- Unlike the negative-root domain case, the desired positive real object exists here. The issue is whether the chosen representation attains it exactly.
Source entries
Dense Set
The canonical tension motivates this comparison. The setting and arrangements are declared editorial illustrations, not observed findings.
Approximation versus Exactness (sign/direction)
Density guarantees reach to within any tolerance but never that a target is itself a member — the reachable set is the closure, not the subset.
The source operation
A subset is *dense in* an ambient space when every point of the ambient can be approached arbitrarily closely from inside the subset: for any tolerance you can name, some member of the subset lies within that tolerance of any chosen point.