|
STRATEGY |
TACTICS |
CLOSURE ON RATIONAL NUMBER LOGARITHM
--------------------->
SHIFT| ^CLOSURE ON
FROM| |DEFINED
RATIONAL| |RATIONAL
NUMBERS| |LOGARITHM
| |(RESTRICTED
V-------------------->SYSTEM)
DEVELOP DEFINED RATIONAL ARITHMETIC |
In a DECIMAL NUMBER, the digits prior to the DECIMAL POINT
form the CHARACTERISTIC (denote as "C"); posterior digits form the MANTISSA
(denote "M"); many decimals are formed by their combination ("CM").
DEFINED LOGARITHM (for any OPERATION o): S o S = S; usually of the form
CM. ALL ARITHMETIC OPERATIONS, EXCEPT ROOT EXTRACTION AND LOGARITHM, WORK FOR
DEFINED LOGARITHMS. The number, logba is
IRRATIONAL whenever a,b are COPRIME (with no shared
integral factor), prevailing for an UNCOUNTABLE number of cases.
|
CLOSURE ON A TOTAL NUMBER SYSTEM
------------------------->
SHIFT FROM| ^ALL OPERATIONS
DEFINED| |EXCEPT LOGARITHM
LOGARITHMIC| |CLOSED IN
ARITHMETIC| |REAL NUMBER
| |SYSTEM
V----------------------- >
DEVELOP CAUCHY SEQUENCE VECTORS ARITHMETIC
COMBINING |
A CAUCHY SEQUENCE (GENERALIZING ARITHMETIC PROGRESSION)
IS: A SEQUENCE {an} SUCH THAT, FOR EVERY
e > 0, THERE EXISTS AN
INTEGER N FOR ALL |an -
am| WITH m, n > N. (CAUCHY)
SUMS Of INFINITE SEQUENCES CAN BE DEFINED. THIS IS ACCOMPLISHED BY
ADJOINING (TO FINITE OPERATIONS OF ARITHMETIC) THE TRANSFINITARY OPERATION
OF LIMIT (AN ANTITONIC PROCESS), PROVIDING THAT EVERY CAUCHY SEQUENCE
EXISTS, WHEREIN EVERY FINITE SUBSEQUENCE IS RATIONAL. THIS ALLOWS
FORMATION OF VECTORS OF THE FORM [ c, 0]; [0, m];
[c, m], MIXED TYPE. WHEREAS
DEFINED LOGARITHMS ARE RESTRICTED, NO SUCH RESTRICTION EXISTS ON VECTOR
COMPONENTS, PROVIDED NO VIOLATING OF RATIONAL ARITHMETIC.
|
"AWKWARD" VECTOR NOTATION
------------------------->USE DECIMAL
SHIFT| ^NUMBER NOTATION
FROM| |FOR THE THREE
VECTORS| |VECTOR CLASSES:
OF CAUCHY| |CLOSED FOR ALL
SUMS| |OPERATIONS EXCEPT
V----------------------- >ROOT EXTRACTION
REDUCE: 3 EQUIVALENCE CLASSES OF VECTORS
COMBINING |
SO REAL NUMBERS ARE VECTORS OF CAUCHY SUMS OF RATIONAL NUMBERS. BUT
THIS VECTOR NOTATION IS AWKWARD & CAN BE BYPASSED. HOW? BY USING
WRITING THE THREE VECTOR EQUIVALENCE CLASSES AS DECIMAL NUMBERS. THE
VECTOR [c, 0] BECOMES AN
INTEGRAL REAL NUMBER. THE VECTOR [0, m] BECOMES A DECIMAL NUMBER WITH CHARACTERISTICS ZERO,
MANTISSA NONZERO. AN THE MIXED VECTOR, [c, m], BECOMES AN OBVIOUS FORM OF DECIMAL NUMBER. THIS
GENERATES THE REAL NUMBER SYSTEM IN WHICH THE EXPONENTIATION INVERSE OF
LOGARITHM ALWAYS EXISTS. |