翻訳と辞書 |
有界[ゆうかい]
数学において集合が有界(ゆうかい、)である、または有界集合(ゆうかいしゅうごう、)であるとは、ある種の「差渡しの大きさ」に関する有限性をそれが持つときにいう。有界でない集合は非有界(ひゆうかい、)であるという。 == 定義 ==
=== 順序集合の有界性 === 順序集合 (''X'', ≤) とその空でない部分集合 ''A'' を考える。''X'' の元 ''L'' が、''A'' の任意の元 ''a'' について ''a'' ≤ ''L'' を満たすとき、''L'' を ''A'' の上界 といい、上界を持つ ''A'' は上に有界であるまたは「上から抑えられる」 であるという。また ''X'' の元 ''l'' が、''A'' の任意の元 ''a'' について ''l'' ≤ ''a'' を満たすならば、''l'' を ''A'' の下界 といい、下界を持つ ''A'' は下に有界である、または「下から押さえられる」 という。 上下両側から抑えられる集合は有界であるという。 順序集合 (''X'', ≤) が半順序 ≤ に関して最大元および最小元を持つならば、この半順序は有界順序 である、または ''X'' は有界順序集合 であるという。有界順序を持つ順序集合 ''X'' に対し、部分集合 ''S'' に順序を制限した (''S'', ≤) は必ずしも有界順序にはならない。
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「有界」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|