実数からなる集合Eが上に有界であるとき,Eの上界のうちで最小のものが実数の中に存在する。この最小上界をEの上限という。上限は集合Eに属するとは限らない。上限aがEに属するとき,aはEの最大の元である。集合Eの上限aは次の二つの性質によって特徴づけられる。(1)Eのどの元もaより大きくない。(2)aより小さいどんな数bに対してもEに属する元でbより大きい元が存在する。例えば,E={1-
|nは自然数}の上限は1であり,これはEに属さない。下限infimum(greatest lower bound)も大小関係を逆にして同様に定義され,aがEの上限であれば,-aは{-x|x∈E}の下限である。一般に,集合M上で定義された実数値関数f(x)の,M上の値全体の集合f(M)が上に有界であるとき,集合f(M)の上限を
また,下限は
と表す。
執筆者:杉江 徹
出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
出典 パラグライダー用語辞典について 情報
二十四節気の一つで,二至 (夏至,冬至) ,二分 (春分,秋分) として四季の中央におかれた中気。元来,春分は太陰太陽暦の2月中 (2月後半) のことで,太陽の黄経が0°に達した日 (太陽暦の3月 2...