No.1ベストアンサー
- 回答日時:
設問には提示されていない条件を付加するときの決まり文句で、
普通は、勝手に条件をつけ加えるなんて許されることではないけど、
「今回付加しようと思っている条件は、ほんのちょっとした解釈や工夫をすることで、もとからあった条件と同様に余条件として解釈できる」
って意味ですね。
たとえば、「異なる2つの自然数a,bのうち一方が偶数、一方が奇数であったとき、その積は偶数となる」ことの証明において、
「aを偶数、bを奇数とする」といった、一見新しい条件を付加するとしても「一般性を失わない」んです。
(以下、aは偶数なので2cとおけて、a*b=2cbとなり積は...)
ここでは、「ほんのちょっとした解釈」として、「もしaの側が奇数だったとしたら、それをbとし、b(偶数の方)をaと思っても、このあとの推論には影響ないよ」ということなんですが、それを一言で表現したいとき便利なのが「一般性を失わない」なんです。
なるほど、そういうことですか(><)
すごくよく分かりました。なるほどね~すごい!!
ありがとうございました(^^)助かりました。
No.5
- 回答日時:
例えば、赤いカードと白いカードに関する証明問題があったとします。
このとき(1) 1枚目のカードを赤と仮定して、証明が完成するとします。また、
(2) 1枚目のカードを白と仮定すると、(1) で記述した証明の過程の「赤」を全部「白」に置き換え、「白」を全部「赤」に置き換えた形でやはり証明が完成するとします。
この場合、(1)と(2)の両方を記述する必要はありません。「1枚目のカードが赤であると仮定したことによって、以後の論理展開に何ら支障を生じることがない」ことを宣言すれば足りるはずです。
このようなときに「1枚目のカードを赤と仮定しても一般性が失われない」と宣言するのが慣例となっています。つまり「1枚目のカードを赤と仮定しますが、これは一般的に記述して<ある色><他方の色>と区別しているのと同じことなのですよ」という意味です。
「一般性を失う」とは、赤からスタートしたときと、白からスタートしたときは、論理展開が違う形になってしまう、ということです。
「一般性を失う」とは赤からスタートしたときと白からスタートしたときは理論展開が違う形になってしまうということですか!!!(^o^)
とても分かりやすい例えに感動しました。ありがとうございます。なるほどね~すごい!!!助かりました。
No.4
- 回答日時:
ANo.1 さんの場合
命題 P(a, b) = 「異なる2つの自然数a,bのうち一方が偶数、一方が奇数であったとき、その積は偶数となる」
とした時に P(a, b) ≡ P(b, a) を利用しています(同値な命題)
ANo.2 さんの場合も例えば
命題 P(c) = 「円 c の半径を r とすると、その面積は πr^2 である」
とした時に、任意の並行移動 u : R^2 -> R^2 をもって P(u(c)) ≡ P(c) を利用しています。
とまぁ、P(a, b) ≡ P(b, a) や P(u(c)) ≡ P(c) が「自明だなぁ」と思った時に「一般性を失わない」という一言でかたづけているようです。
証明を読んだ人が俄かには理解できなさそうだ、と感じた場合には「一般性を失わない」こと自体の証明を補題として補足したりします。
証明を読んだ人が俄かには理解できなさそうだ、と感じた場合には「一般性を失わない」こと自体の証明を補題として補足したりします。
そうですね、その通り、補足が必要だと思います。
数学は1つ1つ理解できると嬉しいですね(^^)ありがとうございます。
No.2
- 回答日時:
本当は一般の場合を考えなければならないが、
ある特別の場合を考えても十分なときこんなことを言います。
例えば円について考える時、円の中心座標が(0,0)とは限らないが
中心座標が(0,0)である特別な場合を考えれば楽な時、「円の中心座標が(0,0)であるとしても一般性を失わない」といいます。
実際どんな円も平行移動すれば中心を(0,0)にできます。
なるほど、ある特別の場合を考えても、他の場合も同じように応用できるときに一般性を失うことはないというのですね。助かりました。ありがとうございます(^^)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
歩いた自慢大会
「めちゃくちゃ歩いたエピソード」を教えてください。 長時間でも長距離でも結構です。
-
フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
あなたが普段思っている「これまだ誰も言ってなかったけど共感されるだろうな」というあるあるを教えてください
-
映画のエンドロール観る派?観ない派?
映画が終わった後、すぐに席を立って帰る方もちらほら見かけます。皆さんはエンドロールの最後まで観ていきますか?
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
天使と悪魔選手権
悪魔がこんなささやきをしていたら、天使のあなたはなんと言って止めますか?
-
数学の問題:「一般性を失わない」について
数学
-
互いに素と負の数
数学
-
なぜ両辺が負の時に両辺を二乗してはダメなんですか? また、この式は合っていますか? a>0 b>0よ
数学
-
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の証明問題で、「証明終了」...
-
数学の「証明」のときなどの接...
-
素数の性質
-
(4^n)-1が3の倍数であることの...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
証明の問題がわからないです
-
婿養子に入ったのに出て行けと...
-
証明終了の記号。
-
ゴールドバッハ予想について考...
-
婿養子です、妻と離婚して妻の...
-
親の再婚相手との問題です。私...
-
実息とは?
-
直角三角形の性質
-
1+1=2の証明って?
-
極限に関する証明について
-
rot rotA=grad divA-∇^2Aの証明...
-
正の整数a.b.cが a^2+b^2=c^2を...
-
よって・ゆえに・したがって・∴...
-
成人した後両親が離婚し別の人...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
素数の性質
-
数学の「証明」のときなどの接...
-
3,4,7,8を使って10を作る
-
夫が亡くなった後の義理家族と...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
素数の積に1を加算すると素数で...
-
婿養子です、妻と離婚して妻の...
-
親の再婚相手との問題です。私...
-
証明終了の記号。
-
(4^n)-1が3の倍数であることの...
-
婿養子に入ったのに出て行けと...
-
実息とは?
-
よって・ゆえに・したがって・∴...
-
無理数って二乗しても有理数に...
-
47歳、母親の再婚を子供の立場...
-
再婚、奨学金
-
ゴールドバッハ予想について考...
-
正解が一つとは限らない数学の...
-
再婚を考えてますが、養子縁組...
おすすめ情報