群に密着位相を入れたときに群演算は連続になるけどそういうのはあんまり位相群とは言わないことに最近気がついた。だけどちょっとした分離公理を仮定しようとすると一気に正規性までわかっちゃってすごい。
05.08.2024 10:23 — 👍 1 🔁 0 💬 0 📌 0@kudamonkudamon.bsky.social
数学とゲームが好きです。
群に密着位相を入れたときに群演算は連続になるけどそういうのはあんまり位相群とは言わないことに最近気がついた。だけどちょっとした分離公理を仮定しようとすると一気に正規性までわかっちゃってすごい。
05.08.2024 10:23 — 👍 1 🔁 0 💬 0 📌 0This work was not supported by JSPS KAKENHI.
01.08.2024 09:53 — 👍 0 🔁 0 💬 0 📌 0これは集中してやらなきゃいけないから夏休みにやるぞというような事柄ばかり溜め込んでしまった。
29.07.2024 14:37 — 👍 0 🔁 0 💬 0 📌 0第二基本形式の計算がずっと合わなくて風来のシレンやってるみたいで楽しい。
16.07.2024 09:22 — 👍 1 🔁 0 💬 0 📌 0河澄響矢さんのトポロジーの基礎を読み始めた。
26.03.2024 10:48 — 👍 0 🔁 0 💬 0 📌 0ジャンボリ開集合やってる
21.03.2024 04:26 — 👍 0 🔁 0 💬 0 📌 0群の対合ってのがどのくらいあるかが重要ですね。
28.02.2024 13:19 — 👍 0 🔁 0 💬 0 📌 0午前中に「すべての予定を破壊するそれらは再生できない」状態になった
26.02.2024 12:44 — 👍 0 🔁 0 💬 0 📌 0最近だらけてるので、時間割を組んでいろいろな作業をしてみようかな。
24.02.2024 10:23 — 👍 0 🔁 0 💬 0 📌 014日だけじゅうよっかとよむのを発見した
21.02.2024 13:52 — 👍 0 🔁 0 💬 0 📌 0いいブックエンドがほしいなあ
21.02.2024 07:53 — 👍 0 🔁 0 💬 0 📌 0ズームミーティングが終わるときにみんな一気に退出して自分の顔のドアップがいきなり映るのやめてほしい。
もっと優しい何かを映してほしい。子犬とか。
今日やぶからぼうにPythonの質問されて、僕には全然わからないし答えられなかったけど、とにかく聞いてみるという姿勢に勢いがあって良いと思った。
14.02.2024 09:34 — 👍 0 🔁 0 💬 0 📌 0スコールにもラグナにもなれないまま大人になってしまった。
11.02.2024 12:25 — 👍 0 🔁 0 💬 0 📌 0履いてるズボンのチャックが壊れかけてるので、トイレに行くたびにチャックが閉まらなくなるリスクを抱えているので、マイルドなロシアンルーレットをしている気分です。
11.02.2024 11:18 — 👍 0 🔁 0 💬 0 📌 0家にボディソープが一滴もない
11.02.2024 09:32 — 👍 0 🔁 0 💬 0 📌 0回転寿司の軌跡を限りなく小さくすると無回転寿司になるのか
10.02.2024 13:54 — 👍 0 🔁 0 💬 0 📌 0妻がやってるff7の体験版を見ている。かっちょえー
09.02.2024 13:46 — 👍 0 🔁 0 💬 0 📌 0確定申告の作業をしようとすると無量空処されてるみたいになる
08.02.2024 05:20 — 👍 0 🔁 0 💬 0 📌 0原稿をチェックするたびに a は the の気がするし the は a なきがするのでaとtheの重ね合わせの冠詞の登場が待たれる
08.02.2024 03:09 — 👍 0 🔁 0 💬 0 📌 0数式をかかせてくれ
08.02.2024 02:57 — 👍 0 🔁 0 💬 0 📌 0Mathjax使えるようにできる?
08.02.2024 00:25 — 👍 1 🔁 0 💬 0 📌 0