Math 2.0

definition

Decimal expansion

Definition

Let xx be a real number with x≥0x \ge 0. A decimal expansion of xx is a natural number a0a_0 and a sequence (dk)k≥1(d_k)_{k \ge 1} of digits dk∈{0,1,…,9}d_k \in \{0, 1, \dots, 9\} with x=a0+∑k=1∞dk10k.x = a_0 + \sum_{k=1}^{\infty} \frac{d_k}{10^k}. The notation is x=a0.d1d2d3…x = a_0.d_1 d_2 d_3 \dots, with a0a_0 in base 1010.

Remarks

The series always converges, because its partial sums are increasing and bounded above by a0+1a_0 + 1. A number can have two expansions. This happens exactly when one expansion ends in infinitely many 00 and the other in infinitely many 99, as for 0.999... and 1. For a negative number xx, one writes −- followed by an expansion of −x-x.

Explanations

L1 human

The digits after the point say how many tenths, hundredths, thousandths, and so on, the number has. For example, 3.143.14 means 3+1/10+4/1003 + 1/10 + 4/100. For a number such as π\pi, the digits go on forever.

What this node needs for W2
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 5 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Real numbers object
  2. Set bounded above definition
  3. Supremum definition
  4. Completeness axiom statement
  5. Decimal expansion definition

What depends on this

2 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Decimal_representation, lead section
  2. Web https://en.wikipedia.org/wiki/Decimal_representation, Integer and fractional parts