証明を省略するときの決まり文句全集 の履歴(No.6)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 証明を省略するときの決まり文句全集 へ行く。
  • 1 (2018-05-24 (木) 18:13:26)
  • 2 (2018-05-24 (木) 19:05:03)
  • 3 (2018-05-28 (月) 00:45:57)
  • 4 (2018-05-28 (月) 15:12:21)
  • 5 (2018-05-29 (火) 14:19:06)
  • 6 (2018-06-07 (木) 14:30:06)
  • 7 (2018-06-13 (水) 22:22:55)
  • 8 (2018-06-18 (月) 22:38:10)
  • 9 (2018-06-25 (月) 16:48:54)
  • 10 (2018-08-07 (火) 23:41:20)
  • 11 (2018-11-10 (土) 16:59:58)
  • 12 (2018-12-24 (月) 15:58:34)

次の著作から使える！証明を省略するときの決まり文句全集†

キミも証明を省略して読者の演習問題としよう！

日本語version†

• 証明せよ
  • アティマク, p5

• 簡単な演習問題なので読者に任そう。
  • 同上, p35

• 復習をかねて読者自ら確かめられたい。
  • 近藤武「群論」p.112

• 証明はこの本では述べない。(中略)…に、簡潔で読みやすい証明がある。
  • 松本「多様体の基礎」p.216

• 実際は、（中略）…だけを仮定して証明される。ここでその証明を述べるほどの興味はあるまい。
  • 高木貞治「解析概論」p.118

• あえて読者の演習として残す
  • キューネン数学基礎論講義, p241

• (i),(ii)は容易、(iii),(iv)は省略、(v)は(iv)より導かれる
  • 河田ホモロジー代数, p26

• 容易であろう。
  • 同上, p212

英語version†

• We leave the proof of the last assertion to the reader.
  • Munford, "Algebraic Geometry I: Complex Projective Varieties", p17

• Proof left to reader.
  • the same above, p19

• It is easy to check (hogehoge).

• We omit the simple proofs of these results.
  • Bishop, Constructive Analysis, p21

• The reader unused to such proofs should write out the proof in full.
  • Blackburn, et al., Modal Logic, p56

• These statements are immediate from the results of the previous section.
  • May, A Concise Course in Algebraic Topology, p27

• If you have enough patience prove the analog to (2.1.7) for finitely many increments of N.
  • Thomas Mikosch, "Non-Life Insurance Mathematics", p18

†

日々の進捗で見かけたら、編集するかコメントに残すなどして、協力をお願いします。

＊許可なく編集する場合があります、ご了承下さい