等式(=)に関する四則演算は,加法に関して,
● 交換法則: a+b=b+a,
● 結合法則: (a+b)+c=a+(b+c),
● 簡約法則: a+c=b+c ⇔ a=b
であり,乗法に関しては,
■ 交換法則:ab=ba,
■ 結合法則:(ab)c=a(bc),
■ 分配法則:a(b+c)=ab+ac, (a+b)c=ac+bc
■ 簡約法則:ac=bc ⇔ a=b
ですが,それでは,非等式(≠)に関する四則演算は,加法に関して,
▲ 交換法則: a+b≠c+d ⇔ a+b≠d+c, b+a≠c+d
▲ 結合法則: (a+b)+c≠d+(e+f),
▲ 簡約法則: a+c≠b+c ⇔ a≠b
乗法に関しては,
▼ 交換法則:ab≠cd ⇔ ab≠dc, ba≠cd
▼ 結合法則:(ab)c≠d(ef),
▼ 分配法則:a(b+c)≠ad+ae, (a+b)c≠dc+ec
▼ 簡約法則:ac≠bc ⇔ a≠b
のようになると考えられますが・・・???
上記の▲と▼については,まだ証明していません.
では,この非等式(≠)に対する「結合法則」,「交換法則」,
「分配法則」,「簡約法則」に関しての数学理論はありますか?
書物か雑誌記事をご存じの方,教えて下さい.
なお,「非等式」なる用語は正式なものではありません.この場での造語です.
No.2ベストアンサー
- 回答日時:
実数の積を考えると、一般に
ab = ba
が成り立ちます。
行列の積を考えると、一般に
AB = BA
は成り立ちません。
これらは等号=の性質によるものではなく、実数の積、行列の積の性質によるものです。
簡約法則についても
実数の積を考えたとき、c=0の場合には
ac = bc ⇒ a = b
は成り立ちません。
nを法とする合同式を考えたとき、gcd(c,n)≠1のとき
ac ≡ bc (mod n) ⇒ a ≡ b (mod n)
は成り立ちません。
これらは等号=(または、合同≡)の性質によるものではなく、実数の零元、合同式の除法の性質によるものです。
集合とその元に対する演算を考えるときは、普通、集合Aと演算Rをセットにして(A,R)の性質を考えます。
(または今回のように特定の二項関係=まで合わせて、(A,R,=)の性質を考えることもあるかもしれません)
今回のように集合や演算に何の制限も加えなければ、等号が成り立つとも成り立たないとも言えません。
集合や演算の定義によって、交換法則・分配法則などは成り立つようにも成り立たないようにも出来るからです。
また、等号について厳密な議論をするには、数学とは少し分かれたところで一階述語論理などを持ち出さなければいけないようです。
早々と,ご丁寧な解説をありがとうございます.非常に参考になります.
#1,#2,#3の方々のご回答をみまして,非等式(≠)に関しては理論的にまとまった数学体系はないものと解釈しました.
「理論的にまとまった数学体系」とは,すでに確立された非等式(≠)に関する f(a,b,c,d,...)≠g(a,b,c,d,...) を取り扱った体系(過去に確立されもの)のことです.なぜ,このような質問をするのかというと,数学的な文章を書いているうちに f(a,b,c,d,...)≠0 という式を使いました(実際の式とは異なります).そして,次に,f(a,b,c,d,...)≠0 から g(a,b,c,d,...)≠h(a,b,c,d,...) という式を導かねばならないはめになりました.
例えば,a+b≠0, a,b∈R(実数) から直感的に a+b+c≠0+c, c∈R として
a+b+c≠c となり,c=-b とおいて a+b-b≠-b, a+0≠-b ∴ a≠-b というようなことをやる必要が生じたのですが,直感的にこのように記述しただけではダメで,証明が必要です.
この非等式(≠)に関する数式操作の理論は学校(高校,大学)でも教わりませんでしたし,これに関する書物,雑誌も知りません.というわけで,この質問となりました.
a+b≠0 からただちに a≠-b が記述できるような保証がほしかったのです.一階述語論理などを用いて証明できるのでしょうが,実際の式は少し複雑なため,この証明にはまた時間が必要になります.
本筋ではないところに時間を取られるのは非能率的なので,この質問となったわけです.
No.3
- 回答日時:
等号に関する論理と「非等号」に関するそれを別々に考えるのではなく,
「非等号」に関する論理はあくまで等号に関するそれを出発点に導出される,と考えるのがとりあえずは妥当に思えます.
`a=b'を命題と考えると,`a≠b'という命題は`¬(a=b)'という命題の別表記である,と考えられます.
すると,例えば「非等式の加法に関する交換法則」は,
(∀a,b:(a+b=b+a))⇒(∀a,b,c,d:(¬(a+b=c+d)⇒¬(a+b=d+c)))
(∀a,b:(a+b=b+a))⇒(∀a,b,c,d:(¬(a+b=c+d)⇒¬(b+a=c+d)))
という命題が恒真であることを示すことで証明されます.
#2の方が紹介してくださっていますが,これを証明するためには一階述語論理の知識が必要になります.
ご丁寧な解説をありがとうございます.とても参考になります.
失礼とは存じますが,#2さんの欄にこの質問の生じた理由を書かせていただきました.
ご了承のほどを.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 行列の積では、 (A+B)²=A²+2AB+B² や、 (A+B)(A-B)=A²-B² が、毎回成 2 2022/04/18 10:03
- 物理学 特殊相対性原理って、最初から非慣性系を扱えるようにしないでどうやって、物理法則を不変にできるんだ? 1 2023/01/21 03:18
- 物理学 『F=ma』 3 2022/12/07 21:25
- 物理学 答えまでの過程と解答があってるか確認してほしいです。 この極形式と合わさった問題を解くのは初めてなの 2 2023/04/23 16:28
- 物理学 (1)はr>a のときはE=λ/2πaε r<aのときは電荷は表面に分布するからQ=0 E=0 (1 3 2023/04/14 17:35
- その他(形式科学) 場合の数 4 2023/02/12 12:10
- 数学 時々、回答者の見識に疑念を抱いてしまうんです。私だって本当は皆様のことを疑いたくはありません。しかし 2 2022/11/27 12:23
- その他(悩み相談・人生相談) 引き寄せの法則について教えてください。 1 2023/08/02 16:02
- 数学 代数学でわからないところがあるので教えていただきたいです。 S={x,y,z}を濃度3の集合とする。 3 2022/11/13 06:05
- スピーカー・コンポ・ステレオ 電気交流の実効値と値が違う平均値ではオームの法則が成り立たない理由を教えて下さい。 4 2022/05/02 09:53
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の問題
-
因数分解の問題です a^2(b+c)+b...
-
数学のあまり難しくない問題です
-
調和関数の直交変換による不変...
-
ダイヤのエースは今何巻・・・
-
(a+b)(b+c)(c+a)+abcの因数分解
-
a三乗(bーc)+b三乗(cーa)+c三...
-
因数分解せよ。 (a+b)(b...
-
二次関数の難問です。 P=x^2+y^...
-
行列式の因数分解
-
山梨大学の数Iの入試問題が回答...
-
a^2 + b^2 + c^2 - 2ab - 2bc -...
-
行列式の因数分解
-
にゃんこ先生の自作問題、4実数...
-
a^2-b^2+bc-acの因数分解の答が...
-
a(b二乗−c二乗)+b(c二乗−a二乗...
-
3a²b³c-6ab²c³-2a³bc²の因数分...
-
因数分解
-
この問題の解き方が分かりませ...
-
因数分解です。 写真の⑶で、aに...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
(a+b)(b+c)(c+a)+abcの因数分解
-
因数分解の問題です a^2(b+c)+b...
-
a(b二乗−c二乗)+b(c二乗−a二乗...
-
(b+c)/a=(c+a)/b=(a+b)/cのとき...
-
高1の因数分解の問題ですが、...
-
a^2 + b^2 + c^2 - 2ab - 2bc -...
-
数学の問題
-
ab(b+c)+bc(b+c)+ca...3abc
-
因数分解を教えてください
-
判別式D/4の公式は b²ーac です...
-
(a-b)^2+(b-c)^2+(c-a)^2を簡...
-
直角三角形の比で1:2:√3を使う...
-
数学のあまり難しくない問題です
-
a三乗(bーc)+b三乗(cーa)+c三...
-
(a+b-c)(ab-bc-ca)+abc の因数...
-
高一 数学1 不等式の証明 a>b,...
-
(a+b+c)+(a^2+b^2+c^2-ab-bc-ca...
-
a^2-b^2+bc-acの因数分解の答が...
-
因数分解の問題
-
因数分解
おすすめ情報