torsion of line.
In x dimensional space, it is edge x twisted 3 times via pi/2. So one
twist is removed from line and attributed to space itself.
Notice that you're taking a flat/uniform/abstract representation for x^x (the fact that you're using variables makes the content of this space non-discrete and nonspecific, so it's a very general form of abstraction) and then attempting to map it to the structures x[3]x and x[4]2 and though you've given descriptions of what these quantities are, I'm not familiar with this representation. Maybe a couple concrete examples of how they're constructed would work.
How do you compute, 2[3]4, for example. I need to know the precise algorithm in order to see how these spaces are constructed.
But still, notice that you began with an abstract virtual and uncorrelated/random space of x dimensions with widths of x (very little of any distinct features to isolate any spacial properties of it as being specific - it's highly symmetric) and then you impose specific ratios of attributes upon it by substituting in constants and the resulting interpretations of these new fixed spaces arise from your imposing non-symmetric features to it, of which the significant attributes are quantities and I believe there's a manner to even describe your interpretation of the geometric interrelationships between these numbers as a number itself (as a simple example to demonstrate the possibility of this, we could, for example, write a computer program to compute such interpretations of spaces and interprete the instructions for this program and input as a number itself and the spaces your describe become numbers within this context - though notice that defining the instruction set could appear to exist as something beyond this, but if that instruction set was also defined in terms of geometric objects with numeric interpretations, then the entire computation could be seen as isolating a subset of the fractal space that this "seed" structure, defining the basic operations of such a geometric processor, that could evolve into this - in other words, specific programs would be the same as selecting specific points within this space, much like searching a fractal landscape for an object of a specific form).
Notice that in order to create an actual physical space, the dimensions must not be entirely unrelated within it (which could similarly be seen as being perfectly correlated and indistinguishable) or there would be no ability to construct the equivalent of laws that were able to connect them into interacting within a single universe.
So if we have a space that might initially appear as n^m, this is simply the mental abstraction of such a space that can potentially describe any combination of the n varieties of attributes in m dimensions - but notice again that this ability to describe any of them also means that it doesn't
specifically describe anything and in fact we could reorder dimensions without influencing the properties of this space, so there's nothing that keeps any of these specific dimensions as actually remaining specific and distinct.
Now notice that instead if we have an asymmetrical volume described by, for example 3 dimensions of widths 2, 3 and 5, then the volume of this space would be 30 (if the dimensions were truly unrelated) and at this point we can inherently determine specifically what forms of properties exist within each of these dimensions as (given the assumption that it's 3 dimension - which could be seen to arise as information from outside this volume of 30 as we could interprete it to represent various other dimensional forms as a single dimension of 30 or a 2 space of 5x6 size etc.), and the dimensions are inherently represented by binary, ternary and quinary (?) properties and this is determined by factorizing the volume of a space into independent dimensions.
Notice that objective reality is defined in terms of shared quantities - the specific order of objects with a shared class between observers isn't inherently common, but the fact that quantities of both of them can be compared between observers is what determines common features in this landscape (for example, the color orange is determined by ratios of quantities of photons possessing specific wavelengths that are measured by quantities of distance or time, a forest is recognized by quantities of trees and smells are ratios of quantities of chemical interactions determined by atoms which interact via. discrete quantities of electrical charges - you can rearrange the specific ordering of individual events for an observer and the experience can be perceived differently, but objective reality between observers is constructed by taking a window of time of such events and extract various commonly measured quantities embedded within these aggregate features over time) - so two people don't see the same photon because it's a discrete event that can't be broken up into finer quantities, but two observers seeing similar ratios of photons from two objects can determine that one object is brighter than the other or supplies a greater force etc.).
If we consider what a truly objective universe would appear as, it would not possess any specific conscious qualities to it - red photons would not be specifically red (as truly I can't see what red looks like to someone else) but would instead be defined by a specific "object" within this objective view the universe, and in order to locate it in a precise and unique manner, I'd need a collection of all possible common elements within this objective universe and this would effectively be the basic alphabet for communication and further, it's need these to each remain unique and not be swapped in interpretation and this requires a space to store them and appears to require that this space actually exist as a single dimension (there would be no purpose to describing these symbols in any higher dimensional form because they, in themselves do not have any specific significance or meaning, yet, until related into more complex structures) - and because they each need to remain distinct and not swappable with any other element, then a precise ordering within this dimension is required and we could effectively enumerate them (in any order) as A, B, C etc. or 1, 2, 3 ... but recognize that the numeric ordering implies numeric features, which do not (yet) exist in this example because quantities of these occur over time and collections of them describe aggregate properties of objects in a common objective space.
But though these symbols have no specific numeric interpretation, the fact that they must exist in a specific linear ordering in a dimension automatically imposes a numeric manner of referencing them and this, in itself, can construct rules by which some are found relative to others. (Notice that such a view creates an objective universe that could be viewed from diverse subjective conscious qualities and that the conscious qualities of some of these traits could be swapped/altered in many ways, though the quantity of these would need to match so that a 1 to 1 perception of physical properties remained in common)
Now if we instead constructed a space similar to the form n^n, but required that each dimension of this represent a different quantity, then we'd have a volume of 1*2*3*4*...*n, or n! instead of n^n.
Notice that n! and n^n are closely related
http://mathworld.wolfram.com/StirlingsApproximation.html, and that, for large n, log(n!)~=log(n^n), so you could interprete this to mean that the apparent number of dimensions, of constant width, required to describe the volume of these two spaces would appear very similar, but the n! space has non-random properties inherent in it that the n^n interpretation doesn't (you might see this similar to a mismatch between a virtual/mental space described by abstract properties versus an actual space of objects required to be defined by specific and unique properties).
An interesting approximation, more accurate that Stirling's is this one, given by Gosper:
n!~=((2n+1/3)*pi)^.5 * n^n * e^-n
Notice that this approximation could be seen as a scaleing factor to the n^n space, if we rewrote it like this:
n!~=n^n * scaling
scaling=(2pi*(n+1/6))^.5 * e^-n
Notice that the term e^-n implies a recursive scaling by 1/e or ~.368 as every additional dimension is added. This could be interpreted in a geometric context similar to a half life (notice this implies a randomness) to correlations between spaces as each new layer is added, and if we remove this term and look at what's happening before this decay in correlation between dimensions, we have:
scaling(excluding decay of time in correlations)=2pi*(n+1/6)^.5
We cancel the square root by squaring:
scaling(excluding decay of time in correlations)^2=2pi*(n+1/6)
And this has an interesting correlation with a complete cycle of rotation (2pi) for every new dimension added, though we begin with a 1/6th rotation (with many interesting geometric correlations here).
Anyway, those are just some potentially interesting ideas to consider. (Alternately we could possibly make some correlations with a gaussian form here as we have an e^-n term as well as sqrt(pi) term)
QUOTE (buttershug+)
The word processor must be set to chop to make this word salad.
So your mind twists post into word salads ... interesting.
StevenA
6th July 2008 - 06:48 PM
Here's another way to look at this with regard to the potential differences in abstract/mental versus real/perceivable volumes of space:
If we have a space with a volume of n units, and each unit contained, for example either "nothing" (or empty space) or a proton, there could be considered to be 2^n possible configurations for this space - this is the abstract/mental model.
Now consider that if we swap two units of empty space or two units of protons, the space, from this abstract perspective is identical and we remain at one of those 2^n possible configurations and the same is true for swapping units of "empty" space. (Notice that both the "empty" space and the protons can actually move within their respective fields, to the extent that such motions remain undetectable, or alternately we could say that such motions are meaningless/impossible and two protons, for example, could not swap places within this space - the only way to allow such protons to swap spaces would be to treat each proton as if it were not identical and that proton A moved to the location where proton B was and visa versa, but notice that this space requires a memory to construct and is effectively larger in information content and has a form that's not exponential but factorial)
If we have a space in which, otherwise indistinguishable, objects can appear to move then we're appending an individual context to each that makes it unique and allows us (relative to an observed history of that space) to distinguish between them and no longer is a proton, for example, described solely by its physical properties identical to other protons, but it has now become proton A or proton B etc.
In this case, if we have a space of n units, and we have m protons within it, but each is uniquely designated, then we have a larger possible number of configurations as the ordering of protons is considered significant and, for example, the existance of 3 protons, A, B and C would allow for these to placed in one of 6 possible ways as ABC, BAC, ACB, etc.
If we consider the empty spaces within this to be indistinguishable, then we do not have such a context for units of empty space and the volume of space can grow much larger without providing the information complexity that matter does within a smaller volume.
To compute the total number of possible configurations of m distinct objects contained within a space of n units, with the remaining n-m units of empty space being considered indistinguishable from each other (and motions within this empty space being considered irrelevant as individual units of it aren't differentiable), we can compute the form of this equation to be a product of two terms - one term indicates the number of possible manners in which the matter could be reorganized internally, within the same volume of space, and the other indicates the spacial locations at which these units of matter reside within space (so one could be interpreted as an inherent complexity to mass and the other an inherent complexity to space position/motion of that mass - which is effectively just described by the locations of space, where matter, is not).
For some background here on the mathematics
http://en.wikipedia.org/wiki/Combinatorics#configurations of mass with m distinct units=m!
We can define s as the number of units of empty space as:
s=n-m
And we can see this simply as selectively placing s units within a space of n, of which the first unit of space could be placed at one of n locations, and the second at one of n-1 locations (there would no ability for space to be twice as dense, for example, using this model) and the the next at n-2 etc. until we place n-m units and then we divide by the number of possible reorderings of s, because these reordering of space would not be detectable and we get:
#configurations of space=n!/s!
Which can alternately/conversely be interpreted to be the possible spacial forms this mass could reside within.
And we get the total number of possible states which considering possible permutations for mass above by multiplying:
#total states=m!*n!/s!
Notice that if we ignore the term detailing properties of mass, and look at n>s (which would be the case if any matter existed), we can cancel the division and construct this as a product of purely independent dimensions, and for example if n=7 and s=4, then we'd have:
#states_excluding_matter(n=7,s=4)=(7*6*5*4*3*2*1)/(4*3*2*1)
#states_excluding_matter(n=7,s=4)=(7*6*5) * (4*3*2*1)/(4*3*2*1)
And the second term cancels and we simply have:
#states_excluding_matter(n=7,s=4)=(7*6*5)
Which could be interpreted as a 3 dimensional space with dimensional widths of 7, 6 and 5.
Notice that for a large n (large volume of space) and small m (few distinguishable units of mass) the terms left remaining would simply be a product of m terms, near n and with large n, the relative difference in terms of these dimensions would be small.
For example, if n=100 and m=3, (s=100-3)=97 then we have:
#total states(n=100,s=97)=(3*2*1) * (100*99*98)
Notice that this value is approximately 99^3, and this space could appear to closely resemble a 3 dimensional with uniform dimensions, though it would contain 3 units of mass, A, B and C, which could appear to exist in one of 6 states (would could, for example, interprete these as pointing in a bipolar direction in one of those 3 dimensions and have the aggregate model appear to closely mimic a single unit of matter, with a field oriented in a direction of either +x, -x, +y, -y or +z and -z and the size of this space would be approximately 99x99x99, though in reality it would be 100x99x98, though for any such space with 3 units of small this approximation would be, if we assign j=n-1, we have (j+1)*(j)*(j-1)=j^3-j, or in our above case it would actually be 99^3-99 - and that's where infinitesimal calculus takes a wrong turn and treats this physically similar to the form 99^3 and end up seeing a flat and uniform space then can't determine how asymmetries arise!

and there are some other analogies we can show as well for the (misconstruction) of real numbers).
Ivars
6th July 2008 - 09:05 PM
hi Steven
I was thinking about impossibility to have a generalization of logarithm for higher hyperoperations ( I have a thread where I generalized it, only to find out it results in simplest case in a function that has 2 values 0 and 1 simultaneously).
So, why not to add an additional ( and probably infinitely many) degree of freedom INTERNAL to real, fractional, integer numbers? Than any number would have much more capacity.
The idea is like a torsion (twist) of a curve in 3D. In 2 D curve has only one parameter at each point, curvature. in 1D, even that is missing.
But if a line ( e.g. real number line, or any number) would have internal, or , since it is not present in 2D, imaginary torsion/twist in plane and 1D, than, also numbers representing such twist would have extra degree of freedom.
Also, such twisted intervals of number lines would of course interact with each other, so that in mathematical space, there would be interesting things happening.
Returning to generalized logarithms, that would mean that function f(x) = {0;1} twists (oscillates) between 0 and 1 . The speed of these oscillations ( period in twist space) would than be the related to hyper logarithm which has property :
3_log(a^ b )=3_log(a)+3_log( b ) as compared to usual
log(a^b )= b*log(a).
If such 3_log would exist, it would facilitate computation as did logarithms in 16 th-20th centuries.
And of course, such twisting degrees of freedom can be easily nested, in principle- like a rope that consists of thinner and thinner plaits.
There are no empty spaces, and each of spatial places is different from other by the things that exist in it and are nearby.
StevenA
7th July 2008 - 02:46 AM
I started typing up a large reply (as usual), but they take so long and usually go off on some tangents, so here's a short and quick version

QUOTE (Ivars+)
hi Steven
I was thinking about impossibility to have a generalization of logarithm for higher hyperoperations ( I have a thread where I generalized it, only to find out it results in simplest case in a function that has 2 values 0 and 1 simultaneously).
Yes, notice that most logarithms give irrational results and these can be interpreted as being impossible to construct physically in some instantaineous form (though instead the irrational results can potentially be interpreted as statistical properties over time of a non-stationary object)
QUOTE (Ivars+)
So, why not to add an additional ( and probably infinitely many) degree of freedom INTERNAL to real, fractional, integer numbers? Than any number would have much more capacity.
Yes, real numbers are effectively lists of elements that can be interpreted as existing within arbitrarily complex dimensional frameworks. The real issue would be over how these values appear to interact within this space and what properties these interactions would appear to give.
QUOTE (Ivars+)
The idea is like a torsion (twist) of a curve in 3D. In 2 D curve has only one parameter at each point, curvature. in 1D, even that is missing.
I think many numeric quantities generated in calculus are more accurately described as higher dimensional objects with only the dimensional features encompassing the largest volume of space being retained (but of course throwing away this lower dimensional information can cause many problems, of which 1) the operation can't be reversed without indeterminism arising and 2) the actual result may be physically impossible to construct as the infinitesimal framework required to create it has been removed - likely most irrational results are of this form)
QUOTE (Ivars+)
But if a line ( e.g. real number line, or any number) would have internal, or , since it is not present in 2D, imaginary torsion/twist in plane and 1D, than, also numbers representing such twist would have extra degree of freedom.
In this case the results could more generally be described in terms of a set of quantized/integer vectors or as a multivariable/multidimensional function mapping discrete quantities to discrete quantities. So you should have a precise description available in a form similar to {i,j,k}=f(l,m,n), where these elements are all integers and the function description is also effectively quantized from a finite set of possible operations, though you could have the dimensions of the domain and range of this be different, in which case you're mapping a space described by dimensions of f,l,m and n into a space described by i,j and k, for example (so the above relationship {i,j,k}=f(l,m,n) could be interpreted as a compression of a 4 dimensional space into a 3 dimensional space, if we assume the function itself could be described numerically).
QUOTE (Ivars+)
Also, such twisted intervals of number lines would of course interact with each other, so that in mathematical space, there would be interesting things happening.
Yes, most any non-linear transformation, where we do not have a 1 to 1 mapping possible leads to complexity and appears fundamentally rooted in a problem of being irreversible. This irreversibility though leads to another problem in which you can't determine precisely which input space created the output space (and this might be physically interpreted in the context of a superposition of virtual input spaces - as a quick example, if we have some line "curving" in one dimension and we assume an ability to transform the properties of this curve into some other dimension, then the other dimension must effectively be at least as "dense" in its ability to represent those locations as the initial dimension was, otherwise you end up mapping multiple possible input points to the same output location and then you lose an ability to prove or trace through specifically which mapping gave rise to a specific output. So if the output space is required to be consistantly, at least as "dense" in representations as the input space, then the could at most remain a density equal to the input space, though if we treated all locations within all dimensions as having a uniform density, then we could never return a result back to an original dimension because it would also be required to be more dense in representations than it is - a logical paradox and attempting to iterate such functions either causes the information to appear to become compressed in space within this, or be grow ever more chaotically interleaved over time, or expand toward infinity - for example, saying that y=f(x), where f is a non-linear function, implies that y is required to represent results relative to x in a non-uniform manner over its dimension and if we iterated this, once again as y=f(f(x)) we can potentially square the required range of variations in density, though the specific alignment of these non-linearities within that dimension determine the maximum growth possible)
QUOTE (Ivars+)
Returning to generalized logarithms, that would mean that function f(x) = {0;1} twists (oscillates) between 0 and 1 . The speed of these oscillations ( period in twist space) would than be the related to hyper logarithm which has property :
3_log(a^ b )=3_log(a)+3_log( b ) as compared to usual
log(a^b )= b*log(a).
If such 3_log would exist, it would facilitate computation as did logarithms in 16 th-20th centuries.
I've tried to mess around with the ratio log(3)/log(2) or log_2(3)~=1.58496 a few times before, trying to find some potentially juicy physical correlations, but not with much luck - though, something that bothers me is that there should similar influences for other logarithmic processes, but I can imagine smaller integers to be more influencial. I'm still trying to determine natural manners in which these should interact so that there's less guesswork involved (the best results have come from rigorously tracing through some concepts, though the source of those concepts is semi-random

- but there's still nothing like precise logic and mathematics to derive specific results).
QUOTE (Ivars+)
And of course, such twisting degrees of freedom can be easily nested, in principle- like a rope that consists of thinner and thinner plaits.
It sounds like we're thinking along similar lines here, though this is usually the point where my ability to take steps intuitively and reach the right answers falters and I think my only resort is simulation. (I'm rather certain there are some correlations here with other structures commonly encountered in number theory, which could be seen as nice on one hand in that there are potentially outside resources to use in characterizing properties of such space/objects, but on the other hand that's not too good because it would also tend to imply that you'd get stuck at the same point others have ...)
QUOTE (Ivars+)
There are no empty spaces, and each of spatial places is different from other by the things that exist in it and are nearby.
I'd agree that there should be nothing as empty space. Every location in space should possess a manner in which it's uniquely referenced, otherwise you have a problem of those spaces appearing to be superimposed or folded together properties. Also the fact that the space is defined in properties by neighboring connections allows the interpretation to be extended to a space able to support the concept of constant velocity motion within it. Sounds good to me
Ivars
7th July 2008 - 05:35 AM
Hi Steven,
QUOTE
I started typing up a large reply (as usual), but they take so long and usually go off on some tangents, so here's a short and quick version
That's better.Structure and limits in size helps. Same for me, many times.
QUOTE (->
| QUOTE |
I started typing up a large reply (as usual), but they take so long and usually go off on some tangents, so here's a short and quick version  |
That's better.Structure and limits in size helps. Same for me, many times.
Yes, real numbers are effectively lists of elements that can be interpreted as existing within arbitrarily complex dimensional frameworks. The real issue would be over how these values appear to interact within this space and what properties these interactions would appear to give.
Real numbers try to tell what is the structure inside them/linked to them.
QUOTE
In this case the results could more generally be described in terms of a set of quantized/integer vectors or as a multivariable/multidimensional function mapping discrete quantities to discrete quantities.
Or rather, multivalued functions,but that does not help much if there is nothing more inside these values . function mapping exponetation to a set of 2 values f(x^y)={0;1} does not give much help, but if there are phase relations between 0;1 in some other dimension- no problem.
If I am not mistaken , in early projective geometry ( geometry of position) continuity was associated with existance of IMAGINARY points in space so as it would represent all roots of algebraic equations. This sounds logical to require such continuity requirement. The notion of continuity of real number line was introduced later in geometry and, as it happens, is not provable (continuity hypothesis).
QUOTE (->
| QUOTE |
| In this case the results could more generally be described in terms of a set of quantized/integer vectors or as a multivariable/multidimensional function mapping discrete quantities to discrete quantities. |
Or rather, multivalued functions,but that does not help much if there is nothing more inside these values . function mapping exponetation to a set of 2 values f(x^y)={0;1} does not give much help, but if there are phase relations between 0;1 in some other dimension- no problem.
If I am not mistaken , in early projective geometry ( geometry of position) continuity was associated with existance of IMAGINARY points in space so as it would represent all roots of algebraic equations. This sounds logical to require such continuity requirement. The notion of continuity of real number line was introduced later in geometry and, as it happens, is not provable (continuity hypothesis).
I've tried to mess around with the ratio log(3)/log(2) or log_2(3)~=1.58496 a few times before, trying to find some potentially juicy physical correlations, but not with much luck
No , You misunderstood me, I am not talking about logarithm of 2 in base 3, I am talking about next level, more effective analytic logarithm which would make exponentiation replaceable by addition directly. I have noted such logarithm 3_log as opposed to normal log . Such logarithm would be also related to exponential factorial n^(((n-1)^((n-2)........(.2^1) of bigger 3_factorial 2^(3^(4....((n-1)^n) and its extension, some new Gamma function.
QUOTE
I'd agree that there should be nothing as empty space. Every location in space should possess a manner in which it's uniquely referenced, otherwise you have a problem of those spaces appearing to be superimposed or folded together properties. Also the fact that the
space is defined in properties by neighboring connections allows the interpretation to be extended to a space able to support the concept of constant velocity motion within it. Sounds good to me
See? In the end, c is just a number, determined by mathematical properties of space how it can be.
bukh
7th July 2008 - 07:50 AM
QUOTE:
"I'd agree that there should be nothing as empty space. Every location in space should possess a manner in which it's uniquely referenced, otherwise you have a problem of those spaces appearing to be superimposed or folded together properties. Also the fact that the space is defined in properties by neighboring connections allows the interpretation to be extended to a space able to support the concept of constant velocity motion within it. Sounds good to me
See? In the end, c is just a number, determined by mathematical properties of space how it can be."
Except for the need of a "free room" - a "place" - "imaginary space" - where calculations can be executed before they are being placed in physical space.
Once an information has been placed in 3D it is probably impossible to get rid of that information in 3D, once an informational bit has taken the shape and size of a dimensionality, the destiny of said informational bit is to be adjusted to the neighboring in such a way that there is no physical void - and because physical space is constantly being "feeded" by new (and smaller) informational bits - the achieving of such a fit is an ever ongoing struggle -
By not having such "free room" - imaginary space, it would be impossible to have ANY dynamic. And terefore it is pure logic that there must exist a smallest dimension in physical space. And it is pure logic that the "interior" of smallest physical dimensions cannot be made up of 3D structures and it is most likely a math-expreession dealing with 3 interrelated qualities by itsself leads to irreversability.
Ivars
10th July 2008 - 12:21 PM
Hi Steven, bukh
I studied what i could for 2 weeks and understood little, got lost almost totally but also understood that most books on whatever start with the same- real vector spaces , and then go on developing the ideas. Most who write today about quaternions or not seem not to have studied Hamiltons Elements of quaternions since he gives there much more than just vectors to be used for 3D rotations in visualization. He develops quaternion mathematics- functions, series, calculus, links to geometry, etc. It is not mentioned anywhere in new books even about quaternions. Even first explanator of quaternions Tait did not use most of that. But that is another story to be looked at.
Briefly, if we compare number types geometrically with straight line elements:
Scalars are length of line, or ordinary numbers. They also may measure the translational motion of one end into other.
Vectors are directed ordinary numbers, obtain by inverse summation : A-B . e.g 7-5 is a directed number 2 and is a vector. While -2 is the same vector in opposite direction. Normal imaginary unit have been related to these.
Than , by same logic we must (?) have numbers that are obtained by inverse multiplication, i.e. division. It seems quaternions are these, as Grassmann or Clifford defined his algebra from existence multiplicative inverse, of which there are only 4 known. For some reason, it involves imaginary space of 3D and is related to rotations in space. What is rotated in imaginary space around origin is ordinary imaginary number I- point on imaginary 2-sphere- which is the same as I for normal complex numbers, but generally not the same as pure quaternion axis i,j,k - none of them. x^2+1=0 has infinitely many solutions- +- I -is -antipodal points on this imaginary 2-sphere in pure quaternion space.
Then, next we may have numbers obtained by inverse exponentiation, or log. They may be twisted (?) numbers. Or what else could we do to an imaginary line segment (I have not figured out how and why) . e.g. Because octonions are non-associative, as is not exponentiation usually ( x^y is not y^x usually). Twisted numbers may oscillate?
Then, we move to 4th operation, or tetration. and think about numbers obtained by inverse tetration. What numbers we may obtain by inverse tetration? The inversion of infinite tetration is self root. Self root may denote looping numbers. But for self root to be inverse of tetration, we need infinite tetrations. In the finite tetrations, we get inverses as so called nth - superroots (hyperroots) and superlogarithms. We may need another set of numbers or we may be able to survive with combinations of existing. Basically what we can add to number as imaginary line after translating, directing, rotating, twisting it is what? It may be further internal twists of the imaginary line? if that is related to sedenions, what could it mean geometrically and why it is not anymore divisor algebra?
The reason I mention this is that it seems to me that numbers have internal structure, which may well be imaginary since we have no idea about it when we look at number line or measure lengths relative to scales set by other lengths when oriented parallel to what we want to measure. This structure only reveals itself under proper operations. So number line looks (perhaps) as a rope which has internal degrees of freedom, brought out under fast enough operations applied enough or proper amount of times. This imaginary structure at least at integer operation numbers may be related to imaginary numbers and their geometric developments into quaternions, octonions, sedenions etc. ...
StevenA
11th July 2008 - 06:42 AM
QUOTE (Ivars+)
Briefly, if we compare number types geometrically with straight line elements:
Scalars are length of line, or ordinary numbers. They also may measure the translational motion of one end into other.
Vectors are directed ordinary numbers, obtain by inverse summation : A-B . e.g 7-5 is a directed number 2 and is a vector. While -2 is the same vector in opposite direction. Normal imaginary unit have been related to these.
Than , by same logic we must (?) have numbers that are obtained by inverse multiplication, i.e. division. It seems quaternions are these, as Grassmann or Clifford defined his algebra from existence multiplicative inverse, of which there are only 4 known.
Consider that if we begin with integers then multiplication (with finite limits to number of iterations) yields integers, but the inverse can yield rational numbers (just like addition of positive integers only yields positive integers, whereas subtraction creates negative numbers), which can actually be interpreted as vectors, if we ignore reals.
Notice that though we interprete 1/2 as a single number in terms of reals, it's actually an incomplete division with 2 inputs, divide(1,2) or can be seen as a collection of the elements {/,1,2}, whereas the reduction of something like 4/2=2 returns to a 1-D result.
Also notice that though we consider 6/3=4/2, physically these quantities aren't necessarily identical (notice that we're making comparisons along a 1-D project of 2-D values and only effectively comparing for a common angle from the origin, but not measuring the distance from it) as 6 units divided into groups of 3 units each, though constructing 2 such groups is composed of 3 units in each group, where 4 divided into groups of 2 units leaves two groups of 2 each. So though we might say that 6/3=2 and 4/2=2, in one case the 2 can be divided by 3, whereas in the other case the 2 can be divided by 2.
So division is taking a 2 dimensional quantity and effectively only measuring the angle to the origin, with the reduced fraction being the first point at which this slope encounters, though the actual point constructing this slope can have different physical properties. (A more informationally complete representation would pair the result of a division as both the angle and the distance)
QUOTE (Ivars+)
For some reason, it involves imaginary space of 3D and is related to rotations in space. What is rotated in imaginary space around origin is ordinary imaginary number I- point on imaginary 2-sphere- which is the same as I for normal complex numbers, but generally not the same as pure quaternion axis i,j,k - none of them. x^2+1=0 has infinitely many solutions- +- I -is -antipodal points on this imaginary 2-sphere in pure quaternion space.
Sounds similar to the problem with rational numbers as well in that you have an infinite number of possible solutions for n and m, if n/m=j/k as we have 1/2=2/4=3/6=4/8=...
It's interesting to consider how this could affect the inverse, multiplication, which could be seen similar to the identity n*(m/m)=n, which doesn't appear to have any similar problems with quantization but notice that for multiplication of integers n and m where m>1, we have n*m>n/m and we can see an equivalent compression ratio between these two spaces as one grows larger by a factor of m and the other shirnks by a factor of m and so multiplication allows for a growth of the representation space, whereas division shrinks it and effectively leaves some information regarding the division undetermined (for a division we have a potentially infinite number of multiples of the inputs that could describe the possible points in the "input space" or domain, whereas with multiplication there are fewer, though considering something like 4*6=2*12, there's still information that can be lost - of course, whether or not any of this is relevant depends upon the specific traits a result is intended to describe, and it would not inherently describe anything beyond those results, similar to the fact that taking a limit in calculus removes information regarding infinitesimals).
QUOTE (Ivars+)
Then, next we may have numbers obtained by inverse exponentiation, or log.
Again, something to look at is the equivalent compression ratio of spaces, or more accurately how the relative non-linearities in the slope of each interact - if a segment of a slope of a function is unity, then it's inverse can potentially be constructed without information loss (at least at that point), whereas for a function whose slope is less than 1, you have a compression of "space" and for quantized spaces that implies multiple values of the input can be mapped to multiple values of the output and the reverse mapping isn't necessarily possible without appending additional information, for a slope approaching zero, the amount of information required to invert the operation (which is required to "prove" it did a specific mapping) could grow potentially infinitely larger than the range of the function (this could be a mechanism by which the addition of a complex dimension could appear to arise).
Notice that though we might imagine space to be compressible, if we assume such a compression of a slope, or distance in space is possible and treat the new space as if it had properties identical to the original space, then we've effectively constructed something that can compress everything to a point (if we look at the typical interpretation taken by many in calculus), yet supposedly the linear properties of space that constructed it should still be present, such as, for a>0 and b>0 then a*b>0. This is a paradox in calculus and you can interprete it in the context of a compress of space being required to forever retain a linear ordering (which would typically quite naturally be assumed to exist in an alternate dimension, but it's actually derived from the requirement that in order to proof something specific has been compressed to a point, information still needs to be retained about specifically what dimension or linear ordering of elements, was placed into that point, otherwise nothing specific at all created that point ... here's another way of looking at the problem/issue - if you have a collection of objects, defined by some property, compressed to a point in space, then the spacial locations of these objects, defined by this property, need to become identical. If the objects are defined by a volume of space, for which not all positions are identical, then in order to retain an ability for those objects to remain at the same point after compression, they can no longer be defined by a volume of space, as there is no longer any volume to define them, and this paradox implies that the objects would need to possess an attribute not associated with a range of spacial positions, but instead with an attribute that would be retained as to whether or not they would later exist as a member of such a point feature. The alternative is that such objects could never be compressed to a point, but that a(n observer) scaling of that space could be altered and make those objects become indistiguishable in terms of spacial position).
QUOTE (Ivars+)
They may be twisted (?) numbers. Or what else could we do to an imaginary line segment (I have not figured out how and why) . e.g. Because octonions are non-associative, as is not exponentiation usually ( x^y is not y^x usually). Twisted numbers may oscillate?
If they aren't associative, this implies the space is non-linear and we can't treat the rotations in an additive fashion (consider that rotations are defined by cycles that are not infinitely extensible - physical objects don't typically appear to have distinguishable properties dependent upon the number of complete cycles of rotations they've undergone, yet such a property must exist, even if it's only subjective, in order that we could count such rotations. Basically, if you can observe something being rotated 360 degrees, the rotation is only determined by a subset of the total information - obviously some of this information could be interpreted as a component of time).
If you think that something could potentially oscillate, then it would take to perform this. If the two or more states are actually indeterminant and effectively identical in some perceived attribute, then the states would simply appear merged to an identical state (and for my models, I don't think quantity if relevant to this state - you could have any number of states compressed to the appearance of a single state and the observable feature should simple be that the state is true/exists etc. If it's detected as multiple states in some manner, then there's an element of time counting repetitions of the same state and the same state is being observed within different contexts).
QUOTE (Ivars+)
Then, we move to 4th operation, or tetration. and think about numbers obtained by inverse tetration.
To me, the most likely relevance of fast growing functions would be for a space with evolutionary properties in which a class of operation that is capable of effectively reproducing itself faster (which requires a manner to measure equivalent time between such classes of operations), then an operation that "reproduced" faster would be the most prevalent (though there are also issues regarding information theory as to what properties of such a space could be informative - a vast crystalline structure with identical features would only appear capable of conveying information regarding the width in various dimensions and information regarding the "seed" properties of it, but not much else, unless additional information was injected into this structure somehow).
QUOTE (Ivars+)
What numbers we may obtain by inverse tetration? The inversion of infinite tetration is self root. Self root may denote looping numbers. But for self root to be inverse of tetration, we need infinite tetrations.
It's interesting that you mention this because I was trying to extrapole some upon how learning/intelligence could operate and how ever more complex concepts could be built upon those "roots" (pun somewhat intended :)) and the issue for me is how can you wrap up all these layers into a single recursive object that could extrapolated out to any potential complexity of computation ... if every new "layer" is described in terms of new or novel features present in the properties of the previous transformation, then you're effectively stuck counting finite numbers, but if it can be wrapped into a single entirely self contained structure, then it could grow infinitely complex with a finite description - seems like there's a paradox there though and I'm not certain if it's possible to have a finite description of something like that (though it's interesting to consider that some descriptions that use functions that grow as fast as possible could become somewhat optimal in describing a maximum number of properties within some finite description .... I'm just pondering stuff out loud here and I recognize these are very abstract ideas)
QUOTE (Ivars+)
In the finite tetrations, we get inverses as so called nth - superroots (hyperroots) and superlogarithms. We may need another set of numbers or we may be able to survive with combinations of existing.
From the track record, you'll likely need a new set of numbers :D There appears to be an issue here with non-linearity (all these functions are non-linear) and information theory - effectively every one of these adds a non-linearity that needs to be described as it effectively provides a manner to interleave elements within a dimension.
If we look at all possible computations that result in a single dimensional result, we have a resulting number line that for some specific set of inputs a<b<c<d<... results in various combinations of them being output, such as b<c<a<d<.... This really all you need to describe any function in 1 dimension and we can extend upon this concept to more than 1 dimension as well in that the coordinates of all the outputs in a single dimension need to be similarly orderable (notice that for any computation in which we have transformed information that lies precisely at the same position within a dimension, we potentially have an indeterminant inverse mapping, if multiple input points can all be mapped to the same output - effectively we've changed the input space in that case, which can be seen as a separate issue).
Now notice as well that every coordinate of an output object in a dimension can be described as a function of it's position in its input positions for each dimension (if you don't need to input some input dimensions to generate an output dimension then these spaces can potentially be detached and the descriptions of the dimensionalities of the relationship between these two spaces can become arbitrary as it's truly the interactions that define whether or not 2 dimensions exist within the same space - so that's an interesting observation that spaces are defined by interactions of dimensions and not simply the assumed existance of a dimension, which could be seen similar to the idea of parallel, non-interacting universes).
So, if for example, an x coordinate of a space can only be described using all of, for example, x, y and z dimensions in some other space, then we can see those spaces interacting via. a non-linearity and constructing an object with features inherited by the properties of each of the input dimensions, notice that if we do not have a non-linear combination of dimensions, but instead simply a linear combination of the inputs, then the input dimensions are all symettrically related to the output and indistinguishable from each other, so one potentially significant feature of functions with higher order features is that they could potentially represent orthogonal forms of non-linear relationships that could be interpreted as existing within different physical dimensions. (For example, x, 1/x and x^2 are all non-linear relative to each other, but a dimension constructed with properties of x^2 could appear to be a non-linear interaction of two linear spaces in x as we have x^2=x*x, or similarly if we make observations from a dimension related to x and observe a dimension containing only a constant, the properties can appear to mimic 1/x as we're making measurements of a constant c, using units of x and seeing relationships following c/x. We don't necessarily need a large number of different non-linear "seed" operations to be considered to all be orthogonal to each other if we simply consider that such function mappings along a dimension are only significant, from the perspective of a quantized space, when a linear ordering is altered (or a chronological sequence of them, if we want to interprete this as a space through which motion occurs)).
So if we have some values along a dimension/axis such that a<b<c there are only, for example, six possible unique "non-linear" functions that could be generated to derive various combinations of b<a<c, a<c<b, etc. You can actually reduce the complexity of this somewhat by breaking all these combinations up into a few "kernel" operations, or similar to factoring as either a "swap" opera