コンテンツにスキップ

「つまらない (数学)」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
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の訳語として用いられ、そのような文脈では自明と全く同じ意味である。

したがって、多くの場合“つまらない”対象が無意味であることはない。

空集合と全体集合

任意の集合部分集合として空集合と全体集合(その集合自身のこと)が得られることから、数学的構造の部分構造として見る限りこれらはつまらない。 しかし視点を変えれば、空集合は命題論理の真偽に深くかかわったり、空関数などの道具立てにも頻繁に利用されたりと、多くの応用を持つ豊かな対象でもある。

単元集合

集合論における順序代数構造などに対して、単元集合はそれらの対象に特有の公理を無条件に満たせることがよくある。

  • 自明な順序(0=0)
  • 自明な(0+0=0)
  • 自明な(0+0=0・0=0)

これらは「○○の条件をみたすような構造は自明なものしか存在しない」といった形で命題の表記や証明に貢献する一方で、それ自身は丸括弧内に付した以上の内的な性質をもたないので、つまらない対象でもある。