実数からなる集合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)の上限をまた,下限はと表す。
執筆者:杉江 徹
出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
出典 パラグライダー用語辞典について 情報
宇宙事業会社スペースワンが開発した小型ロケット。固体燃料の3段式で、宇宙航空研究開発機構(JAXA)が開発を進めるイプシロンSよりもさらに小さい。スペースワンは契約から打ち上げまでの期間で世界最短を...
12/17 日本大百科全書(ニッポニカ)を更新
11/21 日本大百科全書(ニッポニカ)を更新
10/29 小学館の図鑑NEO[新版]動物を追加
10/22 デジタル大辞泉を更新
10/22 デジタル大辞泉プラスを更新