最大と最小のソースを表示
←
最大と最小
移動先:
案内
、
検索
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
要求した操作を行うことは許可されていません。
このページのソースの閲覧やコピーができます。
[[数学]]の様々な分野で[[順序]]が定まった対象に対し、最大のものや最小のものが考察されている。最大のものを表す標準的な記号として max、最小のものを表すものとして min がもちいられる。この記事では最大・最小に関係した様々な話題を紹介する。 == 順序集合の最小元 == [[順序構造]]の入った[[集合]] O が与えられたときに、Oの[[部分集合]] S に対してその最大元や最小元が存在するか、という問いをたてることができる。大小関係に基づいた順序を持つ[[実数]]の集合 '''R'''と、その部分集合である[[開区間]] (0, 1) の例に見られるように、一般的な順序集合については最大元も最小元も持たないような部分集合が存在しうる。 一方で[[自然数]]の集合 '''N''' (通常の大小関係に基づいて順序を入れる)は、そのどんな部分集合も最小の元を持っている。このように、[[全順序集合]]であってその任意の部分集合が最小元を持つようなものは[[整列順序集合]]とよばれる。[[選択公理]]を仮定することで、任意の集合の上に整列順序関係を導入できることが示される。 == 論理学における最大元・最小元 == 論理体系を表す対象として[[束]]を考えることができる。つまり、束の各元がその体系における命題に対応しており、順序関係 a ≤ bが[[含意]]の関係 a → b を表していると見なすことができる。このとき、束の最大元 1 は恒真命題を、最小元 0 は恒偽命題を表していることになる。 == 関数の最大値と最小値 == [[実数]]には大小関係に基づいた順序が定められている。集合 X から実数の集合 '''R''' への[[写像]] f にたいし、f の値域 Im f が最大の数や最小の数を持つかという問いがたてられる。 '''R'''が[[位相構造]]を持っていることから、良いコントロールが得られるクラスの写像として f が位相空間 X からの[[連続写像]]である場合を考えることができる。'''R''' の[[コンパクト空間|コンパクト]]な[[部分集合]]が有界閉集合として特徴づけられるが、このような集合は必ず最大の数と最小の数を持っている。実際、これらの数は考えている有界閉集合の[[最小上界]]や[[最大下界]]をとることによって得られる。一方でコンパクトな空間の連続写像による像はふたたびコンパクトになることから、コンパクトな位相空間上定義された実数値連続関数は必ず最大値と最小値を持つことがわかる。 実数値連続写像を考えている場合でも定義域がコンパクトでない場合には関数の最大値や最小値の存在は保証されない。例えば、[[偶数]]次[[多項式]]は、'''R'''が定義域の時、最高次の係数が正ならば最小値が求まるが最大値は求まらない。また最高次の係数が負ならば最大値は求まるが最小値は求まらない。 奇数次多項式は、'''R'''上で定義されている場合、最大値も最小値も求まらない。 == 局所環 == 幾何学的な代数系として[[局所環]]と呼ばれるクラスの[[環 (数学)|環]]が挙げられる。これは「一点の周りの[[関数 (数学)|関数]]の挙動」を取り出した環であり、問題にしている点で消えているような関数たちからなる最大の固有[[イデアル]]をもつという条件によって特徴づけられる。 ==統計の最大値最小値== 数値データにおいて、データを昇順に[[ソート]]したとき、最初の値を最小値、最後の値を最大値と呼ぶ。[[要約統計量]]の一種で、最小値は0[[分位点]]、最大値は1分位点である。 観測値の個数に大きく依存するので、取り扱いには注意が必要である。 ==関連項目== *[[極値]] *[[順序統計量]] {{DEFAULTSORT:さいたいちさいしようち}} [[Category:順序構造]] [[Category:数学に関する記事]] [[en:Extreme value]] [[en:Maxima and minima]]<!-- この二つは統合が提案中 -->
最大と最小
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
sandbox
commonsupload
ヘルプ
ヘルプ
井戸端
notice
bugreportspage
sitesupport
ウィキペディアに関するお問い合わせ
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報