体と言われる代数系においては、0に逆元0^-1はありません。
従って、0^0=0^-1*0^1=1 とはされていません。
逆に言えば、体でなければ、0に逆元が存在し、0^0=1 とすることができるだろうと予想されます。
次のような代数系を定義します。
-- ここから --
集合X = {0, 1} とする。
加法を以下のように定義する。
0+0=0, 0+1=1
1+0=1, 1+1=0
乗法を以下のように定義する。
0*0=1, 0*1=0
1*0=0, 1*1=1
この代数系では、体での基本法則は以下のようになる。
・交換法則と結合法則は、加法と乗法で成立する。
・加法単位元は0で、-0=0, -1=1 となる。
・乗法単位元は1で、1/0=0, 1/1=1 となる。
・0≠1。
・分配法則は成立しない。
-- ここまで --
この代数系で、べき乗を定義します。
べき乗:a^1=a, a^(n+1)=a^n*a より
0^1=0, 0^2=1, 0^3=0, …
1^1=1, 1^2=1, 1^3=1, …
さらに a^-1=1/a, a^-n=(a^-1)^n より
0^-1=0, 0^-2=1, 0^-3=0, …
1^-1=1, 1^-2=1, 1^-3=1, …
そして a^0=a^-1*a より
0^0=1
1^0=1
となります。
以上の結果から、次のことが分かります。
加法の単位元を0で表し、乗法の単位元を1で表すとき、0^0=1となる。
…という例が存在する。
つまり、0^0が未定義なのは、体に固有の問題であり、
分配法則が成立しない代数系では、0^0=1となることがある。
ここまでの計算とこの結論は妥当ですか?
No.8
- 回答日時:
> 両方を指すに決まっています。
今回の試みで、0^0 の二つの 0 は素性が全く異なる。
左の 0 は X の元 0 で、右の 0 は整数の 0。
X と整数では + や * の定義が全く異なるから、
a^p の a を有理数まで広げる話と p を有理数まで
広げる話を、今回の成果から発展させようというのなら、
両方をゴッチャにはできないはずだ。
> 今回の試みで、0^0 の二つの 0 は素性が全く異なる。
これは失礼しました。
その通りですね。
p は整数のままで、有理数まで広げることはありません。
なお、今回の成果を発展させるためにも、この質問は閉めさせてもらいます。
次回の質問でも意見を聞かせてくれることを期待しています。
回答ありがとうございました。
No.7
- 回答日時:
「0 は有理数」の 0 が 0^0 の内どちらの 0 を
指しているかによって、話は異なるかもしれない。
a^p の定義域を 実数^実数 へ拡張するとき、
[a] 有理数^実数 を経由する
[b] 実数^有理数 を経由する
[c] 一度に 実数^実数 へ持っていく
のどの経路をとるかで、
a^p に要請される連続性は異なり、その結果、
0^0 のとるべき値も違ってくる。
その話は、前回質問の A No.16 に、
破綻する [3] をどのように修正すべきか?の件で
述べておいた。
ともあれ、今回の成果は、登場する 0, 1, * の意味を
記号が同じであることで他のものと混同さえしなければ、
きちんと成立していると思う。
> 「0 は有理数」の 0 が 0^0 の内どちらの 0 を
> 指しているかによって、話は異なるかもしれない。
両方を指すに決まっています。
そして、この質問のシリーズ(今回がその1回目)に次があるとすれば、
それは、有限か可算濃度の集合の話になるということです。
> a^p に要請される連続性は異なり、その結果、
> 0^0 のとるべき値も違ってくる。
連続性に拘っているようですが、ここはべき乗を定義しようという話であり、べき乗は連続性に依存していません。
もっと分かりやすく言えば、実数乗が定義されたべき乗は存在しません。
別々の質問であることを理解した上で回答して下さることを望みます。
回答ありがとうございました。
No.6
- 回答日時:
> 0が有理数であるのなら、1/0も有理数(の拡張)ですからね。
今回の X の元 0 は、ただ名前を 0 としただけであって、
有理数でも整数でもない…という話を A No.5 でしたんだがな。
0 が有理数なら、「乗法」* で 0*0=1 にはならないから。
前回質問 http://oshiete.goo.ne.jp/qa/7981273.html
の証明が、a=0 では破綻していることから見て、
> 0^0=0 と定義すると問題あること
が示せているとは思えない。他に何か証明があれば、話は別だが。
> 0^0=1 と定義しても問題ないこと
は、「問題ない」が「a^(p+q)=(a^p)(a^q) が成立する」という意味
であれば、それこそ問題ない。しかし、その意味では、
0^0=0 と定義しても、同様に「問題ない」ことになる。
どこに問題があるのか、そこを説明しないとね。
> 今回の X の元 0 は、ただ名前を 0 としただけであって、
> 有理数でも整数でもない…という話を A No.5 でしたんだがな。
実数を考える前に有理数で考える必要があると答えただけですよ。
今回の質問で考えた代数系がそれだと解釈したのなら、勘違いです。
> 前回質問の証明が、a=0 では破綻していることから見て、
> > 0^0=0 と定義すると問題あること
> が示せているとは思えない。他に何か証明があれば、話は別だが。
別個の質問ですから、答えることはできません。
ただし、その質問にjmhさんは#15の後、問題点の指摘を続けていません。
回答ありがとうございました。
No.5
- 回答日時:
素晴らしい。
今回は論理の破綻が無い。記号の使い方が少し紛らわしいようだから、
今回の成果を清書しておこう。
集合 G 上に二項演算 * が定義され、
群になっているとする。その単位元を e と置く。
G の元 a と整数 n に対して G の元を定める演算
a∧n を、以下のように定義する。
[1] a∧1 = a,
[2] a∧(n+m) = (a∧n)*(a^m).
この2式によって、a∧n は矛盾無く定義され、
G の任意の元 a について a∧0 = e が成り立つ。
群の単位元を 1 と書くことは普通に行われているから、
e を 1 と書いてもよいし、
G の元に 0 と名づけられたものがあっても構わない。
ただし、それらを整数 1 や 0 と混同しなければの話。
混同の恐れがあれば、添え字で区別して
1_G, 0_G のように書くのが、代数の教科書の習慣。
ともあれ、これで 0∧0 = 1 と書くことができた。
群 (G,*) が、質問文中の (X,*) であっても
何の問題も無い。ここで示された 0∧0 = 1
式中の各記号が何を意味しているのか、X に即して
確認しておくといい。
私は、今回の X なら、元の名前を 0 → -1
と付け替えたほうが、解りやすいと感じるが…
X の + は、今回、定義しっぱなしでその後
登場していないから、「加法単位元」に注目する
理由は特に無いし、後で + を使うにしても、
X では分配法則が成立していないから、
二つの演算の一方を「乗法」と呼ぶ理由が無い。
例によっていつもの、そう定義しても構わないが、
そうしなければならない必然性は何も無い
…という議論になっている。
さて、その上で、今回の成果が
懸案の実数での a^p の話とどう関連してゆくのか…
> 例によっていつもの、そう定義しても構わないが、
> そうしなければならない必然性は何も無い
> …という議論になっている。
私の活動は
・0^0=1 と定義しても問題ないこと
・0^0=0 と定義すると問題あること
を示すことであり、その裏付けとなる考えが正しいか質問で確認を行なっています。
もしこれを超えて、「0^0=1 と定義しなければならない」と考えるとしたら、
それは私個人の考えであって、あるいは「そう定義しても構わない」と知った人の感じることです。
そして、それは個人の好みの問題に過ぎません。
「そう定義しても構わないが、そうしなければならない必然性は何も無い」と言われるのなら、
私は目的を達していると思うし、あなたは私の目的が達成されていないと思うのでしょう。
同じ事実なのに、結論が異なると感じるのは、不思議ですね。
> さて、その上で、今回の成果が
> 懸案の実数での a^p の話とどう関連してゆくのか…
実数の前に、有理数で考えなければいけません。
0が有理数であるのなら、1/0も有理数(の拡張)ですからね。
回答ありがとうございました。
No.4
- 回答日時:
Ans#3です。
>また、体の吸収元の0に“準じたもの”という意味も今回の質問で理解が進みました。
“準じたもの”とは、“本来備わっているべき性質を少し緩くしたもの”という意味で用いました。
0との積について
0*a=0 (aが0以外のとき)
0*0=1
と、0の積を0*0のみ(たったこれだけ)本来の演算とは違うものにしたという気持ちを込めたつもりですが、0*0=0を否定することは根底から0を崩壊させることでもあり、したがって、0*0=0を捨てた時点で“準じる”とは呼べないのかもしれません。
上記、ひとこと、添えさせて頂きます。また、私はあなたがやろうとしていることを否定するつもりはありません。数学界におけるパラダイムシフトに、生きている間に多く触れたいものです。
> 0*0=0を否定することは根底から0を崩壊させることでもあり、したがって、0*0=0を捨てた時点で“準じる”とは呼べないのかもしれません。
それは、呼べないと思います。
0除算が自由にできる乗法というのは、実は加法になるようです。
今回の加法と乗法の間でも、
a*b=a+b-1
が成立します。
これでよければ、いくらでも0^0=1とはできますが、加法と同じものを乗法とは呼べません。
したがって、そもそも0*0=0を捨てる理由がありません。
今回のように、元が2つなら、0*0に1を割り当てるしかありませんが。
> 私はあなたがやろうとしていることを否定するつもりはありません。
> 数学界におけるパラダイムシフトに、生きている間に多く触れたいものです。
私がやろうとしていることは、「0^0=1と定義する」ことであり、
「0^0=1と証明する」ことではありません。
後者はできないことだと考えており、前者はできることだと考えています。
今回のことも、その延長線上で何か成果があったとしても、それは変わりません。
回答ありがとうございました。
No.3ベストアンサー
- 回答日時:
Ans#2です。
>私としては、体ではないと明記する限り、吸収元ではない0は許されると考えます。
>私の目的は、体を拡張した場合に0^0=1となるものが存在するか考えることであり、
>その準備として、簡単なものから考えてるに過ぎません。
体の拡張・指数の拡張を研究されていることは、先の、このQAとは別のところでお察しします。吸収元ではない『0』とは、体における吸収元の0に“準じたもの”であるのかが気になるところです。現在のところ、0^0=1となるような代数系が、上記のQの中でXとして示されているのでしょうけれど、この段階では、このXが体や体に類似した代数系への拡張と対応できるものとは、まだまだ呼べません。(それについては、質問者さまが一番わかっていると思いますが。)
つまり、この例Xは
>つまり、0^0が未定義なのは、体に固有の問題であり、
>分配法則が成立しない代数系では、0^0=1となることがある。
という、結論について、全く、全く何も説明していないのではないですか?
2文目の0が、体の吸収元の0に“準じたもの”を指しているとしてもです。
いいかえれば、
>ここまでの計算とこの結論は妥当ですか?
少なくとも“ここまでの計算”が“この結論”に妥当性を与えるものではありません。
> この段階では、このXが体や体に類似した代数系への拡張と対応できるものとは、まだまだ呼べません。(それについては、質問者さまが一番わかっていると思いますが。)
そうでしょうね。
そもそも、素人の私が気付けるような拡張がそうそうあるとも思えません。
> 少なくとも“ここまでの計算”が“この結論”に妥当性を与えるものではありません。
計算は合ってたみたいですね。
また、体の吸収元の0に“準じたもの”という意味も今回の質問で理解が進みました。
今回のこの結論は、元が3つになるまでとっておきます。
回答ありがとうございました。
No.2
- 回答日時:
Ans#1です。
>0*0=1
見落としていました。
「体の公理」に付随しては、
結合法則も成り立つと言えるかもしれませんね。
しかし、です。
この代数系({0,1},+,*)は、2つの元を0と1とで“表記”しただけであり、
この2つの元を○や●と表しても問題ないでしょう。
つまり、
> 0^0が未定義なのは、体に固有の問題であり、
> 分配法則が成立しない代数系では、0^0=1となることがある。
とありますが、“1”や“0”は、体や、体のにおける1や0が意識されるから
意味があるということです。
上記の例では、1は乗法の単位元に類似していますが、
0については、体の“0”は意識されないものであり、
“0”と表記することが相応しいのか疑問です。
今回の代数系と、体における0^0とを対応づけることに無理があります。
> この代数系({0,1},+,*)は、2つの元を0と1とで“表記”しただけであり、
> この2つの元を○や●と表しても問題ないでしょう。
それは、その通りです。
> “1”や“0”は、体や、体のにおける1や0が意識されるから
> 意味があるということです。
加法の単位元という意味で0という表記を使っています。
乗法の単位元という意味で1という表記を使っています。
多分、それぞれ単独では問題ないと思われます。
ただし、乗法で0を使った場合、あなたが言われるように、
吸収元であるという前提と共に使われています。
では、体以外を扱う場合にもそのルールに従わなければならないのかと言うと、
それはあまりにも厳しすぎるのではないでしょうか?
私は、体以外を定義すると明記しています。
2つの演算を定義し、区別しやすいように加法+、乗法*と表記しました。
加法、乗法のそれぞれで、単位元を0、1と表記することは許されています。
これが許されないのなら、独自の記号ばかりの分かり難い議論になってしまいます。
私としては、体ではないと明記する限り、吸収元ではない0は許されると考えます。
そうでないと、体を拡張して体でないものを定義しようとした時、0という表記が許されなくなります。
それはあまりにも不便です。
> 今回の代数系と、体における0^0とを対応づけることに無理があります。
そういう意図はありません。
体より範囲を広げた、2つの演算が定義された状態で、0^0がどうなるか考察してるに過ぎません。
私の目的は、体を拡張した場合に0^0=1となるものが存在するか考えることであり、
その準備として、簡単なものから考えてるに過ぎません。
体と対応づけるには、部分集合が体をなしている必要があると考えます。
回答ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 代数学 環 1 2022/10/12 17:29
- 物理学 時間の進み方が変化する場合、スケール効果を考えるのは当然では? 1 2022/04/18 07:46
- 政治学 政教分離原則について説明した次の文章のうち,適当でないものを1つ選びなさい。 ①日本国憲法において政 1 2023/01/22 14:22
- 物理学 光に慣性があるとすると、光速度不変は成立しないですか。 15 2023/01/19 21:55
- 政治 中国は一票の格差4倍で、日本は3倍ですが、それでも日本は民主主義国なら中国も同じですよね? 2 2023/03/16 04:52
- 統計学 主成分分析について 1 2022/06/14 14:53
- 数学 回答の意味について 4 2023/07/11 11:19
- 数学 時々、回答者の見識に疑念を抱いてしまうんです。私だって本当は皆様のことを疑いたくはありません。しかし 2 2022/11/27 12:23
- 数学 ある方から頂いた回答について 1 2023/07/10 11:34
- 数学 実数同士の対応における対角線論法について 6 2023/07/08 17:01
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
自然数 整数 有理数 実数 加法 ...
-
皆さん定義を教えてください 「...
-
三角関数(たとえばf(x)=sinxと...
-
無限から無限を引いたら何にな...
-
ネットストーカーの定義 最近SN...
-
「logx^2=2logx」が間違って...
-
1未満と1以下の違い
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
べき乗
-
定義付けできない言葉について
-
p⇒q=(¬p)∨qについて
-
「互いに素」の定義…「1と2は互...
-
日本語 ことば ひとまわり ふた...
-
e<3の証明を教えてください。
-
集合間演算に関する質問
-
変数の宣言の名称を教えてくだ...
-
負の階乗 (-1/2)! =√π
-
ヘシアンが0の場合どうやって極...
-
複雑な家庭とは
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
1未満と1以下の違い
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
数字の1とは何なのか?
-
「互いに素」の定義…「1と2は互...
-
変数の宣言の名称を教えてくだ...
-
ACCESS VBAでインポート定義の場所
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
Excelファイルの「数式」タブ→...
-
e<3の証明を教えてください。
-
なぜ小数は自然数ではないので...
-
ヘシアンが0の場合どうやって極...
-
2進数の符号ビットの入った数...
-
最大元と極大元の定義の違いが...
-
eの0乗は1ってどういう原理です...
-
フーリエ級数展開の初項はなぜa...
おすすめ情報