証明を省略するときの決まり文句全集

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

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

日本語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

• ..., and it is easy to check that I~ is an ideal.
  • Folland, A Course in Abstract Harmonic Analysis, p6

• 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

• The coincidences in the second and third rows can hardly be overlooked.
  • Allen Hatcher, Algebraic Topology, p339

• Immediate.
  • Jean-Pierre Serre, Local Fields, p23

†

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

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

• トップページ
• 自主ゼミ

最新の10件