January 12, 2011 9:34 World Scientific Book - 9in x 6in mathematics
Space and Time from Physics to Biology 129
geometric structur e s involved are reducible to very minimal discrete units.
Such a reaction hides many problems. Physical and mathematical pr in-
ciples prevent our modeling continuous and three-dimensional information
in discrete form. The notion of (Cartesian) dimension does no t apply in
the discrete frames of codings and programs. Infinite discrete structures,
the natural numbers N in particula r, are isomorphic to any finite product:
N ≡ N
m
, by a computable isomorphism. That is, any finite string of in-
tegers can be encoded as an integer, and this is crucial for Gödel’s and
Turing’s approach to computability and their applications.
These isomorphisms make no sense in mathematical physics, as they
would simply destroy most of its theories: dimensional a nalysis, that is the
analysis of the number and type of va riables in a function f (x
1
, . . . , x
n
),
is cr ucial in physics and theories radically change when changing dimen-
sion. From the analysis of heat propagation (Poisson equations), whose
characteristics are very different in one, two, or thre e dimensions, to the
“mean values theories,” which differ radically from two, three, or four di-
mension, and a lot more. Not to quote relativity theory w here the unified
four -dimensional structure of space-time is crucial or string theory, where
intelligibility is given by moving to 10 or more dimensions. And math-
ematics proves it beautifully, in relation to the “natur al topology” on R,
the real numbers, that is in relation to the so-called Euclidean or interval
top ology. Recall first that the interval topology is “natural” since it comes
from physical measure, which is, by principle, an interval. Then, and this
is fantastic, one can prove the following:
if A ⊂ R
n
and B ⊂ R
m
are open sets and A ≡ B, then n = m.
This theorem says that dimension is a topo logical invariant, when one
takes the natural topology in a s pace manifold, in the sense of Riemann.
This result is false when considering, for example, the discrete topology on
R, or, say, a weakly separated topology. This is a remarkable connection
between mathematics and physics, via measure: the interval of physical
measure, which yields the na turality of the Euclidean topology on the re-
als, ma kes dimension an invariant and gives a mathematical meaning to its
central role in physics. Thus, there is a mathematical gap between the con-
tinuum and the discrete, which is not, in general an approximation rela tion;
instead, they provide different mathematical intelligibility of phenomena.
Now, the smallest living phenomena comprise dynamical systems (ther-
modynamic systems, systems with critical points). And here is a further