生成 (数学)のソースを表示
←
生成 (数学)
移動先:
案内
、
検索
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
要求した操作を行うことは許可されていません。
このページのソースの閲覧やコピーができます。
[[数学]]における'''生成'''(せいせい、''generate'')とは、与えられた対象と条件に対して、その条件を満たし与えられた対象を全て含むような'''最小の'''構成物を求めることである。生成に使われる与えられた対象のことを生成系という。また、ある種の生成された構成物はしばしば'''閉包'''(へいほう、''closure'')と呼ばれる(—閉包、—包のように接尾辞として用いられることもある)。 生成系に対して、与えられた条件を満たすために必要十分な操作が知られているならば、生成とは、生成系にその操作を繰り返し行う手続きの極限であると理解される。 生成系は特にそれが極小であるとき、しばしば'''基'''あるいは'''基底'''とよばれる。 == 例 == * [[幾何学]]において、ある集合のいくつかの部分集合が与えられているとき、与えられた部分集合族を含む最小の開集合系を与えられた部分集合族を'''開基'''とする開集合系と言う。また、この開集合系を与えることにより与えられた集合を[[位相空間]]と見たとき、その位相空間の位相を与えられた部分集合族の'''生成する位相'''という。これは与えられた部分集合族に (i)空集合・全体集合を加えること (ii)有限個の共通部分をとること (iii)[[和集合]]をとること(無限個でもよい)という操作を繰り返し行うことにより得られる集合族を求める操作である。 * [[線型代数学]]において、いくつかのベクトルが与えられているとき、それらのベクトルを全て含む最小のベクトル空間を、与えられたベクトルが'''生成するベクトル空間'''という。これは、(i)与えられたベクトルたちの和をとる (ii)与えられたベクトルをスカラー倍する という二つの操作を繰り返し行うことにより得られる。 * [[代数学]]において、ある[[体 (数学)|体]]が与えられているとき、その代数拡大であってそれ自身代数閉体であるものを'''代数閉包'''(だいすうへいほう、''algebraic closure'')という * 幾何学においてある図形が与えられているとき、「その図形を含む」という条件を満たす最小の閉集合を、与えられた図形の'''閉包'''という。これは、与えられた図形を含む閉集合の全体からなる集合族に[[共通部分]]をとる(必ずしも有限個の集合の共通部分であることを課さない)という操作のみを条件として与えるとき、この閉集合族の生成する図形であると見ることもできる。 * 幾何学においてある図形が与えられているとき、その図形を含む最小の[[凸集合]]を'''凸包'''(とつほう、''convex hull'')という。これも閉包と同様に、その図形を含む全ての凸集合に対して共通部分をとる操作で得られる図形とみることができる。 {{DEFAULTSORT:せいせい}} [[Category:集合論]] [[Category:幾何学]] [[Category:代数学]] [[Category:数学に関する記事]] [[de:Hüllenoperator]] [[it:Chiusura induttiva]] [[pl:Działanie wewnętrzne]]
生成 (数学)
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
sandbox
commonsupload
ヘルプ
ヘルプ
井戸端
notice
bugreportspage
sitesupport
ウィキペディアに関するお問い合わせ
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報