なぜ0^0=1なんですか？
他にコレといった理由も利点も無いし、
０の０乗は未定義にしといたほうがいい
という意見も、一部に根強い。
/ // /| r'7＼ ,.ﾍ‐'"´iヾ､／＼ﾆ''ｰ- ､., / /
/ ／ | |::|ｧ'⌒',ヽ:::ヽrﾍ_,,.!-‐-'､二7-ｧ'´|､__
`'ｰ-‐''" ヽ､_'´ `| |:::::|'" 二.,_> ,.へ_
/ ／/__/／ / ／ ／ `ヽ7::/
か っ も | ／ /／ メ,/_,,. /./ /| i Y //
ァ て う. |'´/ ∠. -‐'ｧ'"´'`iヽ./／ ﾒ､,_ﾊ , |〉
| 約 ク ヽ! Ｏ .|/。〈ﾊ､ rﾘ '´ ,ｧ=;､`| ,ﾊ |､ /
| 束 ソ > o ゜,,´￣ . ﾄ i 〉.ﾚ'i iヽ|ヽ､.,____
| し ス / ハ | u ,.--- ､ `' ゜o Ｏ/､.,___,,..-‐'"´
| た レ | / ハ, / 〉 "从 ヽ! /
| じ は |,.イ,.!-‐'-'､,ﾍ. !､_ _,/ ,.ｲﾍ. ` ヽ.
ッ .ゃ .立 |／ ヽ!7＞ｒｧ''7´| / ', 〉`ヽ〉
! ! な て .', `Y_,/､レ'ﾍ/ﾚ' ﾚ'
い .な ヽ､_ !:::::ﾊiヽ. // /
で い .／‐r'､.,_,.イ＼/_」ヽ ', / /
す / `/:::::::/ /,」:::iﾝ､ / /
〈 ,,..-‐''"´￣￣77ｰ--､_＼.,__ /
,.:'⌒ヽ ´ | | , i |ﾉ `ヾr-､
その代数系をAとおくと、単位元の定義により任意のa∈Aに対し、a=1*a がなりたっている。
非負整数 n に対して a^n とは a を n個 掛けることであった（ a^n=a*a*・・・*a （n個））。
よって、今 a^0 を考えると、これは a を 1個 も掛けていないことをあらわしている。
特に a=1*a において a=0^0 ならば 0^0=1*0^0 となるが
右辺に現れる 0^0 も 0 を1個も掛けていないことを表していたのだから1*0^0=1である。
よって 0^0=1*0^0=1 となる。
ここまでが、このスレ名称になっている問に対する一つの解答だ。
さて、ここで問題だ。
乗法単位元の存在しない代数系 X において、 x∈X に対する x^0 は何をあらわしているか？
まてまて0^0は0を一個もかけてないから1
ってそれおかしくねえか？
それならその前とあとの云々全部なしで
「0を一個もかけないから1だよ」でいいじゃん
1*0^0の0^0は「無」ってことだから1*0^0=1*（なにもなし）=1ってことか？
a^m = a^m
a^(m + 0) = a^m
a^m * a^0 = a^m
a ≠ 0のとき上式の両辺を a^m で割れば
a^0 = 1
a = 0 のとき
0 * 0^0 = 0 となり、0^0は不定である。
と、中学のとき先生が言ってたぞ。
0/0と同じくよくある勘違いパターンですね
そう定義した理由としてはかけ算において１がスタート地点でありもっとも基本的な数字だから
足し算においてはその立場に立ってるのは０
まあ"何に０足しても０"と同じ感じで"何に１かけても１"じゃん、だからそう定義すると都合が良いってことだよ
と18歳が考えますた
×定義すると都合が良い
↓
◯定義すると都合が良いのでそう定義する場合もあるが、それはあくまでも便宜上のもので0^0=1となる数学的な深い理由は特にない
とでも書いたほうが良かったですね
この勘違いは、
>>9
x^0 は何をあらわしているか？
にも共通して見られる。
x^0 に限らず、式は定義された内容を表している。
「何を表しているか？」ではなく、
「何を表すことに取り決めたか？」または
「何を表すことに取り決めると嬉しいか？」と
問いかけるのが正しい。
式を書いただけで意味が決まる訳じゃない。
式の意味を定義して初めて、意味が決まる。
定義は自由で、定義しないでおく自由すらある。
数式というのは自然法則を表すための道具であり、その式の意味を「解明」することは全てを解き明かすことになるわけです
理数系、などと、数学と自然科学が同じ括りの中で扱われていることも大きいのかもしれません
数学は演繹的であり、科学は帰納的である
このような違いがあるのにもかかわらず、そのようにあたかも同じものであるような括り方をしてしまえば、同じような手段を用いて問題を解決しようとするのは当然でしょう
a^m÷a^m=1
0*0^0=0
などと「実験」をして答えを「推測」していき、最終的な「法則」を発見しようというわけです
x=0(定数関数)以外のほとんどの場合lim[t→0]x(t)^y(t)=1となる。
反例は存在するが、
わざわざ作られた反例を別にすれば現実問題として出てくる関数としてはx=0だけが唯一の例外と言っても良い。
だからx=0を一種の特異点とみなし、0^0=1と定義するのが解析的には都合が良さそう。
こういうこと言い出す馬鹿がいるから、
>>21のように数学を自然科学っぽく捉えては
いけないんだと思う。
何だよ、「わざわざ作られた反例を別にすれば」って。
わざわざ作らなかった反例など見たことも無いし、
一例あれば反例として十分だということも
理解できてないんだろ。
何言ってんだか。
お前は微分不可能な関数が一つあったら微積分学をまるごと捨てるのか？
微分可能性という概念で線引したりしないの？
病的関数とか一様収束とか知らない？
関数は全て微分可能だという妄想を捨てるんだよ。
「例外を除けば関数は微分可能」と言ってしまったら、
かえって、微分可能な関数という概念から遠ざかる。
「病理学的」と訳すのが正しい。辞書ひいてみな。
病理学は、
異常であることを例外として無視するどころか、
異常であること自体に関心を持って研究する分野だから。
だから、pathologcal function て言うんだよ。
解析学の黎明期には、意外な例こそ
意外でないとはどういうことかを発見するための
宝庫だったのだから。
「x(t)、y(t)は条件〜〜〜〜を満たすからlim x^y = 0^0 = 1」
みたいな答え方ができるようになれば便利だろ、って話なんだが。
もちろんそれが成立する条件は詰める必要がある。
だけど「0^0は不定」なんて言ったらそれ以前の問題で終わってしまう。
０の０乗を不定とすることに魅力が出てくるんだろよ。
無用な混乱を生まずに済むという意味で。
＞現実問題として出てくる関数としては
＞x=0だけが唯一の例外
なんて、「現実問題」の範囲が異様に狭くて、
全く現実的でない。
十分条件なら例えば「x(t)，y(t)はテイラー展開可能」という条件で行けるんだが、
「テイラー展開可能」ってのは病的でない関数としては異様に狭い範囲なのか？
蛇足だけど少なくともググった範囲では「病理学的な関数」の方がマイナーみたいだぞ。
随分奇異な条件だと思うがな。
他変数で展開可能かどうかで言わないと
意味ない。
空集合から空集合への写像は一つなので
0^0=1
それは、証明ではなく、こうであってくれたら
ある意味で便利なのに〜という要望だな。
定義とは何か？については>>20辺りを読むといい。
32だけど、別に証明したつもりはないよ
ただ0^0=1と定義したがる人の根拠は大概これだろう
中には、そういう人もいるかもね。
圧倒的多数は、Σ[k=0→∞](a_k)x^k の
k=0 だろうけど。
分母の0と分子の0の比率は1:1なので答えは1
0^1=0^(1-0)=0/1=0
理由
y=log x は、xを1つ決めると、yも1つに決まる。ただし、今は、実数の範囲で考える。
もし、0^0が不定でなければ、log(0^0)も不定ではないはずである。
log(0^0)=0×log0=0×(-∞)
0×∞は不定なので、仮定に矛盾。
∞^0が不定なのと似たような理由だと思う。
代数的な文脈ではそれは関係ない
りだから国家も腐るし、そして学問もダメになる。だからとにかく馬鹿板
は焼きます。こういう場所でカキコする低能が苦悩する様に。
￥
>331 名前 :１３２人目の素数さん：2016/07/31(日) 12:42:35.54 ID:eoIQzfwB
> 反論できないってことは読んでないんだなｗ
> なのに数学談義大好きｗ馬鹿の考えてることはよくわからんｗ
>
りだから国家も腐るし、そして学問もダメになる。だからとにかく馬鹿板
は焼きます。こういう場所でカキコする低能が苦悩する様に。
￥
>331 名前 :１３２人目の素数さん：2016/07/31(日) 12:42:35.54 ID:eoIQzfwB
> 反論できないってことは読んでないんだなｗ
> なのに数学談義大好きｗ馬鹿の考えてることはよくわからんｗ
>
りだから国家も腐るし、そして学問もダメになる。だからとにかく馬鹿板
は焼きます。こういう場所でカキコする低能が苦悩する様に。
￥
>331 名前 :１３２人目の素数さん：2016/07/31(日) 12:42:35.54 ID:eoIQzfwB
> 反論できないってことは読んでないんだなｗ
> なのに数学談義大好きｗ馬鹿の考えてることはよくわからんｗ
>
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5392 ：kmath1107★ ：2016/07/31(日) 11:53:29 ID:???
> 人への念の盗み見による介入を阻め。
>
>5393 ：kmath1107★ ：2016/07/31(日) 11:58:25 ID:???
> 人への念の盗み見による介入を阻め。
>
>5394 ：￥ ◆2VB8wsVUoo ：2016/07/31(日) 12:06:23 ID:???
> ￥
>
>5395 ：kmath1107★ ：2016/07/31(日) 13:24:11 ID:???
> 人への念の盗み見による介入を阻め。
>
>5396 ：￥ ◆2VB8wsVUoo ：2016/07/31(日) 17:23:53 ID:???
> ￥
>
>5397 ：kmath1107★ ：2016/08/01(月) 15:59:13 ID:???
> 人への念の盗み見による介入を阻め。
>
>5398 ：￥ ◆2VB8wsVUoo ：2016/08/01(月) 16:06:01 ID:???
> ￥
>
りだから国家も腐るし、そして学問もダメになる。だからとにかく馬鹿板
は焼きます。こういう場所でカキコする低能が苦悩する様に。
￥
>331 名前 :１３２人目の素数さん：2016/07/31(日) 12:42:35.54 ID:eoIQzfwB
> 反論できないってことは読んでないんだなｗ
> なのに数学談義大好きｗ馬鹿の考えてることはよくわからんｗ
>
夜の営み
★★★『日本人の生きる目的が「人間関係にあるから」であり、だから
研究者は学問を道具にして評価や昇進を目的としたり、また政治家
であれば「政治そのもの」（例えば国益）を言い訳にして出世を狙う』★★★
という様な事をスルからです。つまりクチでは学問とか研究とか言いながら、で
も本音では「自分の損得しか考えない」という：
★★★『偽善的な本末転倒が横行するから：コレこそが本音と建て前の構造そのもの』★★★
だと思いますね。ソレは例えばSTAP騒動であるとか、また舛添騒動、醜悪な都知
事候補の選び方を見ても、まあ明らかな事でしょう。
でもその「ナントカ道」というのは更に深刻な問題を孕んでますよ。そもそも研
究の基本は『自分の頭できちんと考える事』ですからね。つまり「作法を守る事
じゃない」って事が全く了解されてませんよ。とにかく周囲の顔色を窺って無難
に済ませる事しか考えない。そんな事をしてたら、何も出ませんわ。まあ：
★★★『刀を研ぐ事は皆が知ってるし、まあセッセとやる。
でも誰も「刀とは何ぞや？」と自ら問う事はしない。』★★★
という問題ですよ。
外国から買って来た刀を作法通りに振り回すだけじゃ、何も出ませんわ。
￥
x=0の時にy=1となる
つーか常にy=1だ
次にy=0.1^xの図を考えてみよう
x=0の時にy=1は固定のままに
+に進むほどyは0に近くなり
-に進むほどyは大きくなる
y=0.00001^xの図だと
x=0の時y=1はそのままに
x>0はx軸とほぼ平行になり
x<0はy軸とほぼ平行になる
y=0^xまで来ると
完全に軸と平行になり
x=0の時y=1はそのままで
更にy=0でありy=∞になる
よって0^0=1 and 0 and ∞
何を根拠に何を推論したのさ？
そこんとこの自覚が必要だろ。
>a=0^0 ならば 0^0=1*0^0 となるが
代数場外ファール乙
0^(1/∞)≒0^(-1/∞)
0^(1/∞)≒1/(0^(1/∞))
0^(1/∞)＝0ならば
0=1/0になる
>347 名前：１３２人目の素数さん ：2016/09/22(木) 01:38:42.56 ID:CSzeBKOI
> 337 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 338 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 339 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 340 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 341 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 342 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 343 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 344 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 345 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 346 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
http://uni.2ch.sc/test/read.cgi/math/1379910363/
>347 名前：１３２人目の素数さん ：2016/09/22(木) 01:38:42.56 ID:CSzeBKOI
> 337 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 338 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 339 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 340 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 341 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 342 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 343 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 344 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 345 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
> 346 名前：あぼ〜ん[NGName:￥ </b>◆2VB8wsVUoo <b>] 投稿日：あぼ〜ん
>
100〜のスレッドの続きを読む
