「つまらない (数学)」の版間の差分
表示
削除された内容 追加された内容
Malca-ite-chon'e (会話 | 投稿記録) m編集の要約なし |
編集の要約なし |
||
1行目: | 1行目: | ||
{{出典の明記|date=2020年7月7日 (火) 06:36 (UTC)}} |
{{出典の明記|date=2020年7月7日 (火) 06:36 (UTC)}} |
||
{{独自研究|date=2020年7月7日 (火) 06:36 (UTC)}}[[数学]]において |
{{独自研究|date=2020年7月7日 (火) 06:36 (UTC)}} |
||
[[数学]]において、'''つまらない'''とは、そのように表現される対象が(その文脈においては)単体で研究するほどの内容的な豊かさを備えていないことを表す、やや俗な表現である。 |
|||
もとは'''trivial'''の訳語として用いられ、そのような文脈では[[自明性 (数学)|'''自明''']]と全く同じ意味である。 |
もとは'''trivial'''の訳語として用いられ、そのような文脈では[[自明性 (数学)|'''自明''']]と全く同じ意味である。 |
||
20行目: | 21行目: | ||
これらは「○○の条件をみたすような構造は自明なものしか存在しない」といった形で命題の表記や証明に貢献する一方で、それ自身は丸括弧内に付した以上の内的な性質をもたないので、つまらない対象でもある。 |
これらは「○○の条件をみたすような構造は自明なものしか存在しない」といった形で命題の表記や証明に貢献する一方で、それ自身は丸括弧内に付した以上の内的な性質をもたないので、つまらない対象でもある。 |
||
{{デフォルトソート:つまらない}} |
|||
[[Category:数学に関する記事]] |
[[Category:数学に関する記事]] |
||
[[Category:数学]] |
|||
[[Category:慣用句]] |
[[Category:慣用句]] |
2020年11月25日 (水) 23:25時点における版
![]() |
![]() | この記事には独自研究が含まれているおそれがあります。 |
数学において、つまらないとは、そのように表現される対象が(その文脈においては)単体で研究するほどの内容的な豊かさを備えていないことを表す、やや俗な表現である。 もとはtrivialの訳語として用いられ、そのような文脈では自明と全く同じ意味である。
したがって、多くの場合“つまらない”対象が無意味であることはない。
例
空集合と全体集合
任意の集合の部分集合として空集合と全体集合(その集合自身のこと)が得られることから、数学的構造の部分構造として見る限りこれらはつまらない。 しかし視点を変えれば、空集合は命題論理の真偽に深くかかわったり、空関数などの道具立てにも頻繁に利用されたりと、多くの応用を持つ豊かな対象でもある。
単元集合
集合論における順序や代数構造などに対して、単元集合はそれらの対象に特有の公理を無条件に満たせることがよくある。
他
これらは「○○の条件をみたすような構造は自明なものしか存在しない」といった形で命題の表記や証明に貢献する一方で、それ自身は丸括弧内に付した以上の内的な性質をもたないので、つまらない対象でもある。