Group Abstract Group Abstract

Message Boards Message Boards

0
|
7.6K Views
|
4 Replies
|
3 Total Likes
View groups...
Share
Share this post:

Need help in using Resolve to prove equality over specified domain

Posted 11 years ago
Attachments:
POSTED BY: Glen Deering
4 Replies
Posted 11 years ago

Thanks again!

POSTED BY: Glen Deering

It just isn't the way Element works. But specification of the desired predicate is easier than you might have thought: just give the inequalities

Resolve[
 ForAll[x, FunctionDomain[f@*f@*f@x, x], f@*f@*f@x == x]]

(* Out[72]= True *)
POSTED BY: Daniel Lichtblau
Posted 11 years ago

Okay. Quite right about the Limit of the composite going to zero for x->0 (and going to 1 for x->1, for that matter). And, a simple plot of the the composite shows a straight line up through zero and 1 with not even a hiccup. I should have looked a little more carefully before I spoke.

However, what I noticed initially was that Mathematica encountered an infinite expression when I tried

Composition[f,f,f][x]/.x->0

It still gave me zero as the output (which I didn't notice at first), but I was focused on the infinite expression message as the reason that FunctionDomain gave me a discontinuous domain.

Well, obviously (perhaps), that's why "Reals" works as a domain quantifier in the above code. I think you gave me the answer to the problem I was working on. But why doesn't FunctionDomain work as a quantifier in this problem?

POSTED BY: Glen Deering

That composite certainly does not "go to infinity" at the points 0 and 1. To do so would imply that the limiting values are infinite. Since the composite is the identity nearby, the limiting values are 0 and 1 respectively.

Limit[f[f[f[x]]], x -> 0, Direction -> -1]
Limit[f[f[f[x]]], x -> 0, Direction -> 1]

(*Out[8]= 0
Out[9]= 0 *)

Limit[f[f[f[x]]], x -> 1, Direction -> -1]
Limit[f[f[f[x]]], x -> 1, Direction -> 1]

(* Out[10]= 1
Out[11]= 1 *)
POSTED BY: Daniel Lichtblau
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard