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.8 や行
-
Example 6.8.17. 約束する.
ある記号や用語が特定の意味を持つことを定めること。例えば「ここで
\(f: A\to B\)と約束する」とあれば、「以降、
\(f\)は集合
\(A\)から
\(B\)への写像を表す」となる。
-
Example 6.8.18. 予想.
十分な証明がないが、真であると信じられている命題。数学においては、証明されていない命題を指すことが多い。
