Skip to main content\(\newcommand{\N}{\mathbb N} \newcommand{\Z}{\mathbb Z} \newcommand{\Q}{\mathbb Q} \newcommand{\R}{\mathbb R}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Subsection 6.4 た行
-
Example 6.4.10. 定理.
命題のうち、特に理論的に重要であるものや、便利であるもの。このあたりの命名規則に明確な線引きは存在せず、分野によって異なる暗黙の了解によって振り分けられるのが基本だが、著者の裁量で変化しうる。
-
Example 6.4.11. 定義.
ある数学的対象や用語の意味を明確にすること。例えば「群とは、集合と二項演算が特定の公理を満たすものである」といった具合に、その対象の性質や構造を規定する。
-
Example 6.4.12. 強い主張(strong statement).
ある命題が他の命題よりも多くの情報を含んでいる場合、その命題は「強い主張」であると言われる。例えば、命題Pが命題Qを含意する場合、PはQよりも強い主張である。
