クリーネ閉包(くりーねへいほう、英: Kleene closure)は、形式言語とオートマトンの理論において、ある演算の繰り返しが「生成」するシンボルないし文字の列(文字列)の集合である。また、この繰り返しの単項演算子をクリーネスター(英: Kleene star)という。 集合 V に対するクリーネ閉包の適用は、V*
推移閉包
を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。 任意の関係 R について、R の推移閉包は常に存在する。これを示すため、任意の推移関係の族の共通部分が推移的であることに注意する。さらに少なくとも1つの自明な R を含む推移関係 X ×
代数的閉包
の代数的閉包(だいすうてきへいほう、英: algebraic closure)は、代数的に閉じている K の代数拡大である。数学においてたくさんある閉包のうちの1つである。 ツォルンの補題を使って、すべての体は代数的閉包をもつことと、体 K の代数的閉包は K のすべての元を固定するような同型の違いを除いて
manjuhuwanqing commented
Lee commented
Lee commented
Lee commented
yuhui liao commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented