数学

数学とか

べき乗の大小関係　1
べき乗実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が n = 0...
2025.07.17
数学とか
数学とか

指数の法則　複利の計算式

複利計算実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式 (∗∗) が n = ...
2025.07.13
数学とか
数学とか

指数の法則　底を共有する指数の大小関係

指数の性質指数の性質を考えます。(仮定)⊥(正と負の乗法)¬(x<0∧0<y→0<xy)(背理法)¬(¬(x<0∧0<y)∨0<x･y)(→言い換え)¬(0<x∨y<0)→x･y<0(ド・モルガンの法則)x<0∧0<y→x･y<0(ド・モル...
2025.07.12
数学とか
スポンサーリンク
数学とか

数学的帰納法の雰囲気その三

数学的帰納法例題)1²+2²+3²+...x²=x(x+1)(2x+1)/6※1x=1(仮定)(1･2･3)/6=1(代入)1²=1(代入)1=1(同値関係)数学的帰納法の第一段階完了。次は第二段階。※1がx任意のxにn成り立つと仮定して式...
2025.07.10
数学とか
トレーニング

どうやって上手くなるか

上の動画の要点を補足をします。好きな場面を抽出好きなボクサーの好きな技を切り取る。1.まずは場面を切り取るあなたが認識可能な単位に切り取ってください。例)プルカウンター、ショルダーロール、ロマステップ、ワンツーなど2.その技が起こる"前の要...
2025.07.09
トレーニング運動理論
数学とか

x⁰=1

形式的な証明まずは形式的な証明。実数 x の正整数 n 乗は、素朴には、n 個の x を掛け合わせたものである。厳密には、次のように再帰的に定められる。(∗)x¹:=x,(∗∗)xn+1:=xⁿ×x(n≥1).x0を定義する場合には、関係式...
2025.07.05
数学とか
数学とか

アルキメデスの性質と全順序

任意の実数x,yには必ず順序関係が定義されている。x≦y∨y≦x(完備律)また、加法は≦関係を保存する。0<x<y,0<z⇒x+z<y+z(加法律)すなわち、任意の大きな実数より大きな実数は常に創れる(実数は無限大に頭を押さえつけることはな...
2025.07.03
数学とか
数学とか

アルキメデスの性質その三

順序群Gにおける正の元x, y について、xがyに対して無限小である（あるいは、yがxに対して無限大である）とは、任意の自然数 n について nx がyより小さいこと、つまり以下の不等式が成立することである。 x+⋯+x⏟n<y.ウィキペデ...
2025.06.24
数学とか
数学とか

アルキメデスの性質　その二

数の大きさ∀y,∀x∈ℝ,∀n∈ℕy<nx自然数は帰納的集合なので上に有界ではない、かつ実数は加法律によりどこまでも大きくできます。∀x,y>0,∃n∈ℕ:y<nx自然数に上界がないこと、実数に下界(無限小)と上界(無限大)がないことを簡潔...
2025.06.12
数学とか
数学とか

アルキメデスの性質

アルキメデスの性質順序群Gにおける正の元x, y について、xがyに対して無限小である（あるいは、yがxに対して無限大である）とは、任意の自然数 n について nx がyより小さいこと、つまり以下の不等式が成立することである。 x+⋯+x⏟...
2025.06.08
数学とか
数学とか

有理数の間には無理数がある

無理数は有理数の間にぎっしりと詰まっているようです。ホントかよと。散歩中にその証明を閃きました。任意の有理数の間には無理数が必ず存在することを証明します。準備0<x<y⇒0<y-x=y+(-x)①①は加法律から導出できる加法の性質。乗法逆元...
2025.05.18
数学とか
数学とか

ド・モルガンの法則の自然演繹

ド・モルガンの法則自然演繹て、少しも"自然"じゃないよな、と。形式主義vs直観主義。これで本気で喧嘩できる情熱すごい。数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場の...
2025.05.11
数学とか
次のページ