束とは？
そく
任意の二元に対して最小上界と最大下界が存在する半順序集合のことで、代数と順序の両面をもつ構造だよ。
束とは、ものを大きさ順に並べたとき（半順序集合）、どの二つの要素についても「二つのうち大きい方に合流する最小のもの（上限）」と「二つのうち小さい方から分かれる最大のもの（下限）」が必ず存在する構造のことだよ。
つかいかた・れいぶん
集合を包含関係で並べたとき、和集合（上限）と共通部分（下限）が必ずあるのが束の例だよ。
このことばを シェア
さいごの こうしん: