MathGroup Archive 2003

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Domain of Sin[ArcSin[x]] ?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg39642] Re: Domain of Sin[ArcSin[x]] ?
  • From: "David W. Cantrell" <DWCantrell at sigmaxi.org>
  • Date: Thu, 27 Feb 2003 00:28:07 -0500 (EST)
  • Organization: NewsReader.Com Subscriber
  • References: <b3hs25$ik5$1@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

mbuescher at hb.edu (Michael Buescher) wrote:
> I want to demonstrate to my students that in the real number system,
> Sin[ArcSin[x]] is only defined on [-1,1] because that is the domain of
> ArcSin[x].

OK. But realize that if you view the reals as a subsystem of the complexes,
then it certainly can be argued that, even specifying that we wish to
consider Sin[ArcSin[x]] to be a _real-valued_ function of a _real_
variable, its domain is _all_ of R. Why? Well, the only requirement is
that, given a real input, x, we also get a real output, Sin[ArcSin[x]]. And
that's essentially why Mathematica happily indicates the domain to be R
when you plot the function.

But you don't want to deal with the reals as a subsystem of the complexes.
In particular, you want to disallow any intermediate calculations which
would temporarily put us outside of R. I don't know of an elegant, general
way to do this in Mathematica. However, for your specific problem, you can
use

 Plot[Sin[If[Element[ArcSin[x], Reals], ArcSin[x]]], {x, -5, 5}]

for example. After a few complaints about encountering things that aren't
machine-sized reals, Plot will indicate that the domain is [-1, 1].

David

> When I Plot the composition, however, I get Sin[ArcSin[x]] =
> x for all real numbers, not just on [-1,1].  I tried this both with and
> without the RealOnly package.
>
> Is there any way to ensure that Mathematica uses only real numbers in
> its calculations, so that Sin[ArcSin[x]] is undefined when ArcSin[x] is
> not a real number?


  • Prev by Date: RE: Re: Cursors in graphics
  • Next by Date: Re: Area Between Contours in ContourPlot
  • Previous by thread: RE: Domain of Sin[ArcSin[x]] ?
  • Next by thread: Simplification of vector and scalar products