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

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

日本語version

  • 証明せよ
    • アティマク, p5
  • 簡単な演習問題なので読者に任そう。
    • 同上, p35
  • 復習をかねて読者自ら確かめられたい。
    • 近藤武「群論」p.112
  • 証明はこの本では述べない。(中略)…に、簡潔で読みやすい証明がある。
    • 松本「多様体の基礎」p.216
  • 実際は、(中略)…だけを仮定して証明される。ここでその証明を述べるほどの興味はあるまい。
    • 高木貞治「解析概論」p.118
  • あえて読者の演習として残す
    • キューネン数学基礎論講義, p241
  • (i),(ii)は容易、(iii),(iv)は省略、(v)は(iv)より導かれる
    • 河田ホモロジー代数, p26
  • 容易であろう。
    • 同上, p212
  • (j),(k),(q)については省略する。それ以外についてはそれぞれ次を参照せよ:(a)-(c)[EGAI]命題4.2.5,命題4.3.1,系4.3.2. (d)[EGAI]命題6.6.6. (e)[EGAI]命題6.3.4. (f)[EGAIV]1.4.3. (g)[EGAIV]命題1.6.2. (h)[EGAI]命題5.5.1. (i)[EGAII]命題5.4.2. (l)[EGAII]命題1.6.2. (m)[EGAII]命題6.1.5. (n)[EGAII]命題6.2.4. (o)[EGAI]命題6.6.4. (p)[EGAIV]命題1.2.2. (r)[EGAIV]命題17.3.3, 系17.5.2.
    • 斎藤・佐藤, 代数的サイクルとエタールコホモロジー,p28
  • これらの確認は、誰でも一生に一度はやってみるとよいと言われているものなので、読者にお任せすることにする
    • 宮島「関数解析」

英語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 as 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
  • We shall leave the proofs to the reader, but the wise reader will simply take our word for it, at least on a first reading: we do not want to overemphasize this material, the importance of which can only become apparent in retrospect.
    • the same as above, p37
  • 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
  • Using representation (3.2.15),one can show that〜
    • the same as above, p99

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

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



トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2018-08-07 (火) 23:41:20 (71d)