Decimal expansion
Definition
Let be a real number with . A decimal expansion of is a natural number and a sequence of digits with The notation is , with in base .
Remarks
The series always converges, because its partial sums are increasing and bounded above by . A number can have two expansions. This happens exactly when one expansion ends in infinitely many and the other in infinitely many , as for 0.999... and 1. For a negative number , one writes followed by an expansion of .
Explanations
L1 human
The digits after the point say how many tenths, hundredths, thousandths, and so on, the number has. For example, means . For a number such as , 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.
- no evidence level
- Real numbers object
- Set bounded above definition
- Supremum definition
- Completeness axiom statement
- Decimal expansion definition
What depends on this
2 nodes use this node, directly or through other nodes.
- Every real number has a decimal expansion 047KEVEZ9Q
- Repeating decimals are rational 065S5B9HF1
Sources
- Web https://en.wikipedia.org/wiki/Decimal_representation, lead section
- Web https://en.wikipedia.org/wiki/Decimal_representation, Integer and fractional parts
What links here
Used by
- Every real number has a decimal expansion 047KEVEZ9Q
- Repeating decimals are rational 065S5B9HF1