条件付き完備性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/17 09:58 UTC 版)
条件付き完備束 (conditionally complete lattice) とは任意の空でなく上に有界な部分集合が結び(最小上界)を持つことをいう。このような束は実数全体の集合に対する完備性公理を最も直接に一般化するものである。条件付き完備束は、完備束か、完備束から最大元 1 を除いたものか、完備束から最小元 0 を除いたものか、あるいは完備束から最大元と最小元の両方を取り除いたものかのいずれかである。
※この「条件付き完備性」の解説は、「束 (束論)」の解説の一部です。
「条件付き完備性」を含む「束 (束論)」の記事については、「束 (束論)」の概要を参照ください。
- 条件付き完備性のページへのリンク