On two important occasions I have seen the need for `exotic' differentials:
- Two years ago, in exploring Special Relativity in functions spaces: ∫f(x,y)√dx dy
- Nowadays, in `taking the square root' of the metric tensor gμν.
This will eventually boil down to defining functions with number of variables being in R, hence Rx, x∈R.
To do it, observe that
2∅={∅}.If we write this as
(ϵlogϵ2)∅={∅},
and define
logϵN=−D
we will have
N∅=(ϵ−D)∅=ϵ−D∅={∅}
which means {∅} can be safely regarded as the Identity Element of the Cartesian Product.
In particular, this means that the number of subsets of S in a D-dimensional N-valued logic will be
|P(S)|=N|S|=ϵ−D|S|.
Thus, we define
1:={∅}.
Then using this logarithm we can transform the Cartesian product Rx, x∈R to Union: we define logarithm of a set as
ln(A∪1):=ln(A∪{∅}):=∞⋃n=1(−1)n+1Ann=A∩A22∪A33∪O(x4).
In particular
ln(R∪1):=ln(R∪{∅}):=∞⋃n=1(−1)n+1Rnn=R∩R22∪R33∪O(R4).
Hence, finally
lnRx=xlnR.
No comments:
Post a Comment