DOSEI https://blog.hatena.ne.jp/DOSEI/ DOSEIの日記 https://dosei.hatenadiary.jp/ メモ 数学 定理 (theorem) とは、ある条件で、成り立つことを証明されたもの。定理のうち、以下のように言葉を使い分けることがある。 命題 (proposition) どの特定の定理とも関連付けられていない主張。この用語が単純な証明を含んでいる場合もある。（本来は、単に真か偽があいまいで無い文を言う。つまり、定理とは真であることが証明された命題。） 補題 (lemma) より大きな定理の一部。 補助定理 (pre-theorem) とも。ただし、定理との区別は著者の考え方によるし、伝統的に補題と呼ばれているものもある。ポンピング補題など。 系 (corollary) 定理や定義から、少しの証明もしく… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fdosei.hatenadiary.jp%2Fentry%2F20080707%2Fp2" title=" 定理・命題の使い分け - DOSEIの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-07-07 00:00:01 rich https://dosei.hatenadiary.jp/entry/20080707/p2 1.0 100%