Evaluate:
if it exists where denotes the greatest integer function.
I don't understand the point of the question. [x] is the step function, which is discontinuous at x=0. So the left hand limit does not exist, and the right hand limit would simply be the value of the function at x=1 (namely, ). On the other hand,
Media Man is mistaking, the greatest integer function does exist at x=0 however it is discontinuis since it equals -1 when approached from the right and 0 when approached from the left. I think in your question you would just plug in 0 for [x]
the greatest integer function is synonmous with the floor function in computer programing
http://en.wikipedia.org/wiki/Floor_function
I think we need some clarification here. I am taking the "greatest integer function" to be the next integer up from a non-integer, or more formally: for all , in which case from the left and from the right, and our function is only defined on the right, in the interval .
If instead we are taking for all , then yes, from the left and from the right, so our function is completely undefined in the interval .
Either way, there is no interpretation here. (By the way, LaTex allows the use of and to distinguish between the two step functions.)
I must say I find all this very confusing, and it shows why names are sometimes to be preferred to symbols.
Either we are talking about the floor function or the ceiling function.
If [x] is the ceiling function [x] is 1 everywhere in (0,1) and (1+[x])^[x] = 2^1 = 2 everywhere and so the answer is 2/e.
If we mean the floor function then we are being asked to evaluate 1^infinity, which I suppose is 1, then we want (1/e)^infinity which is 0.
I don't understand how "[x]=-1 from the right" can make any kind of sense. It would make more sense the other way round. I suppose Media_Man means that [x]=-1 if you head right from the left of 0 and [x] is again the floor function.
On the left (1+[x]) is then 0 and 0^-1 is infinity. infinity/e is still infinity and infinity^-1 is 0.
So bizarrely you could say the function is continuous on both sides at 0 if the floor function is intended!
There again, this last line changes the problem. The limit should be not , the difference being that is constant on the interval , so = which has no meaning.
As for the first line, when , . How does this equal 1?
is a constant function on small intervals, so and , so the limit only exists if and both exist and equal one another.
Alunw: This was a typo I just corrected. According to the the_doc, [x] is referring to what I hold in my mind to be , the "floor function".I don't understand how "[x]=-1 from the right" can make any kind of sense.
Consider this problem as the composition of functions: , where and . We then see that and
If we want to talk philosophy instead of math, we could easily say and . But rest assured, this is not mathematics. only has rigorous meaning as , which is not the case in this problem.
I'll happily concede that one should not use infinity as cavalierly as I did in my last post. However, I don't think I was "absolutely wrong". I'd say 0^-1 =1/0 and there are contexts (e.g. Complex analysis done on the Riemann sphere) where one can assign a sensible value to 0^-1 as there is only one infinity.
It makes much less sense here because we must be talking about real functions, and 0^-1 is undefined since it tends to -infinity on the left and +infinity on the right.
I'm glad you posted your correction as I was starting to think there was some other kind of greatest integer function or that I didn't know what right and left meant any more.
As for the limit once we split the functions as you suggest to get rid of the floor function then your f(x) is not defined at 0. But I think it has a sensible limit as x->0 from the right which you already found numerically and which I think is (1/e)^0.5, though I just did that by trial and error on a calculator. So if you define f at 0 by defining it to be (1/e)^0.5 then the limit of the composed functions would have to be that!
By this I meant that the limits are the same - which they are. Why should this have no meaning? I see nothing in the definition of a limit that says that a constant function cannot have a limit.
,
does not seem to contradict the definition of a limit in Spivak:
1 to the power of anything is 1.The function approaches the limit near means: for every there is some such that, for all , if , then .
Moreover, I believe it is implied that this is a one sided limit from the right as is discontinuous as approaches from the left!