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

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

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

** 日本語version [#t02b42b8]

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

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

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

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

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

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

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

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

//-決まり文句
//--出典(本とページ)

** 英語version [#p0abf02a]

- 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


** [#obe8d456]

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

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

#comment

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

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