投稿

みつ

2025/11/10

久し振りに局所コンパクト群への関心がわいたのでnLabを見るなどしているんだが、GL_n(R)の最大コンパクト部分群がO(n)ってのを見て、確かになぁとなった

計量をいれてベクトル束の構造群をここにおとすことが多いと思うんやけど、表現論からするとこれってわりと納得感があるな……！

11

え

2025/08/29

いやこれは……

5

フレッ

2025/08/29

焼肉は馬路村の柚子ぽん酢とわさび　これ

3

たなƱ

2025/08/29

スッピーって飴のこと君付けだったよね、ってことは□イくんのことも…?

8

さわサ

2025/08/29

今日は何をしようか

5

ピヨ彦

2025/08/29

ここでベイス★ボールはやめーや(´・ω・`)

6

ゼノン

2025/08/29

ハニーさんも髪を伸ばして結んでみましょう
#KBCホークス

2

ささく

2025/08/29

都会ローソン、セブン強すぎない？
ウチラ地元はミニップとファミマも同様の強さぐらいだけど、都会はまっっじでローソン、セブンしかない

6

おっど

2025/08/29

みんなしっかりーーー
ぜったい勝つぞー

6

焼きそ

2025/08/29

中山とリチャードがしょっぱいの気になります

7

野澤

2025/08/29

シンフォギア5期やっぱヤベェな

3

もっとみる

久し振りに局所コンパクト群への関心がわいたのでnLabを見るなどしているんだが、GL_n(R)の最大コンパクト部分群がO(n)ってのを見て、確かになぁとなった