greatestlowerbound(その他表記)greatestlowerbound

世界大百科事典(旧版)内のgreatestlowerboundの言及

【上限】より

…例えば,E={1-1/nnは自然数}の上限は1であり,これはEに属さない。下限infimum(greatest lower bound)も大小関係を逆にして同様に定義され,aEの上限であれば,-aは{-xxE}の下限である。一般に,集合M上で定義された実数値関数f(x)の,M上の値全体の集合f(M)が上に有界であるとき,集合f(M)の上限をまた,下限はと表す。…

※「greatestlowerbound」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

立春から数えて 88日目で,現行暦では5月2日頃にあたる。八十八夜を過ぎればもはや晩霜も終りになるので,農家ではこれを種まきや茶摘み,その他の農作業開始の基準としている。日本では明暦3 (1657) ...

八十八夜の用語解説を読む