デデキント切断

有理数の大小関係

加法の大小関係デデキント切断の準備をします。感覚的には「任意の正数xに任意の正数y足した値はxより大きくなる」は自加法律を見れば自明です。ただ、年の為に確認します。0<1,x(仮定)0+x<1+x(加法律)x<1+x(単位元)0<1,x⇒x...

稠密性「デデキントカットッッッ！！！」

実数の最大値最小値A={ℝ∈x|a≤x≤b}maxA=b,minA=a非負の実数の部分集合の大小関係を集めた順序対の集合をℝ⁺≤とすると∀x(0,x)∈ℝ⁺≤正の実数の任意の元は0以上の関係にあるので、その最小値はminℝ⁻=0負の実数はx...