06/20/2008, 04:28 PM

bo198214 Wrote:What is |x[4]2|?

I was not aware that x[4]2 is a set.

Hmm. I thought it can be perceived as set by analogy to n^n which is a set of all permutations of n from n with order and repetitions.

So 2^2 (A^B) is a also multiset of all 4 distinct combinations of elements with repetition (if 2 is a set) and :

lower 2 upper 2 ( AB)

upper 2 lower 2 (BA)

lower 2 lower 2 (AA)

upper 2 upper 2 (BB)

etc.

Now, if x is a set eg defined by whatever is proper e.g ({........|next real after x}) then my question was can

x^x=x[4]2 represent the set of all combinations of lower and upper x so its cardinality will be|x[4]2|= R^R. I know R^R is a cardinality of all functions from reals to reals, but also if we look at permutations which go over all reals smaller than x than the set of all such permutations should have cardinality R^R. Is that impossible

I was also looking at partial derivatives of x^y to see the difference between upper and lower arguments ( and then look at x^x by replacing y with x):

I was wondering if function or does not lead to mere insights about tetration in general and in particular. is with .

If we look at partial derivatives of , they exibit different dependance of change in function value from each of arguments.

If we keep than :

If we keep than:

Derivative of is . This can be obtained by replacing and summing both derivatives:

But we can also maintain 2 parts separately, each one relating to different x-es:

Then next derivatives and their general form are easy to see:

We can name the First term of the 2 summands as derivative by TOP x and second as derivative by BOTTOM x.

Obviously, both partial derivatives by TOP x and bottom x are infinitely differentiable but follows different patterns. To me it seems there is difference between both x so I thought they can be looked at as somewhat independent sets and their exponentiation will besides giving 1 real value also produce an infinite set with cardinality R^R.

Or have I made some mistake very early again?

Ivars