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

[ トップ ] [ 新規 | 一覧 | 検索 | 最終更新 | ヘルプ | ログイン ]

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

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

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

†

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

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