Тёмный

[Eng Sub] d/dx is an Infinite Matrix 

Zundamon's Theorem (jp)
Подписаться 18 тыс.
Просмотров 71 тыс.
50% 1

English subtitles available!
Zundamon encountered a strange problem: "Express d/dx as a matrix."
Differentiation and matrices seem to be completely different things, but they are actually closely related.
From a linear algebra perspective, the differential operator d/dx is linear, so it is natural to consider its representation matrix. However, it is important to note that the space of functions is usually infinite dimensional, so the size of the matrix representing d/dx is also infinite.
[BGM]
かえるのピアノ
ほのぼのワルツ【リコーダー】(commons.nicovi...)
[Materials]
VOICEVOX:ずんだもん
VOICEVOX:四国めたん
立ち絵(坂本アヒル様)
効果音ラボ
みんちりえ
pixabay
#math
#differential
#differentiation

Опубликовано:

 

4 окт 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 197   
@zunda-theorem
@zunda-theorem 6 месяцев назад
[Q&A] よくある質問等の回答をこちらに記載します。長文注意!
@zunda-theorem
@zunda-theorem 6 месяцев назад
6:56 Q. 三角関数をベクトルで表現するためにマクローリン展開を使用していますが、マクローリン展開では係数の計算に微分を使用するため、行列 D で三角関数を微分できるという主張は循環論法ではありませんか? A. 動画内にて「D で微分できる」といった直感的な説明が誤解を招いてしまいました。正確には「D は微分の表現行列である」、つまり「D を関数に対応するベクトルと掛けた結果は、元の関数を微分した結果と対応する」となります。この場合、「関数に対応するベクトル」を計算するためにマクローリン展開において微分を使用しても循環論法にはなりません。
@zunda-theorem
@zunda-theorem 6 месяцев назад
8:41 Q. 微分に対応する行列 D を定義するために多項式を微分し、sin x, cos x に対応するベクトル s, c を定義するためにマクローリン展開でも微分を用いています。このため、「関数と微分」に対応する「ベクトルと行列」を、本来の微分と独立に定義することは不可能ではありませんか? A. 「独立に定義する」の意味について説明が不十分でした。動画前半では、「関数と微分」に対応する「ベクトルと行列」としてどのようなものが考えられるか考察するために微分を用いています。しかし、ベクトルと行列は単に数字を縦横に並べたものであるため、動画後半でこれらは天下り的に定義できることを主張しています。なおベクトルに関しては、無限次元の列ベクトル(≒形式的冪級数)全体の集合をまとめて定義することで、実はその中に三角関数と対応する列ベクトルが存在していたという流れで話を進めることができ、天下りの印象が軽減されます。
@jinanren2026
@jinanren2026 3 месяца назад
man i just love chibi's teaching me matrix calculus
@average334
@average334 6 месяцев назад
線形な作用素ならとりあえず行列に対応できるの、世界のバグ技っぽくて好き
@creeper-corporation
@creeper-corporation 6 месяцев назад
マップがつながっていたらとりあえずケツワープできる的な
@usejehwikuhehejidjcuruehje
@usejehwikuhehejidjcuruehje 6 месяцев назад
コンピュータでゴリ押し計算できるからニッコリ
@Fランへの数学
@Fランへの数学 6 месяцев назад
非可算次元な空間上の線型写像ならそうとも言えないんじゃないかな? しかしハメル基底というバグ回避みたいなのもあるし結構考え応えはあるか...
@ワキガンテ
@ワキガンテ 6 месяцев назад
@@Fランへの数学何言っとるかわからん
@Fランへの数学
@Fランへの数学 6 месяцев назад
@@ワキガンテ 本当にわからんのか、(教授みたいに)本当は僕より圧倒的につよつよなのにわからんフリをしてるのかわかんなくて怖えっす😱
@BloodEyePact
@BloodEyePact 3 месяца назад
I'm not sure what to be more impressed by, the quality of the explanations and visuals, or the fact that the subtitles are all in perfect English.
@yuss6513
@yuss6513 6 месяцев назад
明らかに説明うまい人が作ってるよな。応援してます。
@enzoys
@enzoys 3 месяца назад
that's the most funny yet interesting, random and informative thing I've seen in a long time lmao gj!
@orx-0053
@orx-0053 6 месяцев назад
非常にinterestingな講義でありました
@juliavixen176
@juliavixen176 2 месяца назад
This is how "Dual Algebra" and "Automatic Differentiation" works.
@qwer11017
@qwer11017 6 месяцев назад
綺麗な数学を見て久しぶりにシビれるって感覚だったわ 試験を前提にしない楽しむ数学ってめちゃ楽しいね
@mccova625
@mccova625 4 месяца назад
コンピューターで微分計算するときはこっちの方が使えそうな定義だなと思いました。
@ratja595
@ratja595 Месяц назад
これはいい考察
@alexandrepinto5987
@alexandrepinto5987 6 месяцев назад
この動画は数学の面白さを思い出させる、本当に良かった
@GuillermoSV
@GuillermoSV 2 месяца назад
Wow. Excelente video. Afortunadamente los subtitulos son muy buenos. Nunca había escuchado de esta formulación matricial de los operadores diferenciales. Saludos desde México
@美味しいおいも-h2z
@美味しいおいも-h2z 6 месяцев назад
行列力学でもそうだけど毎回行と列が分かんなくなるんだよな
@froggggggggggggggggggg
@froggggggggggggggggggg 6 месяцев назад
行→列↓
@average334
@average334 6 месяцев назад
漢字にしたとき2本線がある方向が行→→列↓↓
@美味しいおいも-h2z
@美味しいおいも-h2z 6 месяцев назад
かけ方は分かるんだけど行列力学になるとどっちのベクトルに演算子をかけるべきか迷うんだよな
@ano5041
@ano5041 6 месяцев назад
すべての行を走査するときの方向は→ではなく↓だからそれも頭を混乱させる
@nazo_no_message
@nazo_no_message 6 месяцев назад
すでにあるコメントと半分同じだけど。 2本線が方向。行→ 列↓(英語の書き方で行は横って覚えてもいい。) 掛け算は行→列↓の順で掛ける。(左側が横向きのベクトル、右側が縦向きのベクトルで演算結果がスカラーになる)
@monyj8686
@monyj8686 6 месяцев назад
現在入手可能かどうか不明ですが、みすず書房「量子力学3」(朝永振一郎著)で水素原子問題をHeisenberg表示で解く、という項があったのを思い出します。本当に「量子力学の異なる表示形式同士は対等(
@apppples
@apppples 3 месяца назад
why is this so great? i've watched so many videos in a row
@morita0807
@morita0807 6 месяцев назад
今回のテーマとBGM、妙に合ってますね。
@TheRevAlokSingh
@TheRevAlokSingh 28 дней назад
I saw the thumbnail and the idea to represent by Taylor series and power rule instantly came. The interpretation with integration at the end was very interesting, the “almost” bit especially
@kyanilcauli9002
@kyanilcauli9002 3 месяца назад
Ah yes, the linear unary operators. Also the fact that, DD' is not equal to D'D is also an example where some results we always take for granted in case of finite dimensional vector spaces and linear maps - is not true in general for infinite dimensional vector spaces. Linear Algebra is super interesting and really beautiful, and it's not just only solving equations, even if it's main motive is that. Thank you for existing, your explanations are beautiful.
@pianojay5146
@pianojay5146 Месяц назад
This is deeply related to the fact that polynomials are indeed a vector, an element of a vector space. Very cool!
@Jルーク
@Jルーク 6 месяцев назад
めっちゃおもろい動画だった
@MikuHatsune-np4dj
@MikuHatsune-np4dj 5 месяцев назад
フーリエ無限級数の係数をベクトルにして無限次元行列の演算子を作用させるのは面白いと思った
@cheesecapo
@cheesecapo 3 месяца назад
7:38 that was a very astute observation from the green one
@ILSCDF
@ILSCDF 3 месяца назад
Thank you for helping me with my studies
@KUGOBlin
@KUGOBlin 6 месяцев назад
微分を行列!?なんだそれは……!と思った直後、最初にちらっと「夢」に出てきた行列を見て、その後の展開を予想できてしまった自分が憎いw。
@ANONAAAAAAAAA
@ANONAAAAAAAAA 6 месяцев назад
微分は線型写像(作用素)なので、関数(空間)を表現する基底を決めれば、それに対応した行列(っぽいもの)としての表現がありますわよ。
@user-a-certain-person
@user-a-certain-person 6 месяцев назад
11:08 「𝑎を定数として、 (𝑑/𝑑𝑥)∫[𝑎,𝑥]f(𝑡)𝑑𝑡=f(𝑥)(積分の微分=元の関数)だが、 ∫[𝑎,𝑥](𝑑/𝑑𝑡)f(𝑡)𝑑𝑡≠f(𝑥)(微分の積分≠元の関数)である」 と言ってることは同じに見えますね。 数学はうまくできてるなあと思いました。
@ああ-o7b6e
@ああ-o7b6e 6 месяцев назад
そのカッコいい文字どうやるん
@user-a-certain-person
@user-a-certain-person 6 месяцев назад
@@ああ-o7b6e 「plainstyle」で検索すると、こういう系の文字などをコピペできるサイトが見つかると思います。 一応、偽サイトに注意です。
@ぼふぃ
@ぼふぃ 6 месяцев назад
UnicodeのU+1D400..U+1D7FFには数学用英数字記号が収録されています
@user-a-certain-person
@user-a-certain-person 6 месяцев назад
@@ああ-o7b6e 私はよく「プレーンスタイル」というサイトをよく利用しています。 偽サイトには注意が必要ですが、色々な種類の文字(例:𝑥、ₙ、あ゚)がコピペできて非常に面白いです。
@user-a-certain-person
@user-a-certain-person 6 месяцев назад
​@@ああ-o7b6e 「plainstyle(プレーンスタイル)」と検索してみてください。便利なサイトですよ。
@kijorooo
@kijorooo 6 месяцев назад
DD’=IかつD'D≠Iなんてそんなハズが……と思いましたが、なるほど無限次元の行列ではそのようなことがあり得るのですね。 Dが有限のn×n行列だとDD’は最後のn行n列の要素が0となってしまい単位行列にならない。 有限な行列ではAX=Iならば必ずXA=Iですね。
@maohupi
@maohupi 6 месяцев назад
若「將「D」與「微分」視為等價」且「將「D'」與「積分」視為等價」,則D與D'必須是無限維的矩陣,因為積分是沒有次方數上限的。
@ish_pack
@ish_pack 3 месяца назад
可換行列…ウッアタマガ
@さんさん-r7v
@さんさん-r7v 3 месяца назад
動画ありがとうございます。目からうろこでした。面白いです。
@aks8403
@aks8403 3 месяца назад
Wow, you have a very good way of explaining, keep doing it! Your videos open my mind to new ideas
@わたおわたお
@わたおわたお 6 месяцев назад
1/2ずつ増加するような指数を持つ多項式を考えると、その係数のベクトルを使って半微分に拡張できそうな気がする…違うかな…
@ハゲ-v3q
@ハゲ-v3q 6 месяцев назад
行列のできる微分積分
@星雲男子大学
@星雲男子大学 4 месяца назад
行列でできる微分積分
@おちゃ-v9d
@おちゃ-v9d 6 месяцев назад
線形代数の講義で似たような計算はしたけどここまで考えてなかった…… 勉強になります!
@xorcheesecake1492
@xorcheesecake1492 6 месяцев назад
(一階の)微分がそもそも一次近似で、曲がっているところを近似的に上手く真っ直ぐに見立てることだから、微分が線形性を持って行列で表せるのは、ある意味当然と言えそう。
@МИРАНО
@МИРАНО 6 месяцев назад
無限次元ベクトルとしての関数間の変換作用素としての線形性の話と、関数の接線の関数の線形性の話を混同していますので、その理解は間違っています。
@xorcheesecake1492
@xorcheesecake1492 6 месяцев назад
@@МИРАНО 関数から関数の変換としての作用素の線形性と、接線自体の線形性自体は別のレイヤーの話で、「関係が当然ある」という主張はたしかに誤りですね。どっちも微分に関する話で、線形性について何となく話が似ているように見えるのには、何か数学的な理由があったりしますか?それともそれは単に偶然的なものなのでしょうか?
@МИРАНО
@МИРАНО 6 месяцев назад
@@xorcheesecake1492 偶然、でしょう! 一回微分に限らずn回微分の演算子も前者の意味で線形演算なので無限次元の行列だと考えられます。
@社会の歯車
@社会の歯車 6 месяцев назад
線形代数の先生が講義中にモニョモニョ言っていたのを思い出した。
@user-hrnekjdi344
@user-hrnekjdi344 6 месяцев назад
7:02 ここで思わず声出た
@son6462
@son6462 4 месяца назад
ずんだもんかわいいですね 高校時代にこのチャンネルが有ったら、すんなり無限の世界に入れてたかも まだインターネットの無い田舎だったんですけど
@yosiakifukuhara1255
@yosiakifukuhara1255 4 месяца назад
画像処理で微分フィルターというのがあって、画像の輪郭を線画みたいにできるやつがあるのですが、微分フィルターの正体が行列だったりします。
@themanc7777
@themanc7777 6 месяцев назад
Primero, agradecer los subtitulos en ingles, la verdad me sorprendio lo sencillo que se puede explicar algo cuando se ve intuitivamente. Y segundo, me agrado el formato de los videos, se deja entender muy bien
@zunda-theorem
@zunda-theorem 6 месяцев назад
Thank you for watching and using Eng sub! (I spent a lot of time to translate, even though I used auto-translation...😅)
@a2ikm
@a2ikm 6 месяцев назад
めちゃくちゃ面白かった。 最後にちらっと話に出てた微分方程式も行列で表現すると、係数についての連立方程式として解けるのかな。
@a2ikm
@a2ikm 6 месяцев назад
e^xで試してみたけど、手続きの中に積分が出るから、説明されてたように積分定数ぶんの不定さが出そう。
@Netboy0122
@Netboy0122 6 месяцев назад
初めて聞きました。勉強になりました。
@ヘスリングマイク-j2i
@ヘスリングマイク-j2i 6 месяцев назад
試しに字幕を表示したら英語の字幕がでてきた。驚いたのは疑いなくネイティブスピーカーによる訳だったのだ。 Great job on the English subtitles. Not an easy feat.
@artificiallyintelligence4287
@artificiallyintelligence4287 6 месяцев назад
すごく面白かったです
@おにころ-b8c
@おにころ-b8c 6 месяцев назад
Dのカーネルを考えると微分方程式が解けます
@yosiakifukuhara1255
@yosiakifukuhara1255 6 месяцев назад
勉強になりました。ありがとう。化学系で量子力学に苦しめられたけど、行列って奥が深いんですね。
@TheOne-jq4iv
@TheOne-jq4iv 6 месяцев назад
グラボは微分が得意だという話を漠然と聞いたこと在るけど もしかしてグラボがやってるのは、この微分行列をつかった掛け算なのか・・・?
@mazeofknowledge1528
@mazeofknowledge1528 6 месяцев назад
この微分行列、いわゆる上三角行列で、かつ対角成分がどこを取っても0だから行列式が0と分かって逆行列は存在しないって事も分かるのか……。
@jalmar40298
@jalmar40298 6 месяцев назад
無限次の行列式ってのが何なのか分からんけどな
@roottokyo0918
@roottokyo0918 6 месяцев назад
(???)負の冪も入れた微分の逆行列を考えるとlogが出てきて、logの微分も考慮に入れると
@abxy293
@abxy293 6 месяцев назад
マクローリン展開がそもそも微分係数を使って定義されているので、「マクローリン展開するとこう表されるから、行列で微分できる」ってのは変に聞こえる。複素関数論みたいに、それを定義とするなら、まだわかるけど。
@zunda-theorem
@zunda-theorem 6 месяцев назад
コメントありがとうございます! この件について他の方からもコメントをいただいたため、コメント欄最上部にQ&Aの1つ目として回答を記載しました。
@削節
@削節 6 месяцев назад
波動力学=行列力学とも云われているが、その神髄を垣間見た。
@北岡柾翠
@北岡柾翠 6 месяцев назад
10:18のところでD^1/2すると半微分になるのかな?
@星雲男子大学
@星雲男子大学 4 месяца назад
行列の2分の1乗が定義できるかって問題があるけどね。 まあ、MM=Dのとき、 D^1/2=Mとすればいいのかもだけど、そのようなMが常に存在するかは知らん
@renanmendes1299
@renanmendes1299 3 месяца назад
thanks, haven't seen this before
@セイゲドン
@セイゲドン 6 месяцев назад
もしかしてヘヴィサイドの演算子法とかラプラス変換もこういう解釈できたりする?
@おきてがみ-k2r
@おきてがみ-k2r 6 месяцев назад
ちゃんと理解できてる範囲が高校〜大学初年度レベルのワイでもめちゃおもろいしわかりやすいの凄いな
@zunda-theorem
@zunda-theorem 6 месяцев назад
ありがとうございます! なるべく高校数学の予備知識で楽しめるような構成にしているので、そう言ってもらえるとうれしいです!
@phycopass
@phycopass 6 месяцев назад
形式的冪級数って項の数は加算無限に対応すると思っていいのだろうか あとこの流れでリー群リー環の話が聞きたい
@takek9215
@takek9215 6 месяцев назад
単位行列(仮)を虚数に見立てて、4回掛け算してみるとどうなるのだろう?
@もぐのすけ-t7z
@もぐのすけ-t7z 6 месяцев назад
線形作用素であれば表現となる行列が存在する
@aconite0988
@aconite0988 6 месяцев назад
ちょっとだけプログラミングの世界でどうやって微分を持ち込んでいるのか考えちゃったなこれ
@星雲男子大学
@星雲男子大学 4 месяца назад
連鎖律を利用した自動微分が主流かと
@yone1998
@yone1998 6 месяцев назад
全成分が0の(1×n)行ベクトルと任意の(n×1)列ベクトルの積をC(不定積分)と定義すれば完璧やな!
@ItIsMyHandle
@ItIsMyHandle 6 месяцев назад
双対数による自動微分を思い出した 原理的には似てるかな?
@user-ch7kq8xz2u
@user-ch7kq8xz2u 6 месяцев назад
sin,cosの微分でも適用可という箇所は、そもそもマクローリン展開が微分を使用しているので、循環論法にならないのでしょうか。 微分やマクローリン展開について私の理解不足なのかもしれませんが。
@zunda-theorem
@zunda-theorem 6 месяцев назад
コメントありがとうございます! 鋭い指摘ですね。結論から言うと、循環しています。(!?) 正確には、もし行列Dを使って (sin x)' = cos x を示したいのであれば循環論法です。 一方、行列Dが微分の表現になっていることの例として三角関数の微分 (sin x)' = cos x と対応する等式 Ds = c を示したいのであれば循環論法とまではいえない気もします。Ds = c はそれほど自明ではありませんしね。 (ずんだもんにとっては当たり前だったようですが…) あと、コメ主さんは分かっているかもしれませんがついでに補足させてください。 この動画の後半で「関数と微分」に対応する「ベクトルと行列」は独立に定義できることを解説しました。 ベクトルと行列はただ数字を並べたものなので、天下りですが先に定義してもいいということですね。 この場合、無限次元の列ベクトル(≒形式的冪級数)全体の集合を定義したら、実はその中に三角関数と対応するベクトルがあった、という流れで考えるのもアリです。 つまり、どこから定義するかの問題になりますね。
@user-ch7kq8xz2u
@user-ch7kq8xz2u 6 месяцев назад
ご回答ありがとうございます。 無限次元のベクトルs,cについて、Ds=c,Dc=-sが成り立つのは確かでしょうね。 ベクトルs,cがsin,cosの形式的冪級数を表すことは別の手段で説明がいるということで理解しました。 面白かったです。応援しています。
@zunda-theorem
@zunda-theorem 6 месяцев назад
ありがとうございます! この件について、実は他の方からコメントをいただいたこともあり、改めて考えを整理して、Q&Aをコメント欄最上部に記載させていただきました。 おかげさまで、私自身も理解を深めることができました。 では長文失礼しました!
@yk5310
@yk5310 6 месяцев назад
形式的冪級数の集まりに定義された微分が(自然な基底系の下で)動画のような成分表示をもつこと自体は、非自明さ(面白さ)に欠けると感じました。 数多の線型変換の中で、微分を微分たらしめるものは、ライプニッツ則だと理解しています。なので、動画のように行列で微分を定義した場合に、ライプニッツ則が自然に導かれるのかどうか興味があります。 逆に、ライプニッツ則をみたす線形変換を表現する行列は、どのようなものであるべきかを探ってみても面白そうだなあと思いました。
@車海老-e5o
@車海老-e5o 6 месяцев назад
すみません、初歩的な質問だったら申し訳ないのですが、今回のDように「無限乗すると零行列になる」という形の無限次行列はなんというのでしょう?冪零行列とも違うというか……
@lotsofd6739
@lotsofd6739 2 месяца назад
生成消滅演算子を思い出した
@sellsell1118
@sellsell1118 6 месяцев назад
良くできるし、 行列を、無限次元 素晴らしい発想ですね。 微分積分を行列で表現できる、凄い マクローリン展開できる、凄い、 で、独立に定義できる。 指数関数も三角関数も表せる。 フーリエ級数をヤって貰いたい🎉。 ラプラス変換するとどうかなぁ。
@tortandt
@tortandt 6 месяцев назад
三角関数の微分、行列で説明された方が分かりやすいんだな
@滝沢京也
@滝沢京也 6 месяцев назад
これ、関数の席の微分とかもできんのかな? sin^2θ cosθみたいな 家帰ったらやってみよ
@niom9446
@niom9446 3 месяца назад
incredible video! I think It would be great if the generalisation of the matrix representation of D^n can be expressed, and discussing whether n can be outside of the integer set.
@Zab_n
@Zab_n 6 месяцев назад
基底のとり方によってDが変化すると思うけどその中でのDについて不変量ってあるのかな?
@人浪-t6q
@人浪-t6q 6 месяцев назад
横ベクトルx=[1 x x^2 ...]を導入すれば係数の縦ベクトルfと微分行列Dで、f(x)=xf、f(n)(x)=xD^nfと表記できると思ったんだけど、そうしないのには何か理由があるのかな? あと無限次元での逆行列の話が面白かったです
@zunda-theorem
@zunda-theorem 6 месяцев назад
実用上のメリットがありそうな、おもしろい考え方ですね! 横ベクトルx=[1 x x^2 ...]は、2つの世界をつなぐものとも考えられますね。 この動画は線形代数の表現行列の考えに沿っているのでこうしたのですが、個人的には行列とベクトルで定義した微分の世界には変数xすら存在する必要がない、ただ数字が縦横に並んでいるだけの世界というのも意外でおもしろいなと思っています。 これは、実は関数の収束性すら考えなくてよい、"形式的冪級数"の世界と考えてもよさそうですね。
@wigffds7374
@wigffds7374 6 месяцев назад
別の数学の世界が繋がるのっておもしれーなあ。
@馨-c7j
@馨-c7j 6 месяцев назад
次は非可換幾何学や非可換行列とかお願い致します
@ccxxii7816
@ccxxii7816 6 месяцев назад
行列に無理やり対応させることでPCでの計算をやりやすくするのか。だとすると他に実用的そうなのはラプラス変換フーリエ変換あたりだと思うけどそれらに対応する行列はあるのかな?
@天才の証明
@天才の証明 6 месяцев назад
fftでちょこっと遅乾行列出たはず
@lumpyspaceprincess6335
@lumpyspaceprincess6335 3 месяца назад
İnternet is an amazing place 😅
@Missingno73
@Missingno73 6 месяцев назад
Thank you!!!
@どんぐり-j2f
@どんぐり-j2f 6 месяцев назад
面白すぎる
@hellfirebb
@hellfirebb 3 месяца назад
I think D' is the Moore-Penrose/pseudo inverse of D, and can be denoted as D^+ instead of D'
@zunda-theorem
@zunda-theorem 3 месяца назад
Thank you for the interesting information👍
@GeorgeIter418
@GeorgeIter418 6 месяцев назад
これ逆の積分もあるんかな?
@yosiakifukuhara1255
@yosiakifukuhara1255 4 месяца назад
勉強になりましたありがとう。 微分を行列で表すと言うと、畳み込みというのがあったと思うのですが、関係あるんでしょうか?
@singosuzuki7409
@singosuzuki7409 Месяц назад
逆行列は積分なわけだ
@user-gfhgfhthtfhtgd
@user-gfhgfhthtfhtgd 6 месяцев назад
量子力学でも無限次行列出てくるなあ
@微塵子-l6f
@微塵子-l6f 6 месяцев назад
昔悩んで放っておいた疑問なんですが、表現行列ってのはつまり 任意の線形性を持つ写像(∫とかΣとか)は例外無く行列で表現できるってことなんでしょうか?
@shikaishik
@shikaishik 6 месяцев назад
なら半微分も行列で表せますね。 ちなみに、フーリエ変換についての解説動画が欲しいところです。特に、ドをド以外の音階で表現する方法を知りたいです。
@zxctube72537
@zxctube72537 6 месяцев назад
これ、シュレディンガー方程式からきたのかな? 12:20 積分定数を加算する操作が逆行列を成り立たせる操作だと定義したらどうなるんですかね?
@대쉬-u9f
@대쉬-u9f 2 месяца назад
훌륭한 영상.
@rtutomu
@rtutomu 6 месяцев назад
複素数も行列で表現できることをリクエストします
@habatakukami
@habatakukami 6 месяцев назад
微分を行列で対応させようとした人はどのような動機で検討し始めたのだろうか
@43sp4_
@43sp4_ 6 месяцев назад
コンピュータ系ごり押し計算もしやすそうですよね。多分これが動機ではなさそうですが。
@user-catBrathers
@user-catBrathers 6 месяцев назад
微分演算が線形性を有してるから、ってのがやっぱりモチベーションかなと
@あいう-p2t
@あいう-p2t 6 месяцев назад
詳しい話を極力排除して説明すると、 あるものとあるものを対応させる規則を写像といって、例えば微分はx^2+xという関数に2x+1という関数を対応させる写像だと考えられる。 これを f(x^2+x)=2x+1 みたいに表現する。 ここで、写像が次の性質を満たすとき、その写像を線型写像という。 (1)f(x+y)=f(x)+f(y) (2)どんな実数aに対してもf(ax)=a•f(x) 微分はこの性質を満たすから線型写像である。 そして、「線型写像は行列で表せる」というすごい定理が知られていて、じゃあ微分も行列で表せるじゃんと思うわけだ。
@超もっちゃん
@超もっちゃん 5 месяцев назад
微分積分いい気分
@MAXI-Makiishi
@MAXI-Makiishi 2 месяца назад
これって行列式はn!のn→∞になるってことだよな。 それってつまり… どういうことだってばよ?
@ryosuke8093
@ryosuke8093 6 месяцев назад
So interesting.
@davidk5082
@davidk5082 6 месяцев назад
Oh! It’s Surprise to me, thanks a lot to all of 😊 on the Earth.
@gamma関数信徒
@gamma関数信徒 6 месяцев назад
行列代数の次は,ブラケット代数をお願いします。
@miper314
@miper314 6 месяцев назад
おもしろ〜い
@ano5041
@ano5041 6 месяцев назад
もしかして積分の行列は微分の行列の逆行列?
@average334
@average334 6 месяцев назад
積分→微分は同じベクトルになるけど、微分→積分とすると積分定数の項が変わるので、完全には逆演算ではないですね
@ano5041
@ano5041 6 месяцев назад
@@average334 完全ではないけど大体はそうなんですね 積分定数厄介だなぁ…
@youdenkisho455
@youdenkisho455 6 месяцев назад
10:29
@user-dy8db7fd5v
@user-dy8db7fd5v 6 месяцев назад
ずんだもんラマヌジャン説
@ans.-is-near
@ans.-is-near 6 месяцев назад
大学に備えて線形代数やり始めた俺にとって神たる動画
@AMIWsement
@AMIWsement 6 месяцев назад
GPUくん歓喜
@otani-g1s
@otani-g1s 6 месяцев назад
11:30の上の式、DD'は・・・で誤魔化されていますけど、右下に0が出てくるので単位行列としても良いのですか?
@zunda-theorem
@zunda-theorem 6 месяцев назад
ごまかしていませんよー! 有限のサイズなら右下に0が出てきますが、無限なので1が無限に続き、0は出てきませんね!
@otani-g1s
@otani-g1s 6 месяцев назад
@@zunda-theoremご返信ありがとうございます。0.999...=1みたいな話ですかね。無限に続く場合を有限の感覚で考えると間違える的な
@derpedfox
@derpedfox 3 месяца назад
Zundamath
@Jijikuso
@Jijikuso 3 месяца назад
面白すぎて発狂しそう
@박찬-d6k
@박찬-d6k 6 месяцев назад
1/2乗みたいな整数じゃない乗をあの行列で微分するのは無理ですか?
@真坂様
@真坂様 6 месяцев назад
「定数じゃない」ではなく「整数じゃない」という意味なら実数乗でもマクローリン展開さえすれば出来ます
@박찬-d6k
@박찬-d6k 6 месяцев назад
@@真坂様 あっ、ありがとうございます。
@박찬-d6k
@박찬-d6k 6 месяцев назад
@@真坂様 韓国語では定数も整数もおなじ「정수」なのでミスしました。
@真坂様
@真坂様 6 месяцев назад
@@박찬-d6k なるほど、そうだったのですね。私も勉強になりました。
Далее
PERFECT PITCH FILTER.. (CR7 EDITION) 🙈😅
00:21
Просмотров 3,5 млн
Exploring Word Chains
9:45
Просмотров 223 тыс.
Is the Future of Linear Algebra.. Random?
35:11
Просмотров 313 тыс.
PERFECT PITCH FILTER.. (CR7 EDITION) 🙈😅
00:21
Просмотров 3,5 млн