[Eng Sub] Is It Really Unsolvable? | Dual Numbers

English subtitles available!
English dub channel: / @zunda-theorem-en
(Note: The English dubbed version may be released later than the Japanese version.)
[BGM]
昼下がり気分
魔法使いと振り子時計
Caravan
[Materials]
VOICEVOX:ずんだもん (立ち絵:坂本アヒル様)
VOICEVOX:四国めたん (立ち絵:坂本アヒル様)
効果音ラボ
pixabay
#math

[@shusui_yamabuki]

2乗以上の高次項は全て無視するというのはたしかに無限小

[@粕谷礼]

絶対値が1の複素数を掛けることは複素平面上での回転に対応しているように、絶対値が1の二重数を掛けることは「二重平面」上での「剪断」（例えるなら正方形を平行四辺形にするような変形）に対応しているということも是非とも紹介してほしい

[@mentoscola4160]

直感的に言えばεは無限小みたいなもんだから、εを縦軸に単位円書くと円が無限に引き延ばされて直線になるのね

[@YS_handlename]

確かに、あの「円」は無限に縦長の楕円と考えればわかりやすい

[@mio-yukina078]

なるる！　εの単位円に納得できまして

[@garioshi6525]

As a physicist, I've been using dual numbers (or at least an analog) for years without even knowing it! We often approximate certain variables (let's use k as an example) as "very small", where we take k =/= 0, but k^2 = 0, and k is very rarely given a numerical value. This is incredibly useful in basically every field of physics and I had simply never thought of it in this way before! We do tend to allow division by k, however. Thank you for this video.

[@kitlith]

You're probably using k as an "implicit limit" rather than as dual numbers, which seems sound as long as you never divide a term by k more than once (because you're discarding k^2 terms as irrelevant)

[@molecular_science-vx7qh]

このチャンネル見てると、数学って自由な発想が大事な学問なのだな、と実感する

[@taki_huuko]

数学に関わらず、全ての学問はアブダクションが学問を進化させています。「一般的に」論理的でない考えや発想が元になっているわけですね。

[@latarte3931]

I really love the way dual numbers were introduced here ! Thank you for all the efforts you put on your videos, you're the best !

[@keeperofthe7keyspart]

この何に使うのよくわからない二重数を四元数と組み合わせてゲームなどのコンピュータグラフィックスのアニメーションに応用する事を思いついた人、マジ凄い。

[@jjjplan5072]

加えて、もしこれが行列表現が可能であるなら、複素数を四元数に拡張する過程を適用して四重数を定義できそうですね。でも、そうすると、「二乗すると零になる無限小」とは別の測度で「四乗しないと零にならない測度の無限小」、つまり通常の微分の拡張すら逆定義できそうです。（もしかして、非自然数階数の微分だったり・・・）一つの事象を別の角度から定義し直して再構築する操作って、本当に美しくて面白いですね。

[@回廊]

冪零行列を利用して表現可能ですね。 二重数a + biの表現行列は a b 0 a という行列となり、 四乗して零になる方をε₄と表した際の a + bε₄ + cε₄² + dε₄³の表現行列は a b c d 0 a b c 0 0 a b 0 0 0 a という行列になります。 三乗や五乗の場合でも、εやε₄の場合と同じような表現行列が得られますね。

[@jjjplan5072]

>@回廊さん やっぱりそうですよね。 すると、この「４乗しないと零にならない」測度で定義できる微分は、何回か同じ操作を繰り返して初めて通常の微分と一致するような気がしますね。

[@山形祐介-e5l]

このεの性質は、行列におけるべき零行列にも似てそうです。(自身は零行列でなくても、累乗すると零行列になる。また、当然正則性はないので、逆行列を求められない。)

[@回廊]

a + bεの表現行列は a b 0 a という冪零行列で表せますね。 ただ、この表現だと無限小って考え方と少しだけ相性が悪くなるので、使い分けが必要ですね。 (誤:冪零行列 訂:スカラー倍単位行列と冪零行列の和)

[@山形祐介-e5l]

@@回廊 冪零行列と単位行列の線形結合ではないでしょうか。

[@山崎洋一-j8c]

実際たとえば2×2行列の部分環として、Eを単位行列、εを1行目が(0,1)、2行目が(0,0)である行列とし、xE+yεという形の行列（1行目が(x,y)、2行目が(0,x)である行列）を考えると、この動画の数系のモデルになります。これはεが零因子である単位的可換環となり、xの大小関係で（xが等しい場合はyの大小関係で）「辞書式順序」を定義すれぱ、非アルキメデス的順序環にもなります（任意の正の実数xに対し、O

[@回廊]

@@山形祐介-e5l 確かにそうですね。こっちが馴染んでて勝手に足してました

[@回廊]

a + bi + cε + diεも無理やり、 a b c d -b a -d c 0 0 a b 0 0 -b a という行列で表現出来ますね(ヤケクソ) (追記: どっちかって言ったら、分解型複素数a+bi+cj+dkの内の二つの元 i = 0 -1 1 0 j = 0 1 1 0 を組み合わせた形での、 ε = (i+j)/2 = 0 0 1 0 って表現の方が有意義かも。)

[@take-j3o]

クイズの大会で知って興味はあったのですが、youtubeにわかりやすい動画が見つからず、ずっと興味はあったのでとてもありがたいです

[@Xcyiterr]

the music this youtube channel uses is so memorable that I instantly noticed the new music choice keep up the awesome work

[@超伝導ゼロス]

数学での「二重数」の定義は、 実数 a, b と ε² = 0（複零性）を満たす実数でない ε を用いて、 z = a + bε と表すことのできる数。

[@妖刀]

二重数(双対数)が無限小であるなら自動微分の性質も単位円の概形の理由も納得です!

[@とある勇者-q6r]

これ確か謎解きラボで解説されてたんだけど気づいたら無くなってたからありがたい

[@Henqee]

まじでこれ 回転のやつおもしろかったわ

[@にしふたつ-p5y]

ナゾトキラボでは双対数の名前で紹介されてましたね。 また双対数（二重数）に出会えて嬉しい！

[@SH-yi6tw]

今回も面白かったです。 こんなに上質なネタをどこから仕入れているのか気になります。 次回も楽しみにしています。

[@山根快斗-t5p]

二重数は知らなかったけど、大学の数学の授業で、微分の定義は f (x+dx)=f(x)+f’(x)dx と習ったなぁ…そう言われればdxと二重数のεって似ているのかも

[@月翳玲]

円は「ある点からの距離が等しい点」の集合なので、２つの点の距離が「x軸方向の距離の差」だけによって決まる世界では、"円"はx軸の正負それぞれの方向に同じ距離だけ離れたy軸に平行な直線になるわけですね。理解しました。

[@a52productions]

I appreciate the new music! Please keep including new songs, I like the variation!

[@ぬーべー-i5p]

定義を見てもなんぞってなるけど 文字がεなだけで理解できた、慣例って便利だなぁ

[@okim8807]

でもセットでδって文字が脳裏にチラついて眠れなくなる。（大学数学あんまついていけなかった負け組

[@yuchan_mathematics]

今回も興味深かった！！！いつも楽しみにしてます

[@saherann]

今回もとても面白い話をありがとうございます！ εは結局無限小だったんですね！

[@山崎洋一-j8c]

一般に、順序環において「任意の自然数nに対し00が存在する。もしε≧1ならば（ε≧1の両辺にε'を掛けると）0≧ε'となり矛盾なので、ε

[@miztiyerr]

この流れでクリフォード代数や幾何代数のお話が始まったら嬉しいです。

[@b2oxJP]

二重数を最初に知ったのは、四元数との組み合わせで3Dモデルのボーン変形をなんか良い感じに実現する方法(Dual Quaternion Skinning)があるよって話だったんだけど、それ単体で微分と関係してるってのは知らなかったし、面白い。

[@Ny0s]

Fascinating as usual, thank you so much!

[@_knsm_]

二重数の解説！嬉しい 分解型複素数と幻影数もこのチャンネルの解説が見たいのでぜひ、、

[@72hf83]

分解型四元数(実二次正方行列)もぜひ…!

[@arbitrarynmnm]

いいチャンネルみつけた！

[@jjjplan5072]

虚数単位 i や微分という操作を行列で表すことができるように、二重数も行列で表せるような気がしますが、いかがなもんでしょう。零因子も定義できていますし。

[@山形祐介-e5l]

a+bεは a b 0 a という行列で表せます。

[@jjjplan5072]

>@山形祐介-e5lさん ありがとうございます。 やっぱり冪零行列のことですよね。

[@lyeen]

6:17 (b_1-b_2)ε = 0, εは0ではない数であるため, この式が成立するための条件は b_1 = b_2 でいいのではないでしょうか！

[@まる-g9p5o]

その直前でεで割れないって言ってますよ

[@strange189]

@@まる-g9p5o 割らなくても証明できる (b1-b2)ε=0 →b1-b2=0 or ε=0 →b1=b2

[@まる-g9p5o]

ab=0⇒a=0 or b=0 が成り立つならそれでいいと思う

[@NN-qq7sh]

そうそう。二重数が存在する仮定においては b1-b2=ε の可能性が残る

[@まる-g9p5o]

だよねん

[@豆大福-v6m]

グラスマン数が有名ですね、素粒子理論物理学でフェルミオンや超対称性を記述する際に使われます 一般的な数学用語としてはクリフォード代数で調べれば幸せになりそうです

[@keyting2]

高校数学における微分で言うところのlim（x→+0）とかlim（x→-0）に近いんだろうなって

[@tortandt]

定義してみたら、色々計算するとちゃんと無限小として振る舞うのなんかちょっと感動してしまった

[@afflatusvods]

i love this cchannel with my mathematical heart

[@Xyr-z6f]

Sometimes I wonder if in philosophy there's something like imaginary numbers. Great video as always!

[@4cc0unt.54]

이야 오늘 매우 굉장한 채널을 발견하여 기분이 좋네요! 구독자 수가 적어서 놀랐어요. 매우 재미있는 수학적 지식 감사합니다! 다음 영상도 잔뜩 기대할게요~

[@압둘Avdol]

ㄹㅇㅋㅋ 이중수 검색하니까 안나와서 찾아보니 한국에선 이원수더라구요 둘다 사람이름같은데

[@ethicsguard]

工学や実験化学では有効桁数や測定感度の都合で平方、立方したら0とする場合が意外とあります。

[@OmeletRice81]

初めて聞いた言葉だけど面白かった

[@wswsan]

二重数, すごく0に近づけた極限に似ているなーと思ったらそういう話もあった

[@Masatoshi_Ohrui]

行列でもよければ ⎛0 1⎞ ⎝0 0⎠ は0でないが二乗すると0

[@真中のようつべ]

二重数の表現行列ですね

[@mu_el_naught]

It's so nice to see matrices come into play when dealing with dual numbers.

[@うりぼう-c7q]

虚数のほうでzの絶対値がそうなるのはわかるが二重数のほうでそうなるとは限らなくね？ |z|=√(z・zbar)となるのは距離が√(x^2+y^2)であるという前提のもとでzとzbarをかけてルートを取ったものがそれと等しかったから公式になってるのであって だから順番が逆だと思う

[@jalmar40298]

二重数の絶対値（ノルム？）をあれで定義する理由がいまいちわからない 二重数における共役とは何なのか

[@林A-w3r]

共役の意味は、実数係数方程式における解のうち、実数でない二重数の組でしょう。二重数では、方程式の次数と解の個数は必ずしも等しくないようです。

[@null-rn9zx]

x^2=(実数)の共役はただの符号反転だけどx^2=(xの実数係数一次式)だとちょっと変わります。調べてみると共役を深く知れるかも。

[@hamunami]

εの性質は誤差の計算理論で便利に使えそうな性質です。

[@木村和広-z1j]

明るい森の中を探検しているかのような素晴らしい BGM

[@もぐら-z5x]

全く理解が追いつかず、頭に浮かんだのが 「宇宙の　法則が　乱れる！」 でした。

[@VenThusiaist]

The unit circle for the dual numbers is just a really vertically zoomed-in complex unit circle due to the fact that the y-axis uses ε, an infinitesimal.

[@tenix6698]

That's a cool way to think about it, it's just a circle infitely zoomed-in in the y direction

[@angeldude101]

It's also an infinitely zoomed in _split_-complex unit _hyperbola._

[@alien2327]

0:26 ここ好き

[@steve2817]

二重数でe^(εx)は級数表現によって1+εxと同じになるのが面白いです。 また韓国ではこれを二元數と言うのに違いがありますね

[@yuiaoren_agar]

微分を用いたあまりの計算とやってること同じだけど、これで多項式の余りを計算できるのすき

[@あるたーず]

以前に行列関係の動画回があったので、２乗して０になる行列の話かなと思ったらまた全然違った！

[@apppples]

amazing as always! thank you for posting

[@張謙-n3l]

6:17 A better way to show b1 = b2 will be: b1ε = b2ε b1ε - b2ε = 0 (b1-b2)ε = 0 because ε ≠ 0 and b1-b2 is a real number, b1 - b2 = 0 and b1 = b2

[@NN-qq7sh]

b1-b2=0 or ε

[@張謙-n3l]

@@NN-qq7sh but b1 and b2 are real, so their difference can only be 0

[@yu_ki_horn]

b1ε=b2ε は、εで割るんじゃなくて (b1-b2)ε=0となり、 ε≠0よりb1=b2となる。 これが係数を比較するってことね。

[@チェス-y2o]

ε^a=ε^2*ε^(a-2)=0みたいなのがどんなaでも通用してしまいそうなので、εに指数法則を考えるのはやめた方がよさそうだ……。

[@回廊]

a≥2 ならそもそも εᵃ = 0 が成り立つから式変形をする事自体出来ないと思うし、ε¹の場合は ε¹ = ε² × ε⁻¹ が成り立ってしまって、そもそも式変形の過程でεの逆数が出てしまい、それが禁じられている以上ε¹の場合も式変形自体出来ない事に成るから、指数法則の前にそのような式変形自体が認められないんじゃないかな。 逆に言えば、εの逆数が考えられないとする事はかなり上手く出来ている禁止事項なのかも。

[@bizenseto]

0:25　私は心が汚れているので、「これを満たすエックスは」と言っているはずの箇所が「これを見た○○○○は」に聞こえてしまいました。

[@adgjmptwbehknquxcfilorvyzs]

お前に数学は早い。算数からやり直せ

[@バナな-j5m]

パっと見たとき、最初に可換環Z/4Zにおいて、x=2とすると、x≠0及びx^2=0となるっていうのが思いついた

[@残念賞]

行列だとよくあるしね

[@SmithKd-gw1zc]

ℝ[ε]/(ε ²) （εは不定元)(ℝじゃなくてもいいけれども）

[@hosamu7077]

ほかに「０でない同士の乗算が０」である例といえば、ベクトルの内積や外積、行列の積もそうですね。

[@もりぞう]

確か、ライプニッツが放物線と直線の交点の個数を議論する時に、「放物線とその接線の交点の個数は1個ではなく2個だ」と言っていたらしいですね。 「2個の点が同じ場所にあって重なっている」と考えていたらしい。 この話って、今回の動画のεの話と関係ありますかね？　最後に微分の定義式出てきたし、関係あんのかな、と思って。

[@average334]

物理での微積の計算で見直されてる無限小解析ですね〜 例えば(x+dx)²-x²=2x dx+(dx)² となるわけですが、dxを無限小として(dx)²=0とすれば (x+dx)²-x²=2x dx と計算する、という操作をよくやったのを覚えています

[@TheRevAlokSingh]

May I suggest a video on the full-on hyperreals? Unlike the duals they form a full field and the hyperfinite numbers are useable in purely discrete contexts unlike infinitesimals.

[@kevincsellak296]

When ε got introduced here, I thought "hey, isn't that how the dual tangent bundle of a smooth manifold works?" When Metan brings up differentiation, I realized that that's just because ε is an algebraic codification of the concept of a differential!

[@user-veinDragon]

ゼロ除算認める環構造もあるとかなんとかって動画見ましたけどarctanとかが出てくる事しか思い出せなくなった

[@モノズ玄師-p7k]

6:35 b₁ε=b₂ε⇒(b₁-b₂)ε=0より、b₁-b₂∈εℝとなるけど1とεの線型独立性よりb₁-b₂=0 よってb₁=b₂って思ってたけど、係数比較って言ってるからℝ[x]で係数比較したあと、自然な準同型ℝ[x]→ℝ[x]/x²によってb₁ε=b₂ε⇒b₁x+f=b₂x+gとなるf,gがあって、それらの定数項と一次の項は0だから、b₁=b₂ってことなのかな？

[@knite_]

数学解説動画を漁ってるけど、二重数初めて見た

[@tfyf-my6zo]

某有名🐣数学系サイトで扱ってたけど削除された( ^ω^ )

[@terurini]

二重数は自動微分の文脈でお世話になりました

[@アサイチ-z1c]

二重数を使えば、 f(x+ε)=f(x)+εf'(x) g(x+ε)=g(x)+εg'(x)と置けるため、 f(x+ε)g(x+ε) =f(x)g(x)+ε(f'(x)g(x)+f(x)g'(x))+ε^2f'(x)g'(x) = f(x)g(x)+ε(f'(x)g(x)+f(x)g'(x))より、 (f(x+ε)g(x+ε)-f(x)g(x))/ε =(f(x)g(x))' =f'(x)g(x)+f(x)g'(x)と積の公式を一瞬で出せる。 また、f(x+kε)=f(x)+kεf'(x)とすれば、 f(g(x+ε)) =f(g(x)+εg'(x)) =f(g(x))+εf'(g(x))g'(x)から (f(g(x+ε))-f(g(x)))/ε =(f(g(x)))' =f'(g(x))g'(x)が導かれる

[@lewispatten3723]

thank u for keeping the english subs :3

[@kei-ht9kh]

計算自体の違和感はすごいけど、微小量だと考えたらすっきりしました。よく使ってる数だったとは、、

[@くらめ-n2f]

なんで二重数ってεを使うんだろうって思ってたんだけど、無限小だからなのか。ε-N論法とかのεと意味合いは同じなのね。 それと二重数の単位円を見てから複素数の単位円を見ると、複素数がすごく自然な実数の拡張なんだと感じる。

[@回廊]

分解型複素数の場合は双曲線になりますしね…

[@くらめ-n2f]

@@回廊 なるほど、じゃあ (虚数単位)^2 を-1 ~ 1で動かすと共役の積は双曲線から縦線を経由して円に遷移していくのかな。

[@回廊]

@@くらめ-n2f 恐らくそうです。 複素数のノルムが1であるような点を集めた図は x² + y² = 1 で表され、二重数の今回の定義によるような半ノルムが1であるような点を集めた図は x² = 1 で表され、分解型複素数のミンコフスキーノルムが1であるような点を集めた図は x² - y² = 1 で表されるので、 複素数と二重数と分解型複素数とではそれぞれ、 x² + ‪α‬y² = 1 という数式の‪α‬に対して1,0,-1を代入したような図が得られていますからね。 実際に、二乗してβになる数を iᵦ と表して、共役を用いる形で半ノルムを定義すると (a + biᵦ)(a - biᵦ) = a² - b²β となるので、iᵦのβに-1以上1以下の実数を入れて行って半ノルムが1となる点を集めた図、つまり x² - y²β = 1 の図を描けば、二点(±1,0)を共有する形での円から双曲線への緩やかな変遷が見られそうですね。

[@リョウ-y5w]

【注意】自分用クソ長コメントです 動画 6:18 の b_1ε=b_2ε ⇒ b_1=b_2 は定義である。間違っても (b_1-b_2)ε=0 かつ ε≠0 より b_1-b_2=0 としてはいけない(戒め) b_1,b_2が実数なので結論としては正しいですが、この表現だとあたかも二重数全体のなす環で簡約律が成り立つように見えて不安になります。 実際、x,yも二重数のときxε=yεはx=yを意味しません。x=y+zε(zは二重数)のようにεの定数倍の任意性があります。εは零因子なので「両辺にεをかける」操作が同値変形ではないということです。0以外の零因子が存在するため二重数全体は整域ではなく、(x-y)ε=0からx-y=0を導けないのです。「かけ算して0なら少なくとも一方が0」が成り立つのは整域に限ります(というか、それが整域の定義です)。 一方、複素数全体ℂは体なので特に整域で、0以外の零因子がないため簡約律が成り立ちます。そのためx,yが複素数であってもxi=yiはx=yを意味します。 しかし数の相等となると話は変わります。高校数学で耳タコな「複素数の係数を比較してよいのは係数が実数のときのみ」のやつです。x,y,z,wが複素数のとき、等式 x+yi=z+wi は x=zかつy=w を意味しません。例えばx=1,y=i,z=w=0。 a,b,c,dが実数のときに限り、等式 a+bi=c+di から a=cかつb=d を導けます。これは複素数の相等がそう定義されているからで、他の性質から証明できることではありません。多分。 二重数においても同様に、実数a,b,c,dに対し a+bε=c+dε :⇔ a=cかつb=d と定義します。 これら「数の相等」を統一的に扱う方法として、多項式環の剰余環を考えることができます。詳細は省略しますが、複素数全体ℂはℝ[X]/(X^2+1)と、二重数全体はℝ[X]/(X^2)とそれぞれ同型です。この同型をむしろ定義と思えば、数の相等とは多項式の相等に他なりません。すなわちイデアル(X^2+1)や(X^2)を統一的にJとかくとき、 a+bX mod J = c+dX mod J :⇔ (a-c)+(b-d)X ∈ J (剰余環の元の相等条件) ⇔ a=cかつb=d (Jが2次式で生成されることと多項式の相等条件より) となります。複素数や二重数の相等条件は、多項式の相等条件(と剰余環の定義)の現れだといえます。 そもそも多項式の相等自体、体上の多元環をベクトル空間としてみたときの〜(飽きた)

[@ElusiveEel]

Even more interesting as I found on a MIT OCW lecture on the topic, is that by instead of using a function of x but one of x + ϵ (the dual coefficient being 1) and looking at the dual part is equivalent to doing that arithmetic with the derivatives. For example, at 4:09 is the product rule u.v' + v'.u. Dual number division likewise imitates the quotient rule.

[@sarutobide_nue_shite]

このずんだもんについて行ったら、もしかしたらもしかしたら…… あの難解な「巨大数庭園数」のナゾについても「理解」っちまう日が来るんじゃねぇのか……！？

[@gaygoogle5395]

3次元空間上でx軸を実部、y軸を虚部、z軸を二重部(？)にして三元数みたいに表せないかなぁ

[@t.o.9176]

z軸方向から見ると円、y軸方向から見ると平行線に見えるから単位円は円柱状をしているのかもしれない。

[@jalmar40298]

明らかに整域にはならないが、多項式環ℝ[x]をイデアル(x^2)で割った世界ってこと？

[@天才の証明]

その視点はなかった 確かに

[@はく-d2i]

グラスマン数は知ってたからそれかと思ったけど、むしろグラスマン数がこれにさらに性質を加えた数なのか

[@gaxys.5733]

ずんどもん 誕生日おめでとうございました。

[@nemopoint1254]

虚数iは学生時代に知ってたけど、この「二重数ε」は多分初めてだわ。数学の世界は広いな。 ...この世界が発展してワープ航法理論が誕生したりしてｗ

[@cmyk8964]

εは数の大小の引き分けを決める順位なのか

[@なおくん-e8q]

これは高校の数学の範疇ではない 大学の数学なのかな

[@moggamedev]

You can have as many “numbers” as you want that square to anything you want in Clifford’s geometrical algebra. They’re called basis vectors.

[@Kuronea333]

放物線はすべて同じ形（相似）なので「ならばax^2=0である直線は放物線に含まれるのか？」という問いに似ている気がする。重解があると同時に全てが解である状態（放物線＝直線）も対として存在していて０と無限遠を結び付けているような状態。そこが０と１/∞を同一として統合できる視点の境界線として機能しているのがεの本質なのかなと思いました。1/∞とは正∞角形の一辺と同じ。「部分を語る時には同時に全部を定義している」ならば「０を語る時に現れる∞からの視点」がεであり、それが微分とリンクしているのかなと思います。正∞角形の一辺が「１」ならばそれは円＝直線なので±∞と±０の差異がなくなるわけですね。

[@Kuronea333]

もしかしたら放物線の相似性が円と直線をつなげる「のりしろ」として機能しているのかもしれませんね。それは積分と二等辺三角形の関係にも通じていると思います。放物線には不動の焦点と動的焦点（準線）が対として存在するので、ax^2＝０のとき、その2つの矛盾が重なる瞬間があるということです。

[@user-su8ir3mn1e]

物理でよく使う近似に似てますね

[@會寫程式的羊]

I see this video after watching the English version.

[@yhira2010]

ゼロディバイドは絶対の禁忌とするかわりに、（1/ε）をεとは別の要素単位である（つまりεの割り算はタブーとならない。）と考えたらどうなるのかな？ ただし、 1/εかけるε＝1は計算可能であるが、他方、 （1/ε）^2＝1÷（ε）^2とすることはできない ものとする。 このとき、複素平面のアナロジーは使用できず、実数軸、ε軸、（1/ε）軸の3次元空間として、いわば「三素数空間」として扱うことにしたらどうなるのだろう？ とここで、「あれ？ぞゃ、そんな三素数の計算を操作できるような、三要素数の共役ってどう考えたらいいんだ？」 と、文系ジジイは此処で思考停止となっのであったのヂャ…。

[@y1cdsdfd]

A^2 = 0となる行列はいくらでも作れるので単位行列と適当にとった行列Aで簡単に実態は作れるのよな

[@Canale0107MAN]

物理でよく見る「二次の微小量を無視する」ってやつだな

[@KUGOBlin]

タイトル見て有限群とかの話かと思ったらそっちかー。

[@niom-nx7kb]

I still like the Japanese version more

[@mme725]

From the thumbnail alone I assumed modular arithmetic! Example: x = 3 (mod 9) x^2 = 0 (mod 9) But this dual number lesson was fascinating! Thanks for the lesson ☺️

[@santiagopantoja1978]

Esto es una idea muy interesante!

[@首都高速上野線延伸推]

Z/4ZとかZ/9Zとかの話題かなと思って見てみたら全然違った

[@抹茶オレ-f3r]

行列もありますね

[@HansenSebastian]

Zundamon's Theorem series could make a good source of acknowledgement for Prash Talwalkar's Mind Your Decisions.

[@hellfirebb]

It is like a coincidence, but I am also implementing an algorithm this few days to find out matrix representation of Clifford allgebras in any signatures, including degenerated signatures which nilpotent/grassmann are all over the places

[@angeldude101]

Dual numbers are frequently used in Clifford/geometric algebras because, much like how complex numbers and quaternions are perfect fit encoding rotations, dual numbers are perfect for encoding translations. The "dual quaternions", the product of the quaternions with the dual numbers, was actually invented by William Clifford himself independently of his work on geometric algebra, though they ended up being a Clifford algebra anyways: Cl(0,-2,1).

[@hellfirebb]

@@angeldude101 yea, I know the dual number enable translation in projective geometric algebras

[@1008hei]

イプシロン-デルタ論法のイプシロンってこういうのからきてんのかな

[@23aa98]

12:12 これまんま微分の定義やろ

[@RIAFeed]

同じような感じで0の逆数を導入して0で割るの認められねぇかなあ…？

[@tsuwako7497]

Thank you for the english subs

[@mikunitmr]

虚数にプラスマイナスがあるのか。

[@にいと-f8y]

絶対値を√(zzバー)で定義するとxy平面での絶対値が√（x²-y²）となるけど大丈夫なの？

[@超伝導ゼロス]

例えば量子力学では、複素数値（Ψ=a+bi）である波動関数（の絶対値）を２乗することで、空間の各点における粒子の存在確率が計算されます。ここで η = a + bε ，ε²=0 ∧ε≠0 をうまく利用すると、物理の記述の可能性が広がりそうな気がしました。

[@user-gfhgfhthtfhtgd]

無限小移動演算子とかで出てくるdxでええんやない？

[@超伝導ゼロス]

@@user-gfhgfhthtfhtgd そのdxは、実数の微小変化ですか？