数学とか x⁰=1
形式的な証明まずは形式的な証明。実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式...
数学
数学とか 数学とか アルキメデスの性質と全順序
任意の実数x,yには必ず順序関係が定義されている。x≦y∨y≦x(完備律)また、加法は≦関係を保存する。0<x<y,0<z⇒x+z<y+z(加法律)すなわち、任意の大きな実数より大きな実数は常に創れる(実数は無限大に頭を押さえつけることはな...
数学とか アルキメデスの性質その三
順序群Gにおける正の元x, y について、xがyに対して無限小である（あるいは、yがxに対して無限大である）とは、任意の自然数 n について nx がyより小さいこと、つまり以下の不等式が成立することである。 x+⋯+x⏟n<y.ウィキペデ...
数学とか アルキメデスの性質 その二
数の大きさ∀y,∀x∈ℝ,∀n∈ℕy<nx自然数は帰納的集合なので上に有界ではない、かつ実数は加法律によりどこまでも大きくできます。∀x,y>0,∃n∈ℕ:y<nx自然数に上界がないこと、実数に下界(無限小)と上界(無限大)がないことを簡潔...
数学とか アルキメデスの性質
アルキメデスの性質順序群Gにおける正の元x, y について、xがyに対して無限小である（あるいは、yがxに対して無限大である）とは、任意の自然数 n について nx がyより小さいこと、つまり以下の不等式が成立することである。 x+⋯+x⏟...
数学とか 有理数の間には無理数がある
無理数は有理数の間にぎっしりと詰まっているようです。ホントかよと。散歩中にその証明を閃きました。任意の有理数の間には無理数が必ず存在することを証明します。準備0<x<y⇒0<y-x=y+(-x)①①は加法律から導出できる加法の性質。乗法逆元...
数学とか ド・モルガンの法則の自然演繹
ド・モルガンの法則自然演繹て、少しも"自然"じゃないよな、と。形式主義vs直観主義。これで本気で喧嘩できる情熱すごい。数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場の...
数学とか 無理数と有理数の性質
有理数×無理数=無理数有理数の加法と乗法の閉性より有理数×有理数=有理数有理数+有理数=有理数となります。有理数×無理数=有理数だと仮定します。無理数=有理数/有理数(乗法逆元)以上は有理数の演算が閉じている要請を満たしていません。矛盾しま...
数学とか 有理数は循環少数
有理数は循環小数見出しの証明。有理数（ゆうりすう、英: rational number）とは、整数の比（英: ratio）として表すことができる実数のことである。分母・分子ともに整数の分数（分母≠0）として表すことができる実数との説明もされ...
数学とか √2の無理性の証明
無理性の証明有理数はℤ/ℕで表される数。偶数は約分できるので、有理数は分母か分子のいずれかが奇数になります※1。例)2/4=1/2,3/6=1/2分母分子は互いに素x²=2となるようなxを求めます。そのような有理数があると仮定すると(p/q...
数学とか 乗法と乗法逆元の性質
積の大小関係乗法の大小関係の性質。既に導いたx<y⇒0<y-x=y+(-x)①の加法の性質を用います。0<x≤y≤z(仮定)0≤x(z-y)(乗法律と①)0≤xz-xy(分配法則)xy≤xz-xy+xy(加法律)xy≤xz(単位元)0≤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...