- ベストアンサー
０の０乗は０、にしたくない
jmhの回答
- jmh
- ベストアンサー率23% (71/304)
> ｙを負や小数にして考えられないから、ということですよね？ > つまり、0^0もそういう拡張がなければ、１で良いんですよね。 > それは、連続性を無視することではありますが… > いろいろ無視すれば「ｘ＾ｙ＝ｘ＋ｙでもいいや」と思えます。 ところで、チョット考えたんだけど…。「ｘ＾ｙを拡張する」っていうのは、結局「Ｎ×Ｎへの制限すると普通のｘ＾ｙに等しくなるような関数ｆ（ｘ，ｙ）をテケトーに選ぶこと」なんだと思うんです。でも無条件に選ぶと無数にあるので、例えば「連続なの」とかキレイな条件を付けて。で、貴方の付けている条件って、実際には「ただし０＾０＝１とする」なんじゃないかなーって。
関連するQ&A
- ０の０乗を１と考える
べき乗x^n を、1 に x を n 回掛けることと考える場合がある。 その場合は 0^0=1 である。 これは、総乗を使って x^n=Π[i=1,n]x と考える場合も同じである。 総乗の場合も、何も掛けないこと、つまりΠΦは 1 となる。 この時、べき乗の定義を、次のように考えていることになる。 ・x^0=1, ・x^(n+1)=x^n*x (n>=0). この変更により変化するのは、0^0 の値だけである。 以上の文章に、間違いはありますか？ なお、これに従ったべき乗に、利便性や0^0での連続性はありませんが、 それは一般的なべき乗でも同様であり、 どちらが正しいかを数学的に証明することはできません。
- ベストアンサー
- 数学・算数
- ０の０乗は１、にしたい（続き）
http://oshiete1.goo.ne.jp/qa4347011.html の続きです。 ０の０乗の値について、不定だとか未定義だとかの意見があります。 でも、１と定義しても無矛盾だし、１以外では矛盾が生じます。 そこで、べき乗（累乗）の定義を ｘ＾０＝１ ｘ＾ｎ＝ｘ＾（ｎ－１）×ｘ （ｎは自然数） としてしまえば、０＾０は当然１になります。 ＃負の整数乗、有理数乗、実数乗などへの拡張は、従来のような方法で行われるとします。 この定義の仕方には、問題があるのでしょうか？ なお、常識的には…という話は、遠慮願います。 ＃Wikipediaも変わりますので。 これまでの議論で主張したこと： (1) 従来のべき乗の定義は、１から始まるので不自然。加法や乗法は０から始まる。 (2) 従来のべき乗の定義との違いは、０＾０の値についてだけである。 (3) ０及び正の整数乗は、すべての実数に対して計算できる。負の整数乗は正の整数乗の逆数として計算できる。（０のべき乗以外） (4) ０＾ｙ＝０という式はｙ＜０で成立しない。それをｙ＝０まで拡張するのは不自然。 (5) ０＾０＝０は、関数０＾ｙについて、ｙ＝０で連続性が破綻しないから不適当。 (6) lim[x→0,y→0]x^yは不定であるが、０＾０＝１と矛盾しない。 (7) ｘ＾ｙ形式の連続な式で、ｘ＝０、ｙ＝０の時、その値が１以外に定まる式は存在しない。 (8) １である根拠は、０＾０＝０＾（－０）＝１／０＾０。 たぶん、このどれかが成立しなければ、最初の定義は怪しくなります。 ＃(7)は、表現に不備がある可能性があります。
- ベストアンサー
- 数学・算数
- 0の0乗の記述
wikipedia によると、 > x ≠ 0 のとき x^0 = 1 であるから、0の0乗を 1 と定めることが自然であると考えられる > 一方、n が正の整数のとき 0^n = 0 であるから、0の0乗を 0 と定めることも自然であると考えられる。 > このように、こちらを立てればあちらが立たず、という状況であり、全てに都合の良い定め方はない。 が定義されない理由の一つとされる。 ところが、 0^y = 0 (y ∈ N) という条件の下で 0^y という関数を考えた場合、 0^0 = 0 という結論は得られなかった。（詳細は http://okwave.jp/qa/q8587518.html を参照。これに対する誤りの指摘は出ていない。） つまり、 0^0 = 1 と定めると両方の条件を満足するため、上記の説明は間違いだと思われます。 この文を削除するつもりなのですが、何か他に考慮すべき点はありますか？
- ベストアンサー
- 数学・算数
- ベキ乗平均とStolarsky meanをまとめる
n個の正の数x[1]、…、x[n]に対して、それぞれp乗したものの和をnで割り、そして1/p乗したものは、 ベキ乗平均 {(x[1]^p＋…＋x[n]^p)/n}^(1/p) と呼ばれ、実数pに関して単調増加になることが知られています。 n=2のとき、{(x^p+y^p)/2}^(1/p) という形で、 p→-∞のとき最小値、 p=-1のとき調和平均、 p→0のとき相乗平均、 p=1のとき相加平均、 p→∞のとき最大値です。 また、Stolarsky meanと呼ばれるものがあって、 http://en.wikipedia.org/wiki/Stolarsky_mean によると、 f^(n)-1(n!・f[x[0],…,x[n]]) for f(x)=x^p なのですが、同様に実数pに関して単調増加になることが知られています。 2変数のとき、{(x^p-y^p)/p(x-y)}^{1/(p-1)} という形で、 p→-∞のとき最小値、 p=-1のとき相乗平均、 p→0のとき対数平均、 p=2のとき相加平均、 p→∞のとき最大値です。 2変数のとき、ベキ乗平均とStolarsky meanをまとめたものがあるようで、 E_r,s(x,y)={r(x^s-y^s)/s(x^r-y^r)}^{1/(s-r)} において、r=1とすると、Stolarsky mean E_1,s(x,y)={(x^s-y^s)/s(x-y)}^{1/(s-1)} になり、s=2rとすると、ベキ乗平均 E_r,2r(x,y)={(x^2r-y^2r)/2(x^r-y^r)}^{1/r}={(x^r+y^r)/2}^(1/r) になります。 ここでn変数のときのベキ乗平均とStolarsky meanをまとめたものはさすがにたいへんなので、 3変数のときのベキ乗平均とStolarsky meanをまとめたものを具体的に知りたく思うのですが。 なお、3変数のときのベキ乗平均は {(x^p+y^p+z^3)/2}^(1/p) で、3変数のときのStolarsky meanは僕の計算によると { 2x^p/p(p-1)(x-y)(x-z) + 2y^p/p(p-1)(y-z)(y-x) + 2z^p/p(p-1)(z-x)(z-y)} ^ {1/(p-2)} になりました。
- 締切済み
- 数学・算数
- Y=Xの（1/2)乗の微分について。
Y＝Xの(1/2)乗 の微分は、 『Y=Xのｎ乗の微分公式Y'=ｎXの(n-1)乗』を用い、 Y'=(1/2)Xの(-1/2)乗になります。 ところで上の微分公式について、ｎが自然数の時は微分の定義に式を入れ、展開していって理解ができますが、ｎが自然数以外(分数)のときでもどうして成り立つかを、おしえて下さい。 ※電気関係の試験勉強のため、数学を復習し直している者です。学校では、何の疑問も無かった（もしかすると疑問があっても考える余裕が無かった）箇所で詰まってしまって・・・
- ベストアンサー
- 数学・算数
- ０の０乗＝１……かな？
０の０乗はいったい何なのかを考えていたら、ある本の中にあった、lim（ｎ→∞）ｎ＾1/n＝１の証明を見て少しひらめきました。 f(x)＝(1+x)^n－(1+nx) という関数はｘ＞０で微分可能ですから。 f'(x)＝n(1+x)^n-1－n＝n{(1+x)^n-1-1}＞０ である事がわかります。すると、f(0)=0であり、f(x)はｘ＞＝０で増加するから、ｘ＞０のときf(x)＞０で、つまり (1+x)^n＞(1+nx) ここで、ｘ＝1/√ｎとおくと (1+1/√n）^n＞1+√n＞√n この式の左辺と右辺を2n乗すると (1+1/√n）^2n＾2＞n^n ここでn＞１ならn^n＞１ですから (1+1/√n）^2n＾2＞n^n＞１ さらにlim（n→0)とすると (1+1/√n）^2n＾2→1 となり、n^nは1で両側から挟み撃ちにされるので lim(n→0)n^n＝1 つまり、０の０乗は１ってことにならないでしょうか。長々とした証明でした。読んでくださってありがとうございました。
- ベストアンサー
- 数学・算数
- ０の０乗は１、にしたい
０の０乗の値について、過去に色々な質問がありますが、結論としては不定というのが多いみたいです。 でも、素朴な疑問として、１として問題があるのかな、と思いました。 そこで、べき乗の定義を ｘ＾０＝１ ｘ＾ｎ＝ｘ＾（ｎ－１）×ｘ （ｎ≧１） としてしまえば、０＾０は当然１になります。 この定義の仕方には、問題があるのでしょうか？
- ベストアンサー
- 数学・算数
- p2乗＝x3乗＋ｙ3乗のときの素数ｐを求める
次の問題がわかりません。教えてください。 自然数x, y を用いて， p^2 = x^3 + y^3 (1) (^2, ^3 はそれぞれ2乗，3乗を表す）のとき， 素数pを全て求めよ。 また，このときのx, yを全て求めよ。 (1)式の左辺が2乗ですから，右辺がある数の2乗になればいいのかな，と思うのですが， これ以上わからず， ご回答のほど，よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 集合と数学的帰納法
１．平面上の点P(x,y)の集合A,Bを次のように定義する。 A={P(x,y)|x>0},B{P(x,y)|y≦-(x-k)^2+k かつ y≧kx-1} Bは空集合でなく、しかも B⊂Aであるためには、kはどんな範囲の値でなければならないか ＝ という問題です。わかりにくいやつは⊂の下に＝がついたものです。 ２．これは数学的帰納法の問題なのですが 数学的帰納法というのは学校で決まった形にあてはめるものだと 習いある程度お決まり文句がありそれはおぼえなければならないと 習いました。で、始めにn=1を代入して成り立つと証明し 次にn=kのとき成り立つと仮定してn=k+1の場合を考えるのですが これは右辺にk+1とする式をひとつ付け加えて左辺にそれと同じものを あてはめて解くというものだと自分では思っているのですがそれでは 解けません・・・ちょっと読解力に欠けているので 例題を出すので解き方を教えてください。 すべての自然数nに対して下の不等式が成り立つことを示せ。 1+1/2+1/3+1/4+・・・+1/n≧2n/(n+1) という問題です。このれいだいのさっきいった n=kを仮定してn=k+1のところを考えるところを教えてください
- 締切済み
- 数学・算数
お礼
何度も回答ありがとうございます。 さすがに最近は、回答が少なくなっちゃいました。（笑） ＞実際には「ただし０＾０＝１とする」なんじゃないかなーって。 違いはそこだけですから、そうとも言えます。 ただ、別の適当な値に決めちゃうと、（逆数の存在を許した時）指数法則が０＾０を含めた形では自由に使えなくなるということです。 今までの使い心地を損ねることなく追加できる定義が、１という唯一つの値なんです。 それは、総乗の場合に、ΠΦ＝１としているのと同じです。 これはa^0=1を表しています。 これを定義しないということも選択肢ですが、その意味は範囲が広すぎるので、その定義を加えているのだと思います。 ＃総乗は、引数が集合と考えることもできるので、空集合を未定義とする選択肢はなかったかも知れませんが… 対して、0^0はその一点ですから、連続性もないとなれば、未定義としておくのも無理ないかな、と思います。 ただし、未定義にしておいても、１という定義を加えても、どちらにも矛盾がないことが言える訳ですから、両者が共存しても不思議はないのですが、世の中の大勢は１という定義を許していないようです。 さらに、未定義だから０でも何でも好きな数値を定義することが出来ると勘違いして、それがWikipediaにも載っているのが現状です。 もちろん、０と定義しても矛盾が生じないことや利便性を含めての記述であれば意味がありますが、そんなことはすっとばして、結局連続性がないことを示しているだけ。 さすがにそれは違うと言いたいので、本質問をしました。 ありがとうございました。