[Date Index]
[Thread Index]
[Author Index]
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**
| |