数学に関するツイート その4

石あざらし芋 @anhpms

複素解析的多様体は complex analytic-manifold と complex analytic-variety の両方が使われる珍しい例。manifold は位相多様体、variety は代数多様体を指すのが通例だけど、複素多様体はその間に位置するので両立している

length @l_ength

位相幾何←位相多様体を調べる 微分幾何←微分多様体を調べる 代数幾何←代数多様体を調べる

バイオ会社員(´◓◞◒)＜ @yakanifu

マックで女子高生が 「電気回路版エネルギー保存の法則なんて名前だっけ?キルヒアイスの法則？」 って言ったら隣の席のイスラエルの教授が 「キルヒホッフの法則だろ… 日本はいい国だと思っていたのにアニメキャラクターの氾濫にはうんざりだ」 と語っていた 恥ずかしかった

前野［いろもの物理学者］昌弘 @irobutsu

キルヒアイス（キルヒホッフ）の法則が「電気回路版エネルギー保存の法則」だと考えている時点で、この女子高生はかなりできる。 物理習ったはずの人の多くが、「なんかしらんけど電圧足したらゼロになる式」としか思ってない。 twitter.com/yakanifu/statu…

数学科大好きbot @20saiNEET

pic.twitter.com/LtOjL582P2

拡大

拡大

拡大

きいねく @Keyneqq

調べるほどテンソル積にやられていく者たち pic.twitter.com/X3qamAUWE5

拡大

dif_engine @dif_engine

「双線型写像を線形写像として扱いたい」というお気持ちなんだけどお気持ちをそう書かれてもわかりにくいんだよなぁ twitter.com/Keyneqq/status…

7931 @wed7931

横沼健夫『テンソル空間と外積代数』で理解しようとして挫折し、佐武一郎『線型代数学』で理解できたと思えた、テンソル積の思い出。「普遍的」の意味がよくわからなかった。 twitter.com/Keyneqq/status…

龍孫江（りゅうそんこう）数学YouTuber／お仕事依頼歓迎して〼 @ron1827

龍孫江の数学日誌 : 微積分における Leibniz の記法について blog.livedoor.jp/ron1827-algebr… #数学日誌 #門前講釈 積分の変数変換公式を通して、Leibnizによる微積分の記法について説きます。

7931 @wed7931

「短冊の幅が狭くなればなるほど、 t の進み具合と x の進み具合の比は微分係数に近付いていく」。なるほど！ twitter.com/ron1827/status…

らるくま @ciel_ys

互除法のやり方って、割り算して、余りを出して・・・ を繰り返す方法が教科書には載ってて、俺もそれしか教えてこなかったけど、 (a,b)=(a-b,b) も教えた方がいいな。と最近勉強してて思った。特にa,bに文字が含まれる場合、容易に割り算できなかったり、上記の方が楽にだったりする。

足立恒雄 @q_n_adachi

遂にできた！　初等幾何学的に（つまり公理系から）単位の選び方、座標軸の選び方に依存せず、数体系が同型を除いて定まることの証明ができた。パスカルの定理、デザルグの定理を何度も使う。初等幾何に弱いので1週間以上かかった。これが出来ないと本にならないので困っていた。

梅崎直也 @unaoya

ドワンゴのみなさんとやってるゼミの内容の一部はこちら。今は竹内外史の層圏トポスの行間を埋めてます。 ドワンゴ数学ゼミに関する投稿 on @Qiita qiita.com/tags/%E3%83%89…

enshot @enshot

『「現代数学は専門的で役に立たない」という人がよくいますが、大間違いですよ』 『現代数学は、これからの人類に絶対必要な最低限の教養です』 川上量生カドカワ社長「数学を諦めることは人生を諦めることと同じ」 | 『週刊ダイヤモンド』特別レポートdiamond.jp/articles/-/173…

作り方を作る @sato_masahicom

ピタゴラスイッチの歌は名作揃い。「いたちのたぬき」「ぼくのお父さん」「ビーバーのダム」「ビーだまビーすけの大冒険」などなど。ピタゴラの歌は映像あってこそ楽しさ倍増。そこでアプリを作りました。でも、まだまだ知らない方も多いので、ここでお報せします。（続）appsto.re/i6hH9Y3 pic.twitter.com/TZTRUsQ0mB

拡大

足立恒雄 @q_n_adachi

私が名付けたのだが、「ユークリッド幾何の基本定理」とは「ユークリッド幾何のすべてのモデルはある順序体上のデカルト座標平面と同型である」という主張である。これでやっと安心して解析幾何が使えるのだが、すべての人は昔から安心して使っているよね。

新訂版序文の人 大類昌俊 @Ohrui_math_bass

可換図式を加えた 表現論は幾何学と代数学と解析学が融合している分野で複雑な位相群を(無限次元の)「表現行列」で表現する分野でadharaさんが詳しく語ってらっしゃるように数理物理学とも深い関係がある ベゾフ空間はL^2空間の拡張だから位相群上のフーリエ変換や超関数を定義すれば応用がありそう pic.twitter.com/8BP2lXDcI1

拡大

7931 @wed7931

代数多様体は多様体なの？という疑問がある。自分が初めて勉強した多様体は「位相空間の開集合上に局所座標系を定められる」というもの（『多様体の基礎』をチラ見）。代数多様体は「多項式系の解集合」という理解。代数多様体上には局所座標系を定められるの？というのが疑問。他の○○多様体も同様。

ちょーさん @kyo_math1729

@wed7931 代数多様体の多様体は英語ではvarietyと言って位相多様体や微分多様体のmanifoldとは異なります。多項式の零点集合には(RやCであれば)自然に相対位相が入りますがその位相に関して解析みたいなことは(代数幾何学はやったことがないのでわかりませんが)おそらくやらないかと思います

石松拓人🛰 @notactor

というわけで日本が取るべき戦略はどちらだったかモデルを立てて計算してみた。驚いたことに、残り10分までは攻めた方が良く、それ以降は時間稼ぎした方が良いという結果に。残り10分あたりから時間稼ぎに徹した日本は間違ってなかった！日本のバックには優秀な参謀がついているに違いない！ pic.twitter.com/w5lqZ4lOtJ

拡大

拡大

ティファニー @kyow_Q

場の量子論だと、2d共形場理論と呼ばれるクラスの場の量子論は比較的数学的に整備されてるのでとっつきやすい気がします(何をしてるのかとかは最初はよくわからなさそうですが)

可換環論bot @CommAlg_Bot

超難問です。ぼくは15年以上「可換環論を学んでいます」と言い続けてきましたが、「可換環論とは何ですか？」という質問にお応えできる自信はありません。しかし、少し頑張ってお話ししてみます。 #マシュマロを投げ合おう marshmallow-qa.com/commalg_bot?ut… pic.twitter.com/g7SR8oL8fi

拡大

MER @MathEdr

漏れは指摘されてますが、この考察の試み自体非常に面白いです。感動しました。こういうのに出会えるからツイッター凄い。 twitter.com/notactor/statu…

shu @LT_shu

@wed7931 @kyo_math1729 Variety と manifold の違いについてはεさんのおっしゃる通りです．ただ，複素代数多様体に複素解析多様体の構造を入れて解析的な道具（調和積分論など）で研究するということは昔から行われており，両者が無関係というわけではありません．

ぱっぷす＝むぎゅたん @Pappus_Mugyutan

行列は基底表示でしかないけど、ランクも行列式もトレースも固有値も単因子もすべて相似不変量だから、行列の特定の基底表示によらない線形写像そのものの性質としてかける、みたいなことをあまり意識していなかった。