数学とか 有理数の大小関係
加法の大小関係デデキント切断の準備をします。感覚的には「任意の正数xに任意の正数y足した値はxより大きくなる」は自加法律を見れば自明です。ただ、年の為に確認します。0<1,x(仮定)0+x<1+x(加法律)x<1+x(単位元)0<1,x⇒x...
加法
数学とか 数学とか マイナス×プラス=マイナス
マイナス×プラス=マイナス0≤x,y⇒-x,-y≤0①と0x=0②との定理を用います。-1･-1=1の証明。-1+1=0(加法逆元)-1+-(-1)=0(加法逆元)-(-1)=1(加法一意性)①-1･a=-a(仮定)-a･-b(仮定2)-1...
数学とか 加法律から導かれる性質
実数の加法律からどんな性質が導けるのかを考えます。加法律は演算の後で順序の性質が保たれることの要請。0≤x⇒-x≤00≤x(仮定)(-x)+0≤(-x)+x(加法律)-x≤0(単位元と逆元)0≤x⇒-x≤0(含意)xが0以上ならば-xは0以...
数学とか 頭の体操七
逆元の逆元-(-x)は逆元の逆元という意味。裏の裏は表、の証明。公理主義実数論の公理から。∀x,∃-x∈ℝ:x+(-x)=0任意の元xを選ぶとその逆元は必ず存在します。(-x)+(-(-x))=0(R3)-(-x)+(-x)=0(R4)x+...
数学とか 加法と減法の認識
我流減法の次は我流で加法と減法の関係を定義します。+と-の関係加法と減法の認識の隙間を我流で埋めてみました。a+b=cこの加法がc-a=bこの減法の形と関係していて欲しい。つまりa+b=c→c-a=bが成立してほしい。と整合性は度外視して一...
数学とか 自然数の減法の規則を考える
自然数の減法の定義と解釈数学的帰納法で遊ぼうと練習問題を探していると減法の定義を学ぶ必要が出てきました。減法の定義二つの数 a, b の加法と呼ばれる演算 + に対して、数 c がa + b = cという関係を満足するとき、演算子 − を導...
数学とか 大小関係を我流で定義
前回、大小関係の>を演繹してよい規則を勝手に作りましたので、その規則を一般化できるか試してみます。我流大小関係復習記号⊢\vdash は、ターンスタイル（turnstile、回転扉）あるいはティー (tee) と呼ばれ、意味的には「生成する...
数学とか 自然数の0×x=0の証明
x×0=0は定義通り。0×x=0証明数学的帰納法を用います。x=0の場合は定義通り。1.0×02.0…(1)x=1の場合1.0×1(仮定)2.(0×0)+0(定義)3.0+0(1)より4.0…(2)x=2の場合1.0+2(仮定)2.(0×1...
数学とか 自然数の0+x=xの証明
x+0=xは定義されていますが、逆バージョン0+x=xは証明定義されていませんのて証明していきます。0+x=x証明1.0+0(仮定)1.0(加法定義)3.0+0⇔0…14.0+1(仮定)5.S(0+0)(加法定義)6.S(0)(1より)7....
数学とか 1×0=0と1×1=1の証明
自然数の乗法定義自然数の加法は再帰的に、以下のように定義できる。すべての自然数 a に対して、a + 0 = aすべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義するならば、su...
数学とか 1+1=1×2の証明
自然数の加法と乗法定義自然数の加法は再帰的に、以下のように定義できる。1.すべての自然数 a に対して、a + 0 = a2.すべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義す...
数学とか 1+1=2の証明
1+1 =2の証明を定義から導きます。自然数の加法定義1.自然数 1 が存在する。2.任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する（suc(a) は a + 1 の "意味"）。3.異なる自然数...